GS/CSE 6390A Knowledge Representation
Fall 2008
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:
- The due dates for Assignment 2 and 3 have been extended and will be announced shortly.
-
Assignment 3 is out.
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.
- There will be an additional office hour on Tuesday February 17 at 13:30.
- Test 2 will be on February 18. It will cover
Chapters 9, 11, 14, and 15. You may only bring one handwritten sheet
(both sides). The test will last 80 min.
- Jan 26: The tentative schedule below has been updated. Please
read Chapter 10 and 11 ahead of the first lecture after classes
resume.
- As of November 6, academic activities have been suspended by the
University due to the CUPE 3903 strike. During the suspension there will
be no CSE 6390A classes and office hours. If you want to meet with me,
please make an appointment by sending me an email. The deadline for
assignment 2 will be delayed; a new deadline will be announced after the
suspension of academic activities ends.
- Assignment 2 was distributed on November
3; the due date will be announced after the suspension of academic
activities ends.
- There will be an additional office hour on Friday October 24 at 13:30.
- Test 1 will be on October 27. It will cover
Chapters 1 to 8 inclusively. You may only bring one handwritten sheet
(both sides). The test will last 80 min.
-
On October 15, 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).
- New deadline extension! Assignment
1, which was distributed on Sept. 29, is now due on Oct. 20 at the
beginning of class.
- The first lecture is on Sept 8. There will be no office hour on Sept 8.
Instructor
Prof. Yves Lespérance
Office: CSE 3052A
Tel: 416-736-2100 ext. 70146
Email: lesperan "at" cse.yorku.ca
Lectures
Monday from 14:30 to 17:30 in CC 335 (CC is Calumet College).
Instructor Office Hours
Monday 18:00 - 19:00 and Thursday 11:00 - 12:00,
or by appointment.
Textbook
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.
Prerequisites
Knowledge of first-order logic. Some knowledge of Prolog.
Revised Evaluation
| Assignements (3 @ 15% each + 10% for best) | 55% |
| Test 1 | 25% |
| Test 2 | 20% |
| Total | 100% |
Original Evaluation
| Assignements (4 @ 12.5% each) | 50% |
| In-class tests (2 @ 25% each) | 50% |
| Total | 100% |
Tentative Schedule
- Week 1 (Sept 8) Chapter 1 Introduction.
Chapter 2 The Language of First-Order Logic.
- Week 2 (Sept 15) Chapter 3 Expressing Knowledge.
- Week 3 (Sept 22) Chapter 4 Resolution.
- Week 4 (Sept 29) Finish Chapter 4.
Chapter 5 Reasoning with Horn Clauses.
- Week 5 (Oct 6) Chapter 6 Procedural Control of Reasoning, Prolog.
- (Oct 13) Thanksgiving holiday; no class.
- Week 6 (Oct 20) Chapter 7 Rules in Production Systems.
Chapter 8 Object-Oriented Representation.
- Week 7 (Oct 27) Test 1.
- Week 8 (Nov 3) Chapter 9 Structured Descriptions.
- Week 9 (1st lecture after classes resume) Chapter 10 Inheritance.
Chapter 11 Defaults.
- Week 10 (2nd lecture after classes resume) Chapter 14 Actions. Chapter 15 Planning.
- Week 11 (3rd and final lecture after classes resume) Test 2.
Chapter 12 Vagueness, Uncertainty, and Degrees of Belief.
Chapter 13 Explanations and Diagnosis.
Optional reading: Chapter 16 The Tradeoff between Expressiveness and Tractability.
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.
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, 2nd edition
Prentice Hall, 2003.
|
Running SWI-Prolog on the York CSE 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