Implementing BDI agents using Petri nets

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 linear algebra concepts, when the belief will tend to a fact as new information is perceived by the agent.

[1]  Leonid Sheremetov,et al.  Weiss, Gerhard. Multiagent Systems a Modern Approach to Distributed Artificial Intelligence , 2009 .

[2]  Anand S. Rao,et al.  Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics , 1995, ATAL.

[3]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .

[4]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[5]  Jörg P. Müller,et al.  A Pragmatic BDI Architecture , 1997, ATAL.

[6]  Antonio Ramírez-Treviño,et al.  Observer design for discrete event systems modeled by interpreted Petri nets , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[7]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[8]  Alessandro Giua.  Petri net state estimators based on event observation , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[9]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[10]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[11]  Jörg Desel,et al.  Free choice Petri nets , 1995 .

[12]  Philip R. Cohen,et al.  Persistence, Intention, and Commitment , 2003 .

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..