Sciweavers

EPIA
2005
Springer

Subgoal Semantics in Agent Programming

14 years 4 months ago
Subgoal Semantics in Agent Programming
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action or plans. Subgoals can have a procedural interpretation (directly linked to a concrete plan) or a declarative one (the state to be reached as represented by the subgoal is taken into account). We propose a formal semantics for subgoals that interprets these declaratively, and study the relation between this semantics and the procedural subgoal semantics of the cognitive agent programming language 3APL. We prove that subgoals of 3APL can be programmed to behave declaratively, although the semantics is defined procedurally.
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPIA
Authors M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
Comments (0)