Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces multi-winner voting with argumentative ballots (MVArg), which enhances traditional voting systems by allowing voters to express defeasible preferences. The authors establish that MVArg is more expressive than multi-winner voting with approval ballots and provide a comprehensive theoretical framework that includes generalizations of key axioms like voter cohesion and justified representation. Notably, while the MVArg version of justified representation can always be satisfied, the counterparts of other axioms cannot, highlighting the nuanced trade-offs in expressive voting systems.
MVArg allows voters to express nuanced preferences, revealing that traditional voting systems may overlook critical dimensions of representation.
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.