Next Article in Journal
Symmetric Enhancement of Visual Clarity through a Multi-Scale Dilated Residual Recurrent Network Approach for Image Deraining
Next Article in Special Issue
Conditional Uncertainty Distribution of Two Uncertain Variables and Conditional Inverse Uncertainty Distribution
Previous Article in Journal
Multiple Axes of Visual Symmetry: Detection and Aesthetic Preference
Previous Article in Special Issue
Relative Error Linear Combination Forecasting Model Based on Uncertainty Theory
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Symmetric Difference Operators Derived from Overlap and Grouping Functions

1
School of Big Data and Computer Science, Guizhou Normal University, Guiyang 550025, China
2
Shanghai Key Laboratory of Navigation and Location-Based Services, Shanghai Jiao Tong University, Shanghai 200240, China
3
School of Electronics and Information Engineering, Taizhou University, Taizhou 318000, China
*
Authors to whom correspondence should be addressed.
Submission received: 21 July 2023 / Revised: 6 August 2023 / Accepted: 10 August 2023 / Published: 11 August 2023
(This article belongs to the Special Issue Fuzzy Set Theory and Uncertainty Theory—Volume II)

Abstract

:
This paper introduces the concept of symmetric difference operators in terms of overlap and grouping functions, for which the associativity property is not strongly required. These symmetric difference operators are weaker than symmetric difference operators in terms of positive and continuous t-norms and t-conorms. Therefore, in the sense of the characters of mathematics, these operators do not necessarily satisfy certain properties, such as associativity and the neutrality principle. We analyze several related important properties based on two models of symmetric differences.

1. Introduction

Symmetric difference is a basic operation on classical set theory. The symmetric difference of two crisp sets E and F, denoted by E F , could be represented as
E Δ F = ( E F c ) ( E c F ) ,
E Δ F = ( E F ) ( E F ) c ,
where F c is the complement of F. Since the introduction of fuzzy sets beginning with Zadeh [1], it was generalized to fuzzy settings. Agell and Rovira [2] obtained several symmetric difference operators in the lattice ( P ( X ) , min , max , 1 j ) . Alsina and Trillas [3] studied some models for the symmetric difference of fuzzy sets. Dombi [4] studied two models of fuzzy symmetric differences in the Pliant operator case. Shen and Zhang [5] defined the symmetric difference operator of fuzzy sets as a continuous and associative binary operator and investigated their structures and properties. Dombi [6] studied two formulas of symmetric difference operators based on thresholds. Renedo et al. [7] studied symmetric differences in types of lattices. Dai and Cheng [8] introduced the noncommutative symmetric difference derived from fuzzy difference operators. The symmetric difference is also the representation of the connective “exclusive or” (Xor, for short). The fuzzy Xor connective was well-studied in [9,10,11].
In fuzzy set theory, the analogue of Formulas (1) and (2) are, respectively [2,3,4,5,6], a , b [ 0 , 1 ]
a Δ b = S T ( a , N ( b ) ) , T ( N ( a ) , b ) ,
a Δ b = T S ( a , b ) , N ( T ( a , b ) ) ,
where T is a t-norm, S is a t-conorm, and N is a fuzzy negation on [ 0 , 1 ] .
However, as pointed out by Fodor and Keresztfalvi [12] and Bustince et al. [13,14], the associative properties of the t-norm and t-conorm are not demanded in some applications. Therefore, Bustince et al. [13,14] introduced the concepts of overlap functions and grouping functions, which are two kinds of non-necessarily associative bivariate aggregation operators. By considering overlap functions and grouping functions instead of t-norms and t-conorms, respectively, many important notions are investigated, such as R O implications derived from overlap functions [15,16], (G,N) implications derived from grouping functions [17], binary relations induced from overlap and grouping functions [18], and (IO, O)-fuzzy rough sets derived from overlap functions [19].
In this paper, we take a step forward to define symmetric difference operators by considering overlap functions and grouping functions instead of t-norms and t-conorms, respectively, in the above Formulas (3) and (4). In particular, they are weaker than the symmetric differences in Formulas (3) and (4) for positive and continuous t-norms and t-conorms, in the sense that they do not necessarily satisfy certain properties, such as the neutrality principle.
The remainder of this article is structured as follows. Section 2 provides a brief overview of key concepts related to overlap functions and grouping functions. Section 3 is concerned with the model G ( O 1 ( a , N 1 ( b ) ) , O 2 ( N 2 ( a ) , b ) ) of symmetric difference operators. Section 4 is concerned with the model O ( G ( a , b ) , N ( O ( a , b ) ) ) of symmetric difference operators. Section 5 gives a comparative study. Conclusions are presented in Section 6.

