Interval representations, Lukasiewicz implicators and Smets-Magrez axioms
The Smets-Magrez axiomatic is usually used to define the class of fuzzy continuous implications which are both S and R-implications (Lukasiewicz implications). Another approach is the construction of such class starting from a basic implication and applying automorphisms. Literature has shown that there is a harmony between those approaches, however in this paper we show that the extension of the Lukasiewicz implication defined on 10,11 for interval values cannot be applied in a direct way. We show that the harmony between the Smets-Magrez axiomatic approach and the one that comes from the generation by automorphisms is not preserved when such extension is done. One of the main consequences lies on the fact that the automorphism approach induces the loss of R-implications from the resulting class of implicators. More precisely, we show that the interval version of such approaches produce two disjunct classes of implicators, meaning that, unlike the usual case, the choice of the respective approach is an important step. (C) 2012 Elsevier Inc. All rights reserved.
interval representations lukasiewicz implicators smets-magrez axioms automorphisms fuzzy logic interval-valued fuzzy logic