Accurate representation of procedures in restricted scenarios, such as non-standardized scientific experiments, requires precise depiction of constraints. Unfortunately, Domain-specific Language (DSL), as an effective tool to express constraints structurally, often requires case-by-case hand-crafting, necessitating customized, labor-intensive efforts. To overcome this challenge, we introduce the AutoDSL framework to automate DSL-based constraint design across various domains. Utilizing domain specified experimental protocol corpora, AutoDSL optimizes syntactic constraints and abstracts semantic constraints. Quantitative and qualitative analyses of the DSLs designed by AutoDSL across five distinct domains highlight its potential as an auxiliary module for language models, aiming to improve procedural planning and execution.

翻译：在受限场景（如非标准化科学实验）中准确表示过程，需要精确刻画约束条件。然而，领域特定语言（DSL）作为结构化表达约束的有效工具，通常需要针对具体案例进行手工构建，这种定制化工作往往费时费力。为克服这一挑战，我们提出了AutoDSL框架，用于跨领域自动化实现基于DSL的约束设计。该框架利用领域特定的实验规程语料库，优化句法约束并抽象语义约束。通过对AutoDSL在五个不同领域所设计DSL的定量与定性分析，我们证明了其作为语言模型辅助模块的潜力，旨在提升过程规划与执行的性能。