Show simple item record

dc.contributor.authorWu, Lijun
dc.contributor.authorSu, Jinshu
dc.contributor.authorSu, Kaile
dc.contributor.authorLuo, Xiangyu
dc.contributor.authorYang, Zhihua
dc.date.accessioned2017-05-03T14:39:41Z
dc.date.available2017-05-03T14:39:41Z
dc.date.issued2010
dc.date.modified2011-08-19T06:44:32Z
dc.identifier.issn09507051
dc.identifier.doi10.1016/j.knosys.2009.11.017
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherElsevier
dc.publisher.placeNetherlands
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom162
dc.relation.ispartofpageto168
dc.relation.ispartofissue2
dc.relation.ispartofjournalKnowledge-Based Systems
dc.relation.ispartofvolume23
dc.rights.retentionY
dc.subject.fieldofresearchInformation and computing sciences
dc.subject.fieldofresearchComputational logic and formal languages
dc.subject.fieldofresearchCommerce, management, tourism and services
dc.subject.fieldofresearchPsychology
dc.subject.fieldofresearchcode46
dc.subject.fieldofresearchcode461303
dc.subject.fieldofresearchcode35
dc.subject.fieldofresearchcode52
dc.titleA concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.date.issued2010
gro.hasfulltextNo Full Text
gro.griffith.authorSu, Kaile


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