| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 前言 | 第10-14页 |
| 第1章 计量逻辑学基本理论及模糊推理的全蕴涵三Ⅰ方法 | 第14-22页 |
| ·二值命题逻辑系统L及L中的计量逻辑理论 | 第14-16页 |
| ·n值Lukasiewicz命题逻辑L_n及L_n中的计量逻辑理论 | 第16-19页 |
| ·模糊推理的全蕴涵三Ⅰ方法 | 第19-22页 |
| 第2章 二值命题逻辑系统L中广义与多重广义MP问题的语构理论 | 第22-34页 |
| ·极小α公式理论 | 第22-27页 |
| ·广义MP问题的α-三Ⅰ解的定义与计算 | 第27-31页 |
| ·多重广义MP问题的α-三Ⅰ解的定义与计算 | 第31-34页 |
| 第3章 基于R_0型三Ⅰ方法的多重多维模糊推理方法的研究 | 第34-58页 |
| ·相关定义及引理 | 第36-37页 |
| ·FITA-R_0型三Ⅰ方法 | 第37-43页 |
| ·FATI-R_0型三Ⅰ方法 | 第43-48页 |
| ·p-R_0型三I方法 | 第48-58页 |
| 第4章 Lukasiewicz三值逻辑中命题的真度值之集在[0,1]上的分布 | 第58-66页 |
| ·公式的真度及真度推理规则 | 第58-61页 |
| ·公式的真度值之集在[0,1]上的分布 | 第61-66页 |
| 第5章 多值知识推理的计量化研究 | 第66-104页 |
| ·知识推理 | 第66-68页 |
| ·知识推理的语言 | 第66-67页 |
| ·Kripke知识结构 | 第67-68页 |
| ·多值知识推理的语义理论 | 第68-72页 |
| ·给定的点(ML_n,s,i)处的计量化理论 | 第72-91页 |
| ·公式φ在给定的点(ML_n,s,i)处的真度 | 第73-83页 |
| ·给定的点(ML_n,s,i)处公式之间的相似度 | 第83-87页 |
| ·给定的点(ML_n,s,i)处公式之间的伪距离 | 第87-88页 |
| ·伪距离空间(Form(p),ρ~((ML_n,s,i)))中的近似推理理论 | 第88-91页 |
| ·给定的知识结构ML_n下的计量化理论 | 第91-98页 |
| ·公式φ在给定的知识结构ML_n下的真度 | 第91-93页 |
| ·给定的知识结构ML_n下公式之间的相似度与伪距离 | 第93-96页 |
| ·伪距离空间(Form(Φ),ρ~(ML_n))中的近似推理理论 | 第96-98页 |
| ·多值知识推理的计量化理论 | 第98-104页 |
| ·公式φ的全局真度理论 | 第98-101页 |
| ·伪距离空间(Form(Φ),ρ)中的近似推理理论 | 第101-104页 |
| 总结 | 第104-106页 |
| 参考文献 | 第106-114页 |
| 致谢 | 第114-116页 |
| 攻读博士学位期间发表的研究成果 | 第116页 |
