Logic Meets Social Choice Theory

Preference aggregation and judgment aggregation are two basic research models of group decision making. And preference aggregation has been deeply studied in social choice theory. However, researches of social choice theory gradually focus on judgment aggregation which appears recently. Judgment aggregation focuses on how to aggregate many consistent logical formulas into one, from the perspective of logic. We try to start with judgment aggregation model based on logic and then explore different solutions to problem of judgment aggregation.

Computational social choice is a new interdisciplinary research area at the intersection of social choice theory and computer science that studies computational aspects of social choice mechanisms as well as applications of social choice ideas in the design and analysis of computing systems. Research on computational social choice now encompasses a variety of topics, including the algorithmic aspects of voting rules, computational barriers to strategic behaviour, collective decision-making in multi-agent systems, preference elicitation and communication issues in voting, fair division, computational aspects of weighted voting games, collective decision-making in combinatorial domains, logic-based formalisms for social choice problems, belief and judgement aggregation, and social software. The aim of this special issue is to build on the spectacular success of two workshops on computational social choice (COMSOC’06, Amsterdam and COMSOC’08, Liverpool), and provide a forum for reseachers in the area to present their ideas on a variety of topics. This special issue is composed of nine research articles and a short note that span a fairly wide range of issues, including voting, mechanism design, judgment aggregation, and fairness, and a similarly wide range of techniques, such as logic, experiments, and computational complexity. The paper by Agotnes, van der Hoek and Wooldridge defines a new modal logic for representing and reasoning about preference and judgment aggregation. The authors show that their logic can be used to express a variety of concepts and results from the social choice domain, including majority voting, the discursive paradox, Arrow’s theorem and Condorcet’s paradox. Baharad, Goldberger, Koppel and Nitzan propose a maximum likelihood estimation-based approach for aggregating voters’ opinions over several issues. They argue that their method is vastly superior to simple majority voting, and use both analytical and empirical evaluation to support their argument. Balan, Richards and Luke deal with the problem of selecting a sequence of actions when the actions have multiple beneficiaries. Their goal is to select the actions according to a lexicographic fairness criterion. The explore the complexity of this problem for both finite and infinite sequences of actions and present both algorithms and intractability results for this problem. The paper by Caminada and Pigozzi applies argumentation theory to judgment aggregation, and proposes aggregation operators satisfying not only the usual property of collective rationality, but another highly desirable property,

Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choice mechanisms that govern their interactions. The emerging field of judgment aggregation studies aggregation from a logical perspective, and considers how multiple sets of logical formulae can be aggregated to a single consistent set. As a special case, judgment aggregation can be seen to subsume classical preference aggregation. We present a modal logic that is intended to support reasoning about judgment aggregation scenarios (and hence, as a special case, about preference aggregation): the logical language is interpreted directly in judgment aggregation rules. We present a sound and complete axiomatisation. We show that the logic can express aggregation rules such as majority voting; rule properties such as independence; and results such as the discursive paradox, Arrow's theorem and Condorcet's paradox--which are derivable as formal theorems of the logic. The logic is parameterised in such a way that it can be used as a general framework for comparing the logical properties of different types of aggregation--including classical preference aggregation. As a case study we present a logical study of, including a formal proof of, the neutrality lemma, the main ingredient in a well-known proof of Arrow's theorem.

The problem ofjustifying democracy arises when a society sees the need for cooperative, collective action. Collective action may be needed to solve coordination problems, public goods problems, Prisoner's Dilemmas, and other structural problems of human interaction or perhaps to realize common ideals of justice in concrete political institutions. Once the need for collective action is established, one must ask how the goals of a cooperative endeavor are to be secured. Cooperation requires that individuals, at least over a specified range of activity, pursue a joint strategy. To assure voluntary compliance in a joint venture, cooperation must be to each person's advantage. However, each person may have an incentive to induce others to cooperate and to defect from the joint strategy in the hope of enjoying the fruits of cooperation without incurring the opportunity costs of compliance. This is the essence of the Prisoner's Dilemma, and considerations of this sort suggest that if collective action is to succeed, policies or strategies formed collectively must be coercively enforceable. Coercion, however, requires justification. Because solving the problem of rational noncompliance requires that collective decisions be coercively enforceable, the rules by which collective decisions are reached require justification. Douglas Rae neatly puts the problem of justification that emerges when political solutions are coercively enforceable as follows: "Once a political community has decided which of its members are to participate directly in the making of collective policy, an important question remains: 'How many of them must agree before a policy is imposed on the community?"" This is essentially the question to which the principle of democratic rule provides an answer: by what process are collective decisions to be made? Answering Rae's question requires a normative framework. We could say that a procedure for making collective decisions is justified if and

