Characterizations of (U2, N)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication

Abstract Fuzzy implications play an important role in both theoretic and applied communities of fuzzy set theory. The well-known fuzzy implications are usually constructed in appropriate ways from t-norms, t-conorms and fuzzy negations, and according to construction methods, they can be roughly classified into five classes, namely ( S , N ) -implications, R-implications, QL-implications including D-implications as contrapositions, Yager's implications and ordinal sum implications. So far, many further generalizations and new subclasses of fuzzy implications have been proposed from different perspectives in the literature. The present paper focuses on a specific subclass of fuzzy implications, whose members are called ( U 2 , N ) -implications and generated by disjunctive 2-uninorms U 2 and fuzzy negations N from the point of view of material implication. The main results are basic properties of natural negations inherited from ( U 2 , N ) -implications and complete characterizations of ( U 2 , N ) -implications. The motivation of the work lies in the fact that such fuzzy implications can induce several kinds of natural negations, among which the 2-natural negations not only generalize the existing natural negations of general fuzzy implications just as the 2-neutral elements of 2-uninorms extend the neutral elements of uninorms, but also cooperate well with the initial generating fuzzy negations under simple conditions, and what is more important is that such 2-natural negations, viewed as counterparts of the 2-neutral elements of 2-uninorms in the framework of ( U 2 , N ) -implications, serve as key tools in deriving 2-uninorms and in characterizing ( U 2 , N ) -implications from general fuzzy implications. Finally, such fuzzy implications are extended to the setting of n-uninorms, and the corresponding properties and characterizations of the resulting ( U n , N ) -implications are given.

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

[2]  Guo-Jun Wang,et al.  Unified forms of Triple I method , 2005 .

[3]  E. Trillas,et al.  On the law [p/spl and/q/spl rarr/r]=[(p/spl rarr/r)V(q/spl rarr/r)] in fuzzy logic , 2002 .

[4]  Huawen Liu,et al.  Distributivity of the Ordinal Sum Implications Over t-Norms and t-Conorms , 2016, IEEE Transactions on Fuzzy Systems.

[5]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[6]  Bernard De Baets,et al.  Residual operators of uninorms , 1999, Soft Comput..

[7]  Ewa Rak,et al.  Distributivity equation in the class of 2-uninorms , 2016, Fuzzy Sets Syst..

[8]  Genqi Xu,et al.  The Quintuple Implication Principle of fuzzy reasoning , 2015, Inf. Sci..

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

[10]  Humberto Bustince Sola,et al.  Advances in Fuzzy Implication Functions , 2013 .

[11]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[12]  Anatolij Dvurecenskij,et al.  Material implications in lattice effect algebras , 2018, Inf. Sci..

[13]  János Fodor,et al.  A new look at fuzzy connectives , 1993 .

[14]  Joan Torrens,et al.  Some characterizations of T-power based implications , 2019, Fuzzy Sets Syst..

[15]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[16]  Mingsheng Ying,et al.  Implication operators in fuzzy logic , 2002, IEEE Trans. Fuzzy Syst..

[17]  Bernard De Baets,et al.  Basic properties of implicators in a residual framework. , 1999 .

[18]  Joan Torrens,et al.  A New Look on the Ordinal Sum of Fuzzy Implication Functions , 2016, IPMU.

[19]  Balasubramaniam Jayaram,et al.  Rule reduction for efficient inferencing in similarity based reasoning , 2008, Int. J. Approx. Reason..

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

[21]  Yao Ouyang,et al.  On fuzzy implications determined by aggregation operators , 2012, Inf. Sci..

[22]  Joan Torrens,et al.  On the vertical threshold generation method of fuzzy implication and its properties , 2013, Fuzzy Sets Syst..

[23]  Etienne Kerre,et al.  Fuzzy techniques in image processing , 2000 .

[24]  Balasubramaniam Jayaram,et al.  (U, N)-Implications and Their Characterizations , 2009, EUSFLAT Conf..

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

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

[27]  Radko Mesiar,et al.  Fuzzy implications based on semicopulas , 2015, Fuzzy Sets Syst..

[28]  Humberto Bustince,et al.  Definition and construction of fuzzy DI-subsethood measures , 2006, Inf. Sci..

[29]  Zhudeng Wang,et al.  Constructing strict left (right)-disjunctive left (right) semi-uninorms and coimplications satisfying the order property , 2017, Fuzzy Sets Syst..

[30]  D. Mundici.  Advanced Łukasiewicz calculus and MV-algebras , 2011 .

[31]  Prabhakar Akella,et al.  Structure of n-uninorms , 2007, Fuzzy Sets Syst..

[32]  Humberto Bustince,et al.  Construction of fuzzy indices from fuzzy DI-subsethood measures: Application to the global comparison of images , 2007, Inf. Sci..

[33]  Joan Torrens,et al.  A Survey on Fuzzy Implication Functions , 2007, IEEE Transactions on Fuzzy Systems.

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

[35]  G. Deschrijver.  Implication functions in interval-valued fuzzy set theory , 2013 .

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

[37]  Michal Baczynski,et al.  On the characterizations of (S, N)-implications , 2007, Fuzzy Sets Syst..

