A logic for reasoning about the probability of fuzzy events

Fuzzy Sets and Systems

Volumn 158, Issue 6, 2007, Pages 625-638

  Flaminio, Tommaso ^a   Godo, Lluís ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

ukasiewicz logic; Fuzzy events; Standard completeness; State and conditional states on MV algebras

Indexed keywords

LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROBABILISTIC LOGICS; SEMANTICS;

FUZZY EVENTS; PROBABILISTIC MODELS;

FUZZY SETS;

EID: 33846620517     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2006.11.008     Document Type: Article

References (22)

1. Cignoli R., D'Ottaviano I.M.L., and Mundici D. Algebraic a Foundations of Many-Valued Reasoning (2000), Kluwer, Dordrecht
2. Cintula P. The Ł Π and Ł Π frac(1, 2) propositional and predicate logics. Fuzzy Sets and Systems 124 (2001) 21-34
3. Cintula P. Advances in the Ł Π and Ł Π frac(1, 2) logics. Arch. Math. Logic 42 (2003) 449-468
4. 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.
5. Esteva F., Godo L., and Hájek P. Reasoning about probability using fuzzy logic. Neural Network World 10 5 (2000) 811-824
6. Esteva F., Godo L., and Montagna F. Ł Π and Ł Π frac(1, 2): two complete fuzzy systems joining Łukasiewicz and Product logics. Arch. Math. Logic 40 (2001) 39-67
7. 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.
8. T. Flaminio, NP-containment for the coherence tests of assessment of conditional probability: a fuzzy-logical approach, Arch. Math. Logic, accepted for publication.
9. Flaminio T., and Montagna F. A logical and algebraic treatment of conditional probability. Arch. Math. Logic 44 (2005) 245-262
10. B. Gerla, Many-valued logics of continuous t-norms and their functional representation, Ph.D. Thesis, University of Milan, 2001.
11. R. Grigolia, Algebraic analysis of Łukasiewicz-Tarski n-valued logical systems, in: R. Wójcicki, G. Malinowski (Eds.), Selected Papers on Łukasiewicz Sentencial Calculi, Wrocław, Polish Academy of Science, Ossolineum, 1977, pp. 81-91.
12. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
13. 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.
14. Kroupa T. Conditional probability on MV-algebras. Fuzzy Sets and Systems 149 2 (2005) 369-381
15. T. Kroupa, States and conditional probability on MV-algebras, Ph.D. Thesis, ČVUT FEL, Praha, 2005, 74pp.
16. Kroupa T. Representation and extension of states on MV-algebras. Arch. Math. Logic 45 (2006) 381-392
17. 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.
18. Montagna F. An algebraic approach to propositional fuzzy logic. J. Logic Language Inform. 9 (2000) 91-124
19. Mundici D. Averaging the truth-value in Łukasiewicz logic. Studia Logica 55 1 (1995) 113-127
20. 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.
21. 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.
22. Zadeh L.A. Probability measures of fuzzy events. J. Math. Anal. Appl. 23 (1968) 421-427