Abstract
This paper describes the concurrent agent-oriented language AgentSpeak. AgentSpeak can model distributed autonomous agents, situated in dynamic environments, that are reactive as well as proactive towards the environment. Agents are organized into agent families offering certain services to other agents. Services are realized through the execution of an associated Plan. Each agent will also be associated with a Database. Some of the services, and a portion of the database could be public; i.e. available outside the agent. Therefore it follows that the remainder of the database, the remaining services and all of the plans will be private to the agent-family. The language supports and extends concurrent object-oriented language features such as synchronous and asynchronous messages and has well developed group communication primitives.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. E. Bratman, D. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.
N. Carriero and D. Gelernter. Linda in context. Communications of the ACM, 32(4), November 1989.
S. A. Dobson. An approach to Scalable Parallel Programming. PhD thesis, Dept. of Computer Science, University of York, 1993.
E. Dubois, P. Du Bois, and M. Petit. O-o requirements analysis: An agent perspective. In Lecture notes in Computer Science-707, pages 458–481, 1993.
T. Finin, J. Weber, G. Wiederhold, M. Genesereth, R. Fritzson, D. McKay, J. McGuire, R. Pelavin, S. Shapiro, and C. Beck. Specification of the kqml agentcommunication language: Draft. Technical report, The DARPA Knowledge Sharing Initiative, External Interfaces Working Group, Baltimore, USA, 1993.
Michael Fisher. Representing and executing agent-based systems. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.
L. Gasser and J. P. Briot. Object-based concurrent programming and distributed artificial intelligence. Distributed Artificial Intellegence Theory and Practice, 1992.
M. P. Georgeff and A. L. Lansky. Procedural knowledge. In Proceedings of the IEEE Special Issue on Knowledge Representation, volume 74, pages 1383–1398, 1986.
A. Goscinski. Distributed Operating Systems — The Logical Design. Addison Wesley, 1991.
C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.
F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
N. Karppinen, A. Lucas, M. Ljungberg, and P. Repusseau. Artificial Intelligence in Air Traffic Flow Management. Technical Report 16, Australian Artificial Intelligence Institute, Carlton, Australia, 1991.
F. G. McCabe and Keith L. Clark. April — agent process interaction language. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.
A. Rao, D. Morley, M. Selvestrel, and G. Murray. Representation, selection, and execution of team tactics in air combat modelling. In Proceedings of the Australian Joint Conference on Artificial Intelligence, AI'92, 1992.
A. S. Rao. Means-end plan recognition: Towards a theory of reactive recognition. In Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KRR-94), Bonn, Germany, 1994.
A. S. Rao and M. P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, 1991.
A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo, CA, 1992.
A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), Chamberey, France, 1993.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.
B. Stroustrup. The C++ Programming Language. Addison Wesley, 1993.
S. R. Thomas. The placa agent programming language. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.
M. Wooldridge. This is myworld: The logic of an agent-oriented testbed for dai. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.
M. Wooldridge and N. R. Jennings. Agent theories, architectures, and languages: A survey. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.
A. Yonezawa and M. Tokoro. Modelling and programming in an object-oriented concurrent language abcl/1. In Object-oriented Concurrent Programming, pages 55–89. The MIT press, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weerasooriya, D., Rao, A., Ramamohanarao, K. (1995). Design of a concurrent agent-oriented language. In: Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents. ATAL 1994. Lecture Notes in Computer Science, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58855-8_25
Download citation
DOI: https://doi.org/10.1007/3-540-58855-8_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58855-9
Online ISBN: 978-3-540-49129-3
eBook Packages: Springer Book Archive