Comp 304 & Comp 521: Knowledge Representation and Reasoning (2018-2019)

Lecture Timetable:

Week 1 - Week 12

Monday 10:00 - 11:00 (BROD-106)

Tuesday 09:00 - 10:00 (JHERD-LT)

Tutorial Timetable (Group 1):

Week 2 - Week 11

Thursday 10:00 - 11:00 (MATH-105)

Friday 11:00 - 12:00 (BROD-302)

Tutorial Timetable (Group 2):

Week 2 - Week 11

Tuesday 13:00 - 14:00 (BROD-302)

Friday 13:00 - 14:00 (BROD-302)

Slides:

• 1. Introduction and Propositional Logic [full][handout]

  2. Modal Logic [full][handout]

  3. Epistemic Logic [full][handout]

  4. Description Logic [full][handout][slides about complexity]

The slides come in two versions: the full version is the one I use during the lecture, including animations. The handout version does not include the animations.

Supplementary material:

1. Scans 09-10-2018

2. Description Logic Example

Most of this supplementary material will not make much sense to you if you were not at the lecture where it was discussed. If you were there, however, it might be useful.

Exercises:

• 1. Exercises about Propositional Logic [with solutions]

  2. Exercises about modal logic [more exercises][with solutions][more solutions]

  3. Exercises about epistemic logic [with solutions][more exercises][more solutions]

  4. Exercises about description logic [more exercises][with solutions][more solutions][even more exercises][even more solutions]

This year's Class Tests:

• 1. Class test 1 [with solutions]

  2. Class test 2 [with solutions]

This year's Exams:

• 1. COMP304[solutions]

  2. COMP521[solutions]

Old Class Tests:

1. Class test 1

2. Class test 2

Old Exams:

• 1. COMP304[solutions]

  2. COMP521[solutions]

  3. COMP304 [solutions]

  4. COMP521 [solutions]

Lecture streams:

Whenever possible, recordings of the lecture will be made available here. Barring technical difficulties the recordings will also appear on VITAL.