Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
VolumeΒ 2012, Article IDΒ 879629, 13 pages
Research Article

Dual Hesitant Fuzzy Sets

School of Economics and Management, Southeast University Nanjing, Jiangsu 211189, China

Received 24 November 2011; Accepted 29 February 2012

Academic Editor: MehmetΒ Sezer

Copyright Β© 2012 Bin Zhu 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.


In recent decades, several types of sets, such as fuzzy sets, interval-valued fuzzy sets, intuitionistic fuzzy sets, interval-valued intuitionistic fuzzy sets, type 2 fuzzy sets, type 𝑛 fuzzy sets, and hesitant fuzzy sets, have been introduced and investigated widely. In this paper, we propose dual hesitant fuzzy sets (DHFSs), which encompass fuzzy sets, intuitionistic fuzzy sets, hesitant fuzzy sets, and fuzzy multisets as special cases. Then we investigate the basic operations and properties of DHFSs. We also discuss the relationships among the sets mentioned above, use a notion of nested interval to reflect their common ground, then propose an extension principle of DHFSs. Additionally, we give an example to illustrate the application of DHFSs in group forecasting.

1. Introduction

Since Zadeh [1] introduced fuzzy sets (FSs) and gave intensive research [2–5], several famous extensions have been developed, such as intuitionistic fuzzy sets (IFSs) [6], type 2 fuzzy sets (T2FSs) [3, 7], type 𝑛 fuzzy sets (TnFSs), fuzzy multisets (FMSs) [8–14], interval-valued fuzzy sets (IVFSs) [3, 15], interval-valued intuitionistic fuzzy sets (IVIFSs) [16], and hesitant fuzzy sets (HFSs) [17–20]. Actually, these sets have given various ways to assign the membership degree or the nonmembership degree of an element to a given set characterized by different properties.

IFSs, also known as IVFSs from a mathematical point of view, can be modeled with two functions that define an interval to reflect some uncertainty on the membership function of the elements. IVFSs are the generalization of FSs and can model uncertainty due to the lack of information, in which a closed subinterval of [0,1] is assigned to the membership degree. Atanassov and Gargov [16] proved that IFSs and IVFSs are equipollent generalizations of FSs, and proposed the notion of IVIFS, which has been studied and used extensively [21–25].

T2FSs, described by membership functions that are characterized by more parameters, permit the fuzzy membership as a fuzzy set improving the modeling capability than the original one. Mathematically, IFSs can be seen as a particular case of T2FSs, where the membership function returns a set of crisp intervals. Despite the wide applications of T2FSs [26–29], they have difficulties in establishing the secondary membership functions and difficulties in manipulation [30–32].

FMSs are another generalization of FSs that permit multiple occurrences of an element, and correspond to the case where the membership degrees to the multisets are not Boolean but fuzzy. Note that although the features of FMSs allow the application to information retrieval on the world wide web, where a search engine retrieves multiple occurrences of the same subjects with possible different degrees of relevance [10], they have problems with the basic operations, such as the definitions for union and intersection, which do not generalize the ones for FSs. Miyamoto [13] gave an alternative definition that emphasizes the usefulness of a commutative property between a set operation and an 𝛼-cut, resolving this problem [8–13].

HFSs were originally introduced by Torra [17, 18]. The motivation to propose the HFSs is that when defining the membership of an element, the difficulty of establishing the membership degree is not a margin of error (as in IFSs), or some possibility distribution (as in T2FSs) on the possible values, but a set of possible values. Torra [17] reviewed IFSs and FMSs, drew comparisons, and created inherent connections among them. He pointed out that the operations for FMSs do not apply correctly to HFSs, although in some situations we can use FMSs as a model. HFSs were deemed IFSs when the HFS is a nonempty closed interval. Based on the relationships between IFSs and HFSs, Torra [17] gave a definition corresponding to the envelope of HFS. Xu and Xia [19, 20] investigated the aggregation operators, distance, and similarity measures for HFSs and applied them to decision making.

In this paper, we introduce dual hesitant fuzzy set (DHFS), which is a new extension of FS. As we know, in natural language, many categories cannot be distinguished clearly, but can be represented by a matter of degree in the notion of fuzziness. For example, when we talk about fish and monkeys, clear separation can be recognized between them. However, the borderline may not be easy to be distinguished with respect to starfish or bacteria. Although sometimes humans cannot recognize an object clearly, this class of fuzzy recognition against preciseness plays a vital role in human thinking, pattern recognition, and communication of information. The FS, which is stuck into the transition between the membership and the nonmembership, is the gradualness of predication. Zadeh’s original intuition [1] is to show the objectivity of truth as β€œgradual rather than abrupt.” Atanassov’s IFS [6] used two functions to handle the membership and the nonmembership separately, as it seems to be the case in the human brain, which is limited by the perception of shades. The membership and the nonmembership represent the opposite epistemic degrees, apparently, the membership comes to grips with epistemic certainty, and the nonmembership comes to grips with epistemic uncertainty, they can reflect the gradual epistemic degrees respectively to be the bipolar notions. Similar to HFSs, we can also use the nonmembership to deal with a set of possible values manifesting either a precise gradual composite entity or an epistemic construction refereeing to an ill-known object.

Furthermore, DHFSs consist of two parts, that is, the membership hesitancy function and the nonmembership hesitancy function, supporting a more exemplary and flexible access to assign values for each element in the domain, and we have to handle two kinds of hesitancy in this situation. The existing sets, including FSs, IFSs, HFSs, and FMSs, can be regarded as special cases of DHFSs; we do not confront an interval of possibilities (as in IVFSs or IVIFSs), or some possibility distributions (as in T2FSs) on the possible values, or multiple occurrences of an element (as in FMSs), but several different possible values indicate the epistemic degrees whether certainty or uncertainty. For example, in a multicriteria decision-making problem, some decision makers consider as possible values for the membership degree of π‘₯ into the set 𝐴 a few different values 0.1, 0.2, and 0.3, and for the nonmembership degrees 0.4, 0.5 and 0.6 replacing just one number or a tuple. So, the certainty and uncertainty on the possible values are somehow limited, respectively, which can reflect the original information given by the decision makers as much as possible. Utilizing DHFSs can take much more information into account, the more values we obtain from the decision makers, the greater epistemic certainty we have, and thus, compared to the existing sets mentioned above, DHFS can be regarded as a more comprehensive set, which supports a more flexible approach when the decision makers provide their judgments.

We organize the remainder of the paper as follows. In Section 2, we review some basic knowledge of the existing sets. Section 3 proposes DHFSs and investigates some of their basic operations and properties. Then, in Section 4, we present an extension principle of DHFSs, and give some examples to illustrate our results. Section 5 ends the paper with the concluding remarks.

2. Preliminaries

2.1. FSs, T2FSs, TnFSs, and FMSs

In this section, we review some basic definitions and operations, necessary to understand the proposal of the DHFS and its use.

Definition 2.1 (see [1]). Given a reference set 𝑋, a fuzzy set (FS) 𝐴 on 𝑋 is in terms of the function πœ‡: 𝑋→[0,1].

Definition 2.2 (see [18]). Let 𝑀 be the set of all fuzzy sets on πœ‡: [0,1]β†’[0,1].

Definition 2.3 (see [18]). Let 𝑀𝑖 be the set of all fuzzy sets of type 𝑖 on [0,1]. That is, the set of all πœ‡π‘–: [0,1]β†’π‘€π‘–βˆ’1, where 𝑀1 is defined as 𝑀.

Apparently, if we use the functions πœ‡2 or πœ‡π‘› to replace the membership function πœ‡, and returns an FS, then we obtain the notions of type 2 fuzzy sets (T2FSs) and type 𝑛 fuzzy sets (TnFSs).

Yager [14] and Miyamoto [8–13] first studied FMSs and defined several basic operations. FMSs generalize the multisets, which are also known as bags allowing multiple occurrences of elements, associating with the membership degrees.

Definition 2.4 (see [14]). Let 𝐴 and 𝐡 be two multisets, and π‘Ž the element in the reference set, then(1)addition: countπ΄βŠ•π΅(π‘Ž)=count𝐴(π‘Ž)+count𝐡(π‘Ž);(2)union: count𝐴βˆͺ𝐡(π‘Ž)=max(count𝐴(π‘Ž),count𝐡(π‘Ž));(3)intersection: count𝐴∩𝐡(π‘Ž)=min(count𝐴(π‘Ž),count𝐡(π‘Ž)).

However, this definition comes into conflict with FSs. Miyamoto [8–13] gave the corresponding solutions. He proposed an alternative definition for FMSs. Using the membership sequence Seq𝐴(π‘Ž) (the membership values π‘Ž in a fuzzy multiset 𝐴) in decreasing order to define the union and intersection operators.

2.2. IFSs

Atanassov [6] gave the definition of IFSs as follows.

Definition 2.5 (see [6]). Let 𝑋 be a fixed set, an intuitionistic fuzzy set (IFS) 𝐴 on 𝑋 is represented in terms of two functions πœ‡: 𝑋→[0,1] and 𝜈: 𝑋→[0,1], with the condition 0β‰€πœ‡(π‘₯)+𝜈(π‘₯)≀1, forallπ‘₯βˆˆπ‘‹.

We use ⟨π‘₯,πœ‡π΄,𝜈𝐴⟩ for all π‘₯βˆˆπ‘‹ to represent IFSs considered in the rest of the paper without explicitly mentioning it.

Furthermore, πœ‹(π‘₯)=1βˆ’πœ‡(π‘₯)βˆ’πœˆ(π‘₯) is called a hesitancy degree or an intuitionistic index of π‘₯ in 𝐴. In the special case πœ‹(π‘₯)=0, that is, πœ‡(π‘₯)+𝜈(π‘₯)=1, the IFS 𝐴 reduces to an FS.

Atanassov [6] and De et al. [33] gave some basic operations on IFSs, which ensure that the operational results are also IFSs.

Definition 2.6 (see [6]). Let a set 𝑋 be fixed, and let 𝐴 (represented by the functions πœ‡π΄ and 𝜈𝐴), 𝐴1 (πœ‡π΄1 and 𝜈𝐴1), 𝐴2 (πœ‡π΄2 and 𝜈𝐴2), be three IFSs. Then the following operations are valid:(1) complement: 𝐴={⟨π‘₯,𝜈𝐴(π‘₯),πœ‡π΄(π‘₯)⟩∣π‘₯βˆˆπ‘‹};(2)union: 𝐴1∩𝐴2={⟨π‘₯,min{πœ‡π΄1(π‘₯),πœ‡π΄2(π‘₯)},max{𝜈𝐴1(π‘₯),𝜈𝐴2(π‘₯)}⟩∣π‘₯βˆˆπ‘‹};(3)intersection: 𝐴1βˆͺ𝐴2={⟨π‘₯,max{πœ‡π΄1(π‘₯),πœ‡π΄2(π‘₯)},min{𝜈𝐴1(π‘₯),𝜈𝐴2(π‘₯)}⟩∣π‘₯βˆˆπ‘‹};(4)βŠ•-union: 𝐴1βŠ•π΄2={⟨π‘₯,πœ‡π΄1(π‘₯)+πœ‡π΄2(π‘₯)βˆ’πœ‡π΄1(π‘₯)πœ‡π΄2(π‘₯),𝜈𝐴1(π‘₯)𝜈𝐴2(π‘₯)⟩∣π‘₯βˆˆπ‘‹};(5)βŠ—-intersection: 𝐴1βŠ—π΄2={⟨π‘₯,πœ‡π΄1(π‘₯)πœ‡π΄2(π‘₯),𝜈𝐴1(π‘₯)+𝜈𝐴2(π‘₯)βˆ’πœˆπ΄1(π‘₯)𝜈𝐴2(π‘₯)⟩∣π‘₯βˆˆπ‘‹}.
De et al. [33] further gave another two operations of IFSs:(6)𝑛𝐴={⟨π‘₯,1βˆ’(1βˆ’πœ‡π΄(π‘₯))𝑛,(𝜈𝐴(π‘₯))π‘›βŸ©βˆ£π‘₯βˆˆπ‘‹}; (7)𝐴𝑛={⟨π‘₯,(πœ‡π΄(π‘₯))𝑛,1βˆ’(1βˆ’πœˆπ΄(π‘₯))π‘›βŸ©βˆ£π‘₯βˆˆπ‘‹}, where 𝑛 is a positive integer.
Atanassov and Gargov [16] used the following:(1)the map 𝑓 assigns to every IVFS 𝐴(=[πœ‡π΄πΏ(π‘₯),πœ‡π΄π‘ˆ(π‘₯)]) an IFS, 𝐡=𝑓(𝐴) given by πœ‡π΅(π‘₯)=πœ‡π΄πΏ(π‘₯), 𝜈𝐴(π‘₯)=1βˆ’πœ‡π΄π‘ˆ(π‘₯);(2)the map 𝑔 assigns to every IFS 𝐡(=βŸ¨πœ‡π΄(π‘₯),𝜈𝐴(π‘₯)⟩) an IVFS 𝐴=𝑓(𝐡) given by πœ‡π΄(π‘₯)=[πœ‡π΄(π‘₯),1βˆ’πœˆπ΄(π‘₯)], to prove that IFSs and IVFSs are equipollent generalizations of the notion of FSs.

Xu and Yager [34] called each pair (πœ‡π΄(π‘₯),𝜈𝐴(π‘₯)) an intuitionistic fuzzy number (IFN), and, for convenience, denoted an IFN by 𝛼=(πœ‡π›Ό,πœˆπ›Ό). Moreover, they gave a simple method to rank any two IFNs, and introduced some of their operational laws as follows.

Definition 2.7 (see [34]). Let 𝛼𝑖=(πœ‡π›Όπ‘–,πœˆπ›Όπ‘–)(𝑖=1,2) be any two IFNs, 𝑠𝛼𝑖=πœ‡π›Όπ‘–βˆ’πœˆπ›Όπ‘–(𝑖=1,2) the scores of 𝛼𝑖(𝑖=1,2), respectively, and β„Žπ›Όπ‘–=πœ‡π›Όπ‘–+πœˆπ›Όπ‘–(𝑖=1,2) the accuracy degrees of 𝛼𝑖(𝑖=1,2), respectively, then(i)if 𝑠𝛼1>𝑠𝛼2, then 𝛼1 is larger than 𝛼2, denoted by 𝛼1>𝛼2;(ii)if 𝑠𝛼1=𝑠𝛼2, then(1)if β„Žπ›Ό1=β„Žπ›Ό2, then 𝛼1 and 𝛼2 represent the same information, that is, πœ‡π›Ό1=πœ‡π›Ό2 and πœˆπ›Ό1=πœˆπ›Ό2, denoted by 𝛼1=𝛼2;(2)if β„Žπ›Ό1>β„Žπ›Ό2, then 𝛼1 is larger than 𝛼2, denoted by 𝛼1>𝛼2.

2.3. HFSs

Torra [17] defined the HFS in terms of a function that returns a set of membership values for each element in the domain and in terms of the union of their memberships.

Definition 2.8 (see [17]). Let 𝑋 be a fixed set, then we define hesitant fuzzy set (HFS) on 𝑋 is in terms of a function β„Ž applied to 𝑋 returns a subset of [0,1], and β„Ž(π‘₯) a hesitant fuzzy element (HFE).
Then, Torra [17] gave an example to show several special sets for all π‘₯ in 𝑋: (1) empty set: β„Ž(π‘₯)={0}; (2) full set: β„Ž(π‘₯)={1}; (3) complete ignorance: β„Ž(π‘₯)=[0,1]; (4) nonsense set: β„Ž(π‘₯)=βˆ….

Apparently, this definition encompasses IFSs as a particular case in the form of a nonempty closed interval, and also a particular case of T2FSs from a mathematical point of view.

Torra and Narukawa [18] and Torra [17] showed that the envelop of a HFE is an IFN, expressed in the following definition.

Definition 2.9 (see [17, 18]). Given an HFE β„Ž, the pair of functions β„Žβˆ’=πœ‡(β„Žβˆ’=min{π›Ύβˆ£π›Ύβˆˆβ„Ž}) and 1βˆ’β„Ž+=𝜈(β„Ž+=max{π›Ύβˆ£π›Ύβˆˆβ„Ž}) define an intuitionistic fuzzy set (⟨π‘₯,πœ‡,𝜈⟩), denoted by 𝐴env(β„Ž).

According to this definition, IFSs can also be represented by HFSs, that is, for a given IFS {⟨π‘₯,πœ‡π΄(π‘₯),𝜈𝐴(π‘₯)⟩}, the corresponding HFS is β„Ž(π‘₯)=[πœ‡π΄(π‘₯),1βˆ’πœˆπ΄(π‘₯)], if πœ‡π΄(π‘₯)β‰ 1βˆ’πœˆπ΄(π‘₯).

Torra [17] gave the complement of a HFS as the following.

Definition 2.10 (see [17]). Given an HFS represented by its membership function β„Ž, we define its complement as β„Žπ‘(π‘₯)=βˆͺπ›Ύβˆˆβ„Ž(π‘₯){1βˆ’π›Ύ}.

Additionally, Torra [17] considered the relationships between HFSs and fuzzy multisets (FMSs). He proved that a HFS can be represented a FMS.

Definition 2.11 (see [17]). Given a HFS 𝐴 on 𝑋, and β„Ž(π‘₯) for all π‘₯ in 𝑋, then the HFS can be defined as a FMS: FMS𝐴=βŠ•π‘₯βˆˆπ‘‹βŠ•π›Ύβˆˆβ„Ž(π‘₯){(π‘₯,𝛾)}.

Torra [17] also proved that the union and the intersection of two corresponding FMSs do not correspond to the union and the intersection of two HFSs.

Xia and Xu [19] gave a method to rank any two HFEs as the following.

