AAAI 2022technical18 citations
A Calculus for Computing Structured Justifications for Election Outcomes
Arthur Boixel, Ulle Endriss, Ronald de Haan
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.
BibTeX
@inproceedings{aaai2022_acalculusforcomp,
title = {A Calculus for Computing Structured Justifications for Election Outcomes},
author = {Arthur Boixel and Ulle Endriss and Ronald de Haan},
booktitle = {AAAI 2022},
year = {2022}
}