Sciweavers

Share
AGENTCL
2000
Springer

Operational Semantics for Agent Communication Languages

12 years 1 months ago
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.
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where AGENTCL
Authors Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
Comments (0)
books