A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems

Authors:
Lijun Wu;Jinshu Su;Xiangyu Luo;Zhihua Yang;Qingliang Chen
Affiliations:
School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China 410073;School of Computer Science, National University of Defense and Technology, Changsha, China 610054;Department of Computer Science, Guilin University of Electronic Technology, Guilin, China 541004 and School of Software, Tsinghua University, Beijing, China 10084;Information school, Guangdong university of business stuides, Guangzhou, China 510320;Jinan University, Guangzhou, China 510632
Venue:
Canadian AI '09 Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence
Year:
2009

Citing 10
Cited 0

Concurrent dynamic logic

Journal of the ACM (JACM)
Communication in concurrent dynamic logic

Journal of Computer and System Sciences
Reasoning about knowledge

Reasoning about knowledge
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
Dynamic Logic

Dynamic Logic
Descriptions of Game Actions

Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions

The logic of public announcements, common knowledge, and private suspicions
Logics for information update

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Dynamic epistemic logic with assignment

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A computationally grounded logic of knowledge, belief and certainty

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 the proof system is sound and complete, and prove the validity problem for the system is EXPTIME-complete.