Formal Property-Oriented Design of Voting Rules Using Composable Modules

Reviewed Paper In Proceedings

Author(s):Karsten Diekhoff, Michael Kirsten, and Jonas Krämer
In:6th International Conference on Algorithmic Decision Theory (ADT 2019)
Publisher:Springer
Series:Lecture Notes in Artificial Intelligence
Volume:11834
Part:Short Papers
Year:2019
Pages:164-166
DOI:10.1007/978-3-030-31489-7
Links:

Abstract

Voting rules aggregate multiple individual preferences in order to make a collective decision. Commonly, these mechanisms are expected to respect a multitude of different notions of fairness and reliability, which must be carefully balanced to avoid inconsistencies. We present an approach for the sound and flexible design of voting rules from composable modules. Formal composition rules guarantee social choice properties from properties of the individual components. The approach can be applied to many voting rules from the literature.

BibTeX

@inproceedings{DiekhoffKirstenKraemer2019,
    author    = {Karsten Diekhoff and
                 Michael Kirsten and
                 Jonas Kr{\"{a}}mer},
    editor    = {Sa{\v{s}}a Peke{\v{c}} and
                 {Kristen Brent} Venable},
    title     = {Formal Property-Oriented Design of
                 Voting Rules Using Composable Modules},
    booktitle = {6th International Conference on Algorithmic
                 Decision Theory ({ADT} 2019)},
    venue     = {Durham, NC, USA},
    eventdate = {2019-10-25/2019-10-27},
    series    = {Lecture Notes in Artificial Intelligence},
    part      = {Short Papers},
    month     = oct,
    year      = {2019},
    abstract  = {Voting rules aggregate multiple individual preferences in order to
                 make a collective decision. Commonly, these mechanisms are expected
                 to respect a multitude of different notions of fairness and reliability,
                 which must be carefully balanced to avoid inconsistencies.

                 We present an approach for the sound and flexible design of voting rules
                 from composable modules. Formal composition rules guarantee social
                 choice properties from properties of the individual components. The
                 approach can be applied to many voting rules from the literature.},
    publisher = {Springer},
    volume    = {11834},
    pages     = {164--166},
    doi       = {10.1007/978-3-030-31489-7}
}