| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-27页 |
| ·形成本文的学术背景 | 第11-13页 |
| ·国内外研究现状 | 第13-20页 |
| ·基于模糊性的不确定推理研究概况 | 第14-16页 |
| ·基于归结原理的自动推理的研究概况 | 第16-18页 |
| ·关于Petri网与人工智能研究概况 | 第18-20页 |
| ·本文的研究工作 | 第20-21页 |
| ·预备知识 | 第21-27页 |
| ·Petri网有关的概念与命题 | 第21-24页 |
| ·格值命题逻辑系统LP(X)有关的概念与命题 | 第24-27页 |
| 第2章 基于Petri网的矩阵归结推理 | 第27-42页 |
| ·子句集的矩阵表示形式 | 第27-28页 |
| ·子句集矩阵的化简策略 | 第28-30页 |
| ·子句集矩阵的初等变换 | 第30-31页 |
| ·矩阵的归结判别法 | 第31-42页 |
| ·基于支撑演绎的矩阵归结算法 | 第32-37页 |
| ·基于T-不变量推理的矩阵归结算法 | 第37-42页 |
| 第3章 Petri网的删除归结推理 | 第42-62页 |
| ·Horn基子句集的Petri网删除归结原理 | 第42-52页 |
| ·一般基子句集的Petri网删除归结原理 | 第52-58页 |
| ·一般子句的Petri网模型 | 第52-54页 |
| ·一般基子句的删除归结算法 | 第54-58页 |
| ·一阶Horn子句集的Petri网删除归结原理 | 第58-60页 |
| ·两种推理算法的比较与结论 | 第60-62页 |
| 第4章 算子命题逻辑系统及其Petri网推理算法 | 第62-77页 |
| ·算子命题逻辑系统OPL | 第62-65页 |
| ·算子命题逻辑的λ-归结 | 第65-68页 |
| ·算子命题逻辑公式的Petri网模型 | 第68-72页 |
| ·命题公式的极简规则型命题子句集 | 第69-71页 |
| ·算子命题逻辑公式的Petri网模型 | 第71-72页 |
| ·算子命题逻辑的Petri网推理算法 | 第72-77页 |
| ·算子命题逻辑的T-不变量推理算法 | 第72-74页 |
| ·算子命题逻辑的删除推理算法 | 第74-77页 |
| 第5章 算子模糊逻辑系统及其Petri网归结推理算法 | 第77-103页 |
| ·算子模糊逻辑系统OFL | 第77-85页 |
| ·算子模糊逻辑的λ-归结 | 第85-92页 |
| ·算子模糊逻辑的Petri网模型 | 第92-98页 |
| ·算子模糊Horn子句的Petri网模型 | 第95-96页 |
| ·一般算子模糊子句的Petri网模型 | 第96-98页 |
| ·算子模糊逻辑的Petri网推理算法 | 第98-103页 |
| ·算子模糊逻辑的T-不变量推理算法 | 第98-100页 |
| ·算子模糊逻辑的删除推理算法 | 第100-103页 |
| 第6章 格值命题逻辑系统中公式的Petri网模型及推理算法 | 第103-129页 |
| ·格值命题逻辑系统LP(X)中公式的规则型范式及其子句集 | 第103-105页 |
| ·极简规则型子句的Petri网模型以及任意公式的Petri网模型 | 第105-111页 |
| ·n-ESRF(n≤3)的Petri网表示模型 | 第105-110页 |
| ·n-ESRF(n＞3)的Petfi网表示模型 | 第110-111页 |
| ·一般公式的Petri网表示模型 | 第111页 |
| ·四值非链格值命题逻辑系统LP_4(X)的Petri网推理模型及算法 | 第111-113页 |
| ·格值命题逻辑系统中公式的Petri网推理模型及推理算法 | 第113-129页 |
| ·T-不变量推理算法 | 第119-124页 |
| ·可达性推理算法 | 第124-129页 |
| 结论与展望 | 第129-132页 |
| 结论 | 第129-130页 |
| 展望 | 第130-132页 |
| 致谢 | 第132-133页 |
| 参考文献 | 第133-147页 |
| 攻读博士学位期间的论文及科研情况 | 第147-148页 |
