arXiv:2604.26522cs.AIcs.LG2026-04中稿 · IntelliSys 2026

让智能体通过符号与神经结合,实现更可靠的组合泛化能力。

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents

论文配图:AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
图 1 · 摘自论文原文
  • 用动态因果程序图建模世界,显式表达因果关系
  • 交互中自动生成逻辑规则,提升符号知识的可解释性
  • 适合需要可靠推理和组合泛化的交互式智能体研究

基于大语言模型(LLM)的智能体在组合泛化方面存在系统性缺陷,限制了其在交互环境中的鲁棒性。本文提出AGEL-Comp,一种神经符号架构,通过显式地对齐动作与符号知识来解决此问题。该框架包含三项核心创新:(1) 动态因果程序图(CPG),以有向超图形式表示过程性与因果知识;(2) 归纳逻辑编程(ILP)引擎,从经验反馈中合成新命题,通过交互实现符号知识的落地;(3) 混合推理核心,由LLM提出候选子目标,再由神经定理证明器(NTP)验证逻辑一致性。三者共同构成“演绎-溯因”学习循环:既能推导计划,又能溯因扩展符号世界模型,同时通过神经适应阶段保持推理与新知识的一致性。我们在 exttt{Retro Quest} 模拟环境中设计评估协议,专门测试组合泛化场景。实验结果表明,AGEL-Comp显著优于纯LLM模型,为构建显式、可解释、组合结构化的世界理解提供了可遵循路径。

原文摘要 · Abstract (English)

Large Language Model (LLM)-based agents exhibit systemic failures in compositional generalization, limiting their robustness in interactive environments. This work introduces AGEL-Comp, a neuro-symbolic AI agent architecture designed to address this challenge by grounding actions of the agent. AGEL-Comp integrates three core innovations: (1) a dynamic Causal Program Graph (CPG) as a world model, representing procedural and causal knowledge as a directed hypergraph; (2) an Inductive Logic Programming (ILP) engine that synthesizes new Horn clauses from experiential feedback, grounding symbolic knowledge through interaction; and (3) a hybrid reasoning core where an LLM proposes a set of candidate sub-goals that are verified for logical consistency by a Neural Theorem Prover (NTP). Together, these components operationalize a deduction--abduction learning cycle: enabling the agent to deduce plans and abductively expand its symbolic world model, while a neural adaptation phase keeps its reasoning engine aligned with new knowledge. We propose an evaluation protocol within the \texttt{Retro Quest} simulation environment to probe for compositional generalization scenarios to evaluate our AGEL agent. Our findings clearly indicate the better performance of our AGEL model over pure LLM-based models. Our framework presents a principled path toward agents that build an explicit, interpretable, and compositionally structured understanding of their world.

神经符号组合泛化智能体因果建模

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