Abstract

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.

1. Introduction

Social choice theory defines “preference aggregation” as forming collective preferences over a given set of alternatives. Likewise, “judgment aggregation” pertains to forming collective judgments on a given set of logically interrelated propositions. This paper extends beyond classical propositional logic into the realm of general multivalued logic, so that we can handle realistic collective decision problems (see Dietrich and List [1, 2], List [3], Beg and Butt [4], and Manzini and Mariotti [5]). List and Pettit [6, 7] were the first to give an axiomatic treatment to the problem associated with judgment aggregation. In their classic example, a set of propositions is expressed in propositional calculus as . The set consists of all assignments of 0 or 1 to the propositions in that are logically consistent. A procedure for judges to decide on the truthfulness of each proposition in amounts to an aggregator that maps . The “Doctrinal Paradox” illustrates that proposition-wise majority rule leads to inconsistent collective decisions. This paradox has made the literature on “judgment aggregation” grow appreciably. Most of the discussions on this paradox have been in the domain of social choice theory, and a number of “(im)possibility theorems,” similar to those of Arrow [8] and Sen [9] have been proved. In fact, these theorems show that there cannot exist any judgment aggregation procedure that simultaneously satisfies certain minimal consistency requirements (see Dietrich [10]). List and Pettit [6] have shown that the majority rule is but one member of a class of aggregation procedures that fails to ensure consistency in the set of collective judgments. Van Hees [11] has further generalized the paradox by showing that there is even a larger class of aggregation procedures for which this is true.

The aim of this paper is to resolve the paradox and also to illustrate optimal judgment aggregation. We abandon the assumption that individual and collective beliefs necessarily have a binary nature (true or false) and so our analysis is in a fuzzy logic framework. Pigozzi [12] discusses a possibility result in binary logic in which the paradox is avoided at the price of “indecision.” Distance-based aggregation procedures like that of Pigozzi [12] often result in dictatorship. Accordingly, aggregation procedures in fuzzy logic can help us make the collective judgment set more “democratic” in nature. In this paper we try to give the present literature in this area a more realistic touch by using fuzzy logic. The structure of the paper is as follows: Section 2 illustrates an example of the “Doctrinal Paradox” and its reformulation in a fuzzy setting. Section 3 illustrates how the paradox is resolved in a fuzzy framework to find optimal fuzzy aggregation functions. Section 4 further elaborates on the results in Section 3 to present a democratic fuzzy aggregation function. Section 5 presents the entire previous discussion in utility maximization framework.

2. The Doctrinal Paradox

The doctrinal paradox can emerge when the members of a group have to make a judgment (in the form of yes or no) on several logically interconnected propositions, and the individually logically consistent judgments need to be combined into a collective decision. For example, consider a set of propositions, where some (the “premises”) are taken to be equivalent to another proposition (the “conclusion”). When majority voting is applied to premises, it may give a different outcome than majority voting applied to conclusion. Suppose that three customers have to decide what response a product launch by a multinational will receive. According to the company, if the price is good (proposition ) and product is attractive (proposition ), then the customer likes the product (proposition ). Now assume that each customer makes a consistent judgment over these propositions , , and as in Table 1.

Each customer assigns a binary truth value to the propositions , , and which gives rise to the doctrinal paradox. The paradox lies precisely in the fact that the two procedures may lead to contradictory results depending on whether the majority is taken on the individual judgments of and , or whether the majority is calculated on the individual judgments of .

Arguably, in some decision problems, propositions are “vague” and hence can have truth values between “true” and “false.” This might be so for “the economy is in a good shape,” as “in a good shape” is not precisely defined. To account for vagueness, one might use a fuzzy logic framework.

Let us reformulate the entire problem in a fuzzy logic framework, so that individual judgments can take values on the interval . In this context “” is replaced by the fuzzy Lukasiewicz  t-norm given by . The ordinary implication “” is replaced by the fuzzy Lukasiewicz implication which is defined as follows:

One important property that our fuzzy aggregation operator satisfies in this problem is , ,  and in Table 2.

At the same time, let denote the degree of truth of the proposition , and the fuzzy integrity constraint is . Assuming that the customers are “rational,” they never violate the fuzzy integrity constraints (see List [13]). Now by using the above given Lukasiewicz t-norm and fuzzy implication , the constraint can be translated as . Here is a particular rule of inference for individual (see Claussen and Roisland [14]).

3. The Doctrinal Paradox and Belief Merging in Fuzzy Framework

Given a finite set of individuals, a finite set of propositions over which individuals have to make their judgments is called an agenda. A judgment set for an individual is an -tuple containing degree of truth for each proposition. Let , denote the cardinality of . A profile is an -tuple of individual judgment sets. An aggregation is a function that assigns to each profile a collective judgment set . Here for . Let us denote as the truth value of some proposition for the collective judgment set . Similarly, is the truth value of some proposition for the judgment set .

Define as a “dictatorship” if for some and every .

We define as “manipulable” if and only if there exists some voter , proposition , and profile such that but for some alternate judgment set .

We define as “independent” if and only if for all propositions there is a function such that for all we have

Belief merging formally investigates how to aggregate a finite number of belief bases into a collective one. This formal framework consists of a propositional language which is built up from a finite set of propositional letters standing for atomic propositions and the usual connectives (. These are the connectives in fuzzy logic, namely, fuzzy negation , t-norm , t-conorm , and fuzzy implication (see Nguyen and Walker [15]). Let the belief base for the agent be the following set , denotes the cardinality of . Here represents the truth function that maps elements in set to . A belief set is the set . Given a set of integrity constraints IC in a fuzzy framework, maps and IC into a new (collective) belief base . We call this process fuzzy aggregation.

An interpretation is a function from to . Let W denote the set of all interpretations. A distance between interpretations is a real-valued function such that for all as follow:(1),(2) if and only if ,(3),(4).

One possible choice for distance function is the following Euclidean metric: for some real number .

Now let us define a belief merging operator in the fuzzy framework which helps us avoid the “Doctrinal Paradox.” For any interpretation and any profile of belief basis , the distance between an interpretation and a profile can now be defined as Our objective is to choose which minimizes this distance and also does not violate any integrity constraint in the fuzzy framework. The distance minimization procedure seeks to minimize a measure of “disagreement” in the society by bringing the collective judgment set as close as possible to the individual judgment sets. We believe that individual “disagreement” brings about individual disutility. Accordingly, we seek to minimize the societal disutility which is assumed to be the sum of individual disutilities. For this purpose any deviation of the collective judgment from the individual judgment has a penalty in our objective function. We concede that a wide variety of distance and dissimilarity measures exist like the Manhattan distance, Chebyshev distance, Jaccard dissimilarity, Yule dissimilarity, and so forth. We have chosen Euclidean distance only for the sake of illustration in this paper. Choosing any particular distance or dissimilarity measure is solely at our discretion provided that it satisfies certain normative principles. See Section 5 to view our distance minimization procedure in a utility maximization framework.

Let be any arbitrary interpretation. In this case, where we have and denotes the cardinality of . We can now show that if is Hamming distance then the doctrinal paradox can be avoided in a binary logic framework (see Pigozzi [12]). In this case, is a generalization of Hamming distance, and we can use it in a fuzzy framework to help us avoid the doctrinal paradox. By conforming to democratic values, we can formulate the fuzzy aggregation as an optimization problem which can be stated as follows.

Minimize subject to the fuzzy integrity constraints IC.

Here, consider that where denotes the element of the belief base .

The above optimization problem helps us avoid doctrinal paradox, and we can also find an optimal fuzzy aggregation function. We say that an aggregation function is optimal if the collective judgment set is as close as possible to the individual judgments. Finding collective social choice function in Table 2 now becomes an optimization problem which can have multiple optimal solutions. The problem in Table 2 is framed in Mathematica language assuming that in . The optimal fuzzy aggregation function gives the solution for Table 2 as . The fact that there is at least one solution to the problem shows that doctrinal paradox cannot occur in this case. In fact, the paradox is resolved, not at the price of “indecision” or “dictatorship” (see Pigozzi [12]).

Ideally we would like our aggregation procedure to be strategy proof. Dietrich and List [16] prove impossibility theorems similar to the Gibbard-Satterthwaite theorem on strategy-proof aggregation rules. Given these theorems we do not claim that our liberal distance-based aggregation procedure is strategy proof. In fact, Dietrich [10] has proved that independence and monotonicity are two properties of an aggregator that result in strategy proofness. Since we do not claim that our distance-based aggregator is independent and monotone simultaneously, the strategy proofness of our aggregator is unclear. However, the nature of our objective function in the optimization problem is such that if an individual was to submit an insincere judgment (in an attempt to manipulate the collective judgment), any deviation of the collective judgment set from this insincere judgment has a penalty in the objective function. In this sense there appears to be a “partial” corrective mechanism whereby our aggregation procedure is not easily prone to manipulation.

Now consider Table 3. For simplicity assume that there is a “small” economy with three individuals, and represents three goods. The individual binary relations over , namely, , and are linear orders. Any optimal fuzzy social preference aggregation function must map individual preferences into social preference set that must be a linear order. This accordingly becomes an optimization problem in which we minimize the sum of the distances of social preference from the individual preferences using (as defined earlier subject to fuzzy integrity constraint of linear order). Here preference aggregation is modeled as a case of judgment aggregation by representing preference orderings as truth values in fuzzy logic. Suppose that the individuals have the following preference structure.

The problem in Table 3 is framed in Mathematica language assuming that in . The optimal fuzzy preference function gives the solution for Table 3 as = . Note, however, that the optimal solution is not necessarily unique.

We admit that our aggregation procedure suffers from nonuniqueness problem (in other words “indecision”) whereby the aggregation function could become set valued. Yet it is an improvement upon Pigozzi’s [12] aggregation procedure (defined in the context of binary logic) because cases of dictatorship are highly unlikely in our procedure. In fact, we could devise an appropriate tie-breaking procedure in case our optimal solution is not unique. Suppose we have a judgment set = . Such a set might violate the fuzzy integrity constraints. A tie-breaking procedure would narrow down solutions by picking solutions which are at a minimal distance from . Another useful procedure would be to select an aggregation function from the optimal solution which is at minimal disagreement with other aggregation functions using appropriate dissimilarity and distance measures. However, we must confess that such a remedy does not ensure nonuniqueness of our final solution. An appropriate social welfare function can be useful in such cases.

The important question is how well behaved is our aggregation operator. On the one hand, we want the collective judgment to be responsive to the judgment of individuals. On the other hand, we want the collective judgment to obey rationality constraints. We note that our fuzzy aggregation procedure satisfies social axioms like unanimity (Pareto conditions), compensativeness, anonymity, nondictatorship, universal domain, and collective rationality. Other properties like monotonicity and citizen sovereignty are, however, unclear. It is worthy to compare our aggregation operator to operators in the fuzzy aggregation. For example, fuzzy LAMA operator (see Peláez and Doña [17]) has unrestricted domain, anonymity, monotonicity, unanimity, and citizen sovereignty. Ironically, it does not ensure collective rationality. Yager [18] has introduced order weighted averaging (OWA) operators which are idempotent, monotone, neutral, and compensative and yet again do not ensure collective rationality.

4. Democratic Fuzzy Aggregation Function

The task of aggregating judgments arises in many situations like promotion committees, corporations complying with shareholders, governments bound to party’s principles, and so forth. In each case we can think of a collective judgment set which is the weighted average of individual judgment sets. The closer our collective judgment set is to we believe the more legitimate and democratic is our final judgment. In other words the decision making group is displaying a degree of “integration” (see List and Petit [19]). There can be different possible interpretations for the term “closeness.” The interpretation used in our paper is solely for the purpose of illustration and is by no means exhaustive.

A democratic fuzzy aggregation imparts “anonymity” to ensure that all individuals have equal weight in determining collective sets of judgments. Define a particular fuzzy averaging operator as follows: where is the weight assigned to the truthfulness of .

Similarly, we can apply the same averaging operator to individual profiles as

Now we assert that an optimal fuzzy aggregation function is “democratic” if the solution is as close as possible to the average of individual judgments. Such a view is held only for the purposes of illustration in our paper, and there could be different possible ways for “democratization.” Consider Table 1. Assume that each customer gives an equally truthful judgment, we can calculate the average of individual judgments as follows:

A decision-making group is exposed to “rationality challenge” and “knowledge challenge” whenever it is appropriate to “personify” it (see List and Pettit [19]). The point (0.500, 0.4667, and 0.267) is itself not used as a solution because it might violate the fuzzy integrity constraints.

A fuzzy aggregation function is democratic as well as optimal if we make the solution of Table 1 as close as possible to the point (0.500, 0.4667, and 0.267). This could be easily achieved by adding the following penalty to the objective function: Here is the degree of democracy.

The problem, in Table 2, can be “democratized” in Mathematica language assuming that in . In this case, the optimal fuzzy aggregation function gives the solution as . It remains a good exercise to “democratize” the optimal social preference aggregation function for Table 3.

5. Optimal Judgment Aggregation Viewed as a Fuzzy Utility Maximization

We have assumed that agents have only “epistemic” preferences; that is, they only care about the “distance” between the collective judgment set which is collectively adopted and the individual judgment set they personally favor (see Van Hees [11]). This distance was originally measured as for any real number , where is a finite set of propositional letters standing for atomic propositions. We rescale this distance to form a new distance measure as follows Now this rescaling makes . Let be the profile of individual . Individual receives fuzzy “utility,” if the collective judgment set is collectively accepted, given by the formula , where is the strong fuzzy negation (see Nguyen and Walker [15]) that satisfies the following:(i),(ii) is nonincreasing, and(iii).For simplicity sake assumes that . Now implies that Choosing a collective judgment set which minimizes is, therefore, equivalent to choosing which maximizes , that is, the sum of individual utilities. Therefore, optimization problems in Table 3 can be viewed as social utility maximization problems.

6. Conclusion

Fuzzy aggregation procedures are useful in constructing optimal fuzzy social preference aggregation functions as already illustrated in the previous discussions. Finding such optimal fuzzy preference structures could have great applications in social choice theory by bringing it closer to reality. The real challenge is to construct aggregation procedures that satisfy desirable social properties and at the same time do not violate collective rationality. Authors believe that modeling impossibility theorems in fuzzy setting will have tremendous applications in the field of belief merging and judgment aggregation.

Acknowledgment

The present version of the paper owes much to the precise and kind remarks of the learned referees.