Logical structure of fuzzy IF-THEN rules

Fuzzy Sets and Systems

Volumn 157, Issue 15, 2006, Pages 2003-2029

  Novák, Vilém ^a,b   Lehmke, Stephan ^c  

^a UNIVERSITY OF OSTRAVA   (Czech Republic)

^b INSTITUTE OF INFORMATION THEORY AND AUTOMATION   (Czech Republic)

^c TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Compositional rule of inference; Fuzzy IF THEN rules; Fuzzy logic; Fuzzy relation equations; Fuzzy type theory; Type theory

Indexed keywords

APPROXIMATION THEORY; FORMAL LOGIC; INFERENCE ENGINES; LOGIC PROGRAMMING; MATHEMATICAL MODELS; NONLINEAR EQUATIONS;

COMPOSITIONAL RULE OF INFERENCE; FUZZY IF-THEN RULES; FUZZY RELATION EQUATIONS; FUZZY TYPE THEORY; TYPE THEORY;

FUZZY SETS;

EID: 33644980293     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2006.02.011     Document Type: Article

References (41)

1. Andrews P. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2002), Kluwer, Dordrecht
2. R. Da, E.E. Kerre (Eds.), Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications, Kluwer Academic Publishers, Boston, 2000.
3. B. De Baets, A note on Mamdani controllers, Proc. Second Internat. Workshop on Fuzzy Logic and Intelligent Technologies in Nuclear Science, FLINS 1996, World Scientific Publishers, Singapore, 1996, pp. 22-28.
4. DiNola A., Sessa S., Pedrycz W., and Sanchez E. Fuzzy Relation Equations and Their Applications to Knowledge Engineering, Theory and Decision Libr., Series D (1989), Kluwer Academic Publishers, Dordrecht
5. Dvořák A., Habiballa H., Novák V., and Pavliska V. The concept of LFLC 2000-its specificity, realization and power for applications. Computers in Industry 51 (2003) 269-280
6. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
7. Gallin D. Intensional and Higher-Order Modal Logic (With Applications to Montague Semantics) (1975), North-Holland, Amsterdam
8. S. Gottwald, Fuzzy Sets and Fuzzy Logic, The Foundations of Application-From a Mathematical Point of View, Braunschweig/Wiesbaden and Teknea, Vieweg, Toulouse.
9. S. Gottwald, V. Novák, I. Perfilieva, Fuzzy control and t-norm-based fuzzy logic, some recent results, Proc. Conf. IPMU'2002, ESIA-Université de Savoie, Annecy, pp. 1087-1094.
10. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
11. Hajičová E., Partee B.J., and Sgall P. Topic-Focus Articulation, Tripartite Structures, and Semantic Content (1998), Kluwer, Dordrecht
12. Klawonn F. Fuzzy points, fuzzy relations and fuzzy functions. In: Novák V., and Perfilieva I. (Eds). Discovering the World with Fuzzy Logic (2000), Springer, Heidelberg 431-453 (Studies in Fuzziness and Soft Computing, vol. 57)
13. Klir G.J., and Yuan B. Fuzzy Sets and Fuzzy Logic: Theory and Applications (1995), Prentice-Hall, New York
14. Mamdani A., and Assilian S. An experiment in linguistic synthesis with a fuzzy logic controller. Internat. J. Man-Machine Studies 7 (1975) 1-13
15. Materna P. Concepts and objects. Acta Philos. Fenn. 63 (1998)
16. Novák V. Fuzzy Sets and Their Applications (1989), Adam Hilger, Bristol
17. Novák V. Descriptions in full fuzzy type theory. Neural Network World 13 (2003) 559-569
18. Novák V. From fuzzy type theory to fuzzy intensional logic. Proc. Third Conf. EUSFLAT 2003, University of Applied Sciences at Zittau/Goerlitz. Germany (2003) 619-623
19. Novák V. Fuzzy logic deduction with words applied to ancient sea level estimation. In: Demicco R., and Klir G.J. (Eds). Fuzzy Logic in Geology (2003), Academic Press, Amsterdam 301-336
20. V. Novák, Fuzzy relation equations with words, in: M. Nikravesh, L.A. Zadeh, V. Korotkikh (Eds.), Fuzzy Partial Differential Equations and Relational Equations: Reservoir Characterization and Modeling, Physica-Verlag, Springer in the Series Studies in Fuzziness and Soft Computing, 2004, pp. 167-185.
21. Novák V. On fuzzy type theory. Fuzzy Sets and Systems 149 (2005) 235-273
22. Novák V. Perception-based logical deduction. In: Reusch B. (Ed). Computational Intelligence, Theory and Applications (2005), Springer, Heidelberg 241-253
23. Novák V. Fuzzy type theory as higher order fuzzy logic. Proc. Sixth Internat. Conf. Intelligent Technologies (InTech'05), Faculty of Science and Technology, Assumption University. Bangkok, Thailand (2005) 21-26
24. V. Novák, A comprehensive theory of evaluating linguistic expressions, Proc. 26th Linz Seminar on Fuzzy Set Theory, Available also as Research Report No. 71 at 〈http://irafm.osu.cz/irafm〉, to appear.
25. V. Novák, Fuzzy logic theory of evaluating expressions and comparative quantifiers, Proc. Internat. Conf. IPMU'06, Paris, 2006, to appear.
26. V. Novák, I. Perfilieva (Eds.), Discovering the World with Fuzzy Logic, Springer, Heidelberg, 2000 (Studies in Fuzziness and Soft Computing, vol. 57).
27. Novák V., and Perfilieva I. Some consequences of Herbrand and McNaughton theorems in fuzzy logic. In: Novák V., and Perfilieva I. (Eds). Discovering the World With Fuzzy Logic (2000), Springer, Heidelberg 271-295 (Studies in Fuzziness and Soft Computing, vol. 57)
28. Novák V., and Perfilieva I. On the semantics of perception-based fuzzy logic deduction. Internat. J. Intelligent Systems 19 (2004) 1007-1031
29. V. Novák, I. Perfilieva, System of fuzzy relation equations as a continuous model of IF-THEN rules, Inform. Sci., to appear.
30. Novák V., Perfilieva I., and Gottwald S. Fuzzy relations equations via basic predicate fuzzy logic. In: Da R., D'hondt P., and Kerre E.E. (Eds). Computational Intelligent Systems for Applied Research (2002), World Scientific, Singapore 81-88
31. Novák V., Perfilieva I., and Močkoř J. Mathematical Principles of Fuzzy Logic (1999), Kluwer, Boston, Dordrecht
32. Perfilieva I. Logical approximation. Soft Comput. 7 2 (2002) 73-78
33. Perfilieva I. Normal forms in BL-algebra of functions and their contribution to universal approximation. Fuzzy Sets and Systems 143 (2004) 111-127
34. I. Perfilieva, S. Lehmke, Correct models of fuzzy IF-THEN rules are continuous, Fuzzy Sets and Systems, submitted.
35. Perfilieva I., and Tonis A. Compatibility of systems of fuzzy relation equations. Internat. J. General Systems 29 (2000) 511-528
36. Sanchez E. Resolution of composite fuzzy relation equations. Inform. and Control 30 (1976) 38-48
37. Sgall P., Hajičová E., and Panevová J. The Meaning of the Sentence in its Semantic and Pragmatic Aspects (1986), D. Reidel, Dordrecht
38. Thiele H. Investigation of IF-THEN rule bases by methods of mathematical logic. Proc. Internat. Conf. FUZZ-IEEE/IFES'95. Yokohama (1995) 1391-1396
39. H. Thiele, Investigating the logical structure of FUZZY IF-THEN rule bases using concepts of mathematical logic and of functional analysis, Proc. World Automation Congress WAC'98, Anchorage, Alaska, USA, 1998.
40. Zadeh L.A. The concept of a linguistic variable and its application to approximate reasoning I, II, III. Inform. Sci. 8 (1975) 199-257 301-357; 9 (1975) 43-80
41. Zadeh L.A. Precisiated Natural Language (PNL). AI Magazine 25 3 (2004) 74-91