Voting by Eliminating Quantifiers |
| |
Authors: | Dov M Gabbay Andrzej Szałas |
| |
Institution: | 1.Department of Computer Science,King’s College,London,UK;2.Bar-Ilan University,Ramat-Gan,Israel;3.Institute of Informatics,Warsaw University,Warsaw,Poland;4.Dept. of Comp. and Information Sci.,University of Link?ping,Link?ping,Sweden |
| |
Abstract: | Mathematical theory of voting and social choice has attracted much attention. In the general setting one can view social choice
as a method of aggregating individual, often conflicting preferences and making a choice that is the best compromise. How
preferences are expressed and what is the “best compromise” varies and heavily depends on a particular situation.
The method we propose in this paper depends on expressing individual preferences of voters and specifying properties of the
resulting ranking by means of first-order formulas. Then, as a technical tool, we use methods of second-order quantifier elimination
to analyze and compute results of voting. We show how to specify voting, how to compute resulting rankings and how to verify
voting protocols. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|