Composition of fuzzy operators often appears and it is natural to ask when the order of composition does not change the result. In previous papers, we characterized permutability in the case of fuzzy consequence operators and fuzzy interior operators. We also showed the connection between the permutability of the fuzzy relations and the permutability of their induced fuzzy operators. In this work we present some examples of permutability and non permutability of fuzzy operators and fuzzy relations in order to illustrate these results

Bragard, J. (Jean)

Carmona-Cervelló, N. (Neus)

Elorza-Barbajero, J. (Jorge)

Recasens-Ferres, J. (Jorge)

Composition of fuzzy operators often appears and it is natural to ask when the order of composition does not change the result. In previous papers, we characterized permutability in the case of fuzzy consequence operators and fuzzy interior operators. We also showed the connection between the permutability of the fuzzy relations and the permutability of their induced fuzzy operators. In this work we present some examples of permutability and non permutability of fuzzy operators and fuzzy relations in order to illustrate these results.Postprint (published version

Carmona, Neus

Elorza, Jorge

Recasens Ferrés, Jorge

Bragard, Jean

UPCommons. Portal del coneixement obert de la UPC

Some Illustrative Examples of Permutability of Fuzzy Operators and FuzzyRelationsNeus Carmona1, Jorge Elorza1, Jordi Recasens2, Jean Bragard11Departamento de Física y Matemática Aplicada, Facultad de Ciencias, Universidad de Navarra, Pamplona,ncarmona@alumni.unav.es, {jelorza, jbragard}@unav.es2Secció Matemàtiques i Informàtica, ETSAV, Universitat Politècnica de Catalunya, Sant Cugat del Vallès,j.recasens@upc.eduAbstractComposition of fuzzy operators often appearsand it is natural to ask when the order of compo-sition does not change the result. In previous pa-pers, we characterized permutability in the caseof fuzzy consequence operators and fuzzy inte-rior operators. We also showed the connectionbetween the permutability of the fuzzy relationsand the permutability of their induced fuzzy op-erators. In this work we present some examplesof permutability and non permutability of fuzzyoperators and fuzzy relations in order to illustratethese results.Keywords: Permutability, Fuzzy ConsequenceOperator, Fuzzy Preorder, Similarity Relation.1 INTRODUCTIONComposition of fuzzy operators often appears in fields likefuzzy mathematical morphology or approximate reason-ing. In fuzzy mathematical morphology, fuzzy operatorsare used as morphological filters for image processing [6],[7]. In approximate reasoning, fuzzy consequence opera-tors perform the role of deriving consequences from certainpremises and relations [5], [9], [11]. These two fields areclosely related and several results can be transfered fromone field to the other [10]. In previous papers [3], [4] westudied permutability of the composition of fuzzy conse-quence operators and fuzzy interior operators in a generalcontext and we related it to the preservation of the operatortype through composition. We also connected permutabil-ity of fuzzy relations with permutability of the operatorsthey induce through Zadeh’s compositional rule. We fo-cused in the case of fuzzy consequence operators inducedby fuzzy preorders and fuzzy indistinguishability relations.The aim of this paper is to show that all the studied casesexist and to provide examples to illustrate each of them.Our paper is organized as follows: In Section 2 we recallthe main definitions and results that will be used throughoutthe paper. In Section 3 we recall the main results aboutpermutability from our previous work. Finally, in Section4 we provide a collection of examples to illustrate each ofthe studied cases.2 PRELIMINARIESIn this paper, X will denote a non-empty classical universalset, [0,1]X will be the set of all fuzzy subsets of X with truthvalues in [0,1] and ∗ a left-continuous t-norm.Definition 2.1. A fuzzy (binary) relation on X is a mapR : X ×X −→ [0,1]. Γ′ will denote the set of fuzzy binaryrelations defined on X. A fuzzy relation R∈ Γ′ is said to be:1. Reflexive if R(x,x) = 1 ∀x ∈ X2. Symmetric if R(x,y) = R(y,x) ∀x,y ∈ X3. ∗-Transitive if R(x,y)∗R(y,z)≤ R(x,z) ∀x,y,z ∈ XA reflexive and ∗-transitive fuzzy relation is called a fuzzy∗-preorder. If it also satisfies symmetry, then it is called afuzzy ∗-similarity or ∗-indistinguishability relation. GivenR,S ∈ Γ′, we say that R ≤ S if and only if R(x,y) ≤ S(x,y)for all x,y ∈ X.Composition of fuzzy relations is given by the sup-∗ com-position.Definition 2.2. Let R,S ∈ Γ′ be fuzzy relations on a set Xand ∗ a t-norm. The sup-∗ composition of R and S is thefuzzy relation defined for all x,y ∈ X byR◦S(x,y) = supw∈X{R(x,w)∗S(w,y)} (1)The transitive closure of a fuzzy relation R is the smallestupper approximation of R which is ∗-transitive [2]. Moreprecisely,ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 45 -Definition 2.3. We define the ∗-transitive closure R of afuzzy relation R as the fuzzy relation given byR = infS∈Γ̂R≤S{S} (2)where Γ̂ denotes the set of all ∗-transitive fuzzy relations inX.The explicit formula for the transitive closure is givenby R = supn∈NRn where the power of R is defined usingthe sup-∗ composition. The ∗-transitive closure of areflexive fuzzy relation is a fuzzy ∗-preorder and the∗-transitive closure of a reflexive and symmetric relation isan ∗-indistinguishability relation.A fuzzy operator is a map C : [0,1]X −→ [0,1]X . We denoteΩ′ the set of fuzzy operators defined from [0,1]X to [0,1]X .Definition 2.4. A fuzzy operator C ∈ Ω′ is called a fuzzyconsequence operator (FCO for short) when it satisfies forall µ,ν ∈ [0,1]X :1. Inclusion µ ⊆C(µ)2. Monotony µ ⊆ ν ⇒C(µ)⊆C(ν)3. Idempotence C(C(µ)) =C(µ)Ω will denote the set of all FCO on X.Definition 2.5. [1] A fuzzy operator C ∈ Ω′ is called afuzzy interior operator (FIO for short) when it satisfies forall µ,ν ∈ [0,1]X :1. Anti-inclusion C(µ)⊆ µ2. Monotonicity µ ⊆ ν ⇒C(µ)⊆C(ν)3. Idempotence C(C(µ)) =C(µ)Λ will denote the set of all FIO on X.The inclusion of fuzzy subsets is given by the pointwiseorder, i.e. µ ⊆ ν if and only if µ(x) ≤ ν(x) for all x ∈ X .Given two fuzzy operators C1, C2 we say that C1 ≤ C2if C1(µ) ⊆C2(µ) for all µ ∈ [0,1]X .Every fuzzy relation induces a fuzzy operator usingZadeh’s compositional rule.Definition 2.6. Let R ∈ Γ′ be a fuzzy relation on X. Thefuzzy operator induced by R through Zadeh’s composi-tional rule is defined byC∗R(µ)(x) = supw∈X{µ(w)∗R(w,x)} (3)Let us recall the definitions of fuzzy closure and fuzzy inte-rior of a fuzzy operator C. The fuzzy closure is the smallestFCO which is greater than or equal to C. The fuzzy inte-rior is the greatest FIO which is smaller than or equal to C.Formally,Definition 2.7. Let C : [0,1]X −→ [0,1]X be a fuzzy opera-tor. We define the fuzzy closureC ofC as the fuzzy operatorgiven byC = infφ∈ΩC≤φ{φ} . (4)Definition 2.8. Let C : [0,1]X −→ [0,1]X be a fuzzy opera-tor. We define the fuzzy interior◦C ofC as the fuzzy operatorgiven by◦C = supφ∈ΛC≥φ{φ} . (5)3 PERMUTABILITYFirst of all, let us recall the definitions of permutability forfuzzy relations and fuzzy operators.Definition 3.1. Let R,S ∈ Γ′ be fuzzy relations. We saythat R and S permute (or that R and S are permutable) ifR◦S = S◦R where ◦ is the sup-∗ composition.Definition 3.2. Let C,C′ be fuzzy operators. We say thatC and C′ permute (or that C and C′ are permutable) ifC ◦ C′ =C′ ◦ C where ◦ is the usual composition.3.1 PERMUTABILITY OF FCO AND FIOIn [3] we proved the following results which character-ize permutability between FCO and the dual case of FIO.Proofs are provided there.For two fuzzy consequence operators to permute it is nec-essary and sufficient that their composition gives a FCO inboth directions:Theorem 3.1. Let C,C′ be fuzzy consequence operators.Then, C and C′ permute if and only if C ◦C′ and C′ ◦C arefuzzy consequence operators.Hence, permutability appears when the operator type ispreserved.Proposition 3.2. Let C,C′ be fuzzy consequence operators.Then, C ◦C′ is a fuzzy consequence operator if and only ifC ◦C′ = max(C,C′).As a consequence of the previous result we have that C andC′ permute if and only if both C ◦C′ and C′ ◦C coincidewith max(C,C′).The dual results hold for fuzzy interior operators. For twofuzzy interior operators to permute it is necessary and suffi-cient that their composition gives a FIO in both directions.In this case, their composition is the interior of their mini-mum.Theorem 3.3. Let C,C′ be fuzzy interior operators. Then,C and C′ permute if and only if C ◦C′ and C′ ◦C are fuzzyinterior operators.ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 46 -Proposition 3.4. Let C,C′ be fuzzy interior operators.Then, C ◦C′ is a fuzzy interior operator if and only ifC ◦C′ =◦min(C,C′).Hence, C and C′ permute if and only if both C◦C′ and C′◦Ccoincide with◦min(C,C′).3.2 PERMUTABILITY OF FCO INDUCED BYFUZZY RELATIONSIt was proved in [13] that two ∗-indistinguishability re-lations defined on a finite set X permute if and only ifE ◦ F is an ∗-indistinguishability relation. In this case,E ◦F = max(E,F).In [4], this result was extended to general fuzzy preordersand any set X , finite or not.Theorem 3.5. Let R and P be two fuzzy ∗-preorders on X.Then, R and P are permutable if and only if R◦P and P◦Rare fuzzy ∗-preorders. In this case, R◦P coincides with the∗-transitive closure max(R,P) of max(R,P).Notice that both compositions are needed in order to obtainpermutability. In Section 4 we will illustrate this fact withan example.Since indistinguishability relations are preorders that alsosatisfy the symmetric property, we can soften this con-straint.Proposition 3.6. Let E and F be two ∗-indistinguishabilityrelations on X. Then, E and F are permutable if and onlyif E ◦ F is a ∗-indistinguishability relation. In this case,E ◦F coincides with the ∗-transitive closure max(E,F) ofmax(E,F).Composition of fuzzy operators induced by fuzzy relationsusing Zadeh’s compositional rule can be described in termsof the inducing relations as shown in the following propo-sition. This description makes natural to think that per-mutability of fuzzy relations is connected to permutabilityof the operators they induce.Proposition 3.7. Let R,S be two fuzzy relations and letC∗R and C∗S be the corresponding fuzzy operators inducedthrough Zadeh’s compositional rule. Then,C∗R ◦C∗S =C∗S◦R (6)where S ◦ R denotes the sup-∗ composition of fuzzy rela-tions.Let us focus on the case of operators induced by fuzzypreorders. It is well known that fuzzy operators inducedfrom fuzzy relations through Zadeh’s compositional ruleare fuzzy consequence operators if and only if the relationis a fuzzy preorder [8]. However, not every FCO can beinduced by a preorder. The relation between permutabil-ity of fuzzy preorders and permutability of their inducedconsequence operators can be summarized in the followingtheorem.Theorem 3.8. [4] Let R,P be fuzzy ∗-preorders. Then,C∗R ◦C∗P = C∗P ◦C∗R ⇔ R◦P = P◦RIf the preorders are fuzzy indistinguishability relations, theinduced operators behave specially well.Proposition 3.9. [12] Let E be a fuzzy ∗-indistinguishability relation and let C∗E be the fuzzyoperator induced through Zadeh’s compositional rule.Then,1. C∗E is a fuzzy consequence operator.2. C∗E(⋃i∈I µi) =⋃i∈I C∗E(µi) for any index set I and allµi ∈ [0,1]X .3. C∗E({x})(y) = C∗E({y})(x) for all x,y ∈ X where {x}denotes the singleton of x.4. C∗E(α ∗µ) =α ∗C∗E(µ) for any constant α ∈ [0,1] andµ ∈ [0,1]X .Moreover, every fuzzy operator satisfying conditions ofProposition 3.9 can be written in the form C∗E for a cer-tain ∗-indistinguishability relation E. Hence, there is a bi-jection between the set of ∗-indistinguishability relationsand the set of fuzzy operators satisfying the conditions ofProposition 3.9.Even if C∗E and C∗F do not permute, their composition al-ways satisfy the following properties.Proposition 3.10. Let E,F be fuzzy ∗-indistinguishabilityrelations. Then, C∗E◦F satisfies properties 2, 4 of Proposi-tion 3.9. Moreover, it satisfies the inclusion and monotonyproperties from the definition of FCO.In [4] we proved that permutability of operators induced bysimilarity relations can be characterized as follows:Theorem 3.11. Let E, F be ∗-indistinguishability rela-tions. Then, their consequences C∗E and C∗F permute if andonly if E ◦F is an indistinguishability relation.Corollary 3.12. Let C,C′ be fuzzy operators satifying allthe conditions of Proposition 3.9. Then, C and C′ permuteif and only if C ◦C′ also satisfies all these conditions.4 EXAMPLESThe aim of this section is to illustrate the results given inSection 3 with different examples. We will provide casesof fuzzy operators and fuzzy relations that do and do notpermute.The first example shows that the condition in Theorem 3.5cannot be softened. Preservation of the operator type inESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 47 -one direction is not enough to obtain permutability betweenfuzzy consequence operators.Example 4.1. Let X be a non empty classical set and letα,β ∈ R such that 0 < β < α < 1. Let C′ and C be FCOdefined as follows:C′(µ)(x) = 1 i f µ(x)> ββ i f µ(x)≤ βC(µ)(x) = 1 i f µ(x)> αα i f µ(x)≤ α .Note that C′ ◦C is a FCO. In fact, C′ ◦C = max(C,C′) = Xwhere X(µ)(x) = 1 for all x ∈ X and µ ∈ [0,1]X . However,C and C′ do not permute. Indeed, one has(C ◦C′)(µ)(x) 1 i f µ(x)> βα i f µ(x)≤ βwhich is not a FCO since it does not satisfy idempotence.The next example proves that there exist fuzzy conse-quence operators that permute.Example 4.2. Let X be a non empty classical set. Letx1,x2 ∈ X with x1 6= x2 and let C′ and C be defined asC′(µ)(x) = 1 i f x = x1µ(x) otherwiseC(µ)(x) = 1 i f x = x2µ(x) otherwiseNotice that C and C′ are FCO and permute, i.e. C ◦C′ =C′ ◦C, and by Thm. 3.2, their compositionC′ ◦C(µ)(x) = 1 i f x = x1 or x = x2µ(x) otherwiseis a FCO.Let us show some cases of permutability and non-permutability of min-preorders. From Theorem 3.8, theirinduced consequence operators behave in the same way asthe relations do.For simplicity, we shall write C∗R instead of CminR .Example 4.3. Let R and P be fuzzy min-preorders (but notsimilarities) defined as follows:R= 1 0.3 0.60.7 1 0.750.4 0.3 1 P= 1 0.7 0.80.55 1 0.70.4 0.4 1R and P permute and therefore, their consequences alsodo.max(R,P) = R◦P = P◦R = 1 0.7 0.80.7 1 0.750.4 0.4 1Taking for example, µ =(0.2 0.8 0.5), it is easy tosee thatC∗R ◦C∗P(µ) =C∗P ◦C∗R(µ) =(0.7 0.8 0.75)Example 4.4. Let Q and S be fuzzy min-preorders (but notsimilarities) defined as follows.Q = 1 0.4 0.50.6 1 0.50.3 0.3 1 S= 1 0.3 0.60.7 1 0.750.4 0.3 1Their compositions are given byQ◦S = 1 0.4 0.60.7 1 0.750.4 0.3 1S◦Q = 1 0.4 0.60.7 1 0.750.4 0.4 1Notice that max(S,Q) = S◦Q but Q and S do not permute.Taking µ =(0.2 0.3 0.5), it is easy to see thatC∗Q ◦C∗S(µ) =(0.4 0.4 0.5)C∗S ◦C∗Q(µ) =(0.4 0.3 0.5)Example 4.5. Let E and F be fuzzy min-indistinguishability relations defined as follows.E =1 0.8 0.7 0.70.8 1 0.7 0.80.7 0.7 1 0.70.7 0.8 0.7 1F =1 0.6 0.5 0.80.6 1 0.5 0.60.5 0.5 1 0.50.8 0.6 0.5 1ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 48 -Notice that E and F permute.max(E,F) = E ◦F = F ◦E =1 0.8 0.7 0.80.8 1 0.7 0.80.7 0.7 1 0.70.8 0.8 0.7 1Therefore, C∗E and C∗F also permute.Example 4.6. Let E and F be fuzzy min-indistinguishability relations defined as follows.E =1 0.4 0.4 0.40.4 1 0.8 0.70.4 0.8 1 0.70.4 0.7 0.7 1F =1 0.5 0.7 0.80.5 1 0.5 0.50.7 0.5 1 0.70.8 0.5 0.7 1E and F do not permute.F ◦E =1 0.7 0.7 0.80.5 1 0.8 0.70.7 0.8 1 0.70.8 0.7 0.7 1E ◦F =1 0.5 0.7 0.80.7 1 0.8 0.70.7 0.8 1 0.70.8 0.7 0.7 1However, as seen in Proposition 3.10, both compositionsC∗E ◦C∗F and C∗F ◦C∗E satisfy properties 2, 4 of Proposi-tion 3.9 and the inclusion and monotony properties fromthe definition of FCO.AcknowledgementsWe acknowledge the partial support of the project FIS2011-28820-C02-02 from the Spanish Government and N.C. ac-knowledges the financial support of the "Asociación deAmigos de la Universidad de Navarra".References[1] Be˘lohlávek, R. , Funioková, T.: Fuzzy interior oper-ators. International Journal of General Systems, Vol.33, Iss. 4, pp. 415–430, 2004.[2] Bandler, W,. Kohout, J.: Special properties, closuresand interiors of crisp and fuzzy relations. Fuzzy Setsand Systems, Vol. 26, pp. 317–331, 1988.[3] Carmona, N., Elorza, J., Recasens, J., Bragard J.:Permutability of Fuzzy Consequence Operators andFuzzy Interior Operators. In: Advances in ArtificialIntelligence: Proceedings of the 15th Conference ofthe Spanish Association for Artificial Intelligence, pp.62–69, Springer, 2013.[4] Carmona, N., Elorza, J., Recasens, J., Bragard J.: Per-mutability of Fuzzy Consequence Operators inducedby fuzzy relations. To be published in: Proceedingsof MDAI’13. Lecture Notes in Artificial Intelligence,Springer, 2013.[5] Castro J.L., Trillas, E.: Tarski’s fuzzy consequences.In: Proceedings of the International Fuzzy Engineer-ing Symposium ’91, Vol. 1, pp. 70–81, 1991.[6] De Baets, B. , Kerre, E. , Gupta, M.: The fundamen-tals of fuzzy mathematical morphology part 1: Basicconcepts. International Journal of General Systems,Vol. 23, Iss. 2, 1995.[7] Deng, T.Q., Heijmans, H.J.A.M.: Grey-scale mor-phology based on fuzzy logic. J. Math. Imaging Vi-sion, Vol. 16, pp. 155–171, 2002.[8] Elorza, J. and Burillo, P.: On the relation offuzzy preorders and fuzzy consequence operators,International Journal of Uncertainty, Fuzziness andKnowledge-based Systems 7 (3), pp. 219–234, 1999.[9] Elorza, J. and Burillo, P.: Connecting fuzzy preorders,fuzzy consequence operators and fuzzy closure andco-closure systems. Fuzzy Sets and Systems, 139(3),pp. 601–613, 2003.[10] Elorza, J. et al.: On the relation between fuzzy clos-ing morphological operators, fuzzy consequence op-erators induced by fuzzy preorders and fuzzy closureand co-closure systems. Fuzzy Sets and Systems, Vol.218, pp. 73–89, 2013.[11] Pavelka, J., On Fuzzy Logic I. Zeitschr. f. Math. Logikund Grundlagen d. Math. Vol. 25, pp. 45–52, 1979.[12] Recasens, J.: Indistinguishability Operators: Mod-elling Fuzzy Equalities and Fuzzy Equivalence Rela-tions. Studies in Fuzziness and Soft Computing, Vol.260, Springer, 2010.[13] Recasens, J.: Permutable indistinguishability opera-tors, perfect vague groups and fuzzy subgroups. In-formation Sciences, Vol. 196, pp. 129–142 (2012)ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 49 -ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 50 -

English

Some illustrative examples of permutability of fuzzy operators and fuzzy relations

Universidad de Navarra

Dadun, University of Navarra

Some Illustrative Examples of Permutability of Fuzzy Operators and FuzzyRelationsNeus Carmona1, Jorge Elorza1, Jordi Recasens2, Jean Bragard11Departamento de Física y Matemática Aplicada, Facultad de Ciencias, Universidad de Navarra, Pamplona,ncarmona@alumni.unav.es, {jelorza, jbragard}@unav.es2Secció Matemàtiques i Informàtica, ETSAV, Universitat Politècnica de Catalunya, Sant Cugat del Vallès,j.recasens@upc.eduAbstractComposition of fuzzy operators often appearsand it is natural to ask when the order of compo-sition does not change the result. In previous pa-pers, we characterized permutability in the caseof fuzzy consequence operators and fuzzy inte-rior operators. We also showed the connectionbetween the permutability of the fuzzy relationsand the permutability of their induced fuzzy op-erators. In this work we present some examplesof permutability and non permutability of fuzzyoperators and fuzzy relations in order to illustratethese results.Keywords: Permutability, Fuzzy ConsequenceOperator, Fuzzy Preorder, Similarity Relation.1 INTRODUCTIONComposition of fuzzy operators often appears in fields likefuzzy mathematical morphology or approximate reason-ing. In fuzzy mathematical morphology, fuzzy operatorsare used as morphological filters for image processing [6],[7]. In approximate reasoning, fuzzy consequence opera-tors perform the role of deriving consequences from certainpremises and relations [5], [9], [11]. These two fields areclosely related and several results can be transfered fromone field to the other [10]. In previous papers [3], [4] westudied permutability of the composition of fuzzy conse-quence operators and fuzzy interior operators in a generalcontext and we related it to the preservation of the operatortype through composition. We also connected permutabil-ity of fuzzy relations with permutability of the operatorsthey induce through Zadeh’s compositional rule. We fo-cused in the case of fuzzy consequence operators inducedby fuzzy preorders and fuzzy indistinguishability relations.The aim of this paper is to show that all the studied casesexist and to provide examples to illustrate each of them.Our paper is organized as follows: In Section 2 we recallthe main definitions and results that will be used throughoutthe paper. In Section 3 we recall the main results aboutpermutability from our previous work. Finally, in Section4 we provide a collection of examples to illustrate each ofthe studied cases.2 PRELIMINARIESIn this paper, X will denote a non-empty classical universalset, [0,1]X will be the set of all fuzzy subsets of X with truthvalues in [0,1] and ∗ a left-continuous t-norm.Definition 2.1. A fuzzy (binary) relation on X is a mapR : X ×X −→ [0,1]. Γ′ will denote the set of fuzzy binaryrelations defined on X. A fuzzy relation R∈ Γ′ is said to be:1. Reflexive if R(x,x) = 1 ∀x ∈ X2. Symmetric if R(x,y) = R(y,x) ∀x,y ∈ X3. ∗-Transitive if R(x,y)∗R(y,z)≤ R(x,z) ∀x,y,z ∈ XA reflexive and ∗-transitive fuzzy relation is called a fuzzy∗-preorder. If it also satisfies symmetry, then it is called afuzzy ∗-similarity or ∗-indistinguishability relation. GivenR,S ∈ Γ′, we say that R ≤ S if and only if R(x,y) ≤ S(x,y)for all x,y ∈ X.Composition of fuzzy relations is given by the sup-∗ com-position.Definition 2.2. Let R,S ∈ Γ′ be fuzzy relations on a set Xand ∗ a t-norm. The sup-∗ composition of R and S is thefuzzy relation defined for all x,y ∈ X byR◦S(x,y) = supw∈X{R(x,w)∗S(w,y)} (1)The transitive closure of a fuzzy relation R is the smallestupper approximation of R which is ∗-transitive [2]. Moreprecisely,ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 45 -Definition 2.3 . W e define the ∗-tr a nsitiv e closur e R of afuzzy relation R as the fuzzy relation given byR= infS∈Γ̂R≤S{S} (2)where Γ̂ denotes the set of all ∗-transitive fuzzy relations inX.The explicit formula for the transitive closure is givenby R = supn∈NRn where the power of R is defined usingthe sup-∗ composition. The ∗-transitive closure of arefl exive fuzzy relation is a fuzzy ∗-preorder and the∗-transitive closure of a refl exive and symmetric relation isan ∗-indistinguishability relation.A fuzzy operator is a mapC : [0,1]X −→ [0,1]X . We denoteΩ′ the set of fuzzy operators defined from [0,1]X to [0,1]X .Definition 2.4 . A fuzzy operator C ∈ Ω′ is called a fuzzyconsequence operator (FCO for short) when it satisfies forall µ,ν ∈ [0,1]X :1. Inclusion µ ⊆C(µ)2. Monotony µ ⊆ ν ⇒C(µ)⊆C(ν)3. Idempotence C(C(µ)) =C(µ)Ω will denote the set of all FCO on X.Definition 2.5 . [ 1] A fuzzy operator C ∈ Ω′ is called afuzzy interior operator (FIO for short) when it satisfies forall µ,ν ∈ [0,1]X :1. Anti-inclusion C(µ)⊆ µ2. Monotonicity µ ⊆ ν ⇒C(µ)⊆C(ν)3. Idempotence C(C(µ)) =C(µ)Λ will denote the set of all FIO on X.The inclusion of fuzzy subsets is given by the pointwiseorder, i.e. µ ⊆ ν if and only if µ(x) ≤ ν(x) for all x ∈ X .G iven two fuzzy operators C1, C2 we say that C1 ≤ C2if C1(µ) ⊆C2(µ) for all µ ∈ [0,1]X .E very fuzzy relation induces a fuzzy operator usingZadeh’s compositional rule.Definition 2.6 . Let R ∈ Γ′ be a fuzzy relation on X. Thefuzzy operator induced by R through Z adeh’s composi-tional rule is defined byC∗R(µ)(x) = supw∈X{µ(w)∗R(w,x)} (3)L et us recall the definitions of fuzzy closure and fuzzy inte-rior of a fuzzy operatorC. The fuzzy closure is the smallestFCO which is greater than or equal to C. The fuzzy inte-rior is the greatest FIO which is smaller than or equal to C.Formally,Definition 2.7 . Let C : [0,1]X −→ [0,1]X be a fuzzy opera-tor. W e define the fuz z y closur e C of C as the fuzzy operatorgiven byC = infφ∈ΩC≤φ{φ} . (4)Definition 2.8 . Let C : [0,1]X −→ [0,1]X be a fuzzy opera-tor. W e define the fuz z y inte r ior◦C of C as the fuzzy operatorgiven by◦C = supφ∈ΛC≥φ{φ} . (5)3 PERMUTABILITYFirst of all, let us recall the definitions of permutability forfuzzy relations and fuzzy operators.Definition 3 .1. Let R,S ∈ Γ′ be fuzzy relations. W e saythat R and S pe r mute (or that R and S are permutable) ifR◦S= S◦R where ◦ is the sup-∗ composition.Definition 3 .2. Let C,C′ be fuzzy operators. W e say thatC and C′ pe r mute (or that C and C′ are permutable) ifC ◦ C′ =C′ ◦ C where ◦ is the usual composition.3 .1 PERMUTABILITY OF FCO AND FIOIn [3] we proved the following results which character-ize permutability between FCO and the dual case of FIO.Proofs are provided there.For two fuzzy consequence operators to permute it is nec-essary and sufficient that their composition gives a FCO inboth directions:Th eorem 3 .1. Let C,C′ be fuzzy consequence operators.Then, C and C′ permute if and only if C ◦C′ and C′ ◦C arefuzzy consequence operators.H ence, permutability appears when the operator type ispreserved.Proposition 3 .2. LetC,C′ be fuzzy consequence operators.Then, C ◦C′ is a fuzzy consequence operator if and only ifC ◦C′ = max(C,C′).A s a consequence of the previous result we have thatC andC′ permute if and only if both C ◦C′ and C′ ◦C coincidewith max(C,C′).The dual results hold for fuzzy interior operators. For twofuzzy interior operators to permute it is necessary and suffi-cient that their composition gives a FIO in both directions.In this case, their composition is the interior of their mini-mum.Th eorem 3 .3 . Let C,C′ be fuzzy interior operators. Then,C and C′ permute if and only if C ◦C′ and C′ ◦C are fuzzyinterior operators.ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 46 -Proposition 3 .4 . Let C,C′ be fuzzy interior operators.Then, C ◦C′ is a fuzzy interior operator if and only ifC ◦C′ =◦min(C,C′).H ence,C andC′ permute if and only if bothC◦C′ andC′◦Ccoincide with◦min(C,C′).3 .2 PERMUTABILITY OF FCO INDUCED BYFUZ Z Y RELATIONSIt was proved in [13] that two ∗-indistinguishability re-lations defined on a finite set X permute if and only ifE ◦ F is an ∗-indistinguishability relation. In this case,E ◦F = max(E,F).In [4], this result was extended to general fuzzy preordersand any set X , finite or not.Th eorem 3 .5 . Let R and P be two fuzzy ∗-preorders on X.Then, R and P are permutable if and only if R◦P and P◦Rare fuzzy ∗-preorders. In this case, R◦P coincides with the∗-transitive closure max(R,P) of max(R,P).N otice that both compositions are needed in order to obtainpermutability. In Section 4 we will illustrate this fact withan example.Since indistinguishability relations are preorders that alsosatisfy the symmetric property, we can soften this con-straint.Proposition 3 .6 . Let E and F be two ∗-indistinguishabilityrelations on X. Then, E and F are permutable if and onlyif E ◦ F is a ∗-indistinguishability relation. In this case,E ◦F coincides with the ∗-transitive closure max(E,F) ofmax(E,F).Composition of fuzzy operators induced by fuzzy relationsusing Zadeh’s compositional rule can be described in termsof the inducing relations as shown in the following propo-sition. This description makes natural to think that per-mutability of fuzzy relations is connected to permutabilityof the operators they induce.Proposition 3 .7 . Let R,S be two fuzzy relations and letC∗R and C∗S be the corresponding fuzzy operators inducedthrough Z adeh’s compositional rule. Then,C∗R ◦C∗S =C∗S◦R (6)where S ◦ R denotes the sup-∗ composition of fuzzy rela-tions.L et us focus on the case of operators induced by fuzzypreorders. It is well known that fuzzy operators inducedfrom fuzzy relations through Zadeh’s compositional ruleare fuzzy consequence operators if and only if the relationis a fuzzy preorder [8]. H owever, not every FCO can beinduced by a preorder. The relation between permutabil-ity of fuzzy preorders and permutability of their inducedconsequence operators can be summarized in the followingtheorem.Th eorem 3 .8 . [ 4 ] Let R,P be fuzzy ∗-preorders. Then,C∗R ◦C∗P = C∗P ◦C∗R ⇔ R◦P = P◦RIf the preorders are fuzzy indistinguishability relations, theinduced operators behave specially well.Proposition 3 .9 . [ 12] Let E be a fuzzy ∗-indistinguishability relation and let C∗E be the fuzzyoperator induced through Z adeh’s compositional rule.Then,1. C∗E is a fuzzy consequence operator.2. C∗E(⋃i∈I µi) =⋃i∈IC∗E(µi) for any index set I and allµi ∈ [0,1]X .3. C∗E({x})(y) = C∗E({y})(x) for all x,y ∈ X where {x}denotes the singleton of x.4 . C∗E(α ∗µ) =α ∗C∗E(µ) for any constant α ∈ [0,1] andµ ∈ [0,1]X .Moreover, every fuzzy operator satisfying conditions ofProposition 3.9 can be written in the form C∗E for a cer-tain ∗-indistinguishability relation E. H ence, there is a bi-jection between the set of ∗-indistinguishability relationsand the set of fuzzy operators satisfying the conditions ofProposition 3.9.E ven if C∗E and C∗F do not permute, their composition al-ways satisfy the following properties.Proposition 3 .10 . Let E,F be fuzzy ∗-indistinguishabilityrelations. Then, C∗E◦F satisfies properties 2, 4 of Proposi-tion 3.9 . Moreover, it satisfies the inclusion and monotonyproperties from the definition of FCO .In [4] we proved that permutability of operators induced bysimilarity relations can be characterized as follows:Th eorem 3 .11. Let E, F be ∗-indistinguishability rela-tions. Then, their consequences C∗E and C∗F permute if andonly if E ◦F is an indistinguishability relation.Corollary 3 .12. Let C,C′ be fuzzy operators satifying allthe conditions of Proposition 3.9 . Then, C and C′ permuteif and only if C ◦C′ also satisfies all these conditions.4 EX AMPLESThe aim of this section is to illustrate the results given inSection 3 with different examples. We will provide casesof fuzzy operators and fuzzy relations that do and do notpermute.The first example shows that the condition in Theorem 3.5cannot be softened. Preservation of the operator type inESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 47 -one direction is not enough to obtain permutability betweenfuzzy consequence operators.Example 4 .1. Let X be a non empty classical set and letα,β ∈ R such that 0 < β < α < 1. Let C′ and C be FCOdefined as follows:C′(µ)(x) =1 i f µ(x)> ββ i f µ(x)≤ βC(µ)(x) =1 i f µ(x)> αα i f µ(x)≤ α .Note that C′ ◦C is a FCO . In fact, C′ ◦C = max(C,C′) = Xwhere X(µ)(x) = 1 for all x ∈ X and µ ∈ [0,1]X . H owever,C and C′ d o not pe r mute . Indeed, one has(C ◦C′)(µ)(x)1 i f µ(x)> βα i f µ(x)≤ βwhich is not a FCO since it does not satisfy idempotence.The next example proves that there exist fuzzy conse-quence operators that permute.Example 4 .2. Let X be a non empty classical set. Letx1,x2 ∈ X with x1 6= x2 and let C′ and C be defined asC′(µ)(x) =1 i f x= x1µ(x) otherwiseC(µ)(x) =1 i f x= x2µ(x) otherwiseNotice that C and C′ are FCO and pe r mute , i.e. C ◦C′ =C′ ◦C, and by Thm. 3.2, their compositionC′ ◦C(µ)(x) =1 i f x= x1 or x= x2µ(x) otherwiseis a FCO .L et us show some cases of permutability and non-permutability of min-preorders. From Theorem 3.8, theirinduced consequence operators behave in the same way asthe relations do.For simplicity, we shall write C∗R instead of CminR .Example 4 .3 . Let R and P be fuzzy min-preorders (but notsimilarities) defined as follows:R= 1 0.3 0.60.7 1 0.750.4 0.3 1 P= 1 0.7 0.80.55 1 0.70.4 0.4 1R and P pe r mute and therefore, their consequences alsodo.max(R,P) = R◦P= P◦R= 1 0.7 0.80.7 1 0.750.4 0.4 1Tak ing for example, µ =(0.2 0.8 0.5), it is easy tosee thatC∗R ◦C∗P(µ) =C∗P ◦C∗R(µ) =(0.7 0.8 0.75)Example 4 .4 . Let Q and S be fuzzy min-preorders (but notsimilarities) defined as follows.Q= 1 0.4 0.50.6 1 0.50.3 0.3 1 S= 1 0.3 0.60.7 1 0.750.4 0.3 1Their compositions are given byQ◦S= 1 0.4 0.60.7 1 0.750.4 0.3 1S◦Q= 1 0.4 0.60.7 1 0.750.4 0.4 1Notice that max(S,Q) = S◦Q but Q and S d o not pe r mute .Tak ing µ =(0.2 0.3 0.5), it is easy to see thatC∗Q ◦C∗S(µ) =(0.4 0.4 0.5)C∗S ◦C∗Q(µ) =(0.4 0.3 0.5)Example 4 .5 . Let E and F be fuzzy min-indistinguishability relations defined as follows.E =1 0.8 0.7 0.70.8 1 0.7 0.80.7 0.7 1 0.70.7 0.8 0.7 1F =1 0.6 0.5 0.80.6 1 0.5 0.60.5 0.5 1 0.50.8 0.6 0.5 1ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 48 -Notice that E and F pe r mute .max(E,F) = E ◦F = F ◦E =1 0.8 0.7 0.80.8 1 0.7 0.80.7 0.7 1 0.70.8 0.8 0.7 1Therefore, C∗E and C∗F also pe r mute .Example 4 .6 . Let E and F be fuzzy min-indistinguishability relations defined as follows.E =1 0.4 0.4 0.40.4 1 0.8 0.70.4 0.8 1 0.70.4 0.7 0.7 1F =1 0.5 0.7 0.80.5 1 0.5 0.50.7 0.5 1 0.70.8 0.5 0.7 1E and F d o not pe r mute .F ◦E =1 0.7 0.7 0.80.5 1 0.8 0.70.7 0.8 1 0.70.8 0.7 0.7 1E ◦F =1 0.5 0.7 0.80.7 1 0.8 0.70.7 0.8 1 0.70.8 0.7 0.7 1H owever, as seen in Proposition 3.10 , both compositionsC∗E ◦C∗F and C∗F ◦C∗E satisfy properties 2, 4 of Proposi-tion 3.9 and the inclusion and monotony properties fromthe definition of FCO .Ack nowledgementsWe acknowledge the partial support of the project FIS2011-28820-C02-02 from the Spanish G overnment and N .C. ac-knowledges the financial support of the " A sociació n deA migos de la U niversidad de N avarra" .References[1] B e˘lohlá vek, R. , Funioková , T.: Fuzzy interior oper-ators. International J ournal of G eneral Systems, V ol.33, Iss. 4, pp. 415– 430, 2004.[2] B andler, W,. K ohout, J .: Special properties, closuresand interiors of crisp and fuzzy relations. Fuzzy Setsand Systems, V ol. 26, pp. 317– 331, 1988.[3] Carmona, N ., E lorza, J ., Recasens, J ., B ragard J .:Permutability of Fuzzy Consequence Operators andFuzzy Interior Operators. In: Advances in ArtificialIntelligence: Proceedings of the 15 th Conference ofthe Spanish Association for Artificial Intelligence, pp.62– 69, Springer, 2013.[4] Carmona, N ., E lorza, J ., Recasens, J ., B ragard J .: Per-mutability of Fuzzy Consequence Operators inducedby fuzzy relations. To be published in: Proceedingsof MDAI’13. Lecture Notes in Artificial Intelligence,Springer, 2013.[5] Castro J .L ., Trillas, E .: Tarski’s fuzzy consequences.In: Proceedings of the International Fuzzy Engineer-ing Symposium ’9 1, V ol. 1, pp. 70– 81, 1991.[6] D e B aets, B . , K erre, E . , G upta, M.: The fundamen-tals of fuzzy mathematical morphology part 1: B asicconcepts. International J ournal of General Systems,V ol. 23, Iss. 2, 1995.[7] D eng, T.Q ., H eijmans, H .J .A .M.: G rey-scale mor-phology based on fuzzy logic. J . Math. Imaging Vi-sion, V ol. 16, pp. 155– 171, 2002.[8] E lorza, J . and B urillo, P.: On the relation offuzzy preorders and fuzzy consequence operators,International J ournal of U ncertainty, Fuzziness andK nowledge-based Systems 7 (3), pp. 219– 234, 1999.[9] E lorza, J . and B urillo, P.: Connecting fuzzy preorders,fuzzy consequence operators and fuzzy closure andco-closure systems. Fuzzy Sets and Systems, 139(3),pp. 601– 613, 2003.[10] E lorza, J . et al.: On the relation between fuzzy clos-ing morphological operators, fuzzy consequence op-erators induced by fuzzy preorders and fuzzy closureand co-closure systems. Fuzzy Sets and Systems, V ol.218, pp. 73– 89, 2013.[11] Pavelka, J ., On Fuzzy L ogic I. Z eitschr. f. Math. Logikund Grundlagen d. Math. V ol. 25, pp. 45– 52, 1979.[12] Recasens, J .: Indistinguishability Operators: Mod-elling Fuzzy E qualities and Fuzzy E quivalence Rela-tions. Studies in Fuzziness and Soft Computing, V ol.260, Springer, 2010.[13] Recasens, J .: Permutable indistinguishability opera-tors, perfect vague groups and fuzzy subgroups. In-formation Sciences, V ol. 196, pp. 129– 142 (2012)ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 49 -ESTYLF 2014   XVII CONGRESO ESPAÑOL SOBRE TECNOLOGÍAS Y LÓGICA FUZZY- 50 -

UPCommons

https://upcommons.upc.edu/bitstream/2117/21620/1/paper9.pdf

Some illustrative examples of permutability of fuzzy operators and fuzzy relations

Abstract

Similar works

Full text

Available Versions

UPCommons. Portal del coneixement obert de la UPC

Universidad de Navarra

Dadun, University of Navarra

UPCommons