Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League

Production processes in smart factories moved away from a process-centered paradigm into a modular production paradigm, facing the variations in demanded product configurations and deadlines with a flexible production. The RoboCup Logistics League (RCLL) is a robotics competition in the context of in-factory logistics, in which a team of three autonomous mobile robots manufacture dynamically ordered products. The main challenges include task reasoning, multi-agent coordination, and robust execution in a dynamic environment. We present a multi-agent goal reasoning approach where agents continuously reason about which objectives to pursue rather than only planning for a fixed objective. We describe an incremental, distributed formulation of the RCLL problem implemented in the goal reasoning system CLIPS Executive. We elaborate what kind of goals we use in the RCLL, how we use goal trees to define an effective production strategy and how agents coordinate effectively by means of primitive lock actions as well as goal-level resource allocation. The system utilizes a PDDL model to describe domain predicates and actions, as well as to determine the executability and effects of actions during execution. Our agent is able to react to unexpected events, such as a broken machine or a failed action, by monitoring the execution of the plan, re-evaluating goals, and taking over goals which were previously pursued by another robot. We present a detailed evaluation of the system used on real robots.

[1]  David W. Aha,et al.  Goal Reasoning: Foundations, Emerging Applications, and Prospects , 2018, AI Mag..

[2]  Alexander Ferrein,et al.  Cyber-Physical System Intelligence , 2017 .

[3]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[4]  Alexander Ferrein,et al.  Improvements for a Robust Production in the RoboCup Logistics League 2016 , 2016, RoboCup.

[5]  T. Niemueller,et al.  Planning Competition for Logistics Robots in Simulation , 2016 .

[6]  David W. Aha,et al.  ActorSim, A Toolkit for Studying Cross-Disciplinary Challenges in Autonomy , 2016, AAAI Fall Symposia.

[7]  Tim Niemüller,et al.  Knowledge-Based Instrumentation and Control for Competitive Industry-Inspired Robotic Domains , 2016, KI - Künstliche Intelligenz.

[8]  Hiroaki Kitano,et al.  RoboCup: The Robot World Cup Initiative , 1997, AGENTS '97.

[9]  Stefanie Tellex,et al.  Goal-Based Action Priors , 2015, ICAPS.

[10]  Andrew Coles,et al.  Forward-Chaining Partial-Order Planning , 2010, ICAPS.

[11]  Dana S. Nau,et al.  A hierarchical goal-based formalism and algorithm for single-agent planning , 2012, AAMAS.

[12]  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.

[13]  Alexander Ferrein,et al.  A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao , 2009, RoboCup.

[14]  Bernhard Nebel,et al.  Efficient Auction Based Coordination for Distributed Multi-agent Planning in Temporal Domains Using Resource Abstraction , 2018, KI.

[15]  Gerhard Lakemeyer,et al.  Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics , 2018, Information Systems Frontiers.

[16]  Martin Gebser,et al.  Multi-shot ASP solving with clingo , 2017, Theory and Practice of Logic Programming.

[17]  Alexander Ferrein,et al.  Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017 , 2017, RoboCup.

[18]  Gerhard Lakemeyer,et al.  CLIPS-based Execution for PDDL Planners , 2018 .

[19]  Gerhard Lakemeyer,et al.  ASP-Based Time-Bounded Planning for Logistics Robots , 2018, ICAPS.

[20]  Alexander Ferrein,et al.  Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario , 2013, AAAI Spring Symposium: Designing Intelligent Robots.

[21]  Gerald Steinbauer,et al.  A Robust and Flexible System Architecture for Facing the RoboCup Logistics League Challenge , 2018, RoboCup.

[22]  David W. Aha,et al.  Goal reasoning for autonomous underwater vehicles: Responding to unexpected agents , 2018, AI Commun..

[23]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[24]  David W. Aha,et al.  Iterative Goal Refinement for Robotics , 2014 .

[25]  Natàlia Hurtós,et al.  ROSPlan: Planning in the Robot Operating System , 2015, ICAPS.

[26]  David W. Aha,et al.  Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing , 2016, IJCAI.

[27]  Zina M. Ibrahim,et al.  The International Florida Artificial Intelligence Research Society Conference , 2014 .

[28]  G. Lakemeyer,et al.  The RoboCup Logistics League as a Benchmark for Planning in Robotics , 2015 .

[29]  David W. Aha,et al.  Coordinating Robot Teams for Disaster Relief , 2015, FLAIRS.

[30]  Gerhard Lakemeyer,et al.  Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution , 2019, ICAPS.