CSE 663, Fall 2008
Advanced Knowledge Representation & Reasoning

Course Summary

Last Update: 5 December 2008, 11:45 a.m.

Note: NEW or UPDATED material is highlighted


  1. What Is KRR?


  2. Language of FOL


  3. Modal Logics


  4. Ontology


  5. Semantic Networks


  6. Production Systems


  7. Minsky's Theory of Frames


  8. Description Logics


  9. Inheritance


  10. Defaults


  11. Situation Calculus & Frame Problem


  12. Is representation or reasoning needed for AI?




Copyright © 2008 by William J. Rapaport (rapaport@cse.buffalo.edu)
http://www.cse.buffalo.edu/~rapaport/663/F08/course-summary.html-20081205