CP-logic: A language of causal probabilistic events and its relation to logic programming

Abstract This paper develops a logical language for representing probabilistic causal laws. Our interest in such a language is two-fold. 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, we prove that the formal semantics of a theory in our language can be equivalently defined as a probability distribution over the well-founded models of certain logic programs, rendering it formally quite similar to existing languages such as ICL or PRISM. Because we can motivate and explain our language in a completely self-contained way as a representation of probabilistic causal laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such a program expresses, in terms that are equally understandable by a non-logician. Moreover, we also obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express probabilistic causal laws.

• Publication year

  2009

• Venue

  Theory and Practice of Logic Programming

• Publication date

  2009-04-10

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1017/S1471068409003767arXiv 0904.1672
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Logic of Chance: An Essay on the Foundations and Province of the Theory of Probability, with Especial Reference to Its Logical Bearings and Its Application to Moral and Social Science

  2010cited by this paper
• A logic of nonmonotone inductive definitions

  2008cited by this paper
• Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks

  2007cited by this paper
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions

  2007cited by this paper
• A Top Down Interpreter for LPAD and CP-Logic

  2007cited by this paper
• Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning

  2007cited by this paper
• Bayesian Logic Programming: Theory and Tool

  2007cited by this paper
• Learning ground CP-logic theories by means of Bayesian network techniques

  2007cited by this paper
• Representing Causal Information About a Probabilistic Process

  2006cited by this paper
• A Logic for Non-Monotone Inductive Definitions

  2005cited by this paper
• Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models

  2005cited by this paper
• A Logic for Non-Monotone Inductive Definitions

  2005cited by this paper
• Encoding Probabilistic Causal Model in Probabilistic Action Language

  2004cited by this paper
• Learning Logic Programs with Annotated Disjunctions

  2004cited by this paper
• Logics in Artificial Intelligence (JELIA 2004)

  2004cited by this paper
• Logic programs with annotated disjunctions

  2004cited by this paper
• General Bayesian networks and asymmetric languages

  2003influential reference
• CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

  2002cited by this paper
• Structure-Based Causes and Explanations in the Independent Choice Logic

  2002cited by this paper
• Reasoning about actions in a probabilistic setting

  2002cited by this paper
• Relational Data Mining

  2001cited by this paper
• Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

  2001cited by this paper
• Bayesian Logic Programs

  2001cited by this paper
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations

  2001cited by this paper
• Adaptive Bayesian Logic Programs

  2001cited by this paper
• Stochastic Logic Programs: Sampling, Inference and Applications

  2000cited by this paper
• Hybrid Probabilistic Programs

  2000cited by this paper
• Causes and Explanations: A Structural-Model Approach. Part I: Causes

  2000cited by this paper
• Learning Stochastic Logic Programs

  1999cited by this paper
• Learning Probabilistic Relational Models

  1999cited by this paper
• Representing Transition Systems by Logic Programs

  1999cited by this paper
• Learning Probabilistic Relational Models

  1999cited by this paper
• The Well-Founded Semantics Is the Principle of Inductive Definition

  1998cited by this paper
• An Action Language Based on Causal Explanation: Preliminary Report

  1998cited by this paper
• Probabilistic Logic Programming

  1998cited by this paper
• Adaptive Processing of Sequences and Data Structures

  1998cited by this paper
• Action Languages

  1998cited by this paper
• The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty

  1997influential reference
• Relational Bayesian Networks

  1997influential reference
• Answering Queries from Context-Sensitive Probabilistic Knowledge Bases

  1997cited by this paper
• Learning Dynamic Bayesian Networks

  1997cited by this paper
• PRISM: A Language for Symbolic-Statistical Modeling

  1997influential reference
• Causality in commonsense reasoning about actions

  1997cited by this paper
• On the Relation Between Situation Calculus and Event Calculus

  1997cited by this paper
• Causal Theories of Action and Change

  1997cited by this paper
• The art of causal conjecture

  1996influential reference
• Proceedings of AAAI-96

  1996cited by this paper
• Abductive Logic Programming処理系の実現

  1995cited by this paper
• An alternative approach to the semantics of disjunctive logic programs and deductive databases

  1994influential reference
• Probabilistic Deductive Databases

  1994cited by this paper
• Temporal Reasoning in Logic Programming: A Case for the Situation Calculus

  1993cited by this paper
• Probabilistic Horn Abduction and Bayesian Networks

  1993cited by this paper
• Using First-Order Probability Logic for the Construction of Bayesian Networks

  1993cited by this paper
• Representing Action and Change by Logic Programs

  1993cited by this paper
