Abstract

Set-valued information system is an important formal framework for the development of decision support systems. We focus on the decision rules acquisition for the inconsistent disjunctive set-valued ordered decision information system in this paper. In order to derive optimal decision rules for an inconsistent disjunctive set-valued ordered decision information system, we define the concept of reduct of an object. By constructing the dominance discernibility function for an object, we compute reducts of the object via utilizing Boolean reasoning techniques, and then the corresponding optimal decision rules are induced. Finally, we discuss the certain reduct of the inconsistent disjunctive set-valued ordered decision information system, which can be used to simplify all certain decision rules as much as possible.

1. Introduction

Rough set theory, proposed by Pawlak [13], has been regarded as a useful tool to conceptualize and analyze various types of data. It is applied to many fields such as machine learning, knowledge discovery, and pattern recognition. With replacement of the equivalence relation by other relations such as the tolerance relation [49] and the dominance relation [1013], Pawlak rough set model has been extended to numerous generalized rough set models.

Pawlak rough set model is based on an assumption that every object in the universe of discourse is associated with some information, and objects characterized by the same information are indiscernible. It is successfully used in decision rules acquisition and attribute reduction for nominal information systems. However, Pawlak rough set model is not able to discover inconsistency for attributes in preference-ordered domains. Ordered information systems are firstly proposed and studied by Iwinski [14]. Yao and Sai [15, 16] transformed an ordered information table into a binary information table and then applied classical machine learning and data mining algorithms to derive ordering rules. Greco et al. [1012] proposed the dominance-based rough set approach (DRSA), which is mainly based on substitution of the indiscernibility relation by a dominance relation, to deal with such kind of inconsistency.

The DRSA proposed by Greco et al. [1012] mainly focuses on discussing sorting problem and extracting the dominance decision rules for a complete ordered decision information system (ODIS), in which all attribute values are exactly known. Many researchers have investigated various types of ODISs by the dominance-based rough set approach and its extended models [1729].

Set-valued information systems are generalized models of single-valued information systems. There are many ways to give a semantic interpretation of the set-valued information systems. Guan and Wang [5] summarized them in two types: disjunctive and conjunctive systems. For set-valued ordered information systems (OISs), Qian et al. [27] defined two dominance relations in a conjunctive set-valued ODIS and a disjunctive set-valued ODIS, respectively, and used them to define lower and upper approximations. From the lower and upper approximations, certain decision rules and possible decision rules can be derived from these two types of set-valued ODISs. Furthermore, Qian et al. [28] introduced four types of dominance relations and discussed criterion reductions of disjunctive set-valued ordered information systems. However, for the reduction of the system, their discussions are restricted on set-valued OISs and consistent set-valued ODISs. Nevertheless, inconsistent set-valued ODISs are common in practice, so, in this paper, we will investigate the reduction of the inconsistent set-valued ODISs based on the discussion of decision rules optimization. Our discussion mainly focuses on disjunctive set-valued ODISs, and this approach is also applicable to the conjunctive set-valued ODISs.

The rest of this paper is organized as follows. In Section 2, some notations and basic concepts for the ODIS and the DRSA are introduced. In Section 3, dominance-based rough set model in disjunctive set-valued ODISs is reviewed. In Section 4, the optimization problem of decision rules in inconsistent disjunctive set-valued ODIS is discussed. The concept of reduct of an object is proposed. By constructing the dominance discernibility function for an object, reducts of an object are computed via utilizing Boolean reasoning techniques, and then the corresponding optimal decision rules are induced. In Section 5, the certain reduct of the inconsistent disjunctive set-valued ODIS, which can be used to simplify all certain decision rules as much as possible, is also discussed. Finally, we conclude our work in Section 6.

2. The Dominance-Based Rough Set Approach

2.1. The Ordered Decision Information System (ODIS)

An information system is represented by a quadruple , where is a finite nonempty set of objects, called the universe of discourse; is a finite set of attributes; , where is the domain of attribute ; is an information function satisfying , , . We denote for simplicity. In general, if attributes in an information system are classified into condition attributes and decision attributes, then is called a decision information system (DIS) or called a decision table (DT). In this case, the set of condition attributes is denoted by , and the set of decision attributes is denoted by ; that is, with . Without loss of generality, we assume that and . The partition of determined by is usually denoted as , where , , is called a decision class.

Further, we denote for any . Then one can conclude that .

