Interruptible Task Execution with Resumption in Golog

Mobile robots should perform a growing number of tasks and react to time-critical events. Thus, the ability to interrupt a task and resume it later is crucial. While interleaved execution occurs often in robotics, existing approaches do not consider the fact that interrupting a task and resuming an interrupted task often requires intermediate steps. In this paper we present an approach to interruptible task execution with resumption. We propose INTRGOLOG which extends INDIGOLOG by task interruption and resumption through introducing new constructs to determine and fulfill the requirements of tasks. Our experiments on a service robot and in simulation show that the ability to switch to another task enables a robot to react in a swift and reliable fashion to new events.

[1]  Rachid Alami,et al.  PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[2]  Alberto Finzi,et al.  Switching tasks and flexible reasoning in the Situation Calculus , 2010 .

[3]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[4]  Alexander Ferrein,et al.  Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics , 2013, AAAI Spring Symposium: Designing Intelligent Robots.

[5]  Stuart C. Shapiro,et al.  Conscious error recovery and interrupt handling , 2000 .

[6]  Gerhard Lakemeyer,et al.  Continual Planning in Golog , 2016, AAAI.

[7]  Edmund H. Durfee,et al.  Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information , 1999, AAAI/IAAI.

[8]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[9]  Andrew Howard,et al.  Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

[10]  Lili Dong,et al.  Cooperation Model of Multi-agent System Based on the Situation Calculus , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[11]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[12]  Hector J. Levesque,et al.  IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[13]  Adrian R. Pearce,et al.  Towards High-Level Programming for Distributed Problem Solving , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[14]  F. Pirri,et al.  Shifting and inhibition in cognitive control , 2012 .

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

[16]  John Thangarajah,et al.  Aborting, suspending, and resuming goals and plans in BDI agents , 2017, Autonomous Agents and Multi-Agent Systems.

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

[18]  Gerhard Lakemeyer,et al.  Self-Maintenance for Autonomous Robots controlled by ReadyLog , 2010 .

[19]  Raymond Reiter,et al.  Scheduling in the situation calculus: A case study , 1997, Annals of Mathematics and Artificial Intelligence.

[20]  Gerhard Lakemeyer,et al.  cc-Golog: Towards More Realistic Logic-Based Robot Controllers , 2000, AAAI/IAAI.