Feng-Xiang He

Single-world counterfactual reasoning in ProbLog

Probabilistic logic programming (PLP) languages such as ProbLog naturally support reasoning under uncertainty while maintaining a declarative and interpretable framework. Counterfactual reasoning (i.e. answering ‘what if’ questions) is important for explanation, diagnosis and causal reasoning in probabilistic logic m...