Feb, 2024
TIC：使用 LLMs 和逻辑中间表示进行准确的‘文本到计划’的翻译 - 推断 - 编译
TIC: Translate-Infer-Compile for accurate 'text to plan' using LLMs and logical intermediate representations
Sudhir Agarwal, Anu Sreepathy
TL;DR我们研究了生成给定自然语言规划任务请求的计划的问题。我们利用了自然语言处理和经典规划工具的优势通过使用 LLM 生成规划任务请求的 PDDL 表示，并使用经典规划器计算计划。我们的方法包括使用 LLM 生成自然语言任务描述的逻辑可解释中间表示，使用逻辑推理器推导出附加的逻辑依赖信息，以及从基础和推导得出的信息生成目标任务 PDDL。我们观察到，仅使用 LLM 输出中间表示显著减少了 LLM 的错误。因此，在我们的评估数据集的所有七个领域中，TIC 方法至少对一个 LLM 在任务 PDDL 生成方面具有高准确性。