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 contributionpeer-review

6 Citations (Scopus)
27 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
Country/TerritoryJapan
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