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.

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 [1416]. 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 [1719], 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 [3033] 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 [4548].

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 [4951]. By now much study on this area had been reported and many useful results were obtained [50, 5255]. 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 Section 2, 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 triple , where is a nonempty finite set of objects, is a nonempty finite set of conditional attributes, and for any , is a map, where is the domain of the attribute . In particular, a target information system is given by , where is a nonempty finite set of decision attributes, and for any , is a map, where is the domain of the attribute . In general, a target information system is consistent, if the partitions induced from the set of condition attributes are finer than the partitions induced from the set of decision attributes . Otherwise, it is inconsistent.

For an information system, any attribute domain may contain special symbol “” to represent that the value of an attribute is unknown. Here, we assume that an object possesses only one value for an attribute , . Thus, if the value of an attribute is missing, then the attribute value is the symbol “”, and the real value of the attribute must be from the set . Any domain value different from “” will be called regular. A system in which values of all attributes for all objects from 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 that is an information system, ; let be a partition of induced by the attribute subset . For any , ; more information can be found in [5860].

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 that is an information system, () are attribute subsets, and . Then the optimistic multigranulations lower approximation and upper approximation of related to in are defined as follows:

And the pessimistic multigranulations lower approximation and upper approximation of related to in are defined as follows:

More detailed introductions can be seen in [58, 59, 61, 62].

In evidence theory [40, 41], a mass function of a universe can be defined by a map , and this mass function satisfies two axioms:

The value represents the degree of belief that a specific element of belongs to set but not to any particular subset of .

If , then is called a focal element. The family of all focal elements of are denoted by . Then the pair 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 be a belief structure. A set function is referred to as a belief function on , if for any ,
A set function is referred to as a plausibility function on , if for any ,

Remark 2. The above definition about belief and plausibility functions can also be defined as follows.
A set function is referred to as a belief function on , if it satisfies the following three axioms [48]:(1), (2), (3) for any positive integer and every collection ,
A set function is referred to as a plausibility function on , if it satisfies the following three axioms [48]:(1), (2), (3)for any positive integer and every collection ,
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. Let be an information system, (), and let be the equivalence relation associated with . For any , a mass function of can be defined as , where denotes the cardinality of a set .
By the above definition, we can easily find that a mass function of information system satisfies two basic axioms. That is to say, for any in information system, the following two axioms hold directly:
Similarly, the family of all focal elements of is denoted by in optimistic multigranulations rough set. The pair 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. Let be an information system and a belief structure.(1)A set function is referred to as an optimistic belief function on , if for any ,
A set function is referred to as an optimistic plausibility function on , if for any , (2)A set function is referred to as a pessimistic belief function on , if for any ,
A set function is referred to as a pessimistic plausibility function on , if for any ,

Theorem 5. Let be an information system, for any ,   (), denoted by
Then is the optimistic belief function and is the optimistic plausibility function of ; is the pessimistic belief function and is the pessimistic plausibility function of .

Proof. We only prove is the optimistic belief function of ; then analogously we can prove is the optimistic plausibility function of . Consider(1), (2), (3)for any positive integer and every collection , we have
Similarly we can prove that is the pessimistic belief function and is the pessimistic plausibility function of .
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), (2).

Proof. (1) It is clear that , so .
Then That is to say
(2) One can prove to be similar.

Corollary 7. Let be an information system, for any , (); then(1) , (2).

Proof. It can be obtained directly by combining the properties of the optimistic multigranulations rough set, pessimistic multigranulations rough set, and Theorem 5.

The difference between (1) and (2) in Corollary 7 is mainly because of the difference between the definition of the optimistic and pessimistic multigranulations rough set lower and upper approximations.

Example 8. Table 1 depicts a target information system containing some information about an emporium investment project. Locus, Investment, and Population density are the conditional attributes of the system, and is the decision attribute. (In the sequel, , , , and will stand for , Investment, Population density, and Decision, resp.) The attribute domains are as follows: , , , and .
Let ; we have gotten
So, we can calculate
Hence, the following is obvious:

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.

Let be a decision information system, , and let and be the equivalence relations of , which are induced by the conditional attribute set and the decision attribute set , respectively; we denote where .

Definition 9 (see [58]). Let be a decision information system in which .(1)If , then is referred to as an optimistic upper approximation consistent set of with respect to the equivalence relation ; if is an optimistic upper approximation consistent set of and for any , is not the optimistic upper approximation consistent set of , then is referred to as an optimistic upper approximation reduction of with respect to the equivalence relation .(2)If , then is referred to as an optimistic lower approximation consistent set of with respect to the equivalence relation ; if is an optimistic lower approximation consistent set of and for any , is not the optimistic lower approximation consistent set of , then is referred to as an optimistic lower approximation reduction of with respect to the equivalence relation .(3)If , then is referred to as a pessimistic upper approximation consistent set of with respect to the equivalence relation ; if is a pessimistic upper approximation consistent set of and for any , is not the pessimistic upper approximation consistent set of , then is referred to as a pessimistic upper approximation reduction of with respect to the equivalence relation .(4)If , then is referred to as a pessimistic lower approximation consistent set of with respect to the equivalence relation ; if is a pessimistic lower approximation consistent set of and for any , is not the pessimistic lower approximation consistent set of , then is referred to as a pessimistic lower approximation reduction of with respect to the equivalence relation . From the definitions above, one can get the following theorem directly.

Theorem 10. Let be a decision information system in which ; then(1) is an optimistic upper approximation consistent set of if and only if, for any , holds;(2) is an optimistic lower approximation consistent set of if and only if, for any , holds;(3) is a pessimistic upper approximation consistent set of if and only if, for any , holds;(4) is a pessimistic lower approximation consistent set of if and only if, for any , 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. Let be a decision information system in which .(1)If for any , , then is referred to as an optimistic belief consistent set of ; if is an optimistic belief consistent set of and for any , is not the optimistic belief consistent set of , then is referred to as an optimistic belief reduction of .(2)If for any , , then is referred to as an optimistic plausibility consistent set of ; if is an optimistic plausibility consistent set of and for any , is not the optimistic plausibility consistent set of , then is referred to as an optimistic plausibility reduction of .(3)If for any , , then is referred to as a pessimistic belief consistent set of ; if is a pessimistic belief consistent set of and for any , is not the pessimistic belief consistent set of , then is referred to as a pessimistic belief reduction of .(4)If for any , , then is referred to as a pessimistic plausibility consistent set of ; if is a pessimistic plausibility consistent set of and for any , is not the pessimistic plausibility consistent set of , then is referred to as a pessimistic plausibility reduction of .

Theorem 12. Let be a decision information system in which ; then(1) is an optimistic belief consistent set of if and only if is an optimistic lower approximation consistent set of ;(2) is an optimistic plausibility consistent set of if and only if is an optimistic upper approximation consistent set of ;(3) is a pessimistic belief consistent set of if and only if is a pessimistic lower approximation consistent set of ;(4) is a pessimistic plausibility consistent set of if and only if is a pessimistic upper approximation consistent set of .

Proof. (1) Assume that is an optimistic belief consistent set of ; for any , we have . That is to say, . Then by the definition of the optimistic lower approximation we have ; then . So . By Theorem 10, we obtain is an optimistic lower approximation consistent set of .
Conversely, if is an optimistic lower approximation consistent set of , for any , we have . Then . That is to say, . Thus is an optimistic belief consistent set of .
(2) Assume that is an optimistic plausibility consistent set of ; for any , we have . That is to say, . By the definition of the optimistic upper approximation we have, . Then . So . By Theorem 10, we obtain is an optimistic upper approximation consistent set of .
Conversely, if is an optimistic upper approximation consistent set of , for any , we have . Then . That is to say, . Thus is an optimistic plausibility consistent set of .
(3) It is straightforward by (1).
(4) It is straightforward by (2).
Hence, the proof is completed.

Corollary 13. Let be a decision information system in which ; then(1) is an optimistic belief reduction of if and only if is an optimistic lower approximation reduction of ;(2) is an optimistic plausibility reduction of if and only if is an optimistic upper approximation reduction of ;(3) is a pessimistic belief reduction of if and only if is a pessimistic lower approximation reduction of ;(4) is a pessimistic plausibility reduction of if and only if is a pessimistic upper approximation reduction of .
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. Table 2 depicts a system containing some information about an emporium investment project. All projects are , and Decision is the decision attribute. (In the sequel, will stand for Decision.)
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.

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.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.