Computational and Mathematical Methods in Medicine

Volume 2015 (2015), Article ID 292710, 12 pages

http://dx.doi.org/10.1155/2015/292710

## A Dual Hesitant Fuzzy Multigranulation Rough Set over Two-Universe Model for Medical Diagnoses

^{1}School of Computer and Information Technology, Shanxi University, Taiyuan, Shanxi 030006, China^{2}Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education, Taiyuan, Shanxi 030006, China^{3}School and Hospital of Stomatology, Peking University, Beijing 100089, China

Received 24 August 2015; Accepted 12 November 2015

Academic Editor: Seiya Imoto

Copyright © 2015 Chao Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

In medical science, disease diagnosis is one of the difficult tasks for medical experts who are confronted with challenges in dealing with a lot of uncertain medical information. And different medical experts might express their own thought about the medical knowledge base which slightly differs from other medical experts. Thus, to solve the problems of uncertain data analysis and group decision making in disease diagnoses, we propose a new rough set model called dual hesitant fuzzy multigranulation rough set over two universes by combining the dual hesitant fuzzy set and multigranulation rough set theories. In the framework of our study, both the definition and some basic properties of the proposed model are presented. Finally, we give a general approach which is applied to a decision making problem in disease diagnoses, and the effectiveness of the approach is demonstrated by a numerical example.

#### 1. Introduction

In real-life disease diagnoses, due to the inherent uncertainty of human’s expression of preferences, and the management, storage, and extraction of various useful information available to physicians which is not always presented as crisp numbers, it is believed that fuzzy numbers own many advantages for dealing with medical information systems. Moreover, in order to seek a diagnosis for the considered patients, it is essential for physicians to take into account a number of symptoms at the same time; this process might take a long time to reach a final conclusion. What is worse, the situation of overlooking a few trivial symptoms may trigger wrong disease diagnosis. To solve this complex decision making problem, lots of efforts have been made based on combining the uncertain decision making methods with the traditional disease diagnosis study. Fuzzy set theory [1], proposed by Zadeh in 1965, provides robust solutions in many application domains. In the concept of fuzzy sets, the membership degree of an element is a single crisp value within . However, to cope with imperfect and uncertain information induced by several sources of vagueness, the classical fuzzy set is confronted with some limitations. Thus, many extension forms of fuzzy sets have been introduced and utilized in disease diagnoses [2–5].

Among the numerous decision making processes, we often encounter such situations in which decision makers hesitate among several possible membership values when determining the membership of an element belonging to a given set. To address this issue, Torra [6] and Torra and Narukawa [7] introduced the concept of hesitant fuzzy set (HFS) which has been proved useful to deal with uncertain information in multiattribute decision making procedures. We could illustrate the above-mentioned motivation in the following example. Suppose there is an expert who intends to determine the membership degree of whether a house is beautiful. The expert may consider that the membership degree is 0.7, while he holds a view that 0.8 is also justifiable. The hesitant fuzzy set is useful in the above case when the membership degree of can be expressed as . Ever since the establishment of the hesitant fuzzy set theory, many researchers have studied the HFS from various facets and obtained an increasing number of achievements. In the extensions of hesitant fuzzy set, Zhu et al. introduced the concept of dual hesitant fuzzy set (DHFS) in 2012 [8], which includes the fuzzy set, intuitionistic fuzzy set, hesitant fuzzy set, and multifuzzy set as special cases. The DHFS is described by the membership hesitancy and nonmembership hesitancy functions. It is evident that the DHFS can reflect the human’s hesitancy more objectively than the other widely developed fuzzy set approaches. Thereafter, many scholars have studied the DHFS from different angles and obtained plenty of meaningful results [9–13].

