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.
Highlights
A multi-agent system [1] consists of set of agents that operate together in order to achieve some goals
That the collective behavior of agents can be described by the synthetic temporal logic that unite linear and branching time temporal logics
The central problem in a multiagent system is that of coordinating the work of the agents, a process that may be understood as that of assuring that the sequences of actions performed by the agents is consistent and coordinated
Summary
A multi-agent system [1] consists of set of agents that operate together in order to achieve some goals Such system can be considered as the organization of agents (by analogy to the human organization) or, in other words, as some artificial society. The central problem of the interactions that took place in open systems and not being cooperative (dialogues of negotiations) is the problem of conformity check between agent behavior and interaction protocol. Recognition of the step which is carried out by two spatially divided agents jointly, require analyzing the concept of interaction of processes. The basis of formal models of protocols is cooperating sequential processes Fundamental features these models differ are the degree of synchronization of behaviour of participants of interaction. This paper is the attempt to analyze by logic the concept of synchronization in these frameworks
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
