**Answering
Queries from ContextSensitive Probabilistic Knowledge Bases **

**Liem Ngo and Peter Haddawy** Department of
Electrical Engineering and Computer Science University of
WisconsinMilwaukee PO Box 784 Milwaukee, WI 53201

**Abstract**

We define a language for representing contextsensitive probabilistic knowledge. A knowledge base consists of a set of universally quantified probability sentences that include context constraints, which allow inference to be focused on only the relevant portions of the probabilistic knowledge. We provide a declarative semantics for our language. We present a query answering procedure which takes a query Q and a set of evidence E and constructs a Bayesian network to compute P (QjE). The posterior probability is then computed using any of a number of Bayesian network inference algorithms. We use the declarative semantics to prove the query procedure sound and complete. We use concepts from logic programming to justify our approach.