A Component-Based Approach to the Property-Oriented Design of Voting Rules
|Forschungsthema:||Computational Social Choice|
|Typ:||MA / PdF|
Voting rules are algorithms to aggregate multiple individual decisions (e.g., for electing a parliament) into one election outcome.
They aim to establish trust in an election process by balancing a variety of desiderata such as, e.g., proportionality and majority representation.
Most voting rules are designed to satisfy many of them, but experiences show that errors are easy to make, see e.g., the changed German federal elections 2013 to comply with the German constitution. Social choice theory defined many such requirements in “axiomatic properties“.
The goal of this work is to identify and analyse voting rules for core components, e.g., some elimination mechanism in a round-based voting rule, or some mechanism to resolve ties between candidates, etc, which enable a property-oriented construction of voting rules. The resulting component library should enable the user to construct her own voting rule, knowing that already some specified properties are guaranteed by the underlying components. The vision of this library is to support the development of voting rules which guarantee a high level of trust by construction without the need to re-check the whole voting rule.
- Interest and solid knowledge in formal languages and formal methods.
- Good abstraction capability and ability to work systematically.
- Motivation to work in a theoretical field of current research.
Interested? Questions? Then please feel free to contact Michael Kirsten (Room 228, Bldg. 50.34).
- "A Short Introduction to Computational Social Choice." in 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2007)
- "Automated Verification for Functional and Relational Properties of Voting Rules." in 6th International Workshop on Computational Social Choice (COMSOC 2016)
- "Strongly Decomposable Voting Rules on Multiattribute Domains." in 22nd Conference on Artificial Intelligence (AAAI 2007)