基于RASA的多Agent交互协议研究
Agent间进行协作的基础是交互,而通信是实现Agent交互的一种重要方式和手段。采用何种通信模式和语言关系到能否有效地实现Agent的交互协作。RASA是2007年Tim Miller提出的一个MAS交互协议框架,这个框架已被证明可以更好的促进MAS的交互,但此框架并不支持MAS的并发,本文利用了一种冲突优先方式,引入了效益评价函数来解决其状态无法确定的问题,并扩展了RASA的定义来支持其并发,随后采用了一种基于时间自动机的自动验证工具Uppaal,利用一个简单的拍卖协议来验证这种方法的可行性。最后利用RASA语言描述了一个简单的协商协议和一个拍卖协议,以显示RASA协议的良好特性。
进程代数 约束语言 Agent 交互协议
杨毅 王黎明
郑州大学信息工程学院,河南 郑州 450001
国内会议
广州
中文
213-216
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）