Causality via Inductive Deenitions

We propose to treat causal laws as rules of inductive deenitions. In the context of formal theories of action , this view of causality leads us to a solution to the frame problem. We obtain essentially the same form of successor state axioms as described in (Reiter 1991) by deening uents inductively. The same idea of using inductive rules to represent causal laws leads us to a solution to the ramiication problem. The induc-tive solution to the frame and ramiication problems provides a justiication of logic programming implementation of situation calculus theories.

[1]  Hudson Turner,et al.  Causal Theories of Action and Change , 1997, AAAI/IAAI.

[2]  Eric C. R. Hehner.  A Practical Theory of Programming , 1993, Texts and Monographs in Computer Science.

[3]  Raymond Reiter,et al.  Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..

[4]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[5]  Vladimir Lifschitz,et al.  On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..

[6]  Yiannis N. Moschovakis,et al.  Elementary induction on abstract structures , 1974 .

[7]  J. van Leeuwen,et al.  Logic Programming , 2002, Lecture Notes in Computer Science.

[8]  Benjamin Johnston,et al.  Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change , 2009 .

[9]  Michael Thielscher.  Computing Ramiications by Postprocessing , 1995 .

[10]  Eric W. Weisstein,et al.  Closed-Form Solution , 2002 .

[11]  Sheila A. McIlraith.  Representing Actions and State Constraints in Model-Based Diagnosis , 1997, AAAI/IAAI.

[12]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[13]  Robert Boyd Skipper,et al.  A CAUSAL THEORY OF 'ABOUT' , 1987 .

[14]  Michael Thielscher,et al.  Ramiication and Causality , 1996 .

[15]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[16]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.