If the domain of a condition attribute is ordered according to a decreasing or increasing preference, then the attribute is called a criterion [1013]. Next we will introduce the concept of the ordered decision information system.

Definition 1 (see [10, 12]). For a DIS , if the condition attributes are criteria and the value of decision attribute represents an overall preference of objects, that is, for any and with , the objects in are more preferred than the objects in , then one calls the information system an ordered decision information system (ODIS) or ordered decision table (ODT).

In an ODIS, the domain of a criterion is completely preordered by an outranking relation , where implies that is at least as good as with respect to the criterion . We denote such and as or .

For , if and the domain of every attribute in is ordered according to a descending preference while the domain of the attribute in is ordered according to an ascending preference, then the dominance relation determined by can be defined as

From mathematical point of view, the ascending and descending order relations are dual, and so they can be handled similarly. Therefore, without loss of generality, we make an assumption for simplicity that values in the domain of every condition attribute are only descendingly ordered. With this assumption, we obtain

Since is equivalent to , is also denoted as or . From (2), we obtain that and for .

For , one can see that is transitive, and it is also reflexive under the assumption that , , and . Furthermore, for , we denote if , , and if such that . Then, and can imply . Therefore, is antisymmetric. Hence, is a partial ordered set [30] and so is .

2.2. The Dominance-Based Rough Set Model

In an ODIS, for , if , one says that dominates or is dominated by with respect to . Let us denoteThen is called a dominating set and a dominated set of with respect to .

Further, we denoteThen, both and are coverings of .

In the DRSA [10, 12, 17], and    are regarded as basic knowledge granules and they are used to define the lower and upper approximations as shown below.

Definition 2 (see [10, 12, 17]). In an ODIS , for and , letThen is called lower approximation and is called upper approximation of with respect to .

Analogously, one can define lower approximation and upper approximation , respectively, as

In the DRSA, the set to be approximated is an upward union or a downward union of decision classes; that is, or with , where implies that belongs to at least decision class and indicates that belongs to at most decision class . By the lower and upper approximations of and , Greco et al. [12] proposed five types of dominance decision rules. For example, from , one can get an “at least” decision rule with the form “if , then ”; from , one can get an “at most” decision rule with the form “if , then .”

3. Dominance-Based Rough Set Model in the Disjunctive Set-Valued ODIS

3.1. Disjunctive Set-Valued Ordered Decision Information Systems

A set-valued ordered decision table (ODT) is a set-valued decision information system , where is a nonempty finite set of objects; is a finite set of condition attributes; is a decision attribute with ; , where is the set of conditional attribute values and is the set of decisional attribute values; is a mapping from to such that is a set-valued mapping and is a single-valued mapping, where is the power set of .

Table 1 shows a set-valued ordered decision table.

For any and , is interpreted disjunctively. For example, if is the attribute “speaking a language” and , then can be interpreted as follows: speaks English, French, or German and can speak only one of them [5]. Incomplete information systems with some unknown attribute values or partial known attribute values [79] are such type of set-valued information system. With such consideration, we call a disjunctive set-valued ODIS.

Example 3. A disjunctive set-valued ODIS is presented in Table 1, where , , , and .

Qian et al. [28] gave four possible dominance relations in disjunctive set-valued ODISs as follows.

Definition 4 (see [28]). Let be a disjunctive set-valued ODIS, and . The following four possible dominance relations between objects are considered.(I)Up dominance relation:If , we say that is at least up-good as with respect to .(II)Down dominance relation:If , we say that is at least down-good as with respect to .(III)Up-down dominance relation:If , we say that is at least possible-good as with respect to .(IV)Down-up dominance relation:If , we say that is at least definite-good as with respect to .

Let be a disjunctive set-valued ODIS, and . If , then is called -consistent; otherwise it is called -inconsistent, where stands for , , , or , respectively. For example, Table 1 is a -inconsistent disjunctive set-valued ordered decision information system, because does not hold.

Furthermore, Qian et al. [28] also gave four definitions of dominating set and dominated set of the four possible dominance relations between objects in disjunctive set-valued ODIS, respectively.

Let and , where equals , , , or , respectively. Then, consists of objects that -dominate and consists of objects -dominated by .

Example 5. Compute the dominating sets induced by up dominance relation in Table 1. We have , where

3.2. Lower and Upper Approximations in the Disjunctive Set-Valued ODIS

