Atelier sur la logique dans les jeux et le raisonnement stratégique à Lisbonne, au Portugal

Un atelier intitulé «Logics for games and strategic reasoning» aura lieu les 16 et 17 août 2010 à Lisbonne, au Portugal.

On utilise le raisonnement stratégique dans plusieurs systèmes multi-agents, et particulièrement dans les modèles théoriques d'analyse des jeux et de la décision, mais également dans des contextes moins officiels basés sur la métaphore du jeu (comme les jeux vidéos ou les services de réseau social). La logique mathématique peut contribuer de plusieurs façons à cette perspective en fournissant des spécifications, des modèles et/ou des algorithmes pour des scénarios identiques aux jeux.

La conférence se penchera sur la façon dont la logique peut contribuer à la compréhension, modélisation et analyse des jeux; elle couvrira également la façon dont la métaphore des jeux et des stratégies peut contribuer à construire et utiliser des formalismes logiques.

Les thèmes suivant seront abordés lors de l'évènement:
- la logique pour raisonner sur les jeux et les stratégies;
- la logique modale de la capacité stratégique;
- les fondations logiques de la théorie des jeux et des décisions;
- les approches logiques à la rationalité et la rationalité limitée;
- la résolution des jeux et la vérification des stratégies par le contrôle des modèles;
- la logique pour la conception des mécanismes;
- la sémantique des jeux pour la logique;
- les jeux pour la vérification des spécifications logiques.Pour de plus amples informations, consulter:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(s’ouvre dans une nouvelle fenêtre)