Natural actions, concurrency and continuous time in the situation calculus (1996) [113 citations — 9 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Reiter96naturalactions,,author = {Ray Reiter},
title = {Natural actions, concurrency and continuous time in the situation calculus},
booktitle = {},
year = {1996},
pages = {2--13},
publisher = {Morgan Kaufmann}
}
Years of Citing Articles
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 plans.
Citations
| 105 | Abductive planning with event calculus – Eshghi - 1988 |
| 85 | Representing actions in extended logic programs – Gelfond, Lifschitz - 1992 |
| 82 | What are the limitations of the situation calculus – Gelfond, Lifschitz, et al. - 1991 |
| 54 | Temporal Reasoning and Planning – Allen - 1991 |
| 47 | Reasoning about noisy sensors in the situation calculus – Bacchus, Halpern, et al. - 1995 |
| 33 | Reasoning about effects of concurrent ac-tions – Baral, Gelfond - 1997 |
| 2 | Infinite Loops in Finite Time – Davis - 1992 |
