检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:王斌[1] 盛津芳 王建新[1] 张尧学[2] 陈松乔[1]
机构地区:[1]中南大学信息科学与工程学院计算机理论与软件研究所,湖南长沙410083 [2]清华大学计算机系,北京100084
出 处:《小型微型计算机系统》2005年第1期26-31,共6页Journal of Chinese Computer Systems
基 金:国家教育部重点课题 ([2 0 0 0 ] 15 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 protocols realization was ginen.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.15.22.202