Displaying Justifications for Collective Decisions
Abstract
We present an online demonstration tool illustrating a general approach to computing justifications for accepting a given decision when confronted with the preferences of several agents. Such a justification consists of a set of axioms providing a normative basis for the decision, together with a step-by-step explanation of how those axioms determine the decision. Our open-source implementation may also prove useful for realising other kinds of projects in computational social choice, particularly those requiring access to a SAT solver.
Cite
Text
Boixel et al. "Displaying Justifications for Collective Decisions." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/847Markdown
[Boixel et al. "Displaying Justifications for Collective Decisions." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/boixel2022ijcai-displaying/) doi:10.24963/IJCAI.2022/847BibTeX
@inproceedings{boixel2022ijcai-displaying,
title = {{Displaying Justifications for Collective Decisions}},
author = {Boixel, Arthur and Endriss, Ulle and Nardi, Oliviero},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2022},
pages = {5892-5895},
doi = {10.24963/IJCAI.2022/847},
url = {https://mlanthology.org/ijcai/2022/boixel2022ijcai-displaying/}
}