Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions

In this paper, we are concerned with making the execution of abstract action plans for robotic agents more robust. To this end, we propose to model the internals of a robot system and its ties to the actions that the robot can perform. Based onaction plans for robotic agents more robust. To this end, we propose to model the internals of a robot system and its ties to the actions that the robot can perform. Based on these models, we propose an online transformation of an abstract plan into executable actions conforming with system specifics. With our framework, we aim to achieve two goals. First, modeling the system internals is beneficial in its own right in order to achieve long term autonomy, system transparency, and comprehensibility. Second, separating the system details from determining the course of action on an abstract level leverages the use of planning for actual robotic

[1]  Moritz Tenorth,et al.  RoboEarth - A World Wide Web for Robots , 2011, ICRA 2011.

[2]  Mark Abramson,et al.  Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.

[3]  Alberto Finzi,et al.  Representing Flexible Temporal Behaviors in the Situation Calculus , 2005, IJCAI.

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

[5]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[6]  Alessandro Saffiotti,et al.  Planning Domain + Execution Semantics: A Way Towards Robust Execution? , 2014, AAAI Spring Symposia.

[7]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

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

[9]  Joachim Hertzberg,et al.  Online task merging with a hierarchical hybrid task planner for mobile service robots , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[10]  Alfredo Gabaldon,et al.  Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus , 2003, IJCAI.

[11]  Pedro U. Lima,et al.  Petri Net Plans , 2011, Autonomous Agents and Multi-Agent Systems.

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

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

[14]  Roman Barták,et al.  Planning and Acting with Temporal and Hierarchical Decomposition Models , 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.

[15]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[16]  Edward A. Lee,et al.  Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[17]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[18]  Federico Pecora,et al.  A robot sets a table: a case for hybrid reasoning with different types of knowledge , 2016, J. Exp. Theor. Artif. Intell..

[19]  Thomas A. Henzinger,et al.  The benefits of relaxing punctuality , 1991, PODC '91.

[20]  François Keith,et al.  From discrete mission schedule to continuous implicit trajectory using optimal time warping , 2009, ICAPS 2009.

[21]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[22]  Nicola Muscettola,et al.  Fast Transformation of Temporal Plans for Efficient Execution , 1998, AAAI/IAAI.

[23]  Itay Meiri,et al.  Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..

[24]  Félix Ingrand,et al.  Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.

[25]  Luca Iocchi,et al.  RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots , 2009 .

[26]  Gerhard Lakemeyer,et al.  ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.

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

[28]  Michael Beetz,et al.  Towards semantic robot description languages , 2011, 2011 IEEE International Conference on Robotics and Automation.

[29]  Nicola Muscettola,et al.  Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.