ProbLog Technology for Inference in a Probabilistic First Order Logic

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.

• Type: Conference
• Year: 2010
• Where: ECAI
• Authors: Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt
• Keywords: Artificial Intelligence, ECAI 2010, Order Logic, Probabilistic Facts, Soft Constraints