Show simple item record

dc.contributor.authorSu, Kaileen_US
dc.contributor.authorYue, Weiyaen_US
dc.contributor.authorSattar, Abdulen_US
dc.contributor.authorOrgun, Mehmeten_US
dc.contributor.authorLuo, Xiangyuen_US
dc.date.accessioned2017-05-03T17:00:03Z
dc.date.available2017-05-03T17:00:03Z
dc.date.issued2006en_US
dc.date.modified2010-08-30T07:04:30Z
dc.identifier.issn03029743en_US
dc.identifier.doi10.1007/11811220_31en_AU
dc.identifier.urihttp://hdl.handle.net/10072/27998
dc.description.abstractWe present a new model of knowledge, belief, desire and intention, called the interpreted KBDI-system model (or KBDI-model for short). The key point of the interpreted KBDI-system model is that we express an agent's knowledge, belief, desire and intention as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent model due to Halpern and his colleagues. Our KBDI-model is computationally grounded in that we are able to associate a KBDI-model with a computer program, and formulas, involving agents' knowledge, belief, desire (goal) and intention, can be understood as properties of program computations. With KBDI-model, we have two different semantics to interpret our logic of knowledge, belief, desire and intention. Moreover, with respect to each semantics, we present a sound and complete proof system.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofpagefrom366en_US
dc.relation.ispartofpageto378en_US
dc.relation.ispartofjournalLecture Notes in Computer scienceen_US
dc.relation.ispartofvolume4092en_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchcode280213en_US
dc.subject.fieldofresearchcode280403en_US
dc.titleObservation-Based Logic of Knowledge, Belief, Desire and Intentionen_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.date.issued2006
gro.hasfulltextNo Full Text


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