Skip to main content
SpringerLink
Log in

Perception-Based Logical Deduction

  • Conference paper
Computational Intelligence, Theory and Applications

Part of the book series: Advances in Soft Computing ((AINSC,volume 33))

Abstract

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.

The paper has been supported by grants 201/04/1033 of the GA ČR, A1075301 of the GA AV ČR and Deutsche Forschungsgemeinschaft as part of the Collaborative Research Center “Computational Intelligence” (531).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrews P (2002) An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht

    MATH  Google Scholar 

  2. Da Ruan and Kerre E E (eds) (2000) Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications. Kluwer Academic Publishers, Boston

    MATH  Google Scholar 

  3. Dubois D, Prade H (1992) Gradual inference rules in approximate reasoning. Information Sciences, 61(1–2):103–122

    Article  MathSciNet  Google Scholar 

  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, Praha

    Google Scholar 

  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–280

    Article  Google Scholar 

  6. Dvořák A, Novák V (2004) Fuzzy Logic Deduction with Crisp Observations. Soft Computing 8:256–263

    Google Scholar 

  7. Dvořák A, Novák V (2004) Formal Theories and Linguistic Descriptions. Fuzzy Sets and Systems 143:169–188

    Article  MathSciNet  Google Scholar 

  8. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht

    MATH  Google Scholar 

  9. Hajičová, E., Partee, B. J., Sgall, P.: Topic-Focus Articulation, Tripartite Structures, and Semantic Content. Kluwer, Dordrecht 1998.

    Google Scholar 

  10. Gallin D (1975) Intensional and Higher-Order Modal Logic (With Applications to Montague Semantics) North-Holland, Amsterdam

    MATH  Google Scholar 

  11. Materna P (1998) Concepts and Objects. Acta Philosophica Fennica 63, Helsinki

    Google Scholar 

  12. Novák V (2001) Antonyms and Linguistic Quantifiers in Fuzzy Logic. Fuzzy Sets and Systems 124:335–351

    Article  MATH  MathSciNet  Google Scholar 

  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–635

    Google Scholar 

  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. 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–336

    Google Scholar 

  16. Novák V (2003) Descriptions in Full Fuzzy Type Theory. Neural Network World 13:559–569

    Google Scholar 

  17. Novák V (to appear) On fuzzy type theory. Fuzzy Sets and Systems.

    Google Scholar 

  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–241

    Google Scholar 

  19. Novák V, Perfilieva I (eds) (2000) Discovering World With Fuzzy Logic. Springer-Verlag, Heidelberg

    MATH  Google Scholar 

  20. Novák V, Perfilieva I, Močkoř J (1999) Mathematical Principles of Fuzzy Logic. Kluwer, Boston/Dordrecht

    MATH  Google Scholar 

  21. Perfilieva, I., Normal Forms for Fuzzy Logic Functions and Their Approximation Ability, Fuzzy Sets and Systems 124(2001), No 3, pp. 371–384.

    Article  MATH  MathSciNet  Google Scholar 

  22. Sgall P, Hajičová E, Panevová J (1986) The Meaning of the Sentence in Its Syntactic and Pragmatic Aspects. D. Reidel, Dordrecht

    Google Scholar 

  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. Zadeh L A (1973) Quantitative Fuzzy Semantics. Inf.Sci. 3:159–176

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, 30. dubna 22, 701 03, Ostrava 1, Czech Republic

    Vilém Novák

  2. Institute of Information and Automation Theory, Academy of Sciences of the Czech Republic, Pod vodárenskou věží 4, 186 02, Praha 8, Czech Republic

    Vilém Novák

Authors
  1. Vilém Novák
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science 1, University of Dortmund, FB 8 Ektrotechnik FB Informatik LS Informatik I, Postfach 50 05 00, 44221, Dortmund, Germany

    Bernd Reusch

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Novák, V. (2005). Perception-Based Logical Deduction. In: Reusch, B. (eds) Computational Intelligence, Theory and Applications. Advances in Soft Computing, vol 33. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-31182-3_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-31182-3_21

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22807-3

  • Online ISBN: 978-3-540-31182-9

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation