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.
Unable to display preview. Download preview PDF.
- 3.Bratman, M.E.: Intention, plans, and practical reason. Harvard University Press, Massachusetts (1987)Google Scholar
- 4.Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)Google Scholar
- 7.Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.J.Ch.: A programming language for cognitive agents: goal directed 3APL. In: Programming multiagent systems, first international workshop (ProMAS 2003). LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)Google Scholar
- 13.van Riemsdijk, M.B., de Boer, F.S., Meyer, J.J.Ch.: Dynamic logic for plan revision in intelligent agents. Technical Report UU-CS-2005-013, Utrecht University, Institute of Information and Computing Sciences. Journal of Logic and Computation (to appear, 2005)Google Scholar
- 14.Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)Google Scholar