Semantics of agent communication: An introduction

Communication has been one of the salient issues in the research on concurrent and distributed systems. This holds no less for the research on multi-agent systems. Over the last few years the study of agent communication, and in particular the semantics of agent communication, has attracted increased interest. The present paper provides an introduction to this area. Since agent communication builds upon concepts and techniques from concurrency theory, we start by giving a short historical overview that covers shared-variable concurrency, message-passing, rendezvous, concurrent constraint programming and agent communication. Standard approaches of agent communication identify three different layers: a content layer, message layer and communication layer. To this model we add an extra level, namely the layer of the multi-agent system. Subsequently, we discern three approaches in developing the semantics of programming languages: the axiomatic, operational and denotational approach. Additionally, we discuss semantic aspects of agent communication, including communication histories, compositionality, observable behaviour, failure sets and full abstractness. We illustrate these issues by means of the framework ACPL (Agent Communication Programming Language). Finally, we briefly consider the specification and verification of agent communication.