Anytime Deduction for Probabilistic Logic

Abstract

This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by incorporating conditional probabilities. Unlike many other approaches to deduction in probabilistic logic, this approach is based on inference rules and therefore can produce proofs to explain how conclusions are drawn. We show how these rules can be incorporated into an anytime deduction procedure that proceeds by computing increasingly narrow probability intervals that contain the tightest entailed probability interval. Since the procedure can be stopped at any time to yield partial information concerning the probability range of any entailed sentence, one can make a tradeoo between precision and computation time. The deduction method presented here contrasts with other methods whose ability to perform logical reasoning is either limited or requires nding all truth assignments consistent with the given sentences.

DOI: 10.1016/0004-3702(94)90079-5

Extracted Key Phrases

1 Figure or Table

Statistics

051015'95'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

124 Citations

Semantic Scholar estimates that this publication has 124 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Frisch1994AnytimeDF, title={Anytime Deduction for Probabilistic Logic}, author={Alan M. Frisch and Peter Haddawy}, journal={Artif. Intell.}, year={1994}, volume={69}, pages={93-122} }