Sciweavers

AIIA
2007
Springer

A Top Down Interpreter for LPAD and CP-Logic

13 years 9 months ago
A Top Down Interpreter for LPAD and CP-Logic
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a top down interpreter for computing the probability of a query from a program in one of these two languages when the program is acyclic. The algorithm is based on the one available for ProbLog. The performances of the algorithm are compared with those of a Bayesian reasoner and with those of the ProbLog interpreter. On programs that have a small grounding, the Bayesian reasoner is more scalable, but programs with a large grounding require the top down interpreter. The comparison with ProbLog shows that, even if the added expressiveness effectively requires more computation resources, the top down interpreter can still solve problem of significant size.
Fabrizio Riguzzi
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where AIIA
Authors Fabrizio Riguzzi
Comments (0)