GS/COSC 6390A Knowledge Representation
Department of Computer Science and Engineering,
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.
Assignment 4 is out; it is due on December 20.
If you want to attempt the Bonus Problem,
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.
Test 2 will be on November 29.
On November 8, Assignment 3 was distributed in class;
it is due on December 4.
Test 1 will be on October 25.
The test will be closed-book and last approximately one hour.
On October 10, Assignment 2 was distributed in class;
it is due on November 8 (a one week extension from the original deadline).
On October 10, the lecture notes on
Prolog were posted; the zebra puzzle example
is also available. More information on Prolog can be found on the
CSE 3401 web
page for Fall 2005; see the lecture notes for section B starting
from October 25
(click on Notes in the menu on the left).
On Sept 20, Assignment 1 was distributed in class;
it is due on Oct 11.
On Sept 8, the lecture slides were emailed to students in the course;
if you did not get them, let me know.
Prof. Yves Lespérance
Tel: 736-2100 ext. 70146
Email: lesperan "at" cse.yorku.ca
Wednesday from 19:00 to 22:00 in CB-120.
Instructor Office Hours
Wednesday 17:00 - 18:00 and Friday 13:30 - 14:30,
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
Knowledge of first-order logic and Prolog.
| Assignements (4 @ 12.5% each) || 50%|
| In-class tests (2 @ 25% each) || 50%|
| Total|| 100%|
- Week 1 (Sep 6) Chapter 1 Introduction,
Chapter 2 The Language of First-Order Logic.
- Week 2 (Sep 13) Chapter 3 Expressing Knowledge.
- Week 3 (Sep 20) Chapter 4 Resolution.
- Week 4 (Sep 27) Chapter 5 Reasoning with Horn Clauses.
- Week 5 (Oct 4) Chapter 6 Procedural Control of Reasoning, Prolog.
- Week 6 (Oct 11) Chapter 7 Rules in Production Systems,
Chapter 8 Object-Oriented Representation.
- Week 7 (Oct 18) Chapter 9 Structured Descriptions, Chapter 10 Inheritance.
- Week 8 (Oct 25) Test 1.
- Week 9 (Nov 1) Chapter 11 Defaults.
- Week 10 (Nov 8) Chapter 12 Vagueness, Uncertainty, and Degrees of Belief.
- Week 11 (Nov 15) Chapter 13 Explanations and Diagnosis, Chapter 14 Actions.
- Week 12 (Nov 22) Chapter 15 Planning,
Chapter 16 The Tradeoff between Expressiveness and Tractability.
- Week 13 (Nov 29) Finish Chapter 16, Test 2.
A good Prolog text:
Clocksin, W.F. and Mellish, C.S.,
Programming in Prolog, (5th edition), Springer Verlag, New York, 2004.
On knowledge representation:
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.
On reasoning about action:
Knowledge in Action: Logical Foundations for Specifying and Implementing
MIT Press, 2001.
York Library eCopy,
Book home page.
Russell, S.J. and Norvig, P.,
Artificial Intelligence: A Modern Approach,
Prentice Hall, 1995.
Running SWI-Prolog on the York CSE Research System or Prism
To run Prolog execute the command pl. To exit enter
at the prompt.
Documentation is available
on the web.