| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-6页 |
| 第1章 绪论 | 第6-13页 |
| §1．1 引言 | 第6-10页 |
| 1．1．1 人工智能简述 | 第6-7页 |
| 1．1．2 不确定性推理和非经典逻辑 | 第7-8页 |
| 1．1．3 逻辑代数 | 第8-9页 |
| 1．1．4 本文写作的动机 | 第9-10页 |
| §1．2 研究现状与本文具体工作简介 | 第10-11页 |
| 1．2．1 相关课题的研究现状 | 第10-11页 |
| 1．2．2 本文具体工作简介 | 第11页 |
| §1．3 预备知识 | 第11-13页 |
| 第2章 格蕴涵代数与Brouwerian格之间的关系 | 第13-22页 |
| §2．1 格蕴涵代数的一些基本性质 | 第13-17页 |
| §2．2 格蕴涵代数与Brouwerian格之间的关系 | 第17-22页 |
| 第3章 一般格蕴涵代数方程 | 第22-36页 |
| §3．1 基本知识和概念 | 第22-23页 |
| §3．2 一般格蕴涵代数方程 | 第23-36页 |
| 第4章 有限格蕴涵代数方程 | 第36-59页 |
| §4．1 预备知识 | 第36-37页 |
| §4．2 LRPC格 | 第37-38页 |
| §4．3 有限格蕴涵代数方程(一) | 第38-50页 |
| §4．4 有限格蕴涵代数方程(二) | 第50-59页 |
| 结论 | 第59-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-66页 |
| 攻读硕士学位期间发表的论文及科研成果 | 第66页 |