Applying π-calculus to planning for reflective agents

摘要

The π-calculus is applied to agent planning in this paper.First, we propose a new language, called PDL (Plan DescriptionLanguage), based on the π-calculus, for describing agent plans, and asimple model to execute it. The plans described in PDL can be changeddynamically while the agent is executing, because the π-calculusprovides dynamically changing structures. By using this property, theagents can change their plans to adapt to the environment around them,by themselves, while executing their plans. This property, which iscalled reflection, is very important to agents. We state the propertiesas theorems and prove them. Second, we implement an interpreter for PDL.In order to implement the system, we propose a primitive language,called PiL (Pi-calculus Language), that can be used on a computer moreeasily than can the mathematical notations of the π-calculus. We showthat this system can execute programs correctly and that a plan writtenin PDL can be executed on the system. Finally, we show by simpleexperiments that PDL is useful in dynamically changingenvironments