Seminar Spiele in der Informatik

Programm

Aktuelles

Das Seminar findet im Raum RUD 25, III 113 statt.

Ablauf

Zum Erwerb des Seminarscheins muß eine ca. fünfseitige Ausarbeitung abgegeben und ein Vortrag gehalten werden. Der Vortrag sollte ungefähr eine Stunde dauern.
Bitte melden Sie sich Anfang Juni zur Besprechung Ihres Themas bei Prof. Kreutzer.

Termine

Die Vorbesprechung für das Seminar findet am Mittwoch, dem 19.4.2006 um 15Uhr im Raum 4.410 des Johann von Neumann-Hauses statt.
Das Seminar wird als Blockseminar am 25., 26. und 27.7.2006 im Raum RUD 25, III 113 stattfinden.
Die Ausarbeitung muß bis zum 10.7. abgegeben werden.

Einführung

Spieltheorie beschäftigt sich mit der Interaktion eigennützig handelnder Spieler ("Systeme", "Agenten") und den sich daraus ergebenden strategischen Szenarien. Entstanden in den vierziger Jahren des letzten Jahrhunderts hat die Spieltheorie seitdem vielfältige Anwendungen in den Wirtschaftwissenschaften, der Politologie oder der Biologie gefunden. In der Informatik liegen Anwendungen der Spieltheorie unter anderem in der Verifikation reaktiver Systeme oder in der Analyse von Multiagentensystemen. Besonders im Bereich der Verifikation eignen sich Spiele besonders um die Interaktion zwischen der Umgebung eines Prozesses, z.B. die Handlungen der Benutzer, und dem Prozess selbst zu untersuchen. In dem Seminar werden wir uns daher mit verschiedenen Formen solcher Verifikationsspiele beschäftigen. Daneben werden wir auch allgemeine Formen von Spielen auf Graphen betrachten, die unter dem Stichwort "Räuber und Gendarm"-Spiele bekannt geworden sind. Dabei handelt es sich um Spiele, in denen mehrere Gendarmen versuchen, einen fliehenden Räuber auf einem Graph zu fangen. Spiele dieser Art modellieren z.B. Anwendungen, in denen systematisch anhand gegebener Pläne ein Gebiet durchsucht werden muss.

Literatur