Abstract
As an extension of the classical Pawlak rough sets, covering multigranulation trapezoidal fuzzy decision-theoretic rough set models have been researched, in which objects approximated are crisp sets or accurate concepts of the universe of discourse, and there are only two states, which are disjoint and opposite each other for an accurate concept of the universe of discourse for a decision-making problem. However, the objects of many decision-making problems can have more than two states in practice. Moreover, the states of the decision object are not necessarily disjoint and opposite each other, but these decision states are fuzzy descriptions of the states of the object on the universe. In order to deal with decision-making problems in which decision states are fuzzy sets, covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models are proposed in this paper. In addition, the mean, optimistic and pessimistic covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets are investigated and characterized. Furthermore, the relationships between covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models and the existing models are discussed. Finally, an example is presented to illustrate the practicality and generality of the proposed models.
Introduction
Rough set theory, proposed by Pawlak [43] in 1982, has become an important method and tool for insufficient and incomplete information system [17, 43] in a wide variety of applications related to decision-making [1, 46], granular computing [10, 39], clustering analysis [40], feature selection [2, 28], machine learning [14, 26] and so on. As an extension of the classical Pawlak rough sets, Yao et al. [41] proposed decision-theoretic rough set, which is constructed by positive region, boundary region and negative region respectively. Many scholars have been interested in decision-theoretic rough set and many valuable researches have been done in recent years. For example, Herbert and Yao [15, 16] studied the combination of the decision-theoretic rough set and the game rough set. Li and Zhou [11, 12] presented a multi-perspective explanation of the decision-theoretic rough set and discussed attribute reduction and its application for the decision-theoretic rough. Liu et al. [4–7] investigated multiple-category classification with decision-theoretic rough set and its applications in the areas of management science. Ma and Sun [29, 30] studied the decision-theoretic rough set theory over two universes. Qian [38] proposed a new decision-theoretic rough set called multigranulation decision-theoretic rough set based on the paper [37] proposed by Qian in 2006, which provides a new perspective for the study of decision-theoretic rough sets.
However, an equivalence relation or a partition of the universe of discourse is restrictive for many real-world applications. To overcome this limitation, many scholars replaced a partition of the universe with a covering [9, 44]. In the realistic decision process, some influencing factors also result in decision makers not to provide precise values, e.g. tight deadlines, limited budgets and so on. As an extension of precise numerical values, fuzzy set [22] is considered to deal with vague, imprecise and uncertain problems. Therefore, the value of loss function with the measurement of fuzzy set is more realistic. Based on this consideration, Liang [8] proposed triangular fuzzy decision-theoretic rough sets. Due to the better generality and flexibility of trapezoidal fuzzy number dealing with problems than triangular fuzzy number, we assume the loss functions are trapezoidal fuzzy numbers in this paper. In general, the objects approximated are crisp sets or accurate concepts of the universe of discourse in existing decision-theoretic rough sets. For a decision-making problem, there are only two states, which are disjoint and opposite each other for an accurate concept of the universe of discourse. However, the objects of many decision-making problems can have more than two states in practice. Moreover, the states of the decision object are not necessarily disjoint and opposite each other, but these decision states are fuzzy descriptions of the states of the object on the universe. In order to solve this limitation, Sun [1] proposed decision-theoretic rough fuzzy set model and application.
Based on these considerations, in order to make multigranulation decision-theoretic rough set models deal with decision-making problems in which decision states are fuzzy sets, we propose covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models. In addition, the mean, optimistic and pessimistic covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets are investigated and characterized. Furthermore, the relationships between covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models and the existing models are discussed. Finally, an illustration is given.
The rest of this paper is organized as follows. To make our analysis possible, Section 2 provides some basic concepts about Pawlak rough sets and trapezoidal fuzzy number. In Section 3, we give the process of the calculation of three probabilistic thresholds and the derivation of decision rules. In Section 4, we shall firstly propose the mean, optimistic and pessimistic covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets respectively. Furthermore, some characterization theorems are given. Section 5 discusses the relationships between covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models and the existing models. In Section 6, an example is presented to illustrate the practicality and generality of the proposed models. Finally, we conclude our research in Section 7.
Preliminaries and basic concepts
Firstly, we provide a notation-list to explain the meanings of all used symbols in this paper.
U represents a non-empty finite universe, R represents an equivalence relation, C represents a covering, and represent the lower and upper approximations respectively, pos, bn and neg represent the positive, boundary and negative regions respectively, Md (x) represents the minimal description of x, Mag represents the magnitude of trapezoidal fuzzy number, P represents a probability measure, represents the conditional probability of given the description ∩Md C (x) , represents a loss function, r represents a decision action, Ω represents the set of states, represents the expected loss, F (U) denotes all the fuzzy subsets of U.
In the following, we briefly review some basic concepts, such as Pawlak rough sets, covering, trapezoidal fuzzy number, etc.
Let U be a non-empty finite universe and R be an equivalence relation of U × U . The equivalence relation R induces a partition of U, denoted by [x] R , and U/R = {[x] |x ∈ U} represents the equivalence of x . Then (U, R) is the Pawlak approximation space.
For any X ⊆ U, its lower and upper approximations are defined:
The positive, boundary and negative regions of X are defined as follows:
Let U be a universe of discourse, C = {X|X ⊆ U} be a family of subsets of U . If no element of C is empty, and ∪X∈CX = U, then C is called a covering of U . The ordered pair (U, C) is called a covering approximation space. It is clear that a partition of U is certainly a covering of U, so the concept of covering is an extension of the concept of a partition.
Let (U, C) be a covering approximation space, x ∈ U, then Md (x) = {K ∈ C|x ∈ K ∧ (∀ S ∈ C ∧ x ∈ S ∧ S ⊆ K ⇒ K = S)} is called the minimal description of x .
The trapezoidal fuzzy number with two defuzzifiers x0, y0, left fuzziness σ > 0 and right fuzziness δ > 0, is a special fuzzy number, and its parametric form is where
The addition and scalar multiplication of trapezoidal fuzzy numbers are defined by the extension principle as follows.
For any and scalar k, we define addition and scalar multiplication as: Addition: Scalar Multiplication:
For an arbitrary trapezoidal fuzzy number with parametric form the magnitude of is defined as [27]
In the trapezoidal fuzzy number space, we define partial relations by Mag (·) as follows [27]. is to say is to say is to say
Given an object x, let Md (x) = {K ∈ C|x ∈ K ∧ (∀ S ∈ C ∧ x ∈ S ∧ S ⊆ K ⇒ K = S)} be the minimal description of x and ∩Md (x) be a description of the object x . Let Ω = {w1, w2, ⋯ , w s } be a finite set of s states, A = {r1, r2, ⋯ , r m } be a finite set of m possible actions, and P (w j | ∩ Md (x)) be the conditional probability of x with description ∩Md (x) being in state w j , and let the loss function λ (r i |w j ) denote the loss(or cost)for taking the action r i when the state is w j . For an object x with description ∩Md (x) , the expected cost associated with taking action r i is given by
Let (U, R) be the Pawlak approximation space, P is a probability measure defined on the σ-algebra of the subset family of universe U . Then (U, R, P) is a called a probabilistic approximation space. As is well known, the conditional probability between the target set and the description of the object is the key concept in the Bayesian decision procedure. Hence, we firstly give the definition of conditional probability of any fuzzy event in the probabilistic space.
If the probabilistic space is continuous, then the probability of fuzzy event is defined as follows:
By this definition and the concept of conditional probability of classical measurement theory, the conditional probability of a fuzzy event given the description of a crisp set is defined as follows.
The also can be understood as the probability that any objet x ∈ U belongs to the fuzzy concept given the description ∩Md C (x) .
In the following, we give the concept of fuzzy partition of the universe of discourse.
For the rough approximations of a fuzzy set on the probabilistic approximation space, the decision-making problem is described as follows.
The set of states is given by where For any x ∈ U, there is That is, the given states of decision objects form a fuzzy partition of the universe of discourse.
The set of actions is given by A = {r P , r B , r N } , where r P , r B and r N represent the three actions in classifying an object, namely, deciding deciding and respectively.
Let (i takes P, B, N respectively) be trapezoidal fuzzy number and denote the loss incurred for taking action r i when an object belongs to fuzzy set (i takes P, B, N respectively) be trapezoidal fuzzy number and denote the loss incurred for taking action r i when an object belongs to fuzzy set and (i takes P, B, N respectively) be trapezoidal fuzzy number and denote the loss incurred for taking action r i when an object belongs to fuzzy set
For any object x with description ∩Md
C
(x) , the expected loss associated with taking action r
i
can be expressed as:
where and i takes P, B, N respectively.
Ranking the expected losses is an important process of decision making in covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models and because the expected losses are trapezoidal fuzzy numbers, ranking function is a key element during ranking fuzzy numbers which maps fuzzy numbers into real numbers. Hence, we take ranking function of trapezoidal fuzzy number as and we get the following minimum risk decision rules.
(P) and decide
(B) and decide
(N) and decide
By using the equation for any x ∈ U, we can simplify the above decision rules so that only the conditional probability of the fuzzy is included and classify any object under the description ∩Md C (x) based only on the conditional probability of the fuzzy . Furthermore, we can calculate three probabilistic thresholds.
Suppose that a kind of constraint for (i takes P, B, N respectively and j takes )is as follows:
By virtue of the above decision rules, we obtain the decision rules (P) , (B) , (N) are indefinite equations according to the formulations because there are three conditional probabilities for three fuzzy concepts and respectively and only two degrees of freedom. Therefore, for any object x under the description ∩Md C (x) , we can take one of the coefficients as zero for the conditional probabilities of three fuzzy concepts when solving the indefinite equations (P) , (B) and (N) . Then, we get the following results, respectively.
For decision rule (P) , we obtain
For decision rule (B) , we obtain
For decision rule (N) , we obtain
Hence, we can get three probabilistic thresholds
where
According to the above derivation, when α > β, we have α > γ > β . Then, we can obtain the decision rules as follows.
(P) If decides
(B) If decides
(N) If decides
Therefore, we can present the positive region, boundary region and negative region of fuzzy set
Based on the relationships between the lower and upper approximations and the three regions, we can obtain the probabilistic rough fuzzy lower and upper approximations of fuzzy set .
When α = β, we have α = γ = β . Then, we have the following decision rules.
(P) If decides
(B) If decides
(N) If decides
Similarly, we give the positive region, boundary region and negative region of fuzzy set
And, the probabilistic rough fuzzy lower and upper approximations of fuzzy set are gained in the following.
In this section, we propose the mean, optimistic and pessimistic covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets respectively and give some characterization theorems.
Let C1, C2, ⋯ , C m be m coverings of the universe of discourse U, then C i is a basic granular of U and can deduce a granular structure. In multigranulation decision-theoretic rough sets, the conditional probability of an object x within a target concept in m granular structures can be computed by its mathematic expectation. That is,
Based on this idea, we propose a covering mean multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set model.
Similar to the decision rules in Section 3, when α > β, we can obtain the following decision rules.
(MP1) If decides
(MB1) If decides
(MN1) If decides
When α = β, the covering mean multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set has the following decision rules.
(MP2) If decides
(MB2) If decides
(MN2) If decides
From the formula(6), we have
Suppose that α = 0.49, β = 0.41 .
From the above definition, we obtain
Furthermore, according to the above decision rules, we can present the positive, boundary and negative regions of fuzzy set as follows:
Naturally, the covering optimistic multigranulation trapezoidal fuzzy rough fuzzy lower and upper approximations and the covering pessimistic multigranulation trapezoidal fuzzy rough fuzzy lower and upper approximations of fuzzy set can be given by the Definition 4.2 and Definition 4.3 respectively.
Similarly, when α > β, we can obtain the following decision rules.
(OP1) If there exits i ∈ {1, 2, ⋯ , m} such that decides
(ON1) If for any i ∈ {1, 2, ⋯ , m} such that decides
(OB1) Otherwise, decides
When α = β, the covering optimistic multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set has the following decision rules.
(OP2) If there exits i ∈ {1, 2, ⋯ , m} such that decides
(ON2) If for any i ∈ {1, 2, ⋯ , m} such that decides
(OB2) Otherwise, decides
Similarly, we obtain
Similarly, when α > β, we can obtain the following decision rules.
(PP1) If for any i ∈ {1, 2, ⋯ , m} such that decides
(PN1) If there exists i ∈ {1, 2, ⋯ , m} such that decides
(PB1) Otherwise, decides
When α = β, the covering pessimistic multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set has the following decision rules.
(PP2) If for any i ∈ {1, 2, ⋯ , m} such that decides
(PN2) If there exists i ∈ {1, 2, ⋯ , m} such that decides
(PB2) Otherwise, decides
Analogously, we obtain
For the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets, it is easy to prove the following characterization theorems.
where
In the following, we only illustrate the covering optimistic multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set model, other models can be elucidated similarly.
When the approximation concept degenerates into the crisp set A of U and the fuzzy partition of U degenerates into the crisp partition of U, the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets degenerate into the covering multigranulation trapezoidal fuzzy decision-theoretic rough sets, namely,
When C i (i = 1, 2, ⋯ , m) are the partitions of U, the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets degenerate into the multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets, that is,
When the loss functions (i takes P, B, N respectively and j takes ) degenerate into the precise values, the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets degenerate into the covering multigranulation decision-theoretic rough fuzzy sets, namely,
where
When the multiple granular structures degenerate into the simple granular structure, the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets degenerate into the covering trapezoidal fuzzy decision-theoretic rough fuzzy sets, that is,
In this section, we present a simplified example to illustrate the generality of the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models established in Section 4. Below, Table 1 gives a decision information system for responding to a credit card applicant.
In the following discussion, we show the process and results of decision-making for the credit card applicant by using the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models.
The universe U = {x1, x2, ⋯ , x6} is six applicants for a credit card. The conditional attribute set is {Salary(a), Degrees(b), Bad records(c)}. From the Table 1, we can obtain C1 and C2 are two coverings of U and C1 = {{x1, x5} , {x3, x4} , {x2, x6} , {x1, x4, x5} , {x2, x3} , {x6}} , C2 = {{x1, x4, x5} , {x2, x3} , {x6} , {x1, x3, x6} , {x4, x5} , {x2}} . The set of states is given by where , and are three fuzzy sets on universe U, and CRS stands for the Credit rating states for every applicant. Here, we discuss the decision-procedure of fuzzy set and present the decision-making results. The decision-making procedures of fuzzy set and are similar to
Denote and as the positive region(accept), boundary region(further evaluation) and the negative region(reject) of the fuzzy set With respect to these three regions, the set of actions is given by A = {r P , r B , r N } , where r P , r B , r N represent the three actions in classify an applicant, that is, deciding deciding and deciding respectively. The loss functions and are consistent with the definitions in Section 3 and satisfy with the formula (11).
Here, we consider the following loss functions:
Then, according to the formula (12)–(14), we have
According to the formula (6), we also have the following results:
Therefore, according to Definition 4.1, we can obtain the covering mean multigranulation trapezoidal fuzzy rough fuzzy lower and upper approximations of fuzzy set
From the definitions of the positive region, boundary region and negative region, we have the decision-making results by using the covering mean multigranualtion trapezoidal fuzzy decision-theoretic rough fuzzy set model in the following.
The results show that applicant 1, applicant 2, applicant 5 and applicant 6 should be accepted, and applicant 3 and applicant 4 should be rejected.
From Definition 4.2, we can gain the covering optimistic multigranulation trapezoidal fuzzy rough fuzzy lower and upper approximations of fuzzy set
Similarly, we can obtain the decision-making results by using the covering optimistic multigranualtion trapezoidal fuzzy decision-theoretic rough fuzzy set model in the following.
The results show that applicant 1, applicant 2, applicant 5 and applicant 6 should be accepted, applicant 4 should be further evaluated and applicant 3 should be rejected.
According to Definition 4.3, we can get the covering pessimistic multigranulation trapezoidal fuzzy rough fuzzy lower and upper approximations of fuzzy set
And, we have the decision-making results by using the covering pessimistic multigranualtion trapezoidal fuzzy decision-theoretic rough fuzzy set model in the following.
The results show that applicant 1, applicant 2, applicant 5 and applicant 6 should be accepted, and applicant 3 and applicant 4 should be rejected.
Furthermore, we can obtain the following results:
The above results illustrate the Theorem 4.3.
Conclusions
In this paper, we propose the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models by calculating the three probabilistic thresholds based on the fuzziness and vagueness of the approximation concept, discuss and characterize the three models, namely, the covering mean, optimistic and pessimistic multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy sets, obtain the relationships between the covering multigranulation trapezoidal fuzzy decision-theoretic rough fuzzy set models and the existing models, give an example and the obtained results illustrate the practicality and generality of the proposed models.
Acknowledgments
The authors would like to thank the referees and Associate Editor, for providing very helpful comments and suggestions. This work is supported by the National Natural Science Foundation of China (61262022, 11461062).
