Abstract: Recently, much attention has been paid on Multi-granulation Rough Set (MGRS) and MGRS has been a promising topic in rough set theory. This study firstly proposes two kinds of covering multi-granulation rough set, namely, optimistic covering multi-granulation rough set and pessimistic covering multi-granulation rough set, on the basis of the maximal descriptors of elements in a given covering approximation space. And then, a number of basic properties of the two kinds of rough sets are discussed. Finally, the relationships among the models are disclosed.
INTRODUCTION
Since the introduction of multi-granulation rough set, much attention has been paid on it. For example, Qian et al. (2010a) presented a multi-granulation rough set model based on multiple tolerance relations in incomplete information systems. Based on the results of the literature Qian et al. (2010b) and Yang et al. (2011a) further discussed the properties of multi-granulation rough sets in incomplete information systems. Moreover, Yang et al. (2011b) and Xu et al. (2011) constructed multi-granulation rough sets based on the fuzzy approximation space. Yang et al. (2012) discussed the hierarchical structures of multi-granulation rough sets and She and He (2012) investigated the topological and lattice-theoretic properties of multi-granulation rough sets. Liu and Miao (2011) and Liu and Wang (2011) introduced the concepts of multi-granulation covering rough sets and multi-granulation covering fuzzy rough sets in a covering approximation space. Lin et al. (2011, 2012) discussed two kinds of neighbor-hood-based multi-granulation rough sets. Xu et al. (2012) constructed multi-granulation rough sets in ordered information systems. In the literature Zhou (2012) proposed a kind of covering multi-granulation rough set based on the minimal descriptions of elements. As Yao and Yao (2012) have pointed out that the utilization of the maximal descriptors of objects is equally reasonable as the utilization of the minimal ones in a covering approximation space. Therefore, in the study, two types of CMGRS models are proposed by virtue of the maximal descriptors of objects on U. And they are named as optimistic multi-granulation covering rough sets and pessimistic multi-granulation covering rough sets, respectively.
PRELIMINARIES
This section will review some basic notions and notations which are needed in the following of the work.
Let U be a nonempty and finite set and R an equivalence relation on U. R partitions U into disjoint subsets, each subset is called equivalence class or equivalence granule. For each X⊆U, one may describe X by a pair of lower and upper approximations defined as follows:
(1) |
(2) |
where,
Let U be a universe of discourse and C a family of nonempty subsets of U. If ∪C = U, C is called a covering of U. There is no doubt that a partition of U is certainly a covering of U.
Definition 1: (Liu and Miao, 2011; Yao and Yao, 2012) The pair (U, C) is called a covering approximation space, where U is a universe of discourse and C a covering of U. For any xεU, the sets md (x) and MD (x) are, respectively called the minimal description of x and the maximal description of x where:
Qian et al. (2010a) first proposed the rough set model based on multi-granulation called MGRS in the literature.
Definition 2: (Qian et al., 2010a) Let
K = (U,
(3) |
(4) |
where, ∼X is the complement of X in U.
Definition 3: (Zhou, 2012) Let U be a universe of discourse, C1, C2,...,C3 are coverings of U. For any X⊆U, its lower and upper approximations can be defined by the following:
(5) |
(6) |
When k = 2:
is denoted as:
and:
as:
OPTIMISTIC AND PESSIMISTIC COVERING MULTI-GRANULATION ROUGH SETS AND PROPERTIES
This section first introduces the concepts of optimistic and pessimistic covering multi-granulation rough sets. And then some basic properties of the two models are discussed. Finally, the relationships among the models are disclosed. In the following, for the simplicity only the case of two coverings is taken into consideration.
Definition 4: Let (U,
(7) |
(8) |
If:
then X is said to be definable in the approximation space. Otherwise X is called optimistic Covering Multi-granulation Rough Sets (OCMGRS) with respect to C1, C2. The pair:
is called a OCMGRS of X.
Definition 5: Let (U,
(9) |
(10) |
If:
then X is said to be definable in the approximation pace. Otherwise, X is called Pessimistic Covering Multi-granulation Rough Sets (PCMGRS) with respect to C1, C2. The pair:
is called a PCMGRS of X.
Next, an example is employed to show the differences of the two models defined above.
Example 1: Let <U,
From example 1, one can find that for a given subset, the two types of approximations are different with each other, that is, the above two types of CMGRS are different.
In the following, if there is no extra explanation, T stands for O or P.
Proposition 1: Let (U,
• | |
• | |
• | |
• | |
• |
Theorem 1: Let (U,
holds but:
may not be satisfied.
Example 2 (Continued from example 1): One can calculate that ∼X = {a}, then the following results could be obtained:
Therefore, one can conclude that:
Proposition 2: Let (U,
• | |
• | |
• | |
• | |
• | |
• |
Example 3 (Continued from example 1): Suppose Y = (b, d), we have that X∩Y = {b, d} = Y, X∪Y = {b, c, d} = X and Y⊂X. And the following results could be calculated or inferred:
• | |
• | |
• | |
• | Obviously, Y = {b, d}⊂X = {b, c, d} we have the following results: |
Theorem 2: Let (u,
• | |
• |
Example 4 (continued from example 1): From Example 1, we have that:
So:
Theorem 3: Let (U,
• | |
• | |
• | |
• |
From Theorem 3, we can see that for any X⊆U, the approximations of X of pessimistic multi-granulation rough sets is a subset of the approximations of X of Zhous in Definition 3. While for optimistic multi-granulation rough sets, one may get the inverse conclusions.
Example 5 (continued from example 1): According to Definition 3, we have that:
Thus:
CONCLUSION
This study has proposed two kinds of covering multi-granulation rough set by employing the maximal descriptors of elements in the universes of discourse. Some basic properties of the models have been discussed and the relationships among the models have been explored.
ACKNOWLEDGEMENT
This study was supported by the China National Natural Science Foundation of Youth Science Foundation under Grant No. 61305052 and the Natural Science Foundation of Gannan Normal University under Grant No. 10kyz03.