Academic
Publications
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery

ProbLog: A Probabilistic Prolog and Its Application in Link Discovery,Luc De Raedt,Angelika Kimmig,Hannu Toivonen

ProbLog: A Probabilistic Prolog and Its Application in Link Discovery   (Citations: 65)
BibTex | RIS | RefWorks Download
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belongs to a randomly sam- pled program, and these probabilities are mutually independent. The semantics of ProbLog is then de- fined by the success probability of a query, which corresponds to the probability that the query suc- ceeds in a randomly sampled program. The key contribution of this paper is the introduction of an effective solver for computing success probabili- ties. It essentially combines SLD-resolution with methods for computing the probability of Boolean formulae. Our implementation further employs an approximation algorithm that combines iterative deepening with binary decision diagrams. We re- port on experiments in the context of discovering links in real biological networks, a demonstration of the practical usefulness of the approach.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: