IJCAI 2022poster10 citations
Displaying Justifications for Collective Decisions
Arthur Boixel, Ulle Endriss, Oliviero Nardi
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.
Agent-based and Multi-agent Systems: Computational Social ChoiceKnowledge Representation and Reasoning: Automated Reasoning and Theorem Proving
BibTeX
@inproceedings{ijcai2022p847,
title = {Displaying Justifications for Collective Decisions},
author = {Boixel, Arthur and Endriss, Ulle and Nardi, Oliviero},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI-22}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Lud De Raedt},
pages = {5892--5895},
year = {2022},
month = {7},
note = {Demo Track},
doi = {10.24963/ijcai.2022/847},
url = {https://doi.org/10.24963/ijcai.2022/847},
}