A concurrent dynamic logic of knowledge, belief and certainty for   multi-agent systems

doi:10.1016/j.knosys.2009.11.017

CORC > 北京大学 > 信息科学技术学院

	A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
	Wu, Lijun ; Su, Jinshu ; Su, Kaile ; Luo, Xiangyu ; Yang, Zhihua
刊名	knowledge based systems
	2010
关键词	Concurrent dynamic logic CDKBC proof system Multi-agent systems
DOI	10.1016/j.knosys.2009.11.017
英文摘要	This paper extends the logic of knowledge, belief and certainty from one agent to multi-agent systems, and gives a good combination between logic of knowledge, belief, certainty in multi-agent systems and actions that have concurrent and dynamic properties. Based on it, we present a concurrent dynamic logic of knowledge, belief and certainty for MAS, which is called CDKBC logic. Furthermore, a CDKBC model is given for interpreting this logic. We construct a CDKBC proof system for the logic and show that the proof system is sound and complete, and prove that the validity problem for the system is EXPTIME-complete. (C) 2009 Elsevier B.V. All rights reserved.; Computer Science, Artificial Intelligence; SCI(E); EI; 4; ARTICLE; 2; 162-168; 23
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/244692]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Wu, Lijun,Su, Jinshu,Su, Kaile,et al. A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems[J]. knowledge based systems,2010.
APA	Wu, Lijun,Su, Jinshu,Su, Kaile,Luo, Xiangyu,&Yang, Zhihua.(2010).A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.knowledge based systems.
MLA	Wu, Lijun,et al."A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems".knowledge based systems (2010).