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

作者:

Highlights:

摘要

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.

论文关键词:Concurrent dynamic logic,CDKBC proof system,Multi-agent systems

论文评审过程:Received 15 October 2008, Revised 13 November 2009, Accepted 19 November 2009, Available online 26 November 2009.

论文官网地址:https://doi.org/10.1016/j.knosys.2009.11.017