Scenario update applied to causal reasoning

In this paper, we propose to define the update of a scenario (sequence of observations at different time points) by a piece of information (value of a fluent or event occurrence) at a given time point. This operation computes the possible world evolutions (called trajectories) satisfying this piece of information that are the most in accordance with the initial scenario. It enables us to identify the consequences that a modification may involve on the evolution of the world. Updating scenarios allows us to define formally the counter-factual aspect of causation: to check if an event is a cause in a given scenario amounts to update this scenario by the non-occurrence of this event.

[1]  Malik Ghallab,et al.  Suivi et reconnaissance de chroniques , 1994 .

[2]  G. Hesslow.  Causality and Determinism , 1981, Philosophy of Science.

[3]  Nancy Cartwright,et al.  Against Modularity, the Causal Markov Condition, and Any Link Between the Two: Comments on Hausman and Woodward , 2002, The British Journal for the Philosophy of Science.

[4]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[5]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[6]  Thomas Schiex,et al.  Penalty Logic and its Link with Dempster-Shafer Theory , 1994, UAI.

[7]  Joseph Y. Halpern,et al.  Causes and Explanations: A Structural-Model Approach. Part I: Causes , 2000, The British Journal for the Philosophy of Science.

[8]  M. Horowitz.  New Dictionary of the History of Ideas , 2004 .

[9]  Aïcha Mokhtari,et al.  Time in a causal theory , 2004, Annals of Mathematics and Artificial Intelligence.

[10]  Y. Shoham.  Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence , 1987 .

[11]  H. Prade,et al.  Possibilistic logic , 1994 .

[12]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[13]  Thomas Lukasiewicz,et al.  Structure-Based Causes and Explanations in the Independent Choice Logic , 2002, UAI.

[14]  Didier Dubois,et al.  Background Default Knowledge and Causality Ascriptions , 2006, ECAI.

[15]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[16]  Erik Sandewall,et al.  The Range of Applicability of Some Non-monotonic Logics for Strict Inertia , 1994, J. Log. Comput..

[17]  Martin L. Puterman,et al.  Markov Decision Processes: Discrete Stochastic Dynamic Programming , 1994 .

[18]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[19]  Joseph Y. Halpern,et al.  Causes and explanations: A structural-model approach , 2000 .

[20]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[21]  S. B. Needleman,et al.  A general method applicable to the search for similarities in the amino acid sequence of two proteins. , 1970, Journal of molecular biology.

[22]  Didier Dubois,et al.  Update Postulates without Inertia , 1995, ECSQARU.