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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems |
| Editors | Peter Stone, Gerhard Weiss |
| Place of Publication | New York |
| Publisher | ACM |
| Pages | 220-222 |
| Number of pages | 3 |
| Volume | 2006 |
| ISBN (Print) | 1595933034, 9781595933034 |
| DOIs | |
| Publication status | Published - 2006 |
| Event | Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS - Hakodate, Japan Duration: 8 May 2006 → 12 May 2006 |
Other
| Other | Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS |
|---|---|
| Country/Territory | Japan |
| City | Hakodate |
| Period | 8/05/06 → 12/05/06 |