KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Property-Oriented Design of Voting Rules Using Composable Modules

Diekhoff, Karsten; Kirsten, Michael; Krämer, Jonas

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.

Open Access Logo


Postprint §
DOI: 10.5445/IR/1000120010
Veröffentlicht am 11.10.2020
Originalveröffentlichung
DOI: 10.1007/978-3-030-31489-7
Dimensions
Zitationen: 1
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 10.10.2019
Sprache Englisch
Identifikator ISBN: 978-3-030-31488-0
KITopen-ID: 1000120010
Erschienen in Algorithmic Decision Theory - 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings. Ed.: S. Pekeč
Auflage 1st ed.
Verlag Springer
Seiten 164–166
Serie Lecture Notes in Artificial Intelligence ; 11834
Schlagwörter Social choice, Formal correctness, Modular design
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page