Towards automatic argumentation about voting rules
Kirsten, Michael; Cailloux, Olivier (2018), Towards automatic argumentation about voting rules, 4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle (APIA 2018), 2018-07, Nancy, France
Type
Communication / ConférenceLien vers un document non conservé dans cette base
https://hal.archives-ouvertes.fr/hal-01830911Date
2018Titre du colloque
4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle (APIA 2018)Date du colloque
2018-07Ville du colloque
NancyPays du colloque
FranceMétadonnées
Afficher la notice complèteAuteur(s)
Kirsten, MichaelCailloux, Olivier

Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Résumé (EN)
Voting rules aggregate the preferences of a group to make decisions. As multiple reasonable voting rules exist, the ax-iomatic approach has been proposed to exhibit both their merits and paradoxical behaviors. It consists in characterizing a voting rule by a set of understandable properties called axioms. It is however a difficult task to characterize a voting rule by such axioms, and even when a proof exists, it may be difficult to understand why a specific voting rule fails to satisfy a given axiom, especially for untrained users. In this article, we present an automatic method which determines whether a given rule satisfies a set of axioms. When the rule does not satisfy an axiom, the automatic prover generates comprehensible evidence of the violation in the form of a counterexample. It can be used by non-expert users to comprehend the violation and may serve to argue in favor of other rules which satisfy the axiom. Our method is based on the software analysis technique bounded model checking, which enables bounded verification for properties of software programs. It translates the program together with user-annotations into a reachability problem for those profiles and outcomes which adhere to our specification. The method can be applied to arbitrary voting rules; we demonstrate it on the case of the Borda axiomatization and compare the Borda rule to both the Black and the Copeland voting rules.Mots-clés
Social choice theory; bounded model checking; argumentation theory; automated reasoningPublications associées
Affichage des éléments liés par titre et auteur.
-
Cailloux, Olivier; Endriss, Ulle (2016) Communication / Conférence
-
Napolitano, Beatrice; Cailloux, Olivier; Viappiani, Paolo (2021) Communication / Conférence
-
Cohen, Laurent D.; Rouchdy, Youssef (2013) Article accepté pour publication ou publié
-
Ghorpade, Vijaya; Cohen, Laurent D. (2015) Communication / Conférence
-
Lang, Jérôme; Slavkovik, Marija (2013) Communication / Conférence