Research on Bounded Rationality of Fuzzy Choice Functions

The rationality of a fuzzy choice function is a hot research topic in the study of fuzzy choice functions. In this paper, two common fuzzy sets are studied and analyzed in the framework of the Banerjee choice function. The complete rationality and bounded rationality of fuzzy choice functions are defined based on the two fuzzy sets. An assumption is presented to study the fuzzy choice function, and especially the fuzzy choice function with bounded rationality is studied combined with some rationality conditions. Results show that the fuzzy choice function with bounded rationality also satisfies some important rationality conditions, but not vice versa. The research gives supplements to the investigation in the framework of the Banerjee choice function.


Introduction
The rationality of a choice function is an important issue in the research of classical decision theory. The rationality is expressed by the existence of a preference relation with respect to which the decision behavior fulfills a condition of optimum. For a choice function the problem is whether or not it is rational. The rationality has been widely studied in the context of preference modeling and choice functions. To deal with this issue, various rationality conditions have been presented by a number of authors. Among these conditions, the most popular are the Weak Axiom of Revealed Preference (WARP) by Samuelson [1], the Strong Axiom of Revealed Preference (SARP) by Houthakker [2], the rationality conditions C1-C5 by Arrow [3], the Strong Congruence Axiom (SCA) by Richter [4], and the Weak Congruence Axiom (WCA) and some contraction-expansion conditions by Sen [5]. Moreover, Arrow and Sen investigated the relationships among these rationality conditions and obtained some important results. These results laid the foundation for the rationalization of choice functions.
Along with the development of decision sciences, it was often difficult for people to obtain accurate data because the complexity of the decision making system also increased. Moreover, the participation of human is indispensable to the decision making process. The preferences between alternatives are described by crisp preference relations, which have certain limitations. The fuzzy preferences were modelled in the study of choice functions by Orlovsky in 1978. He argued that sometimes it was difficult for a decision maker to state definitely the preferences between alternatives. Therefore, the degree of preference between alternatives can be reflected by a number in [0, 1]. Based on fuzzy preferences, Orlovsky proposed a choice function in fuzzy environment, which is named as Orlovsky choice function [6]. From then on, many studies have been dedicated to this subject. Roubens [7] extended the Orlovsky choice function and discussed several nonfuzzy choice functions based on fuzzy preferences. The rationality properties of those choice functions were given. Banerjee [8] further argued that "If the preferences are permitted to be fuzzy, it seems natural to permit the choice function to be fuzzy as well. This also tallies with experience. Moreover, this fuzziness of choice is, at least potentially, observable. " Based on this argument, Banerjee fuzzified the range of the choice function and gave the general definition of fuzzy choice function, that is, Banerjee choice function. Moreover, three fuzzy congruence conditions were proposed to describe the rationality of the fuzzy choice function and it was verified that these conditions were necessary and sufficient conditions for the rationalization of the fuzzy choice function. Georgescu [9] extended Banerjee's work and gave a new definition of fuzzy choice function by fuzzifying the available domain. This is the most general definition of a fuzzy choice function in the literature, which is called 2 The Scientific World Journal Georgescu choice function. Georgescu [10] further fuzzified some rationality conditions which were proposed by Richter, Arrow, and Sen. Although the Georgescu choice function is more general, many of her conclusions were obtained by some special conditions (such as intuitionistic negation and the special t-norms).
Similar to the crisp case, the study of fuzzy choice function mainly focused on the study of rationality conditions of fuzzy choice functions and their relationships. Wang [11] further studied Banerjee's three fuzzy congruence conditions and proved that they are not independent. Georgescu [12] proposed acyclic rationality indicators in the study of rationality of a fuzzy choice function and studied these indicators. Wu et al. [13] fuzzified some important rationality conditions of fuzzy choice functions in the framework of the Banerjee choice function and obtained some results under the assumption that every involved choice set is normal. This paper is mainly inspired by Wu et al. [13]; the differences between them can be summed up as follows. (1) In [13], the main conclusions are obtained under the assumption that every involved choice set is normal. However I do not have the assumption in this paper. (2) In [13], the main conclusions are obtained based on the condition " ( ) = ( , )" while the main conclusions in this paper are obtained based on the condition " ( ) = ( , ). " (3) In [13], the rationality properties of fuzzy choice functions are studied based on the fuzzy revealed preference, while the main conclusions are obtained based on the fuzzy preference in this paper. Obviously, the fuzzy revealed preference is a stronger condition.
In this paper, two common fuzzy sets ( ( , ) and ( , )) are studied in the framework of the Banerjee choice function, the concepts about complete rationality and bounded rationality of the fuzzy choice function are presented, and the bounded rationality of fuzzy choice function is studied. The paper is organized as follows. Section 2 gives some concepts including t-norms, fuzzy preference, and fuzzy choice function. Section 3 studies the conditions for the nonemptiness of two fuzzy sets, ( , ) and ( , ). Section 4 presents an assumption about a fuzzy choice function and gives the concepts about complete rationality and bounded rationality of the fuzzy choice function, and especially the bounded rationality of the fuzzy choice function combined with a certain condition is studied. Section 5 summarizes this paper.

