Abstract
In this paper we consider the problem of determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. We establish a sharp upper bound, as well as a lower bound that is not in general sharp. We show further that under a certain condition the lower bound is sharp. In that case, we obtain a closed form solution for the possible probabilities of the atomic propositions.
Similar content being viewed by others
References
K.A. Andersen, Characterizing consistency in probabilistic logic for a class of Horn clauses, Mathematical Programming 66, 1994, 257–271.
K.A. Andersen and J. N. Hooker, Bayesian logic, Decision Support Systems 11, 1994, 191–210.
V. Chandru and J. N. Hooker,Optimization Methods for Logical Inference, Wiley, to appear.
M. Grötschel, L. Lovász and A. Schrijver,Geometric Algorithms and Combinatorial Optimization, Springer, Berlin, 1988.
T. Hailperin,Boole's Logic and Probability, 2nd ed., Studies in Logic and the Foundations of Mathematics vol. 85, North-Holland, 1986.
N.J. Nilsson, Probabilistic logic, Artificial Intelligence 28, 1986, 71–87.
J. Pearl,Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.
Author information
Authors and Affiliations
Additional information
The second author is partially supported by ONR grant N00014-92-J-1028 and AFOSR grant 91-0287.
Rights and permissions
About this article
Cite this article
Andersen, K.A., Hooker, J.N. Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs. Ann Oper Res 65, 1–20 (1996). https://doi.org/10.1007/BF02187324
Issue Date:
DOI: https://doi.org/10.1007/BF02187324