Logik für Spiele und strategische Schlussfolgerungen, Lissabon, Portugal

Vom 16. bis 17. August 2010 findet in Lissabon, Portugal, ein Workshop zum Thema "Logics for games and strategic reasoning" (Logik für Spiele und strategische Schlussfolgerungen) statt.

Strategische Schlussfolgerungen zieht man in vielen Multiagentensystemen. Dies wird nicht nur besonders bei spieltheoretischen und entscheidungstheoretischen Modellen, sondern auch bei eher informellen Einstellungen deutlich, bei denen die Spielmetapher verwendet wird (wie bei Computerspielen oder sozialen Netzwerkdiensten). Mathematische Logik kann in vieler Hinsicht durch die Bereitstellung von Spezifikationen, Modellen und/oder Algorithmen für spielähnliche Szenarien zu dieser Sichtweise beitragen.

Auf dem Treffen wird man untersuchen, wie Logik zu unserem Verständnis, zur Modellierung und zur Analyse von Spielen beitragen kann, und überdies, wie die Metapher von Spielen und Strategien beim Aufbau und bei der Nutzung logischer Formalismen hilfreich sein kann.

Geplante Veranstaltungsthemen sind:
- "Logik für Schlussfolgerungen über Spiele und Strategien",
- "Modallogiken strategischer Fähigkeiten",
- "Logische Grundlagen der Spiel- und Entscheidungstheorie",
- "Logische Ansätze zu Rationalität und eingeschränkter Rationalität",
- "Lösen von Spielen und Verifikation von Strategien durch Model-Checking",
- "Logik für Mechanismusdesign",
- "Spielsemantik für Logiken",
- "Spiele bei der Verifikation logischer Spezifikationen".Weitere Informationen sind abrufbar unter:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(öffnet in neuem Fenster)