A Compositional Semantics of Plan Revision in Intelligent Agents

This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalization however results in the semantics of programs of the 3APL language no longer being compositional. This gives rise to problems when trying to define a proof system for the language. In this paper we define a restricted version of plan revision rules which extends procedures, but which does have a compositional semantics, as we will formally show.

• Type: Conference
• Year: 2006
• Where: AMAST
• Authors: M. Birna van Riemsdijk, John-Jules Ch. Meyer
• Keywords: Agent Programming Language, AMAST 2006, Plan Revision Rules, So-called Plan Revision, Software Engineering