Abstract
Probabilistic inference forms lead from point probabilities of the premises to interval probabilities of the conclusion. The probabilistic version of Modus Ponens, for example, licenses the inference from \({P(A) = \alpha}\) and \({P(B|A) = \beta}\) to \({P(B)\in [\alpha\beta, \alpha\beta + 1 - \alpha]}\) . We study generalized inference forms with three or more premises. The generalized Modus Ponens, for example, leads from \({P(A_{1}) = \alpha_{1}, \ldots, P(A_{n})= \alpha_{n}}\) and \({P(B|A_{1} \wedge \cdots \wedge A_{n}) = \beta}\) to an according interval for P(B). We present the probability intervals for the conclusions of the generalized versions of Cut, Cautious Monotonicity, Modus Tollens, Bayes’ Theorem, and some SYSTEM O rules. Recently, Gilio has shown that generalized inference forms “degrade”—more premises lead to less precise conclusions, i.e., to wider probability intervals of the conclusion. We also study Adam’s probability preservation properties in generalized inference forms. Special attention is devoted to zero probabilities of the conditioning events. These zero probabilities often lead to different intervals in the coherence and the Kolmogorov approach.
Article PDF
Similar content being viewed by others
References
Adams, E. W., Four probability-preserving properties of inferences, Journal of Philosophical Logic 25:1–24, 1996.
Biazzo, V., Gilio, A., and G.Sanfilippo, Coherent conditional previsions and proper scoring rules, in S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, and R.R. Yager (eds.), Advances in Computational Intelligence, IPMU (4), vol. 300 of Communications in Computer and Information Science, Springer, 2012, pp. 146–156.
Coletti, G., and R.Scozzafava, Probabilistic Logic in a Coherent Setting, Kluwer, Dordrecht, 2002.
DeFinetti, B., Theory of Probability, Wiley, London, 1974.
Gilio, A., Probabilistic reasoning under coherence in System P, Annals of Mathematics and Artificial Intelligence 34(1–3):5–34, 2002.
Gilio, A., Generalization of inference rules in coherence-based probabilistic default reasoning, International Journal of Approximate Reasoning 53:413–434, 2012.
Gilio, A., and G.Sanfilippo, Probabilistic entailment in the setting of coherence: The role of quasi conjunction and inclusion relation. International Journal of Approximate Reasoning 54(4):513–525, 2013.
Hawthorne J.: On the logic of nonmonotonic conditionals and conditional probabilities. Journal of Philosophical Logic. 25, 185–218 (1996)
Hawthorne, J., and D.Makinson, The quantitative/qualitative watershed for rules of uncertain inference, Studia Logica 86:247–297, 2007.
Kleiter, G.D., Ockham’s razor in probability logic, in R.Kruse, M.R. Berthold, C.Moewes, M.A. Gil, P.Grzegorzewski, and O.Hryniewicz (eds.), Synergies of Soft Computing and Statistics for Intelligent Data Analysis, Advances in Intelligent Systems and Computation, 190, Springer, 2012, pp. 409–417.
Kraus, S., D.Lehmann., and M.Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44:167–207, 1990.
Kyburg, H., and C.M. Teng, Uncertain Inference, Cambridge University Press, Cambridge, 2001.
Wagner, C.G., Modus tollens probabilized, British Journal for the Philosophy of Science 55:747–753, 2004.
Wallmann, C., and G.D. Kleiter, Beware of too much information, in T.Kroupa, and J.Vejnarova (eds.), Proceedings of the 9th Workshop on Uncertainty Processing, WUPES, Fakulty of Managment, University of Economics, Prague, 2012, pp. 214–225.
Wallmann, C., and G.D. Kleiter, Exchangeability in probability logic, in S. Greco, B. Bouchon-Meunier, G. Coletti, M. Fedrizzi, B. Matarazzo, and R.R. Yager (eds.), IPMU (4), vol. 300 of Communications in Computer and Information Science, Springer, 2012, pp. 157–167.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Wallmann, C., Kleiter, G.D. Probability Propagation in Generalized Inference Forms. Stud Logica 102, 913–929 (2014). https://doi.org/10.1007/s11225-013-9513-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-013-9513-4