Show simple item record

dc.contributor.authorSu, K
dc.contributor.authorLuo, X
dc.contributor.authorSattar, A
dc.contributor.authorOrgun, MA
dc.contributor.editorPeter Stone, Gerhard Weiss
dc.date.accessioned2017-05-03T14:39:50Z
dc.date.available2017-05-03T14:39:50Z
dc.date.issued2006
dc.date.modified2007-08-06T02:25:58Z
dc.identifier.isbn9781595933034
dc.identifier.doi10.1145/1160633.1160668
dc.identifier.urihttp://hdl.handle.net/10072/12087
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. We present a sound and complete proof system with respect to our KBDI-model and explore how symbolic model checking techniques can be applied to model checking multi-agent systems with KBDI-models.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.format.extent97902 bytes
dc.format.extent18744 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.languageEnglish
dc.language.isoeng
dc.publisherACM Press
dc.publisher.placeNew York
dc.publisher.urihttp://portal.acm.org/toc.cfm?id=1160633&type=proceeding&coll=GUIDE&dl=GUIDE&CFID=23772535&CFTOKEN=76851635
dc.relation.ispartofstudentpublicationN
dc.relation.ispartofconferencenameFifth International Joint Conference on Autonomous Agents and Multiagent Systems
dc.relation.ispartofconferencetitleProceedings of the International Conference on Autonomous Agents
dc.relation.ispartofdatefrom2006-05-08
dc.relation.ispartofdateto2006-05-12
dc.relation.ispartoflocationHakodate, Japan
dc.relation.ispartofpagefrom220
dc.relation.ispartofpageto222
dc.relation.ispartofvolume2006
dc.rights.retentionY
dc.subject.fieldofresearchcode280403
dc.titleThe interpreted system model of knowledge, belief, desire and intention
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.rights.copyright© ACM, 2006. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ISBN 1595933034, http://doi.acm.org/10.1145/1160633.1160668
gro.date.issued2006
gro.hasfulltextFull Text
gro.griffith.authorSattar, Abdul
gro.griffith.authorSu, Kaile


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record