Abstract
As the rapidly progressing applications of uncertainty theories, the need for modifications to some of their existing mathematical tools or creating new tools to deal correctly with them in various environments is also exposed. Hesitant fuzzy numbers (HFNs), as a particular case of fuzzy numbers, are not an exception to this rule. Considering the necessity of determining the distance between given HFNs in many of their practical applications, this article shows that the existing methods either do not provide correct results or are not able to meet the needs of users. This paper aims to present new methods for distance measures of hesitant fuzzy numbers. To do them, three prevalent distance measures, i.e., the generalized distance measure, the Hamming distance measure, and the Euclidean distance measure, will be optimized into three distinct trinal categories. With the approach of reducing error propagation via reducing some unnecessary mathematical computations, new distance measures on HFNs will be introduced, first. The middle is the modification of the first category, which is more suitable when the given HFNs are equal-distance by the previous formula. Also, as the third category, the weighted form of these distance measures has been proposed, to be used where the real and membership parts of HFNs are not of equal importance. As an application of these, a TOPSIS-based technique for solving multi-attribute group decision-making problems with HFNs has been proposed. A numerical example will be implemented to describe the presented method. Finally, along with the validation of the proposed method, its numerical comparison with some other existing methods will be discussed in detail.
Introduction
It is not in vain to call today’s world, which is the product of right/wrong, timely/untimely, and so on, decisions, a world full of successes and failures. In the process of solving practical problems, familiarity with the nature of the given problem is very significant in doing better in its first step (modeling of uncertainty) and achieving the successfulness. In general, the real world’ problems are divided into three categories [42]: Problems with a very limited number of factors (maximum in levels 2, 3, and 4 factors), called organized simplicity problems; Problems with a large but finite number of factors, called organized complexity problems; Problems with an infinite number of factors, called disorganized complexity problems.
Many of the real problems have a large, but limited number of factors and fall into the category of organized complexity problems, that have remained untouched [42].
Uncertainty, as the main element in the decision-making process, plays an important role in achieving one of the two mentioned positions (success and failure), and with more mastery of this element, more success will be possible. So far, to model uncertainty as a branch of ignorance with ingredients of vagueness, probability, and ambiguity [37], various theories have been proposed. For example, after introducing the FSs theory and its many applications, in response to the need for modeling some other types of uncertainty problems, other extensions of it were introduced. Some of these are type-2 fuzzy sets [55], intuitionistic fuzzy sets [1], hesitant fuzzy sets (HFSs) [39], hesitant fuzzy numbers (HFNs) [17], generalized hesitant fuzzy numbers (GHFNs) [19], pythagorean fuzzy set [4], neutrosophic sets [62], neutrosophic fuzzy sets [2], etc. It is also possible to see many scientific researches that are trying to improve decision-making processes by introducing new tools or by combining existing scientific tools. Three-way decision theory [57, 60], probabilistic linguistic term sets [14-16], three-way consensus model based on regret theory [61], double hierarchy hesitant fuzzy linguistic term set [12, 59], linguistic preference orderings [13] are examples of such efforts.
HFSs, as one of the extensions of FSs, are suitable for situations where the hesitation degrees of the decision-maker (DM) have been given by a finite set of some values between 0 and 1. This has caused HFSs to receive a lot of attention, and find many applications in solving organized complexity problems [31]. For simplicity, what is used in practical applications of HFSs, is the set of hesitation degrees, called hesitant fuzzy elements (HFEs). Therefore, some mathematical concepts such as arithmetic operations and operation laws [24, 58], distance/similarity/entropy measures and correlation coefficient [28, 51], aggregation operators [44], and the comparison of hesitant fuzzy elements [7, 27], have been investigated in various manners by scientists. In some other real applications, HFEs have been extended to HFNs, where each element is either defined as a fuzzy number in [0, 1] [33], or as trapezoidal fuzzy numbers that are different only in their heights [3].
However, due to the variety of sources of uncertainty in the real world, which is called the garden of uncertainty by Pollak [32], it cannot be claimed that the need for uncertainty modeling tools has been eliminated. For example, when a weightlifter requests a certain weight, say 200kg, there is no guarantee of his success. Let attendances’ comments about his success have been expressed with the HFE {.4, . 5, . 6, . 75, . 8, . 9, . 95}. As a result, we have two types of data for this athlete that may be modeled as an interval [180, 205], a trapezoidal fuzzy number [180, 187, 195, 205], and so on. It is caused that the domain of possible weights is extended from a singleton to an infinite set and that the cardinality of the membership set is also extended to infinite. This will change the nature of the problem from organized complexity to disorganized complexity problems, and then the original problem will be abandoned unresolved. Perhaps this approach has led Waever [42] to claim that a large part of real-world issues (i.e., organized complexity problems) remains intact.
In one of the latest generalizations, it is assumed that there is a predetermined crisp value p, or the DM uses a real value for whatever reason that hesitated and expressed by an HFE {γ1, γ2, …, γ
n
} , γ
i
∈ [0, 1] (i = 1, …, n). In this case, preserving the nature of problem means preserving the originality of these two given data sets, as much as possible. It can be done by considering them as a unique concept as 〈p ; {γ1, γ2, …, γ
n
} 〉. The ordered pair
It should be mentioned that HFNs have existed in the real world and that before they were introduced, other types of modeling tools instead of them have been mistakenly used. Also, note that we encounter with three completely different definitions of HFNs in the literature, which are only common in the title. Deli [3] assumed that a trapezoidal fuzzy number [a, b, c, d] , a < b < c < d is not necessarily normal, and its height may be hesitated by the finite set {h1, h2, …, h k } , h i ∈ [0, 1]. It is displayed by 〈 [a, b, c, d] , {h1, h2, …, h k } 〉 and called an HFN. The second definition has been introduced by Ranjbar et al. [33, 34], in which an HFN is an HFE whose elements are fuzzy numbers. The latest, which is discussed in this paper, defines the HFN as an ordered pair 〈p ; {γ1, γ2, …, γ n } 〉 [18].
In order to apply the new concept of HFNs, the operation laws of HFNs, arithmetic operations of HFNs, the distance measure of HFNs, and the comparison method of HFNs were introduced [8, 17]. Recently, some mean-based aggregation operators of HFNs such as hesitant fuzzy weighted arithmetic averaging, hesitant fuzzy weighted geometric averaging, hesitant fuzzy ordered weighted arithmetic averaging, and hesitant fuzzy ordered weighted geometric averaging operators, have been discussed to aggregate HFNs [9, 17].
Also, if for the real part of the HFN 〈p ; {γ1, γ2, …, γ n } 〉, i.e. p, more than one value and of course with a finite set of values such as {p1, p2, …, p m } are provided, by generalizing this concept to generalized hesitant fuzzy numbers (GHFNs) 〈 {p1, p2, …, p m } ; {γ1, γ2, …, γ n } 〉, γ i ∈ [0, 1] (i = 1, …, n), they can be used to model such situations [9, 20].
Determining the distance between HFNs is one of the necessities in many of their practical applications. Although methods have been introduced for this task [8], there is evidence that in some cases do not lead to reliable results. Therefore, the purpose of this article is to find ways to calculate the distance more accurately. For this purpose, the existing methods have been examined and detailed pathology, it was observed that in the process of calculating the distance, each of the degrees of doubt in each HFN participated with all the degrees of doubt of the other HFN. In other words, for two given HFNs 〈p ; {γ1, γ2, …, γ
n
} 〉 and 〈q ; {η1, η2, …, η
m
} 〉, there exist m × n different combinations of hesitation degrees. Also, by dividing the resulting values by the number of performed operations, i.e., 1 + m × n in this case, as a result, the final obtained value is far from the real state. For example, let
Moreover, from the perspective of error analysis, when we work with approximate data, as the mathematical operations increase, so does the computational error in the final result. As the HFNs are approximate values to model a real uncertain situation, these formulas have also disadvantages from the point of view of error propagation due to the excessive use of degrees of doubt in determining the distance and in fact, due to great mathematical calculations. Therefore, in this paper, in order to solve the beforementioned defects, we have introduced improved distance functions in three separate categories. In fact, m × m different combinations of hesitation degrees have been reduced to m, (m is the cardinality of the membership set of the given adjusted HFNs). The common feature of all three categories is that, first, the number of calculations has been reduced without losing the available information. Secondly, the dispersion of membership degrees is considered in determining the distance.
In a special category of decision problems called multi-criteria decision-making (MADM), a finite number of options must be ranked according to a finite number of criteria. Some methods for solving these problems are as follows: analytic hierarchy process (AHP), analytic network process (ANP), Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS), Choquet integral (CI), simple additive weighting (SAW) [40], Vise Kriterijumsk Optimizacija Kompromisno Resenje (VIKOR) [6], ELimination and Choice Expressing REality (ELECTRE) [56], and so on. These problems are one of the areas that have the greatest variety of data uncertainty. Therefore, by generalizing the above existing methods from accurate to inaccurate environments, the various introduced theories can be extensively used to model uncertainty [30, 36]. For instance, some of the generalized methods to solve uncertain MADM problems with HFSs data are the hesitant fuzzy TOPSIS method [53], hesitant fuzzy VIKOR method [23, 29], hesitant fuzzy power average-based method [22], hesitant fuzzy COMET (Characteristic Objects Method) [5], hesitant fuzzy preference relation [27], hesitant fuzzy aggregation operators [24, 58], some approaches to hesitant fuzzy MADM problems with incomplete weight information [45], and defining a class of hesitant fuzzy knowledge measure with its application in MADM [21].
Also, utilizing HFNs, a hybrid technique TOPSIS-CI based on combining CI and TOPSIS methods [8] and mean-based averaging methods [17] are proposed to solve multi-attribute group decision-making (MAGDM) problems.
In this paper, new distinct modifications of three popular distance measures –the generalized distance measure, Hamming distance measure, and Euclidean distance measure–will be proposed to determine the distance between any two given HFNs. These enable us to manage the error propagation by reducing the number of computations, and also, we can increase the efficiency of the proposed distance measures by considering the closeness and dispersion of input data. Based on these new distance measures, the most familiar and successful method in solving MADM problems, the TOPSIS method, will be updated to be applied with the decision matrix
In this way, the continuation of the article will be set as follows. HFSs, HFNs, and some concepts needed in other sections are given in Section 2. The new three distinct optimized trinal categories of hesitant distance measures of HFNs, called generalized distance measure (d
G
), Hamming distance measure (d
H
), and Euclidean distance measure (d
E
), have been proposed in Section 3. The TOPSIS method will be extended to solve an MADM problem with the decision matrix
HFSs and HFNs
HFSs, HFNs, and some other necessary concepts will be reviewed in this section.
Let X be a reference set. A subset E of X defined as E = {< x, h (x) > |x ∈ X}, is called an HFS, where h (x) = {γ1, γ2, …, γ l } for γ j ∈ [0, 1] (j = 1, …, l) is a set containing the membership degrees of x ∈ X to the set E [39, 48]. For simplicity, the HFE h (x) = {γ1, γ2, …, γ l }, is used to model uncertainty in practical applications of HFSs. Therefore, many required computational and mathematical concepts, such as arithmetic operations, comparisons, distance determination, and so on, are developed on this basis [27, 48]. It is clear that two different HFEs can be different in terms of the number of members. Consider two arbitrary HFEs h1 and h2, with |h1| = k and |h2| = l, where k < l. To adjust them, the HFE h1 must be extended by repeating a value l - k times in it, which is defined as follows: In the optimistic state, it is the maximum element in h1; in the pessimistic state, it is the minimum element in h1; in the indifference state, it is 0.5; and otherwise, it is the power average of the available elements in h1 [22, 26].
In some real applications of HFSs, we need to compute the distance between given HFEs. The Euclidean and Hamming distances, as two famous distance functions, have been extended to do it [38, 50].
Arithmetic operations of HFEs have been also defined in different ways [24, 58].
(1) h λ = {(γ j ) λ|j = 1, 2, …, l},
(2) λh = {1 - (1 - γ j ) λ|i = 1, 2, …, l },
(3) h1 ⊕ h2 = {γ1(j) + γ2(j) - γ1(j) γ2(j)|j = 1, 2, …, l },
(4) h1 ⊗ h2 = {γ1(j) γ2(j)|j = 1, 2, …, l },
(5)
(6)
where γ(j) and γi(j) are the jth smallest value in h and h i , respectively.
In response to the great variety of real problems that necessitated new tools to solve them, HFNs were introduced by generalizing hesitant fuzzy elements, and they were applied to solve decision-making problems [3, 33].
In this section, the generalized, Hamming, and Euclidean distances [10, 35] will be updated to be used with HFNs.
Considering the obtained distances in both methods, the newly introduced method in this paper is more logical. Because, if we consider any real number to be an HFN with satisfaction degrees equal to 1, then the new definitions of distance functions are reduced to the distance between two real numbers. For example, the HFNs
Furthermore, from the point of view of error propagation and runtime, with increasing the number of calculations, the modeling error and runtime will also be increased. So, the applicability of the proposed distance measures to a real number and the reduction of mathematical calculations are the most important factors that make the new method superior to the previous ones.
However, by reducing the number of calculations and error propagation, the revised distance measures in Def. 7 are able to provide better results than Eqs. (1), in some real situations especially when the given HFNs are equal distances by these formulas, they may give us incorrect results (see the following example). This is because they are only based on the given absolute values in each HFNs, and the dispersion or concentration of degrees of doubt in determining the distance between HFNs has not been taken into account. In this paper, modified distance measures are introduced to solve this problem in the cases where the two given distinct HFNs are equal distances.
Based on the proposed Hamming distance in Def. 7, we have
Now, let us consider the given HFNs in Example 2, and compute their distances from each other using the proposed modified distance measures in Def. 8. Then, we will have
In some situations, for any reason, during the process of distance detection, the two real and membership parts of given HFNs are not equally important. Then, we can weight them and propose weighted distance measures as follows.
In this section, the modified distance measures will be applied to solve a MADM problem using the TOPSIS method, in which HFNs are used as assessment values.
Consider a general form of a MADM problem with m options O1, O2, …, O
m
, n weighted criteria c1, c2, …, c
n
, and the weight vector W = (w1, w2, …, w
n
). Suppose that the assessment value of ith alternative against to jth criterion is modeled by the HFN
The following steps display an extension of the TOPSIS method with HFNs. To begin the solving process, the elements of the hesitant decision matrix must be adjusted.
Numerical example
A practical MADM problem using the TOPSIS method will be solved in this section.
In the second method, with respect to six criteria, six NGOs, as six DMs familiar with the specialized activities of the evaluated units, have been invited to evaluate the performance of the units and express their opinions in the form of a finite set of some values between 0 and 1 as ∪
i
{γ
i
}, wich are summed up in a hesitant decision matrix
Then, these two assessment values about each option regarding each criterion will be mixed together to obtain an HFN and arranged in a hesitant decision matrix
Then, utilizing the TOPSIS method, the following steps will be taken.
Numerical results of solving Example 3 using the TOPSIS method
Numerical results of solving Example 3 using the TOPSIS method
Given the dual parts (real part and HFEs part) of HFNs used in the hesitant decision matrix, in this subsection, we will use each of these parts alone, in the problem-solving process, firstly. In addition, we will solve the above problem by the TOPSIS-CI method [8], and we will analyze and compare the results.
I. Crisp data
Choose the real part of given HFNs and construct the real decision matrix D = [d ij ] 7×6, where d ij are involved in the ranking process. Then, the final score of the ith option based on the SAW method is O5 ≻ O4 ≻ O6 ≻ O7 ≻ O3 ≻ O1 ≻ O2, and utilizing the TOPSIS method results is O5 ≻ O3 ≻ O4 ≻ O6 ≻ O7 ≻ O1 ≻ O2. In this case, based on the results of both methods, O5, the option with unrealistic evaluations, is the best option.
II. HFEs data
If we consider only the decision matrix with HFEs, in which the option with the unrealistic evaluations has the least satisfaction, then based on the TOPSIS method, the options are arranged as follows:
O2 ≻ O6 ≻ O3 ≻ O7 ≻ O4 ≻ O1 ≻ O5.
A comparison between the results of the crisp and hesitant fuzzy decision matrices shows that the worst and the best options in each are the best and the worst options in the other, respectively. This means that some judges’ opinions about organizations are so far from their self-assessment. It is not possible to abandon any of them in favor of the other, and a way must be found to use both such that the assessment is close to reality.
When two decision matrices are combined, and the decision matrix is obtained with HFNs, they are slightly modified. In this case, as can be seen in cases III, and IV, by changing the solving method or by changing some needed concepts in a single method, such as distance functions in the TOPSIS method, the obtained rankings are also different.
III. HFNs data and TOPSIS-CI method
In this case, we refer to what is obtained in [8]: O6 ≻ O4 ≻ O3 ≻ O7 ≻ O2 ≻ O1 ≻ O5.
IV. HFNs data and the TOPSIS method based on given distance measures as in Equation (1)
Consider the given Hamming distance measure in Equation (1), and apply one of them with the proposed steps in the TOPSIS method in Section 5. Then based on Table 2 by the Hamming distance given in Equation (1), we have O2 ≻ O4 ≻ O6 ≻ O7 ≻ O3 ≻ O1 ≻ O5.
Solving Example 3 using Equation (1) with the TOPSIS method
Solving Example 3 using Equation (1) with the TOPSIS method
Comparing the given results in cases III and IV with what is obtained by the proposed method in this paper is interesting. As we know, the former versions of the TOPSIS and TOPSIS-CI methods use a similar distance measure, namely Eqs. (1), in which we have to do (2 + m × m) computations (m is the cardinality of the membership set of given adjusted HFNs). While in their modified versions, i.e., the proposed distance measures in Def. 7, these computations have been reduced to (1+m). From the point of view of error analysis, the TOPSIS method is preferable when the criteria are not interactive because it uses fewer calculations with approximate data than the TOPSIS-CI method. However, in both methods, the options that are in the top or bottom half of the ranking are similar but do not have exactly the same position. The given result in case IV is even more interesting because it introduces the option as the best option with the worst self-assessment result according to case I. This is due to the large effect of the skepticism degrees according to the type of used distance measure because it almost follows the pattern presented in case II. Given that we use both types of evaluations, namely self-evaluation and expert evaluation, in HFNs simultaneously. It is logical that the results of the evaluation are not similar to the case where only one of the evaluation methods is used. This important issue is observed in the method introduced in this article. In other words, the optimized expressed distance functions have been able to balance the huge differences between the two types of used evaluations in a single assessment.
In this subsection, the feasibility of the proposed method will be checked via criteria tests [41]:
We know, in TOPSIS method, the ranking order of alternatives is dependent on positive real values, which are their relative distance from PIS and NIS alternatives. Let O b be the best option, and O W is given as worse option than a non-optimal option O n . Let R b , R w and R n displayed their relative distances, respectively. It is easy to see that R n < R b , and R w < R n (the relative distance of worse option is less than the relative distance of any non-optimal option), then R w < R b . It means that the best option has a larger relative distance than the entering worse option, and the test criterion 1 is satisfied. Given the properties of real numbers, the other criteria tests can be considered in a similar manner easily.
Now, let the given problem decompose into some arbitrary sub-problems through its alternative set as {O2, O4, O5, O6, O7}, {O1, O3, O4, O5, O7}, {O1, O2, O4, O6, O7} and {O2, O3, O4, O5, O6}. It means we have new MADM problems with the same criteria. Solving these using the proposed method in this paper gives us the following ranking orders: O4 ≻ O6 ≻ O7 ≻ O5 ≻ O2; O4 ≻ O3 ≻ O7 ≻ O5 ≻ O1; O4 ≻ O6 ≻ O7 ≻ O2 ≻ O1 and O4 ≻ O6 ≻ O3 ≻ O5 ≻ O2. The overall ranking order will be obtained by integrating these partial orders: O4 ≻ O6 ≻ O3 ≻ O7 ≻ O5 ≻ O2 ≻ O1.
Further, suppose the non-optimal alternative O7 is replaced with
It is easy to see that its distances from PIS and NIS are
Conclusion
Optimization of HFNs distance functions along with their application in solving decision problems was discussed in this article. First, we showed that the existing distance measures (generalized, Hamming, Euclidean) suffer from calculation errors and it is necessary to be improved. Therefore, we introduced an optimized triple group of the above distance measures for determining the distance between HFNs. These have been modified, as another set of distance formulas, to be used when the previous formulas show equal distances. The third category of the presented formulas is suitable for the case that, in the manager’s opinion, the double parts of the HFNs do not have the same importance for any reason. In fact, in this paper, we presented methods that are able to correctly determine the distances between HFNs as much as possible. So, the resulting distance values are not affected by each of the components in the cases where their components are equally important. In addition, by improving the proposed distance functions, situations where the HFNs are quantitatively close to each other, or the degrees of importance of the components of the HFNs are not equal, were also managed by introducing new distance functions. In the end, with the development of the TOPSIS method based on the introduced distance measures, we solved a real group decision-making problem using the introduced tools, and analyzed the obtained answer, too. Considering the novelty of hesitant fuzzy numbers, future studies can focus on expanding their applications, especially in the fields of telemedicine, engineering, meta-heuristic algorithms, future studies and development planning, while generalizing some existing MADM’ techniques such as the ELECTRE methods, VIKOR method, MULTIMOORA ( (Multi-Objective Optimization on the basis of a Ratio Analysis plus the full MULTIplicative form) [47], and ORESTE (Organization, Rangement Et Synthese De Donnes Relationnelles) methods [46], solving transportation problems, neural networks.
Footnotes
Acknowledgment
We would like to thank Editor and Reviewers.
Conflict of interest
The authors allude that there exist no any conflict of interest between them.
