缺省理论

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

检索结果分析

结果分析中...
选择条件：
  • 主题=英文x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
人工智能中缺省逻辑的可表示性(英文)被引量：1
《工程数学学报》2006年第5期886-890,共5页傅丽 王国俊 
The National Natural Science Foundation of China(10331010);Qinghai Nationality College Doctor Scientific Research(06D003)
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。
关键词：缺省理论 无前提 正规 扩充 表示性 
缺省理论中一种获取优先序的方法(英文)
《软件学报》2003年第9期1530-1537,共8页赵希顺 丁德成 
国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
关键词：缺省逻辑 特殊性 稳定扩充 复杂性 
一般缺省理论的扩充及其单调性(英文)
《中山大学学报论丛》2000年第1X期109-114,共6页任远 
教育部人文社科基金
关于一般缺省理论之扩充存在性的充要条件有两种不同的表述,本文证明它们之间可以互相转换,因而根本上是等价的。在此基础上,本文给出了一般缺省理论扩充保持单调性的充要条件,并讨论了它们的意义。
关键词：一般缺省理论 扩充存在性 单调性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部