Semantics of Plan Revision in Intelligent Agents

Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equivalence of these two semantics. Furthermore, we relate this 3APL meta-language to objectlevel 3APL by providing a specific interpreter, the semantics of which will prove to be equivalent to object-level 3APL.

• Type: Conference
• Year: 2004
• Where: AMAST
• Authors: Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
• Keywords: 3APL, AMAST 2004, Denotational Semantics, Software Engineering, Various 3APL Interpreters