中国博士后科学基金(20070410978)
- 作品数：2 被引量：4H指数：1
- 相关作者：吴立军苏金树苏开乐杨志华更多>>
- 相关机构：国防科学技术大学中山大学电子科技大学更多>>
- 发文基金：中国博士后科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 多智能体系统时态认知规范高效符号模型检测的算法研究被引量：3
- 2008年
- Clarke和McMillan提出了利用mu演算和OBDDs符号模型检测时态逻辑的方法.这些方法是非常有效的,能用于验证许多具有极大状态空间的实际系统(状态个数可以超过1020).但是,这些方法不能检测知识逻辑.而时态认知逻辑能更精确地描述分布式领域中系统和协议的规范.文章首先讨论了Kripke结构和mu演算的扩展,然后提出了利用扩展mu演算和OBDDs符号模型检测时态认知逻辑的方法.
- 吴立军苏金树苏开乐
- 关键词：时态认知逻辑符号模型检测安全协议验证
- 多智能体系统中并发动态知识、信念和肯定性逻辑的研究被引量：1
- 2010年
- 将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统,并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合.以此为基础,提出了多智能体系统中并发动态知识、信念和肯定性逻辑,简称CDKBC逻辑.为了对CDKBC逻辑进行解释,也给出了CDKBC模型,并且讨论了知识、信念和肯定性之间的关系,即知识蕴涵着肯定性,肯定性蕴涵着信念.文中也给出了一个相应的证明系统(即公理系统),证明了该系统是可靠的和完备的,并且证明了系统的有效性问题是EXPTIME完全的.最后论文给出了CDKBC逻辑的实例.
- 苏金树吴立军杨志华
- 关键词：多智能体系统
