Design of a Concurrent Agent-Oriented Language

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.

[1]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[2]  Anand S. Rao,et al.  Means-End Plan Recognition - Towards a Theory of Reactive Recognition , 1994, KR.

[3]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[4]  Eric Dubois,et al.  O-O Requirements Analysis: an Agent Perspective , 1993, ECOOP.

[5]  Keith L. Clark,et al.  April - Agent PRocess Interaction Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[6]  Anand S. Rao,et al.  An architecture for real-time reasoning and system control , 1992, IEEE Expert.

[7]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[8]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[11]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[12]  Noel Karppinen.  Artiicial Intelligence in Air Traac Flow Management , 1991 .

[13]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[14]  Akinori Yonezawa,et al.  Modelling and programming in an object-oriented concurrent language ABCL/1 , 1987 .

[15]  Michael Fisher,et al.  Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[16]  Simon A. Dobson,et al.  An approach to scalable parallel programming , 1993 .

[17]  Andrzej M. Goscinski,et al.  Distributed operating systems - the logical design , 1991 .

[18]  Anand S. Rao,et al.  A Model-Theoretic Approach to the Verification of Situated Reasoning Systems , 1993, IJCAI.

[19]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[20]  Timothy W. Finin,et al.  Specification of the KQML Agent-Communication Language , 1993 .

[21]  Les Gasser,et al.  Object-based concurrent programming and distributed artificial intelligence , 1992 .

[22]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.