ProbLog: A Probabilistic Prolog and Its Application in Link Discovery

de Raedt, Luc; Kimmig, Angelika; Toivonen, Hannu

ProbLog: A Probabilistic Prolog and Its Application in Link Discovery

Luc De Raedt, Angelika Kimmig, Hannu Toivonen

Download BibTeX Cite

Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 2462-2466.

Abstract

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 sampled program, and these probabilities are mutually independent. The semantics of ProbLog is then defined by the success probability of a query, which corresponds to the probability that the query succeeds in a randomly sampled program. The key contribution of this paper is the introduction of an effective solver for computing success probabilities. 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 report on experiments in the context of discovering links in real biological networks, a demonstration of the practical usefulness of the approach.

Luc de Raedt, Angelika Kimmig, and Hannu Toivonen. 2007. ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. IJCAI, 2462–2466. https://ijcai.org/proceedings/2007/396

@inproceedings{ijcai2007p396,
  title     = {ProbLog: A Probabilistic Prolog and Its Application in Link Discovery},
  author    = {de Raedt, Luc and Kimmig, Angelika and Toivonen, Hannu},
  booktitle = {Proceedings of the Twentieth International Joint Conference on
               Artificial Intelligence, {IJCAI-07}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ramon López de Mántaras},
  pages     = {2462--2466},
  year      = {2007},
  url       = {https://ijcai.org/proceedings/2007/396},
}

TY  - CPAPER
TI  - ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
AU  - de Raedt, Luc
AU  - Kimmig, Angelika
AU  - Toivonen, Hannu
T2  - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2007
SP  - 2462
EP  - 2466
UR  - https://ijcai.org/proceedings/2007/396
ER  -