GOAL as a Planning Formalism

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.

[1]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[2]  autoepistemic Zogic Logic programming and negation : a survey , 2001 .

[3]  Marta Cialdea Mayer,et al.  Using Linear Temporal Logic to Model and Solve Planning Problems , 1998, AIMSA.

[4]  Lin Padgham,et al.  Hierarchical planning in BDI agent programming languages: a formal approach , 2006, AAMAS '06.

[5]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[6]  Bernhard Nebel,et al.  In Defense of PDDL Axioms , 2003, IJCAI.

[7]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[8]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[9]  Derek Long,et al.  Plan Constraints and Preferences in PDDL3 , 2006 .

[10]  Koen V. Hindriks,et al.  Modules as Policy-Based Intentions: Modular Agent Programming in GOAL , 2007, PROMAS.

[11]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[12]  Jorge A. Baier,et al.  Planning with Temporally Extended Goals Using Heuristic Search , 2006, ICAPS.

[13]  Koen V. Hindriks,et al.  Agent programming with temporally extended goals , 2009, AAMAS.

[14]  Carla Limongelli,et al.  Linear temporal logic as an executable semantics for planning languages , 2007, J. Log. Lang. Inf..

[15]  Edwin P. D. Pednault,et al.  ADL and the State-Transition Model of Action , 1994, J. Log. Comput..

[16]  Bernhard Nebel,et al.  On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle , 2008, KR.

[17]  Jorge A. Baier,et al.  Planning with First-Order Temporally Extended Goals using Heuristic Search , 2006, AAAI.