This paper introduces a novel approach to agent planning by applying π-calculus, a formal language for describing concurrent systems, to create dynamically changing plans for agents. The study proposes PDL (Plan Description Language), a new language based on π-calculus for describing agent plans, and a model to execute them. PDL's ability to change dynamically allows agents to adapt their plans in real-time to changing environments. It is proved that the plans described in PDL can be changed dynamically while they are executing, because π-calculus provides dynamically-changing structures. By using this property, agents can change their plans to adapt to the environment around them by themselves in executing their plans. The reflection property is crucial for agents. The properties are stated as theorems and proved. The paper also introduces PiL (Pi-calculus Language), a primitive language designed for easier computer implementation of π-calculus concepts. A PDL interpreter has been implemented. Experiments are used to prove the PDL is useful in the dynamically-changing environment by experiments.
Published in the International Journal on Artificial Intelligence Tools, this article aligns well with the journal's focus on new tools and techniques for developing intelligent systems. By applying π-calculus to agent planning and providing an implementation framework, it contributes to the journal's coverage of innovative approaches to AI.