Implementing BDI agents using Petri Nets

Abstract

This paper is concerned with Multiagent System (MAS). In particular, the design of a function that generates beliefs in an agent using the Belief-Desire-Intention (BDI) architecture is presented. This work is developed in the Discrete Event Systems (DES) context, since they include a broad class of systems like Flexible Manufacturing Systems that can be modeled as Interpreted Petri Net (IPN). The mathematical analysis used in this paper allows to determine, using lineal algebra concepts, when the belief will tend to a fact as new information is perceived by the agent.