Volume 2012, Issue 1 154670
Research Article
Open Access

Note on the Choquet Integral as an Interval-Valued Aggregation Operators and Their Applications

Lee-Chae Jang

Corresponding Author

Lee-Chae Jang

Department of Computer Engineering, Konkuk University, Chungju 138-701, Republic of Korea konkuk.ac.kr

Search for more papers by this author
First published: 20 February 2012
Citations: 1
Academic Editor: Hui-Shen Shen

Abstract

The concept of an interval-valued capacity is motivated by the goal to generalize a capacity, and it can be used for representing an uncertain capacity. In this paper, we define the discrete interval-valued capacities, a measure of the entropy of a discrete interval-valued capacity, and, Choquet integral with respect to a discrete interval-valued capacity. In particular, we discuss the Choquet integral as an interval-valued aggregation operator and discuss an application of them.

1. Introduction

Let (X, Ω) be a measurable space. A capacity (or a fuzzy measure) on X is a nonnegative monotone set function with μ() = 0. Many researchers have been studying a discrete capacity in many topics such as capacity functionals of random sets (see [15]) and entropy-like measures (see [69]).

The Choquet integral with respect to a capacity of a nonnegative measurable function f is given by
(1.1)
where μf(α) = μ({xXf(x) > α}) and the integral on the right-hand side is an ordinary one. If we take N = {1,2, …, n} and f : N+ by f(i) = xi for all iN, then we have
(1.2)
where π is a permutation on {1,2, …, n} such that xπ(1)xπ(2) ≤ ⋯≤xπ(n) and Aπ(i) = {π(i), …, π(n)} and Aπ(n+1) =   (see [14, 6, 9, 10]). Note that if we put xπ(0) = 0 and Aπ(n+1) = , then we obtain the following formula:
(1.3)

By using interval-valued functions to express uncertain functions, we have studied the Choquet integral with respect to a capacity of an interval-valued function which is able to better handle the representation of decision making and information theory (see [1016]). During the last decade, it has been suggested to use intervals in order to represent uncertainty in the area of decision theory and information theory, for example, calculation of economic uncertainty [8], theory of interval probability as a unifying concept for uncertainty [17], and the Choquet integral of uncertain functions [3, 1216, 18]. Recently, Xu et al. [1924] have been studying the application of the Choquet integral with uncertain and fuzzy information.

The main idea of this paper is to use the concept of an interval-valued capacity in the entropy-like measure which is an aggregation defined by the discrete interval-valued capacities. In Section 2, we introduce the Choquet integral with respect to an interval-valued capacity and discuss some of its properties. In Section 3, we investigate the interval-valued weighted arithmetic mean, the interval-valued Shannon entropy, the interval-valued weighted averaging operator, and an interval-valued measure of the entropy of an interval-valued capacity. In Section 4, we give the problem of evaluating students as an example where interval-valued weights and some suitable interval-valued capacity are used in practical situation. In Section 5, we give a brief summary results and some conclusions.

2. The Choquet Integral with Respect to a Discrete Interval-Valued Capacity

Throughout this paper, I(+) is the set of all closed intervals in + = [0, ), that is,
(2.1)
For any a+, we define a = [a, a]. Obviously, aI(+)  (see [1315]).

Definition 2.1. If , and k+, then one defines arithmetic, minimum, order, and inclusion operations as follows:

  • (1)

    ,

  • (2)

    ,

  • (3)

    ,

  • (4)

    ,

  • (5)

    ,

  • (6)

    if and only if a1b1 and a2b2,

  • (7)

    if and only if and ,

  • (8)

    if and only if b1a1 and a2b2.

Let U be a countably infinite set as the universe of discourse and 𝒫(U) the power set of U. We propose an interval-valued capacity and discuss some of its properties.

Definition 2.2. (1) An interval-valued set function is said to be a discrete interval-valued capacity on U if it satisfies the following conditions:

  • (i)

    ,

  • (ii)

    , whenever S, T𝒫(U) and ST.

(2) A set D(∈𝒫(U)) is said to be a carrier (or support) of an interval-valued capacity if for all S𝒫(U).

(3) An interval-valued capacity with nonempty finite carrier D(∈𝒫(U)) is said to be normalized if .

For any integer k ≥ 1, the set {1, …, k} will simply be denoted by [k] and I([0,1]) = {[a1, a2]∣a1, a2 ∈ [0,1]  and  a1a2}. For the sake of convenience, we will henceforth assume that D = N is the n-element set [n]. We denote by IVC the set of interval-valued capacities with a nonempty finite carrier on U and by IVCN the set of normalized interval-valued capacities having NU as a nonempty finite carrier.

Definition 2.3. (1) An interval-valued capacity is said to be additive if for all disjoint subsets S, TN.

(2) is said to be cardinality based if for all TN, depends only on the cardinality of T; that is, there exists such that for all TN such that |T | = t, where |T| is the cardinality of   T.

In [6, p. 135], there is only one normalized capacity with a nonempty finite carrier N which is both additive and cardinality based, and in this case, is given by for all TN such that |T | = t. Thus we can obtain the following theorem.

Theorem 2.4. If is both additive and cardinality based, then , for all TN with |T| = t.

Theorem 2.4 implies that if a discrete interval-valued normalized capacity is both additive and cardinality based, then it is a discrete real-valued capacity (or a real-valued monotone set function). By Definition 2.3, we can easily obtain the following theorem.

Theorem 2.5. (1) An interval-valued set function is a discrete interval-valued capacity if and only if μl and μr are discrete capacities.

  • (2)

    A set N(⊂U) is a carrier of if and only if N is a carrier of both μl and μr.

  • (3)

    is normalized if and only if μl and μr are normalized.

  • (4)

    is additive if and only if μl and μr are additive.

  • (5)

    is cardinality based if and only if μl and μr are cardinality based.

By using formula (1.3) of the Choquet integral and a discrete interval-valued capacity with a nonempty finite carrier N, we will define the Choquet integral with respect to a discrete interval-valued capacity.

Definition 2.6. Let x : N+ be a function such that x(i) = xi for all iN and a discrete interval-valued capacity with a nonempty finite carrier N. The Choquet integral with respect to of x is defined by

(2.2)
where π is a permutation on N such that xπ(0) = 0 ≤ xπ(1)xπ(2) ≤ ⋯≤xπ(n) and Aπ(i) = {π(i), …, π(n)} and Aπ(n+1) = .

By (2.2), we can easily obtain the following basic property of .

Theorem 2.7. If , then one has

(2.3)
where a function x : N+ by x(i) = xi for all iN.

From the right-hand side of (2.2), we note that
(2.4)
in general. Because of this note, we consider a new difference operation ⊖ defined by
(2.5)
where a, b, c, d+. From this difference operation, we can easily see that [ka, kb]⊖[kc, kd] = k([a, b]⊖[c, d]) for all k, a, b, c, d+. We denote by the set of normalized interval-valued capacities with a nonempty finite carrier N satisfying the following condition:
(2.6)
for all iN and where π is a permutation on {1,2, …, n} such that xπ(1)xπ(2) ≤ ⋯≤xπ(n) and Aπ(i) = {π(i), …, π(n)} and Aπ(n+1) = . We remark that and that if , then we have
(2.7)
By Theorem 2.7 and (1.2), (2.5), and (2.7), we derive the following theorem.

Theorem 2.8. If there exists function x : N+ by x(i) = xi for all iN and , then one has

(2.8)
where π is a permutation on N such that xπ(1)xπ(2) ≤ ⋯≤xπ(n) and Aπ(i) = {π(i), …, π(n)} and Aπ(n+1) = .

Proof. By Theorem 2.7 and the definition (1.2) and the difference (2.5) operation, we have

(2.9)

3. The Choquet Integral as an Interval-Valued Aggregation Operator

In this section, we define the interval-valued weighted arithmetic mean (IWAM), which is the concept of a generalized aggregation (or an uncertain aggregation), as follows:
(3.1)
where , 0 ≤ wliwri ≤ 1 for all iN, , and x : N+ by x(i) = xi for all iN is a function such that x1, …, xn represent the arguments. We denote by x = (x1, …, xn) an n-dimensional vector in .
Note that the arguments x1, …, xn that are used in such an interval-valued aggregation process strongly depend upon the interval-valued (or uncertain) weight vector . Then the interval-valued Shannon-entropy of defined on N is given by
(3.2)
where for 0 ≤ wliwri ≤ 1 for all iN, and
(3.3)
for all w ∈ [0,1]. Then it means a measure of dispersion associated to the interval-valued weight vector of the interval-valued weighted arithmetic mean . We also easily see that
(3.4)
where .

