用大型语言模型生成Prolog规划器
2025-04-02
本文探讨了将大型语言模型（LLM）与Prolog结合用于自动化规划的潜力。研究发现，LLM更擅长将自然语言翻译成Prolog代码，而不是直接进行规划。通过将问题描述翻译成Prolog代码，然后利用Prolog强大的组合搜索能力进行规划，可以有效解决规划问题。研究者提出了一种基于LLM生成Prolog规划器的框架，并提供了一个详细的提示工程指南，用于指导LLM生成状态事实、动作谓词和检查谓词。该方法避免了LLM在直接规划中存在的局限性，并利用了Prolog在逻辑推理和组合搜索方面的优势。
阅读更多
开发
自动化规划