《计算机学报》文章摘要   全文下载
文章题目	多智能体系统中并发动态知识、信念和肯定性逻辑的研究
作者	苏金树1) 吴立军1),2) 杨志华3)
作者单位	1)(国防科学技术大学计算机学院 长沙 410073) 2)(电子科技大学计算机科学与工程学院 成都 610054) 3)(广东商学院信息学院 广州 510320)
发表年份	2010
发表月份	5期(847—854)
文章摘要	摘要 将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统，并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合.以此为基础，提出了多智能体系统中并发动态知识、信念和肯定性逻辑，简称CDKBC逻辑.为了对CDKBC逻辑进行解释，也给出了CDKBC模型，并且讨论了知识、信念和肯定性之间的关系，即知识蕴涵着肯定性，肯定性蕴涵着信念.文中也给出了一个相应的证明系统(即公理系统)，证明了该系统是可靠的和完备的，并且证明了系统的有效性问题是EXPTIME完全的.最后论文给出了CDKBC逻辑的实例. 关键词 并发动态逻辑；CDKBC证明系统；CDKBC模型；多智能体系统 中图法分类号 TP309 DOI号: 10.3724/SP.J.1016.2010.00847