Abstract

Our focus in this paper is on natural exogenous actions (Pinto [23]), namely those which occur in response to known laws of physics, like a ball bouncing at times determined by Newtonian equations of motion. The property of such actions that we wish to capture is that they must occur at their predicted times, provided no earlier actions (natural or agent initiated) prevent them from occurring. Because several such actions may occur simultaneously, we need a theory of concurrency. Because such actions may be modeled by equations of motion, we need to represent continuous time. This paper shows how to gracefully accommodate all these features within the situation calculus, without sacrificing the simple solution to the frame problem of Reiter [25]. One nice consequence of this approach is a situation calculus specification of deductive planning, with continuous time and true concurrency, and where the agent can incorporate external natural event occurrences into her...

Citations

104	Abductive planning with event calculus - Eshghi - 1988
79	Representing actions in extended logic programming - Gelfond, Lifschitz - 1992
79	What are the limitations of the situation calculus - Gelfond, Lifschitz, et al. - 1991
52	Temporal reasoning and planning - Allen - 1991
51	Reasoning about noisy sensors in the situation calculus - Bacchus, Halpern, et al. - 1995
36	Reasoning about effects of concurrent actions - Baral, Gelfond - 1997
2	Infinite Loops in Finite Time - Davis - 1992