Knowledge Representation and Reasoning (G53KRR)
- This module consists of 1-hour lectures on each Monday 3-4pm at Business School South, A25 and Thursday 3-4pm at Exchange building, LT2.
- Module Details and the
Timetable.
- Previous years' G53KRR sites by Dr Natasha Alechina, including feedback and past exam papers.
- Textbook: Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Elsevier, 2004. available in the library
- The module will be delivered by lectures based on slides of the textbook, together with exercises and tutorials during classes and feedback for questions in office hours.
- Office hour is scheduled on every Thursday 1.30-2.30pm in C80 (except in Pod3 on 16th Oct and 6th Nov), starting from 16th October to address feedback and questions.
- The assessment of this module is 100% on exam. The exam is consists of FOUR compulsary questions, each 25% of the marks.
- Feedback of exam results will be available as soon as the results are released. This includes the average, highest and lowest marks in the class; common mistakes made in the exam, and distribution of marks in the class. Each week, feedback will be given to questions in person via office hours on Thursday.
- Teaching assistants: Dr. Hoang Nga Nguyen, Ms. Heshan Du.
Mon / Thur, 3pm |
Topics |
Comments |
29th Sept, A25 |
introduction |
module plan, what's KBS, recent KBS |
2nd Oct, LT2 |
first-order logic |
slides 18-27, Sect. 2.1-2.3.2 |
6th Oct, A25 |
logical entailment |
slides 28-34, Chap. 2 |
9th Oct, LT2 |
expressing knowledge |
slides 35-45, Chap. 3 |
13th Oct, A25 |
tutorial & exercises |
Barber, Alpine Club |
16th Oct, LT2 |
propositional resolution, handout, exercises |
Dr. Nguyen, slides 46-55, Sect 4.1, office hour in Pod3 |
20th Oct, A25 |
resolution, handout, exercises |
Dr. Nguyen, slides 56-61 |
23rd Oct, LT2 |
unification, handout |
Dr. Nguyen, slides 64, 68, office hour in C80 |
27th Oct, A25 |
termination and complexity of resolution |
Dr. Nguyen, slides 66,67,71,72 |
30th Oct, LT2 |
no lecture |
office hour as usual in C80 |
3rd Nov, A25 |
horn clauses |
Ms. Du, slides 79-90, Chap. 5 |
6th Nov, LT2 |
backward chaining |
Ms. Du, exercises, office hour in Pod3 |
10th Nov, A25 |
forward chaining |
Ms. Du, slides 89, 103-118, Chap. 7 |
13th Nov, LT2 |
description logic |
exercises, office hour in C80 |
17th Nov, A25 |
description logic |
Ms. Du, handout |
20th Nov, LT2 |
non-monotonic reasoning |
Ms. Du, slides 178-201, Chap. 11, office hour in C80 |
24th Nov, A25 |
non-monotonic reasoning |
Ms. Du, past exam questions |
27th Nov, LT2 |
Bayesian networks |
Ms. Du, slides 202-216, Chap. 12, office hour in C80 |
1st Dec, A25 |
revision |
information, Q&A |
4th Dec |
no lecture |
past exam questions |
|