International Journal of Computational Intelligence Systems

Volume 13, Issue 1, 2020, Pages 464 - 471

On Contradiction and Inclusion Using Functional Degrees

Authors
Nicolás Madrid, Manuel Ojeda-Aciego*
Depto. Matemática Aplicada, Universidad de Málaga, Málaga, 29071, Spain
*Corresponding author. Email: aciego@uma.es
Corresponding Author
Manuel Ojeda-Aciego
Received 3 December 2019, Accepted 12 March 2020, Available Online 24 April 2020.
DOI
10.2991/ijcis.d.200409.001How to use a DOI?
Keywords
Fuzzy sets; Inclusion measure; Contradiction measure; Galois connections
Abstract

The notion of inclusion is a cornerstone in set theory and therefore, its generalization in fuzzy set theory is of great interest. The degree of f-inclusion is one generalization of such a notion that differs from others existing in the literature because the degree of inclusion is considered as a mapping instead of a value in the unit interval. On the other hand, the degree of f-weak-contradiction was introduced to represent the contradiction between two fuzzy sets via a mapping and its definition has many similarities with the f-degree of inclusion. This suggests the existence of relations between both f-degrees. Specifically, following this line, we analyze the relationship between the f-degree of inclusion and the f-degree of contradiction via the complement of fuzzy sets and Galois connections.

Copyright
© 2020 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

1. INTRODUCTION

Determining different relationships between fuzzy sets is crucial for the development of different techniques based on fuzzy logic. In set theory, the most important of these relations is, without any doubt, the inclusion (which leads to the equality); however, in spite of the years since the origin of fuzzy sets [1] and its significance, there is no consensus about how to extend inclusion to fuzzy logic. The community of researchers in fuzzy sets and fuzzy logic has focused mainly in the definition of measures which represent the inclusion between fuzzy sets by the assignment of a value in the unit interval. In the literature we can find two main groups of approaches, those presenting constructive measures [25] and those based on axiomatic properties [69].

On the other hand, contradiction between two statements is usually related to negations, in the sense that if one is true then the other cannot be true. In some cases the negation appears explicitly (“A is big” vs “A is not big”) and in others implicitly (“A is big” vs “A is small”). Therefore, it is not strange that most of the approaches related to contradiction are built upon negation operators. Our notion of f-weak contradiction is based on the notion of N-contradiction [10], which represents the contradiction between two fuzzy sets in terms of a negation operator. Specifically, when substituting the negation operator by a more general mapping (keeping the antitonicity) we obtain the notion of f-weak contradiction which provides a convenient lattice structure that allows the definition of an f-degree of contradiction by the use of infimum [11].

One of the remarkable features of the f-degree of contradiction is that it is determined by taking into account just the information provided by the fuzzy sets involved. That means that it does not require any preliminary assumption as a residuated lattice structure or negation operator. As a result, we interpret the contradiction between two fuzzy sets simply as “the greater the membership value of one, the lesser the membership value of the other.” This idea was later adapted to the problem of representing the inclusion between two fuzzy sets, as “the greater the membership value of one, the greater the membership value of the other,” generating the notion of f-inclusion.

The functional approach stated above proposes modelling the degree of inclusion and contradiction by means of certain mappings in the unit interval and leads to the notions of degree of f-inclusion [12,13] and degree of f-contradiction [11]. Using functions in this context is certainly a distinctive feature with respect to previous approaches that can be found in the literature, since most of the studies to both inclusion and contradiction in the fuzzy realm coincide in that the measure of inclusion/contradiction is given by a number in the unit interval.

Interestingly enough, despite the functional character of f-inclusion, many of the axioms required for measures of inclusion based on real numbers [69], after a suitable transformation of real values into mappings [14], also hold in the framework of f-inclusion which, in fact, can be considered as a kind of Sinha–Dougherty inclusion [7].

As stated previously, the definitions of the f-degree of contradiction and f-degree of inclusion are defined similarly, since both share the same roots and also share the same underlying structure: they are both defined as the infimum (or supremum) of a set of mappings which determine crisp relations in terms of an inequality. Such a similarity suggests the existence of some relationship between both notions, and this defines the main contributions of this paper.

