10、集体承诺的调节机制

集体承诺的调节机制

1. 社会计划示例

在团队合作中，为了证明一个新的数学定理，可能会制定不同的社会计划。以下是两种不同的计划形式：

1.1 并行计划

第一种计划中，引理证明者依次证明引理 1 和引理 2，定理证明者根据这两个引理证明定理，这两个过程并行进行，随后证明检查者按固定顺序检查他们的证明。形式化表示如下：

P = ⟨⟨⟨⟨provelemma1, l⟩; ⟨provelemma2, l⟩⟩∥⟨provetheorem, t⟩⟩;
⟨⟨⟨checklemma1, c⟩; ⟨checklemma2, c⟩⟩; ⟨checktheorem, c⟩⟩⟩

1.2 选择计划

第二种计划中，两个引理中的任意一个都足以证明定理。计划形式为：

P = ⟨⟨⟨⟨⟨provelemma1, l⟩; ⟨checklemma1, c⟩⟩∪⟨⟨provelemma2, l⟩;
⟨checklemma2, c⟩⟩⟩; ⟨provetheorem, t⟩⟩; ⟨checktheorem, c⟩⟩

2. 社会承诺

2.1 社会承诺的定义

在团队合作模型中，成对或社会承诺是核心要素。通常，两个代理之间的合作涉及不对称的角色分工：一个代理（j）希望实现某种状态（执行某个动作），另一个代理（i）决定可以执行所需的动作。当 j 愿意让 i 作为助手并监督目标的实现时，他们认识到合作的潜力，