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

被引：0
|
作者：
Su J.-S. [1 ]
Wu L.-J. [1 ,2 ]
Yang Z.-H. [3 ]
机构：
[1] School of Computer Science, National University of Defense and Technology
[2] School of Computer Science and Engineering, University of Electronic Science and Technology of China
[3] Information School, Guangdong University of Business Studies
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2010年 / 33卷 / 05期
关键词：
CDKBC model; CDKBC proof system; Concurrent dynamic logic; Multi-agent systems;
D O I：
10.3724/SP.J.1016.2010.00847
中图分类号：
学科分类号：
摘要：
This paper extends the logic of Knowledge, Belief and Certainty(KBC) for one agent to that for multi-agent systems. It presents a Concurrent Dynamic logic of Knowledge, Belief and Certainty for MAS, which is called CDKBC logic, with a good combination between logic of KBC and action modalities that have concurrent and dynamic properties in multi-agent systems. Furthermore, a CDKBC model is given for interpreting this logic. The authors construct a CDKBC proof system for the logic and show the proof system is sound and complete, where the validity problem for the system will be proved to be EXPTIME-complete and give an application of the CDKBC logic.
引用
收藏
页码：847 / 854
页数：7
相关论文
共 18 条
  • [1] Hintikka J., Knowledge and Belief, (1962)
  • [2] Lenzen W., Recent work in epistemic logic, Acta Philosophica Fennica, 30, 1, pp. 1-219, (1978)
  • [3] Fagin R., Halpern J., Moss Y., Vardi M., Reasoning About Knowledge, (1995)
  • [4] Meyer J., Van Der Hoek W., Epistemic logic for AI and computer science, Cambridge Tracts in Theoretical Computer Science 41, (1995)
  • [5] Aumann R., Brandenburger A., Epistemic conditions for Nash equilibrium, Econometrica, 63, 3, pp. 1161-1180, (1995)
  • [6] Fisher M.J., Ladner R.E., Propositional dynamic logic of regular programs, Journal of Computer and System Science, 18, 2, pp. 194-211, (1977)
  • [7] Harel D., Kozen D., Tiuryn J., Dynamic Logic, (2000)
  • [8] Van Ditmarsch H., Van Der Hoek W., Kooi B., Dynamic epistemic logic with assignment, Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems, 1, pp. 141-148, (2005)
  • [9] Plaza J., Logics of public communications, Proceedings of the 4th International Symposium on Methodologics for Intelligent System, pp. 201-216, (1989)
  • [10] Gerbrandy J., Bisimulation on planet kripke, (1999)
12