Fuzzy Choice Functions and Fuzzy Preference Relations.
Let denote the nonempty finite set of alternatives. Let denote the set of all nonempty, finite, and crisp subsets of . denotes the set of all nonempty fuzzy subsets of with finite supports.

Remark 3.
For all ∈ , ∈ , ( ) is a fuzzy set, and ( )( ) represents the extent to which belongs to the fuzzy set ( ) or the extent to which is chosen in the set . For example, let = { , , }; if ( )( ) = 0.8, then it implies that the extent to which is chosen in the set is 0.8.

Definition 4 (see [8]). A fuzzy preference relation on is a function
Here, for all distinct , ∈ , ( , ) represents the degree to which is preferred to . Moreover, the fuzzy relation on is reflexive if ( , ) = 1 for any ∈ ; is complete if ( , ) + ( , ) ≥ 1 for any , ∈ ; is strongly complete if ( , ) = 1 or ( , ) = 1 for any for ≥ 2 and any 1 , 2 , . . . , ∈ . Like in the crisp case, a fuzzy choice function can induce various fuzzy preferences, among which the fuzzy revealed preference is the most important one.

Fuzzy Sets ( , ) and ( , )
We consider the following two crisp sets: The Scientific World Journal 3 where denotes the weak order (⪰) in the crisp case and is the asymmetrical part of . In the crisp case, there exist certain connections between ( , ) and ( , ) [14]. In fuzzy environment, the membership function for the fuzzy set ( , ) is ( , )( ) = Min ∀ ∈ ( , ) [8]. Moreover, the membership function for the fuzzy set ( , ) is easily obtained as follows: Lemma 6 (see [10]). Let be a fuzzy preference relation on and ∀ ∈ : (II) when is strongly complete, ( , ) = ( , ).
Remark 7. Reference [10] discussed the relationships between the two fuzzy sets above in the more general framework.
In the crisp case, Sen [14] and Walker [15] discussed the nonemptiness of ( , ) and ( , ), respectively [14,15]. Next, we discuss the conditions for the nonemptiness of the two fuzzy sets above.
Remark 13. Conditions 1-4 are fuzzy versions of several contraction-expansion conditions; WFCA is a version of WCA. For example, Condition 1 implies that the extent to which an alternative ( ) is chosen in a set of alternatives ( 2 ) is not larger than in the relevant subset ( 1 ). In [13], Conditions 1-4 and WFCA of fuzzy choice functions and their relationships were investigated. In order to study further the properties of a fuzzy choice function, the following Assumption 14 is proposed.
Remark 15. Assumption 14 implies that if an alternative x is included in two sets, then the extent to which x is chosen in those two sets is identical.
Remark 17. Proposition 16 indicates that a fuzzy choice function can satisfy three expansion conditions meanwhile in a certain assumption.

Definition 19. A fuzzy choice function
is defined to be complete rational if and only if is normal and the fuzzy revealed preference relation is reflexive, complete, and Ttransitive.
Remark 20. Complete rationality implies that the fuzzy choice of a decision maker is of a high degree of rationality. Moreover, the definition of complete rationality is different from Banerjee's [8]. The difference is that the characterization of transitivity in [8] is different from T-transitivity shown here. The transitivity in [8] It is easy to check that is complete rational.

