缺省逻辑相关论文
在该文中，作者分析了Yager用可能性理论框架来表示缺省知识的形式化方法，并测试了三类不同的应用方案，作者将得到的结果同Reiter的缺......
该文提出了基于路径的继承理论-路径信任理论.这一理论将一般与特殊原则和抽象与具体原则作为基本继承直觉,能够解释直接冲突、例......
缺省逻辑是非单调性推理的一种重要方法。基于命题缺省逻辑的推理问题的计算复杂度在多项式分层的第二层上，因此它可以用来描述很多......
在缺省逻辑中,关于世界的知识被表示成为一个缺省理论,它是一个由一致的公式集合和一个被称为缺省规则的集合所构成的序对,其中一......
姜云飞＜’〔１〕＞利用格论研究约束缺省逻辑，以可构造方式给出了一种求扩充的方法。该文将这一工作从缺省逻辑推广到它的一个重要变种－－约......
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或......
级差含义是一类典型的一般会话含义,在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能.本文介绍了缺省逻辑的定义和扩展式,......
在缺省逻辑中，缺省理论的可表示性反映了缺省逻辑的推理能力，是缺省逻辑理论研究的重要部分.该文主要研究模态逻辑的可表示理论以及......
缺省逻辑适于对协调的知识进行表示和推理：前提中的矛盾导致平凡扩张而缺省规则中的冲突导致扩张不存在。为了保证扩张存在性，一种做......
非单调推理是人工智能中重要的知识表示及推理方法，主要处理不完全知识下的推理问题。但非单调推理系统不能完全解决自身存在的冲突......
非单调逻辑是近年来人工智能领域研究的热点课题之一。人工智能的目的是研究、设计和应用智能机器或智能系统，以模拟和延伸人的智能......
基于人们时可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究.本体包括一组概念和性质;概念之......
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Ho......
Ｒｅｉｔｅｒ的缺省逻辑存在的着局限性，它无法表示缺省规则之间的优先级，无法处理缺省规则中析取，并且不满足累积性，虽然Ｂｒｅｗｋａ提出出带优先级的缺省逻辑......
语用推理以获得对方的真实意图为目标。语用推理本质上是一种非单调逻辑推理;缺省逻辑推理是非单调逻辑推理方式中最为重要的一种......
本文在Reiter 1980年提出的缺省逻辑的基础上，将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺省模态......
本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理论外延的结构，证明了一个......
Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一......
Ｌｉｎ提出的辩论推理系统为非单调推理形式提供了种统一的基础，其推理机制由所谓的论点结构实现。由Ｌｉｎ的系统导出的非单调推理并不具有累加......
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺......
言语中的信息Ⅰ含义和量Q含义是两种假定意义,即语言使用时在无特殊情况下对交际意图的常规期待,这种从语言表达直接推得含义的过......
自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑揄常用的方法，文中Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省的理论的研......
缺省逻辑的扩充概念有二个弊端：１、无法描述缺省规则田固有的逻辑关系；２．无法描述结论与验证式之间的逻辑依赖关系。Ｗ．Ｌｕｋａｓｚｅｗｉｃａ提出的ｍ扩充概念解决......
研究缺省逻辑表示下的溯因框架，给出一种基于规则的命题逻辑缺省溯因诊断的求解方法。...
在规范领域存在两种重要的推理：规范推理和规范适用推理。规范推理是在规范命题集上定义的、从规范推出规范的推理。规范适用推理是......
基于人们对可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究。本体包括一组概念和性质;概念......
Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对......
在日常言语交际中,人们使用的推理往往具有不确定性、相对性等特点,而这些特点是经典逻辑无法刻画的,于是可以对信息缺失或不完整......
级差含义是一类典型的一般会话含义,在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。本文介绍了缺省逻辑的定义和扩展式,......
一般会话含义的逻辑本质是缺省逻辑,研究一般会话含义的推理有必要揭示其内在的缺省逻辑机制。本文简要介绍了Reiter的缺省逻辑及......
人工智能的目的在于使计算机智能化，推理是智能最集中的体现，所以研究推理的模型是人工智能的主题。非单调推理是人们日常推理的重要......
缺省性和可取消性是一般会话含义的本质特征,又是缺省逻辑的本质属性。从缺省逻辑的视角探讨一般会话含义为自然语言的理解打开了......
知识是人类理性思维不断作用于客观世界的结果。在我们的日常思维中,离不开两种基本的推理：必然性的推理和或然性的推理。在前一种......
到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多......
本文选题结合国家教委博士点基金项目“人工智能基础理论研究”(98069923)。 软件开发中最困难的阶段是确定软件系统的目标。软......
本文分析了Yager用可能性理论框架来表示缺省知识的形式化方法,并测试了三类不同的应用方案.得到的结果与Reiter的缺省逻辑得到的......