In addition, rough set theory, proposed by Pawlak [14], is a well-established mechanism for dealing with uncertainty in data analysis. The rough set theory has been widely employed in many domains such as medical diagnosis, formal concept analysis, feature selection, and uncertainty reasoning [15–18]. The basic structure of rough set is an approximation space consisting of a universe of discourse and a binary relation imposed on it. In classical approximation space, the equivalence relation is a very restrictive condition, so the application domain of rough set model is narrowed, to some extent. Thus, various extension forms of classical rough set have been introduced over the past years. In the extension of universe, since the rough set on single universe may limit the description of decision information provided by experts, two or multiple universes can describe the real-world information more effectively and reasonably. Thus, the model of rough set over two universes has been studied extensively and applied in many real-life decision making problems [19–23]. For example, Pei and Xu [19] studied rough set over two-universe model and researched its properties in detail. Sun and Ma [20] studied fuzzy rough set over two universes and its related applications. Yang et al. [21] proposed a fuzzy probabilistic rough set model over two universes and utilized the model in a clinical diagnosis case. Luo and Xu [22] introduced a rough Atanassov’s intuitionistic fuzzy set model over two different universes and discussed a problem about how to arrange patients to see the doctor reasonably. Sun et al. [23] utilized the model of fuzzy rough set theory over two universes under the background of the emergency material demand predictions.

Considering the view of granular computing [24], the set approximations in the above rough set theory are described by a single binary relation on a given universe. However, it is beneficial to view a problem through multiple binary relations in multigranulation backgrounds. To address the situation, Qian et al. proposed the model of multigranulation rough set (MGRS) by taking multiple binary relations into account [25, 26]. And two types of multigranulation rough set, that is, optimistic multigranulation rough set based on “seeking common ground while reserving differences” (SCRD) strategy and pessimistic multigranulation rough set based on “seeking common ground while eliminating differences” (SCED) strategy, were introduced [27]. Moreover, several extension forms of multigranulation rough set have been put forward during these years [28–33]. Among them, Sun and Ma [33] proposed the multigranulation rough set over two universes and discussed its properties and some uncertainty measures. The multigranulation rough set over two universes owns some superiorities in group decision making. In information fusion procedures, in order to enhance the decision level, we usually need to obtain the optimal solutions according to the assessment information provided by multiple experts. And different expert often views the decision making problems from different angles, but they share a common goal in reaching a final agreement that synthesizes each expert’s opinion. Thus, the method of multigranulation rough set over two universes is an ideal information fusion strategy which could synthesize each decision maker’s view to form a final decision.

In this paper, we propose the dual hesitant fuzzy (DHF) multigranulation rough set over two-universe model by combining the dual hesitant fuzzy set and multigranulation rough set over two universes. Both the general definition and some useful properties of the proposed model will be discussed. Then, we explore a new approach to the decision making problem in medical diagnoses by utilizing the DHF multigranulation rough set over two-universe model. Finally, we give an illustrative example to verify the developed approach and demonstrate its validity and feasibility.

The remaining part of this paper is organized as follows. In Section 2, we present the basic knowledge about hesitant fuzzy sets, dual hesitant fuzzy sets, rough set over two universes, and multigranulation rough set over two universes. In Section 3, we introduce the DHF multigranulation rough set over two universes and some properties are discussed. Section 4 presents an approach to the decision making problem in medical diagnoses by utilizing the proposed model. In Section 5, we illustrate the steps of the proposed decision making method by a numerical example. In Section 6, we conclude this paper with some remarks.

#### 2. Preliminaries

In this section, we first review some basic concepts such as hesitant fuzzy sets, dual hesitant fuzzy sets, and their properties. Then we present the definition of rough set over two universes and multigranulation rough set over two universes.

##### 2.1. Hesitant Fuzzy Sets

Hesitant fuzzy sets (HFSs) were introduced by Torra [6] and Torra and Narukawa [7], which permit the membership degree of an element to a reference set expressed by several possible values between 0 and 1.

*Definition 1 (see [7]). *Let be the universe of discourse; a hesitant fuzzy set on is defined as a function that returns a subset of , which can be expressed as the following mathematical symbol:where is a set of some different finite values in , describing the possible membership degrees of the element to the set . For convenience, is called a hesitant fuzzy element. The set of all hesitant fuzzy elements is called HFEs.

##### 2.2. Dual Hesitant Fuzzy Sets

Zhu et al. [8] further extended the concept of HFSs to develop the dual hesitant fuzzy sets (DHFSs), which are defined in terms of two functions which returns two sets of membership values and nonmembership values, respectively.

