Next Article in Journal
A Ring Signature Based Anonymity Authentication Scheme for Group Medical Consultation
Next Article in Special Issue
On the Analytic Hierarchy Process Structure in Group Decision-Making Using Incomplete Fuzzy Information with Applications
Previous Article in Journal
Two Bregman Projection Methods for Solving Variational Inequality Problems in Hilbert Spaces with Applications to Signal Processing
Previous Article in Special Issue
A Hybrid MCDM Model to Evaluate and Classify Outsourcing Providers in Manufacturing
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Representations of a Comparison Measure between Two Fuzzy Sets

1
Department of Industrial Engineering and Management, Cheng Shiu University, Kaohsiung 83347, Taiwan
2
Department of Industrial Engineering and Management, National Kaohsiung University of Science and Technology, Kaohsiung 80778, Taiwan
*
Author to whom correspondence should be addressed.
Symmetry 2020, 12(12), 2008; https://doi.org/10.3390/sym12122008
Submission received: 24 October 2020 / Revised: 28 November 2020 / Accepted: 3 December 2020 / Published: 5 December 2020
(This article belongs to the Special Issue Uncertain Multi-Criteria Optimization Problems)

Abstract

:
This paper analyzes the representation behaviors of a comparison measure between two compared fuzzy sets. Three types of restrictions on two fuzzy sets are considered in this paper: two disjoint union fuzzy sets, two disjoint fuzzy sets and two general fuzzy sets. Differences exist among the numbers of possible representations of a comparison measure for the three types of fuzzy sets restrictions. The value of comparison measure is constant for two disjoint union fuzzy sets. There are 49 candidate representations of a comparison measure for two disjoint fuzzy sets, of which 13 candidate representations with one or two terms are obtained. For each candidate representation, a variant of the general axiomatic definition for a comparison measure is presented. Choosing the right candidate representation for a given application, we can easily and efficiently calculate and compare a comparison measure.

1. Introduction

The concept of fuzzy sets (FSs), proposed by Zadeh [1], is characterized by a membership function and has successfully been applied in various fields. This paper deals with the well-known notions of comparison measures between two compared FSs. A comparison measure calculates the degree of equality or inequality between two compared FSs. Some related definitions such as similarity, similitude, proximity or resemblance were proposed for the equality measures [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18], as well as some other dual definitions such as dissimilarity, dissimilitude, divergence or distance for the inequality measures [6,9,13,18,19,20,21,22,23]. The inequality measures have received much less attention in the literature. The degree of comparison measure is an important tool for cluster analysis [8], decision-making [7,14,21,22], e-waste [2,17,20], image processing [10], medical diagnosis [13], pattern recognition [3,4,9,12] and service quality [11,18]. Recently, many papers [5,9,10,12,15,16,18,20,21,22] have been dedicated to the comparison measures, and research on this area is still carried out in the literature.
Couso et al. [6] surveyed a large collection of axiomatic definitions from the literature regarding the notions of comparison measures between two compared FSs. Three separate lists of properties are provided: general axioms, axioms for the equality measures and axioms for the inequality measures. One of the general axioms of a comparison measure is as follows. For two disjoint FSs, A and B, if both comparison measures between A and empty set and that of B and empty set are less, then the degree of a comparison measure m ( A , B ) between A and B is less. More precisely, if A B = , A B = , m ( A , ) m ( A , ) and m ( B , ) m ( B , ) , then m ( A , B ) m ( A , B ) , for all FSs A , B , A , B . From this axiomatic definition, we analyze the comparison measure behaviors of two FSs, A and B, in terms of the other simple comparison measures, especially for the intersection and the union of A and B, the empty set and the universal set. This general axiomatic definition has received much less attention in the literature. Consider a local divergence d ( A ,   B ) for two disjoint FSs A and B, proposed by Montes et al. [19]. Couso et al. [6] showed that d ( A ,   B ) = d ( A ,   ) + d ( B ,   ) , which satisfies this general axiomatic definition. This paper adopts the representations of a comparison measure to generalize this axiomatic definition and to efficiently compare the comparison measure between two FSs. The representations of a comparison measure between two FSs can not only present the important components of a comparison measure but also analyze the comparison measure behaviors of two FSs in terms of other simple comparison measures. The representative equivalence between two representations indicates that these representations fulfill symmetric property.
To analyze the representation behaviors of a comparison measure between two FSs, three kinds of two FSs are considered in this paper: two disjoint union FSs, two disjoint FSs and two general FSs. The two disjoint union FSs is a special case of two disjoint FSs, and the latter is a special case of two general FSs. Both special cases derive some interesting results, especially for the case of two disjoint FSs. For two FSs A and B, this paper deals with the representations of a comparison measure for the case that A B = and A B = U , the case that A B = and the general FSs A and B.
The organization of this paper is as follows. Section 2 briefly reviews the FSs and the comparison measures between two compared FSs. We present representations of a comparison measure for two disjoint union FSs in Section 3, two disjoint FSs in Section 4 and two general FSs in Section 5. Finally, some concluding remarks and future research are presented.

2. Fuzzy Sets and Comparison Measures

We firstly review the basic notations of FSs. Let U be a non-empty universal set or referential set.
Definition 1.
A FS A over U is defined as
A = { ( x ,   μ A ( x ) ) | x U }
where the membership function μ A ( x ) : U [ 0 , 1 ] . We denote by ( U ) the set of all FSs over U.
Definition 2.
For two FSs A , B ( U ) , define the membership functions of A B , A B and A \ B as follows:
  • μ A B ( x ) = m i n { μ A ( x ) , μ B ( x ) } .
  • μ A B ( x ) = m a x { μ A ( x ) , μ B ( x ) } .
  • μ A \ B ( x ) = m i n { μ A ( x ) , 1 μ B ( x ) } .
We now recall the definition of comparison measures between two FSs. The following properties are general axioms that may be required in equality measure and inequality measure between two FSs [6].
Definition 3.
A comparison measure m : ( U ) 2 should satisfy the following properties:
  • G1: 0 m ( A , B ) 1 ,   A , B ( U ) .
  • G1*: 0 m ( A , B ) 1 ,   A , B ( U ) and there exists two FSs C , D ( U ) such that m ( C , D ) = 1 .
  • G2: m ( A , B ) = m ( B , A ) ,   A , B ( U ) .
  • G3:Let ρ : U U be a permutation for finite U. Define A ρ ( U ) with membership function μ A ρ ( x ) = μ A ( ρ ( x ) ) for A ( U ) . Then m ( A , B ) = m ( A ρ , B ρ ) .
  • G3*:For finite set U, there exists a function h : [ 0 , 1 ] × [ 0 , 1 ] such that m ( A , B ) = x U h ( μ A ( x ) , μ B ( x ) ) ,   A , B ( U ) .
  • G4:There exists a function f :   ( U ) 3 such that m ( A , B ) = f ( A B , A \ B , B \ A ) ,   A , B ( U ) .
  • G4*:There exists a function F :   3 and a fuzzy measure M :   ( U ) such that m ( A , B ) = F ( M ( A B ) , M ( A \ B ) , M ( B \ A ) ) ,   A , B ( U ) .
  • G5:If A B = , A B = , m ( A , ) m ( A , ) and m ( B , ) m ( B , ) , then m ( A , B ) m ( A , B ) ,   A , B , A , B ( U ) .
Couso et al. [6] showed that the asterisk will be understood as stronger than. More precisely, if a comparison measure satisfies Gi*, then it fulfills Gi, for i = 1 ,   3 ,   4 .
Consider a fuzzy measure M :   ( U ) with M ( A B ) = c , M ( A \ B ) = a and M ( B \ A ) = b , a ,   b ,   c [ 0 ,   1 ] . Define a comparison measure as follows:
m ( A , B ) = F ( M ( A B ) , M ( A \ B ) , M ( B \ A ) ) = F ( c , a , b ) = c + 1 a + 1 b 3 .
For two disjoint FSs A and B, we have
m ( A , B ) = F ( 0 , a , b ) = 2 a b 3 ,  
m ( A , ) = F ( 0 ,   a ,   0 ) = 2 a 3
and
m ( B , ) = F ( 0 ,   b ,   0 ) = 2 b 3 ,
it implies that
m ( A ,   B ) = 2 3 + m ( A ,   ) + m ( B , ) .
If A B = , A B = , m ( A , ) m ( A , ) and m ( B , ) m ( B , ) , we obtain
m ( A , B ) = 2 3 + m ( A ,   ) + m ( B , ) 2 3 + m ( A ,   ) + m ( B , ) = m ( A , B )
which coincides with the result of G5. The representation of m ( A ,   B ) can not only present its important ingredients but also compare m ( A ,   B ) in terms of other measures m ( A ,   ) and m ( B , ) . On the other hand, we have
m ( A , U ) = F ( a ,   0 ,   1 a ) = 1 + 2 a 3 ,  
m ( B , U ) = F ( b ,   0 ,   1 b ) = 1 + 2 b 3
and
m ( A ,   B ) = 1 1 2 m ( A , U ) 1 2 m ( B , U ) .
The general axiomatic definition G5 can be written as follows.
If A B = , A B = , m ( A , U ) m ( A , U ) and m ( B , U ) m ( B , U ) , then m ( A , B ) m ( A , B ) ,   A , B , A , B ( U ) .
Applying different representations of m ( A , B ) , the alternative expressions of the general axiom G5 are presented. For two FSs, A and B, the adopted components of a comparison measure are A, B, the intersection and the union of A and B, the empty set and the universal set. To represent a comparison measure m ( A ,   B ) , the adopted comparison measures other than   m ( A ,   B ) are m ( X , Y ) for different FSs, X and Y, ( X , Y ) ( A ,   B ) , X , Y { ,   A ,   B ,   A B ,   A B ,   U } .
The following sections list the representations of a comparison measure m ( A ,   B ) for two disjoint union FSs A and B, two disjoint FSs A and B and two general FSs A and B. More precisely, we consider the case that A B = and A B = U for Section 3, A B = for Section 4 and the general FSs A and B for Section 5. Section 3 and Section 4 are special cases of Section 5. Some interesting conclusions can be drawn from these special cases.

