Transitive Observation-Based Causation, Saliency, and the Markov Condition

  • Authors:
  • Jean-François Bonnefon;Didier Dubois;Henri Prade

  • Affiliations:
  • CLLE-CNRS, Toulouse;IRIT-CNRS, Toulouse;IRIT-CNRS, Toulouse

  • Venue:
  • SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

If Acaused Band Bcaused C, did Acaused C? Although causality is generally regarded as transitive, some philosophers have questioned this assumption, and models of causality in artificial intelligence are often agnostic with respect to transitivity: They define causation, then check whether the definition makes all, or only some, causal arguments transitive. We consider two formal models of observation-based causation, which differ in the way they represent uncertainty. The quantitative model uses a standard probabilistic definition; the qualitative model uses a definition based on nonmonotonic consequence. The two models identify different sufficient conditions for the transitivity of causation: The Markov condition on events for the quantitative model, and a Saliency condition (if Bis true then generally Ais true) for the qualitative model. We explore the formal relations between these sufficient conditions, and between the underlying definitions of observation-based causation. These connections shed light on the range of applicability of both models.