AGEL-Comp: 交互式智能体中组合泛化的神经符号框架
TLDR
AGEL-Comp是一种神经符号智能体架构,利用因果程序图世界模型和归纳逻辑编程,实现交互环境中的组合泛化。
评分理由
The paper presents a novel integration of symbolic world models with LLM reasoning, addressing compositional generalization with a clear evaluation in a simulation environment. However, it lacks real-world validation and may face scalability challenges with complex domains.
Read-first 评分解释
综合优先阅读分 41.3,由主题、引用、图谱、方法、可复现性和近期性等信号加权得到。 原始总分保留为 26。
研究版图角色
前沿论文桥接论文
排序敏感性
稳定性:volatile;排名波动范围:211。
关键词评分
深度分析
创新点
- 动态因果程序图(CPG)作为世界模型,将程序性和因果知识表示为有向超图
- 归纳逻辑编程(ILP)引擎,从经验反馈中综合新的Horn子句
- 混合推理核心,其中LLM提出候选子目标,由神经定理证明器(NTP)验证逻辑一致性
方法
AGEL-Comp 集成了一个动态因果程序图(CPG)作为世界模型、一个从反馈中综合Horn子句的归纳逻辑编程(ILP)引擎,以及一个结合LLM进行子目标提议与神经定理证明器(NTP)进行逻辑验证的混合推理核心。这些组件运行在一个演绎-溯因学习循环中,使智能体能够演绎计划并溯因地扩展其符号世界模型,同时神经适应阶段使其推理引擎与新知识保持一致。该框架在Retro Quest模拟环境中使用专门设计用于探测组合泛化场景的协议进行评估。
关键结果
在Retro Quest模拟环境的组合泛化场景中,AGEL-Comp模型表现出优于纯LLM模型的性能。