In: C.A. Coello Coello, A. de Albornoz, L.E. Sucar, O.C. Battistutti (Eds.): MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002, pages 1-. Springer Verlag, LNAI 2313, May 2002.
Abstract: Applying intelligent planning in most real applications requires the separation between a plan generator agent and an execution agent. This paper presents the development of an execution monitoring agent for a dynamic planner that has been developed for assistance of an operator in a power plant. A brief description of the dynamic planner is presented together with a description of the representation language utilized. This language is inspired in the SRI's ACT formalism. The execution agent receives a plan and notifies the operator the actions required for a given state of the process and certain given goals. The main contribution of the paper is the conversion from the ACT formalism to a Petri net for robust and efficient monitoring.