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

摘要

常识推理中的信息常常具有不一致性、不完全性和不确定性。这样的信息不能看作绝对真理，而只能称为信念。对不一致信念的处理是人工智能特别是计算机推理研究中一个关键性的问题。目前处理这一问题的一个主要方法是信念修正方法，其基本思路是根据一定的假设对信念进行排序，利用较可靠的信念修正不够可靠的信念，从而使信念集是一致的。由于需要不断对信念集合进行修正，信念修正方法至少存在两点不足：首先，一些希望信息在信念修正过程中丢失；其次，会在推理过程中产生不希望的结论。
　　 信念静态非修正方法被提出来以解决这些问题。信念静态非修正方法的主要思想是保留所有信念作为假说。在容忍不一致信念的情况下，通过限制假说的语法形式和蕴涵语义的方法来取得假说的扩充来作为最终结论集。信念静态非修正方法保留了新加入信念与原信念集中的全部信息，因此避免了希望信息丢失的现象。同时，信念静态非修正方法借助某种语义机制取得唯一且一致的假说扩充作为结论集，避免了不希望结论的产生。
　　 信念静态非修正处理方法的研究重点是如何定义假说及假说的扩充，以使得假说的扩充变成具有良好性质的结论集合。本文在一阶逻辑下，将信念定义为Horn子句，将假说定义为Horn子句集，并利用单元归结作为蕴涵的语义以使假说的扩充具有良好的性质。证明了该蕴涵语义定义下Horn子句型信念的假说扩充的唯一性、一致性和演绎封闭性。
　　 进一步地，本文研究了应用静态非修正方法的Horn子句型信念的认识进程。首先建立了Horn子句型信念的认识进程的定义。其次建立了Horn子句型信念的认识进程极限的定义。进而证明了Horn子句型信念的认识进程具有收敛性。以上研究，说明了应用静态非修正方法的Horn子句型信念增长是趋于稳定的。

目录

文摘

英文文摘

第1章 绪论

1.1 引言

1.2 国内外研究现状

1.3 主要研究工作

1.4 论文组织结构

第2章 信念静态非修正方法概述

2.1 常识推理与非单调逻辑

2.2 信念修正理论及其发展

2.3 信念静态非修正理论及其发展

第3章 Horn子句型信念的一种静态非修正方法

3.1 Horn子句型信念理论基础

3.1.1 一阶逻辑与Horn子句

3.1.2 归结原理与单元归结

3.2 Horn子句型信念的一种静态非修正方法

3.2.1 Horn子句型假说及其扩充的定义

3.2.2 Horn子句型假说扩充的性质

3.3 信念修正方法与信念静态非修正方法比较

3.4 小结

第4章 Horn子句型信念的认识进程

4.1 认识进程理论

4.2 应用静态非修正方法的Horn子句型信念认识进程

4.3 静态非修正方法与信念修正方法认识进程的比较

4.4 小结

第5章 总结与展望

5.1 论文总结

5.2 工作展望

参考文献

致谢