Knowledge Representation and Reasoning - Overview
Lecturers:
Prof. Dr. Bernhard Nebel,
Dr. Gregor Behnke
Exercises:
Dr. Thorsten Engesser,
Rolf-David Bergdoll
Time
Lecture: Recorded in ILIAS
Lecture Q&A: Friday 16:00-17:00
Exercises: Friday 17:00-18:00
Location
Lecture Q&A and Exercises: hybrid, i.e. in presence in Building 101 Room 00-010/14 and streamed live via Zoom. The link is available via ILIAS.
ILIAS
All course material will be made available via ILIAS.
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
- non-monotonic reasoning: default logic, cumulative logic, non-monotonic logic programming
- linear temporal logic
- 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
During the semester there will be weekly exercises (theoretical assignments and implementation projects). To successfully complete the Studienleistung it is necessary to reach 50% of all points.
Exercises and projects may be worked on in groups of two. Larger groups or copied solutions will not be accepted and result in nonadmission to the exam in case of recurrence.