A New Similarity Measure between Intuitionistic Fuzzy Sets and Its Application to Pattern Recognition

. As a generation of ordinary fuzzy set, the concept of intuitionistic fuzzy set (IFS), characterized both by a membership degree and by a nonmembership degree, is a more flexible way to cope with the uncertainty. Similarity measures of intuitionistic fuzzy sets are used to indicate the similarity degree between intuitionistic fuzzy sets. Although many similarity measures for intuitionistic fuzzy sets have been proposed in previous studies, some of those cannot satisfy the axioms of similarity or provide counterintuitive cases. In this paper, a new similarity measure and weighted similarity measure between IFSs are proposed. It proves that the proposed similarity measures satisfy the properties of the axiomatic definition for similarity measures. Comparison between the previous similarity measures and the proposed similarity measure indicates that the proposed similarity measure does not provide any counterintuitive cases. Moreover, it is demonstrated that the proposed similarity measure is capable of discriminating difference between patterns.


Introduction
Since it was proposed by Zadeh [1], the theory of fuzzy set (FS) has achieved great success due to its capability of handling uncertainty.Therefore, over the last decades, several higher order fuzzy sets have been introduced in the literature.Intuitionistic fuzzy set (IFS), as one of the higher order fuzzy sets, was proposed by Atanassov [2] to deal with vagueness.The main advantage of the IFS is its property to cope with the uncertainty that may exist due to information impression.Because it assigns to each element a membership degree, a nonmembership degree, and a hesitation degree, IFS constitutes an extension of Zadeh's fuzzy set which only assigns to each element a membership degree [3].So IFS is regarded as a more effective way to deal with vagueness than fuzzy set.Although Gau and Buehrer later presented vague set [4], it was pointed out by Bustince and Burillo that the notion of vague sets was the same as that of IFS [5].
The definition of similarity measure between two IFSs is one of the most interesting topics in IFSs theory.A similarity measure is defined to compare the information carried by IFSs.Measures of similarity between IFSs, as an important tool for decision making, pattern recognition, machine learning, and image processing, have received much attention in recent years [6,7].Many similarity measures have been proposed.A few of them come from the wellknown distance measures.The first study was carried out by Szmidt and Kacprzyk [8] extending the well-known distances measures, such as the Hamming distance and the Euclidian distance, to IFS environment and comparing them with the approaches used for ordinary fuzzy sets.However, Wang and Xin [9] implied that the distance measures of Szmidt and Kacprzyk [8] were not effective in some cases.Therefore, several new distance measures were proposed and applied to pattern recognition.Grzegorzewski [10] also extended the Hamming distance, the Euclidean distance, and their normalized counterparts to IFS environment.Later, Chen [11] pointed out that some errors existed in Grzegorzewski [10] by showing some counterexamples.Hung and Yang [12] extended the Hausdorff distance to IFSs and proposed three similarity measures.
On the other hand, instead of extending the well-known measures, some studies defined new similarity measures for IFSs.Dengfeng and Chuntian [13] suggested a new similarity measure for IFSs based on the membership degree and the nonmembership degree.Mitchell [14] showed that the similarity measure of Dengfeng and Chuntian [13] had some counterintuitive cases and modified the similarity measure based on statistical point of view.Moreover, Liang and Shi [15] presented some examples to show that the similarity measure of Dengfeng and Chuntian [13] was not reasonable for some conditions and therefore proposed several new similarity measures for IFSs.Li et al. [16] analyzed, compared, and summarized the existing similarity measures between IFSs/vague sets by their counterintuitive examples in pattern recognition.Ye [7] conducted a similar comparative study of the existing similarity measures between IFSs and proposed a cosine similarity measure and a weighted cosine similarity measure.Hwang et al. [17] proposed a similarity measure for IFSs in which Sugeno integral was used for aggregation.The proposed similarity measure was applied to clustering problem.Xu [18] introduced a series of similarity measures for IFSs and applied them to multiple attribute decision making problem based on intuitionistic fuzzy information.Xu and Chen [19] introduced a series of distance and similarity measures, which are various combinations and generalizations of the weighted Hamming distance, the weighted Euclidean distance, and the weighted Hausdorff distance.Xu and Yager [20] developed a similarity measure between IFSs and applied the developed similarity measure for consensus analysis in group decision making based on intuitionistic fuzzy preference relations.Xia and Xu [6] proposed a series of distance measures based on the intuitionistic fuzzy point operators.In addition to these studies, some works have been interested in relationships between distance measure, similarity measure, and entropy of IFSs.Zeng and Guo [21] investigated the relationship among the normalized distance, the similarity measure, the inclusion measure, and the entropy of interval-valued fuzzy sets.It was also showed that the similarity measure, the inclusion measure, and the entropy of interval-valued fuzzy sets could be induced by the normalized distance of interval-valued fuzzy sets based on their axiomatic definitions.Wei et al. [22] introduced an entropy measure generalizing the existing entropy measures for IFS and IFSs.Also an approach was introduced to construct similarity measures using entropy measures for IFS and IFSs.Boran and Akay [23] proposed a new general type of similarity measure for IFS with two parameters, expressing   norm and the level of uncertainty, respectively.This similarity measure can also make sense in terms of counterintuitive cases.
Moreover, Zhang and Yu [24] presented a new distance (or similarity) measure based on interval comparison, where the IFSs were, respectively, transformed into the symmetric triangular fuzzy numbers.Comparison with the widely used methods indicated that the proposed method contained more information, with much less loss of information.Li et al. [25] introduced an axiomatic definition of the similarity measure of IFSs.The relationship between the entropy and the similarity measure of IFS was investigated in detail.It was proved that the similarity measure and the entropy of IFS can be transformed into each other based on their axiomatic definitions.Farhadinia [26] generalized results on the entropy of interval-valued fuzzy sets (IVFSs) based on the intuitionistic distance and its relationship with similarity measure.Based on the set of new axioms, he also proved some theorems that entropy and similarity measure for IVFSs can be transformed by each other in a general way.Li [27] defined two dissimilarity measures between intuitionistic fuzzy sets of a finite set, and it was proved that both of the measures are metrical.Papakostas et al. [28] investigated the main theoretical and computational properties of the measures as well as the relationships between them.A comparison of the distance and similarity measures was carried out by them, from a pattern recognition point of view.
Among similarity measures proposed by other authors, some of those, however, cannot satisfy the axioms of similarity or provide counterintuitive cases or are produced by complex formats.Therefore, we propose new similarity measures with relative simple expression.The proposed similarity measure depends on the triplet, membership degree, nonmembership degree, and hesitation margin.This paper proves that the proposed measures satisfy the properties of the axiomatic definition for similarity measures.In addition, several numerical examples are provided to compare the proposed measure with a number of existing measures.
The remainder of this paper is organized as follows.Section 2 recalls the definitions related to the IFSs and lists the properties that a distance measure for IFSs and a similarity measure for IFSs should possess.In Section 3, the existing similarity measures for IFSs will be recalled.The new similarity measure, together with its proofs, is presented in Section 4. Comparison between the proposed similarity measure and the existing similarity measures is carried out in Section 5.The application of the proposed similarity measure to pattern recognition is presented in Section 6, followed by the conclusion of this paper in Section 7.

