"What if?" in Probabilistic Logic Programming

05/24/2023

∙

A ProbLog program is a logic program with facts that only hold with a specified probability. In this contribution we extend this ProbLog language by the ability to answer "What if" queries. Intuitively, a ProbLog program defines a distribution by solving a system of equations in terms of mutually independent predefined Boolean random variables. In the theory of causality, Judea Pearl proposes a counterfactual reasoning for such systems of equations. Based on Pearl's calculus, we provide a procedure for processing these counterfactual queries on ProbLog programs, together with a proof of correctness and a full implementation. Using the latter, we provide insights into the influence of different parameters on the scalability of inference. Finally, we also show that our approach is consistent with CP-logic, i.e. with the causal semantics for logic programs with annotated with disjunctions.

READ FULL TEXT

"What if?" in Probabilistic Logic Programming

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming

Tutorial on implementing Hoare logic for imperative programs in Haskell

Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming

Inference and learning in probabilistic logic programs using weighted Boolean formulas

Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming

Complex Coordinate-Based Meta-Analysis with Probabilistic Programming

"What if?" in Probabilistic Logic Programming

Related Research

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming

Tutorial on implementing Hoare logic for imperative programs in Haskell

Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics

CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming

Inference and learning in probabilistic logic programs using weighted Boolean formulas

Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming

Complex Coordinate-Based Meta-Analysis with Probabilistic Programming