首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   17篇
  国内免费   2篇
  完全免费   10篇
  自动化技术   29篇
  2012年   1篇
  2009年   3篇
  2007年   1篇
  2006年   11篇
  2005年   1篇
  2003年   1篇
  2002年   1篇
  2001年   3篇
  2000年   4篇
  1999年   3篇
排序方式: 共有29条查询结果,搜索用时 31 毫秒
1.
一种任一时间联盟结构生成算法   总被引:22,自引:0,他引:22       下载免费PDF全文
胡山立  石纯一 《软件学报》2001,12(5):729-734
联盟形成是多Agent系统中的一个关键问题.人们寻求能极大化联盟值的总和的联盟结构,但通常情况下可能的联盟结构的数目太大,以致不允许进行穷尽搜索而找出最优解.给出了一个算法,可在最小搜索量内保证找到一个与最优解相距在一个限界内的联盟结构.然后,这个任一时间算法进一步搜索,渐进地给出越来越低的限界,并急剧地降低这个限界,在这一阶段,此算法明显地优于由Sandholm等人给出的算法.  相似文献
2.
Agent-BDI逻辑   总被引:19,自引:4,他引:15       下载免费PDF全文
胡山立  石纯一 《软件学报》2000,11(10):1353-1360
阐述了Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具 的观点.建立了Agent-BDI逻辑的代表系统A-BI,讨论了它的语法和语义.特别是给出了非正 规模态算子基于Kripke标准可能世界的新的语义解释,证明了A-BI逻辑系统不但是可靠的, 而且是完备的.A-BI逻辑系统恰当地刻画了信念与意图的本质与内在联系,可作为Agent形式 化研究的逻辑工具.  相似文献
3.
Agent的意图模型   总被引:17,自引:4,他引:13       下载免费PDF全文
胡山立  石纯一 《软件学报》2000,11(7):965-970
意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法.  相似文献
4.
给定限界要求的联盟结构生成   总被引:9,自引:0,他引:9  
胡山立  石纯一 《计算机学报》2001,24(11):1185-1190
联盟形成是多Agent系统中的一个关键问题,目的是通过寻找使联盟值的总和最大的联盟结构来使系统得到最大的效益。但通常可能的联盟结构的数目太大,不允许穷尽搜索来找出最优解。当实际问题提出最坏情况的具体限界要求时,如何以最小的搜索达到这个要求是需要解决的。文中给出的算法对给定的限界要求K*≥2以最少的搜索层数解决了这个问题。Sandholm等人已经证明,要建立最坏情况下的限界K(n),搜索联盟结构图的最底两层是必要且是充分的,此时限界是n(系统的Agent 数)。以此为基础,文中给出了算法,在搜索最底两层之后,只要搜索一层就能保证K(n)≤3;而在搜索最底两层之后,最多搜索两层就能保证K(n)≤2。与Samdholm等人给出的算法相比,文中给出的算法达到指定限界的搜索量显著减少。  相似文献
5.
Agent形式化研究的逻辑工具   总被引:8,自引:1,他引:7       下载免费PDF全文
Agent在AI/DAI和其他计算机学科中正成为一个广泛使用、十分重要的概念,由此产生了一系列新的思想、方法和技术,甚至有人把“基于Agent计算”誉为“软件开发的又一重大突破”。有关Agent的理论、技术的研究和应用引起了人们的高度重视和极大兴趣。近年来,关于Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用。  相似文献
6.
理性Agent的意图维护模型   总被引:7,自引:1,他引:6  
在理性Agent的形式化中,通常认为Agent的思维状态包含信念、愿望帮意图这3个属性,它们之间的静态关系已被人们充分重视,但它们随时间的动态变化还未被很好研究,考察了意图维护直观语义中的一些问题,给出了随信念、愿望改变的意图维护的动态模型,与Rao和Georgeff的意图维护模型相比,适用性更广、更简单,不必限制可友爱世界的时序结构,不必另外引入信念=愿望、意图算子的on ly模态形式,并且对愿望和意图不存在逻辑全知问题和重言隐含下的副作用等问题。  相似文献
7.
基于神经网络的Agent电子商务协商模型   总被引:7,自引:0,他引:7  
卢武昌  胡山立 《计算机应用》2005,25(7):1638-1640,1650
提出一个在电子商务中能辅助用户网上采购的智能Agent协商模型,并对模型进行仿真实验,以验证模型的有效性。模型的构造基于BP神经网络,通过对用户的购物偏好训练学习,使Agent获得一组包含用户偏好特征的规则信息并作为协商过程中推理的依据;每次协商的结果都作为学习样本,以提高Agent对市场变化的适应能力。  相似文献
8.
适用于Agent非正规模态算子的一种语义解释   总被引:6,自引:1,他引:5  
文中提出了适用于Agent非正规模态算子的一种语义解释。这种解释是基于正规则可能世界的,不存在的“逻辑全知”问题和由此带来的副作用等问题,与基于非正规可 的传统方法相比,不必增加可能世界的种类,比较自然合理,文中方法同样适用于多数非正规模态逻辑系统。  相似文献
9.
认证协议攻击与非形式化分析   总被引:5,自引:0,他引:5  
协议的分析验证方法有形式化与非形式化之分.很多代表性的协议虽然存在着缺陷,但对这些协议的非形式化分析,却可以提出一些值得借鉴的规则,参考这些规则可以避免和减少协议逻辑的漏洞,本文针对Woo-Lam两个改进协议以及SSL协议给出了攻击方法,分析协议存在的漏洞并提出如何使协议更为安全的建议。  相似文献
10.
一个改进的理性Agent-BDI模型   总被引:5,自引:0,他引:5  
利用一种新的可能世界语义,在Rao和Georgeff的基于分支时间可能世界模型的BDI形式化的基础上,得到一个改进的BID模型。与Rao和Georgeff的BDI模型以及大多数基于可能世界的形式化相比,不存在逻辑全知问题和除等价情况外的副作用问题。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号