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

There are no files associated with this record.

Title A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Author Wu, Lijun; Su, Jinshu; Su, Kaile; Luo, Xiangyu; Yang, Zhihua
Journal Name Knowledge-Based Systems
Year Published 2010
Place of publication Nethelrands
Publisher Elsevier BV
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.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1016/j.knosys.2009.11.017
Volume 23
Issue Number 2
Page from 162
Page to 168
ISSN 0950-7051
Date Accessioned 2011-07-21
Date Available 2011-08-19T06:44:32Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Computational Logic and Formal Languages
URI http://hdl.handle.net/10072/40140
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1x

Brief Record

Griffith University copyright notice