Uni-Logo

Dynamic Epistemic Logic - Overview

Lecturers: Prof. Dr. Bernhard Nebel, Dr. Robert Mattmüller, and Thorsten Engesser

Exercises: Thorsten Engesser

Time

Lecture: Monday 10:15-12:00 and Thursday 10:15-11:00.
Exercises: Thursday 11:15-12:00.

Location

Lecture: Building 051, seminar room 00-006.
Exercises: Building 051, seminar room 00-006.

Language

The lecture will be given in English, and the lecture slides will be in English as well. Exercises may be answered in German or English.

Topics

The course offers an introduction to Dynamic Epistemic Logics (DEL). The following topics will be discussed:

  • Syntax and semantics of epistemic logic
  • Public announcements
  • Epistemic actions and action models
  • Completeness and expressivity
  • Epistemic planning

The students are familiarized with the theory of DEL to such an extent that they are capable of understanding and putting into context current research work in the area of DEL and epistemic planning.

After attending the lecture, they should be able to remember the theoretical foundations of DEL, to apply DEL to model problems, and to participate actively in research in the area of epistemic planning.

Prerequisites

The course is primarily aimed at Masters students majoring in Computer Science, especially in the specialization area of Cognitive Technical Systems, but advanced Bachelors students in their final year and CS minors with the necessary background are also welcome.

There are no mandatory prerequisites to taking this class, but some previous knowledge about propositional logic (cf. course Logic for Computer Scientists) and theoretical computer science (complexity, decidability) is recommended and expected.

Exercises and Exam

Bachelors and Masters students in Computer Science can take this course as part of their specialization in the area of cognitive technical systems. There will be a final exam that needs to be passed, which will be oral for Bachelors students and which will be either oral or written, at our discretion, depending on the number of students registered for the exam, for all other students excepts Bachelors. The exam will take place in the semester break after the course.

During the semester there will be weekly exercises (theoretical assignments and occasional implementation projects). For the admission to the exam 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 this course 6 ECTS credits can be earned.

Course Materials

The lecture slides will be uploaded to the course website during the semester.

Large portions of the course will be based on the following book:
Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic.
Additionally, some material may be taken from the following two books: Hans van Ditmarsch, Joseph Halpern, Wiebe van der Hoek, and Barteld Kooi (eds). Handbook of Epistemic Logic., and
Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic..

The lecture will not be recorded.