多智能体系统中并发动态知识信念和肯定性逻辑的研究-计算机学报.pdf

第卷第期 计 算 机 学 报 ３３ ５ 　 　　　　　　　　 Ｖｏｌ．３３Ｎｏ．５ 年月 ２０１０５ Ｍａ２０１０ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 多智能体系统中并发动态知识、信念和 肯定性逻辑的研究 ） ），） ） １ １２ ３ 苏金树 吴立军 杨志华 　 　 ） １（ ） 国防科学技术大学计算机学院长沙４１００７３ 　 　 ） ２（电子科技大学计算机科学与工程学院成都 ） ６１００５４ 　 　 ） ３（广东商学院信息学院广州 ） ５１０３２０ 　 　 、 ， 、 摘要将知识信念和肯定性逻辑从单个智能体扩展到多智能体系统并且实现了多智能体系统中知识信念和 　　 肯定性逻辑与具有并发动态属性的行为之间的很好结合以此为基础，提出了多智能体系统中并发动态知识、信念 ． ， ， ， 、 和肯定性逻辑简称 逻辑为了对 逻辑进行解释也给出了 模型并且讨论了知识信念和 ＣＤＫＢＣ ． ＣＤＫＢＣ ＣＤＫＢＣ ， ， （ ）， 肯定性之间的关系即知识蕴涵着肯定性肯定性蕴涵着信念文中也给出了一个相应的证明系统即公理系统 ． ， 证明了该系统是可靠的和完备的并且证明了系统的有效性问题是 完全的最后论文给出了 逻 ＥＸＰＴＩＭＥ ． ＣＤＫＢＣ 辑的实例． 关键词 ； ； ； 并发动态逻辑 证明系统 模型多智能体系统