Abstract. The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.

Keywords: multi-agent system, interaction protocol, parallel control algorithm

ACM Classification Keywords: I.2.11 Computer Applications; Distributed Artificial Intelligence, Multiagent systems; D.3.3 Programming Languages: Language Constructs and Features – Control structures, Concurrent programming structures

Link:

DEVELOPING AGENT INTERACTION PROTOCOLS WITH PRALU

Dmitry Cheremisinov, Liudmila Cheremisinova

http://www.foibg.com/ijita/vol13/ijita13-3-p07.pdf