Abstract
In this paper we present the logic FP(L"n,L) which allows to reason about the probability of fuzzy events formalized by means of the notion of state in a MV-algebra. This logic is defined starting from a basic idea exposed by Hajek [Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998]. Two kinds of semantics have been introduced, namely the class of weak and strong probabilistic models. The main result of this paper is a completeness theorem for the logic FP(L"n,L) w.r.t. both weak and strong models. We also present two extensions of FP(L"n,L): the first one is the logic FP(L"n,RPL), obtained by expanding the FP(L"n,L)-language with truth-constants for the rationals in [0,1], while the second extension is the logic FCP(L"n,L@P12) allowing to reason about conditional states.
- [2] Cignoli, R., D'Ottaviano, I.M.L. and Mundici, D., Algebraic a Foundations of Many-Valued Reasoning. Kluwer, Dordrecht.Google Scholar
- [3] Cintula, P., The ŁΠ and ŁΠ12 propositional and predicate logics. Fuzzy Sets and Systems. v124. 21-34.Google Scholar
- [4] Cintula, P., Advances in the ŁΠ and ŁΠ12 logics. Arch. Math. Logic. v42. 449-468.Google Scholar
- [5] A. Di Nola, G. Georgescu, A. Lettieri, Conditional states in finite-valued logic, in: E.P. Klement, D. Dubois, H. Prade (Eds.), Fuzzy Sets, Logics, and Reasoning About Knowledge, Kluwer, Dordrecht, 1999, pp. 161--174.Google Scholar
- [6] Esteva, F., Godo, L. and Hájek, P., Reasoning about probability using fuzzy logic. Neural Network World. v10 i5. 811-824.Google Scholar
- [7] Esteva, F., Godo, L. and Montagna, F., ŁΠ and ŁΠ12: two complete fuzzy systems joining Łukasiewiczand Product logics. Arch. Math. Logic. v40. 39-67.Google Scholar
- [8] T. Flaminio, A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability. Lecture Notes in Artificial Intelligence, Vol. 3571, Springer, Berlin, in: Lluís Godo (Ed.), Eighth European Conf. on Symbolic and Quantitaive Approaches on Reasoning under Uncertainty ECSQARU'05, Barcelona, Spain, July 2005, pp. 714--725. Google Scholar
- [9] T. Flaminio, NP-containment for the coherence tests of assessment of conditional probability: a fuzzy-logical approach, Arch. Math. Logic, accepted for publication.Google Scholar
- [10] Flaminio, T. and Montagna, F., A logical and algebraic treatment of conditional probability. Arch. Math. Logic. v44. 245-262.Google Scholar
- [11] B. Gerla, Many-valued logics of continuous t-norms and their functional representation, Ph.D. Thesis, University of Milan, 2001.Google Scholar
- [12] R. Grigolia, Algebraic analysis of Łukasiewicz-Tarski n-valued logical systems, in: R. Wójcicki, G. Malinowski (Eds.), Selected Papers on ŁukasiewiczSentencial Calculi, Wrocław, Polish Academy of Science, Ossolineum, 1977, pp. 81--91.Google Scholar
- [13] Hájek, P., Metamathematics of Fuzzy Logic. Kluwer, Dordrecht.Google Scholar
- [14] P. Hájek, L. Godo, F. Esteva, Probability and fuzzy logic, in: P. Besnard, S. Hanks (Eds.), Proc. of Uncertainty in Artificial Intelligence UAI'95, Morgan Kaufmann, San Francisco, 1995, pp. 237--244.Google Scholar
- [15] Kroupa, T., Conditional probability on MV-algebras. Fuzzy Sets and Systems. v149 i2. 369-381.Google Scholar
- [16] T. Kroupa, States and conditional probability on MV-algebras, Ph.D. Thesis, ČVUT FEL, Praha, 2005, 74pp.Google Scholar
- [17] Kroupa, T., Representation and extension of states on MV-algebras. Arch. Math. Logic. v45. 381-392.Google Scholar
- [18] E. Marchioni, L. Godo, A logic for reasoning about coherent conditional probability: a fuzzy modal logic approach, Lecture Notes in Artificial Intelligence, Vol. 3229, Springer, Berlin, in: J.J. Alferes, J. Leite (Eds.), Ninth European Conf. on Logic in Artificial Intelligence JELIA'04. Lisbon, Portugal, September 2004, pp. 213--225.Google Scholar
- [19] Montagna, F., An algebraic approach to propositional fuzzy logic. J. Logic Language Inform. v9. 91-124. Google Scholar
- [20] Mundici, D., Averaging the truth-value in Łukasiewiczlogic. Studia Logica. v55 i1. 113-127.Google Scholar
- [21] D. Mundici, B. Riečan, Probability on MV-algebras, in: E. Pap (Ed.), Handbook of Measure Theory, Vol. II, North-Holland, Amsterdam, 2002, pp. 869--909.Google ScholarCross Ref
- [22] J.B. Paris, A note on the Dutch Book method, Revised version of a paper of the same title which appeared in The Proceedings of the Second Internat. Symp. on Imprecise Probabilities and their Applications, ISIPTA'01, Ithaca, New York, 2001.Google Scholar
- [23] Zadeh, L.A., Probability measures of fuzzy events. J. Math. Anal. Appl. v23. 421-427.Google Scholar
Index Terms
- A logic for reasoning about the probability of fuzzy events
Recommendations
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to model an ideal rational agent reflecting upon his own beliefs. Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent ...
On Product Logic with Truth-constants
Product Logic Π is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we ...
On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
AbstractThe probabilistic logic FP( Ł , Ł ) was axiomatized with the aim of presenting a formal setting for reasoning about the probability of infinite-valued Łukasiewicz events. Besides several attempts, proving that axiomatic system to be ...
Comments