dc.contributor.author | Blee, Jeff | |
dc.contributor.author | Billington, David | |
dc.contributor.author | Sattar, Abdul | |
dc.contributor.editor | Ghose, A | |
dc.contributor.editor | Governatori, G | |
dc.contributor.editor | Sadananda, R | |
dc.date.accessioned | 2017-05-03T14:07:56Z | |
dc.date.available | 2017-05-03T14:07:56Z | |
dc.date.issued | 2009 | |
dc.date.modified | 2009-09-11T04:59:48Z | |
dc.identifier.isbn | 978-3-642-01638-7 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.refuri | http://www.ai.soc.i.kyoto-u.ac.jp/prima/ | |
dc.identifier.doi | 10.1007/978-3-642-01639-4_39 | |
dc.identifier.uri | http://hdl.handle.net/10072/25633 | |
dc.description.abstract | Modelling real world problems using rational agents has been heavily investigated over the past two decades. BDI (Beliefs, Desires, and Intentions) Logic has been widely used 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 proposes the basis of a framework that extends BDI Logic to take into account qualitative levels of the mentalistic notions of beliefs, desires, and intentions. We also describe a set of axioms and properties of the extended logic. | |
dc.description.peerreviewed | Yes | |
dc.description.publicationstatus | Yes | |
dc.format.extent | 220014 bytes | |
dc.format.mimetype | application/pdf | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Springer Verlag | |
dc.publisher.place | Heidelberg, Germany | |
dc.publisher.uri | http://www.springer.com/computer/artificial/book/978-3-642-01638-7 | |
dc.relation.ispartofstudentpublication | Y | |
dc.relation.ispartofconferencename | 10th Pacific Rim International Conference on Multi-Agent Systems | |
dc.relation.ispartofconferencetitle | AGENT COMPUTING AND MULTI-AGENT SYSTEMS | |
dc.relation.ispartofdatefrom | 2007-11-21 | |
dc.relation.ispartofdateto | 2007-11-23 | |
dc.relation.ispartoflocation | Bangkok, THAILAND | |
dc.relation.ispartofpagefrom | 410 | |
dc.relation.ispartofpagefrom | 6 pages | |
dc.relation.ispartofpageto | 415 | |
dc.relation.ispartofpageto | 6 pages | |
dc.relation.ispartofvolume | 5044 | |
dc.rights.retention | Y | |
dc.subject.fieldofresearch | Information and computing sciences | |
dc.subject.fieldofresearchcode | 46 | |
dc.title | Reasoning with Levels of Modalities in BDI Logic | |
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 | © 2009 Springer. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at www.springerlink.com | |
gro.date.issued | 2009 | |
gro.hasfulltext | Full Text | |
gro.griffith.author | Billington, David | |
gro.griffith.author | Sattar, Abdul | |