Hierarchical structure and applications of fuzzy logical systems. (English) Zbl 1316.03013
Summary: This paper focuses on hierarchical structures of formulas in fuzzy logical systems. Basic concepts and hierarchical structures of generalized tautologies based on a class of fuzzy logical systems are discussed. The class of fuzzy logical systems contains the monoidal t-norm based system and its several important schematic extensions: the Łukasiewicz logical system, the Gödel logical system, the product logical system and the nilpotent minimum logical system. Furthermore, hierarchical structures of generalized tautologies are applied to discuss the transformation situation of tautological degrees during the procedure of fuzzy reasoning.
MSC:
| 03B52 | Fuzzy logic; logic of vagueness |
Keywords:
fuzzy logic; generalized tautology; tautological degree; t-norm-based fuzzy logic; fuzzy reasoningReferences:
| [1] | Blyth, T. S., Lattices and Ordered Algebraic Structures (2005), Springer-Verlag: Springer-Verlag London · Zbl 1073.06001 |
| [2] | Carotenuto, G.; Gerla, G., Bilattices for deductions in multi-valued logic, International Journal of Approximate Reasoning (2013), in press · Zbl 1316.03011 |
| [3] | Esteva, F.; Godo, L., Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124, 271-288 (2001) · Zbl 0994.03017 |
| [4] | Fodor, J. C., Contrapositive symmetry of fuzzy implications, Fuzzy Sets and Systems, 69, 141-156 (1995) · Zbl 0845.03007 |
| [5] | Gottwald, S., A Treatise on Many-Valued Logics (2001), Research Studies Press Ltd.: Research Studies Press Ltd. Baldock · Zbl 1048.03002 |
| [6] | Hájek, P., Metamathematics of Fuzzy Logic (1998), Kluwer: Kluwer Dordrecht · Zbl 0937.03030 |
| [7] | Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms (2000), Kluwer: Kluwer Dordrecht · Zbl 0972.03002 |
| [8] | Liu, H.-W.; Wang, G.-J., Unified forms of fully implicational restriction methods for fuzzy reasoning, Information Sciences, 177, 956-966 (2007) · Zbl 1142.68547 |
| [9] | Liu, L.; Zhang, X., States on \(R_0\) algebras, Soft Computing, 12, 1099-1104 (2008) · Zbl 1145.06005 |
| [10] | Mundici, D., Averaging the truth-value in Lukasiewicz logic, Studia Logica, 55, 113-127 (1995) · Zbl 0836.03016 |
| [11] | Novák, V.; Perfiliva, I.; Močkoř, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer: Kluwer Boston · Zbl 0940.03028 |
| [12] | Pavelka, J., On fuzzy logic III, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 25, 447-464 (1979) · Zbl 0446.03016 |
| [13] | Pei, D., \(R_0\) implication: characteristics and applications, Fuzzy Sets and Systems, 131, 297-302 (2002) · Zbl 1015.03034 |
| [14] | Pei, D., On equivalent forms of fuzzy logic systems NM and IMTL, Fuzzy Sets and Systems, 138, 187-195 (2003) · Zbl 1031.03047 |
| [15] | Pei, D., On the strict logic foundation of fuzzy reasoning, Soft Computing, 8, 539-545 (2004) · Zbl 1066.03039 |
| [16] | Pei, D., The unified algorithms of triple I methods for fuzzy reasoning, Information Sciences, 178, 520-530 (2008) · Zbl 1125.68122 |
| [17] | Pei, D., Formalization of implication based fuzzy reasoning method, International Journal of Approximate Reasoning, 53, 837-846 (2012) · Zbl 1246.03049 |
| [18] | Pei, D.; Li, J., Generalized tautologies in product logical systems, Fuzzy Systems and Mathematics, 16, 4, 19-27 (2002) · Zbl 1333.03053 |
| [19] | Pei, D.; Wang, G.-J., The completeness and applications of the formal system \(L^\ast \), Science in China, Series F. Information Sciences, 45, 1, 40-50 (2002) · Zbl 1182.03053 |
| [20] | Pei, D.; Wang, G.-J., The extensions \(L_n^\ast\) of the system \(L^\ast\) and their completeness, Information Sciences, 152, 155-166 (2003) · Zbl 1040.03022 |
| [21] | Turksen, I. B.; Zhong, Z., An approximate analogical reasoning approach based on similarity measures, IEEE Transactions on Systems, Man and Cybernetics, 18, 6, 1049-1056 (1988) |
| [22] | Wang, G.-J., Theory of \(Σ-(α\)-tautologies) in revised Kleene systems, Science in China, Series E, 41, 2, 188-195 (1998) |
| [23] | Wang, G.-J., The full implication triple I method of fuzzy reasoning, Science in China, Series E, 29, 1, 43-53 (1999) |
| [24] | Wang, G.-J., On the logic foundation of fuzzy reasoning, Information Sciences, 117, 47-88 (1999) · Zbl 0939.03031 |
| [25] | Wang, G.-J., Non-classical Mathematical Logic and Approximate Reasoning (2000), Science Press: Science Press Beijing, (in Chinese) |
| [26] | Wang, G.-J.; Fu, L., Unified forms of triple I method, Computers & Mathematics With Applications, 49, 923-932 (2005) · Zbl 1074.03506 |
| [27] | Wang, G.-J.; Leung, Y., Integrated semantics and logic metric spaces, Fuzzy Sets and Systems, 136, 71-91 (2003) · Zbl 1024.03027 |
| [28] | Wang, G.-J.; Wang, H., Non-fuzzy versions of fuzzy reasoning in classical logics, Information Sciences, 138, 211-236 (2001) · Zbl 0994.03014 |
| [29] | Wang, G.-J.; Zhou, H.-J., Quantitative logic, Information Sciences, 179, 226-247 (2009) · Zbl 1167.03020 |
| [30] | Wang, S.-M.; Wang, B.-S.; Pei, D.-W., A fuzzy logic for an ordinal sum t-norm, Fuzzy Sets and Systems, 149, 297-307 (2005) · Zbl 1060.03043 |
| [31] | Wu, H. B., Generalized tautologies of Gödel logical system, Fuzzy Systems and Mathematics, 14, 4, 53-59 (2000), (in Chinese) · Zbl 1333.03023 |
| [32] | Wu, H. B., Generalized tautologies of the revised Kleene system, Science in China, Series E, 32, 2, 224-229 (2002), (in Chinese) |
| [33] | Wu, H. B.; Wang, G. J., Theory of generalized tautology in Lukasiewicz logic system, Journal of Southwest Jiaotong University, 35, 5, 559-563 (2000), (in Chinese) · Zbl 1012.03507 |
| [34] | Wu, W. M., Generalized tautologies of parameterized Kleene systems, Fuzzy Systems and Mathematics, 14, 1, 1-7 (2000), (in Chinese) · Zbl 1333.03072 |
| [35] | Yang, X.-B.; Zhang, W.-X., Generalized tautologies of Lukasiewicz system, Journal of Shaanxi Normal University (Natural Science Edition), 26, 4, 6-9 (1998), (in Chinese) |
| [36] | Ying, M. S., Implication operators in fuzzy logic, IEEE Transactions on Fuzzy Systems, 10, 88-91 (2002) |
| [37] | Zadeh, L. A., Outline of a new approach to the analysis of complex systems and decision processes, IEEE Transactions on Systems, Man and Cybernetics, 3, 28-44 (1973) · Zbl 0273.93002 |
| [38] | Zadeh, L. A., The concept of a linguistic variable and its applications to approximate reasoning, Information Sciences, 8, 199-249 (1975) · Zbl 0397.68071 |
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.
