收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Agent通信的全信息形式语用方法

张鹏飞  
【摘要】: 多Agent系统(Multi-Agent System,MAS)对于网络环境下的分布式智能信息处理具有重要的意义。但是,目前MAS的研究和应用仍然在基础架构、方法学、可重用性、交互协作等方面面临诸多挑战,而Agent通信则是提升Agent交互协作能力的关键,因此具有十分重要的研究意义。 自治性和异构性是Agent的两个关键特征。异构性是指Agent通常由不同的服务商提供来服务于特定的问题,因此会采用不同的设计开发范式,其内部结构多样。自治性是指Agent的运行环境是开放的,每个Agent必须拥有内部自治机制和问题解决机制,能够控制自己的行为和内部状态,无需外部的干涉即可根据自身策略完成工作,从而表现出不同程度的智能性。由自治性和异构性所决定的智能性是Agent内部处理机制的特点,与此相适应,Agent在外部通信方面也应该具备足够的智能,例如,协商、解决冲突、合作、寻找证据的能力等等。因此,Agent通信不是简单的消息交换,而是如同人类的会话一样,带有某种“内聚”的性质,这意味着在一次会话语境中,一个话语所传达的信息与其他话语所传达的信息之间应该具有语法、语义、语用上的相关性,Agent交互的这种语法、语义、语用三位一体的相关性对于Agent通信的智能性是非常重要的。 本论文的研究动机是揭示Agent通信中语法、语义、语用三位一体的机制,并且开发一种可以利用这种机制的形式化方法来提升Agent交互的灵活性。在Agent通信中,交际行为是揭示三位一体机制的关键要素,而交互协议则是借助交际行为来表示Agent交互过程的高层抽象的方式,被认为是一种值得深入研究的语用机制。因此,我们基本的研究方法是首先给出Agent交际行为的形式化定义,然后在此基础上开发一种灵活的交互协议规约方法,整个体系被称之为“基于全信息的形式语用方法”(以下简称“CIFPA”)。 本论文的主要研究成果包括: 1.以全信息理论和言语行为理论为指导,在社会约定语义体系的基础上,引入了Agent的推理和争论,把语义和语用、公共语用和私有语用结合在一个逻辑框架之中,建立了面向Agent会话的CIFPA逻辑模型,为灵活的交互协议规约方法提供了基础。与其它社会方法的Agent通信语义体系相比,CIFPA具有如下特点:1)框架和逻辑模型都是从语法、语义、语用三位一体的Agent通信机制出发而建立的,并且进而服务于这种三位一体的机制;2)用模态可达语义定义“约定”的语义,建立了完整的约定类型体系;3)逻辑模型以计算树逻辑和动态逻辑为基础,可以简练、自然、无歧义的把Agent通信过程的演进描述为一个可以反映交互的静态和动态两个方面的状态变迁系统;4)给出了约定状态的完整定义,区分了约定生存状态和约定内容状态,符合直觉的认识;5)考虑了Agent的推理和争论,定义了丰富的交际行为类型。 2.以CIFPA语义体系为基础,开发了一种灵活的交互协议规约方法。这个规约方法考虑了Agent的推理决策能力,能够处理交互过程中的机会和异常,从而使得交互协议具有更好的灵活性。CIFPA协议规约方法具有如下优点:1)交互协议的规约抽象层次较高,规约要素(约定)简单而带有语义,使得设计人员可以高效方便的定义交互协议;2)协议规约当中自然的考虑了Agent的推理能力,能够灵活的表示和处理多变的情况;3)协议规约本身是声明式(而不是过程式)的,为解释执行和结合推理提供了基础,体现了Agent利用知识进行推理的特点,进一步增强了交互协议的灵活性。 3.CIFPA交互协议的灵活性必然带来对协议仿真和验证的更高的要求,例如,合法性——如何检验Agent遵从还是违反协议规约的语义和交互过程,正确性——如何检验设计者提供的协议规约是有意义的、合理的、安全的、可终结的(以及其它需要满足的属性)。良好的协议仿真和验证机制能够帮助设计者在早期发现协议规约的错误和潜在隐患,从而帮助设计出灵活性、合法性、正确性、安全性兼顾的协议。因此,我们针对CIFPA交互协议规约方法,提出了一套解决办法来对交互协议进行仿真,并且用形式化验证技术来验证协议的一些关键属性。 4.在FIPA的Agent平台JADE上开发了一个Agent框架,使得Agent能够以“咨询”知识库的方式遵照CIFPA交互协议规约参与会话,并基于自身的策略在会话过程中灵活的做出决策和选择。 综合来看,本论文研究的主要成果是以全信息理论为指导,开发了一种面向Agent通信的、以语用要素(约定)为核心的形式化方法,包括基础语义体系框架和逻辑模型,以及在此基础上的交互协议规约方法。此外,针对这种交互协议规约方法,提出了如何对交互协议进行仿真和验证、以及在Agent平台上实现。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘晓芹;黄考利;连光耀;吕晓明;;基于Rebeca模型的硬件设计形式化验证[J];计算机测量与控制;2009年05期
2 杨红丽,王曙燕,韩俊刚;基于形式化的面向对象开发方法(FMOO)[J];计算机应用;2000年05期
3 周宏斌,黄连生,桑田;基于串空间的安全协议形式化验证模型及算法[J];计算机研究与发展;2003年02期
4 陈江;陈建国;陆慧娟;王康健;;UML时间顺序图的实时系统建模及验证[J];中国计量学院学报;2010年01期
5 侯峻峰,张磊,黄连生;一种新的安全协议形式化验证方法[J];计算机研究与发展;2004年08期
6 郭建;时序电路的形式化证明[J];现代电子技术;2005年20期
7 王金双;杨华兵;张兴元;王元元;张毓森;;电梯控制系统在Isabelle/HOL中的活动性证明[J];计算机工程与应用;2008年27期
8 潘国华;王惠芳;;密码API安全性分析[J];计算机安全;2009年06期
9 郭建,韩俊刚;SOC的形式化验证方法[J];西安邮电学院学报;2005年03期
10 张海宾;段振华;;混合投影时序逻辑与混合系统的形式化验证[J];计算机科学;2007年11期
11 吴春寒;张兴元;贺汛;;正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化[J];解放军理工大学学报(自然科学版);2010年04期
12 梁盟磊;王小平;薛小平;李刚;;基于TLA的UML模型形式化验证[J];计算机工程;2011年02期
13 杨文强;门永平;丁宗杰;;等效性验证工具进行大规模FPGA验证探讨[J];空间电子技术;2011年01期
14 苗洁君;王克;;密码模块的形式化设计和验证研究[J];计算机安全;2006年08期
15 罗楠;严隽薇;刘敏;;语义Web服务自动组合的有色网验证模型(英文)[J];系统仿真学报;2008年11期
16 许柯;;可重用IP核验证方法研究[J];科技资讯;2008年26期
17 周倜;李舟军;王志勇;王巾盈;;时间敏感的安全协议建模与验证:研究综述[J];计算机科学;2009年08期
18 王小兵;段振华;;时序逻辑程序的模型检测[J];计算机科学;2009年10期
19 李健;方敏;李加良;;基于CheckMate的混合系统建模和验证[J];合肥工业大学学报(自然科学版);2010年01期
20 谢雨飞;唐涛;徐田华;赵林;;CTCS-3级列控系统规范的建模与形式化验证方法研究[J];铁道学报;2011年07期
中国重要会议论文全文数据库 前10条
1 吴铃铃;周干民;何伟;高明伦;;IP软核的形式化验证[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
2 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
3 刘力轲;游定山;杨佳;元国军;沈华;;集合通信芯片物理设计阶段的验证方法[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
4 郭建;韩俊刚;;基于PSL的FIFO的验证[A];第五届中国测试学术会议论文集[C];2008年
5 余兴超;马争先;王玉斌;董荣胜;;基于UPPAAL的简单网络支付协议形式化验证[A];广西计算机学会2010年学术年会论文集[C];2010年
6 李彩虹;章超;李廉;孙守卿;;分布式同步仲裁器电路的SPIN建模和验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年
7 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
8 陈博文;郭琦;沈海华;;浮点乘加部件的自动化形式验证[A];第六届中国测试学术会议论文集[C];2010年
9 薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年
10 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 张鹏飞;Agent通信的全信息形式语用方法[D];北京邮电大学;2007年
2 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年
3 许可;网格服务流的状态π演算形式化验证技术研究与应用[D];清华大学;2007年
4 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
5 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
6 蒋嶷川;适应动态拓扑网络的多Agent计算关键技术研究[D];复旦大学;2005年
7 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
8 皋磊;基于生态网络的下一代Internet资源动态服务的研究[D];东华大学;2006年
9 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年
10 岳华伟;对一种SOC总线系统的验证[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 陈玉茹;全信息Agent通信协议规约的实现[D];北京邮电大学;2008年
2 林立;基于高阶逻辑系统HOL的数字硬件形式化验证[D];西安电子科技大学;2005年
3 闫硕;基于多项式符号代数的电路形式验证[D];北京交通大学;2011年
4 王莉;供热混合系统的抽象及其形式化验证[D];华中科技大学;2004年
5 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年
6 杨汉明;基于CPS的实时系统的面向方面的形式化验证方法[D];广东工业大学;2011年
7 郑强;基于SPIN的802.1X协议形式化验证和改进[D];华东理工大学;2012年
8 王锐;Ontology在多Agent系统通信中的应用研究[D];合肥工业大学;2002年
9 张泽恩;基于GSTE中的符号仿真设计与实现[D];电子科技大学;2012年
10 圣应山;HGD05A专用集成电路的设计[D];合肥工业大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978