Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm. (English) Zbl 1423.03082
Summary: In any fuzzy rules based system the inference management is usually carried out by the so-called fuzzy implication functions. In this framework, the modus ponens property becomes essential to make forward inferences and it is well known that this inference rule is guaranteed when the conjunction and the implication function used in the process satisfy the corresponding functional inequality. Such inequality has been extensively studied for many kinds of implication functions when the conjunction is modelled by a t-norm. However, the use of conjunctive uninorms to model conjunctions is an increasingly widespread option in fuzzy systems and for this reason the study of the modus ponens with respect to a conjunctive uninorm \(U\) instead of a t-norm \(T\), which we call here \(U\)-modus ponens or \(U\)-conditionality, becomes very important. In this paper, this new property is deeply analyzed and it is shown that usual implications derived from t-norms and t-conorms do not satisfy it, but many solutions appear among those implications derived from uninorms. In particular, the \(U\)-modus ponens for the case of residual implications derived from uninorms, or \(RU\)-implications, is investigated in detail when the uninorm \(U\) lies in any of the four most usual classes of uninorms.
MSC:
| 03B52 | Fuzzy logic; logic of vagueness |
Keywords:
fuzzy connectives and aggregation operators; fuzzy implication functions; modus ponens; t-norms; uninorms; natural negationsReferences:
| [1] | Aguiló, I.; Suñer, J.; Torrens, J., A characterization of residual implications derived from left-continuous uninorms, Inf. Sci., 180, 3992-4005 (2010) · Zbl 1204.03028 |
| [2] | Alsina, C.; Trillas, E., When \((S, N)\)-implications are \((T, T_1)\)-conditional functions?, Fuzzy Sets Syst., 134, 305-310 (2003) · Zbl 1014.03026 |
| [3] | Baczyński, M.; Jayaram, B., Fuzzy Implications, Studies in Fuzziness and Soft Computing, vol. 231 (2008), Springer: Springer Berlin Heidelberg · Zbl 1147.03012 |
| [4] | Baczyński, M.; Jayaram, B., (U,N)-implications and their characterizations, Fuzzy Sets Syst., 160, 2049-2062 (2009) · Zbl 1183.03023 |
| [5] | Benítez, J. M.; Castro, J. L.; Requena, I., Are artificial neural networks black boxes?, IEEE Trans. Neural Netw., 8, 1156-1163 (1997) |
| [6] | Czogala, E.; Drewniak, J., Associative monotonic operations in fuzzy set theory, Fuzzy Sets Syst., 12, 249-269 (1984) · Zbl 0555.94027 |
| [7] | De Baets, B., Idempotent uninorms, Eur. J. Oper. Res., 118, 631-642 (1999) · Zbl 0933.03071 |
| [8] | De Baets, B.; Fodor, J. C., Residual operators of uninorms, Soft Comput., 3, 89-100 (1999) |
| [9] | De Baets, B.; Fodor, J., Van Melle’s combining function in MYCIN is a representable uninorm: an alternative proof, Fuzzy Sets Syst., 104, 133-136 (1999) · Zbl 0928.03060 |
| [10] | Drygaś, P., On properties of uninorms with underlying t-norm and t-conorm given as ordinal sums, Fuzzy Sets Syst., 161, 149-157 (2010) · Zbl 1191.03039 |
| [11] | Drygaś, P.; Ruiz-Aguilera, D.; Torrens, J., A characterization of a class of uninorms with continuous underlying operators, Fuzzy Sets Syst., 287, 137-153 (2016) · Zbl 1392.03050 |
| [12] | Fodor, J.; De Baets, B., A single-point characterization of representable uninorms, Fuzzy Sets Syst., 202, 89-99 (2011) · Zbl 1268.03027 |
| [13] | Fodor, J. C.; Yager, R. R.; Rybalov, A., Structure of uninorms, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 5, 411-427 (1997) · Zbl 1232.03015 |
| [14] | González-Hidalgo, M.; Massanet, S.; Mir, A.; Ruiz-Aguilera, D., On the choice of the pair conjunction-implication into the fuzzy morphological edge detector, IEEE Trans. Fuzzy Syst., 23, 872-884 (2015) |
| [15] | González, M.; Mir, A.; Ruiz-Aguilera, D.; Torrens, J., Noisy medical image edge detection algorithm based on a morphological gradient using uninorms, (Tavares, J.; Jorge, N., Computational Vision and Medical Image Processing: Recent Trends. Computational Vision and Medical Image Processing: Recent Trends, Comput. Methods Appl. Sci., vol. 19 (2011)), 191-207 |
| [16] | Hu, S. K.; Li, Z. F., The structure of continuous uninorms, Fuzzy Sets Syst., 124, 1, 43-52 (2001) · Zbl 0989.03058 |
| [17] | Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms (2000), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0972.03002 |
| [18] | Li, G.; Liu, H. W.; Fodor, J., Single-point characterization of uninorms with nilpotent underlying t-norm and t-conorm, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 22, 591-604 (2014) · Zbl 1323.03079 |
| [19] | Martín, J.; Mayor, G.; Torrens, J., On locally internal monotonic operations, Fuzzy Sets Syst., 137, 27-42 (2003) · Zbl 1022.03038 |
| [20] | Mas, M.; Massanet, S.; Ruiz-Aguilera, D.; Torrens, J., A survey on the existing classes of uninorms, J. Intell. Fuzzy Syst., 29, 1021-1037 (2015) · Zbl 1361.03022 |
| [21] | Mas, M.; Monserrat, M.; Ruiz-Aguilera, D.; Torrens, J., RU and \((U, N)\)-implications satisfying Modus Ponens, Int. J. Approx. Reason., 73, 123-137 (2016) · Zbl 1348.03024 |
| [22] | Mas, M.; Monserrat, M.; Torrens, J., Two types of implications derived from uninorms, Fuzzy Sets Syst., 158, 2612-2626 (2007) · Zbl 1125.03018 |
| [23] | Mas, M.; Monserrat, M.; Torrens, J., Modus Ponens and Modus Tollens in discrete implications, Int. J. Approx. Reason., 49, 422-435 (2008) · Zbl 1194.03023 |
| [24] | Mas, M.; Monserrat, M.; Torrens, J., A characterization of \((U, N), R U, Q L\) and \(D\)-implications derived from uninorms satisfying the law of importation, Fuzzy Sets Syst., 161, 1369-1387 (2010) · Zbl 1195.03031 |
| [25] | Mas, M.; Monserrat, M.; Torrens, J.; Trillas, E., A survey on fuzzy implication functions, IEEE Trans. Fuzzy Syst., 15, 6, 1107-1121 (2007) |
| [26] | Mas, M.; Ruiz-Aguilera, D.; Torrens, J., On a generalization of the Modus Ponens: \(U\)-conditionality, (Carvalho, J. P.; etal., IPMU-2016, Part I. IPMU-2016, Part I, CCIS, vol. 610 (2016)), 1-12 · Zbl 1452.03075 |
| [27] | Mas, M.; Ruiz-Aguilera, D.; Torrens, J., On some classes of RU-implications satisfying \(U\)-Modus Ponens, (Torra, V.; Mesiar, R.; De Baets, B., Aggregation Functions in Theory and in Practice. Aggregation Functions in Theory and in Practice, Advances in Intelligent Systems and Computing, vol. 581 (2018)), 71-82 |
| [28] | Massanet, S.; Torrens, J., On a new class of fuzzy implications: h-implications and generalizations, Inf. Sci., 181, 2111-2127 (2011) · Zbl 1252.03060 |
| [29] | Massanet, S.; Torrens, J., Fuzzy implications: past, present and future, (Kacprzyk, J.; Pedrycz, W., Springer Handbook of Computational Intelligence (2015), Springer-Verlag: Springer-Verlag Berlin Heidelberg), 183-202 |
| [30] | Metcalfe, G.; Montagna, F., Substructural fuzzy logics, J. Symb. Log., 72, 834-864 (2007) · Zbl 1139.03017 |
| [31] | Ruiz, D.; Torrens, J., Residual implications and co-implications from idempotent uninorms, Kybernetika, 40, 21-38 (2004) · Zbl 1249.94095 |
| [32] | Ruiz-Aguilera, D.; Torrens, J., Distributivity of residual implications over conjunctive and disjunctive uninorms, Fuzzy Sets Syst., 158, 23-37 (2007) · Zbl 1114.03022 |
| [33] | Ruiz-Aguilera, D.; Torrens, J., S- and R-implications from uninorms continuous in \(] 0, 1 [{}^2\) and their distributivity over uninorms, Fuzzy Sets Syst., 160, 832-852 (2009) · Zbl 1184.03014 |
| [34] | Ruiz-Aguilera, D.; Torrens, J.; De Baets, B.; Fodor, J., Some remarks on the characterization of idempotent uninorms, (Hüllermeier, E.; Kruse, R.; Hoffmann, F., Computational Intelligence for Knowledge-Based Systems Design. Computational Intelligence for Knowledge-Based Systems Design, Lecture Notes in Computer Science, vol. 6178 (2010), Springer: Springer Berlin, Heidelberg), 425-434 |
| [35] | Trillas, E.; Alsina, C.; Pradera, A., On MPT-implication functions for fuzzy logic, Rev. R. Acad. Cienc. Ser. A. Mat. (RACSAM), 98, 1, 259-271 (2004) · Zbl 1070.03014 |
| [36] | Trillas, E.; Alsina, C.; Renedo, E.; Pradera, A., On contra-symmetry and MPT-conditionality in fuzzy logic, Int. J. Intell. Syst., 20, 313-326 (2005) · Zbl 1088.03025 |
| [37] | Trillas, E.; Campo, C.; Cubillo, S., When QM-operators are implication functions and conditional fuzzy relations, Int. J. Intell. Syst., 15, 647-655 (2000) · Zbl 0953.03031 |
| [38] | Trillas, E.; Valverde, L., On Modus Ponens in fuzzy logic, (15th International Symposium on Multiple-Valued Logic. 15th International Symposium on Multiple-Valued Logic, Kingston, Canada (1985)), 294-301 |
| [39] | Yager, R. R.; Rybalov, A., Uninorm aggregation operators, Fuzzy Sets Syst., 80, 111-120 (1996) · Zbl 0871.04007 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