Specifically, we will show that the crisp relationships of f-inclusion and f-weak-contradiction can be related to each other in terms of negation operators and isotone Galois connections (also called adjunctions) [15]. Moreover, we show that, in the case of considering a finite universe, the f-degrees of inclusion and f-degrees of contradiction form part of two Galois connections, which can be related via the complement of fuzzy sets.

The paper is structured as follows: in Section 2 we recall some basic notions of fuzzy set theory, the notion of f-inclusion and the notion of f-weak-contradiction. In Section 3 we study the properties of the f-degree of contradiction and, then, in Section 4 we introduce the main contribution of the paper, namely, the relation between f-inclusion and f-contradiction when a negation operator is explicitly introduced. Finally, in Section 5 we present conclusions and future works.

2. PRELIMINARIES

2.1. Basic Notions about Fuzzy Sets and Galois Connections

Let us recall that a fuzzy set A is defined on a referential universe U (usually omitted) by means of its membership function A:U[0,1]. The standard operations union and intersection between sets can be extended to operations between fuzzy sets as follows: given two fuzzy sets A and B, we define the fuzzy sets AB and AB as AB(u)=max{A(u),B(u)} and AB(u)=min{A(u),B(u)} for all uU, respectively. To define the complement of a fuzzy set we need to consider negation operators. Let us recall that a negation operator is a decreasing mapping n:[0,1][0,1] such that n(0)=1 and n(1)=0. Given a fixed negation operator, n, the complement of a fuzzy set A is defined as Ac(u)=n(A(u)) for all uU. We say that a negation n is involutive if n2(x)=n(n(x))=x for all x[0,1]. Note that in the case of considering an involutive negation for the definition of the complement, the double complement law holds; i.e., (Ac)c=A.

We will also need the notion of isotone Galois connection (or adjunction). The formal definitions are given below:

Definition 1.

A pair (f,g) of mappings f,g:[0,1][0,1] forms an isotone Galois connection if and only if the equivalence below holds for all x,y[0,1]:

f(x)yxg(y)(1)

Dually, A pair (f,g) of mappings f,g:[0,1][0,1] forms an antitone Galois connection if and only if the equivalence below holds for all x,y[0,1]:

yf(x)xg(y)(2)

In the paper we use the following result concerning isotone Galois connection in [0,1].

Lemma 1.

  1. If f:[0,1][0,1] is a mapping such that f(0)=0 and f(sup(X))=supxX{f(x)} for all set X[0,1], then there exists a mapping g:[0,1][0,1] such that (f,g) forms an isotone Galois connection.

  2. If g:[0,1][0,1] is a mapping such that g(1)=1 and g(inf(X))=infxX{g(x)} for all set X[0,1], then there exists a mapping f:[0,1][0,1] such that (f,g) forms an isotone Galois connection.

2.2. The Functional Degree of Inclusion

The main difference of our approach with respect to other approaches dealing with measures of inclusion between fuzzy sets [69], is that the degrees used to express the measure are no longer real values, but certain mappings from [0,1] to [0,1]. This is why hereafter we will often use the particular mappings f as parameters in the prefixes of several notions. These mappings should satisfy the properties of deflation and monotonicity in order to be considered indexes of inclusion.

Definition 2.

The set of f-degrees of inclusion (denoted by Ω) is the set of mappings f:[0,1][0,1] satisfying the following properties for all x,y[0,1]:

  • f(x)x;

  • if xy then f(x)f(y)

The definition of f-inclusion [13] is given as follows.

Definition 3.

Let A and B be two fuzzy sets and consider fΩ. We say that A is f-included in B (denoted by AfB) if and only if the inequality f(A(u))B(u) holds for all uU.

It is worth remarking that, despite the fact that f-inclusion is a crisp relation for all fΩ, we can define a fuzzy-like inclusion relation by considering the whole set of f-inclusion mappings as possible degrees of inclusion. In other words, different mappings in Ω define different relations of f-inclusion that determine stronger or weaker restrictions.

