Semantics of plan revision in intelligent agents

Authors:
M. Birna van Riemsdijk;John-Jules Ch. Meyer;Frank S. de Boer
Affiliations:
ICS, Utrecht University, The Netherlands;ICS, Utrecht University, The Netherlands;ICS, Utrecht University, The Netherlands and CWI, Amsterdam, The Netherlands and LIACS, Leiden University, The Netherlands
Venue:
Theoretical Computer Science - Algebraic methodology and software technology
Year:
2006

Citing 10
Cited 3

Intention is choice with commitment

Artificial Intelligence
Denotational semantics

Handbook of theoretical computer science (vol. B)
Agent-oriented programming

Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
ConGolog, a concurrent programming language based on the situation calculus

Artificial Intelligence
Mathematical Theory of Program Correctness

Mathematical Theory of Program Correctness
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Programming agent deliberation: an approach illustrated using the 3APL language

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent programming in dribble: from beliefs to goals using plans

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems

Goal-oriented modularity in agent programming

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Prototyping 3APL in the Maude term rewriting language

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A compositional semantics of plan revision in intelligent agents

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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.