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

Authors:
Lijun Wu;Jinshu Su;Kaile Su;Xiangyu Luo;Zhihua Yang
Affiliations:
School of Computer Science, University of Electronic Science and Technology, Chengdu 410073, China;School of Computer Science, National University of Defense and Technology, Changsha 610054, China;School of Electronics Engineering and Computer Science, Peking University, Beijing 10084, China;School of Software, Tsinghua University, Beijing 10084, China;Information School, Guangdong University of Business Studies, Guangzhou 510320, China
Venue:
Knowledge-Based Systems
Year:
2010

Citing 11
Cited 5

Concurrent dynamic logic

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

Journal of Computer and System Sciences
Process algebra

Process algebra
Reasoning about knowledge

Reasoning about knowledge
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
Completeness and Complexity of Multi-modal CTL

Electronic Notes in Theoretical Computer Science (ENTCS)

Organizational forms for knowledge management in photovoltaic solar energy industry

Knowledge-Based Systems
A complete first-order temporal BDI logic for forest multi-agent systems

Knowledge-Based Systems
iDetect: Content Based Monitoring of Complex Networks using Mobile Agents

Applied Soft Computing
Communicative commitments: Model checking and complexity analysis

Knowledge-Based Systems
Robust design of multi-agent system interactions: A testing approach based on pattern matching

Engineering Applications of Artificial Intelligence

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