Chapter 4 Practical Reasoning Agents
把审议选目标与手段—目的推理选计划分开，并验证 BDI 承诺重考虑策略。
学习目标
- 能区分审议与手段—目的推理
- 能说明 BDI 三者如何互相约束
- 能评估意图重考虑策略的代价
为什么必须先冻结联合模型
先预测：送货代理在道路封闭时应立即放弃当前意图吗？带着判断进入本页。
把审议选目标与手段—目的推理选计划分开，并验证 BDI 承诺重考虑策略。 实践推理代理在信念、愿望与意图之间建立约束：审议决定承诺什么，规划决定如何实现，重考虑策略决定何时放弃过期意图。 本页不以单个代理“看起来聪明”为通过条件，而是检查联合状态、偏离动机、失败传播和可重放证据。
直觉、对象与计算合同
贯穿场景是：配送代理在新订单、道路封闭与已有承诺之间重新规划。参与者、可观察信息、行动集、偏好或目标、环境转移、协议版本和终止条件必须在运行前固定，不能在看到结果后修改效用或阈值。
公式用于公开关系与前提，不替代正式证明或实证测量。重考虑太频繁导致抖动，太少导致僵化；策略必须由环境变化率验证。 本页重点防范：环境已让计划不可行，代理仍因过度承诺继续执行。
代理对世界的当前看法：可能过时或错误，需要持续更新机制。
正式目录节点：解释与联合验证
下列目录节点逐项映射到解释、页面专属实验和章末答案。每个节点都必须指出它改变哪个联合状态以及什么观测会推翻结论；单纯出现术语不计覆盖。
Chapter 4 Practical Reasoning Agents
“Chapter 4 Practical Reasoning Agents”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“实践推理代理在信念、愿望与意图之间建立约束：审议决定承诺什么，规划决定如何实现，重考虑策略决定何时放弃过期意图。”这条联合因果链中，本节点重点检查审议；只改变一个条件并保存联合轨迹，若出现“环境已让计划不可行，代理仍因过度承诺继续执行”，就在首个分叉停止。
4.1 Practical Reasoning = Deliberation + Means-Ends Reasoning
“4.1 Practical Reasoning = Deliberation + Means-Ends Reasoning”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“实践推理代理在信念、愿望与意图之间建立约束：审议决定承诺什么，规划决定如何实现，重考虑策略决定何时放弃过期意图。”这条联合因果链中，本节点重点检查手段目的；只改变一个条件并保存联合轨迹，若出现“环境已让计划不可行，代理仍因过度承诺继续执行”，就在首个分叉停止。
4.2 Means--Ends Reasoning
“4.2 Means--Ends Reasoning”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“实践推理代理在信念、愿望与意图之间建立约束：审议决定承诺什么，规划决定如何实现，重考虑策略决定何时放弃过期意图。”这条联合因果链中，本节点重点检查BDI；只改变一个条件并保存联合轨迹，若出现“环境已让计划不可行，代理仍因过度承诺继续执行”，就在首个分叉停止。
4.3 Implementing a Practical Reasoning Agent
“4.3 Implementing a Practical Reasoning Agent”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“实践推理代理在信念、愿望与意图之间建立约束：审议决定承诺什么，规划决定如何实现，重考虑策略决定何时放弃过期意图。”这条联合因果链中，本节点重点检查承诺；只改变一个条件并保存联合轨迹，若出现“环境已让计划不可行，代理仍因过度承诺继续执行”，就在首个分叉停止。
4.4 The Procedural Reasoning System
“4.4 The Procedural Reasoning System”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“实践推理代理在信念、愿望与意图之间建立约束：审议决定承诺什么，规划决定如何实现，重考虑策略决定何时放弃过期意图。”这条联合因果链中，本节点重点检查PRS；只改变一个条件并保存联合轨迹，若出现“环境已让计划不可行，代理仍因过度承诺继续执行”，就在首个分叉停止。
常见误区
术语
小结
- 审议选目标，手段—目的推理选计划
- BDI模型在信念、愿望与意图之间建立约束
- 重考虑策略决定何时放弃过期意图
- 重考虑太频繁导致抖动，太少导致僵化
- 环境已让计划不可行时不应过度承诺继续执行
容易踩的坑
误区 1
现象 → 意图一旦形成就永不重评 原因 → 环境变化后执行失效计划 修法 → 设定关键信念变化触发重评
误区 2
现象 → 愿望不过滤直接变意图 原因 → 冲突目标互相打架 修法 → 审议阶段先过滤一致愿望集
误区 3
现象 → 计划库塞满所有情况 原因 → 检索变慢且维护困难 修法 → 计划按触发频率分层组织
练习与答案
前后导航
练习
练习
问题 1： BDI 三者的约束关系是什么？
问题 2： 意图重考虑为何不能过于频繁？
问题 3： 为送货代理设计一个意图更新规则：什么信念变化触发重评。（独立实现）