Goal-Based Collective Decisions: Axiomatics and Computational Complexity
Résumé
We study agents expressing propositional goals over a set of binary issues to reach a collective decision. We adapt properties and rules from the literature on Social Choice Theory to our setting, providing an axiomatic characterisation of a majority rule for goal-based voting. We study the computational complexity of finding the outcome of our rules (i.e., winner determination), showing that it ranges from Nondeterministic Polynomial Time (NP) to Probabilistic Polynomial Time (PP).
Nous étudions des agents exprimant des buts propositionnels sur un ensemble de questions binaires pour parvenir à une décision collective. Nous adaptons les propriétés et les règles de la littérature sur la Théorie du Choix Social `a notre contexte, en fournissant une caractérisation axiomatique d’une règle de la majorité pour le vote par buts. Nous étudions la complexité computationnelle de trouver le résultat de nos règles (c.-à-d., winner determination), montrant qu’il va du temps polynomial non déterministe (NP) au temps polynomial probabiliste (PP).
Domaines
Intelligence artificielle [cs.AI]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...