ProbLog Technology for Inference in a Probabilistic First Order Logic

Authors:
Maurice Bruynooghe;Theofrastos Mantadelis;Angelika Kimmig;Bernd Gutmann;Joost Vennekens;Gerda Janssens;Luc De Raedt
Affiliations:
Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be;Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be;Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be;Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be;Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be;Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be;Katholieke Universiteit Leuven, email: firstname.lastname@cs.kuleuven.be
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 9
Cited 1

Probabilistic logic

Artificial Intelligence
A Prolog technology theorem prover: implementation by an extended Prolog computer

Journal of Automated Reasoning
Probabilistic logic programming

Information and Computation
Markov logic networks

Machine Learning
Entity Resolution with Markov Logic

ICDM '06 Proceedings of the Sixth International Conference on Data Mining
Parameter Learning in Probabilistic Databases: A Least Squares Approach

ECML PKDD '08 Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I
PRISM: a language for symbolic-statistical modeling

IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Basic principles of learning Bayesian logic programs

Probabilistic inductive logic programming
The independent choice logic and beyond

Probabilistic inductive logic programming

Event processing under uncertainty

Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce First Order ProbLog, an extension of first order logic with soft constraints where formulas are guarded by probabilistic facts. The paper defines a semantics for FOProbLog, develops a translation into ProbLog, a system that allows a user to compute the probability of a query in a similar setting restricted to Horn clauses, and reports on initial experience with inference.