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:
- Dec 8: The instructor's office hours in the coming week are
Dec 12 at 4pm and Dec 14 at 11am.
There will be no office hours on Dec 11 and 13.
-
Nov 29: Test 2 will be on December 4 during class.
It will cover Chapter 9
and Chapters 11 to 14 inclusively of the Brachman and Levesque
textbook, as well as the other required readings about Description
Logics posted on the course website.
-
Nov 29: Assignment 4 is out.
It is due December 14 at 11am.
If you want to attempt the second Bonus Exercise,
use this Golog interpreter.
See also this elevator controller
example Golog program.
Note that you should change the extensions from .swipl to .pl
before you load the files into SWI Prolog.
- Nov. 20: Assignment 3 is out;
it is due on Nov 29 at 10:30am.
A scan of the questions from the textbook can be obtained by emailing
the instructor.
- 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. 1-26 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 DL-Lite (Oct 5, 2010 talk at U of T) - read at least pp. 4-6, 13,
29, 30, 36-38, 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 DL-Lite 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: 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
- Week 1 (Sept 8) Chapter 1 Introduction.
- Week 2 (Sept 11) Chapter 2 The Language of First-Order 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 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
|
-
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