arXiv:2501.00830v2 宣告类型: replace-cross 摘要：大型语言模型（LLMs）在各种智能任务中取得了显著进展，但在需要系统搜索的复杂动作推理任务中仍然存在问题。为了解决这一限制，我们提出了一种方法，将LLMs的自然语言理解能力与行动语言的符号推理优势相结合。我们的方法称为“LLM+AL”，利用LLMs在语义解析和常识知识生成方面的优势，以及行动语言在基于编码知识的自动推理方面的专长。我们使用针对复杂动作推理的基准测试将LLM+AL与最新的LLMs，包括ChatGPT-4、Claude 3 Opus、Gemini Ultra 1.0和o1-preview进行比较。我们的研究发现，尽管所有方法都存在错误，但LLM+AL即使在少量人工修正的情况下也能始终给出正确的答案，而在没有人工反馈的情况下，独立的LLMs也无法改进。LLM+AL还为行动语言的自动化生成做出了贡献。