research-article

Open access

Evaluating PDDL for programming production cells: a case study

Authors:

Christoph Mayr-Dorn,

Alexander Egyed,

Mario Winterer,

Christian Salomon,

Harald FürschußAuthors Info & Claims

RoSE '22: Proceedings of the 4th International Workshop on Robotics Software Engineering

Pages 17 - 24

https://doi.org/10.1145/3526071.3527519

Published: 02 February 2023 Publication History

Abstract

A unique selling point for cyber-physical production system manufacturers becomes the easy with which machines and cells can be adapted to new products and production processes. Adaptations, however, are often done by domain experts without in-depth programming know-how. We investigate in this paper, the implications of using a planning-based approach for using a domain expert's knowledge to control the sequences of a robot and injection molding machine (IMM). We find that current engineering support is insufficient to address testing, understanding, and change impact assessment concerns during the evolution of a PDDL/HDDL domain specification.

References

[1]

[Authors.]. Supporting Online Material. https://figshare.eom/s/8315f52edb597fb7836a. Accessed: 2021-12-15.

[2]

Masataro Asai and Alex Fukunaga. 2014. Fully Automated Cyclic Planning for Large-Scale Manufacturing Domains. Proceedings of the International Conference on Automated Planning and Scheduling 24, 1 (May 2014), 20--28.

[3]

T. Bolender, G. Burvenich, M. Dalibor, B. Rumpe, and A. Wortmann. 2021. Self-Adaptive Manufacturing with Digital Twins. In 2021 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (SEAMS). IEEE Computer Society, Los Alamitos, CA, USA, 156--166.

[4]

Maria Fox and Derek Long. 2006. Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research 27 (2006), 235--297.

[5]

Christian Fritz. 2016. Automated Process Planning for CNC Machining. AI Magazine 37, 3 (2016).

[6]

Alfonso Gerevini, Alessandro Saetti, and Ivan Serina. 2006. An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events. J. Artif. Int. Res. 25, 1 (feb 2006), 187--231.

[7]

Timon Hoebert, Wilfried Lepuschitz, Markus Vincze, and Munir Merdan. 2021. Knowledge-driven framework for industrial robotic systems. Journal of Intelligent Manufacturing (2021), 1--18.

[8]

Jacob Huckaby, Stavros Vassos, and Henrik I. Christensen. 2013. Planning with a task modeling framework in manufacturing robotics. In 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. 5787--5794.

[9]

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, and Ron Alford. 2020. HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. Proceedings of the AAAI Conference on Artificial Intelligence 34, 06 (Apr. 2020), 9883--9891.

[10]

Zeid Kootbally, Craig Schlenoff, Christopher Lawler, Thomas Kramer, and Satyandra K Gupta. 2015. Towards robust assembly with knowledge representation for the planning domain definition language (PDDL). Robotics and Computer-Integrated Manufacturing 33 (2015), 42--55.

Digital Library

[11]

Drew McDermott, Malik Ghallab, Adele Howe, Craig Knoblock, Ashwin Ram, Manuela Veloso, Daniel Weld, and David Wilkins. 1998. PDDL---The Planning Domain Definition Language. Technical Report CVC TR98003/DCS TR1165. Yale Center for Computational Vision and Control, New Haven, CT.

[12]

Tim Niemueller, Till Hofmann, and Gerhard Lakemeyer. 2018. CLIPS-based execution for PDDL planners. In ICAPS Workshop on Integrated Planning, Acting and Execution (IntEx).

[13]

Damien Pellier and Humbert Fiorino. 2021. Totally and Partially Ordered Hierarchical Planners in PDDL4J Library. In Proceedings of 10th International Planning Competition: Planner and Domain Abstracts - Hierarchical Task Network (HTN) Planning Track (IPC 2020). 17--18.

[14]

Tomas Plch, Miroslav Chomut, Cyril Brom, and Roman Barták. 2012. Inspect, edit and debug PDDL documents: Simply and efficiently with PDDL studio. System Demonstrations and Exhibits at ICAPS (2012), 15--18.

[15]

Jasmine Rimani, Charles Lesire, Stéphanie Lizy-Destrez, and Nicole Viola. 2021. Application of MBSE to model Hierarchical AI Planning problems in HDDL. In 2021 Knowledge Engineering for Planning and Scheduling Workshop at ICAPS'21.

[16]

Antje Rogalla, Alexander Fay, and Oliver Niggemann. 2018. Improved Domain Modeling for Realistic Automated Planning and Scheduling in Discrete Manufacturing. In 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Vol. 1. 464--471.

[17]

Antje Rogalla and Oliver Niggemann. 2017. Automated process planning for cyber-physical production systems. In 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 1--8.

Digital Library

[18]

Enrico Scala, Patrik Haslum, Sylvie Thiebaux, and Miquel Ramirez. 2016. Interval-Based Relaxation for General Numeric Planning. In Proceedings of the Twenty-Second European Conference on Artificial Intelligence (The Hague, The Netherlands) (ECAI'16). IOS Press, NLD, 655--663.

Digital Library

[19]

Fernando Moreira Sette, Tiago Stegun Vaquero, Song Won Park, and Jose Reinaldo Silva. 2008. Are Automated Planners up to Solve Real Problems? IFAC Proceedings Volumes 41, 2 (2008), 15817--15824.

[20]

Volker Strobel and Alexandra Kirsch. 2020. MyPDDL: Tools for Efficiently Creating PDDL Domains and Problems. Springer International Publishing, Cham, 67--90.

[21]

Tiago Stegun Vaquero, Flavio Tonidandel, and José Reinaldo Silva. 2005. The itSIMPLE tool for modeling planning domains. Proceedings of the First Intl. Competition on Knowledge Engineering for AI Planning, Monterey, Califormia, USA (2005).

[22]

Bernhard Wally, Jiří Vyskočil, Petr Novák, Christian Huemer, Radek Šindelář, Petr Kadera, Alexandra Mazak, and Manuel Wimmer. 2019. Production Planning with IEC 62264 and PDDL. In 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), Vol. 1. 492--499.

Cited By

Liu RWan GJiang MChen HZeng P(2024)Autonomous Robot Task Execution in Flexible Manufacturing: Integrating PDDL and Behavior Trees in ARIAC 2023Biomimetics10.3390/biomimetics91006129:10(612)Online publication date: 10-Oct-2024
https://doi.org/10.3390/biomimetics9100612
Nabizada HJeleniewski TGehlhoff FFay A(2024)Model-Based Workflow for the Automated Generation of PDDL Descriptions2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10710982(01-04)Online publication date: 10-Sep-2024
https://doi.org/10.1109/ETFA61755.2024.10710982
Bock JKlausmann TKleinert TKöcher ASimon MWinter M(2024)A Formal Approach to Defining Effects of Manufacturing Functions2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10710847(1-8)Online publication date: 10-Sep-2024
https://doi.org/10.1109/ETFA61755.2024.10710847

Recommendations

Assessing industrial end-user programming of robotic production cells: A controlled experiment
Abstract
Adapting the behavior of robots and their interaction with other machines on the shop floor is typically accomplished by non-programmers. Often these non-programmers use visual languages to specify the robot’s and/or machine’s control ...
Highlights
- We compare Blockly and a Sequential Function Chart-based visual language.
- ...
Analysing the PDDL language for argumentation-based negotiation planning
ICCSA'12: Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III

In this paper, we explore the usage of the well-known Planning Domain Description Language (PDDL) to model the argumentation-based negotiation planning. Particularly, we analyse how to define a problem planning for argumentation plan generation by using ...
On modeling planning problems in tabled logic programming
PPDP '15: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming

Current research in planning focuses mainly on so called domain independent models using the Planning Domain Description Language (PDDL) as the domain modeling language. This declarative modeling approach embraces the idea of a physics-only model ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

RoSE '22: Proceedings of the 4th International Workshop on Robotics Software Engineering

May 2022

71 pages

ISBN:9781450393171

DOI:10.1145/3526071

Conference Chairs:
Andreas Angerer
XITASO GmbH, Germany
,
Federico Ciccozzi
Mälardalen University, Västerås, Sweden
,
Ivano Malavolta
Vrije Universiteit Amsterdam, The Netherlands
,
Andreas Wortmann
University of Stuttgart, Germany

Copyright © 2022 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

In-Cooperation

IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 February 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

FFG

Conference

ICSE '22

Sponsor:

SIGSOFT

ICSE '22: 44th International Conference on Software Engineering

May 9, 2022

Pennsylvania, Pittsburgh

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
270
Total Downloads

Downloads (Last 12 months)146
Downloads (Last 6 weeks)11

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Liu RWan GJiang MChen HZeng P(2024)Autonomous Robot Task Execution in Flexible Manufacturing: Integrating PDDL and Behavior Trees in ARIAC 2023Biomimetics10.3390/biomimetics91006129:10(612)Online publication date: 10-Oct-2024
https://doi.org/10.3390/biomimetics9100612
Nabizada HJeleniewski TGehlhoff FFay A(2024)Model-Based Workflow for the Automated Generation of PDDL Descriptions2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10710982(01-04)Online publication date: 10-Sep-2024
https://doi.org/10.1109/ETFA61755.2024.10710982
Bock JKlausmann TKleinert TKöcher ASimon MWinter M(2024)A Formal Approach to Defining Effects of Manufacturing Functions2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA61755.2024.10710847(1-8)Online publication date: 10-Sep-2024
https://doi.org/10.1109/ETFA61755.2024.10710847
Zhou YZhu SSong WGu JRen JXi XJin TMu Z(2022)Robot Planning based on Behavior Tree and Knowledge Graph2022 IEEE International Conference on Robotics and Biomimetics (ROBIO)10.1109/ROBIO55434.2022.10011944(827-832)Online publication date: 5-Dec-2022
https://doi.org/10.1109/ROBIO55434.2022.10011944

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents