Residual implications derived from uninorms satisfying Modus Ponens

Modus Ponens is a key property for fuzzy implication functions that are going to be used in fuzzy inference processes. In this paper it is investigated when fuzzy implication functions derived from uninorms via residuation, usually called RUimplications, satisfy the modus ponens with respect to a continuous t-norm T, or equivalently, when they are T-conditionals. For RU-implications it is proved that T-conditionality only depends on the underlying t-norm TU of the uninorm U used to derive the residual implication and this fact leads to a lot of new solutions of the Modus Ponens property. Along the paper the particular cases when the uninorm lies in any of the most usual classes of uninorms are considered.

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

[2]  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..

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

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

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

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

[7]  Huawen Liu,et al.  Single-Point Characterization of Uninorms with Nilpotent Underlying T-Norm and T-Conorm , 2014, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

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

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

[10]  Huawen Liu,et al.  Distributivity and conditional distributivity of a uninorm with continuous underlying operators over a continuous t-conorm , 2016, Fuzzy Sets Syst..

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

[12]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

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

[15]  Bernard De Baets,et al.  A single-point characterization of representable uninorms , 2012, Fuzzy Sets Syst..

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

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

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

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

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

[21]  Daniel Ruiz,et al.  Distributivity and conditional distributivity of a uninorm and a continuous t-conorm , 2006, IEEE Transactions on Fuzzy Systems.

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

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

[24]  V. V. Hung.  A characterization of , 2016 .

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

[26]  Eyke Hüllermeier,et al.  Computational Intelligence for Knowledge-Based Systems Design, 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings , 2010, IPMU.

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

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

[29]  E. Trillas,et al.  When QM‐operators are implication functions and conditional fuzzy relations , 2000 .