BulDML at Institute of Mathematics and Informatics >
International Journal ITK >
2008 >
Volume 2 Number 2 >

Please use this identifier to cite or link to this item:

Title: Formalization of Interaction Events in Multi-agent Systems
Authors: Cheremisinov, Dmitry
Cheremisinova, Liudmila
Keywords: multi-agent system
interaction protocol
Issue Date: 2008
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: The problem of the description of interaction between spatially divided agents in the form of dialogues is explored. The concept of processes synchronization is analyzed to formalize the specification of interaction at the level of events constituting the processes. The approach to formalization of the description of conditions of synchronization when both the independent behavior and the communications of agents can be presented at a logic level is offered. It is shown, that the collective behavior of agents can be specified by the synthetic temporal logic that unites linear and branching time temporal logics.
ISSN: 1313-048X
Appears in Collections:Volume 2 Number 2

Files in This Item:

File Description SizeFormat
ijitk02-2-p09.pdf97.33 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!   Creative Commons License