Observation-based logic of knowledge, belief, desire and intention

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

*Corresponding author for this work

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

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationKnowledge Science, Engineering and Management - First International Conference, KSEM 2006, Proceedings
EditorsLang Jerome, Fangzhen Lin, Ju Wang
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Pages366-378
Number of pages13
Volume4092 LNAI
ISBN (Print)3540370331, 9783540370338
Publication statusPublished - 2006
Event1st International Conference on Knowledge Science, Engineering and Management, KSEM 2006 - Guilin, China
Duration: 5 Aug 20068 Aug 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4092 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other1st International Conference on Knowledge Science, Engineering and Management, KSEM 2006
CountryChina
CityGuilin
Period5/08/068/08/06

Fingerprint Dive into the research topics of 'Observation-based logic of knowledge, belief, desire and intention'. Together they form a unique fingerprint.

  • Cite this

    Su, K., Yue, W., Sattar, A., Orgun, M. A., & Luo, X. (2006). Observation-based logic of knowledge, belief, desire and intention. In L. Jerome, F. Lin, & J. Wang (Eds.), Knowledge Science, Engineering and Management - First International Conference, KSEM 2006, Proceedings (Vol. 4092 LNAI, pp. 366-378). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4092 LNAI). Berlin; Heidelberg: Springer, Springer Nature.