缺省理论

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=工程数学学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
人工智能中缺省逻辑的可表示性(英文)被引量：1
《工程数学学报》2006年第5期886-890,共5页傅丽 王国俊 
The National Natural Science Foundation of China(10331010);Qinghai Nationality College Doctor Scientific Research(06D003)
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。
关键词：缺省理论 无前提 正规 扩充 表示性 
无前提规范闭缺省理论的扩充的构造
《工程数学学报》2004年第4期615-622,共8页傅丽 王国俊 王伟 
国家自然科学基金
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究。首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行...
关键词：范闭缺省理论 相容扩充 分类 个数估计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部