Another interesting feature of Ω that made it suitable to be considered a set of degrees is its lattice structure with the usual pointwise ordering between mappings. We will use id and to refer to the greatest and lowest mappings in Ω; i.e., id(x)=x and (x)=0 for all x[0,1]. Note that id and represent the strongest and the weakest degrees of f-inclusion. Below, we summarize some properties of the notion of f-inclusion which motivate the consideration of mappings in Ω as proper degrees of inclusion [12].

Theorem 2.

Let A,B and C be three fuzzy sets and let f,gΩ. Then,

  1. AfA;

  2. AfB and BgC implies AgfC;

  3. AB;

  4. AidBA(u)B(u) for all uUAfB for all fΩ;

  5. If fg and AgB, then AfB.

Moreover, the greater the mapping fΩ the stronger the restriction imposed by the f-inclusion; since given AfB, the value f(A(u)) determines a lower bound of the possible values of B(u), for all uU. In this way, the degree of inclusion of fuzzy set A into fuzzy set B can be defined by choosing the greatest fΩ such that A is f-included in B; for more details we refer the reader to [12].

Definition 4.

Let A and B be two fuzzy sets, the f-degree of inclusion of A in B, denoted by Inc(A,B), is defined as follows

Inc(A,B)=max{fΩ|AfB}.

The analytical expression of the f-degree of inclusion is given by Inc(A,B)=fA,Bid, where

fA,B(x)=infuU{B(u)|xA(u)}.(3)

The following result summarizes some properties of the f-degree of inclusion defined above that resemble some axiomatic approaches of measures of inclusion given in the literature [6,7].

Theorem 3.

Let A,B and C be three fuzzy sets, then

  1. If A and B are two crisp sets, then either Inc(A,B)=id or Inc(A,B)=;

  2. Inc(A,B)=id if and only if A(u)B(u) for all uU;

  3. Inc(A,B)= if and only if there is a set of elements in the universe {ui}iIIU such that A(ui)=1 for all iI and; iIIB(ui)=0;

  4. If U is finite, Inc(A,B)= if and only if there exists uU such that A(u)=1 and B(u)=0;

  5. Inc(B,C)Inc(A,B)Inc(A,C);

  6. If B(u)C(u) for all uU then, Inc(A,B)Inc(A,C);

  7. If B(u)C(u) for all uU then, Inc(C,A)Inc(B,A);

  8. Inc(A,B)=Inc(T(A),T(B)) for all transformation1 T:UU on U;

  9. Inc(A,BC)=Inc(A,B)Inc(A,C);

  10. Inc(AB,C)=Inc(A,C)Inc(B,C).

2.3. The Notion of f-Weak Contradiction

As with f-inclusion, the underlying idea here is to measure contradiction not with real values, but with certain mappings from [0,1] to [0,1]. In this case, those mappings used as degrees of contradiction should satisfy some properties that resemble negation operators.

Definition 5.

The set of f-degrees of contradiction (denoted by Ω¯) is the set of mappings f:[0,1][0,1] satisfying the following properties for all x,y[0,1]:

  • f(0)=1;

  • if xy then f(y)f(x)

The notion of f-weak-contradiction [16,11] is a generalization of the notion of N-contradiction given by Trillas, Alsina and Jacas [10].

Definition 6.

Let A and B be two fuzzy sets defined over a nonempty universe U and let fΩ¯. We say that A is f-weak-contradictory w.r.t. B if and only if A(u)f(B(u)) holds for all uU.

As in the case of the f-inclusion, the f-weak-contradiction defines crisp relations which determine a certain degree of contradiction between fuzzy sets. Note that Ω¯ has a structure of complete lattice with the usual pointwise ordering between mappings and that different mappings in Ω¯ determine different kinds of f-weak-contradiction relations, i.e. a stronger or weaker restriction. Specifically, fixed fΩ¯ and a value of B(u) (for some uU), the f-weak-contradiction determines an upper bound on the value of A(u).

Note that, as f is antitonic, the greater the value of B(u), the smaller the upper bound, and then also the smaller the value of A(u). Therefore, given two fuzzy sets A and B, a degree of contradiction between A and B can be defined by choosing the least fΩ¯ such that A is f-weak-contradictory w.r.t. B. We denote by fT and f the greatest and lowest mapping in Ω¯; i.e., the weakest and the strongest degrees of f-weak-contradiction; for more details we refer the reader to [11].

Below we summarise some properties of the notion of f-weak-contradiction which motivates the consideration of Ω¯ as a proper set of degrees of contradiction.

Theorem 4.

Let A,B and C be three fuzzy sets and let f,gΩ¯. Then,

  1. A is f-weak-contradictory w.r.t. B;

  2. If A is f-weak-contradictory w.r.t. B then, A is f-weak-contradictory w.r.t. B;

  3. If fg and A is f-weak-contradictory w.r.t. B then, A is g-weak-contradictory w.r.t. B as well;

  4. A is f-weak-contradictory w.r.t. B if and only if B(u)>0 implies A(u)=0 for all uU;

  5. If AB and C is f-weak-contradictory w.r.t. B then, C is f-weak-contradictory w.r.t. A;

  6. If AC and C is f-weak-contradictory w.r.t. B then, A is f-weak-contradictory w.r.t. B;

  7. f-weak-contradiction is the only f-weak-contradiction of A w.r.t. B if and only if there exists a sequence {ui}iU such that B(ui)=1 for all ui and limA(ui)=1;

  8. If U is a finite universe, f-weak-contradiction is the only f-weak-contradiction of A w.r.t. B if and only if there exists uU such that A(u)=B(u)=1;

  9. If (f,g) is an antitone Galois connection then, A is f-weak-contradictory w.r.t. B if and only if B is g-weak-contradictory w.r.t. A.

3. REVISITING THE DEGREE OF f-WEAK CONTRADICTION

A measure of contradiction was defined in [11] based on a degree of f-weak contradiction. However, such a degree has not been thoroughly studied in depth. Let us start by recalling the following definition from [11].

Definition 7.

Let A and B be two fuzzy sets, the f-degreeof contradiction of A w.r.t. B, denoted by Con(A,B), is given by the least mapping fΩ¯ verifying that A is f-weak-contradictory w.r.t. B.

It is worth noting that, in the original approach, this degree is named “function of weak-contradiction”. We have renamed it here to stress its use as a degree and to highlight its relationship with the f-degree of inclusion.

Note that it is necessary to prove that the f-degree of contradiction is well-defined, i.e., that the least mapping fΩ¯ verifying that A is f-weak-contradictory w.r.t. B exists. Such a proof can be found in [11] together with its analytical expression, in which Con(A,B)(x) is given by

1if x=0supuU{A(u)|xB(u)}otherwise.(4)

The similarities between the f-degrees of inclusion and the f-degree of contradiction are now obvious. Therefore, it makes sense to analyze the f-degree of contradiction independently from those measures of contradiction defined in [11], as it has been done for the f-degree of inclusion in [12].

The first result is a direct consequence of Theorem 4 and characterizes the two extreme degrees of contradiction, namely f and f that represents the greatest and lowest degree of contradiction, respectively.

Corollary 5.

Let A and B be two fuzzy sets, then,

  1. Con(A,B)=f if and only if B(u)>0 implies A(u)=0 for all uU.

  2. Con(A,B)=f if and only if there exists a sequence {ui}iU such that B(ui)=1 for all ui and limA(ui)=1.

  3. If U is a finite universe, Con(A,B)=f if and only if there exists uU such that A(u)=B(u)=1.

The following result is also a consequence of Theorem 4 and concerns monotonicity of Con.

Corollary 6.

Let A,B and C be three fuzzy sets, then,

  1. if B(u)C(u) for all uU then, Con(A,B)Con(A,C);

  2. if B(u)C(u) for all uU then, Con(C,A)Con(B,A).

At this point, it is worth noting that the pointwise ordering between the different f-degrees of contradiction classifies the f-degrees inversely to the strength of the contradiction that they represent. That is, the smaller the function Con(A,B), the stronger the contradiction of A w.r.t. B. The two first novel results about the f-degree of contradiction concern union and intersection between fuzzy sets.

Theorem 7.

Let A,B and C be three fuzzy sets, then,

