## A Plausibility Description Logic for Handling Information Sources with Heterogeneous Data Representation Formats

- Luigi Palopoli, Giorgio Terracina, Domenico Ursino
- Annals of Mathematics and Artificial Intelligence
- 2003

Highly Influenced

13 Excerpts

- Published 1994 in Artif. Intell.

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.

Showing 1-10 of 75 extracted citations

Highly Influenced

13 Excerpts

Highly Influenced

6 Excerpts

Highly Influenced

9 Excerpts

Highly Influenced

4 Excerpts

Highly Influenced

11 Excerpts

Highly Influenced

7 Excerpts

Highly Influenced

5 Excerpts

Highly Influenced

5 Excerpts

Highly Influenced

4 Excerpts

Highly Influenced

5 Excerpts

Showing 1-10 of 34 references

Highly Influential

7 Excerpts

Highly Influential

19 Excerpts

Highly Influential

9 Excerpts

Highly Influential

7 Excerpts

Highly Influential

8 Excerpts

Highly Influential

5 Excerpts

Highly Influential

5 Excerpts

Highly Influential

11 Excerpts

Highly Influential

8 Excerpts

Highly Influential

6 Excerpts

@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}
}