GS/EECS 6390A Knowledge Representation
Fall 2017
Department of Electrical Engineering and Computer Science,
York University
An InDepth 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 knowledgebased system.
What's new:
 Nov. 13: Hector Levesque's slides on Answer Set Programming.
 Oct. 25: Slides and readings on Description Logics:
De Giacomo's slides on
Description Logics and their use for reasoning about UML class diagrams
 read at least pp. 126 and p. 32,
Horrocks and Sattler's
slides on tableaux for ALC concept satisfiability  read these,
Horrocks and Sattler's
slides on tableaux for ALC knowledge bases  read at least p. 2 & 3,
Baader and Sattler's
paper Overview of Tableau Algorighms for Description Logics,
De Giacomo's slides
on DLLite (Oct 5, 2010 talk at U of T)  read at least pp. 46, 13,
29, 30, 3638, as well as
Calvanese et al's paper Conceptual Modeling for Data Integration
which discussses much the same material. A more detailed reference is
Calvanese et al's Ontologies and Databases: The DLLite Approach.
Another useful reference on Description Logic is
Lutz's slides on Reasoning in Description Logics: Expressive Power vs.
Computational Complexity,from his tutorial at KR 2010.
 Oct 25: Assignment 2 is out;
it is due on Nov 17 at 10:30am (extended!).
A scan of the questions from the textbook can be obtained by emailing
the instructor.
 Oct 18: As announced in class, the midterm test will be on Oct
23. It covers Chapter 1 to 6 inclusively of the Brachman and
Levesque textbook.
 Sept 29: Assignment 1 is out;
it is due on Oct 18.
A scan of the questions from the textbook can be obtained by emailing
the instructor.
 The first lecture is on Sept 8.
Instructor
Prof. Yves Lespérance
Office: LAS 3052A
Tel: 4167362100 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 1558609326
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 firstorder 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
 Week 1 (Sept 8) Chapter 1 Introduction.
 Week 2 (Sept 11) Chapter 2 The Language of FirstOrder Logic. Chapter 3 Expressing Knowledge.
 Week 3 (Sept 18) Chapter 4 Resolution.
 Week 4 (Sept 25) Chapter 5 Reasoning with Horn Clauses.
 Week 5 (Oct 2) Chapter 6 Procedural Control of Reasoning, Prolog.
 Week 6 (Oct 9) No classes on Oct 9. Chapter 9 Structured Descriptions, Description Logic, and Ontologies.
 Week 7 (Oct 16) Chapter 9 Structured Descriptions, Description Logic, and Ontologies cont. Test 1.
 Week 8 (Oct 23) Chapter 11 Defaults. No classes on Oct 27.
 Week 9 (Oct 30) Chapter 11 Defaults cont.
 Week 10 (Nov 6) Chapter 12 Vagueness, Uncertainty, and Degrees of Belief.
 Week 11 (Nov 13) Chapter 13 Explanations and Diagnosis.
 Week 12 (Nov 20) Chapter 14 Actions.
 Week 13 (Nov 27) Chapter 15 Planning.
 Week 14 (Dec 4) Test 2.
Additional References
On FirstOrder 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., PatelSchneider, 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 SWIProlog on the York EECS Research System or Prism


To run Prolog execute the command pl. To exit enter
<CTRL>D
at the prompt.

Documentation is available
on the web.
Getting Prolog
About Prolog