Normal forms for fuzzy logic functions and their approximation ability. (English) Zbl 0994.03019
Summary: Aiming at developing theoretical backgrounds of fuzzy logic, we consider an MV-algebra of fuzzy logic functions. Two kinds of formulas regarded as disjunctive and conjunctive normal forms are introduced as a formal translation of IF-THEN rules. Their ability for an approximate representation of uniformly continuous functions is investigated. The problem of transforming any formula of propositional fuzzy logic into either of the normal forms is discussed.
Keywords:
universal approximation; fuzzy logic; MV-algebra of fuzzy logic functions; normal forms; IF-THEN rulesReferences:
| [1] | Buckley, J. J., Sugeno type controllers are universal controllers, Fuzzy Sets and Systems, 53, 299-304 (1993) · Zbl 0785.93057 |
| [2] | Castro, J. L.; Delgado, M., Fuzzy systems with defuzzification are universal approximators, IEEE Trans. Systems Man, Cybernet., 26, 149-152 (1996) |
| [3] | Chang, C. C., Algebraic analysis of many valued logics, Trans. AMS, 88, 467-490 (1958) · Zbl 0084.00704 |
| [4] | B. Kosko, Fuzzy systems as universal approximators, IEEE Int. Conf. on Fuzzy Systems. San Diego, CA, 1992, pp. 1143-1162.; B. Kosko, Fuzzy systems as universal approximators, IEEE Int. Conf. on Fuzzy Systems. San Diego, CA, 1992, pp. 1143-1162. |
| [5] | Kreinovich, V.; Nguyen, H. T.; Sprecher, D. A., Normal forms for fuzzy logic—an application of Kolmogorov’s theorem, Int. J. Uncertainty Fuzzy and Knowl-Based Systems, 4, 4, 331-349 (1996) · Zbl 1232.03018 |
| [6] | McNaughton, R., A theorem about infinite-valued sentential logic, J. Symbolic Logic, 16, 1-13 (1951) · Zbl 0043.00901 |
| [7] | Mundici, D., A constructive proof of McNaughton’s theorem in infinite-valued logic, J. Symbolic Logic, 59, 596-602 (1994) · Zbl 0807.03012 |
| [8] | Mundici, D.; Cignoli, R.; D’Ottaviano, I. M.L., Algebraic Foundations of Many-valued Reasoning (2000), Kluwer: Kluwer Dordrecht · Zbl 0937.06009 |
| [9] | Nguyen, H. T.; Kreinovich, V.; Sirisaengtaksin, O., Fuzzy control as a universal control tool, Fuzzy Sets and Systems, 80 (1996) · Zbl 0881.93040 |
| [10] | Novák, V.; Perfilieva, I.; Močkoř, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer: Kluwer Boston · Zbl 0940.03028 |
| [11] | Perfilieva, I., Fuzzy Logic Normal Forms for Control Law Representation, (Verbruggen, H.; Zimmermann, H.-J.; Babuska, R., Fuzzy Algorithms for Control (1999), Kluwer: Kluwer Boston), 111-125 · Zbl 1036.03021 |
| [12] | J.B. Rosser, A.R. Turquette, Many-Valued Logics, Amsterdam, 1952.; J.B. Rosser, A.R. Turquette, Many-Valued Logics, Amsterdam, 1952. · Zbl 0047.01503 |
| [13] | Tonis, A. S.; Perfilieva, I. G., Functional System of Infinite-valued Propositional Calculus, Discretnij Analiz i Issled. Oper., Novosibirsk, 7, 2, 75-85 (2000), in Russian · Zbl 0953.03027 |
| [14] | Chang, C. C., A new proof of the completeness of the Łukasiewicz axioms, Trans. AMS, 93, 74-80 (1959) · Zbl 0093.01104 |
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.
