Normal forms for fuzzy logic functions and their approximation ability

Abstract 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 are investigated. The problem of transformation of any formula of propositional fuzzy logic into either of the normal forms is discussed.

[1]  Robert McNaughton,et al.  A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..

[2]  Robert Babuska,et al.  Fuzzy algorithms for control , 1999 .

[3]  Irina Perfilieva,et al.  Fuzzy Logic Normal Forms for Control Law Representation , 1999 .

[4]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[5]  Constantin V. Negoita,et al.  On Fuzzy Systems , 1978 .

[6]  Daniele Mundici,et al.  A constructive proof of McNaughton's theorem in infinite-valued logic , 1994, Journal of Symbolic Logic (JSL).

[7]  Juan Luis Castro,et al.  Fuzzy systems with defuzzification are universal approximators , 1996, IEEE Trans. Syst. Man Cybern. Part B.

[8]  Vladik Kreinovich,et al.  Fuzzy control as a universal control tool , 1996, Fuzzy Sets Syst..

[9]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[10]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[11]  J. Buckley.  Sugeno type controllers are universal controllers , 1993 .

[12]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[13]  C. Chang,et al.  A new proof of the completeness of the Łukasiewicz axioms , 1959 .

[14]  L. Castro,et al.  Fuzzy Systems with Defuzziication Are Universal Approximators , 1996 .

[15]  Vladik Kreinovich,et al.  Normal Forms for fuzzy Logic - an Application of Kolmogorov's Theorem , 1996, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[16]  B. Kosko.  Fuzzy systems as universal approximators , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.