Show simple item record

dc.contributor.authorWu, L
dc.contributor.authorSu, K
dc.contributor.authorHan, Y
dc.contributor.authorChen, J
dc.contributor.authorLu, X
dc.date.accessioned2017-08-21T00:11:36Z
dc.date.available2017-08-21T00:11:36Z
dc.date.issued2017
dc.identifier.issn2095-2228
dc.identifier.doi10.1007/s11704-016-5100-y
dc.identifier.urihttp://hdl.handle.net/10072/344526
dc.description.abstractMulti-agent systems (MAS) have received extensive studies in the last decade. However, little attention is paid to investigation on reasoning about logics in MAS with hierarchical structures. This paper proposes a complete quantified temporal KBC (knowledge, belief and certainty) logic and corresponding reasoning in hierarchical multi-agent systems (HMAS). The key point is that internal beliefs and certainty, and external belief and certainty are considered in our logic. The internal beliefs and certainty show every agent is autonomous, while the external belief and certainty indicate the mutual influence of mental attitudes between two different agents on different layers in HMAS. To interpret this logic, we propose four classes of corresponding quantified interpreted systems, and define first-order KBC axiomatisations over HMAS, which are sound and complete with respect to the corresponding semantical classes. Finally, we give a case study to show the advantages in terms of expressiveness of our logic.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofpagefrom499
dc.relation.ispartofpageto510
dc.relation.ispartofissue3
dc.relation.ispartofjournalFrontiers of Computer Science
dc.relation.ispartofvolume11
dc.subject.fieldofresearchOther information and computing sciences not elsewhere classified
dc.subject.fieldofresearchcode469999
dc.titleReasoning about knowledge, belief and certainty in hierarchical multi-agent systems
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
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