3. Representations of a Comparison Measure for Two Disjoint Union Fuzzy Sets

This section will present the representations of a comparison measure m ( A ,   B ) for two disjoint union FSs A and B. For A B = and A B = U , we have that M ( A B ) = 0 , M ( A B ) = 1 , M ( A \ B ) = a , M ( B \ A ) = b , a + b = 1 , a ,   b [ 0 ,   1 ] and
m ( A , B ) = F ( M ( A B ) , M ( A \ B ) , M ( B \ A ) ) = F ( 0 , a , b ) = 2 a b 3 = 1 3 .
Since A B = and A B = U , the adopted components of a comparison measure are { ,   A ,   B ,   U } . For two different FSs, X and Y, X , Y { ,   A ,   B ,   U } , the number of the possible forms of m ( X , Y ) is six described as follows:
m ( A , B ) = F ( 0 , a , b ) = 1 3 ,  
m ( A , ) = F ( 0 ,   a ,   0 ) = 2 a 3 ,
m ( B , ) = F ( 0 ,   b ,   0 ) = 2 b 3 ,  
m ( A , U ) = F ( a ,   0 ,   1 a ) = 1 + 2 a 3 ,  
m ( B , U ) = F ( b ,   0 ,   1 b ) = 1 + 2 b 3
and
m ( , U ) = F ( 0 , 0 , 1 ) = 1 3 .  
From these six measures m ( X , Y ) , we obtain six equations for the representations of a 3 and six equations for those of b 3 presented as follows:
a 3 = 1 2 ( m ( A ,   U ) m ( A ,   B ) ) = m ( B ,   ) m ( A ,   B ) = 1 2 ( 4 3 m ( A ,   B ) m ( B ,   U ) ) = 4 3 m ( B ,   U ) m ( B ,   ) = m ( A ,   U ) m ( B , ) = 1 2 ( 1 m ( B ,   U ) )
and
b 3 = 1 2 ( m ( B ,   U ) m ( A ,   B ) ) = m ( A ,   ) m ( A ,   B ) = 1 2 ( 4 3 m ( A ,   B ) m ( A , U ) ) = 4 3 m ( A ,   U ) m ( A ,   ) = m ( B , U ) m ( A , ) = 1 2 ( 1 m ( A ,   U ) ) .  
Since the constant value of
m ( A , B ) = 1 3  
for A B = and A B = U , we cannot compare the degree of m ( A , B ) for two disjoint union FSs A and B.

4. Representations of a Comparison Measure for Two Disjoint Fuzzy Sets

For two disjoint FSs A and B, A B = , we denote M ( A B ) = 0 , M ( A \ B ) = a , M ( B \ A ) = b , a ,   b [ 0 ,   1 ] and
m ( A , B ) = F ( M ( A B ) , M ( A \ B ) , M ( B \ A ) ) = F ( 0 , a , b ) = 2 a b 3 .  
The number of total combinations m ( X , Y ) for two different FSs, X and Y, X , Y { ,   A ,   B ,   A B ,   U } , is 10 presented as follows:
m ( A , B ) = F ( 0 , a , b ) = 2 a b 3 ,  
m ( A , ) = F ( 0 ,   a ,   0 ) = 2 a 3 ,  
m ( B , ) = F ( 0 ,   b ,   0 ) = 2 b 3 ,  
m ( A , A B ) = F ( a ,   0 ,   b ) = 2 + a b 3 ,  
m ( B , A B ) = F ( b ,   0 ,   a ) = 2 a + b 3 ,  
m ( A , U ) = F ( a ,   0 ,   1 a ) = 1 + 2 a 3 ,  
m ( B , U ) = F ( b ,   0 ,   1 b ) = 1 + 2 b 3 ,  
m ( A B , ) = F ( 0 ,   a + b ,   0 ) = 2 a b 3 ,  
m ( A B , U ) = F ( a + b , 0 , 1 a b ) = 1 + 2 a + 2 b 3
and
m ( , U ) = F ( 0 , 0 , 1 ) = 1 3 .
To represent m ( A , B ) = 2 a b 3 , from above ten measures m ( X , Y ) , we obtain nine equations for the representations of a 3 and nine equations for those of b 3 described as follows:
a 3 [ 1 ] = 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) [ 2 ] = m ( B ,   ) m ( A ,   B ) [ 3 ] = 1 2 ( 4 3 m ( A ,   B ) m ( B ,   A B ) ) [ 4 ] = 1 2 ( 5 3 2 m ( A ,   B ) m ( B ,   U ) ) [ 5 ] = 4 3 m ( B ,   A B ) m ( B ,   ) [ 6 ] = m ( A ,   A B ) m ( B , ) [ 7 ] = 1 2 ( 5 3 + m ( A B , U ) + 2 m ( B ,   ) ) [ 8 ] = 1 4 ( 1 + m ( A B , U ) 2 m ( B ,   A B ) ) [ 9 ] = 1 2 ( m ( A B , U ) m ( B ,   U ) )
and
b 3 [ 1 ] = 1 2 ( m ( B ,   A B ) m ( A ,   B ) ) [ 2 ] = m ( A ,   ) m ( A ,   B ) [ 3 ] = 1 2 ( 4 3 m ( A ,   B ) m ( A ,   A B ) ) [ 4 ] = 1 2 ( 5 3 2 m ( A ,   B ) m ( A ,   U ) ) [ 5 ] = 4 3 m ( A ,   A B ) m ( A ,   ) [ 6 ] = m ( B ,   A B ) m ( A , ) [ 7 ] = 1 2 ( 5 3 + m ( A B , U ) + 2 m ( A ,   ) ) [ 8 ] = 1 4 ( 1 + m ( A B , U ) 2 m ( A ,   A B ) ) [ 9 ] = 1 2 ( m ( A B , U ) m ( A ,   U ) ) .
The number of the total combinations of forms of a 3 and b 3 to represent a comparison measure m ( A ,   B ) is 9 × 9 = 81 . We will denote by [i]-[j], the combination of ith form of a 3 and jth form of b 3 to represent m ( A ,   B ) . We classify these 81 combinations into four types (I, II, III, IV). The first type I is the candidate representation of a comparison measure m ( A ,   B ) . For example, the combination [1]-[2], the 1st form of a 3 and the 2nd form of b 3 are adopted. Applying a 3 = 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) and b 3 = m ( A ,   ) m ( A ,   B ) to m ( A , B ) = 2 a b 3 , we obtain
m ( A , B ) = 2 3 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) ( m ( A ,   ) m ( A ,   B ) ) = 4 3 + m ( A ,   A B ) + 2 m ( A ,   ) .  
Among these 81 combinations, there are 49 candidate representations of m ( A ,   B ) for type I. The number of terms m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } of a candidate representation of m ( A ,   B ) is 1, 2, 3 and 4, except for the constant term. There are 1, 12, 27 and 9 candidate representations of m ( A ,   B ) for the number of terms being 1, 2, 3 and 4, respectively. The combination [1]-[8] is the one term m ( X , Y ) of a candidate representation of m ( A ,   B ) as follows.
[ 1 ] - [ 8 ] :   m ( A , B ) = 5 6   1 2 m ( A B , U ) .
Using this candidate representation, a variant of general axiom G5 is described as follows. If A B = , A B = and m ( A B , U ) m ( A B , U ) , then m ( A , B ) m ( A , B ) . The two terms m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } of candidate representations of m ( A ,   B ) are as follows.
[ 1 ] - [ 2 ] :   m ( A ,   B ) = 4 3 + m ( A ,   A B ) + 2 m ( A ,   )
[ 2 ] - [ 1 ] :   m ( A , B ) = 4 3 + m ( B ,   A B ) + 2 m ( B ,   )
[ 2 ] - [ 2 ] :   m ( A ,   B ) = 2 3 + m ( A ,   ) + m ( B , )
[ 2 ] - [ 3 ] :   m ( A , B ) =   m ( A ,   A B ) + 2 m ( B ,   )
[ 3 ] - [ 2 ] :   m ( A ,   B ) = m ( B ,   A B ) + 2 m ( A ,   )
[ 2 ] - [ 4 ] :   m ( A ,   B ) = 1 6 1 2 m ( A , U ) + m ( B ,   )
[ 4 ] - [ 2 ] :   m ( A ,   B ) = 1 6 1 2 m ( B , U ) + m ( A ,   )
[ 1 ] - [ 4 ] :   m ( A ,   B ) = 1 3 + m ( A ,   A B ) m ( A , U )
[ 4 ] - [ 1 ] :   m ( A , B ) = 1 3 + m ( B ,   A B ) m ( B , U )
[ 4 ] - [ 4 ] :   m ( A ,   B ) = 1 1 2 m ( A , U ) 1 2 m ( B , U )
[ 3 ] - [ 4 ] :   m ( A ,   B ) = 5 3 m ( B ,   A B ) m ( A , U )
and
[ 4 ] - [ 3 ] :   m ( A , B ) = 5 3 m ( A ,   A B ) m ( B ,   U ) .
If FSs A and B are interchanged, the representation of combination [1]-[2] becomes
m ( B , A ) = 4 3 + m ( B ,   A B ) + 2 m ( B ,   )
which is equal to the representation of combination [2]-[1]. This symmetric property is also satisfied for combinations [2]-[3] and [3]-[2], combinations [2]-[4] and [4]-[2], combinations [1]-[4] and [4]-[1], combinations [3]-[4] and [4]-[3]. While combinations [2]-[2] and [4]-[4] derive the same representation when FSs A and B are interchanged. Therefore, if combination [i]-[j]: m ( A ,   B ) is a candidate representation, then both combination [i]-[j]: m ( B , A ) and combination [j]-[i]: m ( A ,   B ) are equal and are also candidate representations.
The second type II is the relationship between different terms of m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } other than m ( A ,   B ) . For example, the combination [1]-[1], a 3 = 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) and b 3 = 1 2 ( m ( B ,   A B ) m ( A ,   B ) ) , we get that
m ( A , B ) = 2 3 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) 1 2 ( m ( B ,   A B ) m ( A ,   B ) )
so
m ( A ,   A B ) + m ( B ,   A B ) = 4 3 .
The combinations [1]-[1], [2]-[5], [2]-[6], [2]-[7], [2]-[8], [2]-[9], [3]-[3], [4]-[5], [4]-[6], [4]-[7], [4]-[8], [4]-[9], [5]-[2], [5]-[4], [6]-[2], [6]-[4], [7]-[2], [7]-[4], [8]-[2], [8]-[4] and [9]-[2] are included in type II. Among these 21 combinations, the number of different relationships between different terms of m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } other than m ( A ,   B ) is 16.
The third type III is the identical equation 0=0. For example, for the combination [1]-[3], we obtain
m ( A , B ) = 2 3 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) 1 2 ( 4 3 m ( A ,   B ) m ( A ,   A B ) )
so
0 = 0 .
The combinations [1]-[3], [3]-[1] and [9]-[4] are listed in the type III.
The fourth type IV is the duplicate representations of a comparison measure m ( A ,   B ) which appear in type I. For example, for the combination [1]-[5], we obtain that
m ( A , B ) = 2 3 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) ( 4 3 m ( A ,   A B ) m ( A ,   ) )
m ( A , B ) = 4 3 + m ( A ,   A B ) + 2 m ( A ,   )
which is the same as that of combination [1]-[2]. For simplicity, we adopt the notation [1]-[2]   [1]-[5] to denote the representative equivalence between [1]-[2] and [1]-[5]. There are eight combinations in type IV described as follows:
[ 2 ] - [ 2 ]   [ 5 ] - [ 6 ]   [ 6 ] - [ 5 ]   [ 7 ] - [ 6 ] ,  
[ 1 ] - [ 2 ]   [ [ 8 ] - [ 1 ] ,   [ 2 ] - [ 1 ]   [ [ 6 ] - [ 3 ]   and   [ 3 ] - [ 2 ]   [ 3 ] - [ 6 ] .
The largest number of duplicate representations is three with the associated combination [2]-[2]
m ( A ,   B ) = 2 3 + m ( A ,   ) + m ( B , ) .  
Therefore, there are 81 combinations of a comparison measure m ( A ,   B ) for A B = . Among these 81 combinations, we obtain 49 candidate representations of m ( A ,   B ) , 8 duplicate representations of m ( A ,   B ) , 21 relationships between different terms of m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } other than m ( A ,   B ) and 3 identical equations. There are one and 12 candidate representations of m ( A ,   B ) for one and two terms m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } , respectively. These 13 candidate representations can be used to easily compare m ( A ,   B ) with A B = .

