缺省理论

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
评述新格赖斯三种含义理论被引量：2
《英语研究》2011年第3期1-9,共9页项成东 
尽管格赖斯提出的"明义"和"含义"的区别得到广泛的接受,但他对含义的推导解释却受到质疑。为此,人们提出不同的含义理论。试图对目前流行的三大含义理论(即缺省理论、关联理论、简约理论)进行评述,指出前两种理论存在严重问题,后一种理...
关键词：含义推导 缺省理论 关联理论 简约理论 
人工智能中缺省逻辑的可表示性(英文)被引量：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-认识进程 
含缺省约束的基于模型诊断方法
《厦门大学学报（自然科学版）》2005年第3期326-329,共4页邓智欢 邓安生 郭一晶 
目前已有的诊断系统一般都默认有完备而可靠的模型,但在实际中常无法实现.因此,在目前已知的对待诊断设备的可靠描述之外,提出了可加入假设性的信息作为对无法完备模型的补充,并且这些假设采用了从规范缺省理论中的规则转化而成的公式...
关键词：基于模型 诊断方法 中心诊断 诊断系统 缺省理论 诊断设备 溯因诊断 假设 一般化 一致性 可靠 完备 刻画 公式 
无前提规范闭缺省理论的扩充的构造
《工程数学学报》2004年第4期615-622,共8页傅丽 王国俊 王伟 
国家自然科学基金
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究。首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行...
关键词：范闭缺省理论 相容扩充 分类 个数估计 
不协调知识的缺省推理(英文)被引量：1
《软件学报》2004年第7期1030-1041,共12页韩庆 林作铨 
国家自然科学基金~~
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双...
关键词：缺省逻辑 超协调逻辑 四值逻辑 双缺省理论 
正则无析取缺省理论
《Journal of Computer Science & Technology》2004年第C00期18-18,共1页Xi-ShunZhao 
知识表示和推理一直是人工智能领域中的一个非常重要的研究课题。早在1958年，McCharthy就提倡用逻辑方法来研究知识表示和推理以达到人工智能的目的。Reiter的缺省逻辑就是最有效的工具之一，这是因为它能够很好地刻画和处理不完全信...
关键词：知识表示 人工智能 缺省推理 扩充 正则 复杂性 分层 NP-完全 刻画 逻辑 
语言中的非单调推理
《中国石油大学胜利学院学报》2003年第4期8-9,共2页李海波 王永秋 
非单调推理在人类认知世界的过程中起着非常重要的作用 ,得到了广泛而深入的研究。语言作为认知的重要工具和方式 ,非单调性也是其重要的性质之一。本文结合限定推理和缺省理论这两种重要的非单调推理理论对语言中的非单调现象作了初步...
关键词：自然语言 非单调推理 限定推理 缺省理论 
缺省理论中一种获取优先序的方法(英文)
《软件学报》2003年第9期1530-1537,共8页赵希顺 丁德成 
国家自然科学基金;国家社会科学基金;国家教育部博士点基金~~
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
关键词：缺省逻辑 特殊性 稳定扩充 复杂性 
子句型缺省理论的推理算法
《计算机科学》2001年第5期74-76,共3页董明楷 张明义 
国家八六三计划(863-306-05-05-5A);国家自然科学基金(19861002)资助
1 引言 缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的结果[1].Etherington给出了生成任意有穷有序半正规缺省理论...
关键词：子句型缺省理论 推理算法 自相容缺省理论 人工智能 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部