Show simple item record

dc.contributor.authorChen, Qingliang
dc.contributor.authorSu, Kaile
dc.contributor.authorSattar, Abdul
dc.contributor.authorLuo, Xiangyu
dc.contributor.authorChen, Aixiang
dc.date.accessioned2017-12-13T04:01:01Z
dc.date.available2017-12-13T04:01:01Z
dc.date.issued2016
dc.identifier.issn2095-2228
dc.identifier.doi10.1007/s11704-015-4591-2
dc.identifier.urihttp://hdl.handle.net/10072/101657
dc.description.abstractCoalition logic (CL) enables us to model the strategic abilities and specify what a group of agents can achieve whatever the other agents do. However, some rational mental attitudes of the agents are beyond the scope of CL such as the prestigious beliefs, desires and intentions (BDI) which is an interesting and useful epistemic notion and has spawned substantial amount of studies in multi-agent systems. In this paper, we introduce a first-order coalition BDI (FCBDI) logic for multi-agent systems, which provides a semantic glue that allows the formal embedding and interaction of BDI, coalition and temporal operators in a first-order language. We further introduce a semantic model based on the interpreted system model and present an axiomatic system that is proved sound and complete with respect to the semantics. Finally, it is shown that the computational complexity of its model checking in finite structures is PSPACE-complete.
dc.description.peerreviewedYes
dc.languageEnglish
dc.language.isoeng
dc.publisherHigher Education Press
dc.relation.ispartofpagefrom233
dc.relation.ispartofpageto245
dc.relation.ispartofissue2
dc.relation.ispartofjournalFrontiers of Computer Science
dc.relation.ispartofvolume10
dc.subject.fieldofresearchTheory of computation not elsewhere classified
dc.subject.fieldofresearchInformation and computing sciences
dc.subject.fieldofresearchcode461399
dc.subject.fieldofresearchcode46
dc.titleA first-order coalition logic for BDI-agents
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.hasfulltextNo Full Text
gro.griffith.authorSattar, Abdul
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