排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
该研究判定一字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性,其中,D是一种Horn缺省规则,而W是definite公式或Bi-Horn公式。 相似文献
2.
3.
针对应用型软件工程专业培养方案改革中遇到的问题,提出培养方案的总体制定思路:以实现专业教育、技术行业和市场需求紧密结合为目标,通过构建应用型课程体系、企业式的质量管理体系、智能信息化平台和建设应用型师资队伍等几个方面的教学改革,使培养方案满足当前就业市场、社会需求以及未来学生自身成长特点。 相似文献
4.
开放逻辑中的合理事实反驳模型类 总被引:2,自引:0,他引:2
本文给出开放逻辑中合理事实反驳模型类的概念,讨论了它们的重要性质。通过给定一假说中名子的线性序关系,得到了假说的最大前节重构的概念,并由此给出了合理事实反驳模型类的一个具体例子。 相似文献
5.
在过去的20年里,基于Kdpkc语义结构的模型检测技术在集成电路设计,网络协议分析,程序正确性验证及程序错误发现等方面证明了其有效性和能力.最近,在诸如使用SAT分析工具、有界模型检测等避免OBDDs的模型检测研究方面取得了相当大的进展提出的动态Knpke 语义结构是让原子命题集合AP可以改变.基于这个方法,提出了一个直接模型检测算法. 相似文献
6.
<正> 真空热处理与普通热处理比较,其最大特点是提高了零件的表面质量。因此,凡是与表面质量有关的性能如:疲劳寿命、接触疲劳寿命、表面耐磨损性能等,经真空热处理后均能得到较大的提高。我厂对几种柴油机零件进行了真空热处理试验,情况介绍如下。 相似文献
7.
(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. 相似文献
8.
若干限制形式的缺省推理的复杂性 总被引:2,自引:0,他引:2
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式. 相似文献
9.
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. 相似文献
10.