| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 符号和缩略语表 | 第12-13页 |
| 第1章 绪论 | 第13-24页 |
| 1.1 本文的学术背景 | 第13-14页 |
| 1.2 国内外研究现状 | 第14-22页 |
| 1.3 本文的主要内容 | 第22-24页 |
| 第2章 格值命题逻辑系统L_nP(X)中一类3阶不可分极简式的α-可归结性 | 第24-45页 |
| 2.1 格蕴涵代数与格值逻辑系统LP(X)简介 | 第24-28页 |
| 2.2 一类3阶不可分极简式的结构 | 第28-30页 |
| 2.3 一类3阶不可分极简式的α-可归结性 | 第30-43页 |
| 2.4 本章小结 | 第43-45页 |
| 第3章 格值逻辑系统中的α-多元归结域 | 第45-74页 |
| 3.1 格值逻辑系统中的α-3元可归结性判定 | 第45-67页 |
| 3.1.1 预备知识 | 第45-46页 |
| 3.1.2 格值逻辑系统中的α-3元可归结性判定 | 第46-67页 |
| 3.2 格值逻辑系统中α-多元归结域的性质 | 第67-73页 |
| 3.3 本章小结 | 第73-74页 |
| 第4章 基于格值命题逻辑系统LP(X)的α-多元有序线性极小归结自动推理 | 第74-104页 |
| 4.1 预备知识 | 第75-76页 |
| 4.2 基于格值命题逻辑系统LP(X)的α-多元极小归结原理 | 第76-82页 |
| 4.3 基于格值命题逻辑系统LP(X)的α-多元有序线性极小归结方法 | 第82-91页 |
| 4.3.1 基于格值命题逻辑系统LP(X)的α-多元有序线性极小归结方法 | 第82-90页 |
| 4.3.2 基于LP(X)系统的α-多元有序线性极小归结方法的有效性分析 | 第90-91页 |
| 4.4 基于格值命题逻辑系统LP(X)的α-多元有序线性极小归结算法 | 第91-101页 |
| 4.4.1 预处理 | 第91-92页 |
| 4.4.2 格值逻辑系统中广义文字的选取策略 | 第92-95页 |
| 4.4.3 基于格值命题逻辑系统LP(X)的α-多元有序线性极小归结算法 | 第95-101页 |
| 4.5 基于格值命题逻辑系统LP(X)的α-多元有序线性极小归结自动推理程序 | 第101-103页 |
| 4.6 本章小结 | 第103-104页 |
| 第5章 基于格值一阶逻辑系统LF(X)的α-多元有序线性极小归结自动推理 | 第104-123页 |
| 5.1 预备知识 | 第105-107页 |
| 5.2 基于格值一阶逻辑系统LF(X)的α-多元极小归结原理 | 第107-112页 |
| 5.3 基于格值一阶逻辑系统LF(X)的α-多元有序线性极小归结方法 | 第112-119页 |
| 5.3.1 基于格值一阶逻辑系统LF(X)的α-多元有序线性极小归结方法 | 第112-117页 |
| 5.3.2 基于LF(X)系统的α-多元有序线性极小归结方法的有效性分析 | 第117-119页 |
| 5.4 基于格值一阶逻辑系统LF(X)的α-多元有序线性极小归结算法 | 第119-122页 |
| 5.4.1 预处理 | 第119页 |
| 5.4.2 基于格值一阶逻辑系统LF(X)的α-多元有序线性极小归结算法 | 第119-122页 |
| 5.5 本章小结 | 第122-123页 |
| 第6章 基于格值逻辑系统的非子句α-多元有序线性广义归结自动推理 | 第123-147页 |
| 6.1 基于格值命题逻辑系统LP(X)的非子句α-多元极小广义归结原理 | 第124-129页 |
| 6.2 基于格值命题逻辑系统LP(X)的非子句α-多元有序线性广义归结方法 | 第129-134页 |
| 6.3 基于格值命题逻辑系统LP(X)的非子句α-多元有序线性广义归结算法 | 第134-138页 |
| 6.4 基于格值一阶逻辑系统LF(X)的非子句α-多元极小广义归结原理 | 第138-142页 |
| 6.5 基于格值一阶逻辑系统LF(X)的非子句α-多元有序线性广义归结方法 | 第142-145页 |
| 6.6 基于格值一阶逻辑系统LF(X)的非子句α-多元有序线性广义归结算法 | 第145-146页 |
| 6.7 本章小结 | 第146-147页 |
| 结论与展望 | 第147-150页 |
| 一、本文取得的主要研究成果 | 第147-148页 |
| 二、进一步研究工作 | 第148-150页 |
| 致谢 | 第150-151页 |
| 参考文献 | 第151-167页 |
| 附录1 基于格值命题逻辑L_nP(X)的α-多元有序线性极小归结自动推理程序源代码 | 第167-181页 |
| 攻读博士学位期间的科研工作 | 第181-182页 |
