GS/EECS 6390A Knowledge Representation
Fall 2017

Department of Electrical Engineering and Computer Science,
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:

Instructor

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

Lectures

Monday, Wednesday, and Friday from 10:30 to 11:30 in BC 228 (BC is Bethune College).

Instructor Office Hours

Monday and Wednesday 16:30 - 17:30 in LAS 3052A,
or by appointment.

Textbook

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

Purchasing the textbook is optional; lecture notes (slides) will be distributed, which cover much of the material; textbook is on reserve at Steacie Library.

Prerequisites

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

Tentative Evaluation Scheme

Assignements (4 @ 12.5% each)      50%
Test 1      30%
Test 2      20%
Total 100%

Tentative Schedule

Additional References

On First-Order Logic:

Enderton, H.B., A Mathematical Introduction to Logic. Academic Press, New York, 1972.

Tourlakis, G., Mathematical Logic. Wiley, 2008.

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 EECS Research System or Prism

Getting Prolog

About Prolog