Definition 22. A fuzzy choice function is defined to be bounded rational if and only if there exists a reflexive,
incomplete fuzzy relation such that ∀ ∈ , ( ) = ( , ).

Remark 23. The incomplete fuzzy relation on refers to
( , ) + ( , ) < 1 for some , ∈ . Bounded rationality implies that the fuzzy choice of a decision maker is of a certain degree of rationality, and its level of rationality is weaker than complete rationality. It is easy to check that is bounded rational, and its level of rationality is weaker than complete rationality. For example, the extent to which is chosen in the set { , } is higher than , but the extent to which is chosen in the set { , , } is higher than . This implies that the fuzzy preferences between alternatives and of a decision maker are inconsistent in different sets of alternatives. In other words, the fuzzy choice of the decision maker is of a certain degree of rationality.
Definition 25 (see [8]). Let be a fuzzy preference relation on . Let ∈ and ∈ . is said to be relation dominant in in terms of if and only if ( , ) ≥ ( , ), ∀ ∈ .
Wu et al. [13] proved that Condition 1 is a necessary condition; Conditions 2 and 3 and WFCA are, respectively, sufficient and necessary conditions of fuzzy choice function with complete rationality through fuzzy revealed preferences under the assumption that every involved choice set is normal (i.e., ∀ ∈ , ∃ ∈ , ( )( ) = 1). Different from them, we study the rationality properties of the fuzzy choice function with bounded rationality by fuzzy preferences without the assumption that every involved choice set is normal.
Remark 27. Proposition 26 indicates that the fuzzy choice function with bounded rationality also satisfies Condition 1; this is consistent with the conclusion under complete rationality on one hand. The fuzzy choice function with bounded rationality satisfies Conditions 2 and 3 combined with other conditions, but its converse does not hold. This is different from the conclusion under complete rationality on the other hand. Example 29 is given to illustrate the converse of Proposition 26.

Corollary 28. If is bounded rational
6 The Scientific World Journal

A Numerical Illustration.
In this subsection, we will illustrate the theoretical analysis about bounded rationality with a simple example. A city plans to build a hydroelectric plant; two experts are invited to give some opinions regarding the three technical alternatives x, y, and z for a better decision. Here experts' preferences and choices are fuzzy. The information collected from all experts is aggregated in the matrix = ( ) × ; the number ∈ [0, 1], , = 1, . . . , shows the preference degree between alternatives.
The activity of one expert is materialized in the following preference matrices: After all computations, we obtain Table 1.
From the degree of the expert's inclinations, the extent to which is chosen is less than in the set of alternatives { , }, and therefore z will be chosen by the expert. However, the extent to which is chosen is less than in the set of alternatives { , , }, and therefore or will be chosen by the expert. This implies that the expert's choices are inconsistent in different sets of alternatives including common alternatives. In other words, the fuzzy choices of the expert are irrational or bounded rational.

Conclusions
Many important rationality conditions have been put forward to study the rationality of fuzzy choice functions in different frameworks, and their relationships were also discussed. In this paper, two common fuzzy sets are studied and analyzed in the framework of the Banerjee choice function. Based on this, the concepts about complete rationality and bounded rationality of fuzzy choice functions are proposed, and some conclusions of this paper are as follows.
(1) The nonemptiness for fuzzy sets ( , ) and ( , ) are studied and analyzed, respectively. Results show that the conclusion about the nonemptiness for the crisp set ( , ) can be extended to the corresponding fuzzy set, but not for the crisp set ( , ).
(2) In a certain assumption, a fuzzy choice function can satisfy three expansion conditions meanwhile.
(3) The complete rationality and bounded rationality of fuzzy choice functions are defined, respectively, based on ( , ) and ( , ). The bounded rationality of fuzzy choice function is studied, and results show that the fuzzy choice function with bounded rationality can satisfy some rationality conditions combined with a certain condition. Compared with complete rationality, the conclusions under bounded rationality are only necessary conditions.
The study on the rationality of fuzzy choice functions is a wide and deep research field. At present, the research on this subject is still in early stages, and it needs to be improved and perfected further. We only made a small part of the work, and the study on the bounded rationality of fuzzy choice functions still will be our research works in future.