dc.contributor.author | Wu, Lijun | |
dc.contributor.author | Su, Jinshu | |
dc.contributor.author | Su, Kaile | |
dc.contributor.author | Luo, Xiangyu | |
dc.contributor.author | Yang, Zhihua | |
dc.date.accessioned | 2017-05-03T14:39:41Z | |
dc.date.available | 2017-05-03T14:39:41Z | |
dc.date.issued | 2010 | |
dc.date.modified | 2011-08-19T06:44:32Z | |
dc.identifier.issn | 09507051 | |
dc.identifier.doi | 10.1016/j.knosys.2009.11.017 | |
dc.identifier.uri | http://hdl.handle.net/10072/40140 | |
dc.description.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. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Elsevier | |
dc.publisher.place | Netherlands | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofpagefrom | 162 | |
dc.relation.ispartofpageto | 168 | |
dc.relation.ispartofissue | 2 | |
dc.relation.ispartofjournal | Knowledge-Based Systems | |
dc.relation.ispartofvolume | 23 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Information and computing sciences | |
dc.subject.fieldofresearch | Computational logic and formal languages | |
dc.subject.fieldofresearch | Commerce, management, tourism and services | |
dc.subject.fieldofresearch | Psychology | |
dc.subject.fieldofresearchcode | 46 | |
dc.subject.fieldofresearchcode | 461303 | |
dc.subject.fieldofresearchcode | 35 | |
dc.subject.fieldofresearchcode | 52 | |
dc.title | A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems | |
dc.type | Journal article | |
dc.type.description | C1 - Articles | |
dc.type.code | C - Journal Articles | |
gro.date.issued | 2010 | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Su, Kaile | |