Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor

The main contribution of this paper is to introduce an autonomous definition of the connective ''fuzzy exclusive or'' (fuzzy Xor, for short), which is independent from others connectives. Also, two canonical definitions of the connective Xor are obtained from the composition of fuzzy connectives, and based on the commutative and associative properties related to the notions of triangular norms, triangular conorms and fuzzy negations. We show that the main properties of the classical connective Xor are preserved by the connective fuzzy Xor, and, therefore, this new definition of the connective fuzzy Xor extends the related classical approach. The definitions of fuzzy Xor-implications and fuzzy E-implications, induced by the fuzzy Xor connective, are also studied, and their main properties are analyzed. The relationships between the fuzzy Xor-implications and the fuzzy E-implications with automorphisms are explored.

[1]  Humberto Bustince,et al.  Automorphisms, negations and implication operators , 2003, Fuzzy Sets Syst..

[2]  Jirí Benes,et al.  On neural networks , 1990, Kybernetika.

[3]  Mirko Navara,et al.  Validation sets in fuzzy logics , 2002, Kybernetika.

[4]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[5]  Koen De Bosschere,et al.  XOR-based hash functions , 2005, IEEE Transactions on Computers.

[6]  E. Walker,et al.  Algebraic Aspects of Fuzzy Sets and Fuzzy Logic , 1998 .

[7]  Vojislav Kecman,et al.  Support Vector Machines – An Introduction , 2005 .

[8]  Eunjin Kim,et al.  Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations , 2004, Reliab. Comput..

[9]  Michal Baczynski,et al.  Residual implications revisited. Notes on the Smets-Magrez Theorem , 2004, Fuzzy Sets Syst..

[10]  Joan Torrens,et al.  Two types of implications derived from uninorms , 2007, Fuzzy Sets Syst..

[11]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[12]  Ronald R. Yager,et al.  On global requirements for implication operators in fuzzy modus ponens , 1999, Fuzzy Sets Syst..

[13]  Yun Shi,et al.  On the characterizations of fuzzy implications satisfying I(x, y)=I(x, I(x, y)) , 2007, Inf. Sci..

[14]  J. Fodor.  On fuzzy implication operators , 1991 .

[15]  Witold Pedrycz,et al.  fXOR fuzzy logic networks , 2002, Soft Comput..

[16]  Benjamín R. C. Bedregal,et al.  Interval Additive Generators of Interval T-Norms , 2008, WoLLIC.

[17]  Stefano Aguzzoli,et al.  Finiteness in Infinite-Valued Łukasiewicz Logic , 2000, J. Log. Lang. Inf..

[18]  N. Mermin.  Quantum Computer Science: An Introduction , 2007 .

[19]  J. Fodor.  Contrapositive symmetry of fuzzy implications , 1995 .

[20]  Lipo Wang.  Support vector machines : theory and applications , 2005 .

[21]  Vladik Kreinovich,et al.  A new class of fuzzy implications. Axioms of fuzzy implication revisited , 1998, Fuzzy Sets Syst..

[22]  Paolo Penna,et al.  XOR-Based Schemes for Fast Parallel IP Lookups , 2003, CIAC.

[23]  Benjamín R. C. Bedregal,et al.  The Best Interval Representation of Fuzzy S-Implications and Automorphisms , 2007, 2007 IEEE International Fuzzy Systems Conference.

[24]  W. O. George,et al.  Resonance Raman Spectrum of Cyanocobalamin (Vitamin B12) , 1973 .

[25]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[26]  Guanrong Chen,et al.  Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems , 2000 .

[27]  Jean-Didier Legat,et al.  Application-Specific Reconfigurable XOR-Indexing to Eliminate Cache Conflict Misses , 2006, Proceedings of the Design Automation & Test in Europe Conference.

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

[29]  J. Balasubramaniam,et al.  Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm , 2022 .

[30]  Renata Reiser,et al.  Interval Valued R-Implications and Automorphisms , 2007 .

[31]  Michiharu Maeda,et al.  Qubit neuron according to quantum circuit for XOR problem , 2007, Appl. Math. Comput..

[32]  A. Konheim.  Computer Security and Cryptography , 2007 .

[33]  G. Horlick,et al.  Application of AND and Exclusive-Or (XOR) Logic Operations to the Identification of Elemental Emission Spectra Measured Using a Photodiode Array Direct Reading Spectrometer , 1973 .

[34]  Carl F. Mela,et al.  Using fuzzy set theoretic techniques to identify preference rules from interactions in the linear model: an empirical study , 1995 .

[35]  Christer Carlsson,et al.  Fuzzy reasoning in decision making and optimization , 2001, Studies in Fuzziness and Soft Computing.

[36]  J. Buckley,et al.  Fuzzy expert systems and fuzzy reasoning , 2004 .

[37]  Mirko Navara,et al.  A survey on different triangular norm-based fuzzy logics , 1999, Fuzzy Sets Syst..

[38]  Benjamín R. C. Bedregal,et al.  Interval Valued QL-Implications , 2007, WoLLIC.

[39]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

[40]  Radko Mesiar,et al.  Triangular Norms , 2000, Trends in Logic.

[41]  Joan Torrens,et al.  QL-implications versus D-implications , 2006, Kybernetika.

[42]  B. Bedregal,et al.  S-Implications on Bounded Lattices and the Interval Constructor , 2007 .

[43]  Ronald R. Yager,et al.  On some new classes of implication operators and their role in approximate reasoning , 2004, Inf. Sci..

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

[45]  B. Bedregal,et al.  Analyzing Properties of Fuzzy Implications Obtained via the Interval Constructor , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[46]  Yo Horikawa.  Landscapes of basins of local minima in the XOR problem , 1993, Proceedings of 1993 International Conference on Neural Networks (IJCNN-93-Nagoya, Japan).

[47]  Etienne Kerre,et al.  Fuzzy implication operators and generalized fuzzy method of cases , 1993 .

[48]  William Stallings,et al.  Cryptography and Network Security: Principles and Practice , 1998 .

[49]  Benjamín R. C. Bedregal,et al.  Fuzzy Rule-Based Hand Gesture Recognition , 2006, IFIP AI.

[50]  James J. Buckley,et al.  Fuzzy Expert Systems: Theory and Applications , 2004 .

[51]  Mai Gehrke,et al.  Some comments on interval valued fuzzy sets , 1996, Int. J. Intell. Syst..

[52]  Mirko Navara,et al.  Characterization of Measures Based on Strict Triangular Norms , 1999 .

[53]  Ronald R. Yager,et al.  On the implication operator in fuzzy logic , 1983, Inf. Sci..

[54]  Claude E. Shannon,et al.  Communication theory of secrecy systems , 1949, Bell Syst. Tech. J..

[55]  Philippe Smets,et al.  Implication in fuzzy logic , 1987, Int. J. Approx. Reason..

[56]  D. Willaeys,et al.  Approximate Reasoning in Expert Systems: Inference and Combination Tools , 1992, IPMU.

[57]  Sankar K. Pal,et al.  Fuzzy sets in pattern recognition and machine intelligence , 2005, Fuzzy Sets Syst..

[58]  Michal Baczynski,et al.  (S, N)- and R-implications: A state-of-the-art survey , 2008, Fuzzy Sets Syst..