Preliminaries
In this section, we briefly recall the basic concepts related to IFS and then list the properties of the axiomatic definition for similarity measures.Definition 1.Let  = { 1 ,  2 , . . .,   } be a universe of discourse; then, a fuzzy set  in  is defined as follows [1]: where   () :  → [0, 1] is the membership degree.
Definition 2. An IFS  in  defined by Atanassov can be written as [2] where   () :  → [0, 1] and V  () :  → [0, 1] are membership degree and nonmembership degree, respectively, with the condition () determined by the following expression: is called the hesitancy degree of the element  ∈  to the set , and   () ∈ [0, 1], for all  ∈ .  () is also called the intuitionistic index of  to .Greater   () indicates more vagueness on .Obviously, when   () = 0, for all  ∈ , the IFS degenerates into an ordinary fuzzy set.
In the sequel, the couple ⟨  (), V  ()⟩ is called an IFS or intuitionistic fuzzy value (IFV) for clarity.Let IFSs() denote the set of all IFSs in .Definition 3.For  ∈ IFSs() and  ∈ IFSs(), some relations between them are defined as Because distance and similarity measures are complementary concepts, similarity measures can be used to define distance measures and vice versa.
Considering the outcome of the analysis presented by Bustince and Burillo [5], which concluded that the intuitionistic fuzzy sets and the vague sets are similar, Chen [29] proposed the first similarity measure for IFSs defined as Hong and Kim [30] proposed the following measure to overcome the deficiency of Chen's similarity measure: Following the work of Hong and Kim, Li and Xu [31] proposed new similarity measures: Taking the membership distance and the nonmember ship distance between the two IFSs into consideration, Li et al. [32] proposed a similarity measure as follows: Dengfeng and Chuntian [13] pointed out that some similarity could not deal with the similarity between IFSs well.So they defined a new similarity measure for pattern recognition: where Mitchell [14] found that the similarity measure  DC (, ) would characterize two different IFSs as identical.To overcome this drawback, he provided a more realistic strong similarity measure of the following form: where Liang and Shi [15] proposed the following three similarity measures: where where where Hung and Yang [12] introduced three similarity measures based on the Hausdorff distance   (, ): where Based on the concept of the cosine similarity measure for fuzzy sets, a cosine similarity measure was proposed by Ye [7] as follows: One of the latest results on similarity measure is the biparametric similarity measure for IFS, proposed by Boran and Akay [23].It has the following form with two parameters: where  = 1, 2, 3, . . . is the   norm and  = 2, 3, 4, . . .identifies the level of uncertainty.
Theorem 6.   (, ) is the similarity measure between two IFSs  and  in .
So far, we have finished the proof that  WY (, ) is a similarity measure between IFSs  and .
As for   ,   ,  HB ,    ,    , and   ℎ , different pairs of ,  may provide the identical results, which cannot satisfy the application of pattern recognition.It can be read from Table 1 that  HB = 0.9 for both  = ⟨0.3,0.3⟩,  = ⟨0.4,0.4⟩ and  = ⟨0.3,0.4⟩,  = ⟨0.4,0.3⟩.Such situation seems to be going from bad to worse for  1  HY , where all the cases take the same similarity degree except Case 3 and Case 4.  2 HY and  3  HY are also stuck with this problem.   seems to be reasonable without any counterintuitive results.However, we can notice an interesting situation when comparing Case 3 and Case 4. Suppose two vote results, "all in favor" and "all abstentions, " which, respectively, represent  = ⟨1, 0⟩ and  = ⟨0, 0⟩.It is reasonable to take the similarity degree between them as 0.5.  = ⟨0.5, 0.5⟩ and   = ⟨0, 0⟩ can be interpreted as "the vote for resolution is half in favor, half against" and "the vote for resolution is all abstentions, " respectively.The similarity degree between them is 0.833, which is greater than 0.5.From the view of vote practice, the similarity degree between  and  should be equal to or not less than the similarity between   and   .Furthermore, it is worth considering the determination of parameters  and  in    .In such a sense, the proposed similarity measure is the most reasonable one with a relative simple expression and has none of the counterintuitive cases.
In order to study the effectiveness of the proposed similarity measure for IFS in the application of pattern recognition, we consider the pattern recognition problem discussed in [7,13].
The similarity degree between   ( = 1, 2, 3) and  calculated by (17) is  It can be observed that pattern  should be classified to  3 with a class label  3 .According to the recognition principle of maximum degree of similarity between IFSs, this result is in agreement with the one obtained in [7,13].
The similarity degrees of ( 1 , ), ( 2 , ), and ( 3 , ) are calculated by ( 5)-( 16) for all existing similarity measures and shown in Table 2, where  = 1 for  HB ,    ,    ,  It is obvious that  is equal to  1 .This indicates that sample  should be classified to  1 .However, the similarity degrees of ( 1 , ), ( 2 , ), and ( 3 , ) are equal to each other when   ,   ,  DC , and  IFS are employed.These four similarity measures are not capable of discriminating difference between the three patterns.Fortunately, the results of   (  , ) ( = 1, 2, 3) can be used to make correct classification conclusion.This means that the proposed similarity measure shows an identical performance with majority of the existing measures.

Applications in Pattern Recognition
Along with the previous investigation of classification capabilities of the proposed measure, an additional experiment discussed in [7,22,23,[33][34][35][36], will be presented as an application in pattern recognition.In this paper, we propose an alternative approach to medical diagnosis using the newly defined similarity measure.
Let us consider the same data as in [7,22,23,[33][34][35][36]. Suppose that there are four patients Al, Bob, Joe, Ted, represented as  = {Al, Bob, Joe, Ted}.Their symptoms are  = {Temperature, Headache, Stomach pain, Cough, Chest pain}.The set of diagnoses is defined as  = {Viral fever, Malaria, Typhoid, Stomach problem, Chest problem}.The intuitionistic fuzzy relation  →  is presented in Table 3. Table 4 gives the intuitionistic fuzzy relation  → .Each element of the tables is given in the form of IFV, which is

Conclusion
Since most of the existing similarity measures for IFSs have provided counterintuitive results, a new similarity measure and weighted similarity measure between IFSs were proposed in this paper.The new similarity measure is calculated based on the membership degree   (), nonmembership degree V  (), hesitancy degree   (), and the upper bound of membership 1 − V  ().In some special cases where some of the existing similarity measures cannot provide reasonable results, the proposed similarity measure shows great capacity for discriminating IFSs.Moreover, investigation of the new measure's classification capability was carried out based on two numerical examples and medical diagnosis.It has been illustrated that the proposed similarity measure performs as well as or better than previous measures.Further research will be focused on its applications in other practical fields.

Table 1 :
The comparison of similarity measures (counterintuitive cases are in bold type).