185.A98 Epistemic Logic and Communication
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018S, VU, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Students learn the basic concepts and results of epistemic logic and apply them to the communication in a multi-agent setting.

Inhalt der Lehrveranstaltung

The development of Artificial Intelligence cannot be imagined without a formal theory of knowledge. Thus, what has been in the domain of philosophy under the name of formal epistemology, has gained a second life in logic and computer science under the name of epistemic logic.

Epistemic logic started as a study of the laws of static knowledge. The proliferation of multi-agent and distributed systems called for a more dynamic view of knowledge and guaranteed the success of what is now called dynamic epistemic logic. It studies how knowledge changes as a
result of communication between the agents. Dynamic epistemic logic has connections with database theory, game theory, and economics.

In the course, we first study standard epistemic modal logics for multi-agent systems and discuss concepts such as individual, group, distributed and common knowledge. These concepts will be illustrated by some famous examples, such as Cheryl's Birthday, the Muddy Children
Puzzle, the Two Generals' Problem, and the Alternating Bit Protocol. We study the syntax and semantics of epistemic logics. We then introduce the dynamic element, i.e., the means of expressing communication and the resulting change in knowledge of the agents. We first study simple updates corresponding to public announcements and discuss whether public
announcements must necessarily be successful, i.e., whether a public announcement of a particular fact brings about the knowledge of this fact by the agents. We then turn our attention to a more general model of communication called action models.

The course will mostly be based on the book "Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, 'Dynamic Epistemic Logic'. Springer, 2007 (Volume 337 of Synthese Library)"

Weitere Informationen

Ects Breakdown

3 ECTS = 75 Hours
   - Lecture 24h
   - Solving the exercises 20h
   - Study of book and other literature 10h
   - Preparation for exam 20.5h
   - Oral exam 0.5h

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.14:00 - 15:3007.03.2018 - 27.06.2018Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.14:00 - 15:3021.03.2018Seminarraum FAV EG B (Seminarraum von Neumann) 185.A98 Epistemic Logic and Communication
Epistemic Logic and Communication - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.07.03.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.14.03.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.21.03.201814:00 - 15:30Seminarraum FAV EG B (Seminarraum von Neumann) 185.A98 Epistemic Logic and Communication
Mi.11.04.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.18.04.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.25.04.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.09.05.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.16.05.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.23.05.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.30.05.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.06.06.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.13.06.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication
Mi.27.06.201814:00 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) 185.A98 Epistemic Logic and Communication

Leistungsnachweis

Oral exam

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

Dynamic Epistemic Logic

(v. 337 of Synthese Library)

Springer, 2008

https://doi.org/10.1007/978-1-4020-5839-4

 

Sprache

Englisch