首页--工业技术论文--自动化技术、计算机技术论文--自动化基础理论论文--人工智能理论论文

命题泛逻辑的演算理论及推理研究

摘要第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页

论文共132页,点击 下载论文
上一篇:论现代大学人文教育与科学教育的和谐统一--兼论新疆高校人文教育与科学教育
下一篇:BC钢铁集团成本领先战略研究