Two Types of Intuitionistic Fuzzy Covering Rough Sets and an Application to Multiple Criteria Group Decision Making

Intuitionistic fuzzy rough sets are constructed by combining intuitionistic fuzzy sets with rough sets. Recently, Huang et al. proposed the definition of an intuitionistic fuzzy (IF) β-covering and an IF covering rough set model. In this paper, some properties of IF β-covering approximation spaces and the IF covering rough set model are investigated further. Moreover, we present a novel methodology to the problem of multiple criteria group decision making. Firstly, some new notions and properties of IF β-covering approximation spaces are proposed. Secondly, we study the characterizations of Huang et al.’s IF covering rough set model and present a new IF covering rough set model for crisp sets in an IF environment. The relationships between these two IF covering rough set models and some other rough set models are investigated. Finally, based on the IF covering rough set model, Huang et al. also defined an optimistic multi-granulation IF rough set model. We present a novel method to multiple criteria group decision making problems under the optimistic multi-granulation IF rough set model.

Zadeh's fuzzy set theory [24] addresses the problem of how to understand and manipulate imperfect knowledge.Recent investigations have shown that rough set and fuzzy set theories can be combined into various models, which are used for incomplete information in information systems.Dübois and Prade [25] first presented a fuzzy rough set model.Based on their work, some extended models and corresponding applications have been investigated in [26,27].As far as fuzzy covering rough sets, D'eer et al. [28] discussed some fuzzy covering-based rough set models.Ma [18] proposed two new types of fuzzy covering rough set models.Inspired by Ma's work, Yang and Hu [29] investigated some types of fuzzy covering-based rough sets.Then, Yang and Hu studied other problems in fuzzy covering-based rough sets [30].
Intuitionistic fuzzy set (IFS) theory, as a straightforward extension of fuzzy set theory, was proposed by Atanassov [31].The combination of IFS and rough set theories has attracted more interesting studies.For example, Zhang et al. [32] studied a general frame of IF rough sets.Huang et al. [33] presented an IF rough set model by combining β-neighborhoods induced by an IF β-covering.There are also other new notions and properties in Huang et al.'s IF rough set model, so it is necessary to investigate the IF rough set model further in this paper.
Recently, many researchers have studied decision making problems by rough set models [19,34], especially multiple criteria group decision making [20,23].Multiple criteria group decision making (MCGDM) involves ranking from all feasible alternatives in conflicting and interactive criteria.After presenting the IF covering rough set model, Huang et al. also defined an optimistic multi-granulation IF rough set model.By investigation, multi-granulation IF rough set models have not been used for MCGDM problems.According to the characterizations of MCGDM problems, we construct the multi-granulation IF decision information systems and present a novel approach to MCGDM problems based on the optimistic multi-granulation IF rough set model in this paper.
The rest of this paper is organized as follows.Section 2 recalls some notions about covering-based rough sets and intuitionistic fuzzy sets.In Section 3, some properties of IF β-covering approximation space are investigated further.In Section 4, we investigate two IF covering rough set models.Among these two models, one is presented by Huang et al. [33], which concerns the IF sets; and the other is proposed by us, which concerns the crisp sets in an IF environment.In Section 5, we present a novel approach to MCGDM problems based on Huang et al.'s optimistic multi-granulation IF rough set model.This paper is concluded and further work is indicated in Section 6.

Basic Definitions
This section reviews some fundamental notions related to covering-based rough sets and intuitionistic fuzzy sets.Suppose U is a nonempty and finite set called a universe.[35,36]) Let U be a universe and C a family of subsets of U. If none of the subsets in C are empty and C = U, then C is called a covering of U. [35]) Let C be a covering of U.For any x ∈ U,

Definition 2. (Neighborhood
is called the neighborhood of x with respect to C. When the covering is clear, we omit the lowercase C in the neighborhood.[37]) Let C be a covering of U.For any X ⊆ U,

Definition 3. (Approximation operators
SH C (X) and SL C (X) are called the upper and lower approximation operators with respect to C. [31]) Let U be a fixed set.An intuitionistic fuzzy set (IFS) A in U is defined as:

Definition 4. (Intuitionistic fuzzy set
is called the degree of non-membership.They satisfy µ A (x) + ν A (x) ≤ 1 for all x ∈ U.The family of all intuitionistic fuzzy sets in U is denoted by IF(U).For any family γ i ∈ [0, 1], i ∈ I, I ⊆ N + (N + is the set of all positive integers), we write ∨ i∈I γ i for the supremum of {γ i : i ∈ I} and ∧ i∈I γ i for the infimum of {γ i : i ∈ I}.Some basic operations on IF(U) are shown as follows [31]: for any A, B ∈ IF(U),

Some Properties of IF β-Covering Approximation Space
In this section, we introduce the notions of intuitionistic fuzzy (IF) β-covering approximation space.There are two concepts presented by Huang et al. in [33], which are IF β-covering and IF β-neighborhood in this approximation space.We mainly investigate some of their properties, and some new notions are presented.
For two different IF β-neighborhoods, a relationship between them is presented. Hence, Therefore, for each z ∈ U, By the notion of IF β-neighborhood, we propose the following definition of the IF β-neighborhood system of x ∈ U.
According to Definition 6, we know N The following example can illustrate it.
Inspired by this statement, we consider in which conditions two IF β-coverings generate the same β-neighborhood system for any element of the universe.In order to find the conditions, we introduce two new concepts in IF β-covering approximation space firstly.Proof.According to Definitions 5 and 8, it is straightforward.
Proof.According to Definitions 5 and 8, it is straightforward.
According to Propositions 2 and 3, it is still an IF β-covering after deleting all IF β-independent elements of an IF β-covering.
Proof.According to Definitions 8, 9 and Proposition 2, it is straightforward.
Proof.By Proposition 4 and Definition 7, it is straightforward.

β-Neighborhood
In this subsection, the definition of β-neighborhood is presented by the IF β-neighborhood.Definition 10.Let (U, C) be an IF β-covering approximation space and C = {C 1 , C 2 , . . ., C m }.For each x ∈ U, we define the β-neighborhood N β x of x as: Based on this, the β-neighborhood can be represented by the following remark.
The following theorem shows the basic properties of β-neighborhoods.Theorem 3. Let C be an IF β-covering of U and C = {C 1 , C 2 , . . ., C m }.Then: Proof.(1) According to the first statement in Theorem 1, we know N The following proposition shows a relationship between N

Proof. (⇒):
A relationship between IF β-neighborhoods and β-neighborhoods is proposed in the following proposition.Proposition 6.Let C be an IF β-covering of U.For any x, y ∈ U, N Proof.For any x, y ∈ U, N

Two Intuitionistic Fuzzy Covering Rough Set Models
In this section, we investigate two IF covering rough set models on the basis of the IF β-neighborhoods and the β-neighborhoods, respectively.Firstly, one model is presented by Huang et al., and we study the properties of the IF lower and upper approximations of each IF set further.Secondly, we propose another new model, which concerns crisp sets in an IF environment.Moreover, some properties of the approximations are investigated.Finally, the relationships between these two IF covering rough set models with other rough set models are revealed.
Then, we present the relationship between the IF covering rough set model defined in Section 4.2 and a covering-based rough set model in Definition 3 proposed by Samanta and Chakraborty in [37].

An Application to Multiple Criteria Group Decision Making
In [33], Huang et al. also defined an optimistic multi-granulation IF rough set model.In this section, we present a novel approach to MCGDM based on the optimistic multi-granulation IF rough set model.We investigate the basic description of an MCGDM problem under the framework of multi-granulation spaces.Then, we put forth a general decision making methodology for MCGDM problems by means of the optimistic multi-granulation IF rough set model in the case of patient ranking.

An Optimistic Multi-Granulation IF Rough Set Model
Let C be an IF β-covering of U.For each x ∈ U, of A are defined as: where:

The Problem of Multiple Criteria Group Decision Making
Let U = {x k : k = 1, 2, • • • , l} be the set of patients and V = {y j |j = 1, 2, • • • , m} be the m main symptoms (for example, fever, cough, and so on) for a disease B. Assume that the duty doctor X invites n experts R Let β = a, b be the critical value.If any patient x k ∈ U, there is at least one symptom y j ∈ V such that the symptom value C ij for the patient x k , which is diagnosed by the expert R i , is not less than β, respectively, then ) denotes the minimum value among the degree of sickness of every patient denotes the maximum value among the degree of non-sickness of every patient x t (t = 1, 2, • • • , l) according to the diagnoses of the expert If c is a possible degree and d is an impossible degree of the disease B of every patient x k ∈ U that is diagnosed by the duty doctor X, denoted by A(x k ) = c, d , then the decision maker (the duty doctor X) for the MCGDM problem needs to know how to evaluate whether or not the patients x k ∈ U have the disease B.

Decision Making Methodology and Process
In this subsection, we give an approach to decision making for the problem of MCGDM with the above characterizations by means of the optimistic multi-granulation IF rough set model.According to the characterizations of the MCGDM problem in Subsection 5.2, we construct the multi-granulation intuitionistic fuzzy decision information systems and present the process of decision making under the framework of optimistic multi-granulation IF rough set model.

•
Output: The score ordering for all alternatives. • Step 1: Step 2: Computing the optimistic upper approximation N Γ β (o) (A) and the optimistic lower approximation N Γ β (o) (A).