2. Preliminaries

Definition 1
([13]). An overlap function is a two-place function O: [ 0 , 1 ] 2 [ 0 , 1 ] satisfying the following properties: a , b [ 0 , 1 ]
  • (O1)  O ( a , b ) = O ( b , a ) ;
  • (O2)  O ( a , b ) = 0 a b = 0 ;
  • (O3)  O ( a , b ) = 1 a b = 1 ;
  • (O4) O is increasing;
  • (O5) O is continuous.
Definition 2
([14]). A grouping function is a two-place function G: [ 0 , 1 ] 2 [ 0 , 1 ] satisfying the following properties: a , b [ 0 , 1 ]
  • (G1)  G ( a , b ) = G ( b , a ) ;
  • (G2)  G ( a , b ) = 0 a = b = 0 ;
  • (G3)  G ( a , b ) = 1 a = 1 or b = 1 ;
  • (G4) G is increasing;
  • (G5) G is continuous.
Definition 3
([20]). A fuzzy negation is a non-increasing function N: [ 0 , 1 ] [ 0 , 1 ] with N ( 0 ) = 1 and N ( 1 ) = 0 .
Moreover, N is called strong if N ( N ( a ) ) = a , a [ 0 , 1 ] . N ( a ) = 1 a is called the standard negation.
The overlap function, given by
O ( a , b ) = N G N ( a ) , N ( b ) , a , b [ 0 , 1 ] ,
is called the dual overlap function of G for N and, analogously, the grouping function G, given by
G ( x , y ) = N O N ( x ) , N ( y ) ,
is said to be the dual grouping function of the overlap function O for N.
Example 1.
The following are typical examples of overlap and grouping functions in [14,21].
  • O n m ( a , b ) = min ( a , b ) max ( a 2 , b 2 ) , and its dual grouping function for the standard negation: G n m ( a , b ) = 1 min ( 1 a , 1 b ) max ( ( 1 a ) 2 , ( 1 b ) 2 ) ;
  • O p ( a , b ) = a p b p , and its dual grouping function for the standard negation: G p ( a , b ) = 1 ( 1 a ) p ( 1 b ) p , where p > 0 ;
  • O m p ( a , b ) = min ( a p , b p ) , and its dual grouping function for the standard negation: G m p ( a , b ) = 1 min ( ( 1 a ) p , ( 1 b ) p ) , where p > 0 ;
  • O M p ( a , b ) = 1 max ( ( 1 a ) p , ( 1 b ) p ) , and its dual grouping function for the standard negation: G M p ( a , b ) = max ( a p , b p ) , where p > 0 .

3. The Model G ( O 1 ( a , N 1 ( b ) ) , O 2 ( N 2 ( a ) , b ) )

