Introduction to Artificial Inteligence - Spring 2001

Logical Reasoning Systems

1. Categories of reasoning systems
   • Theorem provers and logic programming langauges
   • Production systems ("expert system shells")
   • Frame systems and semantic networks
   • Description logic systems
2. Indexing, retrieval and unification
   • Implementation of sentences and terms
   • Store and fetch
   • Table-based indexing
   • Tree-based indexing
   • Unification algorithm
3. Logic programming systems
   • Prolog and its implementation
   • Other logic programming languages
4. Theorem provers
5. Forward-chaining production systems
   • Basic elements: working memory, rule memory
   • Match phase
   • Conflict resolution
6. Frame systems and semantic networks
   • Syntax and semantics - inheritence
   • Inheritence with exceptions
   • Multiple inheritence
   • Implementation
   • Expressiveness
7. Managing retractions, assumptions, and explanations