Semantics of plan revision in intelligent agents |
| |
Authors: | M Birna van Riemsdijk John-Jules Ch Meyer Frank S de Boer |
| |
Affiliation: | 1. ICS, Utrecht University, The Netherlands;2. CWI, Amsterdam, The Netherlands;3. LIACS, Leiden University, The Netherlands |
| |
Abstract: | In this paper, we give an operational and denotational semantics for a meta-language of the 3APL agent programming language. With this meta-language, various 3APL interpreters can be programmed. We prove equivalence of the operational and denotational semantics. Furthermore, we give an operational semantics for object-level 3APL. Using this semantics, we relate the 3APL meta-language to object-level 3APL by providing a specific interpreter, the semantics of which will prove to be equivalent to object-level 3APL. |
| |
Keywords: | Agent programming language Structural operational semantics Denotational semantics |
本文献已被 ScienceDirect 等数据库收录! |
|