Abstract
Dealing with uncertainty is a difficult task and different tools have been proposed in the literature to handle it. Hesitant fuzzy sets are highly useful in resolving situations where people hesitate when providing their preferences. In this paper, the concept of a hesitant fuzzy soft set is modified to manage the situations in which experts assess an alternative according to finite criteria in all possible values. Next a distance measure is defined between any two elements of hesitant fuzzy soft set. Technique for order preference by similarity to ideal solution is also proposed in hesitant fuzzy soft set. An example is constructed for ranking of alternatives.
Introduction
Decision makers have to face many complicated decision making problems in different disciplines of real life, like that economics, environment, management, engineering and social science. These problems are quite difficult to model because of uncertainty and vagueness. The multi-criteria decision making provides an effective framework for comparison based on the evaluation of multiple conflicting criteria. Decision process of selecting a suitable alternative has to take many factors into considerations; for instance, risks, needs, benefits, etc. Representation of human preference is not suitably possible with exact numeric values for real world decision problems because there are various types of uncertainties involve in these problems. To handle uncertainty and vagueness, fuzzy set theory, probability theory and rough set theory are to be used as mathematical tool. Bellman and Zadeh [4] used the concept of fuzzy set theory in decision making for the solution of vagueness and imprecision in human preferences. Torra [16] first introduced the idea of hesitant fuzzy set (HFS) theory to manage those situations where membership degree of an element in a set is a finite set of all possible values. HFS theory can reflect the hesitancy in stating their preferences by decision makers over objects as compared to the ordinary fuzzy set theory and its different extensions. Wang et al. [18] proposed the idea of hesitant fuzzy soft set (HFSS) for the parametrized description of objects with HFS. They also applied HFSS in multi criteria decision making problem.
There are several decision making techniques available in literature. One of commonly used approaches in multiple criteria decision making problems is the technique for order of preference by similarity to ideal solution (TOPSIS).
This contribution is set out as follows
Preliminaries
First we review some basic concepts, necessary to understand our proposal.
Let X be a universal set. A fuzzy set B in X is a mapping from X to [0, 1] . The value B (x) is the degree of membership of x in B .
A hesitant fuzzy set (HFS) is defined by Torra [16] in terms of a function that returns a set of membership values for each x ∈ X . A hesitant fuzzy set on X is a function h that when applied to X returns a subset of [0, 1] , which can be represented as the following mathematical symbol:
A typical hesitant fuzzy set is a fuzzy set where h (x) is a finite subset of [0, 1] . Examples of hesitant fuzzy sets are given below where h (x) represents the possible membership values of the set at x .
It is noted that the number of values in different HFEs may be different, let lh(x) be the number of values in h (x) . In case values in an HFE are out of order; we can arrange them in such a order, that an HFE h, let σ : (1, 2, . . . , n) → (1, 2, . . . , n) be a permutation satisfying hσ(i) ≤ hσ(i+1), i = 1, 2, . . . , l h - 1 . Xu and Xia [20] proposed that two HFEs h1 and h2 have the same length l and h1σ(i) = h2σ(i) if and only if h1 = h2, for i = 1, 2, . . . , l .
Hesitant fuzzy soft set
Wang et al. [18] proposed the idea of hesitant fuzzy soft set from the subset of parameters’ set to set of all hesitant fuzzy sets of universal set. Here we propose a new way for the description of hesitant fuzzy soft set.
Let X be a universe of discourse, E = {e1, e2, . . . , e n } be a set of parameters and H (E) be the set of all hesitant fuzzy sets in E . F (X) is called a hesitant fuzzy soft set (HFSS), where F is a mapping given by F : X → H (E) . F (x) is called a hesitant fuzzy soft element (HFSE) and F (x)/e is a HFE.
F (x) = F (y) if and only if F (x)/e = F (y)/e for all e ∈ E .
HFSS theory is a generalization of HFS theory. If set of parameters is singleton set then every HFSS on X is also HFS on X . Already defined union and intersection operations for HFSS in [18] are not the generalization of these operations for the case of HFS. Here we define these basic operation which are also satisfying the union and intersection of HFSS for the singleton set of parameter just like HFS.
Let F (X) = {F (x)/e | x ∈ X and e ∈ E} and G (X) = {G (x)/e | x ∈ X and e ∈ E} be two HFSS, then we define their union, intersection and complement as follow:
max(min(F (x)/e) , min(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e} .
(F (X) ∪ G (X))
c
= (F (X))
c
∩ (G (X))
c
, (F (X) ∩ G (X))
c
= (F (X))
c
∪ (G (X))
c
.
It is enough to show that (F (x)/e ∪ G (x)/e)
c
= (F (x)/e)
c
∩ (G (X)/e)
c
for any arbitrary x ∈ X and e ∈ E . Let a ∈ F (x)/e ∪ G (x)/e which implies that min(max(F (x)/e) , max(G (x)/e)) ≤ a ≤ max(max(F (x)/e) , max(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . It can be rewritten as 1 - (min(max(F (x)/e) , max(G (x)/e))) ≥ 1 - a ≥ 1 - (max(max(F (x)/e) , max(G (x)/e))) , a ∈ F (x)/e and a ∈ G (x)/e . It implies that max(1 - max(F (x)/e) , 1 - max(G (x)/e)) ≥ 1 - a ≥ min(1 - max(F (x)/e) , 1 - max(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . Thus max(min((F (x)/e)
c
) , min((G (x)/e)
c
)) ≥ 1 - a ≥ min(min((F (x)/e)
c
) , min((G (x)/e)
c
) , 1 - a ∈ (F (x)/e)
c
and 1 - a ∈ (G (x)/e)
c
. It further implies that 1 - a ∈ (F (x)/e)
c
∩ (G (X)/e)
c
. Therefore Conversely; Let 1 - a ∈ (F (x)/e)
c
∩ (G (X)/e)
c
it implies that max(min((F (x)/e)
c
) , min((G (x)/e)
c
)) ≥ 1 - a ≥ min(min((F (x)/e)
c
) , min((G (x)/e)
c
) , 1 - a ∈ (F (x)/e)
c
and 1 - a ∈ (G (x)/e)
c
. It further implies that max(1 - max(F (x)/e) , 1 - max(G (x)/e)) ≥ 1 - a ≥ min(1 - max(F (x)/e) , 1 - max(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . Therefore 1 - (min(max(F (x)/e) , max(G (x)/e))) ≥ 1 - a ≥ 1 - (max(max(F (x)/e) , max(G (x)/e))) , a ∈ F (x)/e and a ∈ G (x)/e . Hence min(max(F (x)/e) , max(G (x)/e)) ≤ a ≤ max(max(F (x)/e) , max(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . This shows that a ∈ F (x)/e ∪ G (x)/e which further implies that 1 - a ∈ (F (x)/e ∪ G (x)/e)
c
. So
Equation. 1 and 2, imply that It is enough to show that (F (x)/e ∩ G (x)/e)
c
= (F (x)/e)
c
∪ (G (X)/e)
c
for any arbitrary x ∈ X and e ∈ E . Let a ∈ F (x)/e ∩ G (x)/e which implies that min(min(F (x)/e) , min(G (x)/e)) ≤ a ≤ max(min(F (x)/e) , min(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . Thus 1 - (min(min(F (x)/e) , min(G (x)/e))) ≥ 1 - a ≥ 1 - (max(min(F (x)/e) , min(G (x)/e))) , a ∈ F (x)/e and a ∈ G (x)/e . It implies that max(1 - min(F (x)/e) , 1 - min(G (x)/e)) ≥ 1 - a ≥ min(1 - min(F (x)/e) , 1 - min(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . Therefore max(max((F (x)/e)
c
) , max((G (x)/e)
c
)) ≥ 1 - a ≥ min(max((F (x)/e)
c
) , max((G (x)/e)
c
) , 1 - a ∈ (F (x)/e)
c
and 1 - a ∈ (G (x)/e)
c
. It implies that 1 - a ∈ (F (x)/e)
c
∪ (G (X)/e)
c
. So Conversely; Let 1 - a ∈ (F (x)/e)
c
∪ (G (X)/e)
c
it implies that max(max((F (x)/e)
c
) , max((G (x)/e)
c
)) ≥ 1 - a ≥ min(max((F (x)/e)
c
) , max((G (x)/e)
c
) , 1 - a ∈ (F (x)/e)
c
and 1 - a ∈ (G (x)/e)
c
. It further implies that max(1 - min(F (x)/e) , 1 - min(G (x)/e)) ≥ 1 - a ≥ min(1 - min(F (x)/e) , 1 - min(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . This inequality can be further written as 1 - (min(min(F (x)/e) , min(G (x)/e))) ≥ 1 - a ≥ 1 - (max(min(F (x)/e) , min(G (x)/e))) , a ∈ F (x)/e and a ∈ G (x)/e . Therefore min(min(F (x)/e) , min(G (x)/e)) ≤ a ≤ max(min(F (x)/e) , min(G (x)/e)) , a ∈ F (x)/e and a ∈ G (x)/e . This shows that a ∈ F (x)/e ∩ G (x)/e which further implies that 1 - a ∈ (F (x)/e ∩ G (x)/e)
c
. So
Equation. 3 and 4, imply that
■
Union of HFSSs F1 (X) ∪ F2 (X) is given in Table 12.
Complement of HFSS F1 (X) ∪ F2 (X) is given in Table 13.
Complement of HFSSs F1 (X) and F2 (X) are shown in Tables 14 and 15, respectively.
Intersection of HFSSs (F1 (X)) c and (F2 (X)) c is given in Table 16. In this example, it is shown that these HFSSs F1 (X) and F2 (X) holds De Morgan’s Laws.
Multi-criteria group decision making problem includes uncertain and imprecise data and information. First we give a distance notion for any two HFE’s and then use this distance in construction of distance between any two HFSE’s.
Let F (x) and F (y) be the two HFSEs, then distance ‘D’ between F (x) and F (y) is defined as D (F (x) , F (y)) = ∑e i ∈Ed (F (x)/e i , F (y)/e i ) , where
d (F (x)/e i , F (y)/e i )
=
d (F (x)/e
i
, F (y)/e
i
) =0 iff F (x)/e
i
= F (y)/e
i
; d (F (x)/e
i
, F (y)/e
i
)≥0 ; d (F (x)/e
i
, F (y)/e
i
) = d (F (y)/e
i
, F (x)/e
i
) ; d (F (x)/e
i
, F (z)/e
i
) + d (F (z)/e
i
, F (y)/e
i
) ≥ d (F (x)/e
i
, F (y)/e
i
) .
d (F (x)/e
i
, F (y)/e
i
) =0
and
for all a ∈ F (x)/e
i
and for all b ∈ F (y)/e
i
⇔ For every a there exist b such that a = b and for every b there exist a such that b = a . ⇔ F (x)/e
i
= F (y)/e
i
Since a, b ∈ [0, 1] , then |a - b|≥0 and |b - a|≥0 . As we know that the min and max of non-negative numbers is also non-negative, so
Thus, d (F (x)/e
i
, F (y)/e
i
) ≥0 . Since d (F (x)/e
i
, F (y)/e
i
) = and we know that max(a, b) = max(b, a) . So, d (F (x)/e
i
, F (y)/e
i
) =
Hence d (F (x)/e
i
, F (y)/e
i
) = d (F (y)/e
i
, F (x)/e
i
) . Since d (F (x)/e
i
, F (y)/e
i
) = and we know that max(a, b) ≤ max(a, b, c) for all a, b, c ∈ [0, 1] . So, d (F (x)/e
i
, F (y)/e
i
) ≤
≤ +
Hence d (F (x)/e
i
, F (y)/e
i
) ≤ d (F (x)/e
i
, F (z)/e
i
) + d (F (z)/e
i
, F (y)/e
i
) .
■
The following corollary can be proved very easily.
D (F (x) , F (y))≥0 ; D (F (x) , F (y)) =0 if and only if F (x) = F (y) ; D (F (x) , F (y)) = D (F (y) , F (x)) ; D (F (x) , F (y)) ≤ D (F (x) , F (z)) + D (F (z) , F (x)) .
Next we give construction of TOPSIS using our notion of distance, which is then used for multi-criteria group decision making where the opinions of decision makers are expressed in HFSS. We suppose that in this group decision making problem, DM = {dm1, dm2, …, dm
K
} is the set of the decision makers involved in the decision problem; AL = {al1, al2, …, al
m
} is the set of the considered alternatives and CR = {cr1, cr2, …, cr
n
} is the set of the criteria used for evaluating the alternatives. MCDM problem where performance of alternatives AL with respect to decision maker dm
l
and criteria CR is denoted by HFSS F
l
(AL) , in a group decision environment with K decision makers. We calculate the final decision in HFSS by aggregating the opinions of DMs. F (al
i
)/cr
j
= {x | x ∈ F
l
(al
i
)/cr
j
and s
p
ij
≤ x ≤ s
q
ij
for all l} where
and. Performance of alternative al
i
with respect to criterion cr
j
is denoted as F (al
i
)/cr
j
. Let Ω
b
be the collection of benefit criteria (i.e., the larger cr
j
, the greater preference) and Ω
c
be the collection of cost criteria (i.e., the smaller cr
j
, the greater preference). The HFSS positive ideal alternative, denoted as F (al+) = {F (al+)/cr1, F (al+)/cr2, . . . , F (al+)/cr
n
} , and the HFSS negative ideal alternative, denoted as F (al-) = {F (al-)/cr1, F (al-)/cr2, . . . , F (al-)/cr
n
} , are defined as follows: Calculate the relative closeness coefficient (RC) of each alternative to the ideal solution as follows: Rank all the alternatives al
i
(i = 1, 2, …, m) according to the relative closeness coefficient RC (al
i
) of Equation (5) greater the value RC (al
i
) , better the alternative ali.
In this section, we give an example by utilizing the method proposed in Section 4 to get the best alternative. Water and power development authority (WA-PDA) wants to purchase thermal power generation units. There are five types of units available with the following four criteria: cr1 is the environmental pollution; cr2 electricity generation; cr3 is the warranty period, cr4 is maintenance problems. Technical committee consists of three members to decide the unit type. The five possible units (alternatives) al
i
(i = 1, 2, 3, 4, 5) are to be evaluated using the HFSS by three committee members dm
K
(K = 1, 2, 3) , as listed in Tables 17–19. The final aggregated decision Table 20 is constructed by utilizing Tables 17–19. Relative closeness coefficient (RC) by equation (5) of each alternative to the ideal solutions: RC (al1) =2.75/(2.75 + 2) = 0.5789 ; RC (al2) =2.7/(2.7 + 2.3) = 0.54 ; RC (al3) =3/(3 + 2) = 0.6 ; RC (al4) =1.3/(1.3 + 3.17) = 0.2908 ; RC (al5) =1.8/(1.8 + 3.2) = 0.36 . Rank all the alternatives al
i
(i = 1, 2, …, 5) according to the relative closeness coefficient RC (al
i
) : al3 ≻ al1 ≻ al2 ≻ al4 ≻ al5 . Thus the most desirable alternative is al3 .
Conclusion
In this paper we describe the HFSS in a new way and an extended fuzzy TOPSIS method is proposed for solving multi-criteria decision making problem with the opinion of some experts in HFSS. TOPSIS is mainly based on distance measure to calculate the relative closeness coefficient of alternatives. Our proposed distance measure is also metric. It will be very helpful to discuss various topological structures for HFSS. The previous decision making technique for HFSS is based on level sets [18]. Here TOPSIS is given to rank the alternatives from best to worst or vice versa. An example is given for the ranking of alternatives to show the significance of our proposed decision making procedure. This newly proposed method is based on fuzzy TOPSIS for HFSS. In future we plan to study TOPSIS for HFSS with the use of Choquet integral and the interaction phenomena about the criteria are also under consideration.
Acknowledgments
The authors would like to thank the editors and the anonymous reviewers, whose insightful comments and constructive suggestions helped us to significantly improve the quality of this paper.
