# Multigranulations Rough Set Method of Attribute Reduction in Information Systems Based on Evidence Theory

Authors: Minlun Yan
Journal: Journal of Applied Mathematics
 (2014)

---

## Abstract

Attribute reduction is one of the most important problems in rough set theory. However, from the granular computing point of view, the classical rough set theory is based on a single granulation. It is necessary to study the issue of attribute reduction based on multigranulations rough set. To acquire brief decision rules from information systems, this paper firstly investigates attribute reductions by combining the multigranulations rough set together with evidence theory. Concepts of belief and plausibility consistent set are proposed, and some important properties are addressed by the view of the optimistic and pessimistic multigranulations rough set. What is more, the multigranulations method of the belief and plausibility reductions is constructed in the paper. It is proved that a set is an optimistic (pessimistic) belief reduction if and only if it is an optimistic (pessimistic) lower approximation reduction, and a set is an optimistic (pessimistic) plausibility reduction if and only if it is an optimistic (pessimistic) upper approximation reduction.


---

## Body

## 1. Introduction

Rough set theory, originated by Pawlak in the early 1980s [1, 2], is an extension of the classical set theory and can be regarded as a soft computing tool to handle imprecision, vagueness, and uncertainty in date analysis. The theory has been found successful in applications, especially in the field of pattern recognition [3], medical diagnosis [4], data mining [5, 6], conflict analysis [7], algebra [8, 9], and other fields [10, 11]. Recently, the theory has generated a great deal of interest among more and more researchers.Recently, several extensions of the rough set model have been proposed in terms of various requirements, such as the variable precision rough set (VPRS) model [12], the Bayesian rough set model [13], the fuzzy rough set model, and the rough fuzzy set model [14–16]. Equivalence relation is a basic notion in Pawlak’s rough set model. The equivalence classes are employed to construct the lower and upper approximations of an arbitrary subset of the universe of discourse. However, the equivalence relation is a very restrictive condition that may limit applications of rough set. Hence, a variety of extensions of Pawlak’s rough set were proposed by employing a more general mathematical concept, for example, arbitrary binary relations [17–19], neighborhood systems and Boolean algebras [20, 21], and partitions and coverings of the universe of discourse [22, 23]. In the view of granular computing (proposed by Zadeh [24]), a general concept described by a set is always characterized via the so-called lower and upper approximations under a single granulation; that is, the concept is depicted by known knowledge induced from a single relation (such as equivalence relation, tolerance relation, and reflexive relation) on the universe.Since each set of the information granules can be considered as a granulation space, then one can call two or more than two information granules as multigranulations space. To make it more widely to apply the rough set theory in practical applications, Qian and Liang extended Pawlak’s single-granulation rough set model to a multigranulations rough set model [25]. Multigranulations rough set was initially proposed by Qian and Liang [25], and later many researchers have extended the multigranulations rough set to the generalized multigranulations rough set. Xu et al. developed a variable multigranulations rough set model [26], a fuzzy multigranulations rough set model [27], a generalized multigranulations rough set approach [28], and a multigranulations rough set model in ordered information systems [29]. Yang et al. proposed the hierarchical structure properties of the multigranulations rough set [30–33] and multigranulations rough set in incomplete information system [34]. Lin et al. presented a neighborhood-based multigranulations rough set [35]. Qian et al. discussed the decision-theoretic rough set theory based on Bayesian decision procedure into the multigranulations [36]. She and He explored the topological structures and the properties of multigranulations rough set [37] and many others [38, 39].Another important method used to deal with uncertainty in information systems is the Dempster-Shafer theory of evidence. It was originated by Dempster’s concept of lower and upper probabilities [40] and extended by Shafer as a theory [41]. The basic representational structure in the theory is a belief structure, which can derive dual pairs of belief and plausibility functions. Subsequently, Zadeh generalized the Dempster-Shafer theory to the fuzzy environment based on his work on the concepts of information granularity [42] and the theory of possibility [43]. So as to evaluate the degrees of belief in fuzzy events, many authors have enriched the Dempster-Shafer theory in different ways. Interested readers can refer to [44] for a summary of some of these generalizations.There are strong connections between rough set theory and Dempster-Shafer theory of evidence. It has been demonstrated that various belief structures are associated with various rough approximation spaces such that the different dual pairs of lower and upper approximation operators induced by rough approximation spaces may be used to interpret the corresponding dual pairs of belief and plausibility functions induced by belief structures [45–48].It is well known that attribute reduction is one of the hot research topics of rough set theory. There are many attributes in information system in general. But some attributes are not always needed based on the various reasons. Several kinds of attribute reductions such as upper approximation reductions, lower approximation reductions, and positive region reductions were discussed in a decision system according to different requirements [49–51]. By now much study on this area had been reported and many useful results were obtained [50, 52–55]. While in our real life, we may face some problems in which the existing reductions cannot be disposed, on this situation, some new reductions are needed. In this paper, we attempt to investigate attribute reduction in multigranulations rough set based on evidence theory and its strong relations with existing reductions.The organization of the rest of this paper is as follows. In Section2, we give some basic concepts of information systems and Pawlak’s rough set, multigranulations rough set, and evidence theory. In Section 3, evidence theory in optimistic multigranulations rough set and pessimistic multigranulations rough set has been constructed, and some important properties are discussed. In Section 4, we introduce the optimistic and pessimistic multigranulations rough set method of belief and plausibility reductions; then we also combine the belief structure with the lower and upper approximations. And in Section 5, we conclude the paper with a summary and outlook for further research.


## 2. Preliminaries

Throughout this paper, we assume that the universe is a nonempty finite set.An information system is an order tripleS
=
(
U
,
AT
,
f
), where U
=
{
x
1
,
x
2
,
…
,
x
n
} is a nonempty finite set of objects, AT
=
{
a
1
,
a
2
,
…
,
a
m
} is a nonempty finite set of conditional attributes, and for any a
i
∈
AT, f
a
i
:
U
→
V
a
i is a map, where V
a
i is the domain of the attribute a
i. In particular, a target information system is given by S
=
(
U
,
AT
,
f
,
D
,
g
), where D
=
{
d
1
,
d
2
,
…
,
d
p
} is a nonempty finite set of decision attributes, and for any d
j
∈
D, g
d
j
:
U
→
V
d
j is a map, where V
d
j is the domain of the attribute d
j. In general, a target information system is consistent, if the partitions induced from the set of condition attributes AT are finer than the partitions induced from the set of decision attributes D. Otherwise, it is inconsistent.For an information system, any attribute domainV
a may contain special symbol “*” to represent that the value of an attribute is unknown. Here, we assume that an object x
∈
U possesses only one value for an attribute a, a
∈
AT. Thus, if the value of an attribute a is missing, then the attribute value is the symbol “*”, and the real value of the attribute must be from the set V
a
∖
{
*
}. Any domain value different from “*” will be called regular. A system in which values of all attributes for all objects from U are regular (known) is called complete; otherwise it is called incomplete [56, 57].Throughout this paper, we assume that the information system is the complete information system.Suppose thatS
=
(
U
,
AT
,
f
) is an information system, R
A
=
{
(
x
,
y
)
∣
f
a
i
(
x
)
=
f
a
i
(
y
)
,
∀
a
i
∈
A
}; let U
/
R
A be a partition of U induced by the attribute subset A
⊆
AT. For any x
∈
U, [
x
]
A
=
{
y
∣
(
x
,
y
)
∈
R
A
}; more information can be found in [58–60].In the multigranulations rough set model, unlike Pawlak’s rough set theory, the target concept is approximated via multiple partitions induced by multiple equivalence relations. Suppose thatS
=
(
U
,
AT
,
f
) is an information system, A
1
,
A
2
,
…
,
A
s (s
≤
2
|
AT
|) are attribute subsets, and X
⊆
U. Then the optimistic multigranulations lower approximation and upper approximation of X related to A
1
,
A
2
,
…
,
A
s in U are defined as follows:
(1)
O
M
∑
i
=
1
s
A
i
_
(
X
)
=
{
x
∣
∨
(
[
x
]
A
i
⊆
X
)
}
,
O
M
∑
i
=
1
s
A
i
¯
(
X
)
=
{
x
∣
∧
(
[
x
]
A
i
∩
X
≠
∅
)
}
.And the pessimistic multigranulations lower approximation and upper approximation ofX related to A
1
,
A
2
,
…
,
A
s in U are defined as follows:
(2)
P
M
∑
i
=
1
s
A
i
_
(
X
)
=
{
x
∣
∧
(
[
x
]
A
i
⊆
X
)
}
,
P
M
∑
i
=
1
s
A
i
¯
(
X
)
=
{
x
∣
∨
(
[
x
]
A
i
∩
X
≠
∅
)
}
.More detailed introductions can be seen in [58, 59, 61, 62].In evidence theory [40, 41], a mass function of a universe U can be defined by a map m
:
P
(
U
)
→
[
0,1
], and this mass function satisfies two axioms:
(3)
(
M
1
)
m
(
∅
)
=
0
,
(
M
2
)
∑
X
⊆
U
‍
m
(
X
)
=
1
.The valuem
(
X
) represents the degree of belief that a specific element of U belongs to set X but not to any particular subset of X.Ifm
(
X
)
>
0, then X is called a focal element. The family of all focal elements of m are denoted by M. Then the pair (
M
,
m
) is called a belief structure.In information systems, each belief structure can derive a pair of belief and plausibility functions based on classical equivalence relation.Definition 1 (see [40, 41]).
Let(
M
,
m
) be a belief structure. A set function Bel
:
P
(
U
)
→
[
0,1
] is referred to as a belief function on U, if for any X
∈
P
(
U
),
(4)
Bel
(
X
)
=
∑
Y
⊆
X
‍
m
(
Y
)
.
A set functionPl
:
P
(
U
)
→
[
0,1
] is referred to as a plausibility function on U, if for any X
∈
P
(
U
),
(5)
Pl
(
X
)
=
∑
Y
∩
X
≠
∅
‍
m
(
Y
)
.Remark 2.
The above definition about belief and plausibility functions can also be defined as follows.
A set functionBel
:
P
(
U
)
→
[
0,1
] is referred to as a belief function on U, if it satisfies the following three axioms [48]:(1)
Bel
(
∅
)
=
0,
(2)
Bel
(
U
)
=
1,
(3)
for any positive integern and every collection X
1
,
X
2
,
…
,
X
n
⊆
U,
(6)
Bel
(
⋃
i
=
1
n
‍
X
i
)
≥
∑
∅
≠
J
⊆
{
1,2
,
…
,
n
}
‍
(
-
1
)
|
J
|
+
1
Bel
(
⋂
i
∈
J
‍
X
i
)
.
A set functionPl
:
P
(
U
)
→
[
0,1
] is referred to as a plausibility function on U, if it satisfies the following three axioms [48]:(1)
Pl
(
∅
)
=
0,
(2)
Pl
(
U
)
=
1,
(3)
for any positive integern and every collection X
1
,
X
2
,
…
,
X
n
⊆
U,
(7)
Pl
(
⋂
i
=
1
n
‍
X
i
)
≤
∑
∅
≠
J
⊆
{
1,2
,
…
,
n
}
‍
(
-
1
)
|
J
|
+
1
Pl
(
⋃
i
∈
J
‍
X
i
)
.
From the definition and remark above, one can test and verify belief and plausibility functions by validating the three axioms above, respectively.


## 3. Evidence Theory in Multigranulations Rough Set

In this section, we will introduce the evidence theory in the optimistic multigranulations rough set and pessimistic multigranulations rough set and discuss some important properties of evidence theory in information system.Definition 3.
LetS
=
(
U
,
AT
,
f
) be an information system, A
1
,
A
2
,
…
,
A
s
⊆
AT (s
≤
2
|
AT
|), and let R
i be the equivalence relation associated with A
i. For any X
∈
U
/
R
i, a mass function m
i of S can be defined as m
i
(
X
)
=
|
X
|
/
|
U
|, where |
X
| denotes the cardinality of a set X.
By the above definition, we can easily find that a mass function of information system satisfies two basic axioms. That is to say, for anyX
∈
U
/
R
i in information system, the following two axioms hold directly:
(8)
(
M
1
)
m
i
(
∅
)
=
0
,
(
M
2
)
∑
X
⊆
U
/
R
i
‍
m
i
(
X
)
=
1
.
Similarly, the family of all focal elements ofm is denoted by M in optimistic multigranulations rough set. The pair (
M
,
m
) is called a belief structure of the optimistic multigranulations rough set in information system; a pair of belief and plausibility function in the optimistic multigranulations rough set can be derived immediately.Definition 4.
LetS
=
(
U
,
AT
,
f
) be an information system and (
M
,
m
) a belief structure.(1)
A set functionBel
:
P
(
U
)
→
[
0,1
] is referred to as an optimistic belief function on U, if for any X
∈
P
(
U
),
(9)
Be
l
∑
i
=
1
s
A
i
o
(
X
)
=
∑
Y
⊆
X
,
Y
∈
U
/
R
A
i
(
∃
A
i
⊆
AT
)
‍
m
i
(
Y
)
.
A set functionPl
:
P
(
U
)
→
[
0,1
] is referred to as an optimistic plausibility function on U, if for any X
∈
P
(
U
),
(10)
P
l
∑
i
=
1
s
A
i
o
(
X
)
=
∑
Y
∩
X
≠
∅
,
Y
∈
U
/
R
A
i
(
∀
A
i
⊆
AT
)
‍
m
i
(
Y
)
.
(2)
A set functionBel
:
P
(
U
)
→
[
0,1
] is referred to as a pessimistic belief function on U, if for any X
∈
P
(
U
),
(11)
Be
l
∑
i
=
1
s
A
i
P
(
X
)
=
∑
Y
⊆
X
,
Y
∈
U
/
R
A
i
(
∀
A
i
⊆
AT
)
‍
m
i
(
Y
)
.
A set functionPl
:
P
(
U
)
→
[
0,1
] is referred to as a pessimistic plausibility function on U, if for any X
∈
P
(
U
),
(12)
P
l
∑
i
=
1
s
A
i
P
(
X
)
=
∑
Y
∩
X
≠
∅
,
Y
∈
U
/
R
A
i
(
∃
A
i
⊆
AT
)
‍
m
i
(
Y
)
.Theorem 5.
LetS
=
(
U
,
A
T
,
f
) be an information system, for any X
⊆
U,  A
1
,
A
2
,
…
,
A
s
⊆
A
T (s
≤
2
|
A
T
|), denoted by
(13)
B
e
l
∑
i
=
1
s
A
i
o
(
X
)
=
|
O
M
∑
i
=
1
s
A
i
_
(
X
)
|
|
U
|
,
P
l
∑
i
=
1
s
A
i
o
(
X
)
=
|
O
M
∑
i
=
1
s
A
i
¯
(
X
)
|
|
U
|
,
B
e
l
∑
i
=
1
s
A
i
P
(
X
)
=
|
P
M
∑
i
=
1
s
A
i
_
(
X
)
|
|
U
|
,
P
l
∑
i
=
1
s
A
i
P
(
X
)
=
|
P
M
∑
i
=
1
s
A
i
¯
(
X
)
|
|
U
|
.
ThenB
e
l
∑
i
=
1
s
A
i
o
(
X
) is the optimistic belief function and P
l
∑
i
=
1
s
A
i
o
(
X
) is the optimistic plausibility function of U;
B
e
l
∑
i
=
1
s
A
i
P
(
X
) is the pessimistic belief function and P
l
∑
i
=
1
s
A
i
P
(
X
) is the pessimistic plausibility function of U.Proof.
We only proveBe
l
∑
i
=
1
s
A
i
o
(
X
) is the optimistic belief function of U; then analogously we can prove P
l
∑
i
=
1
s
A
i
o
(
X
) is the optimistic plausibility function of U. Consider(1)
Be
l
∑
i
=
1
s
A
i
o
(
∅
)
=
|
O
M
∑
i
=
1
s
A
i
_
(
∅
)
|
/
|
U
|
=
0
/
|
U
|
=
0,
(2)
Be
l
∑
i
=
1
s
A
i
o
(
U
)
=
|
O
M
∑
i
=
1
s
A
i
_
(
U
)
|
/
|
U
|
=
|
U
|
/
|
U
|
=
1,
(3)
for any positive integern and every collection X
1
,
X
2
,
…
,
X
n
⊆
U, we have
(14)
Bel
∑
i
=
1
s
A
i
o
(
X
1
∪
X
2
∪
⋯
∪
X
n
)
=
|
O
M
∑
i
=
1
s
A
i
_
(
X
1
∪
X
2
∪
⋯
∪
X
n
)
|
|
U
|
≥
|
O
M
∑
i
=
1
s
A
i
_
(
X
1
)
∪
O
M
∑
i
=
1
s
A
i
_
(
X
2
)
∪
⋯
∪
O
M
∑
i
=
1
s
A
i
_
(
X
n
)
|
|
U
|
=
∑
j
=
1
n
‍
|
O
M
∑
i
=
1
s
A
i
_
(
X
j
)
|
|
U
|
-
∑
k
<
j
‍
|
O
M
∑
i
=
1
s
A
i
_
(
X
k
)
∩
O
M
∑
i
=
1
s
A
i
_
(
X
j
)
|
|
U
|
+
⋯
+
(
-
1
)
n
+
1
×

