首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  国内免费   1篇
  完全免费   6篇
  自动化技术   10篇
  2004年   1篇
  2003年   4篇
  2002年   1篇
  2001年   1篇
  2000年   2篇
  1994年   1篇
排序方式: 共有10条查询结果,搜索用时 31 毫秒
1
1.
子句型缺省逻辑中的分情形推理   总被引:3,自引:0,他引:3       下载免费PDF全文
许道云  丁德成  张明义 《软件学报》2001,12(8):1140-1146
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.  相似文献
2.
开放逻辑中的合理事实反驳模型类   总被引:2,自引:0,他引:2  
本文给出开放逻辑中合理事实反驳模型类的概念,讨论了它们的重要性质。通过给定一假说中名子的线性序关系,得到了假说的最大前节重构的概念,并由此给出了合理事实反驳模型类的一个具体例子。  相似文献
3.
若干限制形式的缺省推理的复杂性   总被引:2,自引:0,他引:2       下载免费PDF全文
赵希顺  丁德成 《软件学报》2000,11(7):881-888
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.  相似文献
4.
FC-normal and extended stratified logic program   总被引:1,自引:0,他引:1  
This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.  相似文献
5.
(i) Call a c.e. degree b anti-cupping relative to x, if there is a c.e. a < b such that for any c.e. w, w x implies a ∪ w b ∪ x.(ii) Call a c.e. degree b everywhere anti-cupping (e.a.c.), if it is anti-cupping relative to x for each c.e. degree x.By a tree method, we prove that every high c.e. degree has e.a.c. property by extending Harrington's anti-cupping theorem.  相似文献
6.
In this paper,the parameter which is the source of the complexity of disjunctionfree default reasoning is determined.It is shown that when the value of this parameter is fixed,the disjunction-free default reasoning can be solved time bounded by a polynomial whose degree does not depend on the parameter.Consequently,disjunction-free default reasoning is fixed parameter tractable.  相似文献
7.
In this paper,an equivalence condition for deciding whether a default theory is an auto-compatible default one is presented.Under the condition,the existence of extension of an auto-compatible default theory is a natural result.By introducing a well-ordering over the set D of default rules,the extensions of an auto-compatible default theory(D,W) can be computed directly.The condition represents clearly the characterization of an auto-compatible default theory,and some properties about auto-compatible default theory,such as semi-monotonicity,become natural corollaries.Based on the characterization,the revision of default beliefs is discussed to ensure the existence of extension of the default theory,and the methos is applied to investigate stable models of a general logic program.  相似文献
8.
在过去的20年里,基于Kdpkc语义结构的模型检测技术在集成电路设计,网络协议分析,程序正确性验证及程序错误发现等方面证明了其有效性和能力.最近,在诸如使用SAT分析工具、有界模型检测等避免OBDDs的模型检测研究方面取得了相当大的进展提出的动态Knpke 语义结构是让原子命题集合AP可以改变.基于这个方法,提出了一个直接模型检测算法.  相似文献
9.
赵希顺  丁德成 《软件学报》2003,14(9):1530-1537
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.  相似文献
10.
赵希顺  丁德成 《软件学报》2000,11(7):881-888
该研究判定一字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性,其中,D是一种Horn缺省规则,而W是definite公式或Bi-Horn公式。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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