We explore how judgment aggregation and belief merging in the framework of fuzzy logic can help resolve the “Doctrinal Paradox.” We also illustrate the use of fuzzy aggregation functions in social choice theory.

This is an advance summary of a forthcoming article in the Oxford Research Encyclopedia of Politics. Please check back later for the full article.Narrowly understood, social choice theory is a specialized branch of applied logic and mathematics that analyzes abstract objects called preference aggregation functions, social welfare functions, and social choice functions. But more broadly, social choice theory identifies, analyzes, and evaluates rules that may be used to make collective decisions. So understood, social choice is a subfield of the social sciences that examines what may be called “voting rules” of various sorts. While social choice theory typically assumes a finite set of alternatives over which voter preferences are unrestricted, the spatial model of social choice assumes that policy alternatives can be represented by points in a space of one or more dimensions, and that voters have preferences that are plausibly shaped by this spatial structure.Social choice theory has considerable relevance for the study of legislative (as well as electoral) institutions. The concepts and tools of social choice theory make possible formal descriptions of legislative institutions such as bicameralism, parliamentary voting procedures, effects of decision rules (e.g., supramajority vs. simple majority rule and executive veto rules), sincere vs. strategic voting by legislators, agenda control, and other parliamentary maneuvers. Spatial models of social choice further enrich this analysis and raise additional questions regarding policy stability and change. Spatial models are used increasingly to guide empirical research on legislative institutions and processes.

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using “systematicity” and “independence” conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model.

Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choice mechanisms that govern their interactions. The recently emerging field of judgment aggregation studies aggregation from a logical perspective, and considers how multiple sets of logical formulae can be aggregated to a single consistent set. As a special case, judgment aggregation can be seen to subsume classical preference aggregation. We present a modal logic that is intended to support reasoning about judgment aggregation scenarios (and hence, as a special case, about preference aggregation): the logical language is interpreted directly in judgment aggregation rules. We present a sound and complete axiomatisation of such rules. We show that the logic can express aggregation rules such as majority voting; rule properties such as independence; and results such as the discursive paradox, Arrow's theorem and Condorcet's paradox - which are derivable as formal theorems of the logic. The logic is parameterised in such a way that it can be used as a general framework for comparing the logical properties of different types of aggregation - including classical preference aggregation.

Collective decision making is the process of mapping the individual views of several individual agents into a joint decision. The need for collective decision making mechanisms is abundant, not just in the realm of politics, but also for a wide range of scientific and technological applications. These include, for instance, logistics, grid computing, and recommender systems. The alternatives to be decided upon often have a combinatorial structure: an alternative is characterised by a tuple of variables, each ranging over a finite domain. Classical approaches to collective decision making, developed in social choice theory, do not take the computational limitations induced by the combinatorial nature of the problem into account. For instance, if we are asked to elect a committee consisting of k representatives, choosing from a pool of n candidates, then we are in fact faced with a social choice problem with $(^n_k)$ alternatives. Asking each voter for their full preferences over these $(^n_k)$ alternatives may not be feasible in practice. Similarly, if we have to choose between accepting or rejecting each of n different propositions, then we are dealing with a social choice problem with 2 n possible outcomes. In this talk I will report on a number of recent developments in the area of collective decision making in combinatorial domains. This includes the study of languages for the compact representation of preferences [2,4], the design of voting rules for multi-issue elections [1], and the analysis of the computational complexity of decision problems arising in judgment aggregation [3].

Neural language models (NLMs) are susceptible to producing inconsistent output. This paper proposes a new diagnosis as well as a novel remedy for NLMs' incoherence. We train NLMs on synthetic text corpora that are created by simulating text production in a society. For diagnostic purposes, we explicitly model the individual belief systems of artificial agents (authors) who produce corpus texts. NLMs, trained on those texts, can be shown to aggregate the judgments of individual authors during pre-training according to sentence-wise vote ratios (roughly, reporting frequencies), which inevitably leads to so-called discursive dilemmas: aggregate judgments are inconsistent even though all individual belief states are consistent. As a remedy for such inconsistencies, we develop a self-training procedure—inspired by the concept of reflective equilibrium—that effectively reduces the extent of logical incoherence in a model's belief system, corrects global mis-confidence, and eventually allows the model to settle on a new, epistemically superior belief state. Thus, social choice theory helps to understand why NLMs are prone to produce inconsistencies; epistemology suggests how to get rid of them.

