精读笔记

Problem Setting

论文实际处理的是 incomplete symbolic world model 下的 open-world robot planning：初始 PDDL/scene graph 不包含完成任务所需的部分对象、属性或动作效果，但机器人仍要在真实环境中完成长视野任务。真正困难点不是 partial observability 本身，而是 model incompleteness：规划器甚至不知道应该在哪些谓词、对象或 transition effect 上维护 belief。

传统 closed-world planner 卡在模型必须预先完整；LLM planner 卡在没有显式状态约束，容易把常识猜测当事实；LLM 修补 domain/problem 的方法卡在补完后通常被当作确定知识。关键矛盾是：开放世界知识必须来自不可靠的 foundation model，但机器人执行又要求可验证、可约束、可回滚的结构化模型。

Motivation

已有路线缺的是“对模型扩展过程本身的不确定性建模”。如果 LLM 生成一个 missing predicate 或 object location 后 planner 直接使用，它只是把 hallucination 写进 PDDL；如果等执行失败再修补，又会漏掉 silent failure，比如拿错 burger、按错 switch、把错误属性对象送到目标位置。

作者的核心观察是：open-world planning 里的 uncertainty 不只在 state，也在 model。机器人需要显式维护“哪些知识是已验证事实，哪些只是为让任务可解而提出的假设”。因此，信息获取不应作为外部探索策略附加在任务之外，而应被编译进目标规划问题，成为达成任务的必要步骤。

Core Idea

HUME 的核心思想是把 LLM 的开放世界先验转换成一组 object-centric hypotheses，并把这些 hypotheses 当成 latent model variables，而不是 facts。每个 hypothesis 可以表示一个对象可能存在、某对象可能有某属性、某动作在某对象/设备上可能产生某效果；同时每个 hypothesis 关联一个 verification condition，使 planner 能规划到足以验证它的状态。

这改变了建模方式：prior work 往往是“LLM 生成模型，然后 planner 使用模型”，HUME 是“LLM 生成可验证的模型假设，planner 决定何时使用和验证”。新的 inductive bias 是 task-oriented factorization：只围绕当前目标生成少量相关假设，而不是构建完整世界模型。信息流也被重组为 closed loop：语言模型提出假设，符号规划组织验证和执行，感知/VLM 给出反馈，历史再约束下一轮假设生成。这比直接让 LLM 规划更 scalable 的原因在于，长视野约束交给 planner，LLM 只承担局部模型补全。

Method

关键机制可以压缩为四个。

第一，task-scoped hypothesis generation。它解决完整开放世界建模不可行的问题：只根据目标中缺失的对象、属性、效果生成少量候选扩展。核心变化是把开放世界搜索空间裁剪到 task-relevant missing knowledge。

第二，hypothesis as model expansion。每个假设不仅是自然语言描述，而是可注入 symbolic model 的 content，例如 add_fact 或 add_effect。它解决 LLM prior 与 planner representation 不对齐的问题。核心变化是让不确定知识可被 planner 组合、排序和依赖分析。

第三，verification action。每个假设带有验证条件，planner 必须先到达能观察或交互的状态。它解决“模型补全不可证伪”的问题。核心变化是把 embodied QA 变成任务规划内部的 action，而不是外部 callback。

第四，optimistic determinization + cost bias + replanning。由于完整 Bayes-adaptive/POMDP 代价太高，论文把验证动作乐观确定化，只规划正分支，负分支执行时触发重生成和重规划；同时对依赖未验证假设的动作加高成本，促使 planner 先验证再使用。核心变化是用 classical planner 近似实现 uncertainty-aware behavior。

Key Insight / Why It Works

最重要的有效性来源不是 LLM 更强，而是 representation alignment：LLM 的常识被约束成 planner 可操作的假设单元，planner 再根据前置条件、资源冲突、目标依赖来组织验证顺序。这使得系统能避免 LLM-only planner 常见的长视野约束错误，也避免一次性 model expansion 把错误假设静默执行。

第二个有效来源是 test-time compute 的结构化使用。系统在执行过程中不断“生成假设-规划验证-感知反馈-重规划”，本质上用额外交互和 LLM/VLM 查询换取模型补全。这不是纯 planning algorithm 的突破，更像把开放世界不确定性拆成多个小的可验证问题。

第三个有效来源是 optimistic planning 的工程折中。只保留验证成功分支让 Fast Downward 这类经典 planner 能工作；失败时重规划避免了完整 belief tree 爆炸。这在 household tasks 中很实用，因为多数验证失败不会导致不可逆灾难。但这也说明它不是严格风险敏感方法，遇到高代价错误验证或不可逆动作时会过度乐观。

最可能的核心贡献是“把 model expansion 显式假设化并纳入 planner”，而不是具体 LLM prompt、PDDL action split 或 VLM verification。后者主要是 engineering。论文中把方法联系到 Bayes-adaptive MDP 是合理的概念框架，但实现上并没有真正维护概率 belief 或求解 Bayes-adaptive policy；它更接近 optimistic replanning with hypothesis memory。

增益归因仍有不清之处。实验显示 uncertainty-aware expansion 优于 deterministic expansion，但没有完全拆开 hypothesis quality、verification prompt quality、VLM accuracy、planner cost shaping、历史上下文这几部分贡献。部分提升可能来自更强的 prompt examples 和 household prior 覆盖，而不是通用推理能力。对于 AI2-THOR 和真实家庭任务，也不能排除 benchmark/task distribution 与 LLM 常识高度重合带来的 implicit retrieval。

Relation To Prior Work

它最接近三条谱系：LLM-assisted symbolic planning、model acquisition/domain repair、belief-space/open-world planning。和 LLM planner 的差异在于，LLM 不再直接输出最终计划，而是输出可验证的模型假设；和 LLM 修补 PDDL 的差异在于，修补结果不被当作确定事实，而被纳入 planning-time uncertainty；和 POMDP/belief-space planning 的差异在于，它不手工构建完整 probabilistic model，而用 foundation model 生成 task-local latent variables。

看似新的部分有不少是已有思想重组：all-outcomes determinization、optimistic replanning、active information gathering、model acquisition 都不是新概念。实质新增的信息在于把这些机制组织到“foundation-model-generated hypotheses over model expansion”这个层次上，并让 verification action 自动进入 PDDL planning graph。这个层次选择很关键：它既比纯 state uncertainty 更贴近 open-world model incompleteness，也比完整 domain learning 更可控。

Dataset / Evaluation

评估覆盖从抽象 causal effect discovery 到 household manipulation，再到真实机器人和 appliance operation，任务类型对论文 claim 是相对匹配的：目标成功确实依赖缺失对象位置、细粒度属性和未知动作效果。真实机器人实验尤其能说明方法不是纯 benchmark trick，至少在受控家庭环境中能闭环运行。

但 evaluation 支持的是有限 claim：在任务相关缺失知识可由 LLM 生成、可由感知验证、低层技能基本可靠时，HUME 比不验证假设的规划更稳。它没有充分证明更强的开放世界泛化。真实实验为了隔离规划，重试低层技能并手动 reset invalid states，这削弱了 deployment 说服力。任务数量也偏少，且都属于 LLM/VLM 擅长的 household commonsense distribution。文中未充分说明不同模块错误如何独立影响最终性能，增益来源不清。

Limitation

最大的前提是 abstraction 已经在任务中给出：目标语言要包含 chicken、zero-sugar、blue-floral、heated、light-off 这类缺失谓词。系统不是从原始失败中发明新概念，而是围绕已有目标谓词找实例和验证路径。因此它解决的是 task-scoped open-world completion，不是 fully open-ended model discovery。

第二，hypothesis generator 是瓶颈。论文假设 LLM 能在有限尝试内提出正确假设，并能给出足够好的 verification condition。这个假设很强。若目标涉及非典型设备、隐藏机制、长程因果、空间几何约束或需要实验设计的验证，LLM 的 guess 很可能只是 retrieval。

第三，verification 并不可靠。属性验证依赖 VLM 和视角，动作效果验证依赖传感变化解释。论文附录也显示 grasp pose 会影响 attribute reasoning。这意味着所谓“主动验证”仍可能把错误观测固化为事实。

第四，不确定性表示太粗。true/false/unknown 无法表达置信度、验证成本、错误代价、不可逆风险。optimistic branch cut 在 household fetch tasks 中合理，但不适合安全关键任务。论文标题里的 under uncertainty 容易让人误以为是 principled uncertainty planning，实际上是工程化的不确定假设管理。

第五，scalability 上限来自假设空间和重规划循环。task-relevant factorization 能延缓爆炸，但多对象、多属性、多依赖、多动作效果组合时，LLM 生成和 planner augmentation 都会膨胀。文中复杂度讨论是有启发的，但建立在 hypothesis sampling 能覆盖正确组合的前提上。

Takeaway

• 1. 最值得迁移的 insight 是：不要让 foundation model 直接替代 planner，而应让它生成“可验证、可组合、可撤销”的模型假设。
• 2. open-world planning 的关键不只是 partial observability，而是 model uncertainty；把缺失知识提升为 planning state 的一部分，比事后 failure recovery 更能避免 silent failure。
• 3. HUME 的价值在于提供了一种 practical middle ground：不用完整 POMDP，也不信任一次性 LLM model completion，而是用 optimistic symbolic planning 驱动交互式模型补全。
• 4. 后续真正值得做的是把 verification 本身做成更强的主动感知/TAMP 问题，并引入 calibrated uncertainty 与 risk-aware planning；否则方法会停留在“LLM 猜测 + planner 验证 + 失败重试”的有效工程范式。

一句话总结

HUME 是 LLM-assisted symbolic planning 向 uncertainty-aware model acquisition 演化的一步，真正贡献是把开放世界知识从“可直接使用的生成结果”重构为“规划过程中需要主动验证的模型假设”。