Efficient coalitions in Boolean games (RFIA 2008)

Coalitions efficaces dans les jeux booléens (RFIA 2008)

Elise Bonzon (1) , Marie-Christine Lagasquie-Schiex (1) , Jérôme Lang (1)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

Boolean games are a logical setting for representing stra-tegic games in a succinct way, taking advantage of the ex-pressive power and conciseness of propositional logic. A Boolean game consists of a set of players, each of which controls a set of propositional variables and has a specific goal expressed by a propositional formula. We show here that Boolean games are a very simple setting, yet sophisti-cated enough, for studying coalitions. Due to the fact that players have dichotomous preferences, the following no-tion emerges naturally : a coalition in a Boolean game is efficient if it has the power to guarantee that all goals of the members of the coalition are satisfied. We study the proper-ties of efficient coalitions.

Les jeux booléens permettent de représenter succinctement des jeux en tirant profit du pouvoir d’expression et de la concision de la logique propositionnelle. Un jeu booléen est constitué d’un ensemble de joueurs, chacun d’entre eux contrôlant un ensemble de variables propositionnelles et ayant un but représenté par une formule en logique propositionnelle. Nous montrons ici que les jeux booléens sont un cadre très simple, et pourtant assez sophistiqué, pour étudier les coalitions. Étant donné que les joueurs ont des préférences dichotomiques, la notion suivante émerge naturellement: une coalition dans un jeu booléen est efficace si elle peut garantir à tous ses membres que leurs buts sont satisfaits. Nous étudions ici les propriétés de ces coalitions.

Mots clés: game theory; logic; coalitions; core

Mots clés: coalitions; logique; théorie des jeux; noyau

Domaines: Intelligence artificielle [cs.AI]

Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang. Coalitions efficaces dans les jeux booléens (RFIA 2008). 16ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), AFIA : Association française pour l'intelligence artificielle; AFRIF : Association française pour la reconnaissance et l'interprêtation des formes; Université de Picardie Jules Verne, Jan 2008, Amiens, France. ⟨hal-03198316⟩