We introduce a novel method to aggregate Bipolar Argumentation (BA) Frameworks expressing opinions by different parties in debates. We use Bipolar Assumption-based Argumentation (ABA) as an all-encompassing formalism for BA under different semantics. By leveraging on recent results on judgement aggregation in Social Choice Theory, we prove several preservation results, both positive and negative, for relevant properties of Bipolar ABA.

In recent years, judgement aggregation has emerged as an important area of social choice theory. Judgement aggregation is concerned with aggregating sets of individual judgements over logically connected propositions into a set of collective judgements. It has been shown that even seemingly weak conditions on the aggregation function make it impossible to find functions that produce rational collective judgements from all possible rational individual judgements. This implies that the step from individual judgements to collective judgements requires trade-offs between different desiderata, such as universal domain, rationality, epistemological quality, and unbiasedness. The typical application for judgement aggregation is the problem of group decision making. Juries and expert committees are the stock examples. However, the relevance of judgement aggregation goes beyond these cases. In this survey, I review some core results in the field of judgement aggregation and social epistemology and discuss their implications for the analysis of distributed thinking.

Information retrieval on RDF data benefits greatly from additional provenance information attached to the individual pieces of information. Provenance information such as origin of data, certainty, and temporal information on RDF statements can be used to rank search results according to one of those dimensions. In this paper, we consider the problem of aggregating provenance information from different dimensions in order to obtain a joint ranking over all dimensions. We relate this to the problem of preference aggregation in social choice theory and translate different solutions for preference aggregation to the problem of aggregating provenance rankings. By exploiting the ranking orderings on the provenance dimensions, we characterize three different approaches for aggregating preferences, namely the lexicographical rule, the Borda rule and the plurality rule, in our framework of provenance aggregation.

Preliminary versions of most of the papers in this special issue of Annals of Economics and Statisticswere presented at the annual conference of the ADRES (Association pour le Developpement de la Recherche en Economie et Statistiques). This conference, untitled ''New Developments in Social Choice and Welfare Theories - Conferences in Honor of Maurice Salles" took place at the University of Caen Basse Normandy from June 10th to 12th 2009. The articles collected here examine three aspects of modern social choice theory: the measure of inequality and welfare, the analysis of voting rules and voting behaviors, and Arrovian aggregation.

Perhaps the most influential result in social choice theory is Arrow’s impossibility theorem, which states that a seemingly modest set of desiderata cannot be satisfied when aggregating preferences [1]. While Arrow’s theorem might appear rather negative, it can also be interpreted in a positive way by identifying what can be achieved in preference aggregation.In this talk, I present a number of variations of Arrow’s theorem–such as those due to Mas-Colell and Sonnenschein [8] and Blau and Deb [2]–in their choice-theoretic version. The critical condition in all these theorems is the assumption of a rationalizing binary relation or equivalent notions of choice-consistency. The bulk of my presentation contains three escape routes from these results. The first one is to ignore consistency with respect to a variable set of alternatives altogether and require consistency with respect to a variable electorate instead. As Smith [12] and Young [14] have famously shown, this essentially characterizes the class of scoring rules, which contains plurality and Borda’s rule. For the second escape route, we factorize choice-consistency into two parts, contraction-consistency and expansions-consistency [11]. While even the mildest dose of the former has severe consequences on the possibility of choice, varying degrees of the latter characterize a number of appealing social choice functions, namely the top cycle, the uncovered set, and the Banks set [3,9,4]. Finally, I suggest to redefine choice-consistency by making reference to the set of chosen alternatives rather than individual chosen alternatives [6]. It turns out that the resulting condition is a weakening of transitive rationalizability and can be used to characterize the minimal covering set and the bipartisan set. Based on a two decades-old conjecture due to Schwartz [10], the tournament equilibrium set can be characterized by the same condition or, alternatively, by a weak expansion-consistency condition from the second escape route. Whether Schwartz’s conjecture actually holds remains a challenging combinatorial problem as well as one of the enigmatic open problems of social choice theory.Throughout the presentation I will discuss the algorithmic aspects of all considered social choice functions. While some of the mentioned functions can be easily computed, other ones do not admit an efficient algorithm unless P equals NP [13,5,7].