Modus Ponens Tollens for RU-Implications

In fuzzy rules based systems, fuzzy implication functions are usually considered to model fuzzy conditionals and to perform forward and backward inferences. These processes are guaranteed by the fulfilment of the Modus Ponens and Modus Tollens properties by the fuzzy implication function with respect to the considered conjunction and fuzzy negation. In this paper, we investigate which residual implications derived from uninorms satisfy both Modus Ponens and Modus Tollens properties with respect to the same t-norm and a fuzzy negation simultaneously. The most usual classes of uninorms are considered and many solutions are obtained which allow to model the fuzzy conditionals in a fuzzy rules based systems (and perform backward and forward inferences) with a unique residual implication derived from a uninorm.

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

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

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

[4]  Joan Torrens,et al.  RU and (U, N)-implications satisfying Modus Ponens , 2016, Int. J. Approx. Reason..

[5]  Pawel Drygas.  On the structure of continuous uninorms , 2007, Kybernetika.

[6]  Joan Torrens,et al.  Modus Tollens on Fuzzy Implication Functions Derived from Uninorms , 2016, Fuzzy Logic and Information Fusion.

[7]  Joan Torrens,et al.  Residual implications and co-implications from idempotent uninorms , 2004, Kybernetika.

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

[9]  Bernard De Baets,et al.  Some Remarks on the Characterization of Idempotent Uninorms , 2010, IPMU.

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

[11]  Joan Torrens,et al.  A characterization of residual implications derived from left-continuous uninorms , 2010, Inf. Sci..

[12]  Joan Torrens,et al.  A survey on the existing classes of uninorms , 2015, J. Intell. Fuzzy Syst..

[13]  Joan Torrens,et al.  S- and R-implications from uninorms continuous in ]0, 1[2 and their distributivity over uninorms , 2009, Fuzzy Sets Syst..

[14]  Joan Torrens,et al.  A characterization of (U, N), RU, QL and D-implications derived from uninorms satisfying the law of importation , 2010, Fuzzy Sets Syst..

[15]  Joan Torrens,et al.  Uninorm based residual implications satisfying the Modus Ponens property with respect to a uninorm , 2019, Fuzzy Sets Syst..

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

[17]  Humberto Bustince,et al.  The law of O-conditionality for fuzzy implications constructed from overlap and grouping functions , 2019, Int. J. Approx. Reason..

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

[19]  Enric Trillas,et al.  When (S, N)-implications are (T, T1)-conditional functions? , 2003, Fuzzy Sets Syst..

[20]  Michal Baczynski,et al.  Fuzzy Implications: Past, Present, and Future , 2015, Handbook of Computational Intelligence.

[21]  Joan Torrens,et al.  On locally internal monotonic operations , 2003, Fuzzy Sets Syst..

[22]  Christian Eitzinger,et al.  Triangular Norms , 2001, Künstliche Intell..

[23]  Bernard De Baets,et al.  Idempotent uninorms , 1999, Eur. J. Oper. Res..

[24]  E. Trillas,et al.  On MPT-implication functions for Fuzzy Logic , 2004 .

[25]  Joan Torrens,et al.  Modus ponens and modus tollens in discrete implications , 2008, Int. J. Approx. Reason..

[26]  Shi-kai Hu,et al.  The structure of continuous uni-norms , 2001, Fuzzy Sets Syst..