Skip to main content

A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability

  • Conference paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3571))

Abstract

This paper is devoted to a logical and algebraic treatment of conditional probability. Unlike the other approaches to this problem (cf [7],[10]) we base our work on the notion of zero-layer (cf [4]). Thus we define the fuzzy modal logic FP k (RŁΔ) with k modalities for non-conditional probably, built up over the many-valued logic RŁΔ (obtained by adding to the Rational Łukasiewicz logic the Baaz connective Δ). The main result of this paper tells us that it is possible to characterize the coherence of an assessment of conditional probability by the consistence of a suitable theory over FP k (RŁΔ).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cintula, P.: The ŁΠ and ŁΠ1/2 propositional and predicate logics. Fuzzy Sets and Systems 124, 21–34 (2001)

    Article  MathSciNet  Google Scholar 

  2. Cintula, P.: Advances in the ŁΠ and ŁΠ1/2 logics. Archive for Mathematical Logic 42, 449–468 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  3. Cignoli, R., Mundici, D., D’Ottaviano, I.M.L.: Algebraic Foundation of Many-valued Reasoning. Kluwer, Dordrecht (2000)

    Google Scholar 

  4. Coletti, G., Scozzafava, R.: Probabilistic Logic in a Coherent Setting. Trends in Logic. Kluwer, Dordrecht (2002)

    Google Scholar 

  5. Esteva, F., Godo, L., Hájek, P.: Reasoning about probability using fuzzy logic. Neural Network World 10(5), 811–824 (2000)

    Google Scholar 

  6. Esteva, F., Godo, L., Montagna, F.: ŁΠ and ŁΠ1/2: two fuzzy logics joining Łukasiewicz and Product logics. Archive for Mathematical Logic 40, 39–67 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  7. Flaminio, T., Montagna, F.: A Logic and Algebraic Treatment of Conditional Probability. Archive for Mathematical Logic 44, 245–262 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  8. Gerla, B.: Rational Łukasiewicz Logic and Divisible MV-algebras. Neural Networks World 10 (2001)

    Google Scholar 

  9. Gerla, B.: Many-valued Logics of Continuous t-norms and Their Functional Representation, Ph.D Thesis, University of Milan (2001)

    Google Scholar 

  10. Godo, L., Marchioni, E.: 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)

    Chapter  Google Scholar 

  11. Hájek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)

    MATH  Google Scholar 

  12. Hájek, P., Tulipani, S.: Complexity of Fuzzy Probabilistic Logics. Fundamenta Informaticae 45, 207–213 (2001)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Flaminio, T. (2005). A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability. 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_60

Download citation

  • DOI: https://doi.org/10.1007/11518655_60

  • 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)

Publish with us

Policies and ethics