Note on the Choquet Integral as an Interval-Valued Aggregation Operators and Their Applications
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 [1–5]) and entropy-like measures (see [6–9]).
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 [10–16]). 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, 12–16, 18]. Recently, Xu et al. [19–24] 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
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 a1 ≤ b1 and a2 ≤ b2,
- (7)
if and only if and ,
- (8)
if and only if b1 ≤ a1 and a2 ≤ b2.
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 S ⊂ T.
(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 a1 ≤ a2}. 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 N ⊂ U as a nonempty finite carrier.
Definition 2.3. (1) An interval-valued capacity is said to be additive if for all disjoint subsets S, T ⊂ N.
(2) is said to be cardinality based if for all T ⊂ N, depends only on the cardinality of T; that is, there exists such that for all T ⊂ N 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 T ⊂ N such that |T | = t. Thus we can obtain the following theorem.
Theorem 2.4. If is both additive and cardinality based, then , for all T ⊂ N 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 i ∈ N and a discrete interval-valued capacity with a nonempty finite carrier N. The Choquet integral with respect to of x is defined by
By (2.2), we can easily obtain the following basic property of .
Theorem 2.7. If , then one has
Theorem 2.8. If there exists function x : N → ℝ+ by x(i) = xi for all i ∈ N and , then one has
3. The Choquet Integral as an Interval-Valued Aggregation Operator
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 ≤ wli ≤ wri ≤ 1 for all i ∈ N, and . The interval-valued ordered weighted averaging (IOWA) operator on (ℝ+) n is defined by
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, j ∈ N, then is minimum.
Proof. (1) .
(2) .
Definition 3.3. The interval-valued entropy of an interval-valued capacity is defined by
Theorem 3.4. If , then one has
Proof. By Definition 3.3, we can directly calculate as follows:
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 i ∈ N. Thus, by (3.13),
Theorem 3.6. If x = (x1, …, xn), , and , then one has , that is,
Proof. Since , . By (3.13), we get
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] |
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] |
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 .
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.