Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

A Logical Framework for Capturing the Dynamics of Information and Abilities of Players in Multi-Player Games: a preliminary report

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Valentin Goranko
Le mardi 22 février 2011 à 11:00
Salle de Conférence (Pavillon des Jardins)
Valentin Goranko (Technical University of Denmark)

I will discuss first steps towards a more realistic treatment and logical formalization of the abilities of players to achieve objectives in multi-player games under incomplete, imperfect, or simply wrong information that they may have about the game and about the course of the play. In this talk, after some motivating examples I will introduce a variation of the multi-agent logic ATL as a logical framework for capturing the interplay between the dynamics of information and the dynamics of abilities of players. This framework takes into account both the a priori information of players with respect to the game structure and the empirical information that players develop over the course of an actual play. It associate with them respective information relations and notions of `a priori' and `empirical' strategies and strategic abilities. I will discuss the problem of model checking of statements formalized in the new logic under different assumptions about the abilities of the players to observe, remember, and reason.

Most of the talk will be based on a joint work with Peter Hawke (now at Stanford Univ.)

À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents