Research on a novel multi-agents dynamic cooperation method based on associated intent

  • Authors:
  • Weijin Jiang;Xiaoling Ding;Yuhui Xu;Wang Chen;Wei Chen

  • Affiliations:
  • Institute of computer application, Hunan University of Commerce, Changsha, China;Institute of computer application, Hunan University of Commerce, Changsha, China;School of Art Layout, Hunan University of Commerce, Changsha, China;School of Art Layout, Hunan University of Commerce, Changsha, China;School of Art Layout, Hunan University of Commerce, Changsha, China

  • Venue:
  • AICI'10 Proceedings of the 2010 international conference on Artificial intelligence and computational intelligence: Part I
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

With the information explosion speeds up the increasing of computing complexity rapidly, the traditional centralized computing patterns are under great pressure to process those large-scale distributed information. However, the agent-based computation and high-level interaction protocols foster the modern computation and distributed information processing successfully. The multi-agent system (MAS) plays an important role in the analysis of the humaninteraction theory and model building. This study focuses on the formal description of MAS, the conflict-resolving mechanisms and the negotiation in MAS. The communication between agents has some special requirements. One of them is asynchronous communication. Used communication sequence process (CSP) to descript a model of agents communication with shared buffer channel. The essence of this model is very suitable for the multiagents communication, so it is a base for our next step job. Based on the communication model, explored the distributed tasks dealing method among joint intention agents and with description of relation between tasks we give a figure of agents' organization. Agents communicate with each other in this kind of organization. The semantics of agent communication is another emphasis in this paper. With the detailed description of agents' communication process, given a general agent automated negotiation protocol based on speech act theory in MAS, then we use CSP to verify this protocol has properties of safety and liveness, so prove it is logic right. At last a frame of this protocol's realization was given.