Starting from a short description of early
knowledge representation formalisms (such as Semantic Networks
and Frames) and their shortcomings, the course will illustrate
how results and methods from logic can support the design of
knowledge representation systems that have high expressive
power and sound and complete reasoning algorithms. In
particular, we will consider Description Logics, Modal Logics,
and Nonmonotonic Logics as formalisms for respectively
representing terminological knowledge, subjective and time
dependent knowledge, and uncertain and incomplete knowledge.
The lecture takes place twice a week in room GRU 350:
Tuesday 16:40-18:10 (DS6) and Thursday 16:40-18:10 (DS6).
During Summer School (4.07-15.07) the lecture will take place in Room 370.
Part of the script for the lecture is available
here (New full version!).
It is recommended that
students attending the lecture copy what is written on the blackboard.
Some slides will be made avaliable for download in postscript format.
The exercise group
takes place once a week in room GRU 350 and is
held by Barbara Morawska.
Every week, an exercise sheet will be made available for download from this
- exercises (for 13.4)
- exercises (for 20.4)
- exercises (for 27.4)
- exercises (for 4.5)
- exercises (for 11.5)
- exercises (for 25.5)
- exercises (for 1.6)
- exercises (for 8.6)
- exercises (for 15.6)
- exercises (for 22.6)
- exercises (for 29.6)
- exercises This week we meet on Friday,
(8.07.) 14:50-16:20, in Room 450.
- exercises (for 13.6) Room 470
Credits / Examinations
Computational logic students can earn 9 credits by attending this lecture. The lecture can be
used for the modules KRAI and TCSL.
In order to get the credits, CL students have to do meet both of the following two
Computer Science students are not obliged to present exercises, but are invited
to do so.
- present at least four exercises in front of the exercise group;
- pass an oral examination at the end of the term.
The following literature can be downloaded from the web or found at the WebOPAC of SLUB.
- F. Baader: Logic-Based Knowledge Representation. In M.J. Wooldridge
and M. Veloso, editors, Artificial Intelligence Today, Recent Trends
and Developments, number 1600 in Lecture Notes in Computer Science,
pages 13-41. Springer Verlag, 1999. Available electronically at
- F. Baader and U. Sattler. An Overview of Tableau Algorithms for
Description Logics. Studia Logica, 69:5-40, 2001. Available
- Halpern, J. Y. and Moses, Y.: A guide to completeness and complexity
for modal logic of knowledge and belief. Artificial Intelligence,
volume 54, pages 319-379, 1992.
- G. Brewka, J. Dix, and Kurt Konolige: Nonmonotonic Reasoning: An
Overview. CSLI Lecture Notes, volume 73, CSLI Publications", Stanford,