Research output: Contribution to journal › Article

**Anytime Deduction for Probabilistic Logic.** / Frisch, Alan M.; Haddawy, Peter.

Research output: Contribution to journal › Article

Frisch, AM & Haddawy, P 1994, 'Anytime Deduction for Probabilistic Logic', *Electron. Trans. Artif. Intell.*, vol. 69, no. 1-2, pp. 93-122. <http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5649>

Frisch, A. M., & Haddawy, P. (1994). Anytime Deduction for Probabilistic Logic. *Electron. Trans. Artif. Intell.*, *69*(1-2), 93-122. http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5649

Frisch AM, Haddawy P. Anytime Deduction for Probabilistic Logic. Electron. Trans. Artif. Intell. 1994;69(1-2):93-122.

@article{2496b467616b454a9993869bc715c1af,

title = "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 tradeoff 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 finding all truth assignments consistent ...",

author = "Frisch, {Alan M.} and Peter Haddawy",

year = "1994",

language = "Undefined/Unknown",

volume = "69",

pages = "93--122",

journal = "Electron. Trans. Artif. Intell.",

number = "1-2",

}

TY - JOUR

T1 - Anytime Deduction for Probabilistic Logic

AU - Frisch, Alan M.

AU - Haddawy, Peter

PY - 1994

Y1 - 1994

N2 - 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 tradeoff 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 finding all truth assignments consistent ...

AB - 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 tradeoff 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 finding all truth assignments consistent ...

M3 - Article

VL - 69

SP - 93

EP - 122

JO - Electron. Trans. Artif. Intell.

JF - Electron. Trans. Artif. Intell.

IS - 1-2

ER -