Plexil-Like Plan Execution Control in Agent Programming

BDI-based agent programming languages are well-known technologies for implementing autonomous agents in dynamic environments. Supporting robot programming however requires the plan representation and execution control capabilities of these languages to be extended for 1-) controlling and monitoring the execution of actions in complex arrangements and 2-) coordinating the parallel execution of plans over shared resources. To this end, this paper adapts and extends PLEXIL, an expressive and well-defined robotic plan execution language, for plan representation and execution in BDI-based agent programming languages. The syntax and semantics of the new language is presented and its integration in operational semantics of BDI-based agent programming languages is discussed