Planning with a task modeling framework in manufacturing robotics

In this paper we present the idea that by using AI planning in concert with formal task modeling, the overhead associated with plan creation for complex tasks can be reduced. The proposed approach uses a SysML taxonomy to model the system capabilities and the process specification, and the PDDL planning language to determine acceptable objective solutions. This idea is applied to the manufacturing domain, and examples are shown modeling a multi-robot system in an automobile manufacturing environment. A discussion is given regarding the merits of the demonstrated approach.

[1]  Satyandra K. Gupta,et al.  An industrial robotic knowledge representation for kit building applications , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[2]  Michael A. Arbib,et al.  A formal model of computation for sensory-based robotics , 1989, IEEE Trans. Robotics Autom..

[3]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[4]  Bruce A. MacDonald,et al.  Generalizing topological task graphs from multiple symbolic demonstrations in programming by demonstration (PbD) processes , 2011, 2011 IEEE International Conference on Robotics and Automation.

[5]  Andrew Coles,et al.  Temporal Planning with Preferences and Time-Dependent Continuous Costs , 2012, ICAPS.

[6]  Hadas Kress-Gazit,et al.  LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[7]  Leslie Pack Kaelbling,et al.  Hierarchical Planning in the Now , 2010, Bridging the Gap Between Task and Motion Planning.

[8]  Jan Rosell,et al.  Assembly and task planning using Petri nets: A survey , 2004 .

[9]  Nicholas Roy,et al.  The Motion Grammar: Linguistic Perception, Planning, and Control , 2012 .

[10]  Mike Stilman,et al.  The Motion Grammar: Linguistic Perception, Planning, and Control , 2011, Robotics: Science and Systems.

[11]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[12]  Arthur C. Sanderson,et al.  AND/OR graph representation of assembly plans , 1986, IEEE Trans. Robotics Autom..

[13]  Henrik I. Christensen,et al.  A Taxonomic Framework for Task Modeling and Knowledge Transfer in Manufacturing Robotics , 2012, CogRob@AAAI.

[14]  Ruzena Bajcsy,et al.  Discrete Event Systems for autonomous mobile agents , 1994, Robotics Auton. Syst..

[15]  Jun Nakanishi,et al.  Nonlinear dynamical systems for imitation with humanoid robots , 2001 .

[16]  Alfonso Gerevini,et al.  Preferences and soft constraints in PDDL3 , 2006 .

[17]  Leslie Pack Kaelbling,et al.  Hierarchical task and motion planning in the now , 2011, 2011 IEEE International Conference on Robotics and Automation.

[18]  Mark Steedman,et al.  Object-Action Complexes: Grounded abstractions of sensory-motor processes , 2011, Robotics Auton. Syst..

[19]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[20]  Ufuk Topcu,et al.  Correct, Reactive, High-Level Robot Control , 2011, IEEE Robotics & Automation Magazine.