The Specification of Agent Interaction in Multi-Agent Systems

Dmitri CHEREMISINOV

.

DOI: 10.4236/iim.2009.12011                

Abstract

The problem of the description of interaction between agents in a multi-agent system (MAS) in the form of dialogues of negotiations is considered. For formalization of the description of interaction at a level of steps of the dialogue which is carried out in common by two spatially divided agents, the concept of synchronization of processes is analyzed. The approach to formalization of the description of conditions of synchronization when both the independent behaviour, and the communications of agents can be presented at a level of logic is offered. It is shown, that the collective behavior of agents can be described by the synthetic temporal logic that unite linear and branching time temporal logics.

Keywords

interaction protocol, temporal logic, parallel algorithm

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	V. S. Subrahmanian, P. Bonatti, J. Dix, et al., “Heterogeneous Agent Systems,” MIT Press, 2000.
[2]	S. D. Brookes, C. A. R. Hoare, and A. D. Roscoe, “A theory of communicating sequential processes,” Journal of the ACM, Vol. 31, No. 3, pp. 560–599, 1984.
[3]	S. D. Brookes, C. A. R. Hoare, and A. D. Roscoe, “A theory of communicating sequential processes,” Journal of the ACM, Vol. 31, No. 3, pp. 560–599, 1984.
[4]	C. A. R. Hoare, “Communicating sequential processes,” Prentice Hall International Series in Computer Science, 1985.
[5]	R. Van Glabbeek and F. Vaandrager, “The difference between Splitting in n and n+1,” Report CS-R9553, Centre for Mathematics and Computer Science, Amsterdam 1995, Abstract in: Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, March 5-8, 1991 (E. Best & G. Rozenberg, eds.), GMD-Studien Nr. 191, Sankt Augustin, Germany 1991. Information and Computation, Vol. 136, No. 2, pp. 109–142, 1997.
[6]	D. I. Cheremisinov, “The real difference between linear and branching temporal logics,” Workshop on Discrete-Event System Design DESDes’04, University of Zielona Gora Press, Poland, pp. 103–108, 2004.
[7]	A. D. Zakrevski, “Parallel algorithms of logic control,” Minsk, Belarus, pp. 202, 1999. (in Russian)
[8]	D. I. Cheremisinov and L. Cheremisinova, “Specifying agent interaction protocols with Parallel control algorithms,” Proceedings of 11th International Conference of Knowledge-Dialog-Solution (KDS’05), Varna, Bulgaria, рp. 496–503, June 20–30, 2005.
[9]	R. Milner, “A calculus of communication systems,” LNCS’92, Springer Verlag, 1980.
[10]	C. E. Shannon, “A mathematical theory of communication,” Bell System Technical Journal, Vol. 27, pp. 379– 423, pp. 623–656, 1948.
[11]	J. Odell, H. V. D. Parunak, M. Fleischer, and S. Brueckner, “Modeling agents and their environment,” Proceedings of the 3 International Workshop on Agent Oriented Software Engineering, Lecture Notes in Computer Science, Springer Verlag (Berlin, D), Vol. 2585, pp. 16–31, 2003.
[12]	F. Finin, Y. Labrou and J. Mayfield, “KQML as an agent communication language,” edited by J. M. Bradshaw, Software Agents, MIT Press, pp. 291–316, 1997.
[13]	Foundation for Intelligent Physical Agents (FIPA), http://www.fipa.org.
[14]	V. Lesser, “Cooperative multiagent systems: A personal view of the state of the art,” in: IEEE Transactions of Knowledge and Data Engineering, Vol. 11, No. 1, pp. 133–142, 1999.