10、集体承诺的调节机制

集体承诺的调节机制

1. 社会计划示例

在多主体合作证明数学定理的场景中，存在不同的社会计划。

1.1 第一种计划

当需要证明引理 1、引理 2，再由这两个引理证明定理，并对证明进行检查时，一种可能的社会计划如下：引理证明者依次证明引理 1 和引理 2，定理证明者同时根据这两个引理证明定理，最后证明检查者按固定顺序检查证明。形式化表示为：
[P = \langle\langle\langle\langle provelemma1, l\rangle; \langle provelemma2, l\rangle\rangle\parallel\langle provetheorem, t\rangle\rangle; \langle\langle\langle checklemma1, c\rangle; \langle checklemma2, c\rangle\rangle; \langle checktheorem, c\rangle\rangle\rangle]

1.2 第二种计划

若两个引理中的任意一个就足以证明定理，此时的社会计划为：
[P = \langle\langle\langle\langle\langle provelemma1, l\rangle; \langle checklemma1, c\rangle\rangle\cup\langle\langle provelemma2, l\rangle; \langle checklemma2, c\rangle\rangle\rangle; \langle provetheorem, t\rangle\rangle; \langle chec