University of Toronto - Fall 2006
Department of Computer Science

CSC 486/2502: Knowledge Representation and Reasoning

Lecture Slides

© Ronald J. Brachman and Hector J. Levesque 2005.

Note: I may provide additional material at this site during the term. I may also elect not to cover some of this material.
The Lecture Notes come in 16 PDF files.
  1. Introduction
  2. The language of first-order logic
  3. Expressing knowledge
  4. Resolution
  5. Horn logic
  6. Procedural control of reasoning
  7. Rules in production systems
  8. Object oriented representation
  9. Structured descriptions
  10. Inheritance
  11. Defaults
  12. Probability etc.
  13. Abductive reasoning
  14. Actions
  15. Planning
  16. A tradeoff

Supplementary Slides

Back to the main page