Skip to Main content Skip to Navigation
Conference papers

Goal-Based Collective Decisions: Axiomatics and Computational Complexity

Arianna Novaro 1 Umberto Grandi 1 Dominique Longin 1 Emiliano Lorini 1
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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).
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Tuesday, October 15, 2019 - 3:59:23 PM
Last modification on : Friday, November 27, 2020 - 7:06:01 PM
Long-term archiving on: : Friday, January 17, 2020 - 11:18:19 AM


Files produced by the author(s)


  • HAL Id : hal-02316858, version 1
  • OATAO : 22408


Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini. Goal-Based Collective Decisions: Axiomatics and Computational Complexity. 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. pp.468-474. ⟨hal-02316858⟩



Record views


Files downloads