Model-based Workflow for the Automated Generation of PDDL Descriptions

• URL: http://arxiv.org/abs/2408.08145v1
• Date: Thu, 15 Aug 2024 13:29:25 GMT
• Title: Model-based Workflow for the Automated Generation of PDDL Descriptions
• Authors: Hamied Nabizada, Tom Jeleniewski, Felix Gehlhoff, Alexander Fay,
• Abstract summary: This contribution presents a comprehensive workflow for the automated generation of PDDL descriptions from integrated system and product models. The proposed workflow leverages Model-Based Systems Engineering (MBSE) to organize and manage system and product information. It ensures that changes in these models are quickly reflected in updated PDDL descriptions, facilitating efficient and adaptable planning processes.
• Score: 42.956580283193176
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Manually creating Planning Domain Definition Language (PDDL) descriptions is difficult, error-prone, and requires extensive expert knowledge. However, this knowledge is already embedded in engineering models and can be reused. Therefore, this contribution presents a comprehensive workflow for the automated generation of PDDL descriptions from integrated system and product models. The proposed workflow leverages Model-Based Systems Engineering (MBSE) to organize and manage system and product information, translating it automatically into PDDL syntax for planning purposes. By connecting system and product models with planning aspects, it ensures that changes in these models are quickly reflected in updated PDDL descriptions, facilitating efficient and adaptable planning processes. The workflow is validated within a use case from aircraft assembly.

Related papers

• RE-oriented Model Development with LLM Support and Deduction-based Verification [0.0]
  We propose a comprehensive framework that focuses on specific Unified Modelling Language (UML) diagrams for preliminary system development.<n>This framework offers visualisations at various modelling stages and seamlessly integrates large language models and logical reasoning engines.<n>Ultimately, the framework facilitates the automatic generation of program skeletons, streamlining the transition from design to implementation.
  arXiv  Detail & Related papers  (2025-06-10T09:13:58Z)
• Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation [37.00992105646957]
  This paper presents a SysML profile that enables the direct integration of planning semantics based on the Planning Domain Definition Language (PDDL) into system models.<n>Reusable stereotypes are defined for key PDDL concepts such as types, predicates, functions and actions, while formal OCL constraints ensure syntactic consistency.<n>The approach supports automated and model-based generation of planning descriptions and provides a reusable bridge between system modeling and AI planning in engineering design.
  arXiv  Detail & Related papers  (2025-06-07T08:46:14Z)
• Learning to Reason and Navigate: Parameter Efficient Action Planning with Large Language Models [63.765846080050906]
  This paper proposes a novel parameter-efficient action planner using large language models (PEAP-LLM) to generate a single-step instruction at each location.<n>Experiments show the superiority of our proposed model on REVERIE compared to the previous state-of-the-art.
  arXiv  Detail & Related papers  (2025-05-12T12:38:20Z)
• On the Limit of Language Models as Planning Formalizers [4.145422873316857]
  Large Language Models fail to create verifiable plans in grounded environments. An emerging line of work shows success in using LLM as a formalizer to generate a formal representation of the planning domain. We observe that large enough models can effectively formalize descriptions as PDDL, outperforming those directly generating plans.
  arXiv  Detail & Related papers  (2024-12-13T05:50:22Z)
• Control Industrial Automation System with Large Language Models [2.2369578015657954]
  This paper introduces a framework for integrating large language models with industrial automation systems. At the core of the framework are an agent system designed for industrial tasks, a structured prompting method, and an event-driven information modeling mechanism. Our contribution includes a formal system design, proof-of-concept implementation, and a method for generating task-specific datasets.
  arXiv  Detail & Related papers  (2024-09-26T16:19:37Z)
• Automatic Platform Configuration and Software Integration for Software-Defined Vehicles [4.522485108591059]
  This paper introduces a novel approach to automate platform configuration and software integration for software-defined vehicles (SDVs) By leveraging model-based systems engineering (MBSE), our method automatically generates platform configuration and software integration plans. The proposed system enables dynamic and flexible resource allocation while ensuring compliance with safety requirements.
  arXiv  Detail & Related papers  (2024-08-04T19:54:03Z)
• Leveraging Environment Interaction for Automated PDDL Translation and Planning with Large Language Models [7.3238629831871735]
  Large Language Models (LLMs) have shown remarkable performance in various natural language tasks. Planning problems into the Planning Domain Definition Language (PDDL) has been proposed as a potential solution. We propose a novel approach that leverages LLMs and environment feedback to automatically generate PDDL domain and problem description files.
  arXiv  Detail & Related papers  (2024-07-17T19:50:51Z)
• Control and Automation for Industrial Production Storage Zone: Generation of Optimal Route Using Image Processing [49.1574468325115]
  This article focuses on developing an industrial automation method for a zone of a production line model using the DIP. The neo-cascade methodology employed allowed for defining each of the stages in an adequate way, ensuring the inclusion of the relevant methods for its development. The system was based on the OpenCV library; tool focused on artificial vision, which was implemented on an object-oriented programming (OOP) platform based on Java language.
  arXiv  Detail & Related papers  (2024-03-15T06:50:19Z)
• Real-World Planning with PDDL+ and Beyond [55.73913765642435]
  We present Nyx, a novel PDDL+ planner built to emphasize lightness, simplicity, and, most importantly, adaptability. Nyx can be tailored to virtually any potential real-world application requiring some form of AI Planning, paving the way for wider adoption of planning methods for solving real-world problems.
  arXiv  Detail & Related papers  (2024-02-19T07:35:49Z)
• Automated Process Planning Based on a Semantic Capability Model and SMT [50.76251195257306]
  In research of manufacturing systems and autonomous robots, the term capability is used for a machine-interpretable specification of a system function. We present an approach that combines these two topics: starting from a semantic capability model, an AI planning problem is automatically generated.
  arXiv  Detail & Related papers  (2023-12-14T10:37:34Z)
• AutoPlanBench: Automatically generating benchmarks for LLM planners from PDDL [52.005042190810116]
  We present AutoPlanBench, a novel method for automatically converting planning benchmarks written in PDDL into textual descriptions. We show that while the best LLM planners do well on some planning tasks, others remain out of reach of current methods.
  arXiv  Detail & Related papers  (2023-11-16T11:55:27Z)
• Prompt2Model: Generating Deployable Models from Natural Language Instructions [74.19816829003729]
  Large language models (LLMs) enable system builders to create competent NLP systems through prompting. In other ways, LLMs are a step backward from traditional special-purpose NLP models. We propose Prompt2Model, a general-purpose method that takes a natural language task description like the prompts provided to LLMs.
  arXiv  Detail & Related papers  (2023-08-23T17:28:21Z)
• Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning [39.29964085305846]
  Methods that use pre-trained large language models directly as planners are currently impractical due to limited correctness of plans. In this work, we introduce a novel alternative paradigm that constructs an explicit world (domain) model in planning domain definition language (PDDL) and then uses it to plan with sound domain-independent planners.
  arXiv  Detail & Related papers  (2023-05-24T08:59:15Z)
• Towards autonomous system: flexible modular production system enhanced with large language model agents [0.0]
  We present a novel framework that combines large language models (LLMs), digital twins and industrial automation system. We demonstrate how our implemented prototype can handle un-predefined tasks, plan a production process, and execute the operations.
  arXiv  Detail & Related papers  (2023-04-28T09:42:18Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.