GS/CSE 6390A Knowledge Representation
Fall 2008

Department of Computer Science and Engineering,
York University

An In-Depth Survey of Knowledge Representation and Reasoning

The course examines some of the techniques used to represent knowledge in artificial intelligence, and the associated methods of automated reasoning. The emphasis will be on the compromises involved in providing a useful but tractable representation and reasoning service to a knowledge-based system.

What's new:


Prof. Yves Lespérance
Office: CSE 3052A
Tel: 416-736-2100 ext. 70146
Email: lesperan "at"


Monday from 14:30 to 17:30 in CC 335 (CC is Calumet College).

Instructor Office Hours

Monday 18:00 - 19:00 and Thursday 11:00 - 12:00,
or by appointment.


Ronald J. Brachman and Hector J. Levesque, Knowledge Representation and Reasoning, Elsevier/Morgan Kaufmann 2004, ISBN 1-55860-932-6

Recommended but not required; lecture notes (slides) will be distributed, which are often sufficient; textbook is on reserve at Steacie Library.


Knowledge of first-order logic. Some knowledge of Prolog.

Revised Evaluation

Assignements (3 @ 15% each + 10% for best)      55%
Test 1      25%
Test 2      20%
Total 100%

Original Evaluation

Assignements (4 @ 12.5% each)      50%
In-class tests (2 @ 25% each)      50%
Total 100%

Tentative Schedule

Additional References

A good Prolog text:

Clocksin, W.F. and Mellish, C.S., Programming in Prolog, (5th edition), Springer Verlag, New York, 2004.

On knowledge representation:

Baral, C. Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge/New York, 2003.

Genesereth, M.R. and Nilsson, N.J. Logical foundations of artificial intelligence. Morgan Kaufmann, Los Altos, CA, 1987.

Van Harmelen, F., Lifschiltz, V., and Porter, B. Handbook of Knowledge Representation. Elsevier, Amsterdam, 2008.

On description logic:

Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. The Description Logic Handbook, 2nd Edition. Cambridge Univ. Press, Cambridge UK, 2007.

On reasoning about action:

Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001. York Library eCopy, Book home page.

On AI:

Russell, S.J. and Norvig, P., Artificial Intelligence: A Modern Approach, 2nd edition Prentice Hall, 2003.

Running SWI-Prolog on the York CSE Research System or Prism

Getting Prolog

About Prolog