首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文--命题演算、谓词演算、类演算论文

命题逻辑中广义MP问题的合理解及新型反向三I算法

摘要第1-8页
ABSTRACT第8-10页
第1章 引言第10-12页
   ·课题的研究意义和国内外研究现状第10-11页
   ·本论文研究的内容第11-12页
第2章 预备知识第12-23页
   ·二值命题逻辑系统L第12-16页
     ·逻辑系统L中的基本概念第12-13页
     ·逻辑系统L中命题的真度第13-14页
     ·逻辑系统L中的相似度,伪距离和支持度第14-16页
   ·Fuzzy 推理的三算法及反向三I算法第16-18页
     ·三I算法第16-17页
     ·反向三I算法第17-18页
   ·三角模与蕴涵算子第18-23页
第3章 命题逻辑中广义MP 问题的合理解第23-27页
   ·公式的真度第24页
   ·基于支持度理论的GMP 问题的合理解第24-27页
第4章 基于R_0 蕴涵算子的一种新型反向三I算法第27-36页
   ·反向三I算法的基本思想第27-28页
   ·蕴涵算子的选择第28-29页
   ·一种新型的反向三I(FMP)算法第29-32页
   ·一种新型的反向三I(FMT)算法第32-36页
结论与展望第36-37页
参考文献第37-40页
致谢第40-41页
附录A 攻读学位期间所发表的学术论文目录第41页

论文共41页,点击 下载论文
上一篇:风电—抽水蓄能电站联合运行的多目标优化
下一篇:n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性