The interpreted system model of knowledge, belief, desire and intention

Kaile Su*, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

6 Citations (Scopus)
3 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems
EditorsPeter Stone, Gerhard Weiss
Place of PublicationNew York
PublisherACM
Pages220-222
Number of pages3
Volume2006
ISBN (Print)1595933034, 9781595933034
DOIs
Publication statusPublished - 2006
EventFifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS - Hakodate, Japan
Duration: 8 May 200612 May 2006

Other

OtherFifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
CountryJapan
CityHakodate
Period8/05/0612/05/06

Fingerprint Dive into the research topics of 'The interpreted system model of knowledge, belief, desire and intention'. Together they form a unique fingerprint.

  • Cite this

    Su, K., Luo, X., Sattar, A., & Orgun, M. A. (2006). The interpreted system model of knowledge, belief, desire and intention. In P. Stone, & G. Weiss (Eds.), Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (Vol. 2006, pp. 220-222). New York: ACM. https://doi.org/10.1145/1160633.1160668