24、协作行为的语义刻画：实用协作语义与相关问题探讨

协作行为的语义刻画：实用协作语义与相关问题探讨

实用协作语义

相关性概念缺乏粒度促使我们定义替代语义，以接近理想状态且实现分布式实施。最简单的方法是放宽要求 R1，允许错过分布式相关贡献。

基本协作语义

• 定义 ：设 $F = \langle R_t, \Phi, Ag \rangle$ 是一个抽象对话框架。对话 $d = \langle t, \langle m_j \rangle, o \rangle \in d(F)$ 属于 $F$ 的基本协作语义（记为 $Basic(F)$），当且仅当满足以下条件以及正确性（定义 13）：
  • 局部进展 ：对于序列中的每个移动 $m_j = \langle id_j, X_j \rangle$，$X_j$ 是对 $PU_{j - 1}^d$ 的纯 $t$ 相关贡献。
  • 局部完整性 ：如果 $m_j$ 是序列中的最后一个移动，则不存在代理 $K_{id} \in Ag$ 使得 $K$ 是对 $PU_j^d$ 的弱 $t$ 相关贡献。
• 性质 ：
  • 局部进展条件实现了要求 R2，且意味着全局进展。命题 7 表明，若对话 $d$ 满足局部进展，则在 $F$ 下满足全局进展。
  • 局部完整性条件使要求 R1 受到影响。命题 8 指出，若对话 $d$ 满足全局完整性，则在 $F$ 下满足局部完整性；反之，当且仅当相关性概念 $R