Suppose O is an overlap function, G is a grouping function, and N is a fuzzy negation. Based on Formula (1), we consider the function :   [ 0 , 1 ] 2 [ 0 , 1 ] , given by
a b = G O ( a , N ( b ) ) , O ( N ( a ) , b ) .
Similar to [3], we can let the two overlap functions and negations in Formula (7) be different and then generalize a special kind of symmetric difference operator that is not necessarily commutative.
Theorem 1.
Suppose O 1 and O 2 are two overlap functions, G is a grouping function, and N 1 and N 2 are two fuzzy negations. Then, the function :   [ 0 , 1 ] 2 [ 0 , 1 ] given by
a b = G O 1 ( a , N 1 ( b ) ) , O 2 ( N 2 ( a ) , b )
satisfies a , b [ 0 , 1 ]
(i)
If O 1 = O 2 and N 1 = N 2 , then a b = b a ;
(ii)
1 0 = 0 1 = 1 ;
(iii)
1 1 = 0 0 = 0 ;
(iv)
If both N 1 and N 2 are continuous, then is continuous;
(v)
If O 1 has 1 as a neutral element, i.e., O 1 ( 1 , a ) = a , a [ 0 , 1 ] , and G has 0 as a neutral element, i.e., G ( 0 , a ) = a , a [ 0 , 1 ] , then 0 a = a 0 = a ;
(vi)
If O 2 has 1 as a neutral element, i.e., O 2 ( 1 , a ) = a , a [ 0 , 1 ] , and G has 0 as a neutral element, i.e., G ( 0 , a ) = a , a [ 0 , 1 ] , then 1 a = a 1 = N 2 ( a ) ;
(vii)
If both N 1 and N 2 are defined as
N 0 ( a ) = 0 , i f a > 0 , 1 , i f a = 0 ,
then a a = 0 .
Proof. 
(i)  If O 1 = O 2 and N 1 = N 2 , then
a b = G O 1 ( a , N 1 ( b ) ) , O 2 ( N 2 ( a ) , b ) B y E q u a t i o n ( 7 ) = G O 2 ( N 2 ( a ) , b ) , O 1 ( a , N 1 ( b ) ) B y ( G 1 ) = G O 2 ( b , N 2 ( a ) ) , O 1 ( N 1 ( b ) , a ) B y ( O 1 ) = G O 1 ( b , N 1 ( a ) ) , O 2 ( N 2 ( b ) , a ) = b a . B y E q u a t i o n ( 7 ) .
(ii)
Taking a = 1 and b = 0 , then
1 0 = G O 1 ( 1 , N 1 ( 0 ) ) , O 2 ( N 2 ( 1 ) , 0 ) B y E q u a t i o n ( 7 ) = G O 1 ( 1 , 1 ) , O 2 ( 0 , 0 ) = G 1 , 0 B y ( O 2 ) a n d ( O 3 ) = 1 . B y ( G 3 ) .
by (i), 0 1 = 1 0 = 1 .
(iii)
Taking a = 0 and b = 0 , then
0 0 = G O 1 ( 0 , N 1 ( 0 ) ) , O 2 ( N 2 ( 0 ) , 0 ) B y E q u a t i o n ( 7 ) = G O 1 ( 0 , 1 ) , O 2 ( 1 , 0 ) = G 0 , 0 B y ( O 2 ) = 0 . B y ( G 2 ) .
Taking a = b = 1 , then
1 1 = G O 1 ( 1 , N 1 ( 1 ) ) , O 2 ( N 2 ( 1 ) , 1 ) B y E q u a t i o n ( 7 ) = G O 1 ( 1 , 0 ) , O 2 ( 0 , 1 ) = G 0 , 0 B y ( O 2 ) = 0 . B y ( G 2 ) .
(iv)
It is a direct consequence of the continuity of G, O 1 , O 2 , N 1 , and N 2 .
(v)
Since O 1 has 1 as a neutral element and G has 0 as a neutral element, then
a 0 = G O 1 ( a , N 1 ( 0 ) ) , O 2 ( N 2 ( a ) , 0 ) B y E q u a t i o n ( 7 ) = G O 1 ( a , 1 ) , O 2 ( N 2 ( a ) , 0 ) = G a , 0 = a .
by (i), 0 a = a 0 = a .
(vi)
Since O 2 has 1 as a neutral element and G has 0 as a neutral element, then
a 1 = G O 1 ( a , N 1 ( 1 ) ) , O 2 ( N 2 ( a ) , 1 ) B y E q u a t i o n ( 7 ) = G O 1 ( a , 0 ) , O 2 ( N 2 ( a ) , 1 ) = G 0 , N 2 ( a ) = N 2 ( a ) .
by (i), 1 a = a 1 = N 2 ( a ) .
(vii)
If N 1 = N 2 = N 0 , case 1, if a = 0 or a = 1 , then a a = 0 . Case 2, if a ( 0 , 1 ) , then
a a = G O 1 ( a , N 1 ( a ) ) , O 2 ( N 2 ( a ) , a ) B y E q u a t i o n ( 7 ) = G O 1 ( a , 0 ) , O 2 ( 0 , a ) B y ( O 2 ) = G 0 , 0 = 0 .
Example 2.
Consider the O 1 = O n m , O 2 = O p = 2 , N 1 and N 2 are the standard negation, and G = G M 2 . Then,
a b = G O 1 ( a , N 1 ( b ) ) , O 2 ( N 2 ( a ) , b ) = max min ( a , 1 b ) max ( a 2 , ( 1 b ) 2 ) 2 , ( 1 a ) 2 b 2 2 .
See Figure 1, which reflects the characteristics of this symmetric difference operator.
Example 3.
Consider the O 1 = O m 2 , O 2 = O p = 2 , N 1 = N 2 = N ( a ) = 1 a 2 , and G = G M 2 . Then,
a b = G O 1 ( a , N ( b ) ) , O 2 ( N ( a ) , b ) = max min ( a 2 , ( 1 b 2 ) 2 ) 2 , ( 1 a 2 ) 2 b 2 2 .
See Figure 2, which reflects the characteristics of this symmetric difference operator.

