Skip to main content
SpringerLink
Log in

The Ψ Calculus: An Algebraic Agent Language

  • Conference paper
  • First Online:
Intelligent Agents VIII (ATAL 2001)

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

Included in the following conference series:

Abstract

Ψ is a novel algebraic language for the specification of agents, such as BDI agents, which employ a sense-compute-act computation cycle and stored plan execution as the basis of agent behaviour. It generalizes and extends agent architectures such as PRS and dMARS in several ways, and possesses a complete operational semantics covering all aspects of agent computation from intention step execution to the top-level control cycle. This is specified uniformly in process algebraic style by rewrite rules, and has certain safety, guarantee and compositionality properties which facilitate reasoning about agent program behaviour.

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. Michael E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.

    Google Scholar 

  2. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Vol. B, pages 243–320. MIT Press/Elsevier, 1990.

    Google Scholar 

  3. M. d’Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In Intelligent Agents IV: Proceedings of ATAL-97, Providence, RI, 1997. Springer LNAI 1365.

    Google Scholar 

  4. Michael P. Georgeff and Felix Ingrand. Decision-making in an embedded reasoning system. In Proceedings of IJCAI-89, pages 972–978, Detroit, MI, 1989.

    Google Scholar 

  5. D. Harel and C. Kahana. On statecharts with overlapping. ACM Transactions on Software Engineering and Methodology, 1(4), 1992.

    Google Scholar 

  6. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Control structures of rule-based agent languages. In Intelligent Agents V: Proceedings of ATAL-98, pages 381–396, Paris, 1998. Springer LNAI 1555.

    Google Scholar 

  7. David Kinny. The Distributed Multi-Agent Reasoning System Architecture and Language Specification. Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.

    Google Scholar 

  8. David Kinny. Fundamentals of Agent Computation Theory: Semantics. PhD thesis, Department of Computer Science, University of Melbourne, Australia, 2001.

    Google Scholar 

  9. David Kinny. Reliable agent computation: an algebraic perspective. In Proceedings of the 4th Pacific Rim Workshop on MultiAgent Systems, Taipei, Taiwan, 2001. Springer.

    Google Scholar 

  10. Yves Lesperance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, and Richard B. Scherl. Foundations of a logical approach to agent programming. In Intelligent Agents II: Proceedings of ATAL-95, pages 331–346, Montréal, 1995. Springer LNAI 1037.

    Google Scholar 

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

    Google Scholar 

  12. José Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992.

    Article  MATH  MathSciNet  Google Scholar 

  13. Robin Milner. The polyadic π-calculus: A tutorial. Technical Report LFCS report 91-180, University of Edinburgh, Edinburgh, 1991.

    Google Scholar 

  14. Jörg P. Müller. The right agent (architecture) to do the right thing. In Intelligent Agents V: Proceedings of ATAL-98, pages 211–225, Paris, 1998. Springer LNAI 1555.

    Google Scholar 

  15. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, 1981.

    Google Scholar 

  16. K. V. S. Prasad. A calculus of broadcasting systems. Science of Computer Programming, 25, 1995.

    Google Scholar 

  17. Anand Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away: Proceedings of MAAMAW’ 96, Eindhoven, The Netherlands, 1996. Springer LNAI 1038.

    Google Scholar 

  18. Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR’ 91, pages 473–484, Cambridge, MA, 1991.

    Google Scholar 

  19. Yoav Shoham. AGENT0: a simple agent language and its interpreter. In Proceedings of the Ninth National Conference on Artificial Intelligence, AAAI-91, pages 704–709, Los Angeles, CA, 1991.

    Google Scholar 

  20. Gerd Wagner. A logical and operational model of scalable knowledge-and perception-based agents. In Agents Breaking Away: Proceedings of MAAMAW’ 96, pages 26–41, Eindhoven, The Netherlands, 1996. Springer LNAI 1038.

    Google Scholar 

  21. Jennifer Widom and Stefano Ceri. Active Database Systems. Morgan Kaufmann, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intelligent Agent Laboratory, Department of Information Systems, University of Melbourne, 3010, Australia

    David Kinny

  2. AWAre REsearch Pty. Ltd., Australia

    David Kinny

Authors
  1. David Kinny
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Padualaan 14 De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Information Sciences Institute, University of Southern California, Henry Salvatori Computer Center 232, Los Angeles, CA, 90089-0781, USA

    Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kinny, D. (2002). The Ψ Calculus: An Algebraic Agent Language. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-45448-9_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43858-8

  • Online ISBN: 978-3-540-45448-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation