Show simple item record

dc.contributor.authorBlee, Jeff
dc.contributor.authorBillington, David
dc.contributor.authorGovernatori, Guido
dc.contributor.authorSattar, Abdul
dc.contributor.editorDov M. Gabbay, Sarit Kraus, Jörg Siekmann
dc.date.accessioned2017-05-03T11:27:42Z
dc.date.available2017-05-03T11:27:42Z
dc.date.issued2011
dc.date.modified2012-06-29T05:31:40Z
dc.identifier.issn1570-8683
dc.identifier.doi10.1016/j.jal.2011.08.002
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.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent497366 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoeng
dc.publisherElsevier
dc.publisher.placeNetherlands
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofpagefrom250
dc.relation.ispartofpageto273
dc.relation.ispartofissue4
dc.relation.ispartofjournalJournal of Applied Logic
dc.relation.ispartofvolume9
dc.rights.retentionY
dc.subject.fieldofresearchPure mathematics
dc.subject.fieldofresearchMathematical logic, set theory, lattices and universal algebra
dc.subject.fieldofresearchTheory of computation
dc.subject.fieldofresearchCognitive and computational psychology
dc.subject.fieldofresearchArtificial intelligence
dc.subject.fieldofresearchcode4904
dc.subject.fieldofresearchcode490407
dc.subject.fieldofresearchcode4613
dc.subject.fieldofresearchcode5204
dc.subject.fieldofresearchcode4602
dc.titleLevels of modality for BDI Logic
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© 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.
gro.date.issued2011
gro.hasfulltextFull Text
gro.griffith.authorBillington, David
gro.griffith.authorSattar, Abdul


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