DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2010.124

Dedicated Tabling for a Probabilistic Setting

Authors: Theofrastos Mantadelis and Gerda Janssens

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

Abstract

ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a sum of products. ProbLog applies advanced techniques to make this feasible and to assess the correct probability. Tabling is a well-known technique to avoid repeated subcomputations and to terminate loops. We investigate how tabling can be used in ProbLog. The challenge is that we have to reconcile tabling with the advanced ProbLog techniques. While standard tabling collects only the answers for the calls, we do need the SLD proof tree. Finally we discuss how to deal with loops in our probabilistic framework. By avoiding repeated subcomputations, our tabling approach not only improves the execution time of ProbLog programs, but also decreases accordingly the memory consumption. We obtain promising results for ProbLog programs using exact probability inference.

Cite as

Theofrastos Mantadelis and Gerda Janssens. Dedicated Tabling for a Probabilistic Setting. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 124-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{mantadelis_et_al:LIPIcs.ICLP.2010.124,
  author =	{Mantadelis, Theofrastos and Janssens, Gerda},
  title =	{{Dedicated Tabling for a Probabilistic Setting}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{124--133},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.124},
  URN =		{urn:nbn:de:0030-drops-25903},
  doi =		{10.4230/LIPIcs.ICLP.2010.124},
  annote =	{Keywords: Tabling, Loop Detection, Probabilistic Logical Programming, ProbLog}
}

Search Results

Documents authored by Mantadelis, Theofrastos

Dedicated Tabling for a Probabilistic Setting

Abstract

Cite as

Thanks for your feedback!

Could not send message