【摘 要】
：
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义
【机 构】
：
南京大学软件新技术国家重点实验室,南京,210093南京理工大学计算机科学与技术系,南京,210094
【出 处】
：
第一届Agent理论与应用学术会议
论文部分内容阅读
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题。
其他文献
通过对监理企业文化建设过程中出现的问题进行分析，有针对性的提出了具体建议.
党的十一届三中全会以后,我省广大农村普遍实行以家庭联产承包为主的责任制,极大地调动了农民的生产积极性,使农村经济很快出现了生机。但是,随着时间的推移,障碍农村经济进
收敛速度缓慢已成为遗传算法研究中亟待解决的主要问题之一.为了提高遗传算法的收敛速度,提出了一种基于疫苗自动获取与更新的免疫遗传算法.从各代种群中选出优良个体,然后从
构建基于语义的P2P网络是支持基于语义的查找和提高网络性能的重要手段.考虑遵循某种分类层次的数据源的特点,提出了一种基于分类层次语义空间的P2P网络(TH-Ring),并给出具体
目的探讨钢丝环扎和前方“8”字形张力带固定治疗髌骨骨折的临床疗效。方法对142例髌骨骨折采用进口直径6钢丝环扎加髌前“8”字形张力带固定。结果142例中100例经过长达15年
我国预应力钢结构的发展已有50多年,最近20年有了较大的发展,且倍受国内建筑界重视和关注。文章通过对预应力钢结构的特点及其快速发展原因进行分析,并对其研究现状及开发前
根据新时期对人才知识能力和素质结构的要求以及专业基础课在培养高素质新型人才中地位和作用的变化，围绕提高专业基础课程教学质量、培养创新型人才这一主题，就专业基础课教学
腰椎间盘退变是慢性下腰痛的常见原因，对于椎间盘退变所致的慢性下腰痛临床上经非手术治疗无效者多主张手术治疗。自1999年5月～2001年10月，笔者设计使用单枚螺钉经椎板小关节固
目的分析手术治疗胫腓骨骨折致足拇长伸肌功能障碍原因及特点，探讨预防及治疗方法。方法对1996年1月～2005年12月手术治疗的1023例胫腓骨中下段骨折，术后发现拇长伸肌功能障碍17
自2001年1月～2004年1月采用闭合复位空心螺纹钉固定尺骨鹰嘴骨折32例，经6～24个月的临床观察，效果满意。现报告如下。