缺省理论

作品数：22被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：张明义董明楷傅丽邓安生王国俊更多>>
相关机构：贵州科学院西南师范大学厦门大学北京航空航天大学更多>>
相关期刊：《工程数学学报》《小型微型计算机系统》《计算机研究与发展》《软件学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划福建省自然科学基金福建省重点科技计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
开放的缺省理论被引量：5
《计算机学报》1994年第9期652-661,共10页怀进鹏 李未 
国家"863"高科技计划国家自然科学基金
本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ．Ｗ＞扩充Ｅ的新假设、事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并证明了相关的定理．本文还建立了缺省理论的一个动态描述过程，证明...
关键词：缺省理论 开放逻辑 非单调逻辑 
缺省理论的单调性及其充要条件被引量：1
《计算机学报》1994年第9期717-720,共4页孙辉 
缺省理论的单调性及其充要条件孙辉（大连铁道学院计算机科学系大连１１６０２２）ＭＯＮＯＴＯＮＩＣＩＴＹＯＦＡＤＥＦＡＵＬＴＴＨＥＯＲＹＡＮＤＡＮＡＳＣＦＯＲＩＴＳＶＡＬＩＤＩＴＹ￥ＳｕｎＨｕｉ（Ｄｅｐａｒｔｍｅｎｔｏｆ...
关键词：缺省理论 单调性 充要条件 
缺省理论与相信理论的关系
《计算机学报》1994年第2期137-141,共5页姜云飞 
国家自然科学基金
本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑．一个缺省理论可以直接转换成一个相信逻辑理论．本文中证明了一个缺省理论外延的模集就是对应相信理论的模，从而为缺省理论提供了一种简便的语义．
关键词：相信逻辑 人工智能 相信逻辑 
在一类缺省理论中关于证明理论的完备性问题
《计算机学报》1993年第11期837-843,共7页吴茂康 缪淮扣 
缺省推理是各种非单调推理系统中最有影响的系统之一,R.Reiter对规范缺省理论作了一系列的研究,他还提出了证明理论,并证明了这一证明理论对于规范缺省理论来说是完备的。W·Etherington则提出了应用范围更为广泛的有序半规范缺省理论,...
关键词：缺省理论 证明理论 完备性 
缺省理论的简化
《计算机学报》1991年第12期942-945,共4页吴茂康 
缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定...
关键词：缺省理论 缺省推理 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部