【带有假设的缺省逻辑】刘瑞胜.pdf
吉林大学 硬士学位论文 带有假设的缺有逻辑 刘瑞胜 导师刘叙华教授 专业计算机应用 吉林大学计算机科学系 一九九四年四月
目录 引言 第一章缺省推理 第一节Beiter的缺省逻辑 第二节 LukaBamicz的修正的缺省逻辑 第三节 Brem点e的累积的缺省逻辑 第二章 ADL缺雀理论及其扩充 第三章 ADL缺省理论的性质 第一节 基本性质 第二节 ADL与DL的关系 第三节 半单调性 第四节 累积性 第四章 如何得到期望的扩充 第五章ADL扩充的构造及证明理论 第一节ADL扩充的构遗 第二节证明理论 结论 致谢:参考文献
辑不能处理这种形式的推理,因为它们缺少考虑知识不足的手段 如今,人们普遍认识到,传统逻辑难以处理的一般的常识推理的一个重要特性就是非单调性,在谈到这一点时,人们经常采用的一个例子 如下,如果裁们知道Tweet是一只鸟:那么在缺乏反面证据的情况下,我们一般假设Tweety会飞.然而,如果我们后来知道Tweety是企鹅,而 企鹅不会飞,我们就要修改以前作出的假设.如果要在形式系统中表达 这些,载们就会遇到由公理集S能推出的定理P,在S的某个超集S 中不 能被推出的问题.定理集不与公理集一道单调增大,这类推理称为是非 单调的.