缺省理论

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

检索结果分析

结果分析中...
选择条件：
  • 主题=缺省逻辑x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
人工智能中缺省逻辑的可表示性(英文)被引量：1
《工程数学学报》2006年第5期886-890,共5页傅丽 王国俊 
The National Natural Science Foundation of China(10331010);Qinghai Nationality College Doctor Scientific Research(06D003)
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。
关键词：缺省理论 无前提 正规 扩充 表示性 
对基于约束条件的缺省逻辑扩充的注记
《厦门大学学报（自然科学版）》2006年第3期338-341,共4页张敏 邓安生 
福建省自然科学基金(A0310006);福建省重点科技项目(2001J001)资助
基于带约束条件的缺省理论,给出了缺省理论Δ=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的...
关键词：新约束 约束反驳 C-缺省理论 C-扩充 C-认识进程 
不协调知识的缺省推理(英文)被引量：1
《软件学报》2004年第7期1030-1041,共12页韩庆 林作铨 
国家自然科学基金~~
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双...
关键词：缺省逻辑 超协调逻辑 四值逻辑 双缺省理论 
缺省理论中一种获取优先序的方法(英文)
《软件学报》2003年第9期1530-1537,共8页赵希顺 丁德成 
国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
关键词：缺省逻辑 特殊性 稳定扩充 复杂性 
子句型自相容缺省理论的扩张被引量：2
《计算机研究与发展》2000年第2期182-187,共6页董明楷 张明义 
国家"八六三"计划基金项目!(项目编号863-306-05-05-5A);国家自然科学基金项目!(项目编号19861002)
自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑推理常用的方法．文中在Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省理论的研究基础上，进一步研究了子句型闭自相容缺省理论．文中首先给出了自相容缺省理论的扩...
关键词：缺省逻辑 子句型缺省理论 自相容 NP问题 
自相容缺省理论研究
《西南师范大学学报（自然科学版）》1998年第5期514-520,共7页董明楷 张明义 
关键词：缺省逻辑 自相容缺省理论 正规缺省理论 
缺省模态逻辑
《广东民族学院学报》1993年第4期49-65,共17页范荣强 
本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性...
关键词：知识表示 非单调推理 缺省逻辑 缺省模态逻辑 背景知道 缺省理论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部