491 Knowledge Representation

These notes and exercises are copyright Marek Sergot.  You may use them as long as they are
not sold for profit and the title slide with the names and affiliations appears on them as in the file.

Please let me know of any typographical or other errors in these notes. mjs "at" doc.ic.ac.uk

Copies of lecture notes, tutorial exercises, and solutions will be added here as they are issued.

In the meantime, you can find copies of handouts from 2008-09 HERE.
There may be some changes in this year's syllabus but the core material is likely to remain the same.

Lecture notes

• Introduction/Overview
• Preliminaries : Models, theories, consequence relations v1.0f
• Logic Databases (Knowledge Bases) v1.0d
• Negation as failure (Normal logic programs) v1.3b
• Event Calculus (For background interest only -- NOT examinable)
• Minimal models and fixpoint semantics for definite logic programs v1.0e
• Stratified logic programs
• Stable models v1.1c
  Splitting Sets v1.0e
• Extended Logic Programs v1.4 (Preliminary version)
• Default Logic (Reiter) v1.1e
  
• Non-monotonic Consequence Relations v1.1c
• `Nonmonotonic Causal Theories' v1.0e
  The Action Language C+ v1.3c

Tutorial exercises

• Logic databases (Revision)    (Solutions not available yet)
• Consequence relations    (Solutions)
• Logic databases    (Solutions)
• Defaults and exceptions with negation as failure
  (Solutions are discussed in the lecture notes)
• Stratified databases    (Solutions)
  (The handed out copy of solutions had a tiny typo in the second line of proof of Q2(a).)
• Stable models (No solution sheet; examples are discussed under `splitting sets')
• Splitting Sets (Solutions included)
• Extended Logic Programs (Solutions included)
• Default Logic    (Solutions included)
• Non-monotonic Consequence Relations    (Solutions included)
• Nonmonotonic Causal Theories    (Solutions included)
  The Action Language C+    (Solutions included)

Answer Set Solver: clasp

It is installed on /vol/lab/CLASP. See README file in that directory.

Assessed coursework (2009-10)

• Assessed coursework     Due: 26 March 2010
  Program files (read-only) are in directory /vol/lab/CLASP/CWK-491-2010
• A sample solution with some comments will be posted here after all submissions are received