|
O
M
∑
i
=
1
s
A
i
_

(
X
1
)
∩
O
M
∑
i
=
1
s
A
i
_

(
X
2
)
∩
⋯
∩
O
M
∑
i
=
1
s
A
i
_

(
X
n
)
|
|
U
|
≥
∑
j
=
1
n
‍
|
O
M
∑
i
=
1
s
A
i
_
(
X
j
)
|
|
U
|
-
∑
k
<
j
‍
|
O
M
∑
i
=
1
s
A
i
_
(
X
k
∩
X
j
)
|
|
U
|
+
⋯
+
(
-
1
)
n
+
1
|
O
M
∑
i
=
1
s
A
i
_
(
X
1
∩
X
2
⋯
∩
X
n
)
|
|
U
|
=
∑
j
=
1
n
‍
Be
l
∑
i
=
1
s
A
i
o
(
X
j
)
-
∑
k
<
j
‍
Be
l
∑
i
=
1
s
A
i
o
(
X
k
∩
X
j
)
+
⋯
+
(
-
1
)
n
+
1
Be
l
∑
i
=
1
s
A
i
o
(
X
1
∩
X
2
∩
⋯
∩
X
n
)
.
Similarly we can prove thatBe
l
∑
i
=
1
s
A
i
P
(
X
) is the pessimistic belief function and P
l
∑
i
=
1
s
A
i
P
(
X
) is the pessimistic plausibility function of U.
Thus, the theorem is proved.From the theorem above, one can get the following properties of the belief function and plausibility function in the optimistic and pessimistic multigranulations rough set.Theorem 6.
Belief function and plausibility function based on the same belief structure are connected by the dual property in the optimistic multigranulations rough set and the pessimistic multigranulations rough set, respectively,(1)
B
e
l
∑
i
=
1
s
A
i
o
(
X
)
=
1
-
P
l
∑
i
=
1
s
A
i
o
(
~
X
),
(2)
B
e
l
∑
i
=
1
s
A
i
P
(
X
)
=
1
-
P
l
∑
i
=
1
s
A
i
P
(
~
X
).Proof.
(1) It is clear thatO
M
∑
i
=
1
s
A
i
_
(
X
)
=
~
O
M
∑
i
=
1
s
A
i
¯
(
~
X
), so |
O
M
∑
i
=
1
s
A
i
_
(
X
)
|
=
|
U
|
-
|
O
M
∑
i
=
1
s
A
i
¯
(
~
X
)
|.
Then(15)
|
O
M
∑
i
=
1
s
A
i
_
(
X
)
|
|
U
|
=
|
U
|
-
|
O
M
∑
i
=
1
s
A
i
¯
(
~
X
)
|
|
U
|
=
1
-
|
O
M
∑
i
=
1
s
A
i
¯
(
~
X
)
|
|
U
|
.
That is to say
(16)
Be
l
∑
i
=
1
s
A
i
o
(
X
)
=
1
-
P
l
∑
i
=
1
s
A
i
o
(
~
X
)
.
(2) One can proveBe
l
∑
i
=
1
s
A
i
P
(
X
)
=
1
-
P
l
∑
i
=
1
s
A
i
P
(
~
X
) to be similar.Corollary 7.
LetS
=
(
U
,
A
T
,
f
) be an information system, for any X
⊆
U, A
1
,
A
2
,
…
,
A
s
⊆
A
T (s
≤
2
|
A
T
|); then(1)
B
e
l
A
i
o
(
X
)
≤
B
e
l
∑
1
≤
j
≤
s
i
≠
j
A
i
o
(
X
)
≤
B
e
l
∑
i
=
1
s
A
i
o
(
X
)
≤
|
X
|
/
|
U
|
≤
P
l
∑
i
=
1
s
A
i
o
(
X
)
≤
P
l
∑
1
≤
j
≤
s
i
≠
j
A
i
o
(
X
)
≤
P
l
A
i
o
(
X
),
(2)
B
e
l
∑
i
=
1
s
A
i
P
(
X
)
≤
B
e
l
∑
1
≤
j
≤
s
i
≠
j
A
i
P
(
X
)
≤
B
e
l
A
i
P
(
X
)
≤
|
X
|
/
|
U
|
≤
P
l
A
i
P
(
X
)
≤
P
l
∑
1
≤
j
≤
s
i
≠
j
A
i
P
(
X
)
≤
P
l
∑
i
=
1
s
A
i
P
(
X
).Proof.
It can be obtained directly by combining the properties of the optimistic multigranulations rough set, pessimistic multigranulations rough set, and Theorem5.The difference between (1) and (2) in Corollary7 is mainly because of the difference between the definition of the optimistic and pessimistic multigranulations rough set lower and upper approximations.Example 8.
Table1 depicts a target information system containing some information about an emporium investment project.Locus,Investment, andPopulation density are the conditional attributes of the system, and D
e
c
i
s
i
o
n is the decision attribute. (In the sequel, L, I, P, and D will stand for L
o
c
u
s,Investment,Population density, andDecision, resp.) The attribute domains are as follows: V
L
=
{
Good
,
Common
,
Bad
}, V
I
=
{
High
,
Low
}, V
P
=
{
Big
,
Small
,
Medium
}, and V
D
=
{
Yes
,
No
}.
LetX
=
{
x
1
,
x
2
,
x
6
,
x
8
}; we have gotten
(17)
OM
L
_
(
X
)
=
R
L
_
(
X
)
=
{
x
8
}
,
PM
L
_
(
X
)
=
R
L
_
(
X
)
=
{
x
8
}
,
OM
L
¯
(
X
)
=
R
L
¯
(
X
)
=
{
x
1
,
x
2
,
…
,
x
8
}
,
PM
L
¯
(
X
)
=
R
L
¯
(
X
)
=
{
x
1
,
x
2
,
…
,
x
8
}
,
OM
L
+
P
_
(
X
)
=
{
x
1
,
x
2
,
x
8
}
,
PM
L
+
P
_
(
X
)
=
∅
,
OM
L
+
P
¯
(
X
)
=
{
x
1
,
x
2
,
x
6
,
x
7
,
x
8
}
,
PM
L
+
P
¯
(
X
)
=
{
x
1
,
x
2
,
…
,
x
8
}
,
OM
L
+
I
+
P
_
(
X
)
=
{
x
1
,
x
2
,
x
8
}
,
PM
L
+
I
+
P
_
(
X
)
=
∅
,
OM
L
+
I
+
P
¯
(
X
)
=
{
x
1
,
x
2
,
x
6
,
x
7
,
x
8
}
,
PM
L
+
I
+
P
¯
(
X
)
=
{
x
1
,
x
2
,
…
,
x
8
}
.
So, we can calculate(18)
Be
l
L
o
(
X
)
=
|
O
M
L
_
(
X
)
|
|
U
|
=
1
8
,
Bel
L
P
(
X
)
=
|
P
M
L
_
(
X
)
|
|
U
|
=
1
8
,
P
l
L
o
(
X
)
=
|
O
M
L
¯
(
X
)
|
|
U
|
=
1
,
P
l
L
P
(
X
)
=
|
P
M
L
¯
(
X
)
|
|
U
|
=
1
,
Be
l
L
+
P
o
(
X
)
=
|
O
M
L
+
P
_
(
X
)
|
|
U
|
=
3
8
,
Be
l
L
+
P
P
(
X
)
=
|
P
M
L
+
P
_
(
X
)
|
|
U
|
=
0
,
P
l
L
+
P
o
(
X
)
=
|
O
M
L
+
P
¯
(
X
)
|
|
U
|
=
5
8
,
P
l
L
+
P
P
(
X
)
=
|
P
M
L
+
P
¯
(
X
)
|
|
U
|
=
1
,
Be
l
L
+
I
+
P
o
(
X
)
=
|
O
M
L
+
I
+
P
_
(
X
)
|
|
U
|
=
3
8
,
Be
l
L
+
I
+
P
P
(
X
)
=
|
P
M
L
+
I
+
P
_
(
X
)
|
|
U
|
=
0
,
Pl
L
+
I
+
P
o
(
X
)
=
|
O
M
L
+
I
+
P
¯
(
X
)
|
|
U
|
=
5
8
,
P
l
L
+
I
+
P
P
(
X
)
=
|
P
M
L
+
I
+
P
¯
(
X
)
|
|
U
|
=
1
.
Hence, the following is obvious:(19)
Be
l
L
o
(
X
)
≤
Be
l
L
+
P
o
(
X
)
≤
Be
l
L
+
I
+
P
o
(
X
)
≤
|
X
|
|
U
|
≤
P
l
L
+
I
+
P
o
(
X
)
≤
P
l
L
+
P
o
(
X
)
≤
P
l
L
o
(
X
)
,
Be
l
L
+
I
+
P
P
(
X
)
≤
Be
l
L
+
P
P
(
X
)
≤
Be
l
L
P
(
X
)
≤
|
X
|
|
U
|
≤
P
l
L
P
(
X
)
≤
P
l
L
+
P
P
(
X
)
≤
P
l
L
+
I
+
P
P
(
X
)
.Table 1
A target information system about emporium investment project.
Project
Locus
Investment
Population density
Decision
x
1
Common
High
Big
Yes
x
2
Bad
High
Big
Yes
x
3
Bad
Low
Small
No
x
4
Bad
Low
Small
No
x
5
Bad
Low
Small
No
x
6
Bad
High
Medium
Yes
x
7
Common
High
Medium
No
x
8
Good
High
Medium
Yes


## 4. Attribute Reduction Based on Evidence Theory

In this section, we consider the optimistic multiple granulation rough set and the pessimistic multigranulations rough set method of the attribute reductions by introducing the concepts of belief and plausibility reductions in information system and compare them with the existing reductions.LetS
=
(
U
,
AT
,
f
,
D
,
g
) be a decision information system, A
⊆
AT, and let R
A and R
D be the equivalence relations of U, which are induced by the conditional attribute set A and the decision attribute set D
=
{
d
}, respectively; we denote
(20)
U
R
A
=
{
[
x
i
]
A
∣
x
i
∈
U
}
,
U
R
D
=
{
D
1
,
D
2
,
…
,
D
r
}
,
η
¯
A
o
=
(
O
M
∑
A
i
∈
A
A
i
¯
(
D
1
)
,
O
M
∑
A
i
∈
A
A
i
¯
(
D
2
)
,
m
m
m
m
…
,
O
M
∑
A
i
∈
A
A
i
¯
(
D
r
)
)
,
η
_
A
o
=
(
O
M
∑
A
i
∈
A
A
i
_
(
D
1
)
,
O
M
∑
A
i
∈
A
A
i
_
(
D
2
)
,
m
m
m
m
…
,
O
M
∑
A
i
∈
A
A
i
_
(
D
r
)
)
,
η
¯
A
P
=
(
P
M
∑
A
i
∈
A
A
i
¯
(
D
1
)
,
P
M
∑
A
i
∈
A
A
i
¯
(
D
2
)
,
m
m
m
m
…
,
P
M
∑
A
i
∈
A
A
i
¯
(
D
r
)
)
,
η
_
A
P
=
(
P
M
∑
A
i
∈
A
A
i
_
(
D
1
)
,
P
M
∑
A
i
∈
A
A
i
_
(
D
2
)
,
m
m
m
m
…
,
P
M
∑
A
i
∈
A
A
i
_
(
D
r
)
)
,
where [
x
i
]
A
=
{
y
∈
U
∣
(
x
i
,
y
)
∈
R
A
}.Definition 9 (see [58]).
LetS
=
(
U
,
AT
,
f
,
D
,
g
) be a decision information system in which A
⊆
AT.(1)
Ifη
¯
A
o
=
η
¯
AT
o, then A is referred to as an optimistic upper approximation consistent set of S with respect to the equivalence relation R
A; if A is an optimistic upper approximation consistent set of S and for any A
′
⊆
A, A
′ is not the optimistic upper approximation consistent set of S, then A is referred to as an optimistic upper approximation reduction of S with respect to the equivalence relation R
A.
(2)
Ifη
_
A
o
=
η
_
AT
o, then A is referred to as an optimistic lower approximation consistent set of S with respect to the equivalence relation R
A; if A is an optimistic lower approximation consistent set of S and for any A
′
⊆
A, A
′ is not the optimistic lower approximation consistent set of S, then A is referred to as an optimistic lower approximation reduction of S with respect to the equivalence relation R
A.
(3)
Ifη
¯
A
P
=
η
¯
AT
P, then A is referred to as a pessimistic upper approximation consistent set of S with respect to the equivalence relation R
A; if A is a pessimistic upper approximation consistent set of S and for any A
′
⊆
A, A
′ is not the pessimistic upper approximation consistent set of S, then A is referred to as a pessimistic upper approximation reduction of S with respect to the equivalence relation R
A.
(4)
Ifη
_
A
P
=
η
_
AT
P, then A is referred to as a pessimistic lower approximation consistent set of S with respect to the equivalence relation R
A; if A is a pessimistic lower approximation consistent set of S and for any A
′
⊆
A, A
′ is not the pessimistic lower approximation consistent set of S, then A is referred to as a pessimistic lower approximation reduction of S with respect to the equivalence relation R
A. From the definitions above, one can get the following theorem directly.Theorem 10.
LetS
=
(
U
,
A
T
,
f
,
D
,
g
) be a decision information system in which A
⊆
A
T; then(1)
A is an optimistic upper approximation consistent set of S if and only if, for any D
j
∈
U
/
R
D, O
M
∑
A
i
∈
A
A
i
¯
(
D
j
)
=
R
A
T
¯
(
D
j
) holds;
(2)
A is an optimistic lower approximation consistent set of S if and only if, for any D
j
∈
U
/
R
D, O
M
∑
A
i
∈
A
A
i
_
(
D
j
)
=
R
A
T
_
(
D
j
) holds;
(3)
A is a pessimistic upper approximation consistent set of S if and only if, for any D
j
∈
U
/
R
D, P
M
∑
A
i
∈
A
A
i
¯
(
D
j
)
=
R
A
T
¯
(
D
j
) holds;
(4)
A is a pessimistic lower approximation consistent set of S if and only if, for any D
j
∈
U
/
R
D, P
M
∑
A
i
∈
A
A
i
_
(
D
j
)
=
R
A
T
_
(
D
j
) holds.Proof.
It can be derived easily from the definition of the optimistic upper and lower approximation reduction and the pessimistic upper and lower approximation reduction.Definition 11.
LetS
=
(
U
,
AT
,
f
,
D
,
g
) be a decision information system in which A
⊆
AT.(1)
If for anyX
∈
U
/
R
AT, Be
l
∑
A
i
∈
A
A
i
o
(
X
)
=
Be
l
AT
o
(
X
), then A is referred to as an optimistic belief consistent set of S; if A is an optimistic belief consistent set of S and for any A
′
⊆
A, A
′ is not the optimistic belief consistent set of S, then A is referred to as an optimistic belief reduction of S.
(2)
If for anyX
∈
U
/
R
AT, P
l
∑
A
i
∈
A
A
i
o
(
X
)
=
P
l
AT
o
(
X
), then A is referred to as an optimistic plausibility consistent set of S; if A is an optimistic plausibility consistent set of S and for any A
′
⊆
A, A
′ is not the optimistic plausibility consistent set of S, then A is referred to as an optimistic plausibility reduction of S.
(3)
If for anyX
∈
U
/
R
AT, Be
l
∑
A
i
∈
A
A
i
P
(
X
)
=
Be
l
AT
P
(
X
), then A is referred to as a pessimistic belief consistent set of S; if A is a pessimistic belief consistent set of S and for any A
′
⊆
A, A
′ is not the pessimistic belief consistent set of S, then A is referred to as a pessimistic belief reduction of S.
(4)
If for anyX
∈
U
/
R
AT, P
l
∑
A
i
∈
A
A
i
P
(
X
)
=
P
l
AT
P
(
X
), then A is referred to as a pessimistic plausibility consistent set of S; if A is a pessimistic plausibility consistent set of S and for any A
′
⊆
A, A
′ is not the pessimistic plausibility consistent set of S, then A is referred to as a pessimistic plausibility reduction of S.Theorem 12.
LetS
=
(
U
,
A
T
,
f
,
D
,
g
) be a decision information system in which A
⊆
A
T; then(1)
A is an optimistic belief consistent set of S if and only if A is an optimistic lower approximation consistent set of S;
(2)
A is an optimistic plausibility consistent set of S if and only if A is an optimistic upper approximation consistent set of S;
(3)
A is a pessimistic belief consistent set of S if and only if A is a pessimistic lower approximation consistent set of S;
(4)
A is a pessimistic plausibility consistent set of S if and only if A is a pessimistic upper approximation consistent set of S.Proof.
(1) Assume thatA is an optimistic belief consistent set of S; for any X
∈
U
/
R
AT, we have Be
l
∑
A
i
∈
A
A
i
o
(
X
)
=
Be
l
AT
o
(
X
). That is to say, |
O
M
∑
A
i
∈
A
A
i
_
(
X
)
|
=
|
R
AT
_
(
X
)
|. Then by the definition of the optimistic lower approximation we have [
x
]
AT
⊆
[
x
]
A
i; then O
M
∑
A
i
∈
A
A
i
_
(
X
)
⊆
R
AT
_
(
X
). So O
M
∑
A
i
∈
A
A
i
_
(
X
)
=
R
AT
_
(
X
). By Theorem 10, we obtain A is an optimistic lower approximation consistent set of S.
Conversely, ifA is an optimistic lower approximation consistent set of S, for any D
j
∈
U
/
R
D, we have O
M
∑
A
i
∈
A
A
i
_
(
D
j
)
=
R
AT
_
(
D
j
). Then |
O
M
∑
A
i
∈
A
A
i
_
(
D
j
)
|
/
|
U
|
=
|
R
AT
_
(
D
j
)
|
/
|
U
|. That is to say, Be
l
∑
A
i
∈
A
A
i
o
(
D
j
)
=
Be
l
AT
o
(
D
j
). Thus A is an optimistic belief consistent set of S.
(2) Assume thatA is an optimistic plausibility consistent set of S; for any X
∈
U
/
R
AT, we have P
l
∑
A
i
∈
A
A
i
o
(
X
)
=
P
l
AT
o
(
X
). That is to say, |
O
M
∑
A
i
∈
A
A
i
¯
(
X
)
|
=
|
R
AT
¯
(
X
)
|. By the definition of the optimistic upper approximation we have, [
x
]
AT
⊆
[
x
]
A
i. Then O
M
∑
A
i
∈
A
A
i
¯
(
X
)
⊇
R
AT
¯
(
X
). So O
M
∑
A
i
∈
A
A
i
¯
(
X
)
=
R
AT
¯
(
X
). By Theorem 10, we obtain A is an optimistic upper approximation consistent set of S.
Conversely, ifA is an optimistic upper approximation consistent set of S, for any D
j
∈
U
/
R
D, we have O
M
∑
A
i
∈
A
A
i
¯
(
D
j
)
=
R
AT
¯
(
D
j
). Then |
O
M
∑
A
i
∈
A
A
i
¯
(
D
j
)
|
/
|
U
|
=
|
R
AT
¯
(
D
j
)
|
/
|
U
|. That is to say, P
l
∑
A
i
∈
A
A
i
o
(
D
j
)
=
P
l
AT
o
(
D
j
). Thus A is an optimistic plausibility consistent set of S.
(3) It is straightforward by (1).
(4) It is straightforward by (2).
Hence, the proof is completed.Corollary 13.
LetS
=
(
U
,
A
T
,
f
,
D
,
g
) be a decision information system in which A
⊆
A
T; then(1)
A is an optimistic belief reduction of S if and only if A is an optimistic lower approximation reduction of S;
(2)
A is an optimistic plausibility reduction of S if and only if A is an optimistic upper approximation reduction of S;
(3)
A is a pessimistic belief reduction of S if and only if A is a pessimistic lower approximation reduction of S;
(4)
A is a pessimistic plausibility reduction of S if and only if A is a pessimistic upper approximation reduction of S.
We have shown that the belief and plausibility reduction are the same with lower and upper approximation reduction. One may deal with some issue in which the lower and upper approximation reduction cannot be explained, while the belief and plausibility reduction can be well explained. Just like this, indefinite integral and definite integral are two basic problems in the integral calculus. Indefinite integral is the inverse operation of differentiation, while definite integral is the limit of a particular type of the sum. There are both difference and connection between them. The definite integral and the indefinite integral can be connected in theory using Newton-leibniz formula, while some functions still can be integrated, though they have no antiderivative on closed interval. Under this circumstance, indefinite integral cannot be evaluated by Newton-leibniz formula. Next we use an example to illustrate this problem.Example 14.
Table2 depicts a system containing some information about an emporium investment project. All projects are U
=
{
x
1
,
x
2
,
…
,
x
8
}, andDecision is the decision attribute. (In the sequel, D will stand forDecision.)
In this example, there are no conditional attributes. So we cannot use the lower and upper approximations to deal with this system. Based on evidence theory, each object can be given corresponding confidence degree according to the existing information. And this confidence degree after normalization can be used as a new mass function. Then we can apply the evidence theory to dispose this system. Until now, we have not found a good method to evaluate the confidence degree. This will be an important issue of our research in the future.Table 2
A system about emporium investment project.
Project
Decision
x
1
Yes
x
2
Yes
x
3
No
x
4
No
x
5
No
x
6
Yes
x
7
No
x
8
Yes


## 5. Conclusions

It is well known that rough set theory has been regarded as a generalization of the classical set theory in some cases. In this paper, we have combined the rough set theory and evidence theory, in order to study the problem of attribute reductions. By introducing mass function based on the multigranulations rough set, we have considered the notions of the multigranulations rough set method of belief and plausibility reductions. What is more, we have found that a set is an optimistic (pessimistic) belief reduction if and only if it is an optimistic (pessimistic) lower approximation reduction, and a set is an optimistic (pessimistic) plausibility reduction if and only if it is an optimistic (pessimistic) upper approximation reduction by optimistic and pessimistic frames, respectively. And we will investigate the specific application of theories obtained in our further study.



---

*Source: 857186-2014-07-01.xml*