【摘 要】
:
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义
【机 构】
:
南京大学软件新技术国家重点实验室,南京,210093南京理工大学计算机科学与技术系,南京,210094
【出 处】
:
第一届Agent理论与应用学术会议
论文部分内容阅读
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题。
其他文献
通过对监理企业文化建设过程中出现的问题进行分析,有针对性的提出了具体建议.
构建基于语义的P2P网络是支持基于语义的查找和提高网络性能的重要手段.考虑遵循某种分类层次的数据源的特点,提出了一种基于分类层次语义空间的P2P网络(TH-Ring),并给出具体
我国预应力钢结构的发展已有50多年,最近20年有了较大的发展,且倍受国内建筑界重视和关注。文章通过对预应力钢结构的特点及其快速发展原因进行分析,并对其研究现状及开发前
根据新时期对人才知识能力和素质结构的要求以及专业基础课在培养高素质新型人才中地位和作用的变化,围绕提高专业基础课程教学质量、培养创新型人才这一主题,就专业基础课教学