This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form an abstract 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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Van Riemsdijk, M. B., Dastani, M., & Meyer, J. J. C. (2005). Subgoal semantics in agent programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3808 LNCS, pp. 548–559). Springer Verlag. https://doi.org/10.1007/11595014_54
Mendeley helps you to discover research relevant for your work.