Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication

摘要

Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent's architecture (in particular a BDI-like architecture) would be required in giving such semantics more rigorously. On the other hand, BDI agent-oriented programming languages have had their semantics formalised for abstract versions only, neglecting practical aspects such as communication primitives; this means that, at least in what concerns communication, implementations of BDI programming languages have been ad hoc. This paper tackles, however preliminarily, both these problems by giving semantics to speech-act based messages received by an AgentSpeak(L) agent. AgentSpeak(L) is a BDI, agent-oriented, logic programming language for which interpreters have been developed, and its theoretical foundations are of great interest. Our work here builds upon a structural operational semantics to AgentSpeak(L) that we have given in previous work. The contribution of this paper is two-fold: we here extend our earlier work on providing a solid theoretical background on which to base existing implementations of AgentSpeak(L) interpreters, as well as we shed light on a more computationally grounded approach to giving semantics for some key illocutionary forces used in speech-act based agent communication languages.