Now, we define the following interval-valued (or uncertain) ordered weight averaging (IOWA) operator.

Definition 3.1. Let be an interval-valued weight vector such that , 0 ≤ wliwri ≤ 1 for all iN, and . The interval-valued ordered weighted averaging (IOWA) operator on (+) n is defined by

(3.5)
where x = (x1, …, xn)∈(+) n and π is a permutation on N such that 0 ≤ xπ(1)xπ(2) ≤ ⋯≤xπ(n).

From Definition 3.1, we have
(3.6)
By (3.5) and (3.6), we obtain that if s ∈ {l, r} and we write ws = (ws1, …, wsn), then is an ordered weighted averaging operator associated to a weight vector ws, proposed by Yager [18]. Remark that if wli = wri = wi for all iN and we write w = (w1, …, wn), then is the weight arithmetic mean (WAM), is the Shannon entropy of w, and is the ordered weighted averaging (OWA) operator (see [3, 5]).

Theorem 3.2. (1) If one takes wl = wr = (1/n, …, 1/n), then is maximum.

(2) If one takes wli = 1 and wrj = 1 for some i, jN, then is minimum.

Proof. (1) .

(2) .

From Theorem 3.2, the interval-valued measure of dispersion can be normalized into
(3.7)
so that it ranges in I([0,1]). Finally, we will define the interval-valued entropy of an interval-valued capacity which is the generalization of the entropy proposed by Marichal [3] as follows:
(3.8)
where μ is a capacity on N, |T| = t is the cardinality of T, the coefficients pt(|T| = t) are nonnegative, and ∑TN∖{i}pt = 1.

Definition 3.3. The interval-valued entropy of an interval-valued capacity is defined by

(3.9)
where ⊖ is the same operation in (2.5), the coefficients pt(|T| = t) are nonnegative, ∑TN∖{i}pt = 1, and is the same function in (3.3).

From Definition 3.3, if we take μl = μr = μ, then . We consider the following assumption of :
(3.10)
and let .

Theorem 3.4. If , then one has

(3.11)

Proof. By Definition 3.3, we can directly calculate as follows:

(3.12)

From Theorem 3.4, we can see that if we take such that HM(μr) < HM(μl), then is not defined. Thus, the Assumption (3.10) of is a sufficient condition for defining the interval-valued entropy of an interval-valued capacity . We also suggest that that is interpreted as an interval-valued measure of dispersion for a sum over iN of an average value of as follows: for all iN,
(3.13)

Theorem 3.5. If x = (x1, …, xn) and , then .

Proof. Let x = (x1, …, xn)∈(+) n and π be a permutation on N such that 0 ≤ xπ(1)xπ(2) ≤ ⋯≤xπ(n). Since , we get μl(Aπ(i)) − μl(Aπ(i+1)) ≤ μr(Aπ(i)) − μr(Aπ(i+1)) for all iN. Thus, by (3.13),

(3.14)
This implies HM(μl) ≤ HM(μr). Therefore .

Theorem 3.6. If x = (x1, …, xn), , and , then one has , that is,

(3.15)
where ⊖ is the same operation in (2.3), is the same function in (2.8), and , and π is a permutation on N such that 0 ≤ xπ(1)xπ(2) ≤ ⋯≤xπ(n)

Proof. Since , . By (3.13), we get

(3.16)

4. Applications

In this section, we consider the problem of evaluating students in a high school with respect to three subjects: mathematics (M), physics (P), and literature (L), proposed by Marichal [3]. Suppose that the school is more scientifically than literary from somewhat oriented to extremely oriented, so that interval-valued weights could be, for example, , , and , respectively. We note that and for all x ∈ {a, b, c}.

If we take , then wl = (1/4, 1/4, 1/8) and wr = (1/2, 3/8, 1/8). Then the interval-valued weighted arithmetic mean will give the results for three students a, b, and c (marks are given on a scale from 0 to 20) (see Table 1).