• Knowledge, probability, and adversaries

  1993cited by this paper
• CONSTRUCTION OF BELIEF AND DECISION NETWORKS

  1992cited by this paper
• Probabilistic reasoning in intelligent systems: Networks of plausible inference

  1991cited by this paper
• The well-founded semantics for general logic programs

  1991influential reference
• Stable semantics for disjunctive programs

  1991cited by this paper
• Classical negation in logic programs and disjunctive databases

  1991cited by this paper
• Constructive mathematics and computer programming

  1984cited by this paper
• La prévision : ses lois logiques, ses sources subjectives

  1937cited by this paper
• Causality : Models , Reasoning , and Inference

  year unknowninfluential reference
• The logic of chance : an essay on the foundations and province of the theory of probability, with especial reference to its logical bearings and its application to moral and social science, and to statistics

  year unknowncited by this paper

• How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics

  2025cites this paper
• Probabilistic Inference for Datalog with Correlated Inputs

  2025cites this paper
• "Cause" is Mechanistic Narrative within Scientific Domains: An Ordinary Language Philosophical Critique of "Causal Machine Learning"

  2025influential citation
• Intention Reasoning for User Action Sequences via Fusion of Object Task and Object Action Affordances Based on Dempster–Shafer Theory

  2025cites this paper
• What Is a Counterfactual Cause in Action Theories?

  2025cites this paper
• Towards Actionable Ishikawa Diagrams: An Exploratory Case Study From the Textile Industry

  2025cites this paper
• StarfishDB: A Query Execution Engine for Relational Probabilistic Programming

  2024cites this paper
• Probabilistic Traces in Declarative Process Mining

  2024cites this paper
• dPASP: A Probabilistic Logic Programming Environment For Neurosymbolic Learning and Reasoning

  2024cites this paper
• Explaining Explanations in Probabilistic Logic Programming

  2024cites this paper
• Probabilistic Compliance in Declarative Process Mining

  2024cites this paper
• Bottom-Up Grounding in the Probabilistic Logic Programming System Fusemate

  2023influential citation
• "What if?" in Probabilistic Logic Programming

  2023cites this paper
• smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation

  2023cites this paper
• GEAR: A General Inference Engine for Automated MultiStrategy Reasoning

  2023cites this paper
• Task-Oriented Robot Cognitive Manipulation Planning Using Affordance Segmentation and Logic Reasoning

  2023cites this paper
• On the Subtlety of Causal Reasoning in Probabilistic Logic Programming: A Bug Report about the Causal Interpretation of Annotated Disjunctions

  2023influential citation
• Online event recognition over noisy data streams

  2023cites this paper
• Specifying credal sets with probabilistic answer set programming

  2023cites this paper
• Bottom-Up Stratified Probabilistic Logic Programming with Fusemate

  2023cites this paper
• Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs

  2022cites this paper
• First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

  2022cites this paper
• Scalable Query Answering Under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach

  2022cites this paper
• Meta-analysis of the functional neuroimaging literature with probabilistic logic programming

  2022cites this paper
• Probabilistic Programming Languages: Independent Choices and Deterministic Systems

  2022cites this paper
• Exploiting the Full Power of Pearl's Causality in Probabilistic Logic Programming

  2022influential citation
• Correct Causal Inference in Probabilistic Logic Programming

  2022cites this paper
• Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs

  2021cites this paper
• Probabilistic causes in Markov chains

  2021cites this paper
• Probabilistic logic programming in 2P-KT

  2021cites this paper
• A Logical Theory of Causality

  2021cites this paper
• SMProbLog: Stable Model Semantics in ProbLog and its Applications in Argumentation

  2021cites this paper
• Negative Weights in Hinge-Loss Markov Random Fields

  2021cites this paper
• Film Directing for Computer Games and Animation

  2021cites this paper
• A semantics for Hybrid Probabilistic Logic programs with function symbols

  2021cites this paper
• From Verification to Causality-based Explications

  2021cites this paper
• A Speech about Generative Datalog and Non-measurable Sets

  2021cites this paper
• Abduction with probabilistic logic programming under the distribution semantics

  2021cites this paper
• Probabilistic abstract argumentation frameworks, a possible world view

  2020cites this paper
• Languages for Probabilistic Modeling Over Structured and Relational Domains

  2020cites this paper
• Complex Coordinate-Based Meta-Analysis with Probabilistic Programming

  2020influential citation
• P-log: refinement and a new coherency condition

  2019cites this paper
• MultiVerse: Causal Reasoning using Importance Sampling in Probabilistic Programming

  2019cites this paper
