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

08/30/2023
by   Kilian Rückschloß, et al.
0

Probabilistic logic programs are logic programs where some facts hold with a specified probability. Here, we investigate these programs with a causal framework that allows counterfactual queries. Learning the program structure from observational data is usually done through heuristic search relying on statistical tests. However, these statistical tests lack information about the causal mechanism generating the data, which makes it unfeasible to use the resulting programs for counterfactual reasoning. To address this, we propose a language fragment that allows reconstructing a program from its induced distribution. This further enables us to learn programs supporting counterfactual queries.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/24/2023

"What if?" in Probabilistic Logic Programming

A ProbLog program is a logic program with facts that only hold with a sp...
research
10/17/2019

MultiVerse: Causal Reasoning using Importance Sampling in Probabilistic Programming

We elaborate on using importance sampling for causal reasoning, in parti...
research
02/14/2012

Inference in Probabilistic Logic Programs using Weighted CNF's

Probabilistic logic programs are logic programs in which some of the fac...
research
02/17/2021

An asymptotic analysis of probabilistic logic programming with implications for expressing projective families of distributions

Over the last years, there has been increasing research on the scaling b...
research
05/03/2022

Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions

We study discrete probabilistic programs with potentially unbounded loop...
research
04/10/2009

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

This papers develops a logical language for representing probabilistic c...
research
02/27/2013

Counterfactual Probabilities: Computational Methods, Bounds and Applications

Evaluation of counterfactual queries (e.g., "If A were true, would C hav...

Please sign up or login with your details

Forgot password? Click here to reset