Intelligent Execution Monitoring in Dynamic Environments

We present a robot control system for known structured environments that integrates robust reactive control with reasoning-based execution monitoring. It provides a robot with a powerful method for dealing with situations that were caused by the interaction with humans or that are due to unexpected changes in the operating environment. On the reactive level, the robot is controlled using a hierarchy of low-level behaviours. On the high level, a logical representation of the world enables the robot to plan action sequences and to reason about the state of the world. If the execution of an action does not have the expected effect, high-level reasoning allows the robot to infer possible explanations and, if necessary, to recover from the failure situation. For the robot to act optimally, the discrepancies between the internal world model and the real world have to be detected and corrected. The proposed system obtains new information about the world by executing sensing actions (active perception) and by sensory interpretation during the robot's operation. It also takes into account temporal information about changes in the environment. All updates of the world model are performed in a way that the changes are consistent with an underlying action theory. Having implemented the proposed system on a common mobile robot platform, we demonstrate the value of intelligent execution monitoring by means of two realistic office delivery scenarios.

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

[2]  Michael Thielscher Programming of Reasoning and Planning Agents with FLUX , 2002, KR 2002.

[3]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

[4]  Gerhard Brewka,et al.  Adding Priorities and Specificity to Default Logic , 1994, JELIA.

[5]  Karen Zita Haigh,et al.  High-level planning and low-level execution: towards a complete robotic agent , 1997, AGENTS '97.

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

[7]  Wolfram Burgard,et al.  Robust Monte Carlo localization for mobile robots , 2001, Artif. Intell..

[8]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[9]  W. Burgard,et al.  Markov Localization for Mobile Robots in Dynamic Environments , 1999, J. Artif. Intell. Res..

[10]  Qiang Yang,et al.  Intelligent planning - a decomposition and abstraction based approach , 1997, Artificial intelligence.

[11]  Reid G. Simmons,et al.  Robust execution monitoring for navigation plans , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

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

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

[14]  Giuseppe De Giacomo,et al.  Execution Monitoring of High-Level Robot Programs , 1998, KR.

[15]  Alessandro Saffiotti Some Notes on the Integration of Planning and Reactivity in Autonomous Mobile Robots , 1993 .

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

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

[18]  Michael Thielscher,et al.  Addressing the Qualification Problem in FLUX , 2001, KI/ÖGAI.

[19]  Erann Gat,et al.  Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots , 1992, AAAI.

[20]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[21]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

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

[23]  Michael Thielscher,et al.  The Concurrent, Continuous Fluent Calculus , 2001, Stud Logica.

[24]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[25]  Jan Jaspars,et al.  Logic in action , 1991 .

[26]  Anthony Stentz,et al.  The Focussed D* Algorithm for Real-Time Replanning , 1995, IJCAI.

[27]  Wolfram Burgard,et al.  Monte Carlo Localization: Efficient Position Estimation for Mobile Robots , 1999, AAAI/IAAI.

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

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

[30]  Wolfram Burgard,et al.  GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot , 1998, KI.

[31]  Yves Martin,et al.  The concurrent, continuous FLUX , 2003, IJCAI 2003.

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