Con(A,BC)=Con(A,B)Con(A,C).

Proof.

By the analytical expression given in Equation (4) we have that if x=0 then

Con(A,BC)(0)=Con(A,B)(0)Con(A,C)(0)=1.

Let us assume x0, then by Equation (4) we have

Con(A,BC)(x)=supuU{A(u)|x(BC)(u)}
which is equivalent to
supuU{A(u)|xB(u)}supuU{A(u)|xC(u)}.

As a result, Con(A,BC)(x)=Con(A,B)(x)Con(A,C)(x).

Theorem 8.

Let A,B and C be three fuzzy sets, then,

Con(AB,C)=Con(A,C)Con(B,C).

Proof.

By the analytical expression given in Equation (4) we have that if x=0 then

Con(AB,C)(0)=Con(A,C)(0)Con(B,C)(0)=1.

Let us assume x0, then again by Equation (4) we have

Con(AB,C)(x)=supuU{(AB)(u)|xC(u)}
which is equivalent to
supuU{A(u)|xC(u)}supuU{B(u)|xC(u)}.

As a result, Con(AB,C)(x)=Con(A,C)(x)Con(B,C)(x).

The f-degree of contradiction is invariant under transformations, similarly to the f-degree of inclusion. Let us recall that a transformation T:UU (i.e., a bijective mapping) in the universe U can be extended to the set of fuzzy sets [0,1]U (i.e., the fuzzy powerset of U) as T^:[0,1]U[0,1]U, which is defined by T^(A)(u)=A(T(u)) for all fuzzy set A[0,1]U.

Proposition 9.

Let A and B be two L-fuzzy sets and let T:UU be a transformation on U, then Con(A,B)=Con(T^(A),T^(B)).

Proof.

