缺省理论

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于缺省理论演绎的规则型T-R程序生成系统
《小型微型计算机系统》1997年第11期19-26,共8页郑朝华 彭桂芸 刘清 
国家自然科学基金
本文建立了基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省推理来处理用户说明以及系统中知识不完全的问题。这种演绎系统演绎公式的过程也就是程序生成的过程，只要被演绎的公式序列能描述待生成...
关键词：缺省理论 演绎系统 T-R程序 程序设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部