Advertisement

Towards a Possibilistic Logic

  • Gert de Cooman
Part of the International Series in Intelligent Technologies book series (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.

Keywords

Complete Lattice Fuzzy Variable Proposition Variable Possibilistic Logic Classical Propositional Logic 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    G. Birkhoff. Lattice Theory, volume XXV. A.M.S. Colloquium Publications, Providence, Rhode Island, 1967.MATHGoogle Scholar
  2. [2]
    C.W. Burrill. Measure, Integration and Probability. McGraw-Hill, New York, 1972.MATHGoogle Scholar
  3. [3]
    B.A. Davey and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, 1990.MATHGoogle Scholar
  4. [4]
    G. De Cooman. Possibility theory: Conditional possibility. In preparation.Google Scholar
  5. [5]
    G. De Cooman. Possibility theory: Possibilistic independence. In preparation.Google Scholar
  6. [6]
    G. De Cooman. Possibility theory: The measure-and integral-theoretic groundwork. In preparation.Google Scholar
  7. [7]
    G. De Cooman. Evaluation sets: An order-theoretic approach to fuzzy set theory. CC-AI, 8:81–101, 1991.MathSciNetGoogle Scholar
  8. [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. [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. [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. [11]
    G. De Cooman and E. E. Kerre. An Order-Theoretic Description of Vagueness, Imprecision and Uncertainty. In preparation.Google Scholar
  12. [12]
    G. De Cooman and E. E. Kerre. Possibility and necessity integrals. Accepted for publication in Fuzzy Sets and Systems.Google Scholar
  13. [13]
    G. De Cooman and E. E. Kerre. Ample fields. Simon Stevin, 67:235–244, 1993.MathSciNetMATHGoogle Scholar
  14. [14]
    G. De Cooman and E. E. Kerre. Order norms on bounded partially ordered sets. The Journal of Fuzzy Mathematics, 2:281–310,1994.MATHGoogle Scholar
  15. [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. [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.MATHCrossRefGoogle Scholar
  17. [17]
    G. De Cooman, E. E. Kerre, and F. Vanmassenhove. Possibility theory: An integral theoretic approach. Fuzzy Sets and Systems, 46:287–300, 1992.MathSciNetMATHCrossRefGoogle Scholar
  18. [18]
    Z.P. Dienes. On an implication function in many-valued systems of logic. The Journal of Symbolic Logic, 14:95–97, 1949.MathSciNetMATHCrossRefGoogle Scholar
  19. [19]
    B.R. Gaines. Foundations of fuzzy reasoning. International Journal of Man-Machine Studies, 8:623–668,1976.MathSciNetMATHCrossRefGoogle Scholar
  20. [20]
    J.A. Goguen. L-fuzzy sets. Journal of Mathematical Analysis and Applications, 18:145–174, 1967.MathSciNetMATHCrossRefGoogle Scholar
  21. [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. [22]
    S. C. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952.MATHGoogle Scholar
  23. [23]
    E. Mendelson. Theory and Problems of Boolean Algebra and Switching Circuits. McGraw-Hill, New York, 1970.MATHGoogle Scholar
  24. [24]
    Wang Pei-Zhang. Fuzzy contactability and fuzzy variables. Fuzzy Sets and Systems, 8:81–92, 1982.MathSciNetMATHCrossRefGoogle Scholar
  25. [25]
    N. Rescher. Many-Valued Logic. McGraw-Hill, New York, 1969.MATHGoogle Scholar
  26. [26]
    H. J. Skala. On many-valued logics, fuzzy sets, fuzzy logics and their applications. Fuzzy Sets and Systems, 1:129–149, 1978.MathSciNetMATHCrossRefGoogle Scholar
  27. [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. [28]
    L.A. Zadeh. Fuzzy sets. Information and Control, 8:338–353,1965.MathSciNetMATHCrossRefGoogle Scholar
  29. [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. [30]
    L.A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3–28,1978.MathSciNetMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Gert de Cooman
    • 1
  1. 1.Vakgroep Elektrische EnergietechniekUniversiteit GentZwijnaardeBelgium

Personalised recommendations