9、基于智能体计算的逻辑基础

基于智能体计算的逻辑基础

承诺的逻辑基础

在智能体的逻辑体系中，承诺相关的规则有着重要意义：
1. 承诺限制再承诺能力 ：当智能体做出承诺后，它就失去了（重新）承诺的能力。
2. 承诺是解除承诺的充要条件 ：只有处于承诺状态，智能体才有机会解除承诺。
3. 无法撤销有效承诺 ：对于那些已知正确且可行以实现某个目标的行动承诺，智能体在道德上不能撤销。
4. 知晓解除承诺能力 ：智能体清楚自己解除某些行动承诺的能力。
5. 撤销不可行承诺 ：当智能体对一个不再实际可行的行动做出承诺时，它知道可以撤销这个不可能的承诺。

以下命题形式化了在 KARO 中有效的承诺静态的一些期望特性：
命题 3. 对于所有 (i \in A)，(\alpha, \alpha_1, \alpha_2 \in Ac) 以及所有 (\phi \in L)，我们有：
1. (\vDash Committed_i\alpha \to K_iCommitted_i\alpha)
2. (\vDash Committed_i(\alpha_1; \alpha_2) \to Committed_i\alpha_1 \land K_i[do_i(\alpha_1)]Committed_i\alpha_2)
3. (\vDash Committed_i) if (\phi) then (\alpha_1) else (\alpha_2) fi (\land K_i\ph