Elicitation and explanation for voting rules

par Beatrice Napolitano

Projet de thèse en Informatique

Sous la direction de M. Remzi Sanver.

Thèses en préparation à Paris Sciences et Lettres , dans le cadre de Ecole doctorale de Dauphine (Paris) , en partenariat avec Laboratoire d'Analyse et de Modélisation de Systèmes d'Aide à la Décision (laboratoire) et de Université Paris-Dauphine (établissement de préparation de la thèse) depuis le 31-08-2018 .


  • Résumé

    L'objectif de la thèse de doctorat est le développement de procédures pouvant aider un comité (ou une société) à choisir une règle de vote appropriée. Cela implique une analyse axiomatique des règles de vote, l'explication de ces axiomes en termes non-expert peut comprendre et privilégier les méthodes d'élicitation. Les règles de vote sont des moyens formels d'agréger les préférences d'un groupe d'électeurs dans une décision collective. Quelle règle à utiliser est une question difficile et cela dépend de la conception de la justice de la société ou du comité concerné. Aucune règle ne peut être considérée comme la meilleure indépendamment du contexte. Une règle de vote peut être caractérisée par un ensemble d'axiomes, et l'analyse axiomatique est une approche bien acceptée pour étudier les propriétés satisfaites par les règles de vote. Mais le choix des axiomes à satisfaire ne devrait pas être laissé aux scientifiques. Ainsi, des méthodes pour présenter des axiomes et leurs conséquences à des utilisateurs non experts doivent être mises en œuvre. De plus, nous ne pouvons pas simplement demander au comité quels axiomes il aime, car il est souvent impossible pour les utilisateurs non experts de voir les conséquences de l'acceptation d'un ensemble d'axiomes. Par conséquent, il existe des techniques d'élicitation qui peuvent capturer des préférences subjectives informelles dans des modèles formels. Outre le travail théorique, le projet vise à produire des méthodes pratiques qui pourraient être intégrées dans la plateforme Whale.

  • Titre traduit

    Elicitation and explanation for voting rules


  • Résumé

    The goal of the Ph.D. project is the development of procedures able to help a committee (or a society) choose a suitable voting rule. This involves axiomatic analysis of voting rules, explanation of those axioms in terms a non-expert can understand and preference elicitation methods. Voting rules are formal means to aggregate preferences of a group of voters into a collective decision. But which rule to use is a difficult question and it depends on the conception of justice of the concerned society or committee. No rule can be considered the best independent of the context. A voting rule can be characterized by a set of axioms, and the axiomatic analysis is a well-accepted approach to studying the properties satisfied by voting rules. But the choice of which axioms should be satisfied should not be left to scientists. Thus, methods to present axioms and their consequences to non-expert users must be implemented. Moreover, we cannot simply ask the committee which axioms it likes, because it is often impossible for non-expert users to see the consequences of accepting a set of axioms. Therefore, elicitation techniques exist that can capture informal subjective preferences into formal models. Besides theoretical work, the project aims at producing practical methods that could be integrated into the Whale platform.