Imagine a robot that is executing a program on-line, and, insofar as it is reasonable to do so, it wishes to continue with this on-line program execution, no matter what exogenous events occur in the world. Execution monitoring is the robot's process of observing the world for discrepancies between the actual world and its internal representation of it, and recovering from such discrepancies. We provide a situation calculus-based account of such on-line program executions, with monitoring. This account relies on a specification for a single-step interpreter for the logic programming language Golog. The theory is supported by an implementation that is illustrated by a standard blocks world in which a robot is executing a Golog program to build a suitable tower. The monitor makes use of a simple kind of planner for recovering from malicious exogenous actions performed by another agent. After performing the sequence of actions generated by the recovery procedure, the robot eliminates the discrepancy and resumes executing its tower-building program.
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
401
|
Golog: A logic programming language for dynamic domains
– Levesque, Reiter, et al.
- 1997
|
|
387
|
The control of discrete event systems
– Ramadge, Wonham
- 1989
|
|
348
|
Learning and executing generalized robot plans
– Fikes, Hart, et al.
- 1972
|
|
315
|
Universal plans for reactive robots in unpredictable environments
– Schoppers
- 1987
|
|
313
|
Supervisory control of a class of discrete event processes
– Ramadge, Wonham
- 1987
|
|
219
|
State constraints revisited
– Lin, Reiter
- 1994
|
|
156
|
What is planning in the presence of sensing
– Levesque
- 1996
|
|
155
|
Integrating Planning, Execution and Monitoring
– Ambros-Ingerson, Steel
- 1988
|
|
128
|
Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems
– Reiter
- 2001
|
|
106
|
Proving properties of states in the situation calculus
– Reiter
- 1993
|
|
90
|
The Frame Problem and Knowledge Producing Actions
– Scherl, Levesque
- 1993
|
|
77
|
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
– Giacomo, Lespérance, et al.
- 1997
|
|
76
|
Execution monitoring of high-level robot programs
– Giacomo, Reiter, et al.
- 1998
|
|
49
|
Modular feedback logic for discrete even systems
– Ramadge, Wonham
- 1987
|
|
45
|
Interleaving planning and robot execution for asynchronous user requests. Autonomous Robots 5(1):79–95
– Haigh, Veloso
- 1998
|
|
38
|
Improving Robot Plans During Their Execution
– Beetz, McDermott
- 1994
|
|
33
|
S.C.Tran, Relating Theories of Actions and Reactive
– Baral
- 1998
|
|
32
|
Discrete event systems for autonomous mobile agents
– Kosecka, Bajcsy
- 1993
|
|
29
|
Limited lookahead policies in supervisory control of discrete event systems
– Chung, Lafortune, et al.
- 1992
|
|
22
|
Sequential, temporal GOLOG
– Reiter
- 1998
|
|
18
|
Beyond the single planning paradigm: introspective planning
– Traverso, Cimatti, et al.
- 1992
|
|
15
|
temporal GOLOG
– Sequential
- 1998
|
|
15
|
A Logic for Acting, Sensing and Planning
– Traverso, Spalazzi
- 1995
|
|
14
|
Expressing transformations of structured reactive plans
– Beetz, McDermott
- 1997
|
|
13
|
defense of reaction plans as caches
– In
- 1989
|
|
12
|
Planning with Failure
– Giunchiglia, Spalazzi, et al.
- 1994
|
|
8
|
Logic-based modelling of goal-directed behavior
– Sandewall
- 1997
|
|
7
|
High-level robotic control: Beyond planning. a position paper
– Levesque, Reiter
- 1998
|
|
6
|
Nonterminating processes in the situation calculus
– Giacomo, Ternovskaia, et al.
- 1997
|
|
3
|
Building monitors to exploit open-loop and closed-loop dynamics
– Schoppers
- 1992
|
|
1
|
Monitoring the Execution in Dynamic Environments
– SPEEDY
- 1996
|
|
1
|
Congolog incremental interpreter
– Giacomo, Levesque
- 1998
|
|
1
|
Execution monitoring of highlevel robot programs
– Soutchanski
|
