加权子句型信念集的静态非修正处理方法研究

摘要

常识推理中的一些信息具有不一致性、不完全性与不确定性。这样的信息，不能称为真理，只能称为信念。信念修正是一种研究常识推理的重要方法。该方法的主要思想是首先根据一定的假设对信念进行排序，然后用较可靠的信念去修正不够可靠的信念，最后得到一致的信念集。由于信念修正方法对信念集不断地进行修正，在推理过程中会丢失希望的信息，产生不希望的结论。
　　 信念非修正方法的主要思想是当获得的新信念与原信念集中的一些信念产生冲突时，对这些不一致信念不做任何处理。采用某种形式的语义，通过将该信念集能够推出的并且没有矛盾的信息作为系统最终的结论集，这种方法解决了不希望结论的产生以及结论集合难于抉择的情况。
　　 对于信念的加权问题，传统的方法主要采用有限链结构去刻画信念的可靠程度。虽然得到了广泛的应用，但是由于有限链中的元素是非连续的和全序的，应用范围过于局限。本文将有限链结构推广为平滑格结构，在语法上用平滑格中的元素刻画信念的可靠性，解决了信念存在不可比较的问题。
　　 本文主要针对于有限链结构表示范围的局限性以及信念修正方法的不足，在一阶逻辑中，将假说限制为使用平滑格元素加权的子句集，采用归结的方法作为蕴含语义，定义了假说扩充。并且证明了该假说的扩充具有良好的性质。同时对假说的扩充是否是一致的进行了讨论。
　　 本文还对加权子句型假说的认识进程的收敛性进行了研究。首先，定义了加权子句型假说的认识进程，然后给出了判断该认识进程是否收敛的条件。最后证明了加权子句型假说的认识进程具有收敛性。
　　 本文提出信念非修正理论在一阶逻辑中一种新的可能的实现方法。该方法扩大了关于信念非修正方法的研究范围。

目录

声明

摘要

第1章 绪论

1．1 引言

1．2 国内外研究综述

1．3 主要研究工作

1．4 论文组织结构

第2章 信念静态非修正理论

2．1 常识与非单调推理

2．2 信念修正理论的发展

2．3 信念非修正理论及其发展

第3章 加权子句型信念集的静态非修正处理方法

3．1 加权子句型信念集的静态非修正方法的理论基础

3．1．1 一阶逻辑中的基本概念

3．1．2 一阶逻辑中的归结原理

3．2 偏序集与格

3．2．1 偏序集的基本概念

3．2．2 格的基本概念

3．2．3 几种特殊的格

3．3 假说扩充的定义

3．4 假说扩充的基本性质

3．4．1 对假说扩充一致性的讨论

3．4．2 演绎封闭性

3．4．3 外延性

3．4．4 唯一性

3．4．5 累积性

3．5 小结

第4章 基于静态非修正方法的加权子句型信念集的认识进程

4．1 认识进程理论

4．2 加权子句型假说的认识进程

4．3 信念修正方法与信念非修正方法的比较

4．4 信念修正方法与信念非修正方法的应用

4．5 小结

第5章 总结与展望

5．1 论文总结

5．2 工作展望

参考文献

致谢