Perception-Based Logical Deduction

  • Vilém Novák
Conference paper
Part of the Advances in Soft Computing book series (AINSC, volume 33)


In this paper, we will formalize the way, how people make inferences on the basis of the, so called, linguistic description which is a set of fuzzy IF-THEN rules understood as expressions of natural language. We will explain our idea on the following example.


Fuzzy Logic Residuated Lattice Conjunctive Normal Form Linguistic Expression Local Perception 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andrews P (2002) An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, DordrechtzbMATHGoogle Scholar
  2. 2.
    Da Ruan and Kerre E E (eds) (2000) Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications. Kluwer Academic Publishers, BostonzbMATHGoogle Scholar
  3. 3.
    Dubois D, Prade H (1992) Gradual inference rules in approximate reasoning. Information Sciences, 61(1–2):103–122CrossRefMathSciNetGoogle Scholar
  4. 4.
    Dubois D, Prade H (1992) The Semantics of Fuzzy “IF...THEN...” Rules. In: Novák, V., Ramík, J., Mareš, M., Černý, M., Nekola, J. (eds) Fuzzy Approach to Reasoning and Decision-Making. Kluwer, Dordrecht; Academia, PrahaGoogle Scholar
  5. 5.
    Dvořák A, Habiballa H, Novák V, Pavliska V (2003) The concept of LFLC 2000 — its specificity, realization and power for applications. Computers in industry 51:269–280CrossRefGoogle Scholar
  6. 6.
    Dvořák A, Novák V (2004) Fuzzy Logic Deduction with Crisp Observations. Soft Computing 8:256–263Google Scholar
  7. 7.
    Dvořák A, Novák V (2004) Formal Theories and Linguistic Descriptions. Fuzzy Sets and Systems 143:169–188CrossRefMathSciNetGoogle Scholar
  8. 8.
    Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, DordrechtzbMATHGoogle Scholar
  9. 9.
    Hajičová, E., Partee, B. J., Sgall, P.: Topic-Focus Articulation, Tripartite Structures, and Semantic Content. Kluwer, Dordrecht 1998.Google Scholar
  10. 10.
    Gallin D (1975) Intensional and Higher-Order Modal Logic (With Applications to Montague Semantics) North-Holland, AmsterdamzbMATHGoogle Scholar
  11. 11.
    Materna P (1998) Concepts and Objects. Acta Philosophica Fennica 63, HelsinkiGoogle Scholar
  12. 12.
    Novák V (2001) Antonyms and Linguistic Quantifiers in Fuzzy Logic. Fuzzy Sets and Systems 124:335–351zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Novák V (2003) Approximation Abilities of Perception-based Logical Deduction. Proc. Third Conf. EUSFLAT 2003, University of Applied Sciences at Zittau/Goerlitz, Germany, 630–635Google Scholar
  14. 14.
    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.Google Scholar
  15. 15.
    Novák V (2003) Fuzzy logic deduction with words applied to ancient sea level estimation. In: Demicco R, Klir G J (eds) Fuzzy logic in geology. Academic Press, Amsterdam, 301–336Google Scholar
  16. 16.
    Novák V (2003) Descriptions in Full Fuzzy Type Theory. Neural Network World 13:559–569Google Scholar
  17. 17.
    Novák V (to appear) On fuzzy type theory. Fuzzy Sets and Systems.Google Scholar
  18. 18.
    Novák V, Kovář J (2000) Linguistic IF-THEN Rules in Large Scale Application of Fuzzy Control. In: Da Ruan and E E. Kerre (eds) Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications. Kluwer Academic Publishers, Boston, 223–241Google Scholar
  19. 19.
    Novák V, Perfilieva I (eds) (2000) Discovering World With Fuzzy Logic. Springer-Verlag, HeidelbergzbMATHGoogle Scholar
  20. 20.
    Novák V, Perfilieva I, Močkoř J (1999) Mathematical Principles of Fuzzy Logic. Kluwer, Boston/DordrechtzbMATHGoogle Scholar
  21. 21.
    Perfilieva, I., Normal Forms for Fuzzy Logic Functions and Their Approximation Ability, Fuzzy Sets and Systems 124(2001), No 3, pp. 371–384.zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Sgall P, Hajičová E, Panevová J (1986) The Meaning of the Sentence in Its Syntactic and Pragmatic Aspects. D. Reidel, DordrechtGoogle Scholar
  23. 23.
    Zadeh L A (2000) Toward a Logic of Perceptions Based on Fuzzy Logic. In: Perfilieva I (eds) Discovering World With Fuzzy Logic. Springer-Verlag, Heidelberg [19], 4–28.Google Scholar
  24. 24.
    Zadeh L A (1973) Quantitative Fuzzy Semantics. Inf.Sci. 3:159–176CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Vilém Novák
    • 1
    • 2
  1. 1.Institute for Research and Applications of Fuzzy ModelingUniversity of OstravaOstrava 1Czech Republic
  2. 2.Institute of Information and Automation TheoryAcademy of Sciences of the Czech RepublicPraha 8Czech Republic

Personalised recommendations