缺省理论

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
子句型缺省理论的推理算法
《计算机科学》2001年第5期74-76,共3页董明楷 张明义 
国家八六三计划(863-306-05-05-5A);国家自然科学基金(19861002)资助
1 引言 缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的结果[1].Etherington给出了生成任意有穷有序半正规缺省理论...
关键词：子句型缺省理论 推理算法 自相容缺省理论 人工智能 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部