5. Representations of a Comparison Measure for Two General Fuzzy Sets

This section lists the representations of a comparison measure m ( A ,   B ) for two general FSs, A and B. Let M ( A B ) = c , M ( A \ B ) = a , M ( B \ A ) = b , a ,   b ,   c [ 0 ,   1 ] and
m ( A , B ) = F ( M ( A B ) , M ( A \ B ) , M ( B \ A ) ) = F ( c , a , b ) = c + 1 a + 1 b 3 .
The adopted components of a comparison measure are { ,   A ,   B ,   A B ,   A B ,   U } . There are 15 combinations m ( X , Y ) of different FSs, X and Y, X , Y { ,   A ,   B ,   A B ,   A B ,   U } as follows.
m ( A , B ) = F ( c , a , b ) = 2 a b + c 3 ,  
m ( A , ) = F ( 0 ,   a + c ,   0 ) = 2 a c 3 ,
m ( B , ) = F ( 0 ,   b + c ,   0 ) = 2 b c 3 ,  
m ( A , A B ) = F ( c ,   a ,   0 ) = 2 a + c 3 ,
m ( B , A B ) = F ( c ,   b ,   0 ) = 2 b + c 3 ,  
m ( A , A B ) = F ( a + c ,   0 ,   b ) = 2 + a b + c 3 ,  
m ( B , A B ) = F ( b + c ,   0 ,   a ) = 2 a + b + c 3 ,  
m ( A , U ) = F ( a + c ,   0 ,   1 a c ) = 1 + 2 a + 2 c 3 ,
m ( B , U ) = F ( b + c ,   0 ,   1 b c ) = 1 + 2 b + 2 c 3 ,  
m ( A B , ) = F ( 0 ,   c ,   0 ) = 2 c 3 ,
m ( A B , ) = F ( 0 ,   a + b + c ,   0 ) = 2 a b c 3 ,  
m ( A B , A B ) = F ( c , a + b , 0 ) = 2 a b + c 3 ,
m ( A B , U ) = F ( c , 0 , 1 c ) = 1 + 2 c 3 ,  
m ( A B , U ) = F ( a + b + c , 0 , 1 a b c ) = 1 + 2 a + 2 b + 2 c 3
and
m ( , U ) = F ( 0 , 0 , 1 ) = 1 3 .
One can make several notable observations. Firstly, we have that
m ( A B , A B ) = 2 a b + c 3 = m ( A , B ) .
So, to calculate the degree of a comparison measure m ( A , B ) is equivalent to calculate that of m ( A B , A B ) .
Secondly, we have 33 different relationships between different terms of m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   A B ,   U } . Since m ( A , B ) = 2 a b + c 3 , from these 33 relationships, we obtain 12 equations for the representations of a 3 , 12 equations for those of b 3 and 3 equations for those of c 3 presented as follows:
a 3 = 1 2 ( m ( A ,   A B ) m ( A ,   B ) ) = m ( B ,   A B ) m ( A ,   B ) = m ( A B , ) m ( A , ) = 1 2 ( 4 3 m ( A ,   A B ) m ( A ,   ) ) = 4 3 m ( B ,   A B ) m ( B ,   ) = m ( A ,   A B ) m ( B ,   A B ) = m ( B ,   ) m ( A B ,   ) = 1 2 ( 4 3 m ( A B ,   ) m ( B ,   A B ) ) = 1 2 ( 5 3 2 m ( A B ,   ) m ( B ,   U ) ) = 1 2 ( 5 3 + m ( A B , U ) + 2 m ( B ,   ) ) = 1 4 ( 1 + m ( A B , U ) 2 m ( B ,   A B ) ) = 1 2 ( m ( A B , U ) m ( B ,   U ) ) ,
b 3 = 1 2 ( m ( B ,   A B ) m ( A ,   B ) ) = m ( A ,   A B ) m ( A ,   B ) = m ( A B , ) m ( B , ) = 1 2 ( 4 3 m ( B ,   A B ) m ( B ,   ) ) = 4 3 m ( A ,   A B ) m ( A ,   ) = m ( B ,   A B ) m ( A ,   A B ) = m ( A ,   ) m ( A B ,   ) = 1 2 ( 4 3 m ( A B ,   ) m ( A ,   A B ) ) = 1 2 ( 5 3 2 m ( A B ,   ) m ( A ,   U ) ) = 1 2 ( 5 3 + m ( A B , U ) + 2 m ( A ,   ) ) = 1 4 ( 1 + m ( A B , U ) 2 m ( A ,   A B ) ) = 1 2 ( m ( A B , U ) m ( A ,   U ) )
and
c 3 = 1 2 [ m ( A ,   A B ) m ( A ,   ) ] = 1 2 [ m ( B ,   A B ) m ( B ,   ) ] = 1 2 ( 4 3 + m ( A ,   A B ) + m ( B ,   A B ) ) .
The number of total combinations m ( A , B ) of forms of a 3 , b 3 and c 3 is 12 × 12 × 3 = 432 . The number of combinations is large. Detailed representations of a comparison measure m ( A ,   B ) are available from authors.
From a 3 = m ( B ,   A B ) m ( A ,   B ) , b 3 = m ( A ,   A B ) m ( A ,   B ) and c 3 = 1 2 [ m ( A ,   A B ) m ( A ,   ) ] , it implies that
m ( A , B ) = 2 3 m ( B ,   A B ) + m ( A ,   B ) m ( A ,   A B ) + m ( A ,   B ) + 1 2 [ m ( A ,   A B ) m ( A ,   ) ]
m ( A , B ) = 2 3 + 1 2 m ( A ,   A B ) + m ( B ,   A B ) + 1 2 m ( A ,   ) .
Similarly, we have that
m ( A , B ) = 2 3 + m ( A ,   A B ) + 1 2 m ( B ,   A B ) + 1 2 m ( B ,   ) ,
m ( A , B ) = 2 3 2 m ( A B ,   ) + 1 2 m ( A ,   A B ) + 1 2 m ( A ,   ) + m ( B ,   )
and
m ( A , B ) = 2 3 2 m ( A B ,   ) + 1 2 m ( B ,   A B ) + m ( A ,   ) + 1 2 m ( B ,   ) .
If A B = , the above four representations of a comparison measure m ( A ,   B ) reduce to
m ( A , B ) = 2 3 + m ( A ,   ) + m ( B ,   )
which is the representation [2]-[2] of a comparison measure m ( A ,   B ) with A B = appearing in Section 4. Therefore, for two disjoint FSs, A and B, the representation of a comparison measure m ( A , B ) with general FSs can be reduced to that of m ( A , B ) with A B = .

