Knowledge Representation and Reasoning 2016-2017
G53KRR module description
2013-14 G53KRR web page
Previous exam papers and answers
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
Moodle page for G53KRR (some lecture recordings)
Office hour (for questions): Tuesdays 15:00-16:00 in C57
Lectures
- Lecture 1 (Introduction, what are knowledge based systems, plan of the module)
- Lecture 2: syntax of first-order logic. See
Levesque's slides 18-27, textbook chapter
2.1 - 2.3.2.
- Lecture 3: semantics of first-order logic. Still the same slides and pages in the textbook as for lecture 2.
- Lecture 4: semantics of first-order logic continued. Logical entailment.
Levesque's slides 28-34,, the rest of chapter 2.
Informal exercise on syntax and semantics of first-order logic
Answer to the exercise on syntax and semantics of first-order logic Fixed: previously, I gave a wrong answer for 1(e) because
I forgot about negation.
- Lecture 5: entailment, satisfiability, valilidity. Expressing knolwedge in first-order logic. Levesque's slides 36-45, texbook chapter 2, 3.
Alpine Club exercise
Answer to Alpine Club exercise
- Lecture 6: answer to Alpine Club exercise. Early module feedback.
- Lecture 7: propositional resolution. Levesque's slides 46-55, textbook chapter 4.1.
Handout with definitions and rules
Exercise on propositional reduction to CNF
Answer to the exercise
- Lecture 8: propositional resolution continued. Still chapter 4.1. Have a look ahead at 4.2 in case I have time to start on first-order resolution.
Exercise on propositional resolution
Answer to the exercise
- Lecture 9: First-order resolution. Chapter 4.2 in the textbook. Slides 56-66.
Handout with definitions and rules
Exercise on first-order resolution. (For now, only do reduction to clausal form)
Written notes from the lecture (There is an audio/video recording on moodle, but it does not capture what I was writing.)
- Lecture 10: First order resolution continued. Slides 56-70, textbook 4.2, 4.3 (apart from Herbrand theorem and complexity)
Exercise on first-order resolution.
Answer to the exercise on first-order resolution.
Exercise on unification: do question 3 of 2013-14 exam
Answer to the exercise on unification: see answer to question 3 of 2013-14 exam
- Lecture 11: Answer extraction. Complexity of resolution. Slides 62-63, 66-67, 72-78.
Exercise on answer extraction
Answer to the exercise
- Lecture 12: Horn clauses. SLD resolution. Backward chaining. Chapter 5, slides 79-90. Exercise: do question 4 in 2010-2011 and 2011-2012 exam. (Exams and answers are here )
- 15 November. No lecture. Recording of Lecture 13 is available on moodle: Forward chaining. Rules in production systems. Chapter 7,
slides 89, 103-118.
Handout about forward chaining and exercise
Answer to the exercise
- Lecture 14 (just the slides, no actual lecture): Life cycle of a knowledge based system. Slides For an exercise, you can do exam 2007 (5b), 2008 (4d), 2009 (6b), 2011 (5a).
- 22 November. No lecture.
- Lecture 15: description logic. Handout
Exercise
Answer
- Exercises from previous exams, annotated for ALC. and
answers
- Lecture 16: description logic continued.
- Lecture 17: non-monotonic reasoning: CWA and circumscription. Chapter 11, slides 178-201.
- Lecture 18: Non-monotonic reasoning continued: defaults.
Summary of lectures 17 and 18
For exercises, do exam questions from previous years:
- 2013: question 5 (on defaults, can only do it after lecture 18),
- 2012: question 5 (CWA and circumscription),
- 2010: question 5 (CWA and circumscription),
- 2009: question 5 (CWA and circumscription),
- 2008: question 6 (circumscription and defaults).
Exam papers and answers are
here.
- Lecture 19: Bayesian networks. Chapter 12, slides 202-216.
Summary of Bayesian networks and an exercise
Solution to the exercise
- Lecture 20: Bayesian networks continued. SEM feedback and revision advice.
Slides of the SEM feedback and revision advice
- No more lectures this term!
- Revision lecture: 12 January at 14:00 in C60. Slides
This file is maintained by Natasha Alechina
Last updated 12 January 2017