*Definition 2 (see [8]). *Let be the universe of discourse; then a dual hesitant fuzzy set on is defined aswhere and are two sets of some different finite values in , describing the possible membership degrees and nonmembership degrees of the element to the set , respectively, with the conditions , , where , , , and for all . For convenience, the pair is called a dual hesitant fuzzy element. The set of all dual hesitant fuzzy elements is called DHFEs.

Suppose that is the universe of discourse; then the set of all dual hesitant fuzzy sets on is denoted by .

*Example 3. *Let be a universe set; then a dual hesitant fuzzy set defined by is a dual hesitant fuzzy set.

Here, we present two special dual hesitant fuzzy sets as follows:(1)is referred to as an empty dual hesitant fuzzy set [8] if and only if and for all . In that case, the empty dual hesitant fuzzy set is denoted by in this paper.(2) is referred to as a full dual hesitant fuzzy set [8] if and only if and for all . In that case, the full dual hesitant fuzzy set is denoted by in this paper.

Similar to hesitant fuzzy set theory, Zhu et al. [8] also defined the complement, union, and intersection operations on dual hesitant fuzzy set as follows.

*Definition 4 (see [8]). *Let be the universe of discourse, . Then, the complement, union, and intersection operations are defined as follows:(1)The complement of , denoted by , is defined as(2)The union of and , denoted by , is defined as , .(3)The intersection of and , denoted by , is defined as , ,where and are DHFEs of two DHFSs, and , respectively. Moreover, , , , and are lower and upper bounds of and , respectively. Among them, , , , and .

It should be noted in above definition that the operations , , and are defined on dual hesitant fuzzy sets, respectively, while the operations , , and are defined on corresponding dual hesitant fuzzy elements, respectively. In what follows, we present the properties of the above operations as follows.

Theorem 5. *Let be the universe of discourse, . Then the following properties are true:*(1)*Double negation law: .*(2)*De Morgan’s laws: , .*(3)*Commutativity: , .*(4)*Associativity: , .*(5)*Distributivity: , .*

*Proof. *It can be obtained directly from Definition 4.

*Example 6. *Let and be two DHFEs; then we can obtain the complement, union, and intersection as follows:(1) and .(2).(3).

*To compare the magnitude of different dual hesitant fuzzy elements, Zhu et al. [8] introduced the following comparison laws.*

*Definition 7 (see [8]). *Let be any two DHFEs. The score function of is , where and are the numbers of the elements in and , respectively. Then, if , ; if , ; if , .

*Example 8. *Let and be two DHFEs; then we can obtain that ; thus .

*In granular computing, it is noted that the hierarchy acts as a significant part. In classical set, the hierarchy is characterized by set containment. However, in the background of fuzzy set, the hierarchy is characterized by the comparisons of membership degrees. Since dual hesitant fuzzy set is a further extension form of fuzzy set, it is necessary to develop new definition for comparing two dual hesitant fuzzy sets. Different from the score function introduced in Definition 7 which aims to compare some different DHFEs, we will introduce the concept of DHF subset to compare two dual hesitant fuzzy sets.*

*Definition 9. *Let be the universe of discourse; , and are DHFEs of and , respectively. If holds for each such that and , where and denote the th largest values in and , respectively, while and denote the th largest values in and , respectively, then, is referred to as a dual hesitant fuzzy subset of , which is denoted by .

*It is noted that the comparison of two DHFSs is based on the partial orders between corresponding DHFEs for all objects in the universe. And the partial orders between DHFEs are further based on the comparisons of each value in corresponding DHFEs. Thus, we can see that the comparison of two DHFSs is based on the comparisons of each value in corresponding DHFEs for all objects in the universe.*

*2.3. Rough Set over Two Universes*

*Definition 10 (see [19]). *Let and be two universes and let be a compatibility relation from to . The mapping , for any , , and , is called a mapping induced by . The ordered triple is called an approximation space. The lower and upper approximations of are defined as follows:Then the pair is called rough set over two universes of with respect to .

*2.4. Multigranulation Rough Set over Two Universes*

*Based on the rough set over two universes [19] and the model of multigranulation rough set proposed by Qian et al. [25], Sun and Ma [33] introduced the model of multigranulation rough set over two universes recently. In order to present the concept of multigranulation rough set over two universes, we give the definition of multigranulation approximation space over two universes at first.*

