On fuzzy implications: An axiomatic approach

Fuzzy operations acting on entire fuzzy sets with the stress on fuzzy implications are discussed and studied. In the case of binary operations, the input fuzzy sets are fuzzy subsets of possibly different universal spaces X and Y, and the output fuzzy set is a fuzzy subset of the Cartesian product Xi?Y. The standard approach to fuzzy operations is based on functions acting on 0,1], and then these fuzzy operations are called functionally expressible. We give a characterization of functionally expressible fuzzy implications (and other fuzzy operations), and include several examples of fuzzy operations which are not functionally expressible. An axiomatic approach for fuzzy operations, specially fuzzy implications, is presented.These fuzzy operations act on entire input fuzzy sets which can belong to possible different universal spaces.A characterization of functionally expressible fuzzy implications is given.Several examples of fuzzy operations which are not functionally expressible are presented.

[1]  Radko Mesiar,et al.  Aggregation functions on bounded partially ordered sets and their classification , 2011, Fuzzy Sets Syst..

[2]  J. A. Goguen,et al.  The logic of inexact concepts , 1969, Synthese.

[3]  Enric Trillas,et al.  A model for “crisp reasoning” with fuzzy sets , 2012, Int. J. Intell. Syst..

[4]  Michal Baczynski,et al.  Fuzzy Implications , 2008, Studies in Fuzziness and Soft Computing.

[5]  Nehad N. Morsi,et al.  A small set of axioms for residuated logic , 2005, Inf. Sci..

[6]  Gleb Beliakov,et al.  Aggregation Functions: A Guide for Practitioners , 2007, Studies in Fuzziness and Soft Computing.

[7]  Joan Torrens,et al.  Intersection of Yager's implications with QL and D-implications , 2012, Int. J. Approx. Reason..

[8]  Yongming Li,et al.  Algebraic structures of interval-valued fuzzy (S, N)-implications , 2012, Int. J. Approx. Reason..

[9]  Daowu Pei,et al.  Formalization of implication based fuzzy reasoning method , 2012, Int. J. Approx. Reason..

[10]  Li Yang,et al.  Distributive equations of implications based on nilpotent triangular norms , 2010, Int. J. Approx. Reason..

[11]  Ronald R. Yager.  Prioritized, Non-Pointwise, Nonmonotonic Intersection and Union for Commonsense Reasoning , 1988, IPMU.

[12]  R. Mesiar,et al.  ”Aggregation Functions”, Cambridge University Press , 2008, 2008 6th International Symposium on Intelligent Systems and Informatics.

[13]  R. Mesiar,et al.  Aggregation Functions (Encyclopedia of Mathematics and its Applications) , 2009 .

[14]  Huawen Liu,et al.  A generalization of Yager's f-generated implications , 2013, Int. J. Approx. Reason..

[15]  Joan Torrens,et al.  On the characterization of Yager's implications , 2012, Inf. Sci..

[16]  Erich-Peter Klement,et al.  Operations on fuzzy sets - an axiomatic approach , 1982, Inf. Sci..

[17]  Marc Roubens,et al.  Fuzzy Preference Modelling and Multicriteria Decision Support , 1994, Theory and Decision Library.

[18]  Donghui Guo,et al.  Robustness analysis of full implication inference method , 2013, Int. J. Approx. Reason..

[19]  Feng Qin,et al.  Some remarks on the distributive equation of fuzzy implication and the contrapositive symmetry for continuous, Archimedean t-norms , 2013, Int. J. Approx. Reason..

[20]  Francesc Esteva,et al.  Review of Triangular norms by E. P. Klement, R. Mesiar and E. Pap. Kluwer Academic Publishers , 2003 .

[21]  R. Mesiar,et al.  Aggregation operators: new trends and applications , 2002 .