December 1, 2014
Nicolas Troquard (LACL - UPEC)On présente une logique pour raisonner sur les jeux stratégiques. La logique proposée est un formalisme modal avec des modalités pour parler des pouvoirs des agents, et des modalités pour parler des préférences des agents. Si souvent les logiques modales sont interprétés sur des modèles de Kripke, ça n’est pas le cas ici. On représente les jeux stratégiques avec des modèles plus compacts basés sur les modèles de contrôle propositionnel. On montre que de nombreux concepts d’équilibre peuvent être exprimés dans la logique. On présente ensuite quelques applications directe des problèmes de décision de la logique pour résoudre des problèmes de la théorie du choix social.
Cette présentation est basé sur http://www.loa.istc.cnr.it/personal/troquard/PAPERS/TrvdHWo09aamas.pdf