Skip to main content
SpringerLink
Log in

Agent Programming with Declarative Goals

  • Conference paper
  • First Online:
Intelligent Agents VII Agent Theories Architectures and Languages (ATAL 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1986))

Included in the following conference series:

Abstract

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming frameworks have not incorporated the concept of a declarative goal. Instead, such frameworks have focused mainly on plans or goals-to-do instead of the end goals to be realised which are also called goals-to-be. In this paper, a new programming language called GOAL is introduced which incorporates such declarative goals. The notion of a commitment strategy - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL. Finally, a proof theory for proving properties of GOAL agents is introduced. An example program is proven correct by using this programming logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gregory R. Andrews. Concurrent Programming: Principles and Practice. The Benjamin/Cummings Publishing Company, 1991

    Google Scholar 

  2. K. Mani Chandy and Jayadev Misra. Parallel Program Design. Addison-Wesley, 1988

    Google Scholar 

  3. Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990

    Article  MATH  MathSciNet  Google Scholar 

  4. Michael Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI). Morgan Kaufmann,1997

    Google Scholar 

  5. Giuseppe De Giacomo, Yves Lespérance, and Hector Levesque. ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence, accepted for publication.

    Google Scholar 

  6. K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer. A Formal Embedding of AgentSpeak(L) in 3APL. In G. Antoniou and J. Slaney, editors, Advanced Topics in Artificial Intelligence,pages 155–166. Springer-Verlag, 1998

    Google Scholar 

  7. K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer. An Operational Semantics for the SingleAgent Core ofAGENT-0. Technical ReportUU-CS-1999-30, Department of Computer Science, University Utrecht, 1999

    Google Scholar 

  8. K. Hindriks, F. de Boer, W. van der Hoek, and J.-J. Meyer. Agent Programming in 3APL.Autonomous Agents and Multi-Agent Systems, 2(4):357–401, 1999

    Article  Google Scholar 

  9. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Agent Programming with Declarative Goals. Technical ReportUU-CS-2000-16, Department of Computer Science, University Utrecht, 2000

    Google Scholar 

  10. Koen V. Hindriks, Yves Lespérance, and Hector J. Levesque. An Embedding of ConGolog in 3APL. InWerner Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence, pages 558–562, 2000

    Google Scholar 

  11. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems.Springer-Verlag, 1992

    Google Scholar 

  12. John-Jules Ch. Meyer, Wiebe van der Hoek, and Bernd van Linder. A Logical Approach to the Dynamics of Commitments. Aritificial Intelligence, 113:1–40, 1999

    Article  MATH  Google Scholar 

  13. Anand S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language.InW. van derVelde and J.W. Perram, editors, Agents Breaking Away, 1996

    Google Scholar 

  14. Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics.In M.J. Wooldridge, J.P. Müller, and M. Tambe, editors, Intelligent Agents II. Springer-Verlag, 1996

    Google Scholar 

  15. Anand S. Rao and Michael P. Georgeff. Intentions and Rational Commitment. Technical Report8, Australian Artificial Intelligence Institute, Melbourne, Australia, 1990

    Google Scholar 

  16. Steven Shapiro and Yves Lespérance. Modeling Multiagent Systems with CASL—AFeature Interaction Resolution Application. In C. Castelfranchi and Y. Lespérance, editors, Intelligent Agents VII (LNAI). Springer-Verlag, 2001. In this volume

    Google Scholar 

  17. Yoav Shoham. Agent-oriented programming.Artificial Intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

  18. Sarah Rebecca Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis,Department of Computer Science, Stanford University, 1993

    Google Scholar 

  19. Wayne Wobcke. On the Correctness of PRS Agent Programs. In N.R. Jennings and Y. Lespérance, editor, Intelligent Agents VI (LNAI1757). Springer-Verlag, 2000

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Information & Computing Sciences, University Utrecht, P.O. Box 80 089, 3508 TB, Utrecht

    Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek & John-Jules Ch. Meyer

Authors
  1. Koen V. Hindriks
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Communication Sciences, “Cognitive Science”, University of Siena, piazza S.Francesco 8, 53100, Siena, Italy

    Cristiano Castelfranchi

  2. Department of Computer Science, York University, 4700 Keele Street, M3J 1P3, Toronto, Ontario, Canada

    Yves Lespérance

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, JJ.C. (2001). Agent Programming with Declarative Goals. In: Castelfranchi, C., Lespérance, Y. (eds) Intelligent Agents VII Agent Theories Architectures and Languages. ATAL 2000. Lecture Notes in Computer Science(), vol 1986. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44631-1_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-44631-1_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42422-2

  • Online ISBN: 978-3-540-44631-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation