【择优的缺省推理及其实现算法】李怡真.pdf

【择优的缺省推理及其实现算法】李怡真.pdf

择优的缺省推理及其实现算法 Preference Default Reasoning:Theory and Algorithm 李怡真 导师:姜云飞教授 专业:计算机应用 吉林大学计算机科学系 一九九七年五月目 第一章前言 1非单调逻辑相关工作1本文主要内容.第二章缺省逻辑.2缺省逻辑简介.A 2问题分析.第三章缺省规则的优先关系.3 规则间的不一致性 3构造矛盾规则组集合的算法.3 3优先关系定义.3其它处理优先关系的方法.第四章缺省理论的平凡扩充和极优缺省理论4缺省理论的平凡扩充.4平凡缺省推理的有关性质.4极优缺省理论及其扩充.4小结第五章 基于Tableau方法的实现系统5.第一章前言 Reiter曾就数据库理论中的知识表示问题提出了闭世界假定”,即所有相 关的正的信息都显示地表示出来,如果一个正的信息在数据库中没有显 示地表示,就假定它的否定成立.对于关系数据库来说这是足够的,但对 于演绎数据库处理起来比较复杂,因为一个事实可能是由演绎推出来的 同时,随着对非单调推理研究的深人,人们认识到需要利用新的信息去 修正已得到的结论,并取消某些假设.Doyle的真值维护系统(TMS)是用 名的非单调推理的形式化系统被提出,有:限制推理！McC8,非单调逻辑 1Med 801,缺省逻辑！Rei801,自认知逻辑1Mo851,择优逻辑！Sho87！等.