•
Step 6: Obtain the ranking for all s(x) by using the principle of numerical size.
According to the above process, we can get the decision making according to the ranking.In Step 3, ζ reflects the preference of the decision maker for the risk of decision making problems.
Therefore, the doctor X diagnoses the patient x 1 as more likely to be sick with the disease B.

Conclusions
Covering rough set models are important research topics, which investigate data mining in a more general manner.Huang et al. [33]  Neutrosophic sets and related algebraic structures [39][40][41][42][43] will be connected with the research content of this paper in further research.

3.
We construct the multi-granulation intuitionistic fuzzy decision information systems and present a novel approach to MCGDM problems based on the optimistic multi-granulation IF rough set model.There are many MCGDM technologies by rough set models [20,23].However, among these models, the multi-granulation IF rough set models are not used.We first use the optimistic multi-granulation IF rough set model to solve MCGDM problems.
We call a, b with 0 ≤ a, b ≤ 1 and a + b ≤ 1 an IF value.As is well known, for two IF values α = a, b and β = c, d , α ≤ β ⇔ a ≤ c and b ≥ d.

3. 1 .
IF β-Neighborhood and IF β-Neighborhood System Definition 5. ([33]) Let U be a universe and β = a, b be an IF value.Then, we call C

Example 3 .Proposition 2 .
(Continued from Example 2) Let β = 0.5, 0.3 .Then, C 5 is an IF β-independent element of C 1 and C i (i = 1, 2, 3, 4) are IF β-dependent elements of C 1 .Hence, C 1 is IF β-independent and C is IF β-dependent.Let C be an IF β-covering of U and C ∈ C. If C is an IF β-independent element of C, then C − {C} is still an IF β-covering of U.

Definition 9 .Proposition 4 .
Let C be an IF β-covering of U and B ⊆ C. If B is the set of all IF β-dependent elements of C, then B is called the IF β-base of C and is denoted as ∆ β ( C).Let C be an IF β-covering of U.For any x ∈ U, the β-neighborhoods induced by C 1 and C 2 , respectively.

Proposition 5 .
Let C be an IF β-covering of U and C = {C 1 , C 2 , . . ., C m }.Then, for any x ∈ U, x ∈ N β y iff N β x ⊆ N β y .
Huang et al. [33] presented an IF covering rough set model.Definition 11. ([33]) Let (U, C) be an IF β-covering approximation space.For each A ∈ IF(U) where A = { x, µ A (x), ν A (x) : x ∈ U}, we define the intuitionistic fuzzy (IF) covering upper approximation C(A) and lower approximation C ∼ (A) of A as:

Proposition 8 .
According to Example 6, we know C(U) = U and C ∼ (∅) = ∅ in an IF β-covering approximation space.However, there are C(U) = U and C ∼ (∅) = ∅ based on some conditions.Let (U, C) be an IF β-covering approximation space with β = a, b and

Remark 3 .
Let (U, C) be an IF β-covering approximation space.The IF covering approximation operators C ∼ and C in Definition 11 do not satisfy the following statements: for all A, B ∈ IF(U), ) , C(( C(A)) ) = ( C(A)) ; 3. For any C ∈ C, C ∼ (C) = C and C(C) = C; In order to illustrate this remark, the following example is introduced.Example 7. (Continued from Example 1) Let β = 0.5, 0.3 , and: The induced IF relation R is related to all C ∈ C. Hence, the IF covering rough set model defined in Section 4.1 can be viewed as a generalized IF rough set model presented by Zhou and Wu in Definition 13: for each A ∈ IF(U), According to Proposition 11, for any fixed β = a, b (0 ≤ a, b ≤ 1 and a + b ≤ 1), an IF β-covering C of U induces a covering C of U.Then, the second type of intuitionistic fuzzy covering rough set model defined in Subsection 4.2 can be viewed as a covering-based rough set model in Definition 3: for each X ∈ P(U),
The decision maker can adjust ζ according to the goal in the real world.In Step 4, n ∑ i=1 R i (A) can be regarded as the compromise rule with the right weight ζ from the view of risk decision making with uncertainty.We define n
presented an IF rough set model and an optimistic multi-granulation IF rough set model.By investigation, we have found that no one has applied multi-granulation IF rough set models to MCGDM problems.In this paper, by showing some new notions and properties of IF β-covering approximation spaces, we mainly study Huang et al.'s models and propose a novel approach to MCGDM problems.The main conclusions in this paper and the further work are listed as follows.1.Some new notions and properties of IF β-covering approximation spaces are proposed.Aiming at the new notion of β-neighborhood systems, we present a necessary and sufficient condition for two IF β-coverings to induce the same IF β-neighborhood systems.2. By introducing Huang et al.'s IF rough set model, some new characterizations of it are investigated.We present a new IF covering rough set model for crisp subsets, and the relationships between these two IF covering rough set models and some other rough set models are investigated.