Skip to main content
Springer Nature Link
Log in

A Logic with Coherent Conditional Probabilities

  • 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

In this paper we investigate a probability logic which enriches propositional calculus with a class of conditional probability operators of de Finetti’s type. The logic allows making formulas such as CP  ≥ s(β|α), with the intended meaning ”the conditional probability of β given α is at least s”. A possible-world approach is proposed to give semantics to such formulas. An infinitary axiomatic system for our logic which is sound and complete with respect to the mentioned class of models is given. We prove decidability of the presented logic.

This research was supported by Ministarstvo za nauku, tehnologije i razvoj Republike Srbije, through Matematički institut, under grant 1379.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Boole, G.: An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities, Walton and Maberley, London (1854)

    Google Scholar 

  2. Coletti, S., Scozzafava, R.: Probabilistic logic in a coherent setting. Kluwer Academic Press, Dordrecht (2002)

    Google Scholar 

  3. de Finetti, B.: Theory of probability, vol. 1. John Wiley and Sons, Chichester (1974)

    MATH  Google Scholar 

  4. Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87(1/2), 78–128 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  5. Fagin, R., Halpern, J.: Reasoning about knowledge and probability. Journal of the ACM 41(2), 340–367 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  6. Flaminio, T., Montagna, F.: A logical and algebraic treatment of conditional probability. In: Zadeh, L.A. (ed.) Proceedings of IPMU 2004, Perugia, Italy, July, 4-9 (2004)

    Google Scholar 

  7. Gilio, A.: Probabilistic reasoning under coherence in System P  ∗ . Annals of Mathematics and Artificial Intelligence 34, 5–34 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  8. Hawthorne, J.: On the logic of nonmonotonic conditionals and conditional probabilities. Journal of Philosophical Logic 25(1), 185–218 (1996)

    MATH  MathSciNet  Google Scholar 

  9. Hawthorne, J.: On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic. Journal of Philosophical Logic 27(1), 1–34 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  10. Hoover, D.N.: Probability logic. Annals of mathematical logic 14, 287–313 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  11. Keisler, H.J.: Hyperfinite model theory. In: Logic Colloquium 1976, pp. 5–110. North-Holland, Amsterdam (1977)

    Chapter  Google Scholar 

  12. Keisler, H.J.: Probability quantifiers. In: Barwise, J., Feferman, S. (eds.) Model-theoretic logics. Perspectives in Mathematical Logic, pp. 509–556. Springer, Berlin (1985)

    Google Scholar 

  13. Kolmogorov, A.N.: Grundbegriffe der Wahrscheinlichkeitrechnung, Ergebnisse Der Mathematik, 1933; translated as Foundations of Probability, Chelsea Publishing Company (1950)

    Google Scholar 

  14. Lukasiewicz, T.: Probabilistic Default Reasoning with Conditional Constraints. Annals of Mathematics and Artificial Intelligence 34, 35–88 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  15. 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)

    Chapter  Google Scholar 

  16. Marković, Z., Ognjanović, Z., Rašković, M.: A Probabilistic Extension of Intuitionistic Logic. Mathematical Logic Quarterly 49(5), 415–424 (2003)

    MATH  Google Scholar 

  17. Nilsson, N.: Probabilistic logic. Artificial inteligence (28), 71–87 (1986)

    Google Scholar 

  18. Nilsson, N.: Probabilistic logic revised. Artificial inteligence (59), 39–42 (1993)

    Google Scholar 

  19. Ognjanović, Z., Rašković, M.: Some probability logics with new types of probability operators. Journal of logic and Computation 9(2), 181–195 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  20. Ognjanović, Z., Rašković, M.: Some first order probability logics. Theoretical Computer Science 247(1-2), 191–212 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  21. Rašković, M.: Completeness theorem for biprobability models. Jornal of Symboloc Logic 51, 586–590 (1986)

    MATH  Google Scholar 

  22. Rašković, M.: Classical logic with some probability operators, vol. 53 (67), pp. 1–3. Publication de l’Institut Math, NS (1993)

    Google Scholar 

  23. Rašković, M., Đorđević, R.: Probability quantifiers and operators, Vesta, Beograd (1996)

    Google Scholar 

  24. Rašković, M., Ognjanović, Z., Marković, Z.: A probabilistic Approach to Default Reasoning. In: 10th International Workshop on Non-Monotonic Reasoning NMR2004, June 6-8, pp. 335–341. Westin Whistler, Canada (2004)

    Google Scholar 

  25. Rašković, M., Ognjanović, Z., Marković, Z.: Logic with Conditional Probabilities. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 226–238. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Informatics, Faculty of Science, R. Domanovića 12, 34000, Kragujevac, Serbia and Montenegro

    Nebojša Ikodinović

  2. Mathematical Institute, Kneza Mihaila 35, 11000, Belgrade, Serbia and Montenegro

    Zoran Ognjanović

Authors
  1. Nebojša Ikodinović
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zoran Ognjanović
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IIIA - CSIC, 08193, Bellaterra, Spain

    Lluís Godo

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ikodinović, N., Ognjanović, Z. (2005). A Logic with Coherent Conditional Probabilities. 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_61

Download citation

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

  • 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

Search

Navigation