缺省理论相关论文
在缺省逻辑中,关于世界的知识被表示成为一个缺省理论,它是一个由一致的公式集合和一个被称为缺省规则的集合所构成的序对,其中一......
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的......
标准缺省逻辑是一种重要的常识表示和推理工具，但是由于它以经典逻辑为底层推理方法，而且要求验证和最终的缺省结论必须协调，因此在标......
尽管格赖斯提出的“明义”和“含义”的区别得到广泛的接受，但他对含义的推导解释却受到质疑。为此，人们提出不同的含义理论。试图对......
讨论了半正规缺省理论和一般抽省理论之间的关系，将有序的概念引入了一般缺省理论，证明了每个有序处理论都有扩张。而且，给出了一个判......
缺省推理是各种非单调推理系统中最在影响的系统之一。Ｒ。Ｒｅｉｔｅｒ对规范缺省理论作了一系列的研究。他还提出了证明理论，并证明了这一证明理......
本文在Reiter 1980年提出的缺省逻辑的基础上，将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺省模态......
非单调推理在人类认知世界的过程中起着非常重要的作用,得到了广泛而深入的研究.语言作为认知的重要工具和方式,非单调性也是其重......
缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了......
缺省理论的单调性及其充要条件孙辉（大连铁道学院计算机科学系大连１１６０２２）ＭＯＮＯＴＯＮＩＣＩＴＹＯＦＡＤＥＦＡＵＬＴＴＨＥＯＲＹＡＮＤＡＮＡＳＣＦＯＲＩＴＳＶＡＬＩＤＩＴＹ￥ＳｕｎＨｕｉ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，Ｄ.........
本文基于开放逻辑理论，给出了缺省理论Ｔ＝＜Ｄ，Ｗ＞扩充Ｅ的新假设，事实反驳、ｅ－重构、ｅ－认识进程及其极限等概念的意义，讨论了Ｗ变化时新扩充的变化规律，并......
目前已有的诊断系统一般都默认有完备而可靠的模型,但在实际中常无法实现.因此,在目前已知的对待诊断设备的可靠描述之外,提出了可......
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先，得到了若干关于缺省理论等价的性质。其次，证明有具配对不相容扩充的缺......
本文建立子基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省理论来处理用户说明以及系统中知识......
