Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang
Les jeux booléens permettent de représenter succintement 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.