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