CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming
Joost Vennekens, Marc Denecker, Maurice Bruynooghe

TL;DR
This paper introduces CP-logic, a formal language for representing probabilistic causal laws, bridging causal reasoning and probabilistic logic programming with a clear, logical semantics.
Contribution
It formalizes a logical language for probabilistic causal laws and connects it to existing probabilistic logic programming frameworks, enhancing understanding and expressiveness.
Findings
Provides a logical formalization of probabilistic causal laws
Shows equivalence of the language's semantics to probability distributions over models
Demonstrates how probabilistic logic programs can express causal laws
Abstract
This papers develops a logical language for representing probabilistic causal laws. Our interest in such a language is twofold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees. In such a dynamic context, where the evolution of a domain over time is considered, the idea of a causal law as something which guides this evolution is quite natural. In our formalization, a set of probabilistic causal laws can be used to represent a class of probability trees in a concise, flexible and modular way. In this way, our work extends Shafer's by offering a convenient logical representation for his semantical objects. Second, this language also has relevance for the area of probabilistic logic programming. In particular,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Bayesian Modeling and Causal Inference · Semantic Web and Ontologies
