针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题，提出带有截止期限承诺语义的交互时态承诺逻辑，......

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑，它对计算树逻辑（CTL ＊）进行了合作算子拓展，然而它缺乏对不确定时态信息......

联盟规范系统（coalitional normative system，简称CNS）通过选择性地限制联盟的联合行动来对规范系统（normative system，简称NS）进行扩展．......

非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent......

交互时态认知逻辑（ATEL）是对交互时态逻辑（ATL）的扩展，但是它只刻画了知识，没有探讨信念的刻画问题．给出广义并发博弈结构，以模态算子的形......

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子，没有探讨它们的模糊语义问题，利用可信度函数给出模糊并发博弈结构......

社会法则是一种用于协同多agent系统的有效工具,是模型检测技术的延伸。一般而言,社会法则包括协同目标和规范系统这两个组件——......

交互时态逻辑已被广泛应用于开放系统的规范描述，交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有......

模糊并发博弈结构是一种可以对具有模糊不确定信息的开放系统进行建模和分析的工具,基于该模型的模糊交互时态逻辑的模型检测问题......

多主体合作逻辑是多主体系统研究中关注的热点问题,也是近年来逻辑学与人工智能领域的一个前沿研究课题。国外学者对多主体合作逻......