| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第1章 绪论 | 第13-23页 |
| 1.1 本文的学术背景 | 第13-14页 |
| 1.2 国内外研究现状 | 第14-19页 |
| 1.3 本文的主要内容 | 第19-20页 |
| 1.4 格蕴涵代数简介 | 第20-23页 |
| 第2章 格蕴涵代数的模糊滤子理论 | 第23-51页 |
| 2.1 格蕴涵代数的极小素滤子 | 第23-29页 |
| 2.2 格蕴涵代数的模糊素滤子 | 第29-38页 |
| 2.3 格蕴涵代数的LT-滤子 | 第38-41页 |
| 2.4 格蕴涵代数的区间值T-模糊滤子 | 第41-50页 |
| 2.5 本章小结 | 第50-51页 |
| 第3章 格蕴涵代数的模糊同余理论 | 第51-71页 |
| 3.1 格蕴涵代数的同余关系 | 第52-55页 |
| 3.2 格蕴涵代数的模糊同余关系 | 第55-63页 |
| 3.3 格蕴涵代数的LT-同余关系 | 第63-67页 |
| 3.4 格蕴涵代数的区间值T-模糊同余关系 | 第67-70页 |
| 3.5 本章小结 | 第70-71页 |
| 第4章 基于格值逻辑系统的α-归结域的结构 | 第71-97页 |
| 4.1 格值逻辑系统简介 | 第71-74页 |
| 4.2 基于格值系统的α-归结域的代数结构 | 第74-78页 |
| 4.3 基于格值逻辑系统的3-元广义文字的α-可归结性判定 | 第78-96页 |
| 4.4 本章小结 | 第96-97页 |
| 第5章 基于格值命题逻辑系统LP(X)的多元α-语义归结自动推理 | 第97-121页 |
| 5.1 基于格值命题逻辑系统LP(X)的多元α-归结自动推理理论 | 第98-107页 |
| 5.1.1 基于格值命题逻辑系统LP(X)的多元α-归结原理 | 第98-99页 |
| 5.1.2 多元α-归结演绎中参与的广义文字个数动态变化的原则 | 第99-103页 |
| 5.1.3 基于格值命题逻辑系统LP(X)的可多元α-归结式的代数结构 | 第103-105页 |
| 5.1.4 基于格值命题逻辑系统LP(X)的多元α-归结原理的有效性分析 | 第105-107页 |
| 5.2 基于格值命题逻辑系统LP(X)的多元α-语义归结方法 | 第107-115页 |
| 5.2.1 基于格值命题逻辑系统LP(X)的多元α-语义归结方法 | 第107-113页 |
| 5.2.2 基于格值命题逻辑系统LP(X)的多元α-语义归结方法的有效性分析 | 第113-115页 |
| 5.3 基于格值命题逻辑系统LP(X)的多元α-语义归结自动推理算法 | 第115-119页 |
| 5.3.1 预处理 | 第115-116页 |
| 5.3.2 基于格值命题逻辑系统LP(X)的多元α-语义归结算法 | 第116-118页 |
| 5.3.3 基于格值命题逻辑系统LP(X)的多元α-语义归结算法的复杂性与有效性 | 第118-119页 |
| 5.4 基于格值命题逻辑系统LP(X)的多元α-语义归结自动推理程序 | 第119-120页 |
| 5.5 本章小结 | 第120-121页 |
| 第6章 基于格值一阶逻辑系统LF(X)的多元α-语义归结自动推理 | 第121-147页 |
| 6.1 基于格值一阶逻辑系统LF(X)的多元α-归结自动推理理论 | 第122-132页 |
| 6.1.1 基于格值一阶逻辑系统LF(X)的多元α-归结原理 | 第122-123页 |
| 6.1.2 多元α-归结演绎中参与的广义文字个数动态变化的原则 | 第123-129页 |
| 6.1.3 格值一阶逻辑系统LF(X)的多元α-归结的下降引理与等价转换定理 | 第129-131页 |
| 6.1.4 基于格值一阶逻辑系统LF(X)的多元α-归结原理的有效性分析 | 第131-132页 |
| 6.2 基于格值一阶逻辑系统LF(X)的多元α-语义归结方法 | 第132-143页 |
| 6.2.1 基于格值一阶逻辑系统LF(X)的多元α-语义归结方法 | 第133-141页 |
| 6.2.2 基于格值一阶逻辑系统LF(X)的多元α-语义归结方法的有效性分析 | 第141-143页 |
| 6.3 基于格值一阶逻辑系统LF(X)的多元α-语义归结自动推理算法及实现 | 第143-145页 |
| 6.4 本章小结 | 第145-147页 |
| 结论与展望 | 第147-149页 |
| 本文取得的主要研究成果 | 第147-148页 |
| 进一步研究工作 | 第148-149页 |
| 致谢 | 第149-151页 |
| 参考文献 | 第151-161页 |
| 附录1 基于格值命题逻辑L_nP(X)的多元α-语义归结自动推理程序源代码 | 第161-175页 |
| 攻读博士学位期间的科研工作 | 第175-177页 |
