Symmetric Difference Operators Derived from Overlap and Grouping Functions

: 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


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 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 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

Definition 2 ([14]). A grouping function is a two-place function
The overlap function, given by is called the dual overlap function of G for N and, analogously, the grouping function G, given by 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].
), and its dual grouping function for the standard negation: and its dual grouping function for the standard negation: ), and its dual grouping function for the standard negation: ), and its dual grouping function for the standard negation: G Mp (a, b) = max(a p , b p ), where p > 0 .

The Model
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 : 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 : then a a = 0.
(ii) Taking a = 1 and b = 0, then by (i), 0 1 = 1 0 = 1.(iii) Taking a = 0 and b = 0, then 0 0 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 See Figure 1, which reflects the characteristics of this symmetric difference operator.
See Figure 2, which reflects the characteristics of this symmetric difference operator.

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 : Theorem 2. The function given by Formula ( 12) satisfies: See Figure 3, which reflects the characteristics of this symmetric difference operator.
See Figure 4, which reflects the characteristics of this symmetric difference operator.

Comparative Study
In this section, we establish a comparison of the proposed fuzzy symmetric differences.
They proposed the following model for symmetric difference In [5], Shen and Zhang defined the symmetric difference operator to be a two-place function (∆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 The comparison is demonstrated in the following Remarks.
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.

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.

(
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

Example 2 .
Consider the O 1 = O nm , O 2 = O p=2 , N 1 and N 2 are the standard negation, and G = G M2 .Then, a b

Figure 1 .Figure 2 .
Figure 1.Characteristics of symmetric difference of Example 2 and its contour line.

(
iv) It is a direct consequence of the continuity of G, O, and N.

Example 5 .
Consider the O = O p=3 , N is the standard negation, and G = G M3 .Then, a b

Symmetric difference operator of Example 4 Figure 3 .Symmetric difference operator of Example 5 Figure 4 .
Figure 3. Characteristics of symmetric difference of Example 4 and its contour line.