Difference representations of the Choquet integral with respect to a signed fuzzy measure Biljana Mihailovi´ ca , Endre Papb , Nebojˇ sa Ralevi´ ca a
Faculty of Engineering, University of Novi Sad Trg Dositeja Obradovi´ca 6, 21000 Novi Sad, Serbia and Montenegro e-mail: {lica, nralevic}@uns.ns.ac.yu b Department of Mathematics and Informatics, University of Novi Sad Trg Dositeja Obradovi´ca 4, 21000 Novi Sad, Serbia and Montenegro e-mail:
[email protected]
Abstract: This paper provides a discussion on difference representations of the asymmetric Choquet integral with respect to a signed fuzzy measure with bounded chain variation. There are given difference representations of the Choquet integral with respect to a signed fuzzy measure based on its representation as difference of two fuzzy measures. Key words and phrases: signed fuzzy measures, chain variation, Choquet integral.
1
Introduction
A general monotone (non-decreasing) non-negative set function, vanishing at the empty set, is called by various names, such as capacity, cooperative game, non-additive measure, fuzzy measure. In this paper we call them fuzzy measures. Generalized fuzzy measure, a signed fuzzy measure is revised monotone set function, vanishing at the empty set, and it can take negative values. One of the most used integral based on a fuzzy measure m is the Choquet integral [4, 7, 10, 11]. The Choquet integral is often used in economics, pattern recognition and decision analysis as nonlinear aggregation tool [13]. Two crucial properties of the Choquet integral, defined for non-negative measurable functions, are monotonicity and comonotonic additivity, see [2, 3, 4, 10]. There exist two extensions of Choquet integral to the class of all measurable ˇ s and the asymfunctions, the symmetric Choquet integral, introduced by Sipoˇ metric Choquet integral, see [2, 10]. The second one is defined with respect to a real-valued set function m, not necessary monotone.
For the main field of application of Choquet integral, decision under uncertainty, an universal set X is a space, its elements are state of nature and functions from X to R are prospects. The preference relation ¹ is defined on the set of prospects and we say that a utility functional L represents a preference relation if and only if L(f ) ≤ L(g) for all pairs of prospects f, g such that f ¹ g. Schmeidler [15] showed that preference can be represented by Choquet integral model, so called Choquet expected utility model (cumulative utility). Choquet expected utility model is not an appropriate tool when the gain and loss must be considered in the same time. Cumulative Prospect Theory (CPT), introduced by Tversky and Kahneman [14], combines cumulative utility and a generalization of expected utility, so called sign dependent expected utility. CPT holds if the preference can be represented by the difference of two Choquet integrals, i.e., L(f ) = Cm+ (f + ) − Cm− (f − ), (1) where m+ and m− are two fuzzy measures, f + = f ∨ 0 is the gain part of prospect f , and −f − is it’s loss part, f − = (−f ) ∨ 0. An corresponding difference formula to (1) but with Sugeno integrals was proved in [12]. Motivated by (1) the aim of this paper is to present some difference representations of asymmetric Choquet integral w.r.t a signed fuzzy measures. The paper is organized as follows. In the next section the short overview of basic notions and definitions has been given, and the difference formula (2) is presented. In Section 3. we introduce a chain variation of set functions and the space BV , the family of set functions, vanishing at the empty set, with bounded chain variation. In this section we consider a difference representation (3) of Choquet integral w.r.t a signed fuzzy measure m with bounded chain variation. In Section 4. an interpreter and a frame for representation of the signed fuzzy measures have been defined. We shall prove that for every signed fuzzy measure m ∈ BV there exists a representation of m. Applying this result, we present another difference representation (4) of Choquet integral w.r.t m.
2
Preliminaries
Let X be an universal set. Let A be a σ-algebra of subsets of X. (X, A) is called a measurable space [10]. A set function µ, µ : A → [−∞, ∞] is called a signed measure, from P∞if for each sequence E1 , E2 , . . . of mutually disjoint Psets ∞ A the series i=1 µ(Ei ) is defined and the equality µ(∪∞ E ) = µ(E i) i=1 i i=1 holds, and µ assumes at most one of the values ∞ and −∞. A fuzzy measure m is a non-negative real-valued set function defined on a σalgebra A with the following properties: (FM1) m(∅) = 0, (FM2) E ⊂ F → m(E) ≤ m(F ), for all E, F ∈ A (FM3) En ∈ A , En % E → m ( En ) % m ( E) , (FM4) En ∈ A , En & E and there exists n0 such that m(En0 ) < ∞ → m(En ) & m( E) .
The condition (FM3) means that m is a fuzzy measure continuous from below and (FM4) means that m is continuous from above. In the sequel it has been assumed that m is generalized fuzzy measure, i.e., it satisfied (FM1), (FM2). A set function m, m : A → [−∞, ∞] is called a signed fuzzy measure if m satisfies (SFM1) m(∅) = 0, (SFM2) If E , F ∈ A, E ∩ F = ∅, then a) m(E) ≥ 0, m(F ) ≥ 0, m(E) ∨ m(F ) > 0 ⇒ m(E ∪ F ) ≥ m(E) ∨ m(F ); b) m(E) ≤ 0, m(F ) ≤ 0, m(E) ∧ m(F ) < 0 ⇒ m(E ∪ F ) ≤ m(E) ∧ m(F ); c) m(E) > 0, m(F ) < 0, ⇒ m(F ) ≤ m(E ∪ F ) ≤ m(E); (SFM3) continuity from below (SFM4) continuity from above The condition (SFM2) of m is called revised monotonicity. In the sequel we assume that m is generalized signed fuzzy measure, i.e., it satisfied (SFM1), (SFM2). The conjugate set function m ¯ of real-valued set function m : A → R is ¯ where E ¯ denotes the complement set of E, defined by m(E) ¯ = m(X) − m(E), ¯ = X \ E. Obviously, if m is a fuzzy measure, m E ¯ is a fuzzy measure, too. Let M be the class of all non-negative measurable functions f on X and let M denotes the class of all measurable functions on X. We introduce the Choquet integral with respect to a fuzzy measure (respectively a signed fuzzy measure) m : A → [0, ∞] (respectively R) of a measurable function f : X → [0, ∞] (respectively [−∞, ∞]). Definition 1 ([2, 10]) Let (X, A) be a measurable space. i) The Choquet integral w.r.t a fuzzy measure m : A → [0, ∞] is functional Cm : M → [0, ∞] defined by Z ∞ Cm (f ) = m({x|f (x) ≥ t}) dt 0
ii) The asymmetric Choquet integral w.r.t a set function m : A → R , is functional Cm : M → [−∞, ∞] defined by Z
Z
0
Cm (f ) =
(m({x|f (x) ≥ t}) − m(X)) dt + −∞
∞
m({x|f (x) ≥ t}) dt 0
if both of the above Lebesgue integrals exist. When the expression ∞ − ∞ is occurred, the integral is not defined. The asymmetric Choquet integral can be expressed in the terms of the Choquet integrals of non-negative functions f + and f − , the positive and negative
parts of the function f , i.e. − Cm (f ) = Cm (f + ) − Cm ¯ (f ),
(2)
where f + = f ∨ 0 and f − = (−f ) ∨ 0, and m ¯ is the conjugate set function of m.
3
Signed fuzzy measures with bounded chain variation
The chain variation of real-valued set functions, vanishing at the empty set, and the space BV will be introduced, see [1, 10]. Definition 2 The chain variation of a real-valued set function m, m(∅) = 0, for each E ∈ A, is defined by Pn |m|(E) = sup{ i=1 |m(Ei ) − m(Ei−1 )| : ∅ = E0 ⊂ E1 ⊂ · · · ⊂ En = E, Ei ∈ A, i = 1, . . . , n}. In the previous definition, the supremum is taken over all chain between ∅ and E. The chain variation |m| of a set function m is positive, monotone set function, vanishing at the empty set, and the inequality |m(E)| ≤ |m|(E) is satisfied for each E ∈ A. Consequently, if m is a fuzzy measure, then |m|(E) = m(E), for all E ∈ A. Definition 3 A real-valued set function m, m(∅) = 0, is of bounded chain variation if |m|(X) < ∞. The family of all set functions of bounded chain variation, vanishing at the empty set, is denoted by BV . The functional ||m|| = |m|(X) is a norm on a Banach space (BV, || ||), see [1, 10]. Another important characterization of space BV , given by following theorem, has been proven in [1, 10]. Theorem 1 A set function m, m(∅) = 0, belongs to BV if and only if it can be represented as difference of two monotone set functions m1 and m2 vanishing at the empty set. Using Theorem 1, another representation of Choquet integral with respect to a signed fuzzy measure can be obtained [10], and this is illustrated in the following example. Example 1 Let X be a finite set, X = {1, 2, 3, 4} , A = P(X) and let m be a signed fuzzy measure, m ∈ BV , defined by
m({1})=0.3
m({2})=0.2
m({3})=−0.3
m({4})=−0.4
m({1,2})=1
m({1,3})=0.2
m({1,4})=−0.2
m({2,3})=0.1
m({2,4})=−0.4
m({3,4})=−1
m({1,2,3})=0.5
m({1,2,4})=0.2
m({2,3,4})=−0.4
m({1,3,4})=−0.3
m(∅)=0
m(X)=0
For f ∈ M defined by f (1) = −0.3, f (2) = 0.2, f (3) = −0.4 and f (4) = 0.6, we compute Cm as Cm (f ) = −0.4·0+(−0.3+0.4)·0.2+(0.2+0.3)·(−0.4)+(0.6−0.2)·(−0.4) = −0.34, or by the equation (2) we obtain Cm (f ) − Cm ¯ (f ) = −0.24 − 0.1 = −0.34. However, m ∈ BV , and therefore it can be represented as difference of two fuzzy measures m1 and m2 , i.e. m = m1 − m2 , (this representation is not unique). m1 can be defined by m1 ({1})=0.3
m1 ({2})=0.2
m1 ({3})=0
m1 ({4})=0
m1 ({1,2})=1
m1 ({1,3})=0.5
m1 ({1,4})=0.3
m1 ({2,3})=0.4
m1 ({2,4})=0.2
m1 ({3,4})=0
m1 ({1,2,3})=1
m1 ({1,2,4})=1
m1 ({2,3,4})=0.6
m1 ({1,3,4})=0.7
m1 (∅)=0
m1 (X)=1
m2 ({1})=0
m2 ({2})=0
m2 ({3})=0.3
m2 ({4})=0.4
m2 ({1,2})=0
m2 ({1,3})=0.3
m2 ({1,4})=0.5
m2 ({2,3})=0.3
m2 ({2,4})=0.6
m2 ({3,4})=1
m2 ({1,2,3})=0.5
m2 ({1,2,4})=0.8
m2 ({2,3,4})=1
m2 ({1,3,4})=1
m2 (∅)=0
m2 (X)=1
and then m2 is given by
.
Then we have Cm1 (f ) = −0.4 + (−0.3 + 0.4) · 1 + (0.2 + 0.3) · 0.2 + (0.6 − 0.2) · 0 = −0.2, and Cm2 (f ) = −0.4 + (−0.3 + 0.4) · 0.8 + (0.2 + 0.3) · 0.6 + (0.6 − 0.2) · 0.4 = 0.14. Therefore we have Cm (f ) = Cm1 (f ) − Cm2 (f ) = −0.2 − 0.14 = −0.34.
Theorem 2 If m is a signed fuzzy measure such that m ∈ BV , then the asymmetric Choquet integral of f ∈ M can be represented in the following manner Cm (f ) = Cm1 (f ) − Cm2 (f ),
(3)
where m1 and m2 are two fuzzy measures such that m = m1 − m2 and Cm (f ) does not depend of the representation of m by means of Theorem 1. Proof. It follows from Theorem 1 that every signed fuzzy measure m ∈ BV is a difference of two fuzzy measures m1 and m2 , i.e., m = m1 − m2 . The conjugate set function m ¯ is difference of the two corresponding conjugate fuzzy measures m ¯ 1 and m ¯ 2 , i.e., m ¯ = m1 − m2 = m ¯1−m ¯ 2 . By the equation (2) and additivity of integrals we obtain Cm (f ) = Cm1 (f ) − Cm2 (f ). We prove now that the integral Cm is independent of the representation of the fuzz measure m. Let m e 1 and m e 2 be two fuzzy measures such that m=m e 1 −m e 2 . We have m = m1 −m2 = m e 1 −m e 2 and m ¯ =m ¯ 1 −m ¯2 = m e 1 −m e2 and it follows from this fact that the equation (3) unambiguously represents Cm (f ). ¤ As we have already seen in Example 1 it is not difficult to construct example to show that the representation of m given by Theorem 1 is not unique but by Theorem 2 Cm (f ) does not depend of representation of m. Example 2 Let m and f be as in Example 1, and m = m e1 −m e 2 , where m e 1 is defined by m e 1 ({1})=0.3
m e 1 ({2})=0.2
m e 1 ({3})=0
m e 1 ({4})=0
m e 1 ({1,2})=1
m e 1 ({1,3})=0.6
m e 1 ({1,4})=0.5
m e 1 ({2,3})=0.5
m e 1 ({2,4})=0.3
m e 1 ({3,4})=0
m e 1 ({1,2,3})=1
m e 1 ({1,2,4})=1
m e 1 ({2,3,4})=0.6
m e 1 ({1,3,4})=0.7
m e 1 (∅)=0
m e 1 (X)=1
m e 2 ({1})=0
m e 2 ({2})=0
m e 2 ({3})=0.3
m e 2 ({4})=0.4
m e 2 ({1,2})=0
m e 2 ({1,3})=0.4
m e 2 ({1,4})=0.7
m e 2 ({2,3})=0.4
m e 2 ({2,4})=0.7
m e 2 ({3,4})=1
m e 2 ({1,2,3})=0.5
m e 2 ({1,2,4})=0.8
m e 2 ({2,3,4})=1
m e 2 ({1,3,4})=1
m e 2 (∅)=0
m e 2 (X)=1
and m e 2 is given by
.
Then we have Cm e 1 (f ) = −0.4 + (−0.3 + 0.4) · 1 + (0.2 + 0.3) · 0.3 + (0.6 − 0.2) · 0 = −0.15 and Cm e 2 (f ) = −0.4 + (−0.3 + 0.4) · 0.8 + (0.2 + 0.3) · 0.7 + (0.6 − 0.2) · 0.4 = 0.19 and finally Cm (f ) = Cm e 1 (f ) − Cm e 2 (f ) = −0.34, the same value as in Example 1 for Cm = Cm1 − Cm2 .
4
Representation of signed fuzzy measures
In this section we shall consider a representation of a signed fuzzy measure m : A → [−∞, ∞] which belongs to the space BV . We will correspond to it a signed measure µ defined on a σ-algebra B of subsets of a set Y . First, we will introduce an interpreter for measurable sets and a frame for representation [5, 8], see [10]. Definition 4 A mapping H : A → B is called an interpreter if H satisfies (i) H(∅) = ∅ and H(X) = Y ; (ii) H(E) ⊂ H(F ), for all E ⊂ F . A triple (Y, B, H) is called a frame of (X, A), if H is an interpreter from A to B. Definition 5 Let m be a signed fuzzy measure defined on A. A quadruple (Y, B, µ, H) is called a representation of m (or (X, A, m)) if H is an interpreter from A to B, µ is a signed measure on (Y, B), and m = µ ◦ H. Theorem 3 Every signed fuzzy measure m, m ∈ BV , has its representation. Proof. Let m be a signed fuzzy measure, and m ∈ BV . There exist two fuzzy measures, m1 and m2 , such that m(E) = m1 (E) − m2 (E) for all E ∈ A. We take for Y the open interval (−m2 (X), m1 (X)), and for B the class of all Borel subsets of Y . We define the mapping H : A → B by H(E) = (−m2 (E), m1 (E)), for all E ∈ A. Then we have H(∅) = ∅ and H(X) = (−m2 (X), m1 (X)) = Y . For E ⊂ F we have m1 (E) ≤ m1 (F ) and m2 (E) ≤ m2 (F ), and therefore H(E) = (−m2 (E), m1 (E)) ⊂ (−m2 (F ), m1 (F )) = H(F ). Therefore H is an interpreter from A to B. Let µ : B → R be a signed measure defined by µ((a, b)) = λ((a, b) ∩ Y + ) − λ((a, b) ∩ Y − ), for (a, b) ∈ B, where λ is the Lebesgue measure and Y + = (0, m1 (X)), Y − = Y \ Y + . Hence for every E ∈ A m(E)
= m1 (E) − m2 (E) = λ((0, m1 (E))) − λ((−m2 (E), 0]) = µ(H(E)) = µ ◦ H(E).
Therefore, (Y, B, µ, H) is a representation of m.
¤
Remark 1 (i) As it is mentioned before, two fuzzy measures m1 and m2 are not unique, hence the representation of m given in Theorem 3 is not unique, too.
(ii) If m is a signed fuzzy measure such that m ∈ BV , and m ¯ is its conjugate ¯ is a representation of m, set function, then a quadruple (Y, B, µ, H) ¯ where ¯ is defined by H(E) ¯ the interpreter H = (−m ¯ 2 (E), m ¯ 1 (E)) for all E ∈ A, and (Y, B, µ) is the same as in the proof of Theorem 3. Now, we can apply Theorem 3 to obtain a representation of the asymmetric Choquet integral of a measurable function f with respect to a signed fuzzy measure m. Theorem 4 If m is a signed fuzzy measure, m ∈ BV and f ∈ M, then there exist two functions If1 : Y → [0, ∞] and If2 : Y → [0, ∞] such that the asymmetric Choquet integral has the following difference representation Z Z Cm (f ) = If1+ dµ − If2− dµ, (4) where, f + = f ∨ 0, f − = (−f ) ∨ 0 and the integrals on the right-hand side are the Lebesgue integrals. Cm (f ) does not depend of the representation of m by means of Theorem 3. Proof. Let m be a signed fuzzy measure and let m ¯ be its conjugate set ¯ respectively. If we function, with representations (Y, B, µ, H) and (Y, B, µ, H), define for a non-negative measurable function f ∈ M, two functions If1 and If2 on Y in the following way If1 (y) = sup{ t | y ∈ H({x|f (x) ≥ t})}, ¯ (x) ≥ t}) } If2 (y) = sup{ t | y ∈ H({x|f R 2 R − If − dµ. Therefore the for all y ∈ Y, then Cm (f + ) = If1+ dµ and Cm ¯ (f ) = equation (4) immediately follows from the equation (2). Let m e 1 and m e 2 be two fuzzy measures such that m = m e1 − m e 2 , and e and (Ye , B, µ, H) e are the representations of m and m, e and ¯ where H (Ye , B, µ, H) e are the interpreters defined by: H(E) e e H = (−m e 2 (E), m e 1 (E)) and H(E) = e (−m e 2 (E), m e 1 (E)), for all E ∈ A. We have m = µ ◦ H = µ ◦ H and m ¯ = e Ie1 (f ) and Ie2 (f ) are defined on Ye by µ ◦ H = µ ◦ H. e Ie1 (f )(y) = sup{ t | y ∈ H({x|f (x) ≥ t})}
and
e Ie2 (f )(y) = sup{ t | y ∈ H({x|f (x) ≥ t}) } for all y ∈ Ye . Therefore for every f ∈ M
Z
+
Cm (f ) =
Z +
I1 (f ) dµ = Z
− Cm ¯ (f ) =
Ie1 (f + ) dµ and Z
I2 (f − ) dµ =
Ie2 (f − ) dµ.
Hence the equation (4) unambiguously represents Cm (f ).
¤
Example 3 Let m and f be defined same as in the Example 1. ¯ be the representations of m and m Let (Y, B, µ, H) and (Y, B, µ, H) ¯ related to m1 and m2 given in Example 1. Therefore Y = (−1, 1) and we have 0, y ∈ (−1, −0.6] ∪ [0.2, 1) ∪ {0} + 0.2, y ∈ (0, 0.2) ∪ (−0.6, −0.4) I1 (f )(y) = 0.6, y ∈ (−0.4, 0), and
0, y ∈ (−1, −0.4] ∪ [0.8, 1) ∪ {0} − 0.3, y ∈ (0, 0.8) ∪ (−0.4, −0.2) I2 (f )(y) = 0.4, y ∈ (−0.2, 0). R R We have I1 (f + ) dµ − I2 (f − ) dµ = −0.24 − 0.1 = −0.34 = Cm (f ). e related to m Now we consider the representation of m, (Ye , B, µ, H), e 1 and m e2 given in Example 2 and the appropriate representation of m. ¯ Then Ye = (−1, 1) and we have 0, y ∈ (−1, −0.7] ∪ [0.3, 1) ∪ {0} + 0.2, y ∈ (0, 0.3) ∪ (−0.7, −0.4) Ie1 (f )(y) = 0.6, y ∈ (−0.4, 0), and
0, y ∈ (−1, −0.3] ∪ [0.7, 1) ∪ {0} 0.3, y ∈ (0, 0.7) ∪ (−0.3, −0.2) Ie2 (f − )(y) = 0.4, y ∈ (−0.2, 0). R R We compute Ie1 (f + ) dµ = −0.24 and Ie2 (f − ) dµ = 0.1 and applying (4), finally we obtain Cm (f ) = −0.34. Acknowledgement The work on this paper has been supported by project ”Mathematical models of nonlinearity, uncertainty and decision” and the first two authors thanks to the project ”Mathematical Models for Decision Making under Uncertain Conditions and Their Applications” by Academy of Sciences and Arts of Vojvodina supported by Vojvodina Provincial Secretariat for Science and Technological Development.
References [1] R. J. Aumann, L. S. Shapley: Values of Non-Atomic Games Princton Univ. Press, 1974.
[2] P. Benvenuti, R. Mesiar, D. Vivona: Monotone Set Functions-Based Integrals. In: E. Pap ed. Handbook of Measure Theory, Ch 33., Elsevier, 2002, 1329-1379. [3] T. Calvo, G. Mayor, R. Mesiar editors: Aggregation Operators, New Trends and Applications. Physica-Verlag, Heidelberg, 2002. [4] D. Denneberg: Non-additive Measure and Integral. Kluwer Academic Publishers, Dordrecht, 1994. [5] U. H¨ohle: Fuzzy probability measures, In: Zimmermann, Zadeh and Gaines, eds. , Fuzzy Sets and Decision Analysis, North-Holland, 1984. [6] E. P. Klement, R. Mesiar, E. Pap: Triangular Norms. Kluwer Academic Publishers, Dordrecht, 2000. [7] T. Murofushi, M. Sugeno: An interpretation of fuzzy measures and the Choquet integral as an integral with respect to a fuzzy measure. Fuzzy Sets and Systems 29, 1989, 201-227. [8] T. Murofushi, M. Sugeno: A theory of fuzzy measures. Representation, the Choquet integral and null sets, J.Math.Anal.Appl. 159 (1991), 532-549. [9] Y. Narukawa, T. Murofushi, M. Sugeno: Regular fuzzy measure and representation of comonotonically additive functional. Fuzzy Sets and Systems 112, 2000, 177-186. [10] E. Pap: Null-Additive Set Functions. Kluwer Academic Publishers, Dordrecht, 1995. [11] E. Pap, ed.: Handbook of Measure Theory. Elsevier, 2002. ˇ -additive and [12] E. Pap, B. Mihailovi´c: A representation of a comonotone-∨ monotone functional by two Sugeno integrals, Fuzzy Sets and Systems, in press. [13] K. Tanaka, M. Sugeno: A study on subjective evaluation of color printing image. Int. J. Approximate Reasoning 5, 1991, 213-222. [14] A. Tverski, D. Kahneman: Advances in prospect theory. Cumulative representation of uncertainty. J. of Risk and Uncertainty 5, 1992, 297-323. [15] D. Schmeidler: Subjective probability and expected utility without additivity, Econometrica 57, 1989, 517-587. [16] D. Schmeidler: Integral representation without additivity, Proc. Amer. Math. Soc. 97, 1986, 255-261.