We know that Con(A,B) and Con(T^(A),T^(B) are the infimum of the sets:

{fΩ¯|Af-weak contradictory w.r.t.  B}
and
{fΩ¯|T^(A)f-weak contradictory w.r.t. T^(B)}
respectively. Then, if we prove that both sets are the same, necessarily Con(A,B)=Con(T^(A),T^(B)). Let fΩ¯ such that A is f-weak contradictory w.r.t. B. Then, for all uU we have A(u)f(B(u)) which, by the bijectivity of T, is equivalent to saying that for all uU we have A(T(u))f(B(T(u))), which is equivalent to T^(A) is f-weak contradictory w.r.t. T^(B).

4. RELATING f-DEGREES OF INCLUSION AND CONTRADICTION VIA COMPLEMENTS OF FUZZY SETS

Despite the evident relationships between f-degrees of inclusion and contradiction, they measure different features. Actually, they are independent degrees and, a priori, none can be determined from the other, as the following example shows.

Example 1.

Let us consider three fuzzy sets A, B1 and B2 on the universe U={u1,u2,u3} given by the table below

A B1 B2
u1 0.2 1 0.5
u2 0.5 0.8 1
u3 1 0.2 0.2

Let us show firstly that Inc(A,B1)=Inc(A,B2) but Con(A,B1)Con(A,B2). By Equation (3), it is easy to check that

Inc(A,B1)(x)=Inc(A,B2)(x)=xif x0.20.2otherwise.

However, the f-degrees of contradiction differ, since by Equation (4) we have:

Con(A,B1)(x)=1if x0.20.5if 0.2<x0.80.2otherwise.
and
Con(A,B2)(x)=1if x0.20.5otherwise.

Let us show now that the converse does not hold either. That is, that the f-degree of contradiction does not determine the f-degree of inclusion. For that reason, let us consider the fuzzy set A2 on U given by A(u1)=1, A(u2)=1, and A(u3)=0.2. Then, we have

Con(A2,B1)(x)=Con(A2,B2)(x)=f,
since A2(u1)=B1(u1)=1 and A2(u2)=B2(u2)=1 (Corollary 5). On the other hand,
Inc(A2,B1)(x)=xif x0.80.8otherwise.
and
Inc(A2,B2)(x)=xif x0.50.5otherwise.

Then, Con(A2,B1)(x)=Con(A2,B2)(x) but Inc(A2,B1)Inc(A2,B2).

In the rest of the section, we will introduce different relationships between f-degrees of inclusion and contradiction concerning complements of fuzzy sets. For this reason, hereafter, we consider a fixed involutive negation operator n so that the complement Ac of a fuzzy set A always denotes the complement w.r.t. n.

4.1. From f-Inclusion to f-Weak-Contradiction

In this section we assume an f-inclusion between two fuzzy sets and infer a corresponding f-weak-contradiction between fuzzy sets involved with the complement. Note that in this section we are considering the f-inclusion and the f-weak-contradiction relations, not the respective f-degrees.

Proposition 10.

Let fΩ and let A and B be two fuzzy sets such that A is f-included in B. Then, Bc is (nf)-weak-contradictory w.r.t. A.

Proof.

Firstly note that, since fΩ, then nf is in Ω¯. Finally, since A is f-included in B we have for all uU:

f(A(u))B(u)(nB)(u)(nf)(A(u))
or equivalently, Bc is (nf)-weak-contradictory with A.

The following result relates the f-inclusion and f-weak-contradiction by means of Galois connections. As we show at the end of this section, the consideration of Galois connection in this case is not a hard assumption.

Proposition 11.

Let fΩ such that (f,g) forms an isotone Galois connection and let A and B be two fuzzy sets such that A is f-included in B. Then, A is (gn)-weak-contradictory w.r.t. Bc.

Proof.

Since (f,g) forms an isotone Galois connection, then g(1)=1 and g is monotonic; as a result, gn(0)=1 and gn is antitonic. Thus gnΩ¯. Finally, since A is f-included in B and (f,g) forms an isotone Galois connection, we have for all uU:

f(A(u))B(u)A(u)g(B(u))A(u)g((nn)(B(u)))
or equivalently, A is (gn)-weak-contradictory with Bc.

4.2. From f-Weak-Contradiction to f-Inclusion

Let us study now the converse relation to that given in the previous section, that is, given an f-weak-contradiction between two fuzzy sets, determine a corresponding f-inclusion relation. The main obstacle here is to relate degrees fΩ¯ of f-contradiction with degrees in Ω of f-inclusion. In the first result we avoid such an obstacle by requiring that n(x)f(x).

Proposition 12.

Let fΩ¯ such that n(x)f(x) and let A and B be two fuzzy sets such that A is f-weak-contradictory w.r.t. B. Then, B is (nf)-included in Ac.

Proof.

Firstly note that, since fΩ¯, then nf is monotonic. Moreover, since n(x)f(x), then nf(x)nn(x)=x; so fΩ. Finally, since A is f-weak-contradictory with B we have for all uU:

A(u)f(B(u))(nf)(B(u))n(A(u))
or equivalently, B is (nf)-included in Ac.

Our second result relating f-weak-contradiction with f-inclusion considers again the use of Galois connections.

Proposition 13.

Let fΩ¯ such that n(x)f(x) and (nf,gn) forms an isotone Galois connection. Let A and B be two fuzzy sets such that A is f-weak-contradictory with B. Then, A is (ng)-included in Bc.

Proof.

Let us show firstly that ngid. Since (nf,gn) forms an isotone Galois connection and n(x)f(x) (in particular xf(n(x))), we have for all x[0,1]:

xf(n(x))n(f(n(x)))n(x)n(x)g(n(n(x)))=g(x)n(g(x))x
that is, ngid. Moreover, since (nf,gn) forms an isotone Galois connection, gn is monotonic and then, ng is monotonic as well; i.e., ngΩ. Finally, since A is f-weak-contradictory with B and (nf,gn) forms an antitone Galois connection, we have for all uU:
A(u)f(B(u))n(f(B(u)))n(A(u))B(u)g(A(u))n(g(A(u)))n(B(u))
or equivalently, A is (ng)-included in Bc.

The previous propositions are compiled together in the following theorem which relates the f-inclusion and the f-weak-contradiction in terms of negations, complements and a Galois connection.

Theorem 14.

Let fΩ such that (f,g) forms an isotone Galois connection, n an involutive negation, and let A and B be two fuzzy sets. Then the following items are equivalent

  1. A is f-included in B.

  2. A is (gn)-weak-contradictory with Bc.

  3. Bc is (nf)-weak-contradictory with A.

  4. Bc is (ngn)-included in Ac.

Proof.

The equivalence between items 1 and 4 comes from [12]. The rest of equivalences come from Propositions 10 and 11 by noting the equivalences in the respective proofs and that if fΩ and (f,g) forms an isotone Galois connection then n(x)f(x) for all x[0,1], since f(x)xn(x)f(x).

This result is the cornerstone of the next section, where the f-degree of inclusion and the f-degree of contradiction are related.

4.3. Relating the f-Degree of Inclusion and the f-Degree of Contradiction

The strongest results presented up to now require us to have a Galois connection as a hypothesis. The following theorem shows that such a requirement is not a strong one when the universe considered is finite.

Theorem 15.

Let U be finite and let A and B be two fuzzy sets on U. Then, there exists a mapping g:[0,1][0,1] such that (Inc(A,B),g) forms an isotone Galois connection.

Proof.

Let us show that Inc(A,B) satisfies the hypothesis of Lemma 1 and then, the result is straightforward. Note that the boundary condition Inc(A,B)(0)=0 holds because Inc(A,B)Ω.

Now, let us assume that X[0,1] and let us prove firstly that fA,B(sup(X))=supxX{fA,B(x)}, where fA,B is the function defined in Equation (3).

fA,B(sup(X))=infuU{B(u)|sup(X)A(u)}=infuUxX{B(u)|xA(u)}=supxXinfuU{B(u)|xA(u)}=supxX{fAB(x)},
where denotes the intersection between sets. Note that the first and the second equalities are true because U is finite and [0,1] is totally ordered, respectively. Finally, we have that for all X[0,1]
Inc(A,B)(sup(X))=fA,B(sup(X))sup(X)=supxX{fAB(x)}sup(X)=supxX{fAB(x)x}=supxX{Inc(A,B)(x)}

A similar construction can be made in the case that we start from the f-weak-contradiction degree but, in this case, the construction is parametric on an involutive negation.

Theorem 16.

Let U be finite and let A and B be two fuzzy sets on U. Then, there exists a mapping f:[0,1][0,1] such that (f,Con(A,B)n) forms an isotone Galois connection.

Proof.

Let us show that Con(A,B)n satisfies the hypothesis of Lemma 1 and then, the result is straightforward. Note that the boundary condition (Con(A,B)n)(1)=Con(A,B)(0)=1 holds because Con(A,B)Ω¯ and then, Con(A,B)(0)=1.

Let us assume that X[0,1] and let us prove that (Con(A,B)n)(inf(X))=infxX{(Con(A,B)n)(x)}. Note that, since n is an involutive negation, proving the equality (Con(A,B)n)(inf(X))=infxX{(Con(A,B)n)(x)} is equivalent to prove Con(A,B)(sup(X))=infxX{Con(A,B)(x)}, which is easier. If sup(X)=0, then X={0} and then:

Con(A,B)(sup(X))=Con(A,B)(0)=infxX{Con(A,B)(x)}

If sup(X)0, then we have that

Con(A,B)(sup(X))=supuU{A(u)|sup(X)B(u)}=supuUxX{A(u)|xB(u)}=infxXsupuU{A(u)|xB(u)}=infxX{Con(A,B)(x)},
where denotes the intersection between sets.

Combining Theorems 14, 15 and 16 we can relate directly the f-degrees of inclusion and contradiction. Specifically, from the f-degree of inclusion we can determine bounds for the f-degree of contradiction.

Corollary 17.

Let U be finite, let A and B be two fuzzy sets on U and let g be the mapping such that (Inc(A,B),g) forms an isotone Galois connection. Then:

  • Con(A,Bc)gn,

  • Con(Bc,A)nInc(A,B).

Proof.

Let us prove that Con(A,Bc)gn. By Theorem 14, we have that A is (gn)-weak-contradictory with Bc. Then, necessarily Con(A,Bc)gn by definition of Con(A,Bc). Similarly, we can prove Con(Bc,A)nInc(A,B).

The final result determines a stronger relationship between both degrees. Specifically, from the f-degree of contradiction of A w.r.t. B we can determine the exact f-degree of inclusion of A in the complement of B and the exact f-degree of inclusion of B in the complement of A.

Theorem 18.

Let U be finite, let A and B be two fuzzy sets on U and let f be the mapping such that (f,Con(A,B)n) forms an isotone Galois connection. Then:

  • Inc(B,Ac)=(nCon(A,B))id.

  • Inc(A,Bc)=fid,

Proof.

Let us prove the first item. For x=0 we have 0=Inc(B,Ac)(0)=(nCon(A,B)(0))0=0. Let us assume x0 and let us show that nCon(A,B)(x)=fB,Ac(x).

nCon(A,B)(x)=nsupuU{A(u)|xB(u)}=infuU{n(A(u))|xB(u)}=fB,Ac(x).

As a consequence,

Inc(B,Ac)(x)=fB,Ac(x)x=(nCon(A,B)(x))(x)
as we wanted to prove.

The second equality can be obtained as a consequence of Theorem 14 and the previous item by noting that (f,Con(A,B)n) forms an isotone Galois connection if and only if (nf,Con(A,B)) forms an antitone Galois connection, if and only if (nfn,nCon(A,B)) forms an isotone Galois connection, if and only if ((nfn)id,nCon(A,B)id) forms an isotone Galois connection. By the previous item we have Inc(B,Ac)=(nCon(A,B))id and finally, by Theorem 14, we have that

Inc(Ac,B)=n(nfn(x)=fid.

5. CONCLUSIONS AND FUTURE WORKS

Based on the fact that the definitions of the f-degree of contradiction and f-degree of inclusion share the same roots, the relationship between both notions has been studied. We have shown that the crisp relationships of f-inclusion and f-weak-contradiction can be related to each other by using negation operators and Galois connections [15]. Moreover, in the case of considering a finite universe, the f-degrees of inclusion and f-degrees of contradiction form part of two Galois connections, which can be related via the complement of fuzzy sets.

The consideration of negations in this study naturally suggests to further analyze the properties of the functional degrees in terms of the opposition square, which has recently been studied in the fuzzy framework [17,18], and in the framework of positive idempotent semifields where negation is carried out by inversion, see [19]. On the other hand, the results of Theorems 16 and 18 on the existence of isotone Galois connections (also called adjunctions) suggest to further investigate the possibility of defining extension of the proposed f-degrees in more general contexts, taking into account the characterisation of existence of adjoint mappings in different fuzzy settings [20,21].

CONFLICT OF INTEREST

The authors state that they do not have any conflict of interests.

AUTHORS' CONTRIBUTIONS

Both authors have contributed to the main conceptual ideas, technical details and writing the manuscript.

ACKNOWLEDGMENTS

Partially supported by the Ministry of Science, Innovation, and Universities (MCIU), the State Agency of Research (AEI) and the European Social Fund (FEDER) through the research project PGC2018-095869-B-I00 (MCIU/AEI/FEDER, UE), and by Junta de Andalucía, Universidad de Málaga and the European Social Fund (FEDER) through the research project UMA2018-FEDERJA-001.

Footnotes

1

A transformation is to be interpreted as a bijective mapping.

REFERENCES

Journal
International Journal of Computational Intelligence Systems
Volume-Issue
13 - 1
Pages
464 - 471
Publication Date
2020/04/24
ISSN (Online)
1875-6883
ISSN (Print)
1875-6891
DOI
10.2991/ijcis.d.200409.001How to use a DOI?
Copyright
© 2020 The Authors. Published by Atlantis Press SARL.
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Nicolás Madrid
AU  - Manuel Ojeda-Aciego
PY  - 2020
DA  - 2020/04/24
TI  - On Contradiction and Inclusion Using Functional Degrees
JO  - International Journal of Computational Intelligence Systems
SP  - 464
EP  - 471
VL  - 13
IS  - 1
SN  - 1875-6883
UR  - https://doi.org/10.2991/ijcis.d.200409.001
DO  - 10.2991/ijcis.d.200409.001
ID  - Madrid2020
ER  -