[38]  Benjamín R. C. Bedregal,et al.  On interval fuzzy S-implications , 2010, Inf. Sci..

[39]  Witold Pedrycz,et al.  A method to construct fuzzy implications-rotation construction , 2018, Int. J. Approx. Reason..

[40]  Huawen Liu,et al.  Semi-uninorms and implications on a complete lattice , 2012, Fuzzy Sets Syst..

[41]  Bernard De Baets,et al.  A Fuzzy Morphology: a Logical Approach , 1998 .

[42]  W. Pedrycz,et al.  Fuzzy Relation Equations and Their Applications to Knowledge Engineering , 1989, Theory and Decision Library.

[43]  Benjamín R. C. Bedregal,et al.  On (G, N)-implications derived from grouping functions , 2014, Inf. Sci..

[44]  Huawen Liu,et al.  On a New Class of Implications: (G, Min)-Implications and Several Classical Tautologies , 2012, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

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

[46]  Graçaliz Pereira Dimuro,et al.  On residual implications derived from overlap functions , 2015, Inf. Sci..

[47]  Juan Fernández-Sánchez,et al.  A copula-based family of fuzzy implication operators , 2013, Fuzzy Sets Syst..

[48]  Peihua Qiu,et al.  Fuzzy Modeling and Fuzzy Control , 2006, Technometrics.

[49]  Benjamín R. C. Bedregal,et al.  A study of (T, N)-implications and its use to construct a new class of fuzzy subsethood measure , 2018, Int. J. Approx. Reason..

[50]  Feng Sun,et al.  Uni-nullnorms and null-uninorms , 2017, J. Intell. Fuzzy Syst..

[51]  Bernard De Baets,et al.  On the structure of 2-uninorms , 2018, Inf. Sci..

[52]  Humberto Bustince,et al.  On (TS,N)-fuzzy implications , 2011 .

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

[54]  Barnabás Bede,et al.  Mathematics of Fuzzy Sets and Fuzzy Logic , 2012, Studies in Fuzziness and Soft Computing.

[55]  Benjamín R. C. Bedregal,et al.  Aggregating fuzzy implications , 2013, Inf. Sci..

[56]  Eloy Renedo,et al.  Extracting causation knowledge from natural language texts , 2005 .

[57]  Hua-Wen Liu,et al.  A note on "The modularity law in some classes of aggregation operators" , 2019, Fuzzy Sets Syst..

[58]  Joan Torrens,et al.  Equivalence and characterization of probabilistic and survival implications , 2019, Fuzzy Sets Syst..

[59]  Yong Su,et al.  On ordinal sum implications , 2015, Inf. Sci..

[60]  Huawen Liu,et al.  A new class of fuzzy implications derived from generalized h-generators , 2013, Fuzzy Sets Syst..

[61]  Joan Torrens,et al.  An Overview of Construction Methods of Fuzzy Implications , 2013 .

[62]  Joan Torrens,et al.  On two types of discrete implications , 2005, Int. J. Approx. Reason..

[63]  Benjamín R. C. Bedregal,et al.  Interval additive generators of interval t-norms and interval t-conorms , 2011, Inf. Sci..

[64]  B. Schweizer,et al.  Statistical metric spaces. , 1960 .

[65]  G. P. Dimuro,et al.  Interval-valued implications and interval-valued strong equality index with admissible orders , 2017, Int. J. Approx. Reason..

[66]  Humberto Bustince,et al.  QL-operations and QL-implication functions constructed from tuples (O, G, N) and the generation of fuzzy subsethood and entropy measures , 2017, Int. J. Approx. Reason..

[67]  H.-W. Liu,et al.  Fuzzy Implications Derived From Generalized Additive Generators of Representable Uninorms , 2013, IEEE Transactions on Fuzzy Systems.

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

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

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

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

[72]  Joan Torrens,et al.  Threshold generation method of construction of a new implication from two given ones , 2012, Fuzzy Sets Syst..

[73]  Radko Mesiar,et al.  Residual implications and left-continuous t-norms which are ordinal sums of semigroups , 2004, Fuzzy Sets Syst..

[74]  Ronald R. Yager,et al.  Uninorm aggregation operators , 1996, Fuzzy Sets Syst..

[75]  Jan Jantzen,et al.  Foundations of fuzzy control , 2007 .

[76]  Humberto Bustince,et al.  A review of the relationships between implication, negation and aggregation functions from the point of view of material implication , 2016, Inf. Sci..

[77]  Joan Torrens,et al.  Continuous R-implications generated from representable aggregation functions , 2010, Fuzzy Sets Syst..

[78]  Ronald R. Yager,et al.  Structure of Uninorms , 1997, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[79]  Vicenç Torra,et al.  Modeling decisions - information fusion and aggregation operators , 2007 .

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

[81]  Benjamín R. C. Bedregal,et al.  On interval fuzzy negations , 2010, Fuzzy Sets Syst..

[82]  Joan Torrens,et al.  A New Look on Fuzzy Implication Functions: FNI-implications , 2016, IPMU.

[83]  Guo-Jun Wang.  Fuzzy continuous input-output controllers are universal approximators , 1998, Fuzzy Sets Syst..