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

作者:苏金树;吴立军;杨志华 刊名:计算机学报 上传者:唐晓燕

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

全文阅读

第 33 卷  第 5 期 2010 年 5 月 计   算   机   学   报 CHINESE JOURNAL OF COMPU TERS Vol. 33 No. 5 May 2010 收稿日期:200805221 ;最终修改稿收到日期:200909218. 本课题得到国家“九七三”重点基础研究发展规划项目基金(2009cb320503) 、国 家自然科学基金(60873008)和博士后科学基金(20070410978) 资助. 苏金树 ,男 ,1962 年生 ,教授 ,博士生导师 ,主要研究领域为网络安全. 吴立军(通信作者) ,男 ,1965 年生 ,博士 ,副教授 ,主要研究方向为形式化方法和信息安全. E2mail : wljuestc @sina. com. 杨志华 ,男 , 1964 年生 ,博士 ,副教授 ,主要研究方向为信号分析、模式识别和信息安全. 多智能体系统中并发动态知识、信念和肯定性逻辑的研究 苏金树1)  吴立军1) ,2)  杨志华3) 1) (国防科学技术大学计算机学院  长沙   410073) 2) (电子科技大学计算机科学与工程学院  成都   610054) 3) (广东商学院信息学院  广州   510320) 摘  要  将知识、信念和肯定性逻辑从单个智能体扩展到多智能体系统 ,并且实现了多智能体系统中知识、信念和肯定性逻辑与具有并发动态属性的行为之间的很好结合. 以此为基础 ,提出了多智能体系统中并发动态知识、信念和肯定性逻辑 ,简称 CDKBC 逻辑.为了对 CDKBC 逻辑进行解释 ,也给出了 CDKBC 模型 ,并且讨论了知识、信念和肯定性之间的关系 ,即知识蕴涵着肯定性 ,肯定性蕴涵着信念. 文中也给出了一个相应的证明系统(即公理系统) , 证明了该系统是可靠的和完备的 ,并且证明了系统的有效性问题是 EXPTIME 完全的. 最后论文给出了 CDKBC 逻辑的实例. 关键词  并发动态逻辑 ;CDKBC 证明系统 ;CDKBC 模型 ;多智能体系统中图法分类号 TP309    DOI号 : 10. 3724/ SP.J. 1016. 2010. 00847 Research on Concurrent Dynamic Logic of Knowledge , Belief and Certainty for Multi2Agent SystemsSU Jin2Shu 1)  WU Li2J un1) ,2)  YAN G Zhi2Hua3)1) ( School of Computer Science , N ational University of Def ense and Technology , Changsha  410073) 2) ( School of Computer Science and Engineering , University of Electronic Science and Technology of China , Chengdu  610054) 3) ( Inf ormation School , Guangdong University of B usiness Studies , Guangzhou   510320) Abstract   This paper extends the logic of Knowledge , Belief and Certainty ( KBC) for one agent to that for mul

参考文献

引证文献

问答

我要提问