OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Logic for Collective Choice

Jiang, Guifei and Zhang, Dongmo and Perrussel, Laurent and Zhang, Heng A Logic for Collective Choice. (2015) In: 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 4 May 2015 - 8 May 2015 (Istanbul, Turkey).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


This paper presents a modal logic for modelling individual and collective choices over a set of feasible alternatives. The logic extends propositional logic with a binary modality so that a formula can express not only properties of alternatives but also priorities of individuals over the properties. More importantly, each formula of this logic determines a preference ordering over alternatives based on the priorities over properties that the formula expresses. In such a way, preferences of multiple agents can be represented by a set of formulas in the same logic. This allows us to treat the problem of collective choice in a multi-agent system as aggregation of logical formulas. We further use this language to express a few plausible collective choice rules. Similar to preference aggregation, we specify collective choice rules by Arrow’s conditions. Interestingly, all Arrowian conditions are plausible under the new setting except Independence of Irrelevant Alternatives. This gives us a natural way to avoid Arrow’s impossibility result. Finally, we develop a model checking algorithm to automatically generate individual and collective choices in the logic.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01327079
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > University of Western Sydney - UWS (AUSTRALIA)
Laboratory name:
Deposited On:09 May 2016 09:01

Repository Staff Only: item control page