6. Conclusions and Future Research

For two FSs, A and B, this paper presents the representations of a comparison measure m ( A , B ) for two disjoint union FSs, two disjoint FSs and two general FSs. The numbers of total combinations m ( A , B ) are 36, 81 and 432 for two disjoint union FSs, two disjoint FSs and two general FSs, respectively. The smaller the number of restrictions placed on two FSs, the greater the number of possible representations of a comparison measure. For two disjoint union FSs, the constant value of m ( A , B ) = 1 3 implies that we cannot compare the comparison behaviors of two disjoint union FSs A and B. Among the 81 combinations of two disjoint FSs A and B, there are 49 candidate representations of m ( A ,   B ) , 8 duplicate representations of m ( A ,   B ) , 21 relationships between different m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } other than m ( A ,   B ) and 3 identical equations. There are one and 12 candidate representations of m ( A ,   B ) for one and two terms m ( X , Y ) , X , Y { ,   A ,   B ,   A B ,   U } , respectively. For each candidate representation, if combination [i]-[j]: m ( A ,   B ) is a candidate representation, then both combination [i]-[j]: m ( B , A ) and combination [j]-[i]: m ( A ,   B ) are also candidate representations. The representative equivalence between combination [i]-[j]: m ( B , A ) and combination [j]-[i]: m ( A ,   B ) indicates that the candidate representation fulfills symmetric property. Applying these 13 candidate representations, the alternative expressions of the general axiom G5 are presented. Choosing the right general axiom G5 for a given application, we can easily and efficiently calculate and compare the degree of a comparison measure m ( A ,   B ) with A B = .
In the future, we will analyze the representation behaviors of comparison measures for the generalization of FSs and the general forms of a comparison measure. In particular, the analysis can be extended to the intuitionistic fuzzy sets, hesitant fuzzy sets and neutrosophic sets. Thus, the representation analysis of comparison measures for the intuitionistic fuzzy sets is a subject of considerable ongoing research.

Author Contributions

Both J.-H.C. and H.-C.T. contributed equally towards the accomplishment of this research. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control 1965, 8, 338–356. [Google Scholar] [CrossRef] [Green Version]
  2. Awasthi, A.K.; Cucchiella, F.; D’Adamo, I.; Li, J.; Rosa, P.; Terzi, S.; Wei, G.; Zeng, X. Modelling the correlations of e-waste quantity with economic increase. Sci. Total Environ. 2018, 613, 46–53. [Google Scholar] [CrossRef]
  3. Boran, F.E.; Akay, D. A biparametric similarity measure on intuitionistic fuzzy sets with applications to pattern recognition. Inf. Sci. 2014, 255, 45–57. [Google Scholar] [CrossRef]
  4. Chen, S.M.; Cheng, S.H.; Lan, T.C. A novel similarity measure between intuitionistic fuzzy sets based on the centroid points of transformed fuzzy numbers with applications to pattern recognition. Inf. Sci. 2016, 343–344, 15–40. [Google Scholar] [CrossRef]
  5. Chu, C.H.; Yen, C.P.; Lin, Y.F. The fourth axiom of similarity measures. Symmetry 2020, 12, 1735. [Google Scholar] [CrossRef]
  6. Couso, I.; Garrido, L.; Sánchez, L. Similarity and dissimilarity measures between fuzzy sets: A formal relational study. Inf. Sci. 2013, 229, 122–141. [Google Scholar] [CrossRef]
  7. Garg, H.; Kumar, K. An advanced study on the similarity measures of intuitionistic fuzzy sets based on the set pair analysis theory and their application in decision making. Soft Comput. 2018, 22, 4959–4970. [Google Scholar] [CrossRef]
  8. Hwang, C.M.; Yang, M.S.; Hung, W.L. New similarity measures of intuitionistic fuzzy sets based on the Jaccard index with its application to clustering. Int. J. Intell. Syst. 2018, 33, 1672–1688. [Google Scholar] [CrossRef]
  9. Jiang, Q.; Jin, X.; Lee, S.J.; Yao, S. A new similarity/distance measure between intuitionistic fuzzy sets based on the transformed isosceles triangles and its applications to pattern recognition. Expert Syst. Appl. 2019, 116, 439–453. [Google Scholar] [CrossRef]
  10. Lee, S.H.; Park, C.M.; Choi, U.J. A new measure to characterize the degree of self-similarity of a shape and its applicability. Entropy 2020, 22, 1061. [Google Scholar] [CrossRef]
  11. Mishra, A.R.; Jain, D.; Hooda, D.S. Exponential intuitionistic fuzzy information measure with assessment of service quality. Int. J. Fuzzy Syst. 2017, 19, 788–798. [Google Scholar] [CrossRef]
  12. Naeem, M.; Qiyas, M.; Al-Shomrani, M.M.; Abdullah, S. Similarity measures for fractional orthotriple fuzzy sets using cosine and cotangent functions and their application in accident emergency response. Mathematics 2020, 8, 1653. [Google Scholar] [CrossRef]
  13. Papacostas, G.A.; Hatzimichaillidis, A.G.; Kaburlasos, V.G. Distance and similarity measures between intuitionistic fuzzy sets: A comparative analysis from a pattern recognition point view. Pattern Recognit. Lett. 2013, 34, 1609–1622. [Google Scholar] [CrossRef]
  14. Pedrycz, W.; Chen, S.M. Granular Computing and Decision-Making: Interactive and Iterative Approaches; Springer: Berlin/Heidelberg, Germany, 2015. [Google Scholar]
  15. Tang, H.C.; Cheng, K.S. Counterintuitive test problems for transformed fuzzy numbers based similarity measures between intuitionistic fuzzy sets. Symmetry 2019, 11, 612. [Google Scholar] [CrossRef] [Green Version]
  16. Tang, H.C.; Yang, S.T. Counterintuitive test problems for distance based similarity measures between intuitionistic fuzzy sets. Mathematics 2019, 7, 437. [Google Scholar] [CrossRef] [Green Version]
  17. Xu, Y.; Yeh, C.-H. Sustainability-based selection decisions for e-waste recycling operations. Ann. Oper. Res. 2017, 248, 531–552. [Google Scholar] [CrossRef]
  18. Mishra, A.R.; Rani, P.; Mardani, A.; Kumari, R.; Zavadskas, E.K.; Sharma, D.K. An extended shapley todim approach using novel exponential fuzzy divergence measures for multi-criteria service quality in vehicle insurance firms. Symmetry 2020, 12, 1452. [Google Scholar] [CrossRef]
  19. Montes, S.; Couso, I.; Gil, P.; Bertoluzza, C. Divergence measure between fuzzy sets. Int. J. Approx. Reason. 2002, 30, 91–105. [Google Scholar] [CrossRef] [Green Version]
  20. Rani, P.; Govindan, K.; Mishra, A.R.; Mardani, A.; Alrasheedi, M.; Hooda, D.S. Unified fuzzy divergence measures with multi-criteria decision making problems for sustainable planning of an e-waste recycling job selection. Symmetry 2020, 12, 90. [Google Scholar] [CrossRef] [Green Version]
  21. Şenel, G.; Lee, J.G.; Hur, K. Distance and similarity measures for octahedron sets and their application to MCGDM problems. Mathematics 2020, 8, 1690. [Google Scholar] [CrossRef]
  22. Zeng, S.; Asharf, S.; Arif, M.; Abdullah, S. Application of exponential jensen picture fuzzy divergence measure in multi-criteria group decision making. Mathematics 2019, 7, 191. [Google Scholar] [CrossRef] [Green Version]
  23. Zhang, H.; Zhang, W.; Mei, C. Entropy of interval-valued fuzzy sets based on distance and its relationship with similarity measure. Knowl.-Based Syst. 2009, 22, 449–454. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Chen, J.-H.; Tang, H.-C. Representations of a Comparison Measure between Two Fuzzy Sets. Symmetry 2020, 12, 2008. https://doi.org/10.3390/sym12122008

AMA Style

Chen J-H, Tang H-C. Representations of a Comparison Measure between Two Fuzzy Sets. Symmetry. 2020; 12(12):2008. https://doi.org/10.3390/sym12122008

Chicago/Turabian Style

Chen, Juin-Han, and Hui-Chin Tang. 2020. "Representations of a Comparison Measure between Two Fuzzy Sets" Symmetry 12, no. 12: 2008. https://doi.org/10.3390/sym12122008

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop