GOAL as a planning formalism

Authors:
Koen V. Hindriks;Tijmen Roberti
Affiliations:
Delft University of Technology, Delft, The Netherlands;Delft University of Technology, Delft, The Netherlands
Venue:
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Year:
2009

Citing 10
Cited 2

Intention is choice with commitment

Artificial Intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Hierarchical planning in BDI agent programming languages: a formal approach

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Linear temporal logic as an executable semantics for planning languages

Journal of Logic, Language and Information
Agent programming with temporally extended goals

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
Planning with first-order temporally extended goals using heuristic search

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
In defense of PDDL axioms

Artificial Intelligence
Modules as policy-based intentions: modular agent programming in GOAL

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems

Agent programming via planning programs

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
An interface for agent-environment interaction

ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by the lack of planners that are able to operate in dynamic, complex environments. Vice versa it has also been observed, however, that agent programming languages typically lack planning capabilities. We show in this paper that the agent programming language Goal is not only a programming language but can actually be used as a planning formalism as well. This opens up many possibilities for various approaches to mix execution and planning in agent-oriented programming. Moreover, by using the recently introduced temporal Goal we are able to include not only the stratified axioms and ADL that are part of PDDL but also plan constraints.