PP-2016-18: Succinctness of Languages for Judgment Aggregation

PP-2016-18: Endriss, Ulle and Grandi, Umberto and de Haan, Ronald and Lang, Jérôme (2016) Succinctness of Languages for Judgment Aggregation. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2016-18.text.pdf

Download (305kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2016-18.abstract.txt

Download (1kB)

Abstract

We review several different languages for collective decision making problems, in which agents express their judgments, opinions, or beliefs over elements of a logically structured domain. Several such languages have been proposed in the literature to compactly represent the questions on which the agents are asked to give their views. In particular, the framework of judgment aggregation allows agents to vote directly on complex, logically related formulas, whereas the setting of binary aggregation asks agents to vote on propositional variables, over which dependencies are expressed by means of an integrity constraint. We compare these two languages and some of their variants according to their relative succinctness and according to the computational complexity of aggregating several individual views expressed in such languages into a collective judgment. Our main finding is that the formula-based language of judgment aggregation is more succinct than the constraint-based language of binary aggregation. In many (but not all) practically relevant situations, this increase in succinctness does not entail an increase in complexity of the corresponding problem of computing the outcome of an aggregation rule.

Item Type: Report
Report Nr: PP-2016-18
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: collective decision making, knowledge representation, computational complexity
Subjects: Computation
Depositing User: Ulle Endriss
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/554

Actions (login required)

View Item View Item