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

第33卷第5期 计 算 机 学 报 V01．33No．5 OF 2010 2010年5月 CHINESEJOuRNALCOMPUTERS May 多智能体系统中并发动态知识、信念和 肯定性逻辑的研究 苏金树” 吴立军。’2’ 杨志华3’ ”(国防科学技术大学计算机学院长沙410073) 2’(电子科技大学计算机科学与工程学院成都610054) 3’(广东商学院信息学院广州510320) 摘要将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统，并且实现了多智能体系统中知识、信念和 肯定性逻辑与具有并发动态属性的行为之间的很好结合．以此为基础，提出了多智能体系统中并发动态知识、信念 和肯定性逻辑，简称CDKBC逻辑．为了对CDKBC逻辑进行解释，也给出了CDKBC模型，并且讨论了知识、信念和 肯定性之间的关系，即知识蕴涵着肯定性，肯定性蕴涵着信念．文中也给出了一个相应的证明系统(即公理系统)， 证明了该系统是可靠的和完备的，并且证明了系统的有效性问题是EXPTIME完全的．最后论文给出了CDKBC逻 辑的实例． 关键词并发动态逻辑；CDKBC证明系统；CDKBC模型；多智能体系统 中图法分类号TP309DOI号：10．3724／SP．J．1016．2010．00847 ResearchonConcurrent of and DynamicLogicKnowledge，Belief for Multi—AgentSystems Certainty su WULi-Jun”，∞YANGZhi—Hua3’ Jin—Shul’ and 410073) ”(School Science。NationalUniversityofDefense ofComputer Technology，Changsha 2’(School Scienceand ElectronicScienceand ofChina·Chengdu610054) ofComputer Engineering。Universityof Technology Business 510320) ”(InformationSchool，GuangdongUniversityof Studies，Guangzhou AbstractThis extendsthe of and one Knowledge，Belief agent paper logic Certainty(KBC)for tothatfor aConcurrent of and multi—agentsystems．Itpresents DynamiclogicKnowledge，Belief