199.090 Dynamic Epistemic Logic
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

After successful completion of the course, students are able to...

  • give a comprehensive and basic introduction into dynamic epistemic logic

******************************************************************************

Inhalt der Lehrveranstaltung

The lecturer of this course will be Prof. Hans van Ditmarsch / LORIA, France.

Description:

Epistemic logic models knowledge and belief in multi-agent systems. Dynamic epistemic logic models change of knowledge and belief.
We provide a comprehensive and basic introduction into dynamic epistemic logic, going in detail into the semantics, with lots of examples and hands-on exercises, and treating topics such as expressivity, axiomatization, and bisimulation.
The course will cover:
(i) knowledge and belief, and group epistemic notions general knowledge, common knowledge, and distributed knowledge;
(ii) public announcement logic, and unsuccessful updates;
(iii) action model logic, semi-public events, fully private events;
(iv) plausibility models and belief revision, i.e., change of knowledge and belief in combined fashion, including modellings of (the event of) lying;
(v) factual change,
(vi) embeddings into temporal epistemic logic (protocol-generated forests), and
(vii) quantification over information change. Time permitting, we will also cover very recent developments on
(viii) modelling asynchrony and concurrency in dynamic epistemic logic.

Methoden

interactive

Prüfungsmodus

Prüfungsimmanent

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.10:00 - 12:0003.06.2020 Dynamic Epistemic Logic
13:00 - 15:0003.06.2020 - 05.06.2020 Dynamic Epistemic Logic
Mo.13:00 - 15:0008.06.2020 Dynamic Epistemic Logic
13:00 - 15:0009.06.2020 - 10.06.2020 Dynamic Epistemic Logic
Fr.13:00 - 15:0012.06.2020 Dynamic Epistemic Logic
Fr.13:00 - 15:0019.06.2020 Dynamic Epistemic Logic - Final Survey/Discussion
Dynamic Epistemic Logic - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.03.06.202010:00 - 12:00 Dynamic Epistemic Logic
Mi.03.06.202013:00 - 15:00 Dynamic Epistemic Logic
Do.04.06.202013:00 - 15:00 Dynamic Epistemic Logic
Fr.05.06.202013:00 - 15:00 Dynamic Epistemic Logic
Mo.08.06.202013:00 - 15:00 Dynamic Epistemic Logic
Di.09.06.202013:00 - 15:00 Dynamic Epistemic Logic
Mi.10.06.202013:00 - 15:00 Dynamic Epistemic Logic
Fr.12.06.202013:00 - 15:00 Dynamic Epistemic Logic
Fr.19.06.202013:00 - 15:00 Dynamic Epistemic Logic - Final Survey/Discussion
LVA wird geblockt abgehalten

Leistungsnachweis

Immanent.

LVA-Anmeldung

Von Bis Abmeldung bis
24.02.2020 00:00 31.05.2020 23:59

Anmeldemodalitäten:

Please register in TISS.

Curricula

Literatur

The course will be mainly based on material found in:

(i) Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi, Dynamic Epistemic Logic, Springer 2008 (about 70 euros),
(ii) Chapter 1, 6 and 7 of: Hans van Ditmarsch, Joe Halpern, Wiebe van der Hoek, Barteld Kooi (eds.), Handbook of Epistemic Logic, College Publications, 2015 (20 GBP), and
(iii) One Hundred Prisoners and a Light Bulb, Copernicus/Springer, 2015 (about 20 euros), that contains a final technical chapter.

It is strongly recommended to have "One Hundred Prisoners and a Light Bulb", https://www.springer.com/gp/book/9783319166933, before the course starts. This book is available as E-book at TU Wien's library.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch