APPLYING π-CALCULUS TO DYNAMICALLY-CHANGING PLAN FOR AGENT MODEL
Kazunori Iwata, Nobuhiro Ito, Xiaoyong Du, Naohiro Ishii · International Journal of Artificial Intelligence Tools · 2000
In this paper, we apply π-calculus1,2 to the planning for agents. First, we have proposed a new language for describing agent plans based on π-calculus, called PDL (Plan Description Language), and the model to execute them. 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. This property called reflection is very important to agents. We state the properties as theorems and prove them. Second, we have implemented an interpreter for PDL. In order to implement the system, we propose a primitive language, called PiL (Pi-calculus Language). PiL can be used on computers more easily than using the mathematical notations of π-calculus. We have shown that this system executes programs correctly and a plan written in PDL can be executed on the system. Finally, we have proved that the PDL is useful in the dynamically-changing environment by experiments.