Query Answering in Belief Logic Programming

Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of information. Based on this semantics, we develop efficient algorithms that can answer queries for non-ground programs with the help of an SLD-like procedure. We also analyze the computational complexity of the algorithms and illustrate their uses.

• Type: Conference
• Year: 2009
• Where: SUM
• Authors: Hui Wan, Michael Kifer
• Keywords: Correlate Evidence, Information Management, Quantitative Logic Programming, SUM 2009, fixpoint Semantics