作　　者： ; ; ; ; (陈松乔）;

机构地区： 中南大学信息科学与工程学院计算机理论与软件研究所

出　　处： 《小型微型计算机系统》 2005年第1期26-31,共6页

摘　　要： 给出了一个通用的基于联合意图的多 Agent系统内部 Agent协商模型 ,详细分析了 Agent间的异步通信机制以及基于语言行为学的 Agent自动协商语义 ,并在该协商语义的基础上给出了 MAS内部基于联合意图的 Agent自动协商通信协议 ,最后利用通信顺序进程验证了该协议的安全性和活性 . The communication between agents has some special requirements. One of them is asynchronous communication. Usedc ommunication s equence process (CSP) to descript a model of agents communication with shared bu ffer channel. The essence of this model is very suitable for the multi-agents c o mmunication, so it is a base for our next step job.Based on the communication mo del, explored the distributed tasks dealing method among joint intention agents and with description of relation between tasks we give a figure of agents org a nization. Agents communicates with each other in this kind of organization. The semantics of agent communication is another emphasis in this paper. With the det ailed description of agent communication process, giveda general agent automa t ed negotiation protocol based on speech act theory in MAS, then we use CSP to ve rify this protocol has properties of safety and liveness, so prove it is logic r ight. At last a frame of this protocols realization was ginen.

关 键 词： 自动协商 联合意图 演算 安全性 活性

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]