GOAL as a planning formalism

Koen V. Hindriks; Tijmen Roberti

doi:10.1007/978-3-642-04143-3_4

GOAL as a planning formalism

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

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.

Original language	English
Title of host publication	Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings
Pages	29-40
Number of pages	12
DOIs	https://doi.org/10.1007/978-3-642-04143-3_4
Publication status	Published - 2 Nov 2009
Externally published	Yes
Event	7th German Conference on Multiagent System Technologies, MATES 2009 - Hamburg, Germany Duration: 9 Sept 2009 → 11 Sept 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5774 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th German Conference on Multiagent System Technologies, MATES 2009
Country/Territory	Germany
City	Hamburg
Period	9/09/09 → 11/09/09

Access to Document

10.1007/978-3-642-04143-3_4

Handle.net

Persistent link

Cite this

@inproceedings{301aa4d3801c4b1293e147f8802352ea,

title = "GOAL as a planning formalism",

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.",

author = "Hindriks, {Koen V.} and Tijmen Roberti",

year = "2009",

month = nov,

day = "2",

doi = "10.1007/978-3-642-04143-3_4",

language = "English",

isbn = "3642041426",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "29--40",

booktitle = "Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings",

note = "7th German Conference on Multiagent System Technologies, MATES 2009 ; Conference date: 09-09-2009 Through 11-09-2009",

}

Hindriks, KV & Roberti, T 2009, GOAL as a planning formalism. in Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5774 LNAI, pp. 29-40, 7th German Conference on Multiagent System Technologies, MATES 2009, Hamburg, Germany, 9/09/09. https://doi.org/10.1007/978-3-642-04143-3_4

GOAL as a planning formalism. / Hindriks, Koen V.; Roberti, Tijmen.

Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings. 2009. p. 29-40 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5774 LNAI).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - GOAL as a planning formalism

AU - Hindriks, Koen V.

AU - Roberti, Tijmen

PY - 2009/11/2

Y1 - 2009/11/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70350378239&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70350378239&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04143-3_4

DO - 10.1007/978-3-642-04143-3_4

M3 - Conference contribution

AN - SCOPUS:70350378239

SN - 3642041426

SN - 9783642041426

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 29

EP - 40

BT - Multiagent System Technologies - 7th German Conference, MATES 2009, Proceedings

T2 - 7th German Conference on Multiagent System Technologies, MATES 2009

Y2 - 9 September 2009 through 11 September 2009

ER -

GOAL as a planning formalism

Abstract

Publication series

Conference

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this