The decision attribute makes a partition of into a finite number of classes. Let be a set of these classes which are ordered; that is, for any , if , then the objects in are preferred to the objects in .

The sets to be approximated are an upward union and a downward union of classes, which are denoted by () and (), respectively. The statement means that “ belongs to at least class ,” whereas means that “ belongs to at most class .”

Analogous to the idea of decision approximation [12, 25], Qian et al. [28] also gave the definitions of the lower and upper approximations of () with respect to the dominance relation ( stands for , , , or , resp.) in a disjunctive set-valued ODIS.

Definition 6 (see [28]). Let be a disjunctive set-valued ODIS, , and is the set of decision classes induced by ; the lower and upper approximations of () with respect to the dominance relation are defined asThe -boundaries of () can be defined as

Similarly, the lower and upper approximations and boundaries of () with respect to the corresponding dominance relation in a disjunctive set-valued ODIS can also be defined.

Without loss of generality, next we will focus on the up dominance relation in inconsistent disjunctive set-valued ODIS.

3.3. Decision Rules Derived from Inconsistent Disjunctive Set-Valued ODIS

It is noteworthy that, in the DRSA for inducing “at least” decision rules or “at most” decision rules, we need to compute the lower and upper approximations. Similarly, from the lower approximation of (or ), we can induce the “at least” (or “at most”) decision rules from inconsistent disjunctive set-valued ODISs. In detail, we can derive the certain “at least” decisions from the lower approximation of   and the possible “at least” decisions from the boundary of as shown below.

(1) For , from , we can obtain a certain -decision rule:if , then certainly holds.

It can also be equivalently stated asif , then certainly holds, orif and and and , then certainly holds, where , .

Particularly, from with , we can obtain a definite decision rule:if , then certainly holds.

(2) For , from , we can obtain a possible -decision rule:if , then possibly holds, or equivalentlyif , then possibly holds, or equivalentlyif and and and , then possibly holds.

Analogously, we can derive the certain “at most” decision rules from the lower approximation of and the possible “at most” decision rules from the boundary of in inconsistent disjunctive set-valued ODISs.

In order to conveniently discuss the optimization problem for the decision rules in inconsistent disjunctive set-valued ODIS, we will give another definition for the decision rules in the following.

Definition 7. In an inconsistent disjunctive set-valued ODIS , for and with , , letwhere is the conjunctive operator. We call the Boolean expression a condition attribute descriptor or simply -descriptor determined by . Then, the -decision rule generated by can be presented as in the following form: , where is the maximum element in .
For example, in the inconsistent disjunctive set-vlaued ODIS presented in Table 1, -descriptor determined by isAnd the decision rule generated by can be represented asWithout loss of generality, next we will focus on drawing the optimal “at least” decision rules in inconsistent disjunctive set-valued decision information system.

4. The Optimization of the Decision Rules in an Inconsistent Disjunctive Set-Valued ODIS

4.1. The Reducts of an Object and the Optimal Decision Rules

In a disjunctive set-valued ODIS , to optimize the decision rule generated by , one should simplify as much as possible its condition part by deleting some conjunctive terms and meanwhile keep its decision part unchanged.

After deleting some terms from , we could obtain a descriptor with . Generally speaking, holds for any . If satisfies , then may hold, and this may lead to ; that is, the decision value of at least one object may not satisfy . Therefore, to optimize the decision rule generated by , one should delete some conjunctive terms from as much as possible with the constraint condition that the set consisting of condition attributes in remainder should satisfy .

Based on the above discussions, we can see that the optimization of the decision rule generated by depends on seeking , , which satisfies . So, we give the following definition for reduct of an object.

Definition 8. Let and . If satisfies , then one calls a dominance consistent set of ; if is a minimal subset of satisfying , then one calls a reduct of . The set of all reducts of is denoted as .

Definition 9. Let . If is a dominance consistent set of , then one calls a simplified decision rule of . If is a reduct of , then one calls an optimal decision rule of .

It is obvious that, with all reducts of an object, one can induce all the optimal decision rules associated with this object. Next we will discuss how to compute the reducts of an object.

4.2. The Computation of the Reducts of an Object

For , let .

Obviously, is a set of condition attributes which discern from the dominating set of or equivalently discern from the dominated set of .

One can observe that or equivalently .

In order to compute the reducts of an object, we will construct the discernibility function for an object. For this purpose, we give the following Theorem.

Theorem 10. For and , one has for any with .

Proof. ” Assume that there exists such that , and it satisfies . Then, , . From the definition of , we have , ; that is, . So, by the assumption that , we can derive , which is contradictive to . This indicates that must be satisfied by any such that .
” Assume that does not hold, and then such that . From the condition assumption, we can derive that . Hence, there exists at least one attribute satisfying ; equivalently . This is contradictive to .
This completes the proof.

Based on Theorem 10, we can construct the dominance discernibility function defined below, which can help us to compute the reducts of an object.

Definition 11. For , letwhere is the conjunctive operator, is the disjunctive operator, and is the disjunction of all members of . One calls a dominance discernibility function of .

Based on Definition 11 and Theorem 10, we can obtain the following by the Boolean reasoning techniques [3, 17, 31].

Proposition 12. For and , one has that is a reduct of if and only if is a prime implicant of , where .

Proposition 12 gives a computational method for the reducts of an object using the dominance discernibility function. Next we will give an illustrative example.

Example 13. Continuation of Example 3: we will compute all reducts of and and obtain those corresponding optimal decision rules.
From and , we have From Proposition 12, is a unique reduct of the object , and it will generate the optimal decision rule of decision rule (18) induced by as follows:Taking as another example, we can derive the following decision rule:From and , we haveThen one can see that has one reduct , which generates the optimal rule of rule (22) as follows:In the same way, we can compute the dominance discernibility functions of all other objects and induce their corresponding optimal decision rules.

5. The Certain Reduct of an Inconsistent Disjunctive Set-Valued ODIS

Based on the above discussion of reduction of the objects, in this section, we will discuss the reduct of the inconsistent disjunctive set-valued ODIS.

Definition 14. In an inconsistent disjunctive set-valued ODIS , . If is a minimal subset of satisfying , , one calls a certain reduct of the inconsistent disjunctive set-valued ODIS. The intersection of all certain reducts is called certain core of the information system.

By Definitions 8, 9, and 14, it can be seen that a certain reduct of the inconsistent disjunctive set-valued ODIS is a minimal subset of condition attributes which can be used to simplify all certain decision rules as much as possible.

By Definitions 11 and 14, we can construct the dominance discernibility function of certain reduct of the inconsistent disjunctive set-valued ODIS as follows.

Definition 15. Let and one calls dominance discernibility function of certain reduct in the inconsistent disjunctive set-valued ODIS.

Based on Definitions 11, 14, and 15 and Theorem 10, we obtain the folowing by the Boolean reasoning techniques.

Proposition 16. is a certain reduct of the inconsistent disjunctive set-valued ODIS if and only if is a prime implicant of , where .

Proposition 16 gives a computational method for the certain reducts of the disjunctive set-valued ODIS. And we can get all corresponding simplified certain decision rules.

Example 17. Continuation of Example 3: by Definition 6, we have

We can see that the considered inconsistent disjunctive set-valued ODIS presented in Table 1 has one certain reduct .

From the lower approximations of three upward unions of decision classes, we can draw the following certain decision rules from the disjunctive set-valued ODIS presented in Table 1:

The certain reduct of the system, , can be used to simplify the above two certain rules (27) as follows:

Generally speaking, a certain reduct of an inconsistent disjunctive set-valued ODIS must be a dominance consistent set of all objects from the lower approximations of the upward unions of decision classes. And a certain reduct of an inconsistent disjunctive set-valued ODIS may be a reduct of some objects from the lower approximations of the upward unions of decision classes. In Example 17, the certain reduct is a reduct of the object , while the certain reduct is only a dominance consistent set of the object .

6. Conclusions

In this paper, optimization problem of decision rules in inconsistent disjunctive set-valued ordered decision information system has been investigated. By constructing the dominance discernibility function for an object, reducts of the object are computed via utilizing Boolean reasoning techniques, and the corresponding optimal decision rules are induced. In addition, we have also discussed the certain reduct of the inconsistent disjunctive set-valued ordered decision information system and give the computational approaches using Boolean reasoning techniques.

It is well known that consistent disjunctive set-valued ordered decision information system can be seen as a special case of inconsistent disjunctive set-valued ordered decision information system. So, the approaches proposed in this paper can be used to induce optimal decision rules in the consistent disjunctive set-valued ordered decision information system.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This research is supported by a grant from the National Natural Science Foundation of China (61070241) and a grant from the Shandong Provincial Natural Science Foundation, China (ZR2013AQ007).