GS/CSE 6390A Knowledge Representation
Fall 2012

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: LAS 3052A
Tel: 416-736-2100 ext. 70146
Email: lesperan "at"


Thursday from 17:30 to 20:30 in VH 1152 (VH is Vari Hall).

Instructor Office Hours

Tuesday 17:00 - 18:00, Thursday 13:00 - 14:00, and Friday 14:00 - 15: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.


Assignements (4 @ 12.5% each)      50%
Test 1      30%
Test 2      20%
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.

Lutz, C. Reasoning in Descriprion Logics: Expressive Power vs. Computational Complexity, slides from Tutorial at KR 2010.

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, 3rd edition Prentice Hall, 2010.

Poole, D. and Mackworth, A., Artificial Intelligence: Foundations of Computational Agents, Cambridge University Press, 2010.

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

Getting Prolog

About Prolog