A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Pizza into Java: translating theory into practice
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KQML as an agent communication language
Software agents
Agent Communication Languages: The Current Landscape
IEEE Intelligent Systems
Designing Agent Communication Languages for Multi-agent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
AgenTalk: Describing Multiagent Coordination Protocols with Inheritance
TAI '95 Proceedings of the Seventh International Conference on Tools with Artificial Intelligence
The RoboCup synthetic agent challenge 97
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Agent-based negotiation platform for contract electricity market
MMACTE'05 Proceedings of the 7th WSEAS International Conference on Mathematical Methods and Computational Techniques In Electrical Engineering
| Hi-index | 0.00 |
Coordination is crucial to the efficiency of multiagent systems. As it is traditionally achieved through message passing, agent communication languages (ACL) have become a major issue in the field. Yet, existing standard technologies, like KQML, are too rigid, and make too strong assumptions when defining their semantics. More importantly, they only allow the specification of individual messages, but hardly permit to deal with sequences of message exchanges-in other words conversations-which is unavoidable if one wants complex and yet efficient interactions to take place. Conversation policies should thus be heavily integrated with ACLs. We present a framework called POS (Protocol Operational Semantics), which is a unification and generalization of existing work on interaction protocols. It does allow the design (syntax and semantics) of dedicated ACLs together with policies or constraints over the use of messages. It is both powerful and particularly easy to implement. It is general enough to allow different types and granularities of constraints. Its similarity with traditional programming languages semantic specifications provides a basis for powerful validation of syntactic and semantic properties, some of which we present in this paper. As an illustration, we give an extended example of the formalization, implementation and validation of a non-trivial protocol, together with its dedicated ACL. Strangely enough, even though conversation policies is a hot topic in multiagent systems (numerous workshops are dedicated to this theme), very few papers deal with protocol validation. This paper makes an inventory of both syntactic and semantic properties conversation policies may satisfy and gives their possible definition. In order to highlight some of those properties we provide an application example and discuss related simulations.