Student Mathematics (M) Physics (P) Literature (L)
a 18 16 10 [9.75, 16.25]
b 10 12 18 [7.75, 11.75]
c 14 15 15 [9.13, 14.50]
We note that . The total interval-valued weight is from rather well distributed to quite well distributed over three subjects since we have
(4.1)
We consider the α-mean evaluation Eα of as follows:
(4.2)
for all α ∈ [0,1] and x ∈ {a, b, c}. The α-mean evaluation Eα implies that we can interpret the difference of the degree of favor for students. Indeed, if α = 0, that is, if the school is more scientifically than literary extremely oriented, then the school wants to favor more student c as E0(a) − E0(c) = 1.75; if α = 1, that is, if the school is more scientifically than literary somewhat oriented, then the school wants to favor more student c as E1(a) − E1(c) = 0.575.
Now, if the school wants to favor somewhat well-equilibrated over extremely well equilibrated students without weak points, then student c should be considered better than student a, who has a severe weakness in literature. Unfortunately, no interval-valued vector satisfying is able to favor student c. Indeed, it is possible that
(4.3)

The reason of this problem is that much importance is given to mathematics and physics, which present some overlap effect since, usually, students from little good to rather good at mathematics are also from little good to rather good at physics (and vice versa), so that the interval-valued evaluation is overestimated (resp., underestimated) for students from little good to rather good (resp., from little bad to rather bad) at mathematics and/or physics.

This problem can be overcome by using a suitable interval-valued capacity and the Choquet integral as follows.

(i) Since scientific subjects are more important than literature, the following interval-valued weights can be put on subjects taken individually: , and . Note that the initial interval-valued ratio of interval-valued weight ([2,4], [2,3], [1,1]) is kept unchanged.

(ii) Since mathematics and physics overlap, the interval-valued weight attributed to the pair {M, P} should be less than the sum of the interval-valued weight of mathematics and physics: .

(iii) Since students equally good at scientific subjects and literature must be favored, the interval-valued weight attributed to the pair {L, M} should be greater than the sum of individual interval-valued weights (the same for physics and literature): .

(iv) and .

If we take , and μl({L, P, M}) = 0.55, μr({L, P, M}) = 1, μl({P, M}) = 0.3, μr({P, M}) = 0.6, μl({M, L}) = 0.45, μr({M, L}) = 0.75, μl({P, L}) = 0.45, μr({P, L}) = 0.75, μl({P}) = 0.25, μr({P}) = 0.375, μl({M}) = 0.25, μr({M}) = 0.5, μl({L}) = 0.125, and μr({L}) = 0.125, then HM(μl) = 0.8802 < 0.9974 = HM(μr) and hence .

Applying the Choquet integral with respect to the above interval-valued capacity leads to the Choquet integrals see Table 2.

Student Mathematics (M) Physics (P) Literature (L) (student)
a 18 16 10 [7.80, 14.60]
b 10 12 18 [6.85, 12.25]
c 14 15 15 [8.15, 14.75]
Since and , we can see that if we use , then student a has the best rank, but if we use , then student c has the best rank. We also consider the α-mean Choquet evaluation of as follows:
(4.4)
for all α ∈ [0,1] and x ∈ {a, b, c}.

The α-mean Choquet evaluation implies that we can interpret the difference of the degree of favor for student a and student c. Indeed, if α = 1, that is, if the school wants to favor extremely well-equilibrated students, then the school wants to favor student c than student a as ; if α = 0, that is, if the school wants to favor somewhat more well-equilibrated students, then the school wants to favor student c more than student a as .

Finally, we have the normalized entropy of interval-valued capacity in as follows:
(4.5)
where N = {P, M, L}. Thus, we have
(4.6)
which shows that the total interval-valued weight is from still rather well distributed to very quite well distributed.

5. Conclusions

In this paper we consider the new interval-valued measure of the entropy of an interval-valued capacity which generalizes a measure of the entropy proposed by Marichal′s [3]. From (3.1), (3.5), and (3.9) and Theorems 3.4, 3.5, 3.6, we investigate the interval-valued weighted arithmetic mean and interval-valued ordered weighted averaging operator for representing uncertain weight vectors which are used in the concept of an uncertain aggregations.

From an example in Section 4, it is possible that we use from somewhat oriented to extremely oriented instead of oriented, from rather well distributed to quite well distributed instead of well distributed, and from somewhat well equilibrated to extremely well equilibrated instead of well equilibrated in the problem of evaluating students.

In the future, by using these results of this paper, we can develop various problems and models for representing uncertain weights related to interacting criteria.

Acknowledgment

This paper was supported by the Konkuk University in 2012.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.