Skip to main content

Agent-Oriented Programming in Linear Logic: An Example

  • Conference paper
PRICAI 2000 Topics in Artificial Intelligence (PRICAI 2000)

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

Included in the following conference series:

  • 923 Accesses

Abstract

Agent-oriented programming (AOP) represents a new way of analysing, designing, and implementing complex software applications. This approach has been successfully used in complex applications with distributed components, which require concurrent behaviour, efficient reasoning, dependable communication, sharing and integration of knowledge. Such applications range from from comparatively small systems such as personalised email filters to large, complex, mission critical systems such as air traffic control. Since its introduction, various approaches have been proposed to determine a suitable architecture for agent-based systems. There have been a number of attempts to model AOP, some of which also involve an implemented development environment (such as JACK [1], or dMARS) whilst others are an abstract specification of necessary constructs such as Agent0 [4].

This paper is based on the first author’s Honours thesis.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

References

  1. Paolo Busetta, Ralph Ronnquist, Andrew Hodgson, and Andrew Lucas. JACK Intelligent Agents-Components for Intelligent Agents in Java. Technical report, Agent Oriented Software Pry. Ltd, Melbourne, Australia, 1998.

    Google Scholar 

  2. Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50:1–102, 1987.

    Article  MATH  Google Scholar 

  3. James Harland, David Pym, and Michael Winikoff. Programming in Lygon: An overview. In Martin Wirsing and Maurice Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 391–05. Springer, July 1996.

    Chapter  Google Scholar 

  4. Yoav Shoham. Agent-oriented Programming. Artificial Intelligence 60, 60(1):51–92, 1993.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Amin, AA., Winikoff, M., Harland, J. (2000). Agent-Oriented Programming in Linear Logic: An Example. In: Mizoguchi, R., Slaney, J. (eds) PRICAI 2000 Topics in Artificial Intelligence. PRICAI 2000. Lecture Notes in Computer Science(), vol 1886. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44533-1_106

Download citation

  • DOI: https://doi.org/10.1007/3-540-44533-1_106

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67925-7

  • Online ISBN: 978-3-540-44533-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics