Semantics of Plan Revision in Intelligent Agents

13 years 10 months ago

Download www.cs.uu.nl

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 speciﬁc interpreter, the semantics of which will prove to be equivalent to object-level 3APL.

Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S

Real-time Traffic

3APL | AMAST 2004 | Denotational Semantics | Software Engineering | Various 3APL Interpreters |

claim paper

» A Semantic Approach for Iterated Revision in Possibilistic Logic

» Dynamic Logic for Plan Revision in Intelligent Agents

» Arguing about Plans Plan Representation and Reasoning for Mixedinitiative Planning

» Mutual Belief Revision Semantics and Computation

» Parallel Belief Revision

» Internal models and private multiagent belief revision

» Dynamic intention structures I a theory of intention representation

» Plan Generation and Plan Execution in Agent Programming

Post Info
More Details (n/a)

Added	30 Jun 2010
Updated	30 Jun 2010
Type	Conference
Year	2004
Where	AMAST
Authors	Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer

Comments (0)

Sciweavers

Semantics of Plan Revision in Intelligent Agents

3APL | AMAST 2004 | Denotational Semantics | Software Engineering | Various 3APL Interpreters |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers