收藏本站
《南京大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

多Agent联盟规范系统研究

吴骏  
【摘要】:社会法则是一种用于协同多agent系统的有效工具,是模型检测技术的延伸。一般而言,社会法则包括协同目标和规范系统这两个组件——用协同目标来描述希望多agent系统所能拥有的属性,并且用规范系统来改变多agent系统的内部结构从而实现协同目标。本文的目的是改良社会法则中的规范系统,用规范能力更强的联盟规范系统来替代原有的规范系统,以此增强社会法则对复杂协同问题的建模能力。区别于原始的规范系统,联盟规范系统不是对单个agent的行动的约束,而是对一个受控agent联盟的联合行动的约束。基于这种思想,在本文中我们先后提出了两种联盟规范系统,即(基本)联盟规范系统(Coalitional Normative System, CNS)和扩展状态空间的联盟规范系统(CNS which Extend the State Space, CNS*)。CNS*不仅能使行为约束作用于受控联盟的联合行动,而且能用一个执行上下文来记忆系统的状态转换历史。实际上这扩展了系统的状态空间,可在相同的系统状态根据不同的执行上下文设置不同的行为约束,从而获得更高的灵活性。 我们仍然使用ATL语言来描述协同目标。但是我们发现在存在CNS的影响时我们必须重新对ATL公式进行解释。我们把所得的新的逻辑叫做协同交互时态逻辑(Coordinated ATL, Co-ATL).与ATL相比Co-ATL具有相同的语法,但是却具有不同的语义解释。我们证明Co-ATL模型检测问题(与ATL模型检测问题一样)仍是一个P-完全问题。为了界定CNS的规范能力的限度,我们为任意的受控联盟C找出Co-ATL语言的两个片段LC+和LC-,分别对应于“不能被确立的策略能力”和“不能被避免的策略能力”,并证明通过这两个片段可以“可靠”且“完备”地刻画CNS的规范能力。我们讨论了CNS所涉及到的三个基本计算问题,即有效性问题、可行性问题和合成问题,并证明它们分别P-完全、NP-完全、和FNP-完全的。我们定义了适用于CNS的三种最优化概念,即最小联盟规范系统、紧凑联盟规范系统以及最大效用联盟规范系统,并分别讨论了它们涉及到的计算复杂性。对于CNS*,我们证明虽然CNS*的规范能力严格比CNS要强,但是其规范能力限度同样可以用LC+和LC-来“可靠”且“完备”地刻画,并且CNS*所涉及到的三个基本计算问题的复杂度与CNS的相应问题相同。最后,我们基于模型检测定义了一种联盟规范系统合成算法,并讨论了算法的时间复杂度、正确性和完备性等形式化属性。
【学位授予单位】:南京大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP18

