DROPS

Document

DOI: 10.4230/OASIcs.ICLP.2016.15

Inference in Probabilistic Logic Programs Using Lifted Explanations

Authors: Arun Nampally and C. R. Ramakrishnan

Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)

Abstract

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.

Cite as

Arun Nampally and C. R. Ramakrishnan. Inference in Probabilistic Logic Programs Using Lifted Explanations. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 15:1-15:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@InProceedings{nampally_et_al:OASIcs.ICLP.2016.15,
  author =	{Nampally, Arun and Ramakrishnan, C. R.},
  title =	{{Inference in Probabilistic Logic Programs Using Lifted Explanations}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{15:1--15:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.15},
  URN =		{urn:nbn:de:0030-drops-67459},
  doi =		{10.4230/OASIcs.ICLP.2016.15},
  annote =	{Keywords: Probabilistic logic programs, Probabilistic inference, Lifted inference, Symbolic evaluation, Constraints}
}

Search Results

Documents authored by Nampally, Arun

Inference in Probabilistic Logic Programs Using Lifted Explanations

Abstract

Cite as

Thanks for your feedback!

Could not send message