首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   48篇
  完全免费   13篇
  自动化技术   61篇
  2017年   1篇
  2011年   1篇
  2010年   1篇
  2009年   1篇
  2008年   3篇
  2006年   2篇
  2005年   5篇
  2004年   4篇
  2003年   4篇
  2002年   1篇
  2001年   5篇
  2000年   3篇
  1999年   2篇
  1998年   4篇
  1997年   5篇
  1996年   1篇
  1995年   6篇
  1994年   7篇
  1993年   1篇
  1992年   1篇
  1991年   1篇
  1990年   2篇
排序方式: 共有61条查询结果,搜索用时 31 毫秒
1.
Belief Revision by Sets of Sentences   总被引:9,自引:0,他引:9       下载免费PDF全文
The aim of this paper is to extend the system of belief revision developed by Alchourron,Gaerdenfors and Makinson(AGM)to a more general framework.This extension enables a treatment of revision not only by single sentences but also by any sets of entences,especially by infinite sets.The extended revision and contraction operators will be called general ones,respectively.A group of postulates for each operator is provided in such a way that it coincides with AGM‘s in the limit case.A notion of the nice-ordering partition is introduced to characterize the general contraction opeation.A computation-oriented approach is provided for belief revision operations.  相似文献
2.
可能性缺省逻辑及其应用   总被引:5,自引:2,他引:3       下载免费PDF全文
本文分析了Yager用可能性理论框架来表示缺省知识的形式化方法,并测试了三类不同的应用方案,得到的结果与Reiter的缺省逻辑得到的结果相比较,表明只在具有严格的约束的缺省逻辑下,Yager的形式化方法才与Reiter的缺省逻辑具有一定的相关性,我们指出了它们在一般缺省理论下的不匹配处,并给出了以不动点机制抽改进方来消除这  些不匹配。  相似文献
3.
子句型缺省逻辑中的分情形推理   总被引:3,自引:0,他引:3       下载免费PDF全文
许道云  丁德成  张明义 《软件学报》2001,12(8):1140-1146
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.  相似文献
4.
子句型自相容缺省理论的扩张   总被引:2,自引:0,他引:2  
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Reiter缺省理论和张明义的自相容缺省的理论的研究基础上,进一步研究了子句型闭自相容缺省理论,文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reter关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。  相似文献
5.
Constraints on Extensions of a Default Theory   总被引:2,自引:1,他引:1       下载免费PDF全文
In this paper,the representability of a family of theories as the set of extensions of a default theory is studied.Firest,a new necessary condition is given for the representability by means of general default theories.then a sufficient one is presented.The families of theories represneted by default theories are also fully characterized.Finally,the paper gives an example of denumerable families of mutually inconsistent theories that are represented by a default theory but not by normal ones.  相似文献
6.
关于D.W.Etherington的扩充产生算法的一个注记   总被引:2,自引:0,他引:2       下载免费PDF全文
D.W.Etherington提出了一类总是有扩充的缺省理论,即有限有序缺省理论,同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法,并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明D.W.Etheringtond的算法对一般的有限有序缺省理论并非总是收敛,然后给出了该算法对 对一般的有限有序缺省理论收敛的一个充分条件。  相似文献
7.
若干限制形式的缺省推理的复杂性   总被引:2,自引:0,他引:2       下载免费PDF全文
赵希顺  丁德成 《软件学报》2000,11(7):881-888
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.  相似文献
8.
Uncontroversial Default Logic   总被引:1,自引:0,他引:1  
9.
10.
缺省逻辑的累积性变种的扩张特征   总被引:1,自引:0,他引:1  
张明义  张颖 《计算机学报》1998,21(2):119-126
Giordano提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(CommitmenttoAssuptionsDefaultLogic)QDL(Qusasi-DefaultLogic)它们都具有累积性,但不再具半单调性,QDL甚于不再承诺预设(Committoassumptions)本文基于我们已经导出的CDL(CummulativeDefaultLogic)与DL扩张的特征,通过建立C  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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