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.
['Kaile Su', 'Abdul Sattar', 'Kewen Wang', 'Guido Governatori']
Computationally grounded model of BDI-agents