ProbLog: a probabilistic prolog and its application in link discovery

摘要: We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines distribution over logic programs by specifying for each clause the probability that it belongs to randomly sampled program, and these probabilities are mutually independent. The semantics is then defined success query, which corresponds query succeeds in program. key contribution this paper introduction an effective solver computing probabilities. It essentially combines SLD-resolution with methods Boolean formulae. Our implementation further employs approximation algorithm iterative deepening binary decision diagrams. report on experiments context discovering links real biological networks, demonstration practical usefulness approach.