Introduction to Non-monotonic Reasoning

Course Description

The lecture on Non-monotonic reasoning covers chapters on

• Introduction and preliminaries
• Default Logic
• Autoepistemic Logic
• Cirumscription
• Nonmonotonic inference relations
• Belief Revision

Organisation

The lecture is accompanied by weekly tutorials also held by Anni-Yasmin Turhan. The lectures and tutorials take place in room APB-E005. The lecture and the tutorial take place on

• Tuesdays 16:40–18:10 (6. DS),
• Thursdays 16:40–18:10 (6. DS).

From the second week on, the lecture will be Tuesdays and the tutorial Thursdays.

Exercise sheets will be made available on this page approximately one week before each tutorial. During the tutorials, the students can present and discuss their solutions of the exercises, and ask questions about the content of the lecture.

SWS/Modules

SWS: 2/2/-

Modules:

• Bachelor Informatik: INF-B-510 (Vertiefung in der Informatik), INF-B-520 (Spezialisierung in der Informatik)
• Master Informatik, Diplom Informatik: INF-BAS6 (Theoretische Informatik), INF-VERT6 (Vertiefung Theoretische Informatik)
• Master Computational Logic, European Master in Computational Logic: MCL-TCSL / EMCL-A-TCSL (Theoretical Computer Science and Logic), MCL-KR / EMCL-A-KR (Knowledge Representation)

Lecture Material

Students are strongly recommended to copy what is written on the blackboard. Slides are used for the lectures and will be made available here.

Literature

• This lecture is mainly based on the book Nonmonotonic Reasoning by Grigoris Antoniou
• Nonmonotonic Reasoning by G. Brewka, J. Dix and K. Konolige
• Chapters "Nonmonotonic Reasoning" and "Belief Revision" in the Handbook of Knowledge Representation.