引言 | 第1-9页 |
第一章 预备知识:模糊推理的三Ⅰ算法的一般形式 | 第9-13页 |
§1 三IMP算法的推广形式 | 第9-10页 |
§2 三IMT算法的推广形式 | 第10-13页 |
第二章 剩余格值逻辑系统RL及其完备性 | 第13-25页 |
§1 RL代数的概念和性质 | 第13-18页 |
§2 剩余格值逻辑系统RL的形式化理论 | 第18-24页 |
§3 形式系统RL的完备性 | 第24-25页 |
第三章 L~*系统与Godel逻辑系统的根的理论以及剩余格值逻辑系统RL中广义MP与多重广义MP规则的语构理论 | 第25-32页 |
§1 两个基本问题 | 第25页 |
§2 一组公式的根 | 第25-26页 |
§3 系统L~*中根的理论 | 第26-29页 |
§4 Godel逻辑系统G中根的理论 | 第29-30页 |
§5 剩余格值逻辑系统RL中广义MP与多重广义MP规则的语构理论 | 第30-32页 |
第四章 经典逻辑与RL逻辑系统中广义MT与多重广义MT规则的语构理论 | 第32-36页 |
§1 两个基本问题 | 第32页 |
§2 二值逻辑系统L中的广义MT与多重广义MT规则的语构理论 | 第32-34页 |
§3 多值逻辑系统RL中广义MT与多重广义MT规则的语构理论 | 第34-36页 |
第五章 剩余格值逻辑系统RL_2与RL_3中广义MP规则与广义MT规则的语义理论 | 第36-40页 |
§1 剩余格值逻辑系统RL_n的结构 | 第36页 |
§2 RL_2中广义MT规则的语义理论 | 第36-38页 |
§3 RL_3中广义MP规则与广义MT规则的语义理论 | 第38-40页 |
第六章 模糊推理的摄动性 | 第40-47页 |
§1 基本概念及引理 | 第40-41页 |
§2 不同形式的模糊推理的摄动性 | 第41-47页 |
总结 | 第47-48页 |
致谢 | 第48-49页 |
参考文献 | 第49-51页 |