并发博弈结构相关论文
Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑，它对计算树逻辑（CTL ＊）进行了合作算子拓展，然而它缺乏对不确定时态信息......
联盟规范系统（coalitional normative system，简称CNS）通过选择性地限制联盟的联合行动来对规范系统（normative system，简称NS）进行扩展．......
非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外。在前期关于AgentBD I逻辑、多Agent合作逻辑、多Agent......
交互时态认知逻辑（ATEL）是对交互时态逻辑（ATL）的扩展，但是它只刻画了知识，没有探讨信念的刻画问题．给出广义并发博弈结构，以模态算子的形......
前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子，没有探讨它们的模糊语义问题，利用可信度函数给出模糊并发博弈结构......
交互时态逻辑已被广泛应用于开放系统的规范描述，交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有......
