Computationally Grounded Model of BDI-Agents

Su, K., Sattar, A., Wang, K. and Governatori, G. (2005). Computationally Grounded Model of BDI-Agents. In: L.P. Kaelbling and A. Saffiotti, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). International Joint Conference on Artificial Inteligence, Edinburgh, Scotland, (1581-1582). 30 July - 5 August, 2005.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
ijcai05.pdf ijcai05.pdf application/pdf 127.27KB 731

Author Su, K.
Sattar, A.
Wang, K.
Governatori, G.
Title of paper Computationally Grounded Model of BDI-Agents
Conference name International Joint Conference on Artificial Inteligence
Conference location Edinburgh, Scotland
Conference dates 30 July - 5 August, 2005
Proceedings title Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05)
Place of Publication USA
Publisher IJCAI- International Joint Conference on Artificial Intelligence
Publication Year 2005
Sub-type Fully published paper
ISBN 1-58603-576-2
Editor L.P. Kaelbling
A. Saffiotti
Volume 1
Start page 1581
End page 1582
Total pages 2
Collection year 2005
Language eng
Abstract/Summary 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.
Subjects 280499 Computation Theory and Mathematics not elsewhere classified
280209 Intelligent Robotics
280402 Mathematical Logic and Formal Languages
280200 Artificial Intelligence and Signal and Image Processing
E1
700100 Computer Software and Services
Keyword multi-modal logic
BDI-agents
interpreted systems
model checking
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Copyright (c) 2005 IJCAI (www.ijcai.org)

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Wed, 20 Apr 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering