Knowledge Representation and Reasoning 2015-2016

G53KRR module description

Last year web page

Previous exam papers and answers

Feedback for exam 2012-13
Feedback for exam 2013-14

The module describes how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs. It will be based on the following textbook: Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Elsevier, 2004. There are several copies in the Jubilee Library, location Q387 BRA. And there is a link to eBook edition from the library catalogue.

Hector Levesque's on-line lecture slides based on the book
local copy

Office hour (for questions): Wednesday at 12:00 in C57 (apart from weeks 2 and 5 when you have individual project lectures).