A Calculus for Computing Structured Justifications for Election Outcomes

Authors

  • Arthur Boixel Institute for Logic, Language and Computation (ILLC), University of Amsterdam
  • Ulle Endriss Institute for Logic, Language and Computation (ILLC), University of Amsterdam
  • Ronald de Haan Institute for Logic, Language and Computation (ILLC), University of Amsterdam

DOI:

https://doi.org/10.1609/aaai.v36i5.20414

Keywords:

Game Theory And Economic Paradigms (GTEP)

Abstract

In the context of social choice theory, we develop a tableau-based calculus for reasoning about voting rules. This calculus can be used to obtain structured explanations for why a given set of axioms justifies a given election outcome for a given profile of voter preferences. We then show how to operationalise this calculus, using a combination of SAT solving and answer set programming, to arrive at a flexible framework for presenting human-readable justifications to users.
AAAI-22 Proceedings Cover

Downloads

Published

2022-06-28

How to Cite

Boixel, A., Endriss, U., & Haan, R. de. (2022). A Calculus for Computing Structured Justifications for Election Outcomes. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 4859-4866. https://doi.org/10.1609/aaai.v36i5.20414

Issue

Vol. 36 No. 5: AAAI-22 Technical Tracks 5

Section

AAAI Technical Track on Game Theory and Economic Paradigms