• Explaining Actual Causation in Terms of Possible Causal Processes

  2019influential citation
• The Joy of Probabilistic Answer Set Programming

  2019cites this paper
• Forgetting Auxiliary Atoms in Forks

  2019cites this paper
• From Logic Programming to Human Reasoning: How to be Artificially Human

  2018cites this paper
• Semantic and geometric reasoning for robotic grasping: a probabilistic logic approach

  2018cites this paper
• A survey of probabilistic logic programming

  2018influential citation
• Explaining the Most Probable Explanation

  2018cites this paper
• Causal reasoning in a logic with possible causal process semantics

  2018influential citation
• Why Rules are Complex: Real-Valued Probabilistic Logic Programs are not Fully Expressive

  2017cites this paper
• Declarative Probabilistic Programming with Datalog

  2017cites this paper
• Inference and Learning in Probabilistic Argumentation

  2017cites this paper
• Negative probabilities in probabilistic logic programs

  2017cites this paper
• On the Semantics and Complexity of Probabilistic Logic Programs

  2017influential citation
• Expressing Probabilistic Graphical Models in RCC

  2017cites this paper
• A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases

  2017cites this paper
• Query Processing on Probabilistic Data: A Survey

  2017cites this paper
• Probabilistic logic programs: Unifying program trace and possible world semantics

  2017cites this paper
• A web system for reasoning with probabilistic OWL

  2017cites this paper
• Causal inference in cplint

  2017influential citation
• Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs

  2016cites this paper
• A general framework for defining and extending actual causation using CP-logic

  2016cites this paper
• TP-Compilation for inference in probabilistic logic programs

  2016cites this paper
• On the Relationship between P-log and LPMLN

  2016cites this paper
• Negation Without Negation in Probabilistic Logic Programming

  2016cites this paper
• On Logics and Semantics of Indeterminate Causation

  2016cites this paper
• Statistical Relational Artificial Intelligence: Logic, Probability, and Computation

  2016cites this paper
• The distribution semantics for normal programs with function symbols

  2016cites this paper
• New Language Constructs and Inferences for the Knowledge Base Paradigm: A Business and Multi-agent Perspective ; Taaluitbreidingen en nieuwe inferenties voor het kennisbank paradigma vanuit een Business en Multi-Agent perspectief

  2016cites this paper
• Actual Causation: Definitions and Principles

  2016influential citation
• On the relationship between P-log and LP MLN

  2016cites this paper
• Méthodes qualitatives pour la construction et l'analyse des réseaux moléculaires SBGN. (Qualitative methods for the construction and the analysis of SBGN molecular networks)

  2016cites this paper
• Weighted Rules under the Stable Model Semantics

  2016cites this paper
• An Abductive Counterfactual Reasoning Approach in Logic Programming

  2015cites this paper
• 2 Declarative Probabilistic Programming with Datalog

  2015cites this paper
• An introduction to hybrid probabilistic (logic) programming

  2015cites this paper
• Handling Probability and Inconsistency in Answer Set Programming

  2015influential citation
• Probabilistic Description Logics under the distribution semantics

  2015cites this paper
• A Hybrid Approach to the Verification of Computer Interpretable Guidelines

  2015influential citation
• An OpenCL implementation of a forward sampling algorithm for CP-logic

  2015influential citation
• Combining Probabilistic, Causal, and Normative Reasoning in CP-logic

  2015cites this paper
• Markov Logic Style Weighted Rules under the Stable Model Semantics

  2015cites this paper
• A New Computational Logic Approach to Reason with Conditionals

  2015cites this paper
• Probabilistic logic programming on the web

  2015influential citation
• Applications of Probabilistic Logic Programming

  2015cites this paper
• Probabilistic (logic) programming concepts

  2015influential citation
• A new probabilistic constraint logic programming language based on a generalised distribution semantics

  2015cites this paper
• C-Log : A Logic of Causality

  2014cites this paper
• Integration of logic and probability in inductive and terminological reasoning

  2014cites this paper
• Probabilistic Logic Programming Under the Distribution Semantics

  2014influential citation
• Probabilistic Inductive Logic Programming

  2014cites this paper
• High-level Reasoning and Low-level Learning for Grasping: A Probabilistic Logic Pipeline

  2014influential citation
• Inhibited Effects in CP-Logic

  2014cites this paper
• A History of Probabilistic Inductive Logic Programming

  2014influential citation
• FO(C) and Related Modelling Paradigms

  2014cites this paper
• The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions

  2014cites this paper
• On probability, rules and learning

  2014cites this paper
• Believing in Logic and Philosophy

  2014cites this paper