| 第一章 绪论 | 第1-24页 |
| ·形成本文的学术背景 | 第12-15页 |
| ·国内外研究现状 | 第15-23页 |
| ·本文的主要内容 | 第23-24页 |
| 第二章 关于代数结构和性质的研究 | 第24-42页 |
| ·格蕴涵代数及其一些性质 | 第24-27页 |
| ·对格蕴涵代数结构的一些讨论 | 第27-30页 |
| ·L型广义扩张原理及其在模糊集范畴中的应用 | 第30-42页 |
| ·预备知识 | 第30-31页 |
| ·L型模糊集的广义扩张原理及其性质 | 第31-35页 |
| ·三个范畴的定义及其相互关系 | 第35-42页 |
| 第三章 基于格蕴涵代数直积的格值逻辑系统中的重言式及逻辑公式的神经网络计算 | 第42-72页 |
| ·基于格蕴涵代数直积的格值命题逻辑系统中的重言式 | 第42-57页 |
| ·直积格蕴涵代数 | 第42-44页 |
| ·基于LIA直积的格值逻辑系统的α-重言式 | 第44-48页 |
| ·基于LIA直积的格值逻辑系统的F-重言式 | 第48-50页 |
| ·格L_6的格论性质 | 第50-55页 |
| ·格值逻辑系统L_4P(X)和L_6P(X)中的重言式 | 第55-57页 |
| ·用于一类格值命题逻辑公式的动态神经网络 | 第57-72页 |
| ·用于经典二值逻辑中的单元 | 第58-60页 |
| ·利用逻辑单元生成计算逻辑公式的神经网络 | 第60-61页 |
| ·为化成范式的二值逻辑公式构建逻辑单元 | 第61-64页 |
| ·用于模糊逻辑中的逻辑单元 | 第64-65页 |
| ·用于格值逻辑L_4P(X)中的逻辑单元 | 第65-69页 |
| ·基于有限格蕴涵代数的格值逻辑中的神经计算网络 | 第69-72页 |
| 第四章 基于路径搜索的自动推理方法 | 第72-88页 |
| ·基于路径搜索的经典命题逻辑系统的自动推理方法 | 第72-79页 |
| ·自动推理算法的机理 | 第72-74页 |
| ·自动推理算法的预处理 | 第74-75页 |
| ·自动推理算法及其程序设计步骤 | 第75-78页 |
| ·自动推理算法的计算效率分析 | 第78-79页 |
| ·将路径搜索的推理方法用于中界格命题逻辑系统 | 第79-83页 |
| ·中界格命题逻辑系统LM(X) | 第79-81页 |
| ·子句集不可满足性的判定 | 第81-83页 |
| ·将路径搜索的推理方法用于格值命题逻辑系统L_6P(X) | 第83-88页 |
| 第五章 格值命题逻辑系统lp(X) | 第88-104页 |
| ·格值命题逻辑系统lp(X)的语法 | 第88-98页 |
| ·格值命题逻辑系统lp(X)的语义 | 第98-104页 |
| 第六章 总结与展望 | 第104-106页 |
| ·总结 | 第104-105页 |
| ·展望 | 第105-106页 |
| 致谢 | 第106-107页 |
| 参考文献 | 第107-118页 |
| 攻读博士学位期间的论文及科研成果 | 第118-119页 |
