×

zbMATH — the first resource for mathematics

Multi-agent logics for reasoning about higher-order upper and lower probabilities. (English) Zbl 07205184
Summary: We present a propositional and a first-order logic for reasoning about higher-order upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics.
MSC:
03B48 Probability and inductive logic
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Anger, B.; Lembcke, J., Infinitely subadditive capacities as upper envelopes of measures, Zeitschrift fur Wahrscheinlichkeitstheorie und Verwandte Gebiete, 68, 403-414 (1985) · Zbl 0553.28002
[2] De Cooman, G.; Hermans, F., Imprecise probability trees: Bridging two theories of imprecise probability, Artificial Intelligence, 172, 11, 1400-1427 (2008) · Zbl 1183.60003
[3] Doder, D., Marković, Z., Ognjanović, Z., Perović, A., & Rašković, M. (2010). A probabilistic temporal logic that can model reasoning about evidence. In Proceedings of FoIKS. Lecture notes in computer science (pp. 9-24). Berlin: Springer. · Zbl 1269.03033
[4] Doder, D., Savić, N., & Ognjanović, Z. (2018). A decidable multi-agent logic with iterations of upper and lower probability operators. In Proceedings of FoIKS. Lecture notes in computer science (pp. 170-185). Berlin: Springer. · Zbl 06894599
[5] Dubois, D.; Prade, H., Possibility theory (1988), New York: Plenum Press, New York
[6] Fagin, R.; Halpern, J., Reasoning about knowledge and probability, Journal of the ACM, 41, 2, 340-367 (1994) · Zbl 0806.68098
[7] Fagin, R.; Halpern, J.; Megiddo, N., A logic for reasoning about probabilities, Information and Computation, 87, 1-2, 78-128 (1990) · Zbl 0811.03014
[8] Fattorosi-Barnaba, M.; Amati, G., Modal operators with probabilistic interpretations I, Studia Logica, 46, 4, 383-393 (1989) · Zbl 0645.03016
[9] Frish, A.; Haddawy, P., Anytime deduction for probabilistic logic, Artificial Intelligence, 69, 93-122 (1994) · Zbl 0809.03016
[10] Halpern, Jy, An analysis of first-order logics of probability, Artificial Intelligence, 46, 311-350 (1990) · Zbl 0723.03007
[11] Halpern, Jy; Pucella, R., A logic for reasoning about upper probabilities, Journal of Artificial Intelligence Research, 17, 57-81 (2002) · Zbl 1029.68134
[12] Halpern, J.; Shore, R., Reasoning about common knowledge with infinitely many agents, Information and Computation, 191, 1-40 (2004) · Zbl 1078.03014
[13] Heifetz, A.; Mongin, P., Probability logic for type spaces, Games and Economic Behavior, 35, 31-53 (2001) · Zbl 0978.03017
[14] Huber, Pj, Robust statistics (1981), New York: Wiley, New York
[15] Hughes, Ge; Cresswell, Mj, A companion to modal logic (1984), London: Methuen, London · Zbl 0625.03005
[16] Kokkinis, I., The complexity of satisfiability in non-iterated and iterated probabilistic logics, Annals of Mathematics and Artificial Intelligence, 83, 3-4, 351-382 (2018) · Zbl 06941242
[17] Kyburg, He, Probability and the logic of rational belief (1961), Middletown, CT: Wesleyan University Press, Middletown, CT
[18] Levi, I., The enterprise of knowledge (1980), London: MIT Press, London
[19] Lorentz, Gg, Multiply subadditive functions, Canadian Journal of Mathematics, 4, 4, 455-462 (1952) · Zbl 0047.05903
[20] Meier, M., An infinitary probability logic for type spaces, Israel Journal of Mathematics, 192, 1, 1-58 (2012) · Zbl 1276.91039
[21] Miranda, E., A survey of the theory of coherent lower previsions, International Journal of Approximate Reasoning, 48, 2, 628-658 (2008) · Zbl 1184.68519
[22] Ognjanović, Z.; Rašković, M., Some probability logics with new types of probability operators, Journal of Logic and Computation, 9, 2, 181-195 (1999) · Zbl 0941.03022
[23] Ognjanović, Z.; Rašković, M., Some first-order probability logics, Theoretical Computer Science, 247, 1-2, 191-212 (2000) · Zbl 0954.03024
[24] Ognjanović, Z.; Rasković, M.; Marković, Z., Probability logics: Probability-based formalization of uncertain reasoning (2016), Berlin: Springer, Berlin · Zbl 1371.03001
[25] Rašković, M.; Marković, Z.; Ognjanović, Z., A logic with approximate conditional probabilities that can model default reasoning, International Journal of Approximate Reasoning, 49, 1, 52-66 (2008) · Zbl 1184.68520
[26] Savić, N.; Doder, D.; Ognjanović, Z., Logics with lower and upper probability operators, International Journal of Approximate Reasoning, 88, 148-168 (2017) · Zbl 1422.03042
[27] Savić, N., Doder, D., & Ognjanović, Z. (2017b). A first-order logic for reasoning about higher-order upper and lower probabilities. In Proceedings of ECSQARU. Lecture notes in artificial intelligence (pp. 491-500). Berlin: Springer. · Zbl 06769624
[28] Shafer, G., A mathematical theory of evidence (1976), Princeton, NJ: Princeton University Press, Princeton, NJ · Zbl 0359.62002
[29] Tomović, S., Ognjanović, Z., & Doder, D. (2015). Probabilistic common knowledge among infinite number of agents. In Proceedings of ECSQARU. Lecture notes in artificial intelligence (pp. 496-505). Berlin: Springer. · Zbl 06507043
[30] Van Der Hoek, W., Some consideration on the logics \(P_FD\), Journal of Applied Non-Classical Logics, 7, 3, 287-307 (1997) · Zbl 0885.03022
[31] Walley, P., Statistical reasoning with imprecise probabilities (1991), London: Chapman and Hall, London · Zbl 0732.62004
[32] Walley, P., Towards a unified theory of imprecise probability, International Journal of Approximate Reasoning, 24, 2-3, 125-148 (2000) · Zbl 1007.28015
[33] Zadeh, La, Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems, 1, 3-28 (1978) · Zbl 0377.04002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.