Show simple item record

dc.contributor.authorBillington, Daviden_US
dc.contributor.authorBlee, Jeffen_US
dc.contributor.authorGovernatori, Guidoen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.editorDov M. Gabbay, Sarit Kraus, Jörg Siekmannen_US
dc.date.accessioned2017-04-04T14:45:56Z
dc.date.available2017-04-04T14:45:56Z
dc.date.issued2011en_US
dc.date.modified2012-06-29T05:31:40Z
dc.identifier.issn15708683en_US
dc.identifier.doi10.1016/j.jal.2011.08.002en_US
dc.identifier.urihttp://hdl.handle.net/10072/42852
dc.description.abstractThe use of rational agents for modelling real world problems has both been heavily investigated and become well accepted, with BDI (Beliefs, Desires, and Intentions) Logic being a widely used architecture to represent and reason about rational agency. However, in the real world, we often have to deal with different levels of confidence in the beliefs we hold, desires we have, and intentions that we commit to. This paper extends our previous framework that integrated qualitative levels of beliefs, desires, and intentions into BDI Logic. We describe an expanded set of axioms and properties of the extended logic. We present a modular structure for the semantics which involves a non-normal Kripke type semantics that may be used for other agent systems. Further, we demonstrate the usefulness of our framework with a scheduling task example.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.format.extent497366 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherElsevier BVen_US
dc.publisher.placeNetherlandsen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofpagefrom250en_US
dc.relation.ispartofpageto273en_US
dc.relation.ispartofissue4en_US
dc.relation.ispartofjournalJournal of Applied Logicen_US
dc.relation.ispartofvolume9en_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchMathematical Logic, Set Theory, Lattices and Universal Algebraen_US
dc.subject.fieldofresearchcode010107en_US
dc.titleLevels of modality for BDI Logicen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 2011 Elsevier. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. Please refer to the journal's website for access to the definitive, published version.en_US
gro.date.issued2011
gro.hasfulltextFull Text


Files in 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