ML Anthology

Computationally Grounded Model of BDI-Agents

Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
IJCAI 2005 pp. 1581-1582
/ijcai/2005/su2005ijcai-computationally/

Abstract

We introduce a multimodal logic of belief, desire and intention, called OBDI logic, where the changes and computation of agents' beliefs, desires, and desires are based on agents' observations (i.e. local states), and we propose a model checking techniques for the logic based on interpreted systems.

PDF Semantic Scholar

Cite

Text

Su et al. "Computationally Grounded Model of BDI-Agents." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Su et al. "Computationally Grounded Model of BDI-Agents." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/su2005ijcai-computationally/)

BibTeX

@inproceedings{su2005ijcai-computationally,
  title     = {{Computationally Grounded Model of BDI-Agents}},
  author    = {Su, Kaile and Sattar, Abdul and Wang, Kewen and Governatori, Guido},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {1581-1582},
  url       = {https://mlanthology.org/ijcai/2005/su2005ijcai-computationally/}
}