Subgoal semantics in agent programming

Authors:
M. Birna van Riemsdijk;Mehdi Dastani;John-Jules Ch. Meyer
Affiliations:
ICS, Utrecht University, The Netherlands;ICS, Utrecht University, The Netherlands;ICS, Utrecht University, The Netherlands
Venue:
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Year:
2005

Citing 9
Cited 6

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
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
An architecture for Real-Time Reasoning and System Control

IEEE Expert: Intelligent Systems and Their Applications
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
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
Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Semantics of declarative goals in agent programming

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Goal representation for BDI agent systems

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Dynamics of declarative goals in agent programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Goal-oriented modularity in agent programming

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Plan patterns for declarative goals in AgentSpeak

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Operational semantics of goal models in adaptive agents

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Current issues in multi-agent systems development

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Programming declarative goals using plan patterns

DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
An operational semantics for the goal life-cycle in BDI agents

Autonomous Agents and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.