*Definition 11 (see [19]). *Let , be two nonempty and finite universes of discourse. is a family binary compatibility relation from to induced by binary mapping family , , and , . The ordered triple set is the multigranulation approximation space over two universes.

*In what follows, we introduce the definition of optimistic and pessimistic multigranulation rough sets over two universes.*

*Definition 12 (see [33]). *Let be a multigranulation approximation space over two universes. Let and be two binary mappings from universes to . For any the optimistic lower and upper multigranulation approximations with respect to are defined as follows:The pair is the optimistic multigranulation rough set over two universes if ; otherwise, is definable on with respect to and . Moreover, the boundary region of on is defined as follows:Similarly, the pessimistic lower and upper multigranulation approximations with respect to are defined as follows:The pair is the pessimistic multigranulation rough set over two universes if ; otherwise, is definable on with respect to and . Moreover, the boundary region of on is defined as follows:

*In above definition, the word “optimistic” means that, in multiple independent granular structures, at least one granular structure must satisfy the inclusion condition between an equivalence class and a target concept, while the word “pessimistic” means all granular structures must satisfy the inclusion condition between an equivalence class and a target concept.*

*3. DHF Multigranulation Rough Set over Two Universes*

*In this section, we discuss the concept of dual hesitant fuzzy multigranulation rough set over two universes systematically. At first, it is necessary to develop the definition of dual hesitant fuzzy rough set over two universes.*

*3.1. DHF Rough Set over Two Universes*

*Definition 13. *Let , be two nonempty and finite universes of discourse. A dual hesitant fuzzy relation from to is defined as follows:where and are two sets of some different finite values in , denoting the possible membership degrees and nonmembership degrees for all , respectively. With the conditions , , where , , , and for all . Moreover, the family of all dual hesitant fuzzy relations over is denoted by .

*Definition 14. *Let , be two nonempty and finite universes of discourse and ; the pair is called a dual hesitant fuzzy approximation space over two universes. For any , the lower and upper approximations of with respect to , denoted by and , are two dual hesitant fuzzy sets and are, respectively, defined as follows:where , , , and .

and are called the lower and upper approximations of with respect to , respectively. The pair is called the dual hesitant fuzzy rough set over two universes of with respect to and , are referred to as lower and upper dual hesitant fuzzy rough approximation operators over two universes, respectively.

*In what follows, based on the constructive approach to dual hesitant fuzzy rough set over two universes, we extend the dual hesitant fuzzy relation into the background of multigranulation rough set. Both the definitions and some basic properties of optimistic and pessimistic DHF multigranulation rough sets over two universes will be elaborated on.*

*3.2. Optimistic DHF Multigranulation Rough Set over Two Universes*

*Definition 15. *Let , be two nonempty and finite universes of discourse and are dual hesitant fuzzy relations over ; the pair is called a dual hesitant fuzzy multigranulation approximation space over two universes. For any , the optimistic lower and upper approximations of with respect to are defined as follows:where , , , and .

We call the pair an optimistic DHF multigranulation rough set over two universes of with respect to . If , we call optimistic-definable in ; otherwise, is optimistic-undefinable in . It is noted that the optimistic DHF multigranulation rough set over two universes will reduce to a DHF rough set over two universes if .

*Theorem 16. Let , be two nonempty and finite universes of discourse and are m dual hesitant fuzzy relations over . For any , the optimistic DHF multigranulation rough set over two universes has the following properties:(1); .(2); .(3); .(4); .*

*Proof. *(1) For all , we have , , . Similarly, it is not difficult to prove that .

(2) Since , then by Definition 9, we have and for all . So it follows that , , . Hence, for each , we have and , which means . Similarly, it is not difficult to prove that .

(3) Consider , , , , , . Similarly, it is not difficult to prove that .

(4) From the discussions above, it is not difficult to prove that and .

*In the above theorem, (1) shows the complement of optimistic DHF multigranulation rough set over two universes; (2) shows the monotone of optimistic DHF multigranulation rough set over two universes with respect to the variety of dual hesitant fuzzy target; (3) and (4) show the multiplication and addition of optimistic DHF multigranulation rough set over two universes.*

*Theorem 17. Let , be two nonempty and finite universes of discourse and are two dual hesitant fuzzy relations over . If , for any , one has the following properties:(1), for all .(2), for all .*

*Proof. *Since , then by Definitions 9 and 15, we have and for any . So it follows that , , . Hence, for each , we have and , which means . Similarly, it is not difficult to prove that .

*Theorem 17 indicates that the lower and upper approximations in optimistic DHF multigranulation rough set over two universes are monotonic with respect to the monotonic forms of the multiple binary DHF relations.*

*3.3. Pessimistic DHF Multigranulation Rough Set over Two Universes*

*3.3. Pessimistic DHF Multigranulation Rough Set over Two Universes**Definition 18. *Let , be two nonempty and finite universes of discourse and are dual hesitant fuzzy relations over ; the pair is called a dual hesitant fuzzy multigranulation approximation space over two universes. For any , the pessimistic lower and upper approximations of with respect to are defined as follows:where , , , and .

We call the pair a pessimistic DHF multigranulation rough set over two universes of with respect to . If , we call pessimistic-definable in ; otherwise, is pessimistic-undefinable in . It is also noted that the pessimistic DHF multigranulation rough set over two universes will reduce to a DHF rough set over two universes if .

*Theorem 19. Let , be two nonempty and finite universes of discourse and are m dual hesitant fuzzy relations over . For any , the pessimistic DHF multigranulation rough set over two universes has the following properties:(1); .(2); .(3) ; .(4) ; .*

*In the above theorem, (1) shows the complement of pessimistic DHF multigranulation rough set over two universes; (2) shows the monotone of pessimistic DHF multigranulation rough set over two universes with respect to the variety of dual hesitant fuzzy target; (3) and (4) show the multiplication and addition of pessimistic DHF multigranulation rough set over two universes.*

*Theorem 20. Let , be two nonempty and finite universes of discourse and are two dual hesitant fuzzy relations over . If , for any , one has the following properties:(1), for all .(2), for all .*

*Theorem 20 indicates that the lower and upper approximations in pessimistic DHF multigranulation rough set over two universes are monotonic with respect to the monotonic forms of the multiple binary DHF relations.*

*3.4. The Relation between Optimistic and Pessimistic DHF Multigranulation Rough Sets over Two Universes*

*3.4. The Relation between Optimistic and Pessimistic DHF Multigranulation Rough Sets over Two Universes**Theorem 21. Let , be two nonempty and finite universes of discourse and are m dual hesitant fuzzy relations over . For any , the DHF multigranulation rough set over two universes has the following properties:(1).(2).*

*Proof. *For any , , , . Hence, we have and , which means . Similarly, it is not difficult to prove that .

*From Theorem 21, it is noted that the pessimistic DHF multigranulation lower approximation is included into the optimistic DHF multigranulation lower approximation, while the optimistic DHF multigranulation upper approximation is included into the pessimistic DHF multigranulation upper approximation.*

*4. The Approach of Medical Diagnoses*

*4. The Approach of Medical Diagnoses**In this section, we introduce a new approach to the decision making problem in medical diagnoses by utilizing the proposed model based on DHF multigranulation rough set over two universes. The main points of our model and decision making methods can be summarized as the following steps.*

*4.1. The Application Model*

*4.1. The Application Model**Suppose that is a set of diagnoses and is a set of symptoms. Let be dual hesitant fuzzy relations over , which reflects the medical knowledge base with dual hesitant fuzzy elements data given by experts. We also let be the set of symptoms characteristic for the considered patients. Then, we obtain a dual hesitant fuzzy decision information system in medical diagnoses.*

*In the following, we present an approach to the decision making for the above-mentioned problem by using DHF multigranulation rough set over two universes. At first, according to Definitions 15 and 18, we determine the lower and upper approximations of optimistic and pessimistic DHF multigranulation rough set over two universes of with respect to , respectively. That is, we obtain the set , , , and . Then, according to the operational laws presented in [8], , , we further obtain the set of and , respectively. In what follows, based on the decision making strategy developed in [23], we present the decision rules for medical diagnoses by using DHF multigranulation rough set over two universes. At first, we denote*

