技术摘要：战略性竞合的计算基础

问题陈述

现代社会技术系统越来越多地在多利益相关者环境中运行，这些参与者同时进行合作与竞争（即“竞合”）。虽然 i* 等概念建模语言能够通过软目标依赖关系有效地定性表示信任关系，但它们缺乏能够根据观察到的行为来分析信任如何动态演化的计算机制。相反，来自多智能体系统的计算信任模型虽然提供了算法更新方法，但往往缺乏需求工程概念模型的理论基础，导致难以从战略依赖网络中实例化。

核心挑战在于信任的不对称性：信任通过持续的合作逐渐建立，但会因单次违约而迅速瓦解。现有框架未能捕捉到这种负面偏差（negativity bias）、由此产生的滞后效应（hysteresis，即关系无法完全回到违约前的状态）以及由违约历史造成的路径依赖。本技术报告通过开发一种与用于战略竞合的博弈论基础无缝集成的形式化计算信任模型，旨在解决这一差距。

方法论

作者提出了一种结构化框架，通过以下方法论步骤，将定性的概念建模与定量的计算分析联系起来：

1. 双层信任架构： 该模型将信任形式化为一个由双过程组成的系统：
   • 即时信任 ($T_{ij}^t$)： 对当前行为做出反应。
   • 声誉 ($R_{ij}^t$)： 追踪累积的违约历史，作为未来信任恢复的约束。
2. 非对称更新动态： 信任的演化受差异化学习率控制：
   • 信任建立 ($\lambda_+$)： 基于正面合作信号的逐渐积累。
   • 信任侵蚀 ($\lambda_-$)： 基于违约行为的剧烈下降，其校准值约为建立速率的三倍（体现负面偏差）。
   • 信任天花板： 声誉损伤产生了一个限制信任恢复的上界 ($\Theta_{ij}^t = 1 - R_{ij}^t$)，使滞后效应形式化。
3. 相互依赖放大： 源自 i* 网络（通过相互依赖矩阵 $D$）的结构依赖会放大信任敏感度。高度依赖型伙伴的违约会导致不成比例的严重信任损伤。
4. 信任门控互惠： 效用函数通过引入信任加权的互惠项进行扩展，从而创建反馈循环，使信任门控合作，而合作进而构建信任。
5. 均衡扩展： 将基础研究中的静态竞合均衡扩展为动态博弈中的完美贝叶斯均衡，其中策略在每个历史阶段都是最优的，且信任状态随之一致更新。
6. 转换框架： 提供了一种结构化方法，用于从 i* 依赖网络、组织文化评估和项目背景中实例化这些计算模型。

核心贡献

本文为需求工程和多智能体系统研究引入了具体的贡献：

• 形式化数学规范： 对信任动态进行了精确的数学形式化，包括非对称更新规则、声誉衰减和信任天花板机制。
• 双过程信任模型： 一个区分即时信任与长期声誉记忆的限定 $[0, 1]$ 模型，捕捉了关于负面偏差的行为经济学洞察。
• 相互依赖放大： 一种将 i* 中的结构依赖与信任敏感度相联系的机制，证明了对于同等程度的违约，高依赖关系下的信任侵蚀速度快约 27%。
• 结构化转换框架： 一种操作性方法，使需求工程师能够从定性的 i* 模型和组织背景中推导出计算参数（学习率、基准值、先验概率）。
• 包含信任的完美贝叶斯均衡： 将均衡分析扩展到信任与战略行为共同演化的动态环境。

实验与实证结果

1. 全面实验验证

作者进行了严谨的验证，涵盖了 78,125 种参数配置（一个 7 维网格搜索），以确保关键现象的稳健涌现：

• 负面偏差： 模型稳健地产生了中位数为 3.0× 的负面比例（侵蚀率对比建立率），符合实证行为学文献。
• 滞后效应： 即使在发生严重违约后经历了 35 个周期的持续合作，中位信任恢复也仅为违约前基准值的 1.11×。至关重要的是，这掩盖了相对于无违约对照轨迹的 9% 的永久性缺口，证实了持久存在的信任天花板。
• 累积损伤： 重复的小规模违约产生的损伤约为单次同等大规模违约的 1.97×，验证了超加性损伤累积效应。
• 依赖放大： 高依赖关系表现出的信任侵蚀速度比低依赖关系快 27%。

2. 实证案例研究：雷诺-日产联盟 (1999–2025)

该框架被应用于雷诺-日佐联盟，这是一个具有形成、成熟合作、危机及恢复等不同阶段的 25 年战略伙伴关系案例。

• 方法论： 将定性案例证据转化为定量参数（例如，基于 2018 年内部危机严重程度设定 $\lambda_-/\lambda_+ = 3.0$）。
• 模拟： 模型成功重现了记录在案的五个阶段的信任演化，包括 2018 年的剧烈崩溃以及随后年份受限的局部恢复。
• 验证得分： 案例研究实现了 49/60 个验证点 (81.7%)。
  • 15/15 用于行为预测（匹配合作模式）。
  • 15/15 用于机制验证（捕捉负面偏差、滞后效应和累积效应）。
  • 10/15 用于信任状态对齐（定性模式匹配）。
  • 9/15 用于时间动态（阶段性对齐）。
• 结果： 模拟证实，尽管结构依赖保持不变，但声誉损伤产生的“信任天花板”阻碍了联盟回归到危机前的整合水平，验证了滞后机制。

意义与主张

本文声称为分析战略竞合提供了一个统一的计算基础。其意义在于：

1. 弥合差距： 它成功地将概念建模（i*）的语义丰富性与计算信任和博弈论的分析能力结合在一起。
2. 量化信任： 它使需求工程超越了定性的信任评估，转向对信任轨迹、违约影响和恢复可能性的严谨定量分析。
3. 经过验证的稳健性： 通过双轨验证（78,125 种计算配置和详细的实证案例研究），作者证明了负面偏差、滞后效应和累积损伤是所提架构的内在属性，而非特定参数选择的人为产物。
4. 实际应用性： 结构化转换框架允许从业者在无需深厚博弈论专业知识的情况下，利用标准的的需求工程制品（如依赖网络和利益相关者图谱）来实例化这些模型。

作者将这项工作定位为协调研究计划的第二个组成部分（继关于相互依赖性和互补性研究 [34] 之后），为战略竞合中的“可靠性”维度提供了一个全面的计算框架。他们强调，该模型解释了为什么尽管存在结构性激励，合作仍会失败（由于信任天花板的存在），并为多利益相关者系统的恢复时间表设定了现实的预期。