Anytime Deduction for Probabilistic Logic

Alan M. Frisch; Peter Haddawy

Anytime Deduction for Probabilistic Logic

Computer Science

Research output: Contribution to journal › Article › peer-review

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 ...

Original language	Undefined/Unknown
Pages (from-to)	93-122
Number of pages	30
Journal	Electron. Trans. Artif. Intell.
Volume	69
Issue number	1-2
Publication status	Published - 1994

Access to Document

http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.5649

Cite this

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