【共引文献】
中国期刊全文数据库 前10条
1 赖贤伟;胡山立;宁正元;王秀丽;;Multi-agent Belief,Goal and Exceptions Reasoning[J];Journal of Donghua University(English Edition);2010年02期
2 宁正元;赖贤伟;胡山立;王秀丽;;Belief and Knowledge Reasoning[J];Journal of Donghua University(English Edition);2010年02期
3 张传新;;规范推理的基本形式及其逻辑表达[J];法律方法;2014年00期
4 赖贤伟;胡山立;宁正元;王秀丽;;交互时态逻辑下的三种模糊信念算子[J];海南师范大学学报(自然科学版);2008年04期
5 ;Trusted autonomic service cooperation model and application development framework[J];Science in China(Series F:Information Sciences);2009年09期
6 焦玉玺;李洪涛;张伟;;一种基于社会承诺的Agent组织模型OMSC[J];计算机工程与应用;2008年01期
7 刘虎;;一个用于表达因果关系的ATL的扩展(英文)[J];逻辑学研究;2009年04期
8 宁正元;胡山立;赖贤伟;;交互时态信念逻辑及其模型检测[J];南京大学学报(自然科学版);2008年02期
9 高济;吕何新;郭航;张凡;程昱;傅朝阳;王存浩;;可信的自治式服务协同模型和应用开发构架[J];中国科学(F辑:信息科学);2009年11期
10 吕进;;一个向上线序的命题时态逻辑PTL[J];西南大学学报(社会科学版);2010年02期
中国重要会议论文全文数据库 前1条
1 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
中国博士学位论文全文数据库 前7条
1 廖备水;基于PDC-Agent的面向服务的自治计算研究[D];浙江大学;2006年
2 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
3 彭艳斌;基于准则和策略的自治式多agent服务协同体系研究[D];浙江大学;2008年
4 郭航;面向自治服务协同环境的规范多Agent体系研究:表示、实施与推理[D];浙江大学;2010年
5 李云峰;电子商务协议安全性的形式化分析方法研究[D];西南交通大学;2009年
6 谢正富;不出事VS出大事:基层治理行动逻辑研究[D];华中师范大学;2013年
7 张传新;优先可废止道义逻辑研究[D];南开大学;2011年
中国硕士学位论文全文数据库 前6条
1 易祚兴;可信自治式服务协同中柔性自维护机制研究[D];浙江大学;2011年
2 刘文;一种基于自主构件的网构软件协作框架的设计和实现[D];北京大学;2007年
3 刘栋伟;多Agent系统合作逻辑的研究[D];南京航空航天大学;2007年
4 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
5 高俊;基于体系结构的软件自适应方法研究[D];湖南工业大学;2009年
6 金宇;可信自治式服务协同柔性调度与契约维护机制研究[D];浙江大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 高昀;;信息系统的可生存性建模与分析研究[J];甘肃科技;2010年21期
2 廖慧芬;詹芹;;类复制变异和JPF技术的Eclipse模型检测方法[J];制造业自动化;2011年03期
3 梁冰;刘群;;基于UPPAAL的数据关联时序有限自动机模型验证[J];计算机工程;2007年22期
4 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[J];微电子学与计算机;2008年10期
5 龚育昌;胡燕;张晔;赵振西;;一种针对可执行代码的内存泄漏静态分析方案[J];中国科学技术大学学报;2009年02期
6 林璇;;模型检测方法在入侵检测中的应用研究[J];现代计算机(专业版);2009年02期
7 韦林;古天龙;常亮;;基于模型检测的命题动态逻辑规划[J];桂林电子科技大学学报;2010年02期
8 罗清胜;;一种基于Büchi自动机的LTL程序模型检测方法[J];计算机与现代化;2010年08期
9 徐有福;文伟平;万正苏;;基于漏洞模型检测的安全漏洞挖掘方法研究[J];信息网络安全;2011年08期
10 吉猛;胡克瑾;;基于模型检测的电子商务鉴证技术[J];陕西师范大学学报(自然科学版);2006年04期
中国重要会议论文全文数据库 前10条
1 陈道喜;张广泉;陈冬火;;NSPK协议的Spin模型检测[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
2 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
3 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
4 刘芳;魏昭;董荣胜;;基于SPIN的协议分析技术研究[A];广西计算机学会2008年年会论文集[C];2008年
5 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
6 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
7 肖美华;邓宸芳;马小薏;薛锦云;江耘;;网络安全认证协议形式化分析[A];第二十次全国计算机安全学术交流会论文集[C];2005年
8 周志远;张大方;缪力;赵丹;黄谷;;基于Java内存模型的并发程序模型检测[A];第五届中国测试学术会议论文集[C];2008年
9 陈晓江;杨琛;冯健;房鼎益;;并发系统模型检测中的状态约减算法[A];2007年全国开放式分布与并行计算机学术会议论文集(下册)[C];2007年
10 吴瑰;;汽车外壳及内部零件生产时在线模型检测系统的研究[A];节能环保 和谐发展——2007中国科协年会论文集(二)[C];2007年
中国重要报纸全文数据库 前3条
1 本报记者 边歆;异常检测是阻止蠕虫攻击的最好方法?[N];网络世界;2006年
2 李文;华银硬度计占领国内七成市场[N];中国机电日报;2002年
3 宗遐龄;起伏地表模型检测获突破[N];中国石化报;2011年
中国博士学位论文全文数据库 前10条
1 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
2 刘志锋;模型检测中关键技术的研究及其应用[D];南京大学;2011年
3 黄宏涛;基于懒惰切片的模型检测技术研究[D];哈尔滨工程大学;2012年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
6 朱维军;时间区间时序逻辑模型检测:理论、算法及应用[D];西安电子科技大学;2011年
7 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
8 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
9 张玉清;计算机通信网安全协议的分析研究[D];西安电子科技大学;2000年
10 文静华;电子商务协议形式化方法及模型检测技术的研究与应用[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 施小纯;基于反例搜索的启发式模型检测算法的研究[D];中国科学院研究生院(软件研究所);2004年
2 刘万授;基于UML安全协议的建模和自动检测[D];华南师范大学;2005年
3 高丹丹;无线认证协议的模型检测与分析研究[D];长春理工大学;2010年
4 谢越;基于模型检测的动态协同服务间的一致性验证[D];华东师范大学;2010年
5 刘学锋;安全协议形式化分析及其应用[D];湘潭大学;2004年
6 边晶;基于OBDD&Model Checking方法的规划[D];吉林大学;2005年
7 赵赟;基于时态逻辑的UML交互模型检测研究[D];青岛大学;2008年
8 肖颖奇;一个并发传值系统自动验证工具的图形界面实现[D];中国科学院研究生院(软件研究所);2003年
9 董卫;基于Petri网的密码协议分析[D];山东科技大学;2005年
10 吴建耀;电子商务安全协议的形式化分析技术研究[D];西安电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026