Logics for strategic reasoning and collective decision-making

Jiang, Guifei (2016) Logics for strategic reasoning and collective decision-making. Ecole doctorale Mathématiques, Informatique, et Télécommunications de Toulouse.

[img]
Preview
Text
Download (2MB) | Preview
Official URL: http://www.theses.fr/2016TOU10019

Abstract

Cette thèse aborde le problème du raisonnement stratégique. Le raisonnement stratégique est un thème de recherches existant depuis e nombreuses années en théorie des jeux. Toutefois, celui-ci a le plus souvent pour objet de déterminer si des équilibres stratégiques existent sans détailler la définition en elle-même de ces stratégies. La construction d'agents artificiels capable de raisonner stratégiquement implique de se poser la question de la représentation de ces stratégies afin que les agents puissent les construire, combiner, comparer et enfin et surtout exécuter. Cette thèse propose un ensemble de logiques pour le raisonnement stratégique et la prise de décision collective. Elle établit dans un premier temps un cadre unifiée pour la définition de jeux, la représentation de stratégies et le raisonnement sur celles-ci dans le contexte des jeux à information parfaite. Ce cadre est ensuite étendu pour prendre en compte les jeux à information imparfaite. Les relations entre les connaissances de groupe, le pouvoir des coalitions ainsi que le partage d'informations dans une coalition sont ensuite étudiés. Dans un dernier temps, est introduit une logique modale permettant de de raisonner sur les choix collectifs, cette logique permet de généraliser les approches logiques existantes pour l'agrégation de jugements. La complexité de ces différents cadres logiques est aussi étudiée et nous montrons que ces différents cadres offre un équilibre pertinent entre efficacité computationnelle et pouvoir d'expression.

,

This thesis proposes a set of logics for modelling strategic reasoning and collective decision-making. It first establishes a unified logical framework for game specifications, strategy representation and strategic reasoning in perfect information games. Based on that, it proposes an epistemic extension to address imperfect information games. To investigate the interplay of group knowledge and coalitional abilities, it further models knowledge sharing within coalitions. Finally it introduces a modal logic for collective choice and generalizes the logic-based approach to judgment aggregation. The complexity analysis of these logics indicates that these frameworks make a good balance between expressive power and computational efficiency.

Item Type: Thesis (UNSPECIFIED)
Other titles: Logiques pour le raisonnement stratégique et la prise de décision collective
Language: English
Date: 20 June 2016
Keywords (French): Décision de groupe - Thèses et écrits académiques, Théorie des jeux - Thèses et écrits académiques, Prise de décision (statistique) - Thèses et écrits académiques
Subjects: H- INFORMATIQUE
Divisions: Institut de Recherche en Informatique de Toulouse - IRIT
Ecole doctorale: Ecole doctorale Mathématiques, Informatique, et Télécommunications de Toulouse
Site: UT1
Date Deposited: 18 Nov 2016 08:13
Last Modified: 18 Oct 2017 15:11
OAI ID: 2016TOU10019
URI: http://publications.ut-capitole.fr/id/eprint/22519

Actions (login required)

View Item View Item