zbMATH — the first resource for mathematics

Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. (English) Zbl 1346.68183
Summary: Inconsistency measures have been proposed as a way to manage inconsistent knowledge bases in the AI community. To deal with inconsistencies in the context of conditional probabilistic logics, rationality postulates and computational efficiency have driven the formulation of inconsistency measures. Independently, investigations in formal epistemology have used the betting concept of Dutch book to measure an agent’s degree of incoherence. In this paper, we show the impossibility of joint satisfiability of the proposed postulates, proposing to replace them by more suitable ones. Thus we reconcile the rationality postulates for inconsistency measures in probabilistic bases and show that several inconsistency measures suggested in the literature and computable with linear programs satisfy the reconciled postulates. Additionally, we give an interpretation for these feasible measures based on the formal epistemology concept of Dutch book, bridging the views of two so far separate communities in AI and Philosophy. In particular, we show that incoherence degrees in formal epistemology may lead to novel approaches to inconsistency measures in the AI view.

68T27 Logic in artificial intelligence
03B48 Probability and inductive logic
Full Text: DOI
[1] Andersen, K. A.; Hooker, J. N., A linear programming framework for logics of uncertainty* 1, Decis. Support Syst., 16, 1, 39-53, (1996) · Zbl 0861.03014
[2] Boole, G., An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities, (1854), Walton and Maberly
[3] Bruno, G.; Gilio, A., Applicazione del metodo del simplesso al teorema fondamentale per le probabilita nella concezione soggettivistica, Statistica, 40, 3, 337-344, (1980) · Zbl 0441.60003
[4] Capotorti, A.; Regoli, G.; Vattari, F., Correction of incoherent conditional probability assessments, Int. J. Approx. Reason., 51, 6, 718-727, (2010) · Zbl 1205.68420
[5] Coletti, G.; Scozzafava, R., Probabilistic logic in a coherent setting, (2002), Kluwer Academic Pub · Zbl 1005.60007
[6] Cover, Thomas M.; Thomas, Joy A., Elements of information theory, Wiley Series in Telecommunications and Signal Processing, (2006), Wiley-Interscience · Zbl 1140.94001
[7] Cozman, F. G.; di Ianni, L. F., Probabilistic satisfiability and coherence checking through integer programming, (Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (2013), Springer), 145-156 · Zbl 1390.68591
[8] De Finetti, B., Theory of probability, (1974)
[9] Finger, M.; De Bona, G., Probabilistic satisfiability: logic-based algorithms and phase transition, (Proceedings of IJCAI’11, (2011))
[10] Finger, M.; Le Bras, R.; Gomes, C. P.; Selman, B., Solutions for hard and soft constraints using optimized probabilistic satisfiability, (Proceedings of SAT, (2013)) · Zbl 1390.68594
[11] Frisch, A. M.; Haddawy, P., Anytime deduction for probabilistic logic, Artif. Intell., 69, 1, 93-122, (1994) · Zbl 0809.03016
[12] Georgakopoulos, G.; Kavvadias, D.; Papadimitriou, C. H., Probabilistic satisfiability, J. Complex., 4, 1, 1-11, (1988) · Zbl 0647.68049
[13] Grant, J.; Hunter, A., Measuring the good and the bad in inconsistent information, (IJCAI Proceedings-International Joint Conference on Artificial Intelligence, vol. 22, (2011), Citeseer), 2632-2637
[14] Hailperin, T., Best possible inequalities for the probability of a logical function of events, Am. Math. Mon., 72, 4, 343-359, (1965) · Zbl 0132.13706
[15] Halpern, J. Y., An analysis of first-order logics of probability, Artif. Intell., 46, 3, 311-350, (1990) · Zbl 0723.03007
[16] Hansen, P.; Jaumard, B., Probabilistic satisfiability, (Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning, (2000)), 321 · Zbl 1015.68198
[17] Hansen, P.; Perron, S., Merging the local and global approaches to probabilistic satisfiability, Int. J. Approx. Reason., 47, 2, 125-140, (2008) · Zbl 1343.68220
[18] Hansson, S. O., A textbook of belief dynamics, vol. 1, (1999), Springer
[19] Hunter, A.; Konieczny, S., Approaches to measuring inconsistent information, (Inconsistency Tolerance, Lecture Notes in Computer Science, vol. 3300, (2005), Springer Berlin Heidelberg), 191-236 · Zbl 1111.68125
[20] Hunter, A.; Konieczny, S., Shapley inconsistency values, (10th International Conference on Principles of Knowledge Representation and Reasoning (KR), (2006)), 249-259
[21] Hunter, A.; Konieczny, S., Measuring inconsistency through minimal inconsistent sets, (11th International Conference on Principles of Knowledge Representation and Reasoning (KR), (2008)), 358-366
[22] Hunter, A.; Konieczny, S., On the measure of conflicts: Shapley inconsistency values, Artif. Intell., 174, 14, 1007-1026, (2010) · Zbl 1210.68106
[23] Jaumard, B.; Fortin, A.; Shahriar, I.; Sultana, R., First order probabilistic logic, (Fuzzy Information Processing Society, 2006. NAFIPS 2006. Annual Meeting of the North American, (2006), IEEE), 341-346
[24] Jaumard, B.; Hansen, P.; Poggi de Aragao, M., Column generation methods for probabilistic logic, INFORMS J. Comput., 3, 2, 135, (1991) · Zbl 0800.68864
[25] Karvetski, C. W.; Olson, K. C.; Mandel, D. R.; Twardy, C. R., Probabilistic coherence weighting for optimizing expert forecasts, Decis. Anal., 10, 4, 305-326, (2013)
[26] Kavvadias, D.; Papadimitriou, C. H., A linear programming approach to reasoning about probabilities, Ann. Math. Artif. Intell., 1, 1, 189-205, (1990) · Zbl 0878.68034
[27] Kemeny, J. G., Fair bets and inductive probabilities, J. Symb. Log., 20, 3, 263-273, (1955) · Zbl 0066.11002
[28] Klinov, P.; Parsia, B., A hybrid method for probabilistic satisfiability, (Automated Deduction, CADE-23, (2011), Springer), 354-368 · Zbl 1341.68191
[29] Knight, K., Measuring inconsistency, J. Philos. Log., 31, 1, 77-98, (2002) · Zbl 1003.03022
[30] Lukasiewicz, T., Probabilistic deduction with conditional constraints over basic events, J. Artif. Intell. Res., 10, 199-241, (1999) · Zbl 0914.68178
[31] Muiño, D. P., Measuring and repairing inconsistency in probabilistic knowledge bases, Int. J. Approx. Reason., 52, 6, 828-840, (2011) · Zbl 1226.68114
[32] Nau, R. F., Coherent assessment of subjective probability, (1981), Technical report, DTIC Document
[33] Nilsson, N. J., Probabilistic logic* 1, Artif. Intell., 28, 1, 71-87, (1986) · Zbl 0589.03007
[34] Potyka, N., Linear programs for measuring inconsistency in probabilistic logics, (Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, KR-14, (2014), AAAI)
[35] Potyka, N.; Thimm, M., Consolidation of probabilistic knowledge bases by inconsistency minimization, (ECAI 2014, (2014)) · Zbl 1366.68316
[36] Reiter, R., A theory of diagnosis from first principles, Artif. Intell., 32, 1, 57-95, (1987) · Zbl 0643.68122
[37] Rödder, W., Conditional logic and the principle of entropy, Artif. Intell., 117, 1, 83-106, (2000) · Zbl 0939.68854
[38] Schervish, M. J.; Kadane, J. B.; Seidenfeld, T., Measures of incoherence: how not to gamble if you must, (Bayesian Statistics 7: Proceedings of the 7th Valencia Conference on Bayesian Statistics, (2003)), 385-402
[39] Schervish, M. J.; Seidenfeld, T.; Kadane, J. B., Two measures of incoherence: how not to gamble if you must, (1998), Department of Statistics, Carnegie Mellon University, Technical report
[40] Schervish, M. J.; Seidenfeld, T.; Kadane, J. B., Measuring incoherence, Sankhyā, Indian J. Stat., Ser. A, 561-587, (2002) · Zbl 1192.62008
[41] Schervish, M. J.; Seidenfeld, T.; Kadane, J. B., A rate of incoherence applied to fixed-level testing, Proc. Philos. Sci. Assoc., 2002, 3, 248-264, (2002)
[42] Shimony, A., Coherence and the axioms of confirmation, J. Symb. Log., 20, 01, 1-28, (1955) · Zbl 0064.24402
[43] Staffel, J., Measuring the overall incoherence of credence functions, Synthese, 1-27, (2015) · Zbl 1386.60012
[44] Thimm, M., Inconsistency measures for probabilistic logics, Artif. Intell., 197, 1-24, (2013) · Zbl 1270.68288
[45] Thomson, William, Popular lectures and addresses, vol. 1, (1891), Macmillan and Co., available at · JFM 21.0025.05
[46] R.J. Vanderbei, Linear Programming: Foundations and Extensions, 1996. · Zbl 0874.90133
[47] Wang, G.; Kulkarni, S. R.; Poor, H. V.; Osherson, D. N., Aggregating large sets of probabilistic forecasts by weighted coherent adjustment, Decis. Anal., 8, 2, 128-144, (2011) · Zbl 1398.91207
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.