期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

MAS交互协议的形式化描述和验证

Formal Description and Verification of MAS' Interaction Protocol
下载PDF
导出
摘要 在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题.
作者 陈宏兵 杨群 李千目 许满武
机构地区 南京大学软件新技术国家重点实验室
出处 《计算机研究与发展》 EI CSCD 北大核心 2006年第z1期28-33,共6页 Journal of Computer Research and Development
基金 江苏省科技攻关计划基金项目(BE2003064)
关键词 交互协议 多AGENT 对话协议 Π演算
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献13

  • 1[1]J R Searle.Speech Acts:An Essay in the Philosophy of Language[M].Combridge:Cambridge University Press,1969
  • 2[2]FIPA.FIPA Communicative Act Library Specification(SC00037)[OL].Foundation for Intelligent Physical Agents.http://www.fipa.org/spec,2002
  • 3[3]M D Sadek.A study in the logic of intentions[C].The 3rd Conf on Principles of Knowledge Representation and Reasoning,Combridge,1992
  • 4[4]J Pitt,A Mamdani.Communication protocols in multi-agent system[G].In:Issues in Agent Communication,LNAI 1916.Berlin:Springer,1999.160-177
  • 5[5]M Wooldridge.Semantic issues in the verification of agent communication languages[J].Journal of Autonomous Agents and MAS,2000,3(1):9-31
  • 6[6]Y Labrou.Semantics for an agent communication language:[Ph D dissertation][D].Margland:University of Maryland,1997
  • 7[7]F Dignum,M Greaves.Issues in agent communication:An Introduction[G].In:Issues in Agent Communication,LNAI 1916.Berlin:Springer,2000.1-16
  • 8[8]N Maudet,B Chaib-draa.Commitment-based and dialogue-game based protocols:News trends in agent communication language[J].The Knowledge Engineering Review,2002,17(2):157-179
  • 9[9]M P Singh.A social semantics for agent communication language[G].In:Issues in Agent Communication,LNAI 1916,Berlin:Springer,2000.31-45
  • 10[10]L Amgoud,N Maudet,N Parsons.Modelling dialogues using argumentation[C].The 4th Int'l Conf on MAS,Boston,2000
计算机研究与发展
2006年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部