Abstract not available.
具身智能体必须在部分可观测环境中进行探索，同时保持可靠的长时程记忆。现有的基于图的导航系统提升了可扩展性，但通常将未探索区域视为语义未知，导致前沿搜索效率低下。尽管视觉语言模型（VLMs）能够预测前沿语义，但错误的预测可能被嵌入记忆并通过下游推理传播，引发结构性的错误累积，仅靠置信度衰减无法解决这一问题。这些观察表明，需要一个既能利用语义预测进行定向探索，又能在新证据与预测矛盾时系统性地撤回错误的框架。我们提出了假设图优化（HGR），该框架将前沿预测表示为依赖感知图记忆中的可修正假设节点。HGR包含两个核心模块：（1）语义假设模块，用于估计前沿的上下文条件语义分布，并根据目标相关性、移动成本和不确定性对探索目标进行排序；（2）验证驱动的级联纠正，通过现场观测与预测语义的对比，一旦发现不匹配，便撤回被证伪的节点及其所有下游依赖节点。与累加式地图构建不同，该方法允许图通过剪除错误子图进行收缩，从而在整个长时程任务中保持记忆的可靠性。我们在多模态终身导航（GOAT-Bench）和具身问答（A-EQA、EM-EQA）任务上评估了HGR。HGR在GOAT-Bench上取得了72.41%的成功率和56.22%的SPL，并在两个问答基准上均表现出持续改进。诊断分析表明，级联纠正消除了约20%的结构冗余假设节点，并将错误区域的重复访问减少了4.5倍，其中镜面和透明表面导致的预测错误占纠正总数的67%。