Reasoning about Discontinuities in the Event Calculus

This paper describes a logic-based formalism which combines techniques for reasoning about actions with standard mathematical techniques for modelling dynamic systems using the diierential calculus. The formalism inherits a robust solution to the frame problem which can handle con-currency, non-determinism, domain constraints and narrative. It also incorporates a mechanism for reasoning about the boundary conditions associated with systems of diier-ential equations deened over various intervals. This mechanism overcomes a number of drawbacks of previous systems .

[1]  M. Shanahan.  Solving the frame problem , 1997 .

[2]  Andrew B. Baker,et al.  Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

[3]  Erik Sandewall,et al.  Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds , 1989, IJCAI.

[4]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[5]  James M. Crawford,et al.  Formalising Reasoning about Change: A Qualitative Reasoning Approach , 1992, AAAI.

[6]  Manny Rayner,et al.  On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time , 1991, Artif. Intell..

[7]  Danny De Schreye,et al.  Representing Continuous Change in the Abductive Event Calculus , 1994, ICLP.

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

[9]  V. Lifschitz,et al.  Actions with Indirect Eeects (preliminary Report) , 1994 .

[10]  Vladimir Lifschitz,et al.  A Simple Formalization of Actions Using Circumscription , 1995, IJCAI.

[11]  Murray Shanahan,et al.  Robotics and the Common Sense Informatic Situation , 1996, ECAI.

[12]  Rob Miller,et al.  A Case Study in Reasoning about Actions and Continuous Change , 1996, ECAI.

[13]  Ernest Davis.  Infinite Loops in Finite Time: Some Observations , 1992, KR.

[14]  Kenneth D. Forbus.  Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[15]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[16]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[17]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[18]  Ernest Davis,et al.  Axiomatizing Qualitative Process Theory , 2011, KR.

[19]  Murray Shanahan,et al.  A Circumscriptive Calculus of Events , 1995, Artif. Intell..

[20]  Rob Miller,et al.  Situation Calculus Specifications for Event Calculus Logic Programs , 1995, LPNMR.

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

[22]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[23]  Erik Sandewall,et al.  Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.

[24]  Murray Shanahan,et al.  Representing Continuous Change in the Event Calculus , 1990, ECAI.

[25]  Murray Shanahan,et al.  Narratives in the Situation Calculus , 1994, J. Log. Comput..