Skip to main content
SpringerLink
Log in

Towards a Possibilistic Logic

  • Chapter
Fuzzy Set Theory and Advanced Mathematical Applications

Part of the book series: International Series in Intelligent Technologies ((ISIT,volume 4))

Abstract

In this paper, we investigate how linguistic information can be incorporated into classical propositional logic. First, we show that Zadeh’s extension principle can be justified and at the same time generalized by considerations about transformation of possibility measures. Using these results, we show how linguistic uncertainty about the truth value of a proposition leads to the introduction of the notion of a possibilistic truth value. Since propositions can be combined into new ones using logical operators, linguistic uncertainty about the truth values of the original propositions leads to linguistic uncertainty about the truth value of the resulting proposition. Furthermore, we show that in a number of special cases there is truthfunctionality, i.e., the possibilistic truth value of the resulting proposition is a function of the possibilistic truth values of the original propositions. We are thus led to the introduction of possibilistic-logical functions, combining possibilistic truth values. Important classes of such functions, the possibilistic extension logics, directly result from the above-mentioned investigation, and are studied extensively. Finally, the relation between these logics, and Kleene’s strong multi-valued systems is established.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. G. Birkhoff. Lattice Theory, volume XXV. A.M.S. Colloquium Publications, Providence, Rhode Island, 1967.

    MATH  Google Scholar 

  2. C.W. Burrill. Measure, Integration and Probability. McGraw-Hill, New York, 1972.

    MATH  Google Scholar 

  3. B.A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, 1990.

    MATH  Google Scholar 

  4. G. De Cooman. Possibility theory: Conditional possibility. In preparation.

    Google Scholar 

  5. G. De Cooman. Possibility theory: Possibilistic independence. In preparation.

    Google Scholar 

  6. G. De Cooman. Possibility theory: The measure-and integral-theoretic groundwork. In preparation.

    Google Scholar 

  7. G. De Cooman. Evaluation sets: An order-theoretic approach to fuzzy set theory. CC-AI, 8:81–101, 1991.

    MathSciNet  Google Scholar 

  8. G. De Cooman. Evaluation sets and mappings — the order-theoretic aspect of the meaning of properties. In E.E. Kerre, editor, Introduction to the Basic Principles of Fuzzy Set Theory and Some of Its Applications, pages 159–213. Communication & Cognition, Ghent, 1991.

    Google Scholar 

  9. G. De Cooman. Evaluatieverzamelingen en-afbeeldingen — Een orde-theorische benadering van vaagheid en onzekerheid [Evaluation Sets and Mappings—An Order-Theoretic Approach to Vagueness and Uncertainty]. PhD thesis, Universiteit Gent, 1993.

    Google Scholar 

  10. G. De Cooman and B. Cappelle. A possibilistic uncertainty model in classical reliability theory. In Fuzzy Logic and Intelligent Technologies in Nuclear Science (Proceedings of the First International FLINS Workshop), pages 19–25, Mol, Belgium, September 14-16,1994.

    Google Scholar 

  11. G. De Cooman and E. E. Kerre. An Order-Theoretic Description of Vagueness, Imprecision and Uncertainty. In preparation.

    Google Scholar 

  12. G. De Cooman and E. E. Kerre. Possibility and necessity integrals. Accepted for publication in Fuzzy Sets and Systems.

    Google Scholar 

  13. G. De Cooman and E. E. Kerre. Ample fields. Simon Stevin, 67:235–244, 1993.

    MathSciNet  MATH  Google Scholar 

  14. G. De Cooman and E. E. Kerre. Order norms on bounded partially ordered sets. The Journal of Fuzzy Mathematics, 2:281–310,1994.

    MATH  Google Scholar 

  15. G. De Cooman and E. E. Kerre. A new approach to possibilistic independence. In Proceedings of Third IEEE Conference on Fuzzy Systems (FUZZ-IEEE’94, IEEE World Congress on Computational Intelligence), volume 2, pages 1446–1451, Orlando, Florida, June 26-29, 1994.

    Google Scholar 

  16. G. De Cooman, E. E. Kerre, B. Cappelle, D. Ruan, and F. Vanmassenhove. On the extension of classical propositional logic by means of a triangular norm. International Journal of Intelligent Systems, 5:307–322, 1990.

    Article  MATH  Google Scholar 

  17. G. De Cooman, E. E. Kerre, and F. Vanmassenhove. Possibility theory: An integral theoretic approach. Fuzzy Sets and Systems, 46:287–300, 1992.

    Article  MathSciNet  MATH  Google Scholar 

  18. Z.P. Dienes. On an implication function in many-valued systems of logic. The Journal of Symbolic Logic, 14:95–97, 1949.

    Article  MathSciNet  MATH  Google Scholar 

  19. B.R. Gaines. Foundations of fuzzy reasoning. International Journal of Man-Machine Studies, 8:623–668,1976.

    Article  MathSciNet  MATH  Google Scholar 

  20. J.A. Goguen. L-fuzzy sets. Journal of Mathematical Analysis and Applications, 18:145–174, 1967.

    Article  MathSciNet  MATH  Google Scholar 

  21. E. E. Kerre. Basic principles of fuzzy set theory for the representation and manipulation of imprecision and uncertainty. In E.E. Kerre, editor, Introduction to the Basic Principles of Fuzzy Set Theory and Some of Its Applications, pages 1–158. Communication & Cognition, Ghent, 1991.

    Google Scholar 

  22. S. C. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952.

    MATH  Google Scholar 

  23. E. Mendelson. Theory and Problems of Boolean Algebra and Switching Circuits. McGraw-Hill, New York, 1970.

    MATH  Google Scholar 

  24. Wang Pei-Zhang. Fuzzy contactability and fuzzy variables. Fuzzy Sets and Systems, 8:81–92, 1982.

    Article  MathSciNet  MATH  Google Scholar 

  25. N. Rescher. Many-Valued Logic. McGraw-Hill, New York, 1969.

    MATH  Google Scholar 

  26. H. J. Skala. On many-valued logics, fuzzy sets, fuzzy logics and their applications. Fuzzy Sets and Systems, 1:129–149, 1978.

    Article  MathSciNet  MATH  Google Scholar 

  27. A. Van Schooten. Ontwerp en implementatie van een model voor de representatie en manipulatie van onzekerheid en imprecisie in data-banken en expertsystemen [Design and Implementation of a Model for the Representation and Manipulation of Uncertainty and Imprecision in Databases and Expert Systems]. PhD thesis, Universiteit Gent, 1989.

    Google Scholar 

  28. L.A. Zadeh. Fuzzy sets. Information and Control, 8:338–353,1965.

    Article  MathSciNet  MATH  Google Scholar 

  29. L.A. Zadeh. Calculus of fuzzy restrictions. In L.A. e.a. Zadeh, editor, Fuzzy Sets and Their Applications To Cognitive and Decision Processes, pages 1–39. Academic Press, New York, 1975.

    Google Scholar 

  30. L.A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3–28,1978.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vakgroep Elektrische Energietechniek, Universiteit Gent, Technologiepark 9, B-9052, Zwijnaarde, Belgium

    Gert de Cooman

Authors
  1. Gert de Cooman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Belgian Nuclear Research Centre (SCK · CEN), Mol, Belgium

    Da Ruan

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer Science+Business Media New York

About this chapter

Cite this chapter

de Cooman, G. (1995). Towards a Possibilistic Logic. In: Ruan, D. (eds) Fuzzy Set Theory and Advanced Mathematical Applications. International Series in Intelligent Technologies, vol 4. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2357-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-2357-4_4

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-6000-1

  • Online ISBN: 978-1-4615-2357-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation