Abstract
We present a probabilistic logic for reasoning about degrees of confirmation. We provide a sound and strongly complete axiomatization for the logic. We show that the problem of deciding satisfiability is in PSPACE.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Canny, J.F.: Some algebraic and geometric computations in PSPACE. In: Proceedings of the 20th Annual ACM Symposium on Theory of Computing, Chicago, Illinois, USA, 2–4 May 1988, pp. 460–467 (1988)
Carnap, R.: Logical Foundations of Probability, 2nd edn. The University of Chicago Press, Chicago (1962). 1st edition (1950)
Delgrande, J.P., Renne, B., Sack, J.: The logic of qualitative probability. Artif. Intell. 275, 457–486 (2019)
Doder, D., Marinković, B., Maksimović, P., Perović, A.: A logic with conditional probability operators. Publications de L’Institut Mathematique Ns. 87(101), 85–96 (2010)
Doder, D., Ognjanović, Z.: A probabilistic logic for reasoning about uncertain temporal information. In: Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, UAI 2015, pp. 248–257 (2015)
Doder, D., Ognjanović, Z.: Probabilistic logics with independence and confirmation. Studia Logica 105(5), 943–969 (2017)
Doder, D.: A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Publications de L’Institut Mathematique Ns. 90(104), 13–22 (2011)
Doder, D., Marković, Z., Ognjanović, Z., Perović, A., Rašković, M.: A probabilistic temporal logic that can model reasoning about evidence. In: Link, S., Prade, H. (eds.) FoIKS 2010. LNCS, vol. 5956, pp. 9–24. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11829-6_4
Doder, D., Ognjanovic, Z., Markovic, Z.: An axiomatization of a first-order branching time temporal logic. J. UCS 16(11), 1439–1451 (2010)
Doder, D., Savić, N., Ognjanović, Z.: Multi-agent logics for reasoning about higher-order upper and lower probabilities. J. Logic Lang. Inf. 29, 77–107 (2020). https://doi.org/10.1007/s10849-019-09301-7
Eells, E., Fitelson, B.: Measuring confirmation and evidence. J. Philos. 97(12), 663–672 (2000)
Fagin, R., Halpern, J.Y.: Reasoning about knowledge and probability. J. ACM 41(2), 340–367 (1994)
Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput. 87, 78–128 (1990)
Fitelson, B.: The plurality of Bayesian measures of confirmation and the problem of measure sensitivity. Philos. Sci. 66(3), 378 (1999)
Frisch, A., Haddawy, P.: Anytime deduction for probabilistic logic. Artif. Intell. 69, 93–122 (1994)
Gaifman, H.: A theory of higher order probabilities. In: Halpern, J.Y. (ed.) Proceedings of the Theoretical Aspects of Reasoning about Knowledge, pp. 275–292. Morgan-Kaufmann, San Mateo (1986)
Guelev, D.: A propositional dynamic logic with qualitative probabilities. J. Philos. Logic 28, 575–605 (1999)
Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46, 311–350 (1990)
Heifetz, A., Mongin, P.: Probability logic for type spaces. Games Econ. Behav. 35, 31–53 (2001)
van der Hoek, W.: Some considerations on the logic P\(_{\rm {F}}\)D. J. Appl. Non-Class. Log. 7(3), 287–307 (1997)
Keisler, H.J.: Probability quantifiers. In: Barwise, J., Feferman, S. (eds.) Model Theoretic Logic, pp. 509–556. Springer, Berlin (1985)
Marinkovic, B., Ognjanovic, Z., Doder, D., Perovic, A.: A propositional linear time logic with time flow isomorphic to \(\omega \)\({}^{\text{2 }}\). J. Appl. Logic 12(2), 208–229 (2014)
Nilsson, N.: Probabilistic logic. Artif. Intell. 28, 71–87 (1986)
Ognjanović, Z., Rašković, M.: Some first-order probability logics. Theoret. Comput. Sci. 247(1–2), 191–212 (2000)
Ognjanović, Z., Rašković, M., Marković, Z.: Probability Logics. Probability-Based Formalization of Uncertain Reasoning. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47012-2
Ognjanović, Z., Doder, D., Marković, Z.: A branching time logic with two types of probability operators. In: Benferhat, S., Grant, J. (eds.) SUM 2011. LNCS (LNAI), vol. 6929, pp. 219–232. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23963-2_18
Savić, N., Doder, D., Ognjanović, Z.: Logics with lower and upper probability operators. Int. J. Approximate Reasoning 88, 148–168 (2017)
Tentori, K., Crupi, V., Bonini, N., Osherson, D.: Comparison of confirmation measures. Cognition 103(1), 107–119 (2007)
Tomović, S., Ognjanović, Z., Doder, D.: Probabilistic common knowledge among infinite number of agents. In: Destercke, S., Denoeux, T. (eds.) ECSQARU 2015. LNCS (LNAI), vol. 9161, pp. 496–505. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-20807-7_45
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Dautović, Š., Doder, D., Ognjanović, Z. (2020). Reasoning About Degrees of Confirmation. In: Dastani, M., Dong, H., van der Torre, L. (eds) Logic and Argumentation. CLAR 2020. Lecture Notes in Computer Science(), vol 12061. Springer, Cham. https://doi.org/10.1007/978-3-030-44638-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-44638-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-44637-6
Online ISBN: 978-3-030-44638-3
eBook Packages: Computer ScienceComputer Science (R0)