ABot-AgentOS:具备终身多模态记忆的通用机器人智能体操作系统 ABot-AgentOS: A General Robotic Agent OS with Lifelong Multi-modal Memory
机器人智能体操作系统,融合分层推理、源接地图记忆与失败驱动的终身自演化
前置知识
VLM / VLA(视觉语言模型 / 视觉-语言-动作模型)
VLM 把图像与文本映射到统一语义空间实现跨模态理解;VLA 在 VLM 之上再接一个动作头,把视觉观察与语言指令直接解码为机器人运动或操作指令。它们赋予机器人语言理解、场景感知、导航与动作预测能力,是当前具身智能的基础范式。
本文的 Agent OS 正是建立在 VLM/VLA 之上,需要先理解它做的是“底层感知-动作”层,而论文要解决的是它之上的“推理-执行-记忆”层。
ReAct(Reasoning + Acting)
ReAct 让大模型把“思考(Thought)”与“行动(Action)”交错进行:先推理下一步做什么,再调用工具或观察环境反馈,再据此继续推理。它把推理与外部工具调用耦合成一个闭环循环,是构建 LLM 智能体的经典范式。
论文的 Agent Harness 在 ReAct 基础上增加了 Verification-aware 机制与分层 Skill Runner,理解 ReAct 才能看清它的改进点。
具身智能体(Embodied Agent)
指在物理或仿真世界中通过传感器观察、通过执行器行动并完成多步任务的智能体。与纯软件 agent 不同,它面临部分可观测性、动作不确定性、完成信号模糊、需要验证动作是否真正改变了世界等额外约束。
全文围绕“长时序具身任务”展开,理解具身场景的这些特殊性(无明确完成信号、需要验证)是理解论文动机与方法的关键。
图记忆(Graph Memory)
把长期经验组织成有类型的图 $G=(V,E)$,节点 $v$ 表示实体或证据单元,边 $e$ 表示时间、语义、空间、身份、交互或来源关系。与对文本块做检索(RAG)不同,它能先定位种子节点再扩展出局部证据子图,支持身份、时间、地点的结构化推理。
论文的核心创新 Universal Multi-modal Graph Memory 就是图记忆,理解它和普通向量检索的区别才能理解其效果来源。
LLM-as-a-Judge
指用大语言模型作为打分器或裁判,按给定评分细则对生成结果、轨迹或回答进行评估和奖励。它把“人工标注”自动化,广泛用于 RLHF、奖励建模与评测,但也存在打分错误、漏看证据、误用细则等可靠性问题。
论文训练流水线用 LLM-as-a-Judge 作为奖励引擎,并专门设计了 Meta-Judge 来校验其可靠性,是方法链路的重要一环。
检索增强生成(RAG)
RAG 在生成前先从外部知识库检索相关文档片段拼进提示,以缓解模型参数化记忆的局限与幻觉。传统 RAG 多基于语义相似度对独立文本块检索,返回的是相互孤立的片段。
论文的图记忆是对传统文本 RAG 的升级,强调“种子节点 + 类型化图邻域扩展”,需要先理解 RAG 才能看出新颖性。
研究动机
近年 VLM 与 VLA 系统显著提升了机器人的场景感知与动作预测能力,但要让长时序具身智能体真正落地,仍存在三道未被填平的鸿沟。第一是推理-执行鸿沟:很多基于基础模型的机器人系统把模型输出直接映射成动作,或依赖单体式流水线,缺少一个中间智能体层来负责任务分解、工具调用、技能委派、验证、错误恢复与多步逻辑推理;模型可能在语言层面“以为任务在推进”,实际却原地打转、反复碰撞而毫无完成信号。第二是具身泛化鸿沟:现有机器人智能体系统往往与特定硬件、控制 API 或环境假设紧耦合,跨本体迁移成本高昂。第三是持久具身记忆鸿沟:短期缓冲区、纯文本缓存或任务专属记忆模块,无法可靠地把多模态、关系化、带来源证据的经验跨长期交互保存下来。此外评测也是空白:现有基准要么只在室内、要么只在室外,任务同质化、缺乏动态事件,无法评测需要执行多场景、含社交交互与动态重规划的智能体。
本文的目标是本文目标是设计一套通用机器人智能体操作系统 ABot-AgentOS,在底层控制器之上提供一个可复用、可审慎推理的智能体层,统一支撑场景条件化规划、上下文隔离的技能执行、多阶段验证、多模态记忆与端云协同。它不替换现有控制栈,而是把多模态感知、记忆、推理、规划与技能执行串成统一运行时,并通过插件式技能接入让人形、四足、移动操作臂等异构本体复用同一套高层推理逻辑。其次目标是建立一套可执行评测体系 EmbodiedWorldBench,覆盖室内、室外、混合共 16 个场景、4 个难度等级、超 200 个任务,联合测试导航、目标搜索、NPC 对话、动态事件响应与轨迹接地打分。第三个目标是构建一套带来源、可审计、可终身演化的多模态图记忆,把对话、视觉观察、空间上下文、时间关系与任务轨迹转化为类型化节点和边,并通过失败驱动的自演化闭环持续改进记忆写入、检索、证据选择与回答合成等流水线环节。
与已有工作不同的是,本文的独特切入点在于把三条原本各自孤立的研究线索缝合进一个连贯的 OS:第一条是受双系统理论启发的机器人基础模型(Galaxea G0、Hi Robot、RoboBrain 等)——它们擅长感知到动作的映射但往往绑定特定模型栈或本体;第二条是通用 agent 研究(ReAct、Toolformer、SWE-agent、Claude computer use 等)——它们展示了显式推理、工具使用与可执行工作流,但缺少物理执行所需的验证与恢复;第三条是长期记忆研究(MemoryBank、MemGPT、Mem0)——它们证明记忆不应只靠当前提示或参数记忆,却无法承载具身所需的视觉证据、身份、地点、时间、空间关系与任务轨迹的绑定。ABot-AgentOS 的差异在于:(1) 把“推理-技能执行-验证”三者角色显式分离,而非塞进单一控制器;(2) 用类型化、源接地的图记忆取代孤立文本块检索;(3) 提出 split-wise 的失败驱动自演化协议,明确禁止当前 split 产生的 evo-asset 用在自身评测上,从机制上杜绝真值泄漏,使自演化成为累积式终身过程而非一次性事后修补。
核心方法
ABot-AgentOS 的整体思路是“在底层控制器之上架一层可审慎推理的智能体 OS”。直觉上,它把机器人当成一个会思考、会用工具、会查记忆、会自我核对的协作者,而不是一个端到端把图像直接映射成动作的黑盒。技术上,运行时采用端云协同的双 LLM 架构:边缘端跑一个轻量 Tiny LLM 处理每一轮交互以保证低延迟,当任务需要复杂推理、长时序规划或歧义消解时再按需上调云端 Large LLM。在此之上是 Agent Harness 层,包含三件套——Verification-aware ReAct(在 ReAct 循环上加验证器)、Context Management(从观察、对话、机器人状态、记忆中选取并压缩相关信息)、Skill Evolvement(让智能体在与物理世界交互中精炼、复用、扩展技能集)。再往上抽象出统一的 Skills and Tools 层(操作、导航、运动、视觉等),使同一套智能体系统跨本体复用。系统还内嵌多模态记忆系统,分边缘私有记忆与云端共享记忆,并配隐私门控。配套的 EmbodiedWorldBench 在 UnrealZoo(UE5)上构建可执行场景,另有一条“文本沙箱 + 教师轨迹蒸馏 + SFT + RL + 自演化奖励引擎”的小模型训练流水线。
最核心的创新是把通常缠在单一控制器里的三个角色显式解耦:主 LLM 只做语义规划(场景条件化的高层规划,决定何时直接调工具、何时委派子任务、何时收尾);Skill Runner 是一个技能级子智能体,在隔离的局部上下文里执行持续性的过程式子任务,维护中间状态、处理重复观察与恢复,只把压缩后的结果回传主 LLM;Verifier 在运行时、技能级、收尾时三个阶段监督执行,检查行为是否真有进展、技能是否达成语义目标、任务是否真的可以终止。第二个核心创新是 Universal Multi-modal Graph Memory:把所有经验(对话、视觉观察、空间上下文、时间关系、任务轨迹)转成类型化节点和边,保留来源与时间,检索时先用 $s(q,v)=\lambda_{sem}s_{sem}(q,v)+\lambda_{lex}s_{lex}(q,v)+\lambda_{meta}s_{meta}(q,v)+\lambda_{type}s_{type}(q,v)$ 混合打分选种子节点,再沿类型化边扩展出局部证据子图,而非返回孤立片段。第三个核心创新是失败驱动的终身自演化:每个 split 评测后才诊断失败、编译成受限 JSON DSL 的 evo-asset,经门控($\Delta S^{target}\geq\tau_{gain}$ 且 $\Delta S^{reg}\geq-\tau_{reg}$)通过后只供后续 split 使用。
方法步骤详情
完整执行步骤如下。(1) 场景条件化规划:主 LLM 结合任务、地图、机器人状态、近期历史与可用技能,判断需要导航/搜索/人机交互/上报/操作/再观察,形成带显式完成条件的可修订高层计划,计划随新观察与验证反馈动态更新。(2) 技能委派:把持续性子任务交给 Skill Runner,它在隔离上下文里维护子目标、近期观察、技能状态、失败尝试与恢复策略,判断是否在进展、何时需要局部恢复、何时把控制权交还主 LLM,收尾时返回压缩的语义摘要。(3) 多阶段验证:运行时验证监测轨迹是否停滞/重复碰撞/局部死循环;技能级验证检查委派子任务是否达成语义目标(而非仅看工具正常返回);收尾时验证核对指令、计划、历史、观察后才允许结束。(4) 端云路由:边缘模型先观察,能本地解决就本地解决,否则上调云端。(5) 多模态记忆更新:写作服务把观察、对话、图像、视频帧、时间戳、轨迹转成类型化图记录,做近重复合并与时效维护。(6) 检索与接地回答:用混合打分选种子节点,沿类型化边扩展证据子图,序列化为证据上下文注入回答器并记录检索 trace。(7) 失败驱动自演化:split 评测后诊断失败 trace,经 Diagnose→Propose→Compile→Gate 流程产出 evo-asset,只供后续 split 使用。(8) 基准构建:UE5 场景里人工标注语义地图,LLM 生成多难度任务并人工校准,做信息可见性隔离。(9) 训练流水线:文本沙箱生成 Easy/Medium/Hard 环境,教师模型蒸馏轨迹经 LLM-as-Judge 过滤后做 SFT,再用 GiGPO 在线 RL 配自演化奖励引擎优化学生策略。
技术新颖性
新颖性体现在五处。其一,把验证做成贯穿执行全程的监督信号而非只在结尾打分——这针对具身任务“无明确完成信号”的固有难题,与 SWE-agent 等数字 agent 有测试或 API 状态可查截然不同,Verifier 在运行时/技能级/收尾三阶段把“语言层信念”与“环境层证据”对齐。其二,图记忆 $G=(V,E)$ 取代文本块 RAG:检索返回的是结构化局部证据子图,能回答“某物体上次出现在哪”“某身份是否连续”“事件先后”这类需要关系推理的问题,而非语义相似的孤立片段。其三,split-wise 自演化协议从机制上杜绝真值泄漏:$T_t,G_t=\text{Run}(D_t;G_{t-1},A_{<t})$ 之后才做 $\Delta A_t=\text{Gate}(\text{Compile}(\text{Propose}(\text{Diagnose}(T_t))))$,evo-asset 是受生命周期管理的 JSON DSL 而非生成的 Python 代码,必须同时满足 $\Delta S^{target}(a)\geq\tau_{gain}\wedge\Delta S^{reg}(a)\geq-\tau_{reg}$ 才晋级,使其成为可审计、可回滚的累积式终身改进。其四,隐私感知的端云记忆门控以“默认私有”为原则,含人脸、姓名、个人物品的记忆永不上云,公开环境信息(路障、地标)才共享,实测隐私分类准确率超 99%。其五,自演化奖励引擎用 Meta-Judge 把不可靠的判分案例转成局部提示词修订,把判分与人类对齐率从约 60% 提到 90% 以上。
实验结果
核心发现分两部分。在 EmbodiedWorldBench 子集(系统初步验证而非完整榜单)上:同样用 Qwen3.6-Plus 作主 LLM,ABot-AgentOS 相对单控制器 ReAct 基线,TSR 从 49.97% 升到 61.96%(+11.99 个百分点),GCR 从 57.95% 升到 68.79%(+10.84 个百分点),说明分层执行、任务记忆、技能级反馈与收尾验证确实提升长时序具身执行;换用更强的 DeepSeek-V4-Pro 作主 LLM 进一步把 TSR 推到 68.18%、GCR 推到 74.62%(再 +6.22/+5.83),说明骨干模型对指令理解、阶段规划与失败恢复仍有放大效应。在五个独立记忆基准上,静态图记忆表现强势:LoCoMo 整体 87.5,逼近人类 87.9,超过最强复现基线 Mem0(85.6)1.9 分;OpenEQA EM-EQA 在 24 帧下 59.9,超过 3DGS/快照/场景图等记忆基线;Mem-Gallery 整体 88.6,在视觉中心推理、冲突检测、拒答类上优势最大;NExT-QA Acc@All 76.5,较 GraphVideoAgent 提升 3.2,因果与时间类增益最强;EgoLife 仅取 1 帧即达 65.4% 平均,超过取 50 帧的 EGAgent(57.5)。失败驱动自演化进一步把 NExT-QA 提升 4.1、LoCoMo 与 OpenEQA 各提升 1.2、Mem-Gallery 提升 0.4、EgoLife 从 65.4 提升到 66.2。
查看结构化数据
| 任务 | 指标 | 本文 | 基线 | 提升 |
|---|---|---|---|---|
| EmbodiedWorldBench 长时序具身任务(完整成功率) | TSR (Task Success Rate) | 68.18%(DeepSeek-V4-Pro 作主 LLM) | 49.97%(ReAct + Qwen3.6-Plus 单控制器) | +18.21 个百分点 |
| EmbodiedWorldBench 长时序具身任务(子目标完成) | GCR (Goal Completion Rate) | 74.62%(DeepSeek-V4-Pro) | 57.95%(ReAct + Qwen3.6-Plus) | +16.67 个百分点 |
| LoCoMo 长期多轮对话记忆 | Overall Score(Mem0 judge 协议) | 87.5(ABot-AgentOS Static) | 85.6(Mem0) | +1.9,逼近人类 87.9 |
| OpenEQA 室内具身问答 | EM-EQA LLM-Match(24 帧) | 59.9(ABot-AgentOS Static,ScanNet 62.8) | 57.8(GaussExplorer 3DGS memory) | +2.1 |
| Mem-Gallery 多模态长期对话记忆 | Overall LLM-Judge | 88.6(ABot-AgentOS Static) | 84.7(UniversalRAG) | +3.9,冲突检测/拒答类优势最大 |
| NExT-QA 时序因果视频问答 | Acc@All | 76.5(ABot-AgentOS Static) | 73.3(GraphVideoAgent) | +3.2,自演化后再 +4.1 |
| EgoLifeQA 第一人称日常问答 | Avg Acc%(仅取 1 帧) | 65.4(ABot-AgentOS-Qwen3.5-Flash) | 57.5(EGAgent-Gemini2.5 Pro,取 50 帧) | +7.9 |
局限与改进
作者承认的局限主要有:EmbodiedWorldBench 目前只评估了一个子集,场景多样性、社交交互深度与当前 agent 评测覆盖仍有限,完整榜单尚未放出;真实世界大规模验证仍缺,未在噪声感知、不完美执行、网络延迟、安全约束与异构本体下系统检验;记忆与自演化流水线依赖结构化 trace 与事后反馈;隐私感知的端云记忆共享需要更强的审计、用户控制、访问管理与失败分析;小模型训练流水线仍停留在文本状态语义沙箱,未纳入视觉观察与多模态反馈。分析章节进一步指出当前失败主要源自感知反馈:智能体仍缺乏足够细粒度的主动观察与反馈机制,难以可靠确认目标状态;VLM 观察工具会混淆人与物体,影响 NPC 定位、目标搜索与交互决策;在室内外连通或大开口场景里,会把“看得见的户外区域”误判为“已经身处户外”,导致空间推理出错;UE/记录器执行本身的不确定性也让评测更难。我自己还观察到:5 个记忆基准用的是不同的写作/回答/裁判模型组合(如 OpenEQA 用 GPT-5.4,LoCoMo 用 Qwen3.6-Plus),跨基准不可直接平均;不少对比是参考性数字而非严格控制的重测。
独立分析的弱点
独立分析弱点及改进方向:(1) 视觉感知与主动观察薄弱——VLM 观察工具会混淆人/物体、把可视户外误判为已到户外,改进方向是引入细粒度主动观察策略与视觉证据交叉验证(多视角/多帧一致性校验),并训练专门的场景区域空间推理模块。(2) Agent 评测覆盖太小且依赖 UE/记录器执行,改进方向是尽快放出完整 EmbodiedWorldBench 榜单并补充真实机器人闭环数据,验证从仿真到真机的迁移。(3) 训练流水线只用文本语义沙箱,丢失了视觉与多模态反馈,改进方向是把视觉观察、多模态反馈与额外仿真平台纳入 RL,使蒸馏出的学生策略具备感知接地能力。(4) 记忆系统强依赖结构化 trace 与事后反馈才能自演化,在无监督的真机部署里反馈稀疏,改进方向是引入环境状态变化与人在环纠正的弱监督,并研究无标注下的失败检测。(5) 跨基准模型配置不统一(写作/回答/裁判混用 GPT-5.4 与 Qwen3.6-Plus),难以公平横向比较,改进方向是固定一套端到端配置做消融。(6) 自演化门控阈值 $\tau_{gain}/\tau_{reg}$ 与 split 划分对结果敏感,改进方向是给出阈值鲁棒性分析。
未来方向
作者提出的未来工作集中在四块:完成并开源完整 EmbodiedWorldBench 评测与榜单;做大规模真实世界验证(噪声感知、不完美执行、网络延迟、安全约束、异构本体);强化隐私感知端云记忆共享的审计、用户控制、访问管理与失败分析;把小模型训练流水线从文本语义沙箱扩展到含视觉观察、多模态反馈与更多仿真平台。基于本成果可延伸的研究方向我认为还有:把失败驱动的 split-wise 自演化协议推广到真机的持续学习,研究无 ground-truth 时如何用环境状态变化、任务成败、人在环纠正作反馈信号;把图记忆的类型 schema 扩展到更丰富的物理因果与时序事件,支撑长跨度的“事件因果链”推理;将 Verifier 与 Skill Runner 的分层思想与端到端 VLA 训练结合,探索“可验证的 VLA”以同时获得泛化与可审计性;把 LLM-as-Judge + Meta-Judge 的自演化奖励引擎迁移到更广义的多智能体对齐与奖励鲁棒性研究;研究端云记忆在多机器人协同下的去重、冲突合并与共识机制,使“群体记忆”成为可扩展资产。
复现评估
复现评估中等偏上。有利因素:论文给出项目主页 https://amap-cvlab.github.io/ABot-AgentOS ,承诺未来开源 EmbodiedWorldBench;基准基于公开的 UnrealZoo(UE5)构建,评测用 NavMesh 导航与可执行轨迹,指标 TSR/GCR 定义清晰、用结构化评估器做确定性几何检查 + LLM judge 做语义检查,理论上可复现;记忆系统的图 schema、混合检索公式 $s(q,v)$、自演化的门控条件 $\Delta S^{target}\geq\tau_{gain}\wedge\Delta S^{reg}\geq-\tau_{reg}$ 都有形式化描述。不利因素:当前论文尚处初始系统验证阶段,代码与数据未完全放出;训练流水线明确声明“面向业务部署,不发布私有数据或生产结果”,教师轨迹、文本沙箱、SFT/RL 超参(如 GiGPO 的 rollout 数、奖励权重 $\lambda_{eff}/\lambda_{cons}/\lambda_{comp}$)披露有限;记忆实验在不同基准上混用 GPT-5.4 与 Qwen3.6-Plus,且不少对比数字来自外部论文而非自测,存在协议差异;端云路由策略、隐私门控阈值、自演化门控阈值 $\tau_{gain}/\tau_{reg}$ 的具体取值未给。整体算力门槛高(涉及云端 Large LLM、UE5 仿真、长时序 rollout、多基准评测),独立复现完整榜单难度较大,但复现单基准的静态记忆部分相对可行。
论文图表
展示一个郊区复合任务的例子:智能体需依次检查街道、查看后院泳池、核实室内电器状态并返回汇报,路径穿越户外街道、住宅后院与室内客厅。整体覆盖 16 个室内/室外/混合场景、4 个难度等级、超 200 个任务。
说明为什么需要新的可执行基准——单场景、单任务、静态评测无法覆盖这种跨场景、含 NPC 交互与动态事件的能力。