ProbLog: A Probabilistic Prolog and Its Application in Link Discovery

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

• Type: Conference
• Year: 2007
• Where: IJCAI
• Authors: Luc De Raedt, Angelika Kimmig, Hannu Toivonen
• Keywords: Artificial Intelligence, IJCAI 2007, Logic Programs, Probabilistic Extension, ProbLog Program