4. The Model O ( G ( a , b ) , N ( O ( a , b ) ) )

Suppose O is an overlap function, G is a grouping function, and N is a fuzzy negation. Based on Formula (2), we consider the function : [ 0 , 1 ] 2 [ 0 , 1 ] given by
a b = O G ( a , b ) , N ( O ( a , b ) )
Theorem 2.
The function given by Formula (12) satisfies: a , b [ 0 , 1 ]
(i)
a b = b a ;
(ii)
1 0 = 0 1 = 1 ;
(iii)
1 1 = 0 0 = 0 ;
(iv)
If N is continuous, then is continuous;
(v)
If O has 1 as a neutral element, i.e., O ( 1 , a ) = a , a [ 0 , 1 ] , and G has 0 as a neutral element, i.e., G ( 0 , a ) = a , a [ 0 , 1 ] , then 0 a = a 0 = a and 1 a = a 1 = N ( a ) ;
(vi)
If N = N 0 , then a a = 0 .
Proof. 
(i)
a b = O G ( a , b ) , N ( O ( a , b ) ) B y E q u a t i o n ( 12 ) = O G ( b , a ) , N ( O ( b , a ) ) B y ( G 1 ) a n d ( O 1 ) = b a . B y E q u a t i o n ( 12 ) .
(ii)
Taking a = 1 and b = 0 , then
1 0 = O G ( 1 , 0 ) , N ( O ( 1 , 0 ) ) B y E q u a t i o n ( 12 ) = G 1 , N ( 0 ) B y ( G 3 ) a n d ( O 2 ) = G 1 , 1 = 1 . B y ( G 3 ) .
by (i), 0 1 = 1 0 = 1 .
(iii)
Taking a = 0 and b = 0 , then
0 0 = O G ( 0 , 0 ) , N ( O ( 0 , 0 ) ) B y E q u a t i o n ( 12 ) = G 0 , N ( 0 ) B y ( G 2 ) a n d ( O 2 ) = G 0 , 1 = 1 . B y ( G 3 ) .
Taking a = 1 and b = 1 , then
1 1 = O G ( 1 , 1 ) , N ( O ( 1 , 1 ) ) B y E q u a t i o n ( 12 ) = G 1 , N ( 1 ) B y ( G 3 ) a n d ( O 3 ) = G 1 , 0 = 1 . B y ( G 3 ) .
(iv)
It is a direct consequence of the continuity of G, O, and N.
(v)
Taking b = 0 , then
a 0 = O G ( a , 0 ) , N ( O ( a , 0 ) ) B y E q u a t i o n ( 12 ) = G a , N ( 0 ) = G a , 1 = a .
by (i), 0 a = a 0 = a .
Taking b = 1 , then
a 1 = O G ( a , 1 ) , N ( O ( a , 1 ) ) B y E q u a t i o n ( 12 ) = G 1 , N ( a ) = N ( a ) .
by (i), 1 a = a 1 = N ( a ) .
(vi)
If N = N 0 , case 1, if a = 0 or a = 1 , then a a = 0 , case 2, consider a ( 0 , 1 ) , clearly O ( a , a ) ( 0 , 1 ) by (O2) and (O3), then
a a = O G ( a , a ) , N ( O ( a , a ) ) B y E q u a t i o n ( 12 ) = O G ( a , a ) , 0 = 0 .
Example 4.
Consider the O = O p = 2 , N is the standard negation, and G = G M 2 . Then,
a b = O G ( a , b ) , N ( O ( a , b ) ) = a 2 b 2 2 1 min ( a 2 , b 2 ) 2 .
See Figure 3, which reflects the characteristics of this symmetric difference operator.
Example 5.
Consider the O = O p = 3 , N is the standard negation, and G = G M 3 . Then,
a b = O G ( a , b ) , N ( O ( a , b ) ) = a 3 b 3 3 1 min ( a 3 , b 3 ) 3 .
See Figure 4, which reflects the characteristics of this symmetric difference operator.

5. Comparative Study

In this section, we establish a comparison of the proposed fuzzy symmetric differences.
In [3], Alsina and Trillas defined the symmetric difference operator to be a two-place function Δ : [ 0 , 1 ] 2 [ 0 , 1 ] that satisfies the conditions a , b [ 0 , 1 ]
  • ( Δ 1 )  0 Δ a = a Δ 0 = a   (neutrality property);
  • ( Δ 2 )  1 Δ a = a Δ 1 = N ( a ) ;
  • ( Δ 3 )  a Δ a = 0 .
They proposed the following model for symmetric difference
a Δ 1 b = S T 1 ( a , N 1 ( b ) ) , T 2 ( N 2 ( a ) , ) ,
a Δ 2 b = T S ( a , b ) , N ( T ( a , b ) ) .
In [5], Shen and Zhang defined the symmetric difference operator to be a two-place function Δ : [ 0 , 1 ] 2 [ 0 , 1 ] that satisfies the conditions a , b , c [ 0 , 1 ]
  • ( Δ 1 )  0 Δ a = a Δ 0 = a ;
  • ( Δ 2 )  1 Δ 1 = 0 ;
  • ( Δ 3 )  Δ is associative, i.e., ( a Δ b ) Δ c = a Δ ( b Δ c ) ;
  • ( Δ 4 )  Δ is continuous.
In [11], Bedregal, Reiser, and Dimuro defined the symmetric difference operator to be a two-place function Δ : [ 0 , 1 ] 2 [ 0 , 1 ] that satisfies the conditions a , b , c [ 0 , 1 ]
  • ( Δ 1 )  0 Δ a = a Δ 0 = a ;
  • ( Δ 2 )  1 Δ 1 = 0 ;
  • ( Δ 3 )  Δ is associative;
  • ( Δ 4 )  a Δ b = b Δ a   (symmetry).
The comparison is demonstrated in the following Remarks.
Remark 1.
Since and satisfy (ii) 1 0 = 0 1 = 1 and (iii) 1 1 = 0 0 = 0 , so they are generalizations of classical symmetric difference operators. These two properties (ii) and (iii) are weaker than ( Δ 1 ) and ( Δ 2 ) in [3], ( Δ 1 ) and ( Δ 2 ) in [5,11].
Remark 2.
Similar to the symmetric difference in [3], both and drop the requirement of associativity. Moreover, both and Δ 1 also drop the requirement of symmetry.
Remark 3.
In particular, and are, respectively, weaker than Δ 1 and Δ 2 for positive and continuous t-norms and t-conorms, in the sense that and do not necessarily satisfy certain properties, such as the neutrality principles, as discussed above.

6. Conclusions

The main contribution of this paper was the introduction of fuzzy symmetric differences based on the notions of overlap functions, grouping functions, and fuzzy negations, together with an extensive analysis of the related properties. These new symmetric differences are weaker than symmetric difference operators in terms of positive and continuous t-norms and t-conorms. The symmetric differences Δ and Δ in [3,5] have 0 as a neutral element. The symmetric differences Δ and Δ in [5,11] are associative. The symmetric differences proposed in this paper are more flexible, since they do not necessarily satisfy associativity and the neutrality principle.
Future theoretical work will consider the investigation of the interval-valued symmetric differences based on interval-valued overlap or grouping functions. Moreover, the investigation of additive and multiplicative generators of the symmetric differences is necessary. We give some possible topics for future consideration.
(1)
We focus on the symmetric difference operator based on overlap and grouping functions. There are various operators in fuzzy logics. As future work, we can consider other fuzzy operators, such as equivalence operators, based on overlap and grouping functions.
(2)
Overlap and grouping functions have been extended to interval-valued overlap and grouping functions. As future work, we can consider interval-valued fuzzy operators based on interval-valued overlap and grouping functions.
(3)
As we know, additive and multiplicative generators of overlap and grouping functions were well-studied in [22,23]. Thus, it is interesting to study different generators of the symmetric differences.

Author Contributions

Conceptualization, S.D.; writing—original draft preparation, B.H. and S.D.; writing—review and editing, B.H., D.H. and S.D.; project administration, B.H., D.H. and S.D. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the National Science Foundation of China under Grant Nos. 62006168, 61971278, and 62231010; the Zhejiang Provincial Natural Science Foundation of China under Grant No. LQ21A010001; and the Science and Technology Planning Project of Guizhou Province of China under Grant No. ZK[2023]254).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Zadeh, L.A. Fuzzy sets. Inf. Control. 1965, 8, 338–353. [Google Scholar] [CrossRef] [Green Version]
  2. Agell, N.; Rovira, R. Symmetric difference operators for fuzzy sets. Fuzzy Sets Syst. 1989, 30, 5–10. [Google Scholar] [CrossRef]
  3. Alsina, C.; Trillas, E. On the symmetric difference of fuzzy sets. Fuzzy Sets Syst. 2005, 153, 181–194. [Google Scholar] [CrossRef]
  4. Dombi, J. On the equivalence of two symmetric differences. In Proceedings of the IEEE 8th International Symposium on Intelligent Signal Processing, Funchal, Portugal, 16–18 September 2013; pp. 32–36. [Google Scholar]
  5. Shen, Z.; Zhang, D. Symmetric difference operators on fuzzy sets. Fuzzy Sets Syst. 2017, 308, 1–26. [Google Scholar] [CrossRef]
  6. Dombi, J. Symmetric difference operators based on thresholds. Fuzzy Sets Syst. 2020, 395, 149–167. [Google Scholar] [CrossRef]
  7. Renedo, E.; Trillas, E.; Alsina, C. A note on the symmetric difference in lattices. Mathw. Soft Comput. 2005, 12, 75–81. [Google Scholar]
  8. Dai, S.; Cheng, W. Noncommutative symmetric difference operators for fuzzy logic. J. Intell. Fuzzy Syst. 2019, 37, 8005–8013. [Google Scholar] [CrossRef]
  9. He, X.; Li, Y.; Qin, K. On the associative property of fuzzy XOR connectives. J. Intell. Fuzzy Syst. 2013, 25, 1–7. [Google Scholar] [CrossRef]
  10. Li, Y.; Qin, K.; He, X. Fuzzy XNOR connectives in fuzzy logic. Soft Comput. 2011, 15, 2457–2465. [Google Scholar] [CrossRef]
  11. Bedregal, B.C.; Reiser, R.H.S.; Dimuro, G.P. Xor-implications and E-implications: Classes of fuzzy implications based on fuzzy Xor. Electron. Notes Theor. Comput. Sci. 2009, 247, 5–18. [Google Scholar] [CrossRef] [Green Version]
  12. Fodor, J.C.; Keresztfalvi, T. Nonstandard conjunctions and implications in fuzzy logic. Int. J. Approx. Reason. 1995, 12, 69–84. [Google Scholar] [CrossRef] [Green Version]
  13. Bustince, H.; Fernandez, J.; Mesiar, R.; Montero, J.; Orduna, R. Overlap functions. Nonlinear Anal. Theory Methods Appl. 2010, 72, 1488–1499. [Google Scholar] [CrossRef]
  14. Bustince, H.; Pagola, M.; Mesiar, R.; Hüllermeier, E.; Herrera, F. Grouping, overlaps, and generalized bientropic functions for fuzzy modeling of pairwise comparisons. IEEE Trans. Fuzzy Syst. 2012, 20, 405–415. [Google Scholar] [CrossRef]
  15. Dimuro, G.P.; Bedregal, B. On residual implications derived from overlap functions. Inf. Sci. 2015, 312, 78–88. [Google Scholar] [CrossRef]
  16. Qiao, J. RO-implications on finite scales. Int. J. Approx. Reason. 2023, 159, 108921. [Google Scholar] [CrossRef]
  17. Dimuro, G.P.; Bedregal, B.; Santiago, R.H.N. On (G,N)-implications derived from grouping functions. Inf. Sci. 2014, 279, 1–17. [Google Scholar] [CrossRef]
  18. Qiao, J. On binary relations induced from overlap and grouping functions. Int. J. Approx. Reason. 2019, 106, 155–171. [Google Scholar] [CrossRef]
  19. Qiao, J. On (IO, O)-fuzzy rough sets based on overlap functions. Int. J. Approx. Reason. 2021, 132, 26–48. [Google Scholar] [CrossRef]
  20. Baczyński, M.; Jayaram, B. Fuzzy Implications; Springer: Berlin/Heidelberg, Germany, 2008. [Google Scholar]
  21. Bedregal, B.; Dimuro, G.P.; Bustince, H.; Barrenechea, E. New results on overlap and grouping functions. Inf. Sci. 2013, 249, 148–170. [Google Scholar] [CrossRef]
  22. Dimuro, G.P.; Bedregal, B.; Bustince, H.; Asiáin, M.J.; Mesiar, R. On additive generators of overlap functions. Fuzzy Sets Syst. 2016, 287, 76–96. [Google Scholar] [CrossRef]
  23. Qiao, J.; Hu, B.Q. On multiplicative generators of overlap and grouping functions. Fuzzy Sets Syst. 2018, 332, 1–24. [Google Scholar] [CrossRef]
Figure 1. Characteristics of symmetric difference of Example 2 and its contour line.
Figure 1. Characteristics of symmetric difference of Example 2 and its contour line.
Symmetry 15 01569 g001
Figure 2. Characteristics of symmetric difference of Example 3 and its contour line.
Figure 2. Characteristics of symmetric difference of Example 3 and its contour line.
Symmetry 15 01569 g002
Figure 3. Characteristics of symmetric difference of Example 4 and its contour line.
Figure 3. Characteristics of symmetric difference of Example 4 and its contour line.
Symmetry 15 01569 g003
Figure 4. Characteristics of symmetric difference of Example 5 and its contour line.
Figure 4. Characteristics of symmetric difference of Example 5 and its contour line.
Symmetry 15 01569 g004
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Hu, B.; He, D.; Dai, S. Symmetric Difference Operators Derived from Overlap and Grouping Functions. Symmetry 2023, 15, 1569. https://0-doi-org.brum.beds.ac.uk/10.3390/sym15081569

AMA Style

Hu B, He D, Dai S. Symmetric Difference Operators Derived from Overlap and Grouping Functions. Symmetry. 2023; 15(8):1569. https://0-doi-org.brum.beds.ac.uk/10.3390/sym15081569

Chicago/Turabian Style

Hu, Bo, Di He, and Songsong Dai. 2023. "Symmetric Difference Operators Derived from Overlap and Grouping Functions" Symmetry 15, no. 8: 1569. https://0-doi-org.brum.beds.ac.uk/10.3390/sym15081569

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