将AI规划语言嵌入系统模型，自动生成可执行的规划文件。
Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
- 在SysML中定义PDDL语义的可复用模板，支持规划建模
- 案例显示机器人系统可自动生成领域与问题描述文件
- 适合从事智能系统设计的工程师快速衔接建模与规划
本文提出一种SysML模型配置文件，可将基于规划域定义语言（PDDL）的规划语义直接集成到系统模型中。为类型、谓词、函数和动作等关键PDDL概念定义了可复用的构造型，并通过形式化OCL约束保证语法一致性。该配置文件基于PDDL 3.1的巴科斯-诺尔范式（BNF）定义，与SysML建模实践对齐。以飞机制造为例进行案例研究：对具有可互换末端执行器的机器人系统建模并扩展，生成符合PDDL格式的领域与问题描述文件。这些文件作为输入提供给PDDL求解器，用于推导优化执行计划。该方法实现了规划描述的自动化与基于模型的生成，为工程设计中的系统建模与AI规划提供了可复用的桥梁。
原文摘要 · Abstract (English)
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. Reusable stereotypes are defined for key PDDL concepts such as types, predicates, functions and actions, while formal OCL constraints ensure syntactic consistency. The profile was derived from the Backus-Naur Form (BNF) definition of PDDL 3.1 to align with SysML modeling practices. A case study from aircraft manufacturing demonstrates the application of the profile: a robotic system with interchangeable end effectors is modeled and enriched to generate both domain and problem descriptions in PDDL format. These are used as input to a PDDL solver to derive optimized execution plans. 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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。