在 PDDL 规划中生成实例生成器

PDDL 是人工智能规划社区事实上的标准语言，旨在指定规划域：共享相同谓词和操作模式的实例集。然而，它没有提供任何方法来指定实际的实例集，即对初始状态和目标条件的合法性约束，以及指定我们感兴趣的实例子集的可能的域子集约束。这样做的一个后果是，实例生成始终是临时的，需要手动编写特定于域和子集的实例生成器。最近的工作已经开始通过推理和学习方法来解决这个问题，但这些方法受到可扩展性的限制。在这里，我们介绍一种替代方法，利用大语言模型生成实例生成程序，并通过规定的检查提供内置的健全性保证。我们证明这些自动生成的实例生成器可以有效地返回大量声音和多样化的实例。