SASW%MX.LCS.MIT.EDU@MC.LCS.MIT.EDU.UUCP (12/13/86)
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