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

Lecture notes

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 2010-11 HERE.
There will be some changes in this year's syllabus but the core material is likely to remain the same.

• Preliminaries : Models, theories, consequence relations v1.0g
  (Version v1.0g: fixed a tiny (unimportant) typo in 'Notation' on p1)
• Logic Databases (Knowledge Bases) v1.0e
• Negation as failure (Normal logic programs) v1.3e
  (Version v1.3e: added two small examples of a Clark completion, p6)
• Event Calculus (For background interest only -- NOT examinable)
• Minimal models and fixpoint semantics for definite logic programs v1.0f

Tutorial exercises

• Logic databases (Revision)    (Solutions)
• Consequence relations    (Solutions)
• Logic databases    (Solutions)
• Defaults and exceptions with negation as failure
  (Solutions are discussed in the lecture notes)
• Fixpoint semantics for definite programs    (Solutions)
  

Answer Set Solver: clasp

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