Logik des geteilten Wissens
              
Hauptseminar SS 2006

Martin Hofmann, Hans Leiß

Termine

Mi, 14 Uhr ct Oettingenstr.67, Raum 1.15, Beginn: 26.4.2006
Inhalt und Ziel der Veranstaltung
Es macht einen Unterschied, ob man eine E-Mail an 10 Leute einzeln schickt, oder gemeinsam mit für alle lesbarer Adressatenliste. Nur im zweiten Fall ist die E-Mail "Geteiltes Wissen". Wie man den Begriff des geteilten Wissens formalisiert und konkret einsetzt, ist Gegenstand des Seminars. Insbesondere geht es darum, logische Argumentationsweisen über die Wissenszustände einzelner Agenten oder das gemeinsame Wissen zu betrachten und auf konkrete Beispiele aus der Informatik anzuwenden, z.B. um die Korrektheit oder Sicherheit von Kommunikationsprotokollen zu zeigen.
Das Seminar folgt im ersten Teil dem unten angegebenen Buch von Fagin u.a. Im zweiten Teil wird nach dem Buch von Parikh die Rolle des geteilten Wissens bei der Kommunikation mit mehrdeutigen (natürlichen) Sprachen behandelt.
Scheinkriterium:
Guter Seminarvortrag, mit gutem Handout oder nachträglicher schriftlicher Ausarbeitung (noch im Semester).
Literatur
RaK R.Fagin, J.Y.Halpern, Y.Moses, M.Y.Vardi: Reasoning about Knowledge.
MIT Press 2003 (Paperback edition)
UoL P.Parikh: The Use of Language. CSLI Publications. Stanford 2001
Siehe auch die Artikel zum Seminar Logik und dynamisches Wissen von Prof.E.Grädel an der der RWTH Aachen.
Zeitplan:
Datum Thema
26.4. Vorbesprechung, Themenvergabe
3.5. Modellierung des Wissens durch Modaloperatoren Ki, EG, CG, DG,
(RaK, Kap. 2, ggf. ohne 2.5, Ereignisse)
Vortragende(r): Martin Hofmann
10.5. Vollständigkeit der Axiomensysteme Kn, Tn, S5n mit CG und DG
(RaK, Kap. 3.1+3.3)
Vortragende(r): Hans Leiß
17.5. Systeme mit mehreren Agenten und Wissensbasen
(RaK, Kap. 4.1-4.4.1)
Vortragende(r): Volker Krux     Betreuer: Leiß
24.5. Entscheidbarkeit (und Komplexität) der Axiomensysteme
(RaK, Kap. 3.2+3.3, ggf. 3.5)
Vortragende(r): Hans Leiß Ausarbeitung
31.5. Synchrone, asynchrone und Nachrichten-Systeme
(RaK, Kap. 4.4.3-4.5)
Vortragende(r): Andreas Hauser     Betreuer: Leiß
7.6. Geteiltes Wissen und Koordination von Handlungen
(RaK, Kap. 5 + 6.1, ggf. 6.2)
Vortragende(r): Matthew Ehilawa     Betreuer: Hofmann
14.6. Koordination bei fehlerhaften Agenten (Byzantinische Abstimmung)
(RaK, Kap. 6.3-6.7)
Vortragende(r): Elena Levushkina     Betreuer: Hofmann Aufsatz von L.Lamport e.a.
21.6. Kommunikation als Spiel zwischen rationalen Agenten
(UoL, Kap. 2+3)
Vortragende(r): Eduardo Torres     Betreuer: !Leiß
28.6. Geteiltes Wissen und Gleichzeitigkeit von Ereignissen
(RaK, Kap. 11, ggf. ohne Approximation an geteiltes Wissen)
Vortragende(r): Alexandra Benze     Betreuer: Leiß
5.7. Lösung eines Spiels zwischen rationalen Agenten
(UoL, Kap. 4 + Kap. 5)
Vortragende(r): Konstantin Kutuzov     Betreuer: Hofmann
12.7. Formen der Kommunikation in mehrdeutigen Ausdrücken
(UoL, Kap. 6, ggf. +5)
Vortragende(r): Hui-Ting Tsai     Betreuer: !Leiß
19.7. Implikaturen: Grice'sche Maximen und Gleichgewichte in Spielen
(UoL, Kap. 7)
Vortragende(r): Alina Seibstock     Betreuer: Hofmann
26.7. Mathematisches Modell der Kommunikation in mehrdeutigen Sprachen
(UoL, Anhang)
Vortragende(r): H.L.       Betreuer: Leiß


File translated from TEX by TTH, version 3.70.
On 20 Jun 2006, 13:25.