Towards robust assembly with knowledge representation for the planning domain definition language (PDDL)

The effort described in this paper attempts to integrate agility aspects in the "Agility Performance of Robotic Systems" (APRS) project, developed at the National Institute of Standards and Technology (NIST). The new technical idea for the APRS project is to develop the measurement science in the form of an integrated agility framework enabling manufacturers to assess and assure the agility performance of their robot systems. This framework includes robot agility performance metrics, information models, test methods, and protocols. This paper presents models for the Planning Domain Definition Language (PDDL), used within the APRS project. PDDL is an attempt to standardize Artificial Intelligence planning languages. The described models have been fully defined in the XML Schema Definition Language (XSDL) and in the Web Ontology Language (OWL) for kit building applications. Kit building or kitting is a process that brings parts that will be used in assembly operations together in a kit and then moves the kit to the area where the parts are used in the final assembly. Furthermore, the paper discusses a tool that is capable of automatically and dynamically generating PDDL files from the models in order to generate a plan or to replan from scratch. Finally, the ability of the tool to update a PDDL problem file from a relational database for replanning to recover from failures is presented. HighlightsModels for PDDL structure.Tool for automatic and dynamic generation of PDDL files.Tool for update of PDDL problem file from a dynamic relational database.Knowledge methodology/model allows agility, flexibility, and rapid re-tasking during failures.

[1]  Andrew Kusiak,et al.  Design for agile assembly: An operational perspective , 1997 .

[2]  Ivan Serina,et al.  Plan Stability: Replanning versus Plan Repair , 2006, ICAPS.

[3]  Drew McDermott,et al.  The 1998 AI Planning Systems Competition , 2000, AI Mag..

[4]  Stephen Balakirsky,et al.  Metrics and test methods for industrial kit building , 2013 .

[5]  D. Upton The Management of Manufacturing Flexibility , 1994 .

[6]  Bernd Kuhlenkötter,et al.  A modular and extensible framework for real and virtual bin-picking environments , 2012, 2012 IEEE International Conference on Robotics and Automation.

[7]  Ivan Serina,et al.  An approach to efficient planning with numerical fluents and multi-criteria plan quality , 2008, Artif. Intell..

[8]  Satyandra K. Gupta,et al.  Knowledge driven robotics for kitting applications , 2013, Robotics Auton. Syst..

[9]  Brian Fitzgerald,et al.  Toward a conceptual framework of agile methods: a study of agility in different disciplines , 2004, WISER '04.

[10]  Paulo Leitão,et al.  An agile and adaptive holonic architecture for manufacturing control , 2004 .

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

[12]  Roger Jianxin Jiao,et al.  Generic Bill-of-Materials-and-Operations for High-Variety Production Management , 2000, Concurr. Eng. Res. Appl..

[13]  Kenneth Preiss,et al.  Agile manufacturing , 1994, Comput. Aided Des..

[14]  Per Lindberg,et al.  Strategic Manufacturing Management: A Proactive Approach , 1990 .

[15]  Ashok Kumar,et al.  Neural Networks for Fast Estimation of Social Network Centrality Measures , 2015 .

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

[17]  Hossein Sharifi,et al.  A methodology for achieving agility in manufacturing organisations : An introduction , 1999 .

[18]  Raj Madhavan,et al.  Functional requirements of a model for kitting plans , 2012, PerMIS.

[19]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[20]  Leon F. McGinnis,et al.  Kitting versus line stocking: A conceptual framework and a descriptive model☆ , 1992 .

[21]  Mark Strathern,et al.  Workforce agility: the new employee strategy for the knowledge economy , 2002, J. Inf. Technol..

[22]  Stephen Balakirsky,et al.  An Ontology Based Approach to Action Verification for Agile Manufacturing , 2014, RiTA.

[23]  Lars Medbo,et al.  Assembly work execution and materials kit functionality in parallel flow assembly systems , 2003 .

[24]  Oskar Carlsson,et al.  Kitting in a High Variation Assembly Line A case study at Caterpillar BCP-E , 2008 .

[25]  George Chryssolouris,et al.  Manufacturing Systems: Theory and Practice , 1992 .

[26]  T. Dell'oro Strategic manufacturing management , 1996 .

[27]  A. Gunasekaran,et al.  Agile manufacturing: The drivers, concepts and attributes , 1999 .

[28]  Barış Tan,et al.  Agile manufacturing and management of variability , 1998 .

[29]  John J. Kanet,et al.  Application of information technology to a virtual enterprise broker: The case of Bill Epstein , 1999 .

[30]  Lynne E. Parker,et al.  Fault-Tolerance Based Metrics for Evaluating System Performance in Multi-Robot Teams , 2006 .

[31]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[32]  Hyun Myung,et al.  Robot Intelligence Technology and Applications 2012 , 2013 .

[33]  Bjarne Stroustrup,et al.  The C++ Programming Language: Special Edition , 2000 .

[34]  Shahram Payandeh,et al.  Modeling and analysis of flexible fixturing systems for agile manufacturing , 1996, 1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929).

[35]  Stephen Balakirsky,et al.  Performance evaluation of knowledge-based kitting via simulation , 2013, 2013 IEEE International Conference on Automation Science and Engineering (CASE).

[36]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[37]  Simon Winkelbach,et al.  RANSAM for Industrial Bin-Picking , 2010, ISR/ROBOTIK.

[38]  James S. Albus,et al.  4-D/RCS reference model architecture for unmanned ground vehicles , 1999, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[39]  Angappa Gunasekaran,et al.  AGILE MANUFACTURING: ENABLERS AND AN IMPLEMENTATION FRAMEWORK , 1998 .

[40]  Priscilla Walmsley,et al.  Definitive XML Schema , 2001 .

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