"What if?" in Probabilistic Logic Programming

Rafael Kiesel, Kilian Rückschloß, Felix Weitkämper
5/24/2023
cs.AI

No official code found. Best implementation: raki123/counterfactuals (5 stars, MIT, last commit 2024-02-05).

Abstract

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.

View on arXivView PDF

Code Implementations(1)

raki123/counterfactualsCommunity100%
MIT

A solver for counterfactual inference over probabilistic logic programs, based on the library of aspmc.

51Shell, Python2 years agoMIT

Similar Papers

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

89% match2023

Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs

83% match1 repo2026

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy

81% match2024

On Probabilistic and Causal Reasoning with Summation Operators

81% match2024

The Hardness of Reasoning about Probabilities and Causality

79% match2023

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation

79% match2023

Cite this paper

@article{kiesel2023what,
  title  = {"What if?" in Probabilistic Logic Programming},
  author = {Rafael Kiesel and Kilian Rückschloß and Felix Weitkämper},
  year   = {2023},
  eprint = {2305.15318},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2305.15318v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2305.15318.svg)](https://codeofpaper.com/paper/2305.15318)

Discussion