近几年来,合作逻辑的研究引起了广泛关注并取得了很大的进展。合作逻辑是用来对多主体系统中联盟的合作能力进行推理的逻辑,所谓联盟的合作能力是指不论联盟外的其他主体采取什么行动,该联盟中的主体通过合作能确保某一事态成立。然而,以往的合作逻辑并没有适当刻画联盟是如何达成某一事态的,也没有考虑联盟中主体信息不完全时的合作能力。带有行动和知识的合作逻辑的发展可以弥补这些不足,可用来对联盟的合作能力、行动和知识进行推理,同时也具有很强的语言表达力。
科研之友
微信
新浪微博
Facebook
分享链接
