Displaying Justifications for Collective Decisions

Displaying Justifications for Collective Decisions

Arthur Boixel, Ulle Endriss, Oliviero Nardi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
Demo Track. Pages 5892-5895. https://doi.org/10.24963/ijcai.2022/847

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.
Keywords:
Agent-based and Multi-agent Systems: Computational Social Choice
Knowledge Representation and Reasoning: Automated Reasoning and Theorem Proving