缺省逻辑相关论文
在缺省逻辑中,关于世界的知识被表示成为一个缺省理论,它是一个由一致的公式集合和一个被称为缺省规则的集合所构成的序对,其中一......
理由概念的问题主要有两个,分别是关于理由是什么的争论以及对于理由权衡标准的解释。关于理由是什么,一些学者认为行动的理由是欲......
基于人们时可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究.本体包括一组概念和性质;概念之......
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Ho......
语用推理以获得对方的真实意图为目标。语用推理本质上是一种非单调逻辑推理;缺省逻辑推理是非单调逻辑推理方式中最为重要的一种......
Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ......
基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得到的缺省理论的所有扩张......
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.......
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义......
提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺......
言语中的信息Ⅰ含义和量Q含义是两种假定意义,即语言使用时在无特殊情况下对交际意图的常规期待,这种从语言表达直接推得含义的过......
自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑揄常用的方法，文中Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省的理论的研......
在日常言语交际中,人们使用的推理往往具有不确定性、相对性等特点,而这些特点是经典逻辑无法刻画的,于是可以对信息缺失或不完整......
级差含义是一类典型的一般会话含义,在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。本文介绍了缺省逻辑的定义和扩展式,......
框架问题的核心命意乃是:在对智能体的行动进行表征之时,如何能够在有效地表征出行动的效果之时,避免对于其非效果的表征?对于符号......
一般会话含义的逻辑本质是缺省逻辑,研究一般会话含义的推理有必要揭示其内在的缺省逻辑机制。本文简要介绍了Reiter的缺省逻辑及......
人工智能的目的在于使计算机智能化，推理是智能最集中的体现，所以研究推理的模型是人工智能的主题。非单调推理是人们日常推理的重要......
缺省性和可取消性是一般会话含义的本质特征,又是缺省逻辑的本质属性。从缺省逻辑的视角探讨一般会话含义为自然语言的理解打开了......
知识是人类理性思维不断作用于客观世界的结果。在我们的日常思维中,离不开两种基本的推理：必然性的推理和或然性的推理。在前一种......
到目前为止,填空等试题的计算机评分方法,基本上是利用评分关键字与考生的答案匹配进行评分,评分结果并不理想。由于考生的答案多......
本文选题结合国家教委博士点基金项目“人工智能基础理论研究”(98069923)。 软件开发中最困难的阶段是确定软件系统的目标。软......
本文分析了Yager用可能性理论框架来表示缺省知识的形式化方法,并测试了三类不同的应用方案.得到的结果与Reiter的缺省逻辑得到的......
