| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 引言 | 第8-9页 |
| 第一章 绪论 | 第9-16页 |
| §1．1 布尔算子模糊逻辑的提出 | 第9-10页 |
| §1．2 调解法的提出 | 第10-13页 |
| §1．3 相关及本文工作 | 第13-16页 |
| 第二章 布尔算子模糊逻辑 | 第16-24页 |
| §2．1 BOFL中的基本定义 | 第16-17页 |
| §2．2 恒假水平 | 第17-18页 |
| §2．3 子句集 | 第18-24页 |
| 第三章 布尔算子模糊逻辑中的调解法 | 第24-32页 |
| §3．1 BOFL中的归结方法 | 第24-26页 |
| §3．2 相等公理和λE-恒假 | 第26-28页 |
| §3．3 BOFL中的调解方法 | 第28-32页 |
| 第四章 布尔算子模糊逻辑中的广义调解法 | 第32-43页 |
| §4．1 BOFL中的广义归结方法 | 第32-33页 |
| §4．2 广义归结的有效性及完备性 | 第33-35页 |
| §4．3 BOFL中的广义调解方法 | 第35-43页 |
| 第五章 结论与展望 | 第43-47页 |
| §5．1 相关工作比较 | 第43-45页 |
| §5．2 结论与展望 | 第45-47页 |
| 参考文献 | 第47-49页 |
| 致谢 | 第49页 |