eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2016-11-11
15:1
15:15
10.4230/OASIcs.ICLP.2016.15
article
Inference in Probabilistic Logic Programs Using Lifted Explanations
Nampally, Arun
Ramakrishnan, C. R.
In this paper, we consider the problem of lifted inference in the context of Prism-like probabilistic logic programming languages. Traditional inference in such languages involves the construction of an explanation graph for the query that treats each instance of a random variable separately. For many programs and queries, we observe that explanations can be summarized into substantially more compact structures introduced in this paper, called "lifted explanation graph". In contrast to existing lifted inference techniques, our method for constructing lifted explanations naturally generalizes existing methods for constructing explanation graphs. To compute probability of query answers, we solve recurrences generated from the lifted graphs. We show examples where the use of our technique reduces the asymptotic complexity of inference.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol052_iclp2016/OASIcs.ICLP.2016.15/OASIcs.ICLP.2016.15.pdf
Probabilistic logic programs
Probabilistic inference
Lifted inference
Symbolic evaluation
Constraints