An Autonomy Agent BDI Architecture Based on Pi Calculus

In the research of agent theory and technology, BDI model is the most studied one with the broadest applications. But it lacks specific mapping relationship research between BDI model and particular agent architecture. In this paper, we firstly establish abstract mapping between BDI model and agent autonomy, then stimulate human being autonomy mechanism, establish specific mapping relationship between autonomy agent BDI architecture and individual autonomy, map agent autonomy belief to inside blackboard, autonomy desire to controller, autonomy intention to sensor, effector and data operator, and define this autonomy agent BDI architecture using monadic Pi calculus. Based on our theoretical analysis, this architecture can achieve autonomy because of its closed loop feedback.