Observation-Based Logic of Knowledge, Belief, Desire and Intention

There are no files associated with this record.

Title Observation-Based Logic of Knowledge, Belief, Desire and Intention
Author Su, Kaile; Yue, Weiya; Sattar, Abdul; Orgun, Mehmet A; Luo, Xiangyu
Journal Name Lecture Notes in Computer Science
Year Published 2006
Place of publication Germany
Publisher Springer
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. 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.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/11811220_31
Volume 4092
Page from 366
Page to 378
ISSN 0302-9743
Date Accessioned 2009-11-12
Date Available 2010-08-30T07:04:30Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject PRE2009-Logics and Meanings of Programs; PRE2009-Other Artificial Intelligence
URI http://hdl.handle.net/10072/27998
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1a

Brief Record

Griffith University copyright notice