RASA的多Agent交互协议研究

doi:10.3778/j.issn.1002-8331.2010.28.066

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (28): 232-235.DOI: 10.3778/j.issn.1002-8331.2010.28.066

RASA的多Agent交互协议研究

杨毅，王黎明

郑州大学信息工程学院，郑州 450001

收稿日期:2009-03-02 修回日期:2009-04-22 出版日期:2010-10-01 发布日期:2010-10-01
通讯作者: 杨毅

Research on multi-Agent interaction protocols based on RASA

YANG Yi，WANG Li-ming

School of Information Engineering，Zhengzhou University，Zhengzhou 450001，China

Received:2009-03-02 Revised:2009-04-22 Online:2010-10-01 Published:2010-10-01
Contact: YANG Yi

摘要/Abstract

摘要： RASA是2007年Tim Miller提出的一个MAS（Multi-agent System）交互协议框架，这个框架已被证明可以更好地促进MAS的交互，但此框架并不支持MAS的并发。利用了一种冲突优先方式，引入了效益评价函数来解决其状态无法确定的问题，并扩展了RASA的定义来支持其并发，随后采用了一种基于时间自动机的自动验证工具UPPAAL，利用一个简单的拍卖协议来验证这种方法的可行性。最后利用RASA语言描述了一个简单的协商协议和一个拍卖协议，以显示RASA协议的良好特性。

关键词: RASA, 进程代数, 约束语言, UPPAAL

Abstract: RASA，an interactive protocol framework of MAS（Multi-agent System） put forward by Tim Miller in 2007，has been proved to better promote the interaction of MAS.However，this framework does not support the concurrency of MAS.Therefore，the thesis uses a conflict priority，that is，introducing an efficiency evaluation function to solve the problems which can not be determined in the state.Moreover，it expands the definition of RASA in order to support the concurrency.Then it adopts UPPAAL，an automatic verification tool based on time automation，and uses a very easy auction protocol to prove the feasibility of this approach.Finally，it describes a simple negotiation protocol and an auction protocol with RASA language to show the good characteristics of RASA protocol.

Key words: RASA, process algebra, constraint language, UPPAAL

中图分类号:

TP311

杨毅，王黎明. RASA的多Agent交互协议研究[J]. 计算机工程与应用, 2010, 46(28): 232-235.

YANG Yi，WANG Li-ming. Research on multi-Agent interaction protocols based on RASA[J]. Computer Engineering and Applications, 2010, 46(28): 232-235.

[1]	柴磊，王智学，何明. 指挥控制协同能力需求体系形式化框架[J]. 计算机工程与应用, 2020, 56(5): 49-56.
[2]	蒋溢1，2，罗宇豪1，朱恒伟1. Storm集群下一种基于Topology的任务调度策略[J]. 计算机工程与应用, 2018, 54(7): 84-88.
[3]	刘亚丹，董少春，黄璐璐. 基于TerraSAR-X和Landsat影像的城镇用地提取#br# ——以常州市为例[J]. 计算机工程与应用, 2017, 53(5): 6-11.
[4]	张雷雨1，张飞2. 星载SAR影像的定位与几何纠正[J]. 计算机工程与应用, 2015, 51(18): 175-179.
[5]	马艳芳1，2，陈亮3. 基于部分交互的软件近似度量模型[J]. 计算机工程与应用, 2014, 50(24): 32-37.
[6]	马艳芳1，2，陈亮3. 基于ε-互模拟的软件近似正确性模型[J]. 计算机工程与应用, 2013, 49(11): 15-19.
[7]	姬莉霞1，马建红1，周清雷2. 混杂系统的扩展时间自动机模型及验证研究[J]. 计算机工程与应用, 2012, 48(8): 73-75.
[8]	倪维平，严卫东，芦颖，马心璐. 应用均值漂移和粗糙集理论增强TerraSAR-X图像边缘[J]. 计算机工程与应用, 2012, 48(7): 184-186.
[9]	颜磊1，2，邵永社1，2. TerraSAR图像无控制定位精度研究[J]. 计算机工程与应用, 2011, 47(35): 174-176.
[10]	马苏拉，朱盛. 搜索引擎系统：UML/OCL模型驱动开发[J]. 计算机工程与应用, 2010, 46(22): 54-61.
[11]	黎升洪. Web服务编排中信息对齐交互建模方法研究[J]. 计算机工程与应用, 2010, 46(2): 11-13.
[12]	闫会强¹,肖国玺²,檀润华¹,王秀娟². 基于OCL的配置工具研究与实现[J]. 计算机工程与应用, 2009, 45(6): 73-77.
[13]	冯烟利¹，余镇危²，潘耘³. 基于进程代数的网络体系结构形式化模型[J]. 计算机工程与应用, 2007, 43(24): 155-157.
[14]	葛世伦鞠可一张玉强. 基于OCL优化企业人力资源信息本体模型[J]. 计算机工程与应用, 2007, 43(11): 241-244.

RASA的多Agent交互协议研究

Research on multi-Agent interaction protocols based on RASA

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 14

编辑推荐

Metrics