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, 23(2): 162-168.

DOI：10.1016/j.knosys.2009.11.017

• Concurrent dynamic logic
• CDKBC proof system
• Multi-agent systems

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.

• 出版日期2010-3
• 单位北京大学; 中国人民解放军国防科学技术大学; 广东财经大学; 电子科技大学; 清华大学