Actual Causation in CP-logic

07/25/2011
by   Joost Vennekens, et al.
0

Given a causal model of some domain and a particular story that has taken place in this domain, the problem of actual causation is deciding which of the possible causes for some effect actually caused it. One of the most influential approaches to this problem has been developed by Halpern and Pearl in the context of structural models. In this paper, I argue that this is actually not the best setting for studying this problem. As an alternative, I offer the probabilistic logic programming language of CP-logic. Unlike structural models, CP-logic incorporates the deviant/default distinction that is generally considered an important aspect of actual causation, and it has an explicitly dynamic semantics, which helps to formalize the stories that serve as input to an actual causation problem.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/26/2014

Towards a General Framework for Actual Causation Using CP-logic

Since Pearl's seminal work on providing a formal language for causality,...
research
03/03/2015

Combining Probabilistic, Causal, and Normative Reasoning in CP-logic

In recent years the search for a proper formal definition of actual caus...
research
12/01/2014

Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas

Canonical (logic) programs (CP) refer to normal logic programs augmented...
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
04/15/2019

Taking Linear Logic Apart

Process calculi based on logic, such as πDILL and CP, provide a foundati...
research
12/20/2013

Negation in the Head of CP-logic Rules

CP-logic is a probabilistic extension of the logic FO(ID). Unlike ASP, b...
research
09/09/2013

Structure Learning of Probabilistic Logic Programs by Searching the Clause Space

Learning probabilistic logic programming languages is receiving an incre...

Please sign up or login with your details

Forgot password? Click here to reset