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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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.
Jean-Yves Girard. Linear Logic. Theoretical Computer Science, 50:1–102, 1987.
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.
Yoav Shoham. Agent-oriented Programming. Artificial Intelligence 60, 60(1):51–92, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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