Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Mantadelis, Theofrastos; Janssens, Gerda http://www.dagstuhl.de/lipics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-25903
URL:

;

Dedicated Tabling for a Probabilistic Setting

pdf-format:


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.

BibTeX - Entry

@InProceedings{mantadelis_et_al:LIPIcs:2010:2590,
  author =	{Theofrastos Mantadelis and Gerda Janssens},
  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 =	{Manuel Hermenegildo and Torsten Schaub},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2590},
  URN =		{urn:nbn:de:0030-drops-25903},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.124},
  annote =	{Keywords: Tabling, Loop Detection, Probabilistic Logical Programming, ProbLog}
}

Keywords: Tabling, Loop Detection, Probabilistic Logical Programming, ProbLog
Seminar: Technical Communications of the 26th International Conference on Logic Programming
Issue date: 2010
Date of publication: 2010


DROPS-Home | Fulltext Search | Imprint Published by LZI