Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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)
Series:Lecture Notes in Artificial Intelligence
Year:2019
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.

Note

To appear.

BibTeX

@inproceedings{DiekhoffKirstenKraemer2019,
    author    = {Karsten Diekhoff and
                 Michael Kirsten and
                 Jonas Kr{\"{a}}mer},
    editor    = {{Kristen Brent} Venable and
                 Sasa Pekec},
    title     = {Formal Property-Oriented Design of
                 Voting Rules Using Composable Modules},
    booktitle = {6th International Conference on Algorithmic
                 Decision Theory ({ADT} 2019)},
    place     = {Durham, NC, USA},
    date      = {October 25-27},
    series    = {Lecture Notes in Artificial Intelligence},
    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.
                 \newline

                 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.},
    note      = {To appear.}
}