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

基于时序逻辑的协商公理体系多Agent系统的形式化模型

尹红丽  
【摘要】:Agent和多Agent系统是分布式人工智能一个重要的研究领域。协商是多Agent系统中保证Agents间能够有效交互的最普遍、最主要的形式。 本文用形式化方法构建了基于时序逻辑的协商公理体系多Agent系统模型,它是一种对多Agent系统进行交互推理的形式化模型。该模型描述了在多Agent系统中时间、Agent的能力和权力在动作选择、协商过程中的作用,以及权力在整个过程中随时间的变化和Agent执行行为不受时间的约束,它提供了对多Agent中Agent行为的说明和约束。 本文首先描述了该系统的语义框架,给出了时序结构、行为、环境、Agent、协商、和TN系统的形式化定义。系统的语义是基于可达关系的可能世界语义模型。其次基于时序逻辑给出了协商推理逻辑的公理体系,并对其合理性进行了充分的阐述。同时证明了它的有效性、协商推理逻辑的可靠性、完全性、完备性和无矛盾性。然后讨论了冲突解决协商体制。最后通过具体的案例分析进一步解释了多Agent系统中Agent如何通过协商消解冲突,并提出了今后的一些研究工作。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 徐强;;基于多Agent的敏捷供应链的框架系统研究[J];合肥学院学报(自然科学版);2005年04期
2 张晓章;薛领;黄玮;;基于agent的区域经济智能决策支持系统研究[J];兰州大学学报(自然科学版);2008年S1期
3 刘明;;多agent技术的研究与应用[J];科技信息;2010年11期
4 肖媛;梁工谦;;基于Multi-Agent的供应链质量监理机制模型[J];现代制造工程;2007年02期
5 陈舒娅;邹琴;;Irng基于移动Agent的考试系统中的设计与实现[J];科技信息;2007年06期
6 徐卫滨;;多Agent系统中Agent承诺的研究[J];科技情报开发与经济;2008年18期
7 詹雄涛;;多Agent系统合作问题求解的任务分配研究[J];科技信息;2008年26期
8 李凌霞;;基于多Agent的Web数据挖掘系统[J];科技信息;2010年13期
9 王培屹;朱广祯;;足球机器人决策子系统设计[J];科技信息;2011年07期
10 林怡青,毛宗源;信息流变结构控制[J];控制理论与应用;2003年01期
11 赵丽,董红斌;多Agent系统在RoboCup中的应用[J];哈尔滨师范大学自然科学学报;2005年02期
12 赵建民;庄新鹏;朱信忠;;一种面向Agent的需求分析和建模方法[J];浙江师范大学学报(自然科学版);2006年04期
13 申静;夏幼明;孙瑜;李红林;杨莉;;基于博弈论的多Agent协商模型[J];云南大学学报(自然科学版);2006年S2期
14 赵本华;吴拥军;杨伟平;;基于多Agent的装备智能故障诊断系统研究[J];科技资讯;2007年08期
15 梁宏倩;;多智能体系统中强化学习模型的改进及应用[J];西安文理学院学报(自然科学版);2008年02期
16 王大生;;基于Web服务和多Agent的敏捷供应链系统模型研究[J];科技信息(学术研究);2008年22期
17 张仁伟;;智能代理技术在网络教学系统中的应用[J];科技信息(科学教研);2008年23期
18 赵志宏;黄蕾;刘峰;骆斌;;基于强化学习的多Agent系统规划规则抽取方法[J];广西师范大学学报(自然科学版);2008年01期
19 甘璐;杨宜民;王建彬;;一种基于投标结果修正的合同网协议[J];控制理论与应用;2008年02期
20 王鸽;蒲蓬勃;孙忠林;;基于Agent的数据仓库体系结构的研究[J];山东科技大学学报(自然科学版);2005年04期
中国重要会议论文全文数据库 前10条
1 丁俊健;;多Agent系统在机组保护中的应用研究[A];2006中国电力系统保护与控制学术研讨会论文集[C];2006年
2 李黎明;王燕萍;夏琳;;基于Internet的多Agent群体决策支持系统的实现研究[A];2002中国控制与决策学术年会论文集[C];2002年
3 王东云;郭素娜;;Agent及Multi-Agent System的理论和应用[A];中南六省(区)自动化学会第24届学术年会会议论文集[C];2006年
4 楚威;程显毅;黄胜;;RoboCup中Agent的角色[A];马斯特杯2003年中国机器人大赛及研讨会论文集[C];2003年
5 戴伟辉;张晓兰;戴杏云;;高层管理团队的决策过程模型[A];第三届(2008)中国管理学年会论文集[C];2008年
6 关旭;程明;刘豹;;关于Agent的研究[A];面向复杂系统的管理理论与信息系统技术学术会议专辑[C];2000年
7 李哲;严隽薇;张浩;王坚;;面向远程服务的CBR框架及其应用研究[A];第二十届中国控制会议论文集(下)[C];2001年
8 胡山立;石纯一;;最优联盟结构生成的研究:以层为单位搜索或计算[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
9 许可;史海波;;基于多Agent的分散网络化制造企业任务调度[A];2003中国控制与决策学术年会论文集[C];2003年
10 金世伟;李一军;李剑锋;;基于多Agent的信息技术绩效评价系统研究[A];2005中国控制与决策学术年会论文集(下)[C];2005年
中国博士学位论文全文数据库 前10条
1 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
2 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
3 陈沛帅;基于CORBA的多Agent系统的研究与开发[D];浙江大学;2003年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 尹全军;基于多Agent的计算机生成兵力建模与仿真[D];国防科学技术大学;2005年
6 万良;基于行为时序逻辑TLA的系统、规则与协议检测的研究[D];贵州大学;2009年
7 王海东;水泥生产过程多AGENT控制系统的研究[D];中南大学;2004年
8 李广元;LTLC:面向实时与混成系统的连续时序逻辑[D];中国科学院软件研究所;2001年
9 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
10 邓娟;基于多Agent的影视编辑协作系统研究[D];武汉大学;2004年
中国硕士学位论文全文数据库 前10条
1 尹红丽;基于时序逻辑的协商公理体系多Agent系统的形式化模型[D];云南师范大学;2004年
2 孙瑜;基于VSK-AF逻辑的多Agent系统的形式化模型[D];云南师范大学;2002年
3 伍晓敏;基于VSK-t逻辑的Agent形式化模型[D];云南师范大学;2004年
4 吴浩;基于SOA的综合电子信息系统的面向Agent研发方法研究[D];中国电子科学研究院;2007年
5 章明雄;动态联盟环境下基于多Agent的工作流管理系统运行机制研究[D];武汉理工大学;2006年
6 童海峰;基于DFL的多Agent自动推理平台设计[D];苏州大学;2005年
7 郝水侠;一种多agent并行计算模型及其应用研究[D];苏州大学;2004年
8 侯逸文;基于多Agent系统的并列运行锅炉母管压力控制系统研究[D];东南大学;2004年
9 胡秋根;智能移动代理系统的研究与原型系统的实现[D];东南大学;2004年
10 宋文明;基于J2EE的Agent架构实现研究[D];天津大学;2005年
中国重要报纸全文数据库 前2条
1 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
2 中科院软件所 宋靖宇;当“突围者”遇上“围城者”[N];计算机世界;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978