arXiv:2504.04578v1 机器类型: 新 摘要: 大型语言模型（LLMs）在机器人规划方面展现出了潜力，但在应对长期任务和复杂任务时经常遇到困难，尤其是在需要外部知识的专门环境中表现尤为不足。虽然层级规划和检索增强生成（RAG）能够解决一些这些问题，但它们单独使用时仍然不够充分，需要更深入的整合以实现更可靠的系统。为了实现这一目标，我们提出了一种神经符号方法，该方法通过基于知识图谱的RAG增强基于LLMs的规划者，用于层级计划生成。该方法将复杂任务分解为可管理的子任务，并进一步扩展为可执行的基本操作序列。为了确保形式上的正确性和合适的分解，我们整合了一个符号验证器，该验证器还作为故障检测器，通过对接预期和观察到的世界状态。我们的基线方法评估表明，在不同复杂性和不同LLMs的任务中，通过整合层级规划、符号验证和RAG可以获得一致的显著优势。此外，我们的实验设置和新颖的评估指标不仅验证了我们方法在复杂规划方面的有效性，还能作为评估LLMs的推理和组合能力的工具。