Show simple item record

dc.contributor.authorWu, Lijunen_US
dc.contributor.authorSu, Jinshuen_US
dc.contributor.authorSu, Kaileen_US
dc.contributor.authorLuo, Xiangyuen_US
dc.contributor.authorYang, Zhihuaen_US
dc.date.accessioned2017-05-03T14:39:41Z
dc.date.available2017-05-03T14:39:41Z
dc.date.issued2010en_US
dc.date.modified2011-08-19T06:44:32Z
dc.identifier.issn09507051en_US
dc.identifier.doi10.1016/j.knosys.2009.11.017en_AU
dc.identifier.urihttp://hdl.handle.net/10072/40140
dc.description.abstractThis 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherElsevier BVen_US
dc.publisher.placeNetherlandsen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofpagefrom162en_US
dc.relation.ispartofpageto168en_US
dc.relation.ispartofissue2en_US
dc.relation.ispartofjournalKnowledge-Based Systemsen_US
dc.relation.ispartofvolume23en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchComputational Logic and Formal Languagesen_US
dc.subject.fieldofresearchcode080203en_US
dc.titleA concurrent dynamic logic of knowledge, belief and certainty for multi-agent systemsen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.date.issued2010
gro.hasfulltextNo Full Text


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record