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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值