A Calculus for Computing Structured Justifications for Election Outcomes
| Authors | |
|---|---|
| Publication date | 2022 |
| Host editors |
|
| Book title | Proceedings of the 36th AAAI Conference on Artificial Intelligence |
| Book subtitle | AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 |
| ISBN |
|
| ISBN (electronic) |
|
| Event | 36th AAAI Conference on Artificial Intelligence, AAAI 2022 |
| Volume | Issue number | 5 |
| Pages (from-to) | 4859-4866 |
| Number of pages | 8 |
| Publisher | Palo Alto, California: AAAI Press |
| Organisations |
|
| 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. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1609/aaai.v36i5.20414 |
| Other links | https://www.proceedings.com/64791.html |
| Downloads |
20414-Article Text-24427-1-2-20220628
(Final published version)
|
| Permalink to this page | |
