Chapter 8 Working Together
通过任务共享、结果共享、合同网、联合意图与社会规范协调合作。
学习目标
- 能区分任务共享、结果共享与合同网
- 能解释联合意图如何绑定团队
- 能评估社会规范对协作的约束
为什么必须先冻结联合模型
先预测：中标代理失败后合同网会怎样收场？带着判断进入本页。
通过任务共享、结果共享、合同网、联合意图与社会规范协调合作。 合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。 本页不以单个代理“看起来聪明”为通过条件，而是检查联合状态、偏离动机、失败传播和可重放证据。
直觉、对象与计算合同
贯穿场景是：搜索队伍分区、共享发现、重分配失联成员的任务。参与者、可观察信息、行动集、偏好或目标、环境转移、协议版本和终止条件必须在运行前固定，不能在看到结果后修改效用或阈值。
公式用于公开关系与前提，不替代正式证明或实证测量。任务依赖无法通过局部消息表达时，需要显式联合计划或中央协调。 本页重点防范：一个成员私下放弃任务，其他成员仍基于旧承诺等待。
团队共享目标并互知：成员承诺互相通报进展与失败，联合坚持直到目标达成或公认不可达。
正式目录节点：解释与联合验证
下列目录节点逐项映射到解释、页面专属实验和章末答案。每个节点都必须指出它改变哪个联合状态以及什么观测会推翻结论；单纯出现术语不计覆盖。
Chapter 8 Working Together
“Chapter 8 Working Together”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查合同网；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.1 Cooperative Distributed Problem Solving
“8.1 Cooperative Distributed Problem Solving”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查结果共享；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.2 Task Sharing and Result Sharing
“8.2 Task Sharing and Result Sharing”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查不一致；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.2.1 Task sharing in the Contract Net
“8.2.1 Task sharing in the Contract Net”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查联合意图；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.3 Result Sharing
“8.3 Result Sharing”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查社会规范；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.4 Combining Task and Result Sharing
“8.4 Combining Task and Result Sharing”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查合同网；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.5 Handling Inconsistency
“8.5 Handling Inconsistency”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查结果共享；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.6 Coordination
“8.6 Coordination”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查不一致；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.6.1 Coordination through partial global planning
“8.6.1 Coordination through partial global planning”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查联合意图；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.6.2 Coordination through joint intentions
“8.6.2 Coordination through joint intentions”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查社会规范；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.6.3 Coordination by mutual modelling
“8.6.3 Coordination by mutual modelling”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查合同网；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.6.4 Coordination by norms and social laws
“8.6.4 Coordination by norms and social laws”细化本单元的正式问题，需要映射到参与者、信息、行动、结果和失败边界。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查结果共享；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
8.7 Multiagent Planning and Synchronization
“8.7 Multiagent Planning and Synchronization”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“合作问题先分解任务，再分配能力与资源，并通过结果共享修正全局状态；联合意图要求成员对共同目标和失败通知承担持续承诺。”这条联合因果链中，本节点重点检查不一致；只改变一个条件并保存联合轨迹，若出现“一个成员私下放弃任务，其他成员仍基于旧承诺等待”，就在首个分叉停止。
常见误区
术语
小结
- 任务共享与结果共享协调合作
- 合同网通过公告竞标和授予承诺分配任务
- 联合意图要求对共同目标和失败通知持续承诺
- 成员私下放弃任务时不应基于旧承诺等待
- 验证失败通知和重新分配机制
容易踩的坑
误区 1
现象 → 团队成员放弃不通报 原因 → 联合行动 silently 失败 修法 → 联合意图要求互相通报状态
误区 2
现象 → 中标后不监控执行 原因 → 失能代理拖延整体 修法 → 管理者监控并重招标
误区 3
现象 → 角色分配含糊 原因 → 任务三不管 修法 → 角色与职责显式登记
练习与答案
前后导航
练习
练习
问题 1： 联合意图与个人意图的区别？
问题 2： 合同网如何处理任务分配？
问题 3： 为三个搬运代理写一份合同网交互脚本。（独立实现）