PP-2020-15: Automated Justification of Collective Decisions via Constraint Solving

PP-2020-15: Boixel, Arthur and Endriss, Ulle (2020) Automated Justification of Collective Decisions via Constraint Solving. [Pre-print]

[thumbnail of BoixelEndrissAAMAS2020.pdf]
Preview
Text
BoixelEndrissAAMAS2020.pdf

Download (717kB) | Preview

Abstract

Given the preferences of several agents over a set of alternatives,there may be competing views on which of the alternatives would be the "best" compromise. We propose a formal model, grounded in social choice theory, for providing a justification for a given choice in the context of a given corpus of basic normative principles (so-called axioms) on which to base any possible step-by-step explanation for why a given target outcome has been or should be selected in a given situation. Thus, our notion of justification has both an explanatory and a normative component. We also develop an algorithm for computing such justifications that exploits the analogy between the notion of explanation and the concept of minimal unsatisfiable subset used in constraint programming. Finally, we report on an application of a proof-of-concept implementation of our approach to run an experimental study of the explanatory power of several axioms proposed in the social choice literature.

Item Type: Pre-print
Report Nr: PP-2020-15
Series Name: Prepublication (PP) Series
Year: 2020
Uncontrolled Keywords: Computational Social Choice; Explanation and Justification of Decisions; Axiomatic Method; Automated Reasoning
Subjects: Computation
Logic
Depositing User: Ulle Endriss
Date Deposited: 06 Sep 2020 06:45
Last Modified: 06 Sep 2020 06:45
URI: https://eprints.illc.uva.nl/id/eprint/1750

Actions (login required)

View Item View Item