Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori Vineet Padmanabhan$
We present a new computational model of BDI-agents, called the observation-based BDI-model. The key point of this BDI-model is to express agents’ beliefs, desires and intentions 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 BDI-model is computationally grounded in that we are able to associate the BDI-agent model with a computer program, and formulas, involving agents’ beliefs, desires (goals) and intentions, can be understood as properties of program computations. We present a sound and complete proof system with respect to our BDI-model and explore how symbolic model checking techniques can be applied to model checking BDI-agents. In order to make our BDI-model more flexible and practically realistic, we generalize it so that agents can have multiple sources of beliefs, goals and intentions.
Content Area: 1. Agents/Multiagent Systems
Subjects: 7.1 Multi-Agent Systems; 1.6.1 Automated Device Modeling
Submitted: May 10, 2005