arXiv:2508.13371cs.AI2025-08

让神经网络与符号系统反复对话,提升自主系统规划的可靠性。

LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems

  • 神经与符号组件迭代对话,动态优化计划生成
  • 在6个标准任务中成功率达85.8%,远超现有方法
  • 适合需高可靠性的自动驾驶、机器人等真实场景

规划是自主系统中最关键的任务之一,微小错误可能导致重大失败或数百万美元损失。当前最先进的神经规划方法在复杂领域中表现不佳,常产生缺少前置条件、目标不一致或幻觉的计划。经典规划器虽具逻辑保障,却缺乏现代系统所需的灵活性和自然语言理解能力。现有神经符号方法采用一次性的自然语言到形式计划的转换,未能实现神经与符号组件的协同演进。为此,我们提出LOOP——一种新型神经符号规划框架,将规划视为神经与符号组件之间的迭代对话,而非简单翻译。LOOP整合了13项协同神经模块,包括用于空间关系的图神经网络、基于共识的多智能体验证、用于复杂任务管理的层次分解,以及从成功与失败中学习的因果记忆。与现有方法不同,LOOP生成PDDL规范,并根据符号反馈迭代优化,同时从执行轨迹构建因果知识库。在六个标准IPC基准领域评估中,其成功率高达85.8%,显著优于LLM+P(55.0%)、LLM-as-Planner(19.2%)和Tree-of-Thoughts(3.3%)。该研究证明,可靠规划的关键不在于选择神经网络或符号推理,而在于让二者在整个过程中真正‘对话’。LOOP为构建可信赖的真实世界自主系统提供了完整蓝图。

原文摘要 · Abstract (English)

Planning is one of the most critical tasks in autonomous systems, where even a small error can lead to major failures or million-dollar losses. Current state-of-the-art neural planning approaches struggle with complex domains, producing plans with missing preconditions, inconsistent goals, and hallucinations. While classical planners provide logical guarantees, they lack the flexibility and natural language understanding capabilities needed for modern autonomous systems. Existing neuro-symbolic approaches use one-shot translation from natural language to formal plans, missing the opportunity for neural and symbolic components to work and refine solutions together. To address this gap, we develop LOOP -- a novel neuro-symbolic planning framework that treats planning as an iterative conversation between neural and symbolic components rather than simple translation. LOOP integrates 13 coordinated neural features including graph neural networks for spatial relationships, multi-agent validation for consensus-based correctness, hierarchical decomposition for complex task management, and causal memory that learns from both successes and failures. Unlike existing approaches, LOOP generates PDDL specifications, refines them iteratively based on symbolic feedback, and builds a causal knowledge base from execution traces. LOOP was evaluated on six standard IPC benchmark domains, where it achieved 85.8% success rate compared to LLM+P (55.0%), LLM-as-Planner (19.2%), and Tree-of-Thoughts (3.3%). This work shows that the key to reliable planning is not in choosing between neural networks or symbolic reasoners but it lies in making them actually ``talk'' to each other during the entire process. LOOP provides a thorough blueprint for building autonomous systems that can finally be trusted with critical real-world applications.

自主系统神经符号规划可靠性

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。