PP-2016-17: Ciná, Giovanni and Endriss, Ulle (2016) Proving Classical Theorems of Social Choice Theory in Modal Logic. [Report]
Preview |
Text (Full Text)
PP-2016-17.text.pdf Download (228kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2016-17.abstract.txt Download (1kB) |
Abstract
A number of seminal results in the field of social choice theory demonstrate the difficulties of aggregating the preferences of several individual agents for the purpose of making a decision together. We show how to formalise three of the most important impossibility results of this kind---Arrow’s Theorem, Sen’s Theo- rem, and the Muller-Satterthwaite Theorem---by using a modal logic of social choice functions. We also provide syntactic proofs of these theorems in the same logic. While prior work has been successful in applying tools from logic and automated reasoning to social choice theory, this is the first human-readable formalisation of the Arrovian framework allowing for a direct derivation of the main impossibility theorems of social choice theory. This is useful for gaining a deeper understanding of the foundations of collective decision making, both in human society and in groups of autonomous software agents.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2016-17 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | social choice theory, modal logic |
| Subjects: | Logic |
| Depositing User: | Ulle Endriss |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/553 |
Actions (login required)
 |
View Item |
