摘要 | 第1-4页 |
Abstract | 第4-9页 |
第一章 绪论 | 第9-23页 |
·研究背景 | 第9-13页 |
·泛逻辑的产生与发展 | 第9-11页 |
·数理逻辑的演算理论 | 第11-13页 |
·国内外研究现状 | 第13-19页 |
·非经典逻辑的研究现状 | 第13页 |
·模糊逻辑的研究现状 | 第13-15页 |
·泛逻辑的研究现状 | 第15-19页 |
·本文的主要工作 | 第19-23页 |
·课题的目的与意义 | 第19页 |
·主要工作和论文安排 | 第19-22页 |
·课题的创新性分析 | 第22-23页 |
第二章 模糊蕴涵算子与泛蕴涵算子 | 第23-43页 |
·模糊逻辑算子 | 第23-27页 |
·模糊“非”算子: 否定 | 第23-24页 |
·模糊“与”算子: t-范 | 第24-26页 |
·模糊“或”算子: t-余范 | 第26-27页 |
·模糊蕴涵算子 | 第27-36页 |
·若干蕴涵的定义及分析比较 | 第27-33页 |
·五类模糊蕴涵算子性质的分析 | 第33-36页 |
·泛蕴涵算子 | 第36-41页 |
·泛蕴涵算子的分段定义 | 第36-37页 |
·泛蕴涵算子的性质 | 第37-41页 |
·小结 | 第41-43页 |
第三章 命题泛逻辑中的广义重言式理论 | 第43-65页 |
·基于零级泛与运算的广义重言式理论 | 第43-54页 |
·h=1的情形 | 第44-45页 |
·h=0.75的情形 | 第45-46页 |
·h=0.5的情形 | 第46-51页 |
·h∈(0,0.75)的情形 | 第51-52页 |
·h∈(0.75,1)的情形 | 第52-53页 |
·h=0的情形 | 第53-54页 |
·基于零级泛非和零级泛与运算的广义重言式理论 | 第54-63页 |
·h=1,k=0.5的情形 | 第54-56页 |
·h=0.75,k=0.5的情形 | 第56-60页 |
·h=0.5,k=0.5的情形 | 第60-61页 |
·h=0,k=0.5的情形 | 第61-63页 |
·小结 | 第63-65页 |
第四章 命题泛逻辑的语构理论 | 第65-91页 |
·基本逻辑BL介绍 | 第65-68页 |
·基本逻辑BL | 第65-67页 |
·基本逻辑BL的扩张 | 第67-68页 |
·基于零级泛与的命题泛逻辑形式系统 | 第68-75页 |
·形式系统UL_(h∈(0,1]) | 第68-71页 |
·LΠG代数和形式系统UL_(h∈(0,1])的完备性 | 第71-74页 |
·形式系统UL_(h∈(0,1])的扩张 | 第74-75页 |
·基于一级泛与的命题泛逻辑学系统 | 第75-88页 |
·形式系统UL_(h∈(0,1])~Δ | 第75-79页 |
·形式系统UL_(h∈(0.75,1])~- | 第79-84页 |
·形式系统UL_(h∈(0,1])~- | 第84-88页 |
·小结 | 第88-91页 |
第五章 基于泛逻辑的柔性推理 | 第91-119页 |
·模糊推理方法 | 第91-99页 |
·CRI方法 | 第92页 |
·三I方法 | 第92-99页 |
·基于泛逻辑的柔性推理规则 | 第99-105页 |
·GMP模型 | 第100-101页 |
·GMT模型 | 第101页 |
·多维模糊推理模型 | 第101-102页 |
·多重模糊推理模型 | 第102-103页 |
·多维多重模糊推理模型 | 第103-104页 |
·模糊条件语句模型 | 第104页 |
·多段模糊推理模型 | 第104-105页 |
·泛蕴涵推理机及其对函数图形的描绘 | 第105-118页 |
·泛蕴涵推理机 | 第105-108页 |
·应用泛蕴涵推理机描绘函数图形 | 第108-115页 |
·三种模糊系统误差的分析比较 | 第115-118页 |
·小结 | 第118-119页 |
第六章 总结与展望 | 第119-121页 |
·本文工作总结 | 第119-120页 |
·进一步研究的课题 | 第120-121页 |
参考文献 | 第121-129页 |
攻读博士学位期间发表的文章与科研实践 | 第129-131页 |
致谢 | 第131-132页 |