dc.contributor.author | Su, K | |
dc.contributor.author | Luo, X | |
dc.contributor.author | Sattar, A | |
dc.contributor.author | Orgun, MA | |
dc.contributor.editor | Peter Stone, Gerhard Weiss | |
dc.date.accessioned | 2017-05-03T14:39:50Z | |
dc.date.available | 2017-05-03T14:39:50Z | |
dc.date.issued | 2006 | |
dc.date.modified | 2007-08-06T02:25:58Z | |
dc.identifier.isbn | 9781595933034 | |
dc.identifier.doi | 10.1145/1160633.1160668 | |
dc.identifier.uri | http://hdl.handle.net/10072/12087 | |
dc.description.abstract | We 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.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 97902 bytes | |
dc.format.extent | 18744 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | ACM Press | |
dc.publisher.place | New York | |
dc.publisher.uri | http://portal.acm.org/toc.cfm?id=1160633&type=proceeding&coll=GUIDE&dl=GUIDE&CFID=23772535&CFTOKEN=76851635 | |
dc.relation.ispartofstudentpublication | N | |
dc.relation.ispartofconferencename | Fifth International Joint Conference on Autonomous Agents and Multiagent Systems | |
dc.relation.ispartofconferencetitle | Proceedings of the International Conference on Autonomous Agents | |
dc.relation.ispartofdatefrom | 2006-05-08 | |
dc.relation.ispartofdateto | 2006-05-12 | |
dc.relation.ispartoflocation | Hakodate, Japan | |
dc.relation.ispartofpagefrom | 220 | |
dc.relation.ispartofpageto | 222 | |
dc.relation.ispartofvolume | 2006 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearchcode | 280403 | |
dc.title | The interpreted system model of knowledge, belief, desire and intention | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.faculty | Griffith 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.issued | 2006 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Sattar, Abdul | |
gro.griffith.author | Su, Kaile | |