Reasoning about Action: An Argumentation - Theoretic Approach

We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can be formalised in our framework. As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches to these problems within our formalisation lie at heart of the expositions presented in this paper.

[1]  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.

[2]  Robert A. Kowalski,et al.  Database Updates in the Event Calculus , 1992, J. Log. Program..

[3]  Patrick Doherty,et al.  Reasoning about Action and Change Using Occlusion , 1994, ECAI.

[4]  Antonis C. Kakas,et al.  E-RES: Reasoning about Actions, Events and Observations , 2001, LPNMR.

[5]  Norman Y. Foo,et al.  Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach , 2002, PRICAI.

[6]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[7]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[8]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[9]  Andrew B. Baker,et al.  A Simple Solution to the Yale Shooting Problem , 1989, KR.

[10]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[11]  Michael Thielscher,et al.  The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..

[12]  Norman Y. Foo,et al.  Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem , 2002, JELIA.

[13]  Leora Morgenstern,et al.  Motivated Action Theory: a Formal Theory of Causal Reasoning , 1994, Artif. Intell..

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

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

[16]  Fangzhen Lin,et al.  Provably correct theories of action , 1991, JACM.

[17]  Charles Elkan,et al.  On Solving the Qualification Problem , 1995 .

[18]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[19]  Charles L. Ortiz,et al.  Explanatory Update Theory: Applications of Counterfactual Reasoning to Causation , 1999, Artif. Intell..

[20]  Antonis C. Kakas,et al.  E-RES: A System for Reasoning about Actions, Events and Observations , 2000, ArXiv.

[21]  F. Brown.  The frame problem in artificial intelligence , 1987 .

[22]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[23]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[24]  Patrick Doherty,et al.  Embracing Occlusion in Specifying the Indirect Effects of Actions , 1996, KR.

[25]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[26]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[27]  Michael Thielscher,et al.  From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..

[28]  Chitta Baral,et al.  Reasoning about actions: Non-deterministic effects, Constraints, and Qualification , 1995, IJCAI.

[29]  Antonis C. Kakas,et al.  An Argumentation Framework of Reasoning about Actions and Change , 1999, LPNMR.

[30]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[31]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[32]  Vladimir Lifschitz,et al.  ON THE SEMANTICS OF STRIPS , 1987 .

[33]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[34]  Enrico Giunchiglia,et al.  Representing Action: Indeterminacy and Ramifications , 1997, Artif. Intell..

[35]  Yoav Shoham,et al.  Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning , 1988, Artif. Intell..

[36]  Murray Shanahan.  The Ramification Problem in the Event Calculus , 1999, IJCAI.

[37]  Marcus Bjäreland,et al.  Reasoning about Action in Polynomial Time , 1997, IJCAI.

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

[39]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[40]  Patrick Doherty,et al.  Tackling the qualification problem using fluent dependency constraints: preliminary report , 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

[41]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[42]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[43]  Paul H. Morris,et al.  The Anomalous Extension Problem in Default Reasoning , 1988, Artif. Intell..

[44]  Nicholas Kushmerick,et al.  Cognitivism and Situated Action: Two Views on Intelligent Agency , 1996, Comput. Artif. Intell..

[45]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[46]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[47]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[48]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[49]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.

[50]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[51]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[52]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[53]  Jonathan Amsterdam.  Temporal Reasoning and Narrative Conventions , 1991, KR.

[54]  N. Y. Foo,et al.  Reasoning about Action: An Argumentation - Theoretic Approach , 2005, J. Artif. Intell. Res..

[55]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[56]  Michael Georgeff,et al.  Reasoning about actions and plans , 1986 .

[57]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[58]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[59]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

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

[61]  Andrea Bracciali,et al.  Frame consistency: computing with causal explanations , 2004, NMR.

[62]  Hudson Turner,et al.  A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.

[63]  Antonis C. Kakas,et al.  Reasoning About Actions and Change in Answer Set Programming , 2004, LPNMR.