Operational Semantics for Agent Communication Languages

Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operating agents, into which agent communication languages can be integrated. In this language, each agent has a mental state comprised of an informational component and a motivational component; interaction between the agentsproceedsviaarendezvouscommunicationmechanism.Thelanguagebuilds upon well-understood concepts from the object-oriented programming paradigm as object classes, method invocations and object creation. The formal semantics of the language are de ned by means of transition rules that describe its operational behaviour. Moreover, the operational semantics closely follow the syntactic e of the language, and hence give rise to an abstract machine to interpret it.

• Type: Conference
• Year: 2000
• Where: AGENTCL
• Authors: Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
• Keywords: Agent Communication, AGENTCL 2000, Intelligent Agents, Multi-agent Programming Language, Operational Semantics