Principles of Knowledge Representation and Reasoning - Overview

Lecturers: Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl, and Prof. Dr. Marco Ragni

Exercises: Dr. Robert Mattmüller

Time and Place

Lectures: Monday 14:15-16:00 and Wednesday 11:15-12:00 in building 051, seminar room 00-034
Exercises: Wednesday 12:15-13:00 in building 051, seminar room 00-034

Topics

The course provides an in-depth introduction into the techniques that underly advanced systems for knowledge representation and automated reasoning. The following topics are covered:

classical logic (recap) and modal logics
qualitative temporal and spatial reasoning: Allen's interval algebra and the region connection calculus RCC-8
non-monotonic reasoning: default logic, cumulative logic, non-monotonic logic programming
description logics

Prerequisites

The course is aimed at advanced students of Computer Science or Applied Computer science, such as Bachelor students in their final year and Master students with a background in formal logics.

Most of the topics covered in the course are based on classical formal logic and its extensions, and a strong background in logics is highly advisable. We also expect basic knowledge of complexity theory (e.g. the theory of NP-completeness).

Exercises and Exam

For students studying towards a Bachelor of Science in Computer Science, a Master of Science in Computer Science or a Master of Science in Applied Computer Science, this course counts as an advanced course in the area "Artificial Intelligence and Robotics". The course is worth 6 ECTS points.

For students who study Computer Science as a minor subject ("Nebenfach"), the precise regulations depend on the respective degree programme.

During the semester, theoretical assignments will be posed weekly, and practicals (e.g. programming projects) will be posed occasionally. Working on these is not mandatory, but it is strongly encouraged in order to further comprehension of the course topics. Moreover, outstanding performance in the exercises and practicals is awarded with bonus marks for the oral examination according to the following rules:

Up to 10 bonus marks can be obtained for theoretical assignments. To obtain any bonus marks, a student needs to reach more than 50% of the total marks in the theoretical assignments. One bonus mark is then awarded for each 5 percentage points above this threshold.
Up to 10 bonus marks can be obtained in practicals. For each completed practical assignment, a certain number of bonus marks is awarded (usually 2-4, depending on difficulty and amount of work), and bonus marks for different practicals are cumulated up to a maximum of 10.
To obtain any bonus marks, a student has to present his solution in the exercise group at least once.
Each 10 bonus marks correspond to 1/3 grade step in the oral examination, for example an improvement from 2.0 to 1.7.

Students are allowed and encouraged to work on theoretical assignments and practicals in groups of two and submit their solutions together. Larger groups, as well as copied or plagiarized solutions will not be accepted.

Course Materials

Lecture slides are made available on the lecture page during the semester. At the end of each topic, the slides contain a short bibliography for further study. Not all of the books and papers listed there are available in the university library or on the World Wide Web, so please contact the lecturing staff if you need help getting hold of a reference. There are no textbooks or lecture notes for this course.