A Calculus for Computing Structured Justifications for Election Outcomes

Arthur Boixel, Ulle Endriss, Ronald de Haan

AAAI 2022 pp. 4859-4866

doi:10.1609/AAAI.V36I5.20414 /aaai/2022/boixel2022aaai-calculus/

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.

PDF AAAI Semantic Scholar

Cite

Text

Boixel et al. "A Calculus for Computing Structured Justifications for Election Outcomes." AAAI Conference on Artificial Intelligence, 2022. doi:10.1609/AAAI.V36I5.20414

Markdown

[Boixel et al. "A Calculus for Computing Structured Justifications for Election Outcomes." AAAI Conference on Artificial Intelligence, 2022.](https://mlanthology.org/aaai/2022/boixel2022aaai-calculus/) doi:10.1609/AAAI.V36I5.20414

BibTeX

@inproceedings{boixel2022aaai-calculus,
  title     = {{A Calculus for Computing Structured Justifications for Election Outcomes}},
  author    = {Boixel, Arthur and Endriss, Ulle and de Haan, Ronald},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {4859-4866},
  doi       = {10.1609/AAAI.V36I5.20414},
  url       = {https://mlanthology.org/aaai/2022/boixel2022aaai-calculus/}
}