Problem
Research questions and friction points this paper is trying to address.
multi-winner voting
argumentative ballots
justified representation
voter cohesion
defeasible preferences
Multi-Winner Voting with Argumentative Ballots
🤖 AI Summary
本文提出了一种使用论证选票的多胜者投票方法(MVArg)，并研究了其理论性质，包括表达偏好、选民凝聚力和正当代表性的新定义。
📝 Abstract
We introduce multi-winner voting with argumentative ballots (MVArg) and investigate theoretical properties. As our conceptual contribution, we generalise approval ballots to argumentative ballots, thereby allowing voters to express defeasible preferences over candidates. We accordingly generalise voter cohesion and justified representation axioms JR, PJR and EJR. As our theoretical contribution, we establish several key results. First, MVArg is strictly more expressive than multi-winner voting with approval ballots (MV). Second, our notions of cohesion and justified representation are conservative generalisations of their counterparts in MV. Third, the MVArg counterpart of JR can always be satisfied, whereas the counterparts of PJR and EJR cannot always be. Fourth, although verifying whether a winner set satisfies the MVArg counterpart of JR is already coNP-hard, such a winner set can be constructed in polynomial time. All definitions, propositions, auxiliary lemmas and theorems have been formalised and mechanically checked in Lean 4.
Innovation
Methods, ideas, or system contributions that make the work stand out.
multi-winner voting
argumentative ballots
justified representation
Lean 4
expressiveness
🔎 Similar Papers
2018-03-15arXiv.orgCitations: 29
