Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6858916 | International Journal of Approximate Reasoning | 2016 | 18 Pages |
Abstract
We propose TP-compilation, a new inference technique for probabilistic logic programs that is based on forward reasoning. TP-compilation proceeds incrementally in that it interleaves the knowledge compilation step for weighted model counting with forward reasoning on the logic program. This leads to a novel anytime algorithm that provides hard bounds on the inferred probabilities. The main difference with existing inference techniques for probabilistic logic programs is that these are a sequence of isolated transformations. Typically, these transformations include conversion of the ground program into an equivalent propositional formula and compilation of this formula into a more tractable target representation for weighted model counting. An empirical evaluation shows that TP-compilation effectively handles larger instances of complex or cyclic real-world problems than current sequential approaches, both for exact and anytime approximate inference. Furthermore, we show that TP-compilation is conducive to inference in dynamic domains as it supports efficient updates to the compiled model.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt,