GOAL as a Planning Formalism

  • Koen V. Hindriks
  • Tijmen Roberti
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5774)

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 temporalGoal we are able to include not only the stratified axioms and ADL that are part of PDDL but also plan constraints.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Apt, K.R., Bol, R.: Logic programming and negation: A survey. Journal of Logic Programming 19, 9–71 (1994)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 16, 123–191 (2000)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Baier, J., McIlraith, S.: Planning with first-order temporally extended goals using heuristic search. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, MA, July 2006, pp. 788–795 (2006)Google Scholar
  4. 4.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)MATHGoogle Scholar
  5. 5.
    Cerrito, S., Mayer, M.C.: Using Linear Temporal Logic to Model and Solve Planning Problems. In: Giunchiglia, F. (ed.) AIMSA 1998. LNCS (LNAI), vol. 1480, pp. 141–152. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  6. 6.
    Cohen, P.R., Levesque, H.J.: Intention Is Choice with Commitment. Artificial Intelligence 42, 213–261 (1990)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Emerson, E.A.: Temporal and Modal Mogic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science (1990)Google Scholar
  8. 8.
    Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3. Technical report, Department of Electronics for Automation, University of Brescia (2005)Google Scholar
  9. 9.
    Hindriks, K.V.: Modules as Policy-Based Intentions. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 156–171. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Hindriks, K.V., van Riemsdijk, M.B., van der Hoek, W.: Agent programming with temporally extended goals. In: Proceedings of the Eighth International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009 (2009)Google Scholar
  11. 11.
    Mayer, M.C., Limongelli, C., Orlandini, A., Poggioni, V.: Linear temporal logic as an executable semantics for planning languages. Journal of Logic, Language and Information 16 (2007)Google Scholar
  12. 12.
    Pednault, E.P.D.: ADL and the State-Transition Model of Action. Journal of Logic and Computation 4(5), 467–512 (1994)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Röger, G., Helmert, M., Nebel, B.: On the Relative Expressiveness of ADL and Golog. In: Proc. of the Eleventh Int. Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 544–550. AAAI Press, Menlo Park (2008)Google Scholar
  14. 14.
    Sardina, S., de Silva, L.P., Padgham, L.: Hierarchical planning in BDI agent programming languages. In: Proc. of the Fifth Int. Conference of Autonomous Agents and Multi-Agent Systems (AAMAS 2006), pp. 1001–1008 (2006)Google Scholar
  15. 15.
    Thiébaux, S., Hoffmann, J., Nebel, B.: In defense of PDDL axioms. Artificial Intelligence 168, 38–69 (2005)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Koen V. Hindriks
    • 1
  • Tijmen Roberti
    • 1
  1. 1.Delft University of TechnologyDelftThe Netherlands

Personalised recommendations