DNF Sampling for ProbLog Inference

@article{Shterionov2010DNFSF,
  title={DNF Sampling for ProbLog Inference},
  author={Dimitar Sht. Shterionov and Angelika Kimmig and Theofrastos Mantadelis and Gerda Janssens},
  journal={CoRR},
  year={2010},
  volume={abs/1009.3798}
}
Inference in probabilistic logic languages such as ProbLog, an extension of Prolog with probabilistic facts, is often based on a reduction to a propositional formula in DNF. Calculating the probability of such a formula involves the disjoint-sum-problem, which is computationally hard. In this work we introduce a new approximation method for ProbLog inference which exploits the DNF to focus sampling. While this DNF sampling technique has been applied to a variety of tasks before, to the best of… CONTINUE READING