Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!decvax!ucbvax!MC.LCS.MIT.EDU!SASW%MX.LCS.MIT.EDU
From: SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP
Newsgroups: mod.ai
Subject: Seminar - Massively Concurrent Knowledge Representation (MIT)
Message-ID: <961929.861213.SASW@MX.LCS.MIT.EDU>
Date: Sat, 13-Dec-86 14:06:52 EST
Article-I.D.: MX.961929.861213.SASW
Posted: Sat Dec 13 14:06:52 1986
Date-Received: Wed, 17-Dec-86 04:00:54 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 22
Approved: ailist@sri-stripe.arpa

Date: Mon, 8 Dec 1986  17:34 EST
From: JHC%OZ.AI.MIT.EDU at XX.LCS.MIT.EDU


                 MASSIVELY CONCURRENT SYSTEMS 
           FOR KNOWLEDGE REPRESENTATION AND REASONING

                   Gul A. Agha, MIT AI Lab

The problem of reasoning is central to Artificial Intelligence
systems.  The effectiveness of a "reasoning method" is intimately tied
to the "knowledge representation" scheme on which it operates.  The
seminar will discuss some recent theoretical work in inheritance-based
models for knowledge representation.  Problems germane to
inheritance-based models include exception handling, multiple
inheritance, and viewpoints.  The talk will outline some mechanisms
that have been proposed to address these issues.  Methods of reasoning
such as first-order logic, nonmonotonic logic and due process
reasoning will be related to the knowledge representation schemes.

Thursday, December 11, 4pm
NE43 8th floor playroom