Towards a Possibilistic Logic
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.
KeywordsComplete Lattice Fuzzy Variable Proposition Variable Possibilistic Logic Classical Propositional Logic
Unable to display preview. Download preview PDF.
- G. De Cooman. Possibility theory: Conditional possibility. In preparation.Google Scholar
- G. De Cooman. Possibility theory: Possibilistic independence. In preparation.Google Scholar
- G. De Cooman. Possibility theory: The measure-and integral-theoretic groundwork. In preparation.Google Scholar
- 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
- 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
- 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
- G. De Cooman and E. E. Kerre. An Order-Theoretic Description of Vagueness, Imprecision and Uncertainty. In preparation.Google Scholar
- G. De Cooman and E. E. Kerre. Possibility and necessity integrals. Accepted for publication in Fuzzy Sets and Systems.Google Scholar
- 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
- 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
- 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
- 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