Definition 2.12 (see [19]). For a HFE β„Ž, βˆ‘π‘ (β„Ž)=(1/#β„Ž)π›Ύβˆˆβ„Žπ›Ύ is called the score function of β„Ž, where #β„Ž is the number of the elements in β„Ž. Moreover, for two HFEs β„Ž1 and β„Ž2, if 𝑠(β„Ž1)>𝑠(β„Ž2), then β„Ž1>β„Ž2; if 𝑠(β„Ž1)=𝑠(β„Ž2), then β„Ž1=β„Ž2.

3. DHFSs

3.1. The Notion of DHFS

We now define dual hesitant fuzzy set in terms of two functions that return two sets of membership values and nonmembership values, respectively, for each element in the domain as follows.

Definition 3.1. Let 𝑋 be a fixed set, then a dual hesitant fuzzy set (DHFS) 𝐷 on 𝑋 is described as: 𝐷={⟨π‘₯,β„Ž(π‘₯),𝑔(π‘₯)⟩π‘₯βˆˆπ‘‹},(3.1) in which β„Ž(π‘₯) and 𝑔(π‘₯) are two sets of some values in [0,1], denoting the possible membership degrees and nonmembership degrees of the element π‘₯βˆˆπ‘‹ to the set 𝐷, respectively, with the conditions: 0≀𝛾,πœ‚β‰€1,0≀𝛾++πœ‚+≀1,(3.2) where π›Ύβˆˆβ„Ž(π‘₯), πœ‚βˆˆπ‘”(π‘₯), 𝛾+βˆˆβ„Ž+(π‘₯)=βˆͺπ›Ύβˆˆβ„Ž(π‘₯)max{𝛾}, and πœ‚+βˆˆπ‘”+(π‘₯)=βˆͺπœ‚βˆˆπ‘”(π‘₯)max{πœ‚} for all π‘₯βˆˆπ‘‹. For convenience, the pair 𝑑(π‘₯)=(β„Ž(π‘₯),𝑔(π‘₯)) is called a dual hesitant fuzzy element (DHFE) denoted by 𝑑=(β„Ž,𝑔), with the conditions: π›Ύβˆˆβ„Ž, πœ‚βˆˆπ‘”, 𝛾+βˆˆβ„Ž+=βˆͺπ›Ύβˆˆβ„Žmax{𝛾}, πœ‚+βˆˆπ‘”+=βˆͺπœ‚βˆˆπ‘”max{πœ‚}, 0≀𝛾,πœ‚β‰€1, and 0≀𝛾++πœ‚+≀1.

First we define some special DHFEs. Given a DHFE, 𝑑, then we have(1)complete uncertainty: 𝑑={{0},{1}};(2)complete certainty: 𝑑={{1},{0}};(3)complete ill-known (all is possible): 𝑑=[0,1];(4)nonsensical element: 𝑑=βˆ…(β„Ž=βˆ…,𝑔=βˆ…).

Based on the background knowledge introduced in Section 2, we can obtain some results in special cases. For a given π‘‘β‰ βˆ…, if β„Ž and 𝑔 have only one value 𝛾 and πœ‚, respectively, and 𝛾+πœ‚<1, then the DHFS reduces to an IFS. If β„Ž and 𝑔 have only one value 𝛾 and πœ‚ respectively, and 𝛾+πœ‚=1, or β„Ž owns one value, and 𝑔=βˆ…, then the DHFS reduces to an FS (also can be regarded as HFSs). If 𝑔=βˆ… and β„Žβ‰ βˆ…, then the DHFS reduces to a HFS, and according to Definition 2.11, DHFSs can be defined as FMSs. Thus the definition of DHFSs encompasses these fuzzy sets above. Next we will discuss the DHFS in detail and use π›Ύβˆ’(π›Ύβˆ’βˆˆβ„Žβˆ’=βˆͺπ›Ύβˆˆβ„Ž(π‘₯)min{𝛾}), 𝛾+, πœ‚βˆ’(πœ‚βˆ’βˆˆπ‘”βˆ’=βˆͺπœ‚βˆˆπ‘”(π‘₯)min{πœ‚}), πœ‚+ in the rest of the paper without explicitly mentioning it.

Actually, for a typical DHFS, β„Ž and 𝑔 can be represented by two intervals as:ξ€Ίπ›Ύβ„Ž=βˆ’,𝛾+ξ€»ξ€Ίπœ‚,𝑔=βˆ’,πœ‚+ξ€».(3.3)

Based on Definition 2.9, there is a transformation between IFSs and HFSs, we can also transform 𝑔 to β„Ž2, that is, the number 2 HFE β„Ž2(π‘₯)=[1βˆ’πœ‚+,1βˆ’πœ‚βˆ’] denoting the possible membership degrees of the element π‘₯βˆˆπ‘‹. Thus, both β„Ž and β„Ž2 indicate the membership degrees, we can use a β€œnested interval” to represent 𝑑(π‘₯) as:𝛾𝑑=ξ€Ίξ€Ίβˆ’,𝛾+ξ€»,ξ€Ί1βˆ’πœ‚+,1βˆ’πœ‚βˆ’ξ€»ξ€».(3.4)

The common ground of these sets is to reflect fuzzy degrees to an object, according to either fuzzy numbers or interval fuzzy numbers. Therefore, we use nonempty closed interval as a uniform framework to indicate a DHFE 𝑑, which is divided into different cases as follows:⎧βŽͺβŽͺβŽͺβŽͺβŽͺ⎨βŽͺβŽͺβŽͺβŽͺβŽͺβŽ©ξ‚»π‘‘=βˆ…,if𝑔=βˆ…,β„Ž=βˆ…,(𝛾),if𝑔=βˆ…,β„Žβ‰ βˆ…,π›Ύβˆ’=𝛾+=𝛾,ifπ‘”β‰ βˆ…,β„Žβ‰ βˆ…,π›Ύβˆ’=𝛾+=𝛾=1βˆ’πœ‚βˆ’=1βˆ’πœ‚+=1βˆ’πœ‚,(1βˆ’πœ‚),ifπ‘”β‰ βˆ…,β„Ž=βˆ…,πœ‚βˆ’=πœ‚+𝛾=πœ‚,βˆ’,𝛾+ξ€»,if𝑔=βˆ…,β„Žβ‰ βˆ…,π›Ύβˆ’β‰ π›Ύ+,ξ€Ί1βˆ’πœ‚+,1βˆ’πœ‚βˆ’ξ€»,ifπ‘”β‰ βˆ…,β„Ž=βˆ…,πœ‚βˆ’β‰ πœ‚+,𝛾,1βˆ’πœ‚+,1βˆ’πœ‚βˆ’ξ€»ξ€»,ifπ‘”β‰ βˆ…,β„Žβ‰ βˆ…,πœ‚βˆ’β‰ πœ‚+,π›Ύβˆ’=𝛾+𝛾=𝛾,ξ€Ίξ€Ίβˆ’,𝛾+ξ€»ξ€»,πœ‚,ifπ‘”β‰ βˆ…,β„Žβ‰ βˆ…,π›Ύβˆ’β‰ π›Ύ+,πœ‚βˆ’=πœ‚+𝛾=πœ‚,ξ€Ίξ€Ίβˆ’,𝛾+ξ€»,ξ€Ί1βˆ’πœ‚+,1βˆ’πœ‚βˆ’ξ€»ξ€»,ifπ‘”β‰ βˆ…,β„Žβ‰ βˆ…,πœ‚βˆ’β‰ πœ‚+,π›Ύβˆ’β‰ π›Ύ+,(3.5) which reflects the connections among all the sets mentioned above, and the merit of DHFS is more flexible to be valued in multifold ways according to the practical demands than the existing sets, taking much more information given by decision makers into account.

3.2. Basic Operations and Properties of DHFSs

Atanassov [6] and Torra [17] gave the complements of the IFSs and the HFSs, respectively, according to Definitions 2.6 and 2.10. In the following, we define the complement of the DHFS depending on different situations.

Definition 3.2. Given a DHFE represented by the function 𝑑, and π‘‘β‰ βˆ…, its complement is defined as: 𝑑𝑐=⎧βŽͺ⎨βŽͺ⎩βˆͺπ›Ύβˆˆβ„Ž,πœ‚βˆˆπ‘”βˆͺ{{πœ‚},{𝛾}},ifπ‘”β‰ βˆ…,β„Žβ‰ βˆ…,π›Ύβˆˆβ„Žβˆͺ{{1βˆ’π›Ύ},{βˆ…}},if𝑔=βˆ…,β„Žβ‰ βˆ…,πœ‚βˆˆπ‘”{{βˆ…},{1βˆ’πœ‚}},ifβ„Ž=βˆ…,π‘”β‰ βˆ….(3.6) Apparently, the complement is involutive represented as (𝑑𝑐)𝑐=𝑑.

We now define the union and the intersection of DHFSs. For two DHFSs 𝑑1 and 𝑑2, it is clear that the corresponding lower and upper bounds to β„Ž and 𝑔 are β„Žβˆ’, β„Ž+, π‘”βˆ’ and 𝑔+, respectively, where β„Žβˆ’=βˆͺπ›Ύβˆˆβ„Žmin{𝛾}, β„Ž+=βˆͺπ›Ύβˆˆβ„Žmax{𝛾}, π‘”βˆ’=βˆͺπœ‚βˆˆπ‘”min{πœ‚}, and 𝑔+=βˆͺπœ‚βˆˆπ‘”max{πœ‚} represent this group notations and no confusion will arise in the rest of this paper.

Definition 3.3. Let 𝑋 be a fixed set, 𝑑1 and 𝑑2 two DHFEs, we define their union and intersection, respectively, as:
(1)𝑑1βˆͺ𝑑2={β„Žβˆˆ(β„Ž1βˆͺβ„Ž2)βˆ£β„Žβ‰₯max(β„Žβˆ’1,β„Žβˆ’2),π‘”βˆˆ(𝑔1βˆ©π‘”2)βˆ£π‘”β‰€min(𝑔+1,𝑔+2)};(2)𝑑1βˆ©π‘‘2={β„Žβˆˆ(β„Ž1βˆ©β„Ž2)βˆ£β„Žβ‰€min(β„Ž+1,β„Ž+2),π‘”βˆˆ(𝑔1βˆͺ𝑔2)βˆ£π‘”β‰₯max(π‘”βˆ’1,π‘”βˆ’2)}, the following operations are valid:(1)βŠ•-union: 𝑑1βŠ•π‘‘2={β„Žπ‘‘1βŠ•β„Žπ‘‘2,𝑔𝑑1βŠ—π‘”π‘‘2}=βˆͺ𝛾𝑑1βˆˆβ„Žπ‘‘1,πœ‚π‘‘1βˆˆπ‘”π‘‘1,𝛾𝑑2βˆˆβ„Žπ‘‘2,πœ‚π‘‘2βˆˆπ‘”π‘‘2{{𝛾𝑑1+𝛾𝑑2βˆ’π›Ύπ‘‘1𝛾𝑑2},{πœ‚π‘‘1πœ‚π‘‘2}};(2)βŠ•-intersection: 𝑑1βŠ—π‘‘2={β„Žπ‘‘1βŠ—β„Žπ‘‘2,𝑔𝑑1βŠ•π‘”π‘‘2}=βˆͺ𝛾𝑑1βˆˆβ„Žπ‘‘1,πœ‚π‘‘1βˆˆπ‘”π‘‘1,𝛾𝑑2βˆˆβ„Žπ‘‘2,πœ‚π‘‘2βˆˆπ‘”π‘‘2{{𝛾𝑑1𝛾𝑑2},{πœ‚π‘‘1+πœ‚π‘‘2βˆ’πœ‚π‘‘1πœ‚π‘‘2}};(3)𝑛𝑑=βˆͺπ›Ύπ‘‘βˆˆβ„Žπ‘‘,πœ‚π‘‘βˆˆπ‘”π‘‘{1βˆ’(1βˆ’π›Ύπ‘‘)𝑛,(πœ‚π‘‘)𝑛}; (4)𝑑𝑛=βˆͺπ›Ύπ‘‘βˆˆβ„Žπ‘‘,πœ‚π‘‘βˆˆπ‘”π‘‘{(𝛾𝑑)𝑛,1βˆ’(1βˆ’πœ‚π‘‘)𝑛}, where 𝑛 is a positive integral and all the results are also DHFEs.

Example 3.4. Let 𝑑1={{0.1,0.3,0.4},{0.3,0.5}} and 𝑑2={{0.2,0.5},{0.1,0.2,0.4}} be two DHFEs, then we have(1)complement: 𝑑𝑐1={{0.3,0.5},{0.1,0.3,0.4}};(2)union: 𝑑1βˆͺ𝑑2={{0,2,0.3,0.4,0.5},{0.1,0.2,0.3,0.4}};(3)intersection: 𝑑1βˆ©π‘‘2={{0,1,0.2,0.3,0.4},{0.3,0.4,0.5}}.

We can easily prove the following theorem according to Definition 3.3

Theorem 3.5. Let 𝑑, 𝑑1, and 𝑑2 be any three DHFEs, πœ†β‰₯0, then(1)𝑑1βŠ•π‘‘2=𝑑2βŠ•π‘‘1;(2)𝑑1βŠ—π‘‘2=𝑑2βŠ—π‘‘1;(3)πœ†(𝑑1βŠ—π‘‘2)=πœ†π‘‘1βŠ—πœ†π‘‘2;(4)(𝑑1βŠ—π‘‘2)πœ†=𝑑1πœ†βŠ—π‘‘2πœ†.

To compare the DHFEs, and based on Definitions 2.7 and 2.12, we give the following comparison laws.

Definition 3.6. Let 𝑑𝑖={β„Žπ‘‘π‘–,𝑔𝑑𝑖}(𝑖=1,2) be any two DHFEs, π‘ π‘‘π‘–βˆ‘=(1/#β„Ž)π›Ύβˆˆβ„Žβˆ‘π›Ύβˆ’(1/#𝑔)πœ‚βˆˆπ‘”πœ‚(𝑖=1,2) the score function of 𝑑𝑖(𝑖=1,2), and π‘π‘‘π‘–βˆ‘=(1/#β„Ž)π›Ύβˆˆβ„Žβˆ‘π›Ύ+(1/#𝑔)πœ‚βˆˆπ‘”πœ‚(𝑖=1,2) the accuracy function of 𝑑𝑖(𝑖=1,2), where #β„Ž and #𝑔 are the numbers of the elements in β„Ž and 𝑔, respectively, then(i)if 𝑠𝑑1>𝑠𝑑2, then 𝑑1 is superior to 𝑑2, denoted by 𝑑1≻𝑑2;(ii)if 𝑠𝑑1=𝑠𝑑2, then(1)if 𝑝𝑑1=𝑝𝑑2, then 𝑑1 is equivalent to 𝑑2, denoted by 𝑑1βˆΌπ‘‘2;(2)If 𝑝𝑑1>𝑝𝑑2, then 𝑑1 is superior than 𝑑2, denoted by 𝑑1≻𝑑2.

Example 3.7. Let 𝑑1={{0.1,0.3},{0.3,0.5}} and 𝑑2={{0.2,0.4},{0.4,0.6}} be two DHFEs, then based on Definition 3.1, we obtain 𝑠𝑑1=𝑠𝑑2=0, 𝑝𝑑2(0.8)>𝑝𝑑1(0.6), and thus, 𝑑2≻𝑑1.

4. Extension Principle

Torra and Narukawa [18] introduced an extension principle applied to HFSs, which permits us to export operations on fuzzy sets to new types of sets. The extension of an operator 𝑂 on a set of HFSs considers all the values in such sets and the application of 𝑂 on them. The definition is as the following.

Definition 4.1 (see [18]). Let 𝑂 be a function 𝑂: [0,1]𝑁→[0,1], and 𝐻 a set of 𝑁 HFSs on the reference set 𝑋 (i.e., 𝐻={β„Ž1,β„Ž2,…,β„Žπ‘} is a HFS on 𝑋). Then, the extension of 𝑂 on 𝐻 is defined for each π‘₯ in 𝑋 by 𝑂𝐻(π‘₯)=βˆͺπ›Ύβˆˆ{β„Ž1(π‘₯)Γ—β„Ž2(π‘₯)Γ—β‹―Γ—β„Žπ‘(π‘₯)}{𝑂(𝛾)}.(4.1)

Mesiar and Mesiarova-Zemankova [35] investigated the ordered modular average (OMA), which generalizes the ordered weighted average (OWA) operator, with the replacement of the additivity property by the modularity. The linear interpolating functions of the OWA operator were replaced by rather general nondecreasing functions in the OMA, which can be used to aggregate any finite number of input arguments.

Definition 4.2 (see [35]). Let 𝐴: [0,1]𝑁→[0,1] be a modular aggregation function (modular average), βˆ‘π΄(π‘₯)=𝑛𝑖=1𝑓𝑖(π‘₯𝑖). Then, its symmetrization 𝑆𝐴 is called the OMA, that is, 𝑆𝐴=OMA is given by OMA(π‘₯)=𝑛𝑖=1𝑓𝑖π‘₯𝜎(𝑖)ξ€Έ,(4.2) where 𝑓1,𝑓2,…,𝑓𝑛: [0,1]β†’[0,1] are the nondecreasing functions satisfying βˆ‘π‘›π‘–=1𝑓𝑖=id (identity on [0,1]).

Motivated by the extension principle of HFSs and the OMA, we propose an extension principle based on the OMA so as to develop basic operators and aggregation operations of DHFS. With respect to DHFSs, the new extension of an operator β„€ considers all the values in the DHFSs and the application of β„€ on them, which is defined as follows.

Definition 4.3. Let the functions β„‚: [0,1]𝑁→[0,1] and β„•: [0,1]𝑁→[0,1], and let 𝐷 be a set of 𝑛dual hesitant fuzzy sets on the reference set 𝑋 represented as 𝐷={𝑑1,𝑑2,…,𝑑𝑛}={⟨π‘₯,{β„Ž(π‘₯)},{𝑔(π‘₯)}⟩}. Then, the extension of β„€ on 𝐷 is defined for each π‘₯ in 𝑋 by ℀𝐷(π‘₯)=βˆͺ𝛾1βˆˆβ„Ž1(π‘₯),𝛾2βˆˆβ„Ž2(π‘₯),…,π›Ύπ‘›βˆˆβ„Žπ‘›(π‘₯);πœ‚1βˆˆπ‘”1(π‘₯),πœ‚2βˆˆπ‘”2(π‘₯),…,πœ‚π‘›βˆˆπ‘”π‘›(π‘₯)=ℂ𝑓1𝛾1ξ€Έ,𝑓2𝛾2ξ€Έ,…,𝑓𝑛𝛾𝑛𝑓,β„•1ξ€·πœ‚1ξ€Έ,𝑓2ξ€·πœ‚2ξ€Έ,…,π‘“π‘›ξ€·πœ‚π‘›,ξ€Έξ€Έξ€Ύ(4.3) where 𝑓𝑖(π‘₯): [0,1]β†’[0,1], 𝑖=1,2,…𝑛.

If we let 𝑓𝑖(π‘₯)=π‘₯(𝑖=1,2,…𝑛), some basic operations can be obtained according to this extension principle in Example 4.4.

Example 4.4. Let 𝑑1 and 𝑑2 be two DHFEs such that 𝑑1={{0.1,0.3,0.4},{0.3,0.5}},𝑑2={{0.2,0.5},{0.1,0.2,0.4}}.(4.4) If β„‚=(𝛾1,𝛾2)max(𝛾1,𝛾2) and β„•(πœ‚1,πœ‚2)=min(πœ‚1,πœ‚2), then 𝑑1βˆͺ𝑑2=℀𝑑1βˆͺ𝑑2=βˆͺ𝛾1βˆˆβ„Ž1,𝛾2βˆˆβ„Ž2,πœ‚1βˆˆπ‘”1,πœ‚2βˆˆπ‘”2𝛾max1,𝛾2ξ€Έξ€·πœ‚,min1,πœ‚2ξ€Έξ€Ύ={{0,2,0.3,0.4,0.5},{0.1,0.2,0.3,0.4}}.(4.5)
Similarly, we have 𝑑1βˆ©π‘‘2=℀𝑑1βˆ©π‘‘2=βˆͺ𝛾1βˆˆβ„Ž1,𝛾2βˆˆβ„Ž2,πœ‚1βˆˆπ‘”1,πœ‚2βˆˆπ‘”2𝛾min1,𝛾2ξ€Έξ€·πœ‚,max1,πœ‚2ξ€Έξ€Ύ={{0,1,0.2,0.3,0.4},{0.3,0.4,0.5}}.(4.6)
In particular, if 𝛾1=𝛾2, then min(𝛾1,𝛾2) is a real number; if πœ‚1=πœ‚2, then max(πœ‚1,πœ‚2) is a real number: 𝑑𝑐1=℀𝑑𝑐1=βˆͺ𝛾1βˆˆβ„Ž1,πœ‚1βˆˆπ‘”1𝑑{{πœ‚},{𝛾}}={{0.3,0.5},{0.1,0.3,0.4}};1βŠ•π‘‘2=℀𝑑1βŠ•π‘‘2=βˆͺ𝛾1βˆˆβ„Ž1,𝛾2βˆˆβ„Ž2,πœ‚1βˆˆπ‘”1,πœ‚2βˆˆπ‘”2𝛾1βŠ•π›Ύ2ξ€Έ,ξ€·πœ‚1βŠ—πœ‚2𝑑={{0.28,0.55,0.44,0.65,0.52,0.70},{0.05,0.10,0.20,0.03,0.06,0.12}};1βŠ—π‘‘2=℀𝑑1βŠ—π‘‘2=βˆͺ𝛾1𝛾1βŠ—π›Ύ2ξ€Έ,ξ€·πœ‚1βŠ•πœ‚2ξ€Έξ€Ύ={{0.02,0.05,0.06,0.15,0.08,0.20},{0.37,0.44,0.05,0.55,0.03,0.19}}.(4.7)

Furthermore, we can get lots of aggregation operators by this extension principle. For example, if we let 𝑓𝑖(π‘₯𝑖)=πœ”π‘–π‘₯𝑖, βˆ‘π‘›π‘–=1πœ”π‘–=1 and β„‚(𝑓1(𝛾1),𝑓2(𝛾2),…,𝑓𝑛(𝛾𝑛))=βŠ•π‘›π‘–=1πœ”π‘–π›Ύπ‘–, then we can obtain the weighted dual hesitant fuzzy averaging (WDHFA) operator, which will not be discussed in this paper.

We now give another example, an application of DHFSs to group forecasting. In a traditional forecasting problem, the probability of uncertain event is often used to obtain expectations, however, it cannot reflect opinions from all decision makers, nor can it depict epistemic degrees of certainty and uncertainty in the same time. So, the DHFSs are employed to replace the probability in next example.

Example 4.5. Several directors of a pharmaceutical company need to decide the additional investment priorities to three subsidiaries in the next quarter based on the net income foresting of them. Assume that the epistemic degrees of three subsidiaries 𝑦𝑖(𝑖=1,2,3) with respect to the predictive values of the net incomes 𝑐𝑗(𝑗=1,2,3) are represented by the DHFEs 𝑑𝑖𝑗=βˆͺπ›Ύπ‘–π‘—βˆˆβ„Žπ‘–π‘—,πœ‚π‘–π‘—βˆˆπ‘”π‘–π‘—{{𝛾𝑖𝑗},{πœ‚π‘–π‘—}}, where 𝛾𝑖𝑗 indicates the degree that the alternative 𝑦𝑖 satisfies the criterion 𝑐𝑗, πœ‚π‘–π‘— indicates the degree that the alternative 𝑦𝑖 does not satisfy the criterion 𝑐𝑗, such that π›Ύπ‘–π‘—βˆˆ[0,1], πœ‚π‘–π‘—βˆˆ[0,1], 𝛾+𝑖𝑗+πœ‚+𝑖𝑗≀1, for details see Table 1.

Table 1: The DHFEs for group forecasting.

In what follows, we give an approach for group foresting in terms of DHFEs as follows.

Step 1. Utilize the score function of DHFEs (Definition 3.6) to obtain the score of each DHFE, and transform the results into the normalizations by the method given as 𝑓𝑖=βˆ‘3𝑗=1(𝑠(𝑑𝑖𝑗)+1)/2, 𝑏𝑖𝑗=(𝑠(𝑑𝑖𝑗)+1)/2𝑓𝑖 where π‘π‘–π‘—βˆˆ[0,1], 𝑖,𝑗=1,2,3as shown in Table 2.

Table 2

Step 2. Use 𝑒𝑖=𝑐𝑖𝑗×𝑏𝑖𝑗(𝑖,𝑗=1,2,3) to obtain the expectations of net incomes as shown in Table 3.
Thus, 𝑒1>𝑒3>𝑒2, and then 𝑦1≻𝑦3≻𝑦2, that is, 𝑦1 is the optimal choice of additional investment. Obviously, the DHFS is an effective and convenient tool applied to group forecasting. A transparent result can be obtained by utilizing the DHFS, which reflects the epistemic degree to the predictive values of net incomes. Comparing with other types of FSs, the DHFSs can take the information from the decision makers (directors) into account as much as possible, and it is more flexible in practical applications.

Table 3

5. Concluding Remarks

In this paper, we have introduced the dual hesitant fuzzy set (DHFS), which is a comprehensive set encompassing several existing sets, and whose membership degrees and nonmembership degrees are represented by a set of possible values. The common ground on the existing sets and the DHFS has been found out. Although in special cases, the DHFS can be reduced to some existing ones, it has the desirable characteristics and advantages of its own and appears to be a more flexible method to be valued in multifold ways according to the practical demands than the existing fuzzy sets, taking much more information given by decision makers into account. We have investigated some basic operations and properties of DHFSs, and an extension principle for DHFSs has also been developed for further study of basic operations and aggregation operators. Our results have been illustrated by a practical example of group forecasting.


The author, Bin Zhu, is very grateful to the anonymous reviewers for their insightful and constructive comments and suggestions that have led to an improved version of this paper. The work was supported by the National Natural Science Foundation of China (No.71071161).


  1. L. A. Zadeh, β€œFuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965. View at Google Scholar Β· View at Zentralblatt MATH
  2. L. A. Zadeh, β€œFuzzy logic and approximate reasoning,” Synthese, vol. 30, no. 3-4, pp. 407–428, 1975. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  3. L. A. Zadeh, β€œThe concept of a linguistic variable and its application to approximate reasoningβ€”I,” Information Sciences, vol. 8, no. 3, pp. 199–249, 1975. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  4. L. A. Zadeh, β€œFuzzy sets as a basis for a theory of possibility,” Fuzzy Sets and Systems, vol. 1, no. 1, pp. 3–28, 1978. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  5. L. A. Zadeh, β€œPRUFβ€”a meaning representation language for natural languages,” International Journal of Man-Machine Studies, vol. 10, no. 4, pp. 395–460, 1978. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  6. K. Atanassov, β€œIntuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  7. D. Dubois and H. Prade, Fuzzy Sets and Systems: Theory and Applications, vol. 144 of Mathematics in Science and Engineering, Academic Press, New York, NY, USA, 1980.
  8. S. Miyamoto, β€œMultisets and fuzzy multisets,” in Soft Computing and Human-Centered Machines, Z. Q. Liu and S. Miyamoto, Eds., pp. 9–33, Springer, Berlin, Germany, 2000. View at Google Scholar
  9. S. Miyamoto, β€œFuzzy multisets and their generalizations,” in Multiset Processing, C. S. Calude et al., Ed., vol. 2235 of Lecture Notes in Computer Science, pp. 225–235, Springer, Berlin, Germany, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  10. S. Miyamoto, β€œInformation clustering based on fuzzy multisets,” Information Processing and Management, vol. 39, no. 2, pp. 195–213, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  11. S. Miyamoto, β€œGeneralizations of multisets and rough approximations,” International Journal of Computational Intelligence Systems, vol. 19, no. 7, pp. 639–652, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  12. S. Miyamoto, β€œMultisets and fuzzy multisets as a framework of information systems,” in MDAI 2004, vol. 3131 of Lecture Notes in Artificial Intelligence, pp. 1–28, Springer, Berlin, Germany, 2004. View at Google Scholar
  13. S. Miyamoto, β€œRemarks on basics of fuzzy sets and fuzzy multisets,” Fuzzy Sets and Systems, vol. 156, no. 3, pp. 427–431, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  14. R. R. Yager, β€œOn the theory of bags,” International Journal of General Systems, vol. 13, no. 1, pp. 23–37, 1987. View at Publisher Β· View at Google Scholar
  15. R. Sambuc, FonctionsΟ•β€”floues, applicationΓ  l'aide au diagnostic en pathologie thyroidienne, Ph.D. thesis, UniversitΓ©de Marseille, Marseille, France, 1975.
  16. K. Atanassov and G. Gargov, β€œInterval valued intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 31, no. 3, pp. 343–349, 1989. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  17. V. Torra, β€œHesitant fuzzy sets,” International Journal of Intelligent Systems, vol. 25, pp. 529–539, 2010. View at Google Scholar
  18. V. Torra and Y. Narukawa, β€œOn hesitant fuzzy sets and decision,” in Proceedings of the 18th IEEE International Conference on Fuzzy Systems, pp. 1378–1382, Jeju Island, Korea, 2009.
  19. M. M. Xia and Z. S. Xu, β€œHesitant fuzzy information aggregation in decision making,” International Journal of Approximate Reasoning, vol. 52, no. 3, pp. 395–407, 2011. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  20. Z. S. Xu and M. M. Xia, β€œDistance and similarity measures for hesitant fuzzy sets,” Information Sciences, vol. 181, no. 11, pp. 2128–2138, 2011. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  21. Z. J. Wang, K. W. Li, and W. Z. Wang, β€œAn approach to multiattribute decision making with interval-valued intuitionistic fuzzy assessments and incomplete weights,” Information Sciences, vol. 179, no. 17, pp. 3026–3040, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  22. G. W. Wei and X. R. Wang, β€œSome geometric aggregation operators on interval-valued intuitionistic fuzzy sets and their application to group decision making,” in Proceedings of the International Conference on Computational Intelligence and Security (ICCIS '07), pp. 495–499, Harbin, China, December 2007.
  23. Z. S. Xu, β€œA method based on distance measure for interval-valued intuitionistic fuzzy group decision making,” Information Sciences, vol. 180, no. 1, pp. 181–190, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  24. Z. S. Xu and X. Q. Cai, β€œIncomplete interval-valued intuitionistic fuzzy preference relations,” International Journal of General Systems, vol. 38, no. 8, pp. 871–886, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  25. Z. S. Xu, J. Chen, and J. J. Wu, β€œClustering algorithm for intuitionistic fuzzy sets,” Information Sciences, vol. 178, no. 19, pp. 3775–3790, 2008. View at Publisher Β· View at Google Scholar
  26. F. Doctor, H. Hagras, and V. Callaghan, β€œA type-2 fuzzy embedded agent to realise ambient intelligence in ubiquitous computing environments,” Information Science, vol. 171, pp. 309–334, 2005. View at Publisher Β· View at Google Scholar
  27. H. Hagras, β€œA hierarchical type-2 fuzzy logic control architecture for autonomous mobile robots,” IEEE Transactions Fuzzy Systems, vol. 12, no. 4, pp. 524–539, 2004. View at Publisher Β· View at Google Scholar
  28. R. I. John and P. R. Innocent, β€œModeling uncertainty in clinical diagnosis using fuzzy logic,” IEEE Transactions Fuzzy Systems, Man, and Cybernetics, vol. 35, no. 6, pp. 1340–1350, 2005. View at Publisher Β· View at Google Scholar
  29. G. M. Mendez and O. Castillo, β€œInterval type-2 TSK fuzzy logic systems using hybrid learning algorithm,” in Proceedings of the IEEE FUZZ Conference, pp. 230–235, Reno, Nev, USA, 2005.
  30. S. Greenfield, F. Chiclana, S. Coupland, and R. John, β€œThe collapsing method of defuzzification for discretised interval type-2 fuzzy sets,” Information Sciences, vol. 179, no. 13, pp. 2055–2069, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  31. N. N. Karnik and J. M. Mendel, β€œCentroid of a type-2 fuzzy set,” Information Sciences, vol. 132, no. 1–4, pp. 195–220, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  32. J. T. Rickard, J. Aisbett, and G. Gibbon, β€œSubsethood of type-n fuzzy sets,” IEEE Transactions Fuzzy Systems, vol. 17, no. 1, pp. 50–60, 2009. View at Publisher Β· View at Google Scholar
  33. S. K. De, R. Biswas, and A. R. Roy, β€œSome operations on intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 114, no. 3, pp. 477–484, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  34. Z. S. Xu and R. R. Yager, β€œSome geometric aggregation operators based on intuitionistic fuzzy sets,” International Journal of General Systems, vol. 35, no. 4, pp. 417–433, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  35. R. Mesiar and A. Mesiarova-Zemankova, β€œThe ordered modular averages,” IEEE Transactions on Fuzzy Systems, vol. 19, pp. 42–50, 2011. View at Publisher Β· View at Google Scholar