多智能体系统中并发动态知识、信念和肯定性逻辑的研究

摘要：

将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统,并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合.以此为基础,提出了多智能体系统中并发动态知识、信念和肯定性逻辑,简称CDKBC逻辑.为了对CDKBC逻辑进行解释,也给出了CDKBC模型,并且讨论了知识、信念和肯定性之间的关系,即知识蕴涵着肯定性,肯定性蕴涵着信念.文中也给出了一个相应的证明系统(即公理系统),证明了该系统是可靠的和完备的,并且证明了系统的有效性问题是EXPTIME完全的.最后论文给出了CDKBC逻辑的实例.

关键词：并发动态逻辑、CDKBC证明系统、CDKBC模型、多智能体系统

所属期刊栏目：33

分类号：TP309(计算技术、计算机技术)

资助基金：国家"九七三"重点基础研究发展规划项目基金2009cb320503;国家自然科学基金60873008;博士后科学基金20070410978

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：847-854