基于任务态证明图谱的大模型智能体验证方法及系统

本申请涉及一种基于任务态证明图谱的大模型智能体验证方法及系统。所述方法包括：获取用户输入数据和工具注册信息，进行任务分解和动作规划，生成候选动作和待验证命题；生成证明义务并构建任务态证明图谱；以验证条件进行验证查询，对通过的条件执行最小支持操作得到成功证据链，对失败或未知的条件执行最小失败操作得到局部失败子图；序列化得到证明序列，经目标大语言模型编码组件预填充编码得到证明键值记忆；将证明键值记忆输入注意力计算层融合计算得到融合注意力，并增量更新任务态证明图谱，迭代直至任务级候选结论通过验证或无法取得必要证据。本方法能提高结论可验证性，增强执行状态一致性，减少重复生成与上下文冗余。