Skip to main content
SpringerLink
Log in

Prolog extensions to many-valued logics

  • Chapter
Non-Classical Logics and their Applications to Fuzzy Subsets

Part of the book series: Theory and Decision Library ((TDLB,volume 32))

Abstract

The aim of this paper is to show that a restriction of a logical language to clauses like Horn clauses, as they are used in Prolog, applied to [0,1]- valued logics leads to calculi with a sound and complete proof theory. In opposition to other models where generally the set of axioms as well as the deduction schemata are enriched we restrict ourselves to a simple modification of the deduction rules of classical logic without adding new axioms.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. D. Dubois, J. Lang, H. Prade, Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights. Proc. 5th Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario (1989), 81–87.

    Google Scholar 

  2. D. Dubois, J. Lang, H. Prade: Fuzzy Sets in Approximate Reasoning, Part 2: Logical Approaches. Fuzzy Sets and Systems 40 (1991), 203–244.

    Article  MathSciNet  MATH  Google Scholar 

  3. Dubois, H. Prade, An Introduction to Possibilistic and Fuzzy Logics. In: P. Smets, E.H. Mamdani, D. Dubois, H. Prade (eds.), Non-Standard Logics for Automated Reasoning. Academic Press, London (1988), 287–326.

    Google Scholar 

  4. Dubois, H. Prade, Fuzzy Sets, Probability and Measurement. European Journal of Operational Research 40 (1989), 135–154.

    Article  MathSciNet  MATH  Google Scholar 

  5. Dubois, H. Prade, Epistemic Entrenchment and Possibilistic Logic. Artificial Intelligence 50 (1991), 223–239.

    Article  MathSciNet  MATH  Google Scholar 

  6. J. Gebhardt, R. Kruse, A Possibilistic Interpretation of Fuzzy Sets by the Context Model. Proc. International Conference on Fuzzy Systems, IEEE, San Diego (1992), 1089–1096.

    Google Scholar 

  7. M. Ishizuka, N. Kasai, Prolog-ELF Incorporating Fuzzy Logic. Proc. 9th IJCAI Conference, Los Angeles (1985), 701–703.

    Google Scholar 

  8. F. Klawonn, J. Gebhardt, R. Kruse: Logical Approaches to Uncertainty and Vagueness in the View of the Context Model. Proc. International Conference on Fuzzy Systems, IEEE, San Diego (1992), 1375–1382.

    Google Scholar 

  9. R. Kruse, J. Gebhardt, F. Klawonn, Reasoning with Mass Distributions and the Context Model. In: R. Kruse, P. Siegel (eds.), Symbolic and Quantitative Approaches to Uncertainty. Springer-Verlag, Berlin (1991), 81–85.

    Chapter  Google Scholar 

  10. R.C.T. Lee, Fuzzy Logic and the Resolution Principle. J. Association of Computation and Machines 19 (1972), 109–119.

    Article  MATH  Google Scholar 

  11. J.W. Lloyd: Foundations of Logic Programming (2nd ed.). Springer, Berlin (1987).

    Book  MATH  Google Scholar 

  12. T.P. Martin, J.F. Baldwin, B.W. Pilsworth, The Implementation of FPro- log - A Fuzzy Prolog Interpreter. Fuzzy Sets and Systems 23 (1987), 119–129.

    Article  MATH  Google Scholar 

  13. M. Mukaidono, Z.L. Shen, L. Ding, Fundamentals of Fuzzy Prolog. Int. J. Approximate Reasoning 3 (1989), 179–193.

    Article  MATH  Google Scholar 

  14. D. Mundici, Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. Fundamenta Informaticae 18 (1993), 151–161.

    MathSciNet  MATH  Google Scholar 

  15. N.J. Nilsson, Probabilistic Logic. Artificial Intelligence 28 (1986), 71–87.

    Article  MathSciNet  MATH  Google Scholar 

  16. V. Novák, On the Syntactico-Semantical Completeness of First-Order Fuzzy Logic, Part I: Syntax and Semantics. Kybernetika 26 (1990), 47–66.

    MATH  Google Scholar 

  17. V. Novák, On the Syntactico-Semantical Completeness of First-Order Fuzzy Logic, Part II: Main Results. Kybernetika 26 (1990), 134–154.

    MATH  Google Scholar 

  18. V. Novák, The Unifying Role of Fuzzy Logic in Fuzzy Set Theory. Annales Univ. Sei. Budapest, Sect. Comp. 12 (1991), 187–194.

    Google Scholar 

  19. V. Novák, On the Logical Basis of Approximate Reasoning. In: V. Novák, J. Ramik, M. Mares, M. Cerny, J. Nekola (eds), Fuzzy Approach to Reasoning and Decision Making. Academia, Prague (1992), 17–27.

    Chapter  Google Scholar 

  20. I.P. Orci, Programming in Possibilistic Logic. Int. J. Expert System 2 (1989), 79–96.

    Google Scholar 

  21. J. Pavelka, On Fuzzy Logic I, II, III. Z. Math. Logik Grundlag. Math. 25 (1979), 45–52, 119–134, 447–464.

    Google Scholar 

  22. H. Rasiowa, R. Sikorski, The Mathematics of Metamathematics (3rd ed.). Polish Scientific Publishers, Warszawa (1970).

    Google Scholar 

  23. N. Rescher, Many-Valued Logic. McGraw-Hill, New York (1969).

    MATH  Google Scholar 

  24. J.A. Robinson: A Machine-Oriented Logic Based on the Resolution Principle. Journ. of the Association for Computing Machinery 12 (1965), 23–41.

    Article  MATH  Google Scholar 

  25. W. Spohn, Ordinal Conditional Functions: A Dynamic Theory of Epistemic States. In: W.L. Harper, B. Skyrms (eds.), Causation in Decision, Belief, Change, and Statistics, Vol. 2. Reidel, Dordrecht (1987), 105–134.

    Google Scholar 

  26. M. Umano, Fuzzy Set Prolog. Proc. 2nd IFSA Congress, Tokyo (1987), 750–753.

    Google Scholar 

Download references

Authors
  1. F. Klawonn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Mathematik, Bergische Universität, Wuppertal, Germany

    Ulrich Höhle

  2. Institut für Mathematik, Johannes Kepler Universität, Linz, Austria

    Erich Peter Klement

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Klawonn, F. (1995). Prolog extensions to many-valued logics. In: Höhle, U., Klement, E.P. (eds) Non-Classical Logics and their Applications to Fuzzy Subsets. Theory and Decision Library, vol 32. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0215-5_11

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-0215-5_11

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-4096-9

  • Online ISBN: 978-94-011-0215-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation