HiRA: A Hierarchical Reasoning Framework for Decoupled Planning and Execution in Deep Search

基本信息

• 论文ID: 2507.02652
• 标题: HiRA: A Hierarchical Reasoning Framework for Decoupled Planning and Execution in Deep Search
• 作者: Jiajie Jin, Xiaoxi Li, Yuyao Zhang, Guanting Dong, Yutao Zhu, Zhao Yang, Hongjin Qian, Zhicheng Dou
• 分类: cs.AI cs.CL cs.IR
• 发表时间/会议: 2025年（提交至AAAI 2026）
• 论文链接: https://arxiv.org/abs/2507.02652

摘要

复杂的信息需求在现实世界搜索场景中需要跨多个来源的深度推理和知识综合，而传统的检索增强生成（RAG）管道难以有效解决这些问题。当前基于推理的方法存在一个根本性限制：它们使用单一模型同时处理高层规划和详细执行，导致推理效率低下且可扩展性有限。本文提出HiRA，一个将战略规划与专门执行分离的层次化框架。该方法将复杂搜索任务分解为专注的子任务，将每个子任务分配给配备外部工具和推理能力的领域特定智能体，并通过结构化集成机制协调结果。这种分离防止执行细节干扰高层推理，同时使系统能够为不同类型的信息处理利用专门的专业知识。在四个复杂的跨模态深度搜索基准上的实验表明，HiRA显著优于最先进的RAG和基于智能体的系统。

研究背景与动机

问题定义

传统搜索引擎仅基于关键词匹配返回排序的网页，需要用户手动筛选和收集信息。虽然配备网络搜索的大语言模型（LLMs）能提供直接答案，但它们通常只利用搜索结果中的直接信息，缺乏深度推理和综合分析能力。

问题重要性

随着互联网信息爆炸，找到复杂查询的答案变得越来越困难，这推动了需要理解复杂信息需求并从多个来源综合准确答案的深度搜索任务的快速发展。

现有方法局限性

1. 单体架构限制：现有方法依赖单一推理模型处理所有任务，通过提示推理模型生成特殊令牌来触发工具激活
2. 能力扩展性有限：添加新工具或能力需要仔细重新设计提示，教模型如何使用新令牌模式
3. 推理干扰：外部执行结果直接注入主推理链，引入噪声，干扰核心推理过程

研究动机

作者认为有效的智能体执行应遵循层次结构：包括用于高层规划的元智能体、用于任务推理转移的协调器，以及用于特定操作的专门执行智能体。

核心贡献

1. 层次推理架构：提出了一个新颖的层次推理框架，将专门的工具增强推理智能体作为模块集成，消除了现有方法中外部工具编排或刚性预定义管道的需求
2. 增强的能力集成：领域专门的执行器支持多样化推理能力和工具的即插即用集成。现有搜索智能体可以直接整合而无需提示工程或模型重训练
3. 优越的经验性能：在四个复杂跨模态搜索任务上的实验显示，相比传统RAG和当前基于智能体的方法有显著改进

方法详解

任务定义

给定一个需要信息搜索的复杂问题q和预定义的外部环境E，目标是设计一个框架生成包含答案A和相应推理过程R的最终解决方案。生成过程表示为：

$P(R, a | q, E) = \prod_{t=1}^{T_R} P(R_t | R_{<t}, q, E_{<t}) \cdot P(a | q, R)$

其中$T_R$表示推理过程的令牌生成步骤，$E_{<t} = \{E(R_{<s})\}_{s<t}$表示时间步t之前所有环境交互结果的集合。

模型架构

HiRA框架包含三个核心模块：

1. 元推理规划器（Meta Reasoning Planner）

• 负责规划、推理和答案生成
• 将任务分解为包含专家智能体战略指令的高层子任务
• 使用特殊令牌进行动态子任务生成：

$P_M(s_k) = P_M(s_k | q, O_{<t}, \{E(s_j)\}_{j<k})$

2. 自适应推理协调器（Adaptive Reasoning Coordinator）

包含三个核心功能：

推理转移过程： $A^*_k = \arg\max_{A \in E} P_C(O^{(k)}_{dele}, A | s_k, I_E, I_{select})$

推理蒸馏过程： $P_C(O^{(k)}_{dist}, R^{(k)}_{dist} | s_k, O^{(k)}_{expert}) = P_C(O^{(k)}_{dist} | O^{(k)}_{expert}, \cdot) \cdot P_C(R^{(k)}_{dist} | O^{(k)}_{dist}, O^{(k)}_{expert}, \cdot)$

双通道内存机制：包括事实内存$M_f$和资源内存$M_r$

3. 领域专门执行器（Domain-Specialized Executors）

基于三个正交的智能体能力维度设计：

• 信息获取：负责从网络获取和整合信息
• 跨模态理解：处理多模态信息的理解和融合
• 计算推理：处理数学计算、文件处理等计算推理任务

技术创新点

1. 解耦设计：将高层战略规划与低层执行细节分离，防止执行噪声干扰规划过程
2. 动态任务分配：基于任务复杂度和所需能力智能选择最适合的专家智能体
3. 双向推理传递：支持从元智能体到专家智能体的推理委托，以及反向的推理蒸馏
4. 模块化扩展：新的专家智能体可以无缝集成而无需重新设计整个系统

实验设置

数据集

1. GAIA：涵盖多步推理和检索，使用所有验证样本（文本、多模态、基于文件）
2. WebWalkerQA：测试英文和中文的网络导航和提取，采样200个问题
3. SimpleQA：评估事实和广泛知识，采样200个问题
4. Humanity's Last Exam：高难度基准，需要复杂推理和外部检索，使用500个验证样本

评价指标

使用Qwen2.5-72B-Instruct作为LLM评判器计算准确率

对比方法

1. 直接推理：使用模型原生推理能力（Qwen3-32B、QwQ-32B、DeepSeek-R1-32B、GPT-4o等）
2. 单能力增强：使用单一专门工具增强推理（Search-o1、WebThinker、CodeAct等）
3. 多能力推理：集成多工具或结构化工作流（Plan-and-Solve、ReAct）

实现细节

• 基础模型：QwQ-32B
• 协调器：Qwen2.5-Instruct
• 温度：0.7，top_p：0.95，top_k：20
• 上下文窗口：128k tokens
• 最大子任务数：10

实验结果

主要结果

关键发现

1. 整体性能优势：HiRA在所有任务上均优于基线方法
2. 复杂任务优势明显：在复杂任务（GAIA、HLE）上改进更显著
3. 层次设计优势：相比使用相同工具集的方法，层次设计实现更好性能

消融实验

效率分析

1. 推理长度：HiRA的推理链比WebThinker更短，表明更高效的子任务调用
2. 交互次数：相比直接集成工具的方法，HiRA的环境交互次数更少
3. 计算开销：层次结构实现了更有针对性的工具使用

相关工作

检索增强生成到深度搜索的演进

从单步检索发展到具有查询分解、文档细化和多轮搜索的迭代管道。但RAG方法依赖预定义工作流，限制了自适应决策。

规划-执行分离方法

• 动作级分离：为单步任务分配执行器（Plan-Act、CoAct）
• 查询级分离：在更高粒度分解问题（REMA、LLMCompiler）

本文通过动态推理委托和层次框架中的领域专门智能体解决了这些方法的局限性。

结论与讨论

主要结论

HiRA通过分离战略规划和专门执行，有效解决了深度搜索任务中单体模型的局限性。多智能体架构支持可扩展、模块化的推理。

局限性

1. 计算开销：多智能体架构可能增加计算成本
2. 协调复杂性：智能体间的协调机制需要精心设计
3. 错误传播：子任务执行错误可能影响整体性能

未来方向

1. 进一步优化智能体间的协调机制
2. 探索更多领域专门的执行器
3. 研究动态智能体选择策略

深度评价

优点

1. 创新的架构设计：层次化解耦设计具有理论和实践价值
2. 全面的实验验证：在多个复杂基准上的系统性评估
3. 实用性强：框架支持现有智能体的即插即用集成
4. 分析深入：提供了详细的消融实验和效率分析

不足

1. 基线选择：部分基线方法可能不是最新的SOTA
2. 评估局限：主要使用LLM-as-Judge，可能存在评估偏差
3. 扩展性验证：缺乏在更大规模或更多领域的验证

影响力

1. 学术贡献：为多智能体推理系统提供了新的设计范式
2. 实用价值：可直接应用于复杂信息检索场景
3. 可复现性：提供了详细的实现细节和代码

适用场景

1. 需要多步推理的复杂问答系统
2. 跨模态信息检索和综合
3. 需要专门工具支持的研究和分析任务
4. 企业级知识管理和决策支持系统

参考文献

论文引用了多个重要工作，包括RAG的奠基性工作（Lewis et al. 2020）、最新的推理模型（OpenAI o1、DeepSeek-R1）以及多智能体系统的相关研究。这些引用体现了作者对领域发展脉络的深入理解。

总体评价：这是一篇高质量的研究论文，提出了创新的层次化推理框架，在理论设计和实验验证方面都比较扎实。该工作对多智能体推理系统的发展具有重要价值，特别是在复杂信息检索领域的应用前景广阔。