首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   20篇
  免费   4篇
  国内免费   7篇
建筑科学   1篇
无线电   2篇
冶金工业   1篇
自动化技术   27篇
  2020年   1篇
  2019年   2篇
  2015年   1篇
  2014年   1篇
  2011年   2篇
  2010年   4篇
  2009年   1篇
  2006年   1篇
  2005年   4篇
  2004年   3篇
  2003年   4篇
  2002年   1篇
  2000年   3篇
  1999年   3篇
排序方式: 共有31条查询结果,搜索用时 15 毫秒
1.
栾尚敏  戴国忠 《计算机科学》2004,31(12):100-102
本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作。  相似文献   
2.
王黎明  黄厚宽 《软件学报》2005,16(11):1920-1928
基于假设推理(abduction-based)的推测计算(speculative computation)是在资源信息不能及时到达时,利用缺省假设进行计算的过程.在计算过程中,如果应答和信念不一致,则主Agent将修正它的信念.为了实现目标,在有限时间内使推测计算的结果更精确,主Agent要通过协商获得尽可能多的实际信息,协商是降低决策风险的主要途径.在介绍假设推理和推测计算的基本原理的基础上,提出了基于时间约束的推测计算扩展框架、基于时间约束的进一步协商框架和基于信念修正的协商算法,并将进一步协商框架和协商算法嵌入到推测计算的过程中,在协商过程中赋予主Agent更强的信念修正能力.最后,在货物运输领域的实验中,证实了基于信念修正的推测计算的有效性.  相似文献   
3.
在L 3-值命题逻辑中,对应于矢列式推导的Gentzen推理系统G是单调的,而对应于余矢列式推导的Gentzen推理系统G-是非单调的。基于G和G-,文中给出了一个R-演算S,使得任意的R-转换Δ|AΔ,C是有效的当且仅当它在S中可证。因此,S在限制A进入Δ时是单调的,而在将A添加到Δ中时是非单调的。  相似文献   
4.
经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.  相似文献   
5.
林运国  林耀海  王秀丽 《计算机应用》2010,30(10):2572-2574
为了使信念修正能够满足最小改变原则,首先基于遗忘理论定义遗忘收缩算子,并且证明该算子满足必要AGM收缩假定;然后通过Levi Identity构建遗忘修正算子;最后给出遗忘修正方法和多次遗忘修正算法。实例分析表明,算法具有可行性和有效性,能够得到较满意的修正结果。  相似文献   
6.
开放逻辑中基于一优先序的R-重构   总被引:2,自引:0,他引:2  
在开放逻辑中,R-重构作为一知识库或信念集修正的结果并不唯一,有时甚至太多而难于明确计算和表示,为此,文中给出了基于一优先序的R-重构的概念,基于一优先序的R-重构往往要比R-重构少得多,不存在上述R-重构的问题,在用户给出的关于一知识库中知识的优先序时,基于该优先序的R-重构可以用来刻画对该知识库的合理维护。  相似文献   
7.
信念修正的各种方法之比较   总被引:4,自引:2,他引:2  
自从1956年提出了“人工智能”以来,人们已在这一领域做了大量的工作,很多专家系统已经非常成功地得到了应用。当前哲学和人工智能领域的热点之一就是信念修正(belief revision),下面我们用文中的例子来说明信念修正的意义。假设有如下的四个命题  相似文献   
8.
OSC:一个开放式情景演算系统的研究   总被引:1,自引:0,他引:1  
在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situation calculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流result-of(a,s),用以刻画行动的影响;同时又引入了新的情景流bel-rev(φ,s),用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动.OSC系统采用了离线规划与在线执行相结合的运行方式,为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径.  相似文献   
9.
Belief Revision is a theory that studies how to integrate new information into original belief set.Classical BR theory uses AGM frame,but it only resolves problems in single agent BR system.Multi-agent BR faces problems such as the collision of many information sources and how to maximize the logic consistence of multi-agent system.On the basis of game theory model,we form profit matrix under different BR strategies in muhi-agent system and try to get the best strategy that satisfies logic consistence of the system through negotiation.  相似文献   
10.
陈亚睿  田立勤  杨扬 《电子学报》2011,39(8):1818-1823
云计算环境下,开放的运行环境使其面临重大的安全挑战,有效地确定不可信云终端用户并正确分析云用户的异常行为是在复杂动态环境下保证云安全的基础.提出了一种基于动态博弈的用户行为模型,通过不完全信息多阶段博弈来分析终端用户的类型,博奔时将用户的当前行动和历史行动相结合,并考虑了网络中存在的误报和漏报的情况,以加强对云终端用户...  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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