*It is noted that , , and indicate the decision making index sets which are composed of the subscripts of the largest dual hesitant fuzzy element in corresponding dual hesitant fuzzy sets , , and , respectively. By virtue of the score function introduced in Definition 7, we can obtain the ranking orders of dual hesitant fuzzy elements in the above-mentioned corresponding dual hesitant fuzzy sets. Thus, the index sets , , and could be obtained. Moreover, based on the risk decision making principle of classical operational research, we could present the practical meaning for the above three index sets according to their definitions. Since the optimistic multigranulation rough set is based on “seeking common ground while reserving differences” (SCRD) strategy, which implies that one reserves both common decisions and inconsistent decisions at the same time, thus, this opinion can be seen as a risk-seeking decision making strategy. While the pessimistic multigranulation rough set is based on “seeking common ground while eliminating differences” (SCED) strategy, this strategy indicates that one reserves common decisions while deleting inconsistent decisions. Hence, this opinion can be seen as a risk-averse decision making strategy. According to the above different decision making strategies, is the optimistic diagnostic result for the considered patient, is the pessimistic diagnostic result for the considered patient, and is the weighted diagnostic result for the considered patient, where is the weighted decision making index set of and with the weighted value 0.5. Based on the above definition, the decision rules can be presented as follows:(1)If , then is the determined diagnosis for the patient.(2)If and , then is the determined diagnosis for the patient. Otherwise, if and , then is the determined diagnosis for the patient.*

*In light of the above decision rules in medical diagnoses, by virtue of the decision making index sets , , and which come from optimistic and pessimistic information fusion strategies based on medical expert’s risk preference, the proposed decision rules could be regarded as a multifaceted diagnostic scheme through considering multiple situations. Moreover, by utilizing the multifaceted diagnostic scheme, medical experts could obtain more reasonable and accurate diagnostic results than other approaches. Hence, the decision rules provide medical experts with a more flexible access to determine the diagnostic results for the patients.*

*4.2. Algorithm for Medical Diagnoses Using DHF Multigranulation Rough Set over Two Universes*

*4.2. Algorithm for Medical Diagnoses Using DHF Multigranulation Rough Set over Two Universes**In what follows, we present an algorithm for the medical diagnoses model based on DHF multigranulation rough set over two universes as follows.*

*Algorithm 1 (the medical diagnoses based on DHF multigranulation rough set over two universes). **Require*. The relation between the universes and is provided by an expert and a set of symptoms characteristic for the considered patients . *Ensure*. The determined diagnosis for the patient:(1)calculate , , , and , respectively;(2)calculate and , respectively;(3)determine the score function values for the sets and , respectively;(4)compute , , , , and , and confirm the determined diagnosis for the patient.

*5. Case Study*

*5. Case Study*

*In this section, to illustrate the efficiency of the proposed algorithm, we use a medical diagnosis problem with DHFS information which was previously studied and modeled by Farhadinia [9]. Farhadinia proposed an approach for deriving the correlation coefficient of DHFS and further researched a medical diagnosis problem by using correlation coefficient formulas. In order to enhance the accuracy and reliability of medical diagnoses, we aim to solve the problem under the background of group decision making. In group decision making, each doctor might have their own thought about the medical knowledge base which slightly differs from other medical experts, but they should have a common goal to reach the diagnoses results for the patients by consensus and unanimity. Therefore, after a detailed discussion about several aspects of fever with some related medical experts, we obtained the required medical dataset with respect to this paper from a local provincial hospital. The medical experts not only explained the relationship about various diagnoses with a set of symptoms, but also had a conversation with some patients who are suffering from the related diseases.*

*Let be a set of diagnoses, where stands for viral fever, malaria, typhoid, stomach problem, and chest problem, respectively. A patient with the given values of symptoms is denoted by , where stands for temperature, headache, cough, stomach pain, and chest pain, respectively. The medical knowledge base with DHFS data is presented in Tables 1, 2, and 3 [9]. The symptoms characteristic for the considered patient are given. We aim to seek a diagnosis for the patient by utilizing the proposed model.*