|
模糊推理方法及知识推理的计量化研究 |
| |
| 论文目录 |
| |
| 摘要 | 第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页 |
|
|
|
广告服务 
