Abstract
The notion of conditional possibility derived from marginal possibility measures has received different treatments. However, as shown by Bouchon-Meunier et al., conditional possibility can be introduced as a primitive notion generalizing simple possibility measures. In this paper, following an approach already adopted by the author w.r.t. conditional probability, we build up the fuzzy modal logic FCΠ, relying on the fuzzy logic FC ∏, so as to reason about coherent conditional possibilities and necessities. First we apply a modal operator ⋄ over conditional events ϕ∣χ to obtain modal formulas of the type (ϕ|χ) ⋄ whose reading is “ϕ∣χ is possible”. Then we define the truth-value of the modal formulas as corresponding to a conditional possibility measure. The logic FCΠ is shown to be strongly complete for finite theories w.r.t. to the class of the introduced conditional possibility Kripke structures. Then, we show that any rational assessment of conditional possibilities is coherent iff a suitable defined theory over FCΠ is consistent. We also prove compactness for rational coherent assessments of conditional possibilities. Finally, we derive the notion of generalized conditional necessity from that of generalized conditional possibility, and we show how to represent them introducing the logic GFCΠ.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bouchon-Meunier, B., Coletti, G., Marsala, C.: Possibilistic conditional events. In: Proc. of IPMU 2000, Madrid, Spain, pp. 1561–1566 (2000)
Bouchon-Meunier, B., Coletti, G., Marsala, C.: Independence and possibilistic conditioning. Annals of Mathematics and Artificial Intelligence 35, 107–123 (2002)
Bouchon-Meunier, B., Coletti, G., Marsala, C.: Conditional possibility and necessity. In: Technologies for Constructing Intelligent Systems, pp. 59–71. Physica Verlag, Heidelberg (2002)
Cintula, P.: The LΠ and LΠ1/2 propositional and predicate logics. Fuzzy Sets and Systems 124, 21–34 (2001)
Cintula, P.: Advances in the LΠ and LΠ1/2 logics. Archive for Mathematical Logic 42, 449–468 (2003)
Cintula, P., Navara, M.: Compactness of fuzzy logics. Fuzzy Sets and Systems 143, 59–73 (2004)
Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Kluwer Academic Publisher, Dordrecht (2002)
De Baets, B., Kerre, E.: A primer on solving fuzzy relational equations on the unit interval. Int. J. of Uncertainty, Fuzziness and Knoweldge-Based Systems 2, 205–225 (1994)
De Baets, B., Tsiporkova, E., Mesiar, R.: p Conditioning in possibility theory with strict order norms. Fuzzy Sets and Systems 106, 121–129 (1999)
Dubois, D., Lang, J., Prade, H.: Possibilistic Logic. In: Gabbay, D.M., et al. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming., vol. 3, pp. 439–513. Oxford University Press, Oxford (1994)
Dubois, D., Prade, H.: Possibility Theory. Plenum Press, New York (1988)
Dubois, D., Prade, H.: The logical view of conditioning and its application to possibility and evidence theories. Int. J. of Approximate Reasoning 4, 23–46 (1990)
Dubois, D., Prade, H.: Possibility theory: Qualitative and quantitative aspects. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems., vol. 1, pp. 169–226. Kluwer Academic Publisher, Dordrecht (1998)
Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271–288 (2001)
Esteva, F., Godo, L., Montagna, F.: The LΠ and LΠ1/2 logics: two complete fuzzy logics joining Łukasiewicz and product logic. Archive for Mathematical Logic 40, 39–67 (2001)
Flaminio, T., Montagna, F.: A logical and algebraic treatment of conditional probability. Archive for Mathematical logic 44(2), 245–262 (2005)
Godo, L., Esteva, F., Hájek, P.: Reasoning about probability using fuzzy logic. Neural Network World 10(5), 811–824 (2000)
Godo, L., Marchioni, E.: Reasoning about coherent conditional probability in the logic FCP(LΠ). In: Proc. of the Workshop on Conditional, Information and Inference, Ulm, Germany (2004)
Hájek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)
Hájek, P., Godo, L., Esteva, F.: Fuzzy Logic and Probability. In: Proc. of UAI 1995, pp. 237–244 (1995)
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic Publisher, Dordrecht (2000)
Marchioni, E., Godo, L.: A logic for reasoning about coherent conditional probability: A modal fuzzy logic approach. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 213–225. Springer, Heidelberg (2004)
Zadeh, L.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, 3–28 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marchioni, E. (2005). A Logical Treatment of Possibilistic Conditioning. In: Godo, L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2005. Lecture Notes in Computer Science(), vol 3571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11518655_59
Download citation
DOI: https://doi.org/10.1007/11518655_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27326-4
Online ISBN: 978-3-540-31888-0
eBook Packages: Computer ScienceComputer Science (R0)