2026-07-22T17:54:14Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6745 2024-03-06T10:29:57Z ddc:004 open_access

Inference in Probabilistic Logic Programs Using Lifted Explanations Nampally, Arun Ramakrishnan, C. R. Probabilistic logic programs Probabilistic inference Lifted inference Symbolic evaluation Constraints 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Arun Nampally and C. R. Ramakrishnan 2016 Is Part Of OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICLP.2016.15 urn:nbn:de:0030-drops-67459 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.15 eng https://creativecommons.org/licenses/by/3.0/legalcode