柔性逻辑的健全性研究与应用
摘要 | 第1-6页 |
ABSTRACT | 第6-12页 |
第一章 绪论 | 第12-24页 |
·选题的背景与研究现状 | 第12-19页 |
·标准逻辑的局限性 | 第12-13页 |
·柔性逻辑的产生和发展 | 第13-17页 |
·信息时代的逻辑学 | 第17-19页 |
·本文的主要创新工作 | 第19-20页 |
·本文的结构安排 | 第20-21页 |
·本章参考文献 | 第21-24页 |
第二章 泛逻辑学理论基础 | 第24-45页 |
·基本概念 | 第24-43页 |
·广义相关性和广义自相关性 | 第24-29页 |
·零级泛逻辑运算模型 | 第29-34页 |
·T范数和S范数一般原理 | 第34-43页 |
·本章参考文献 | 第43-45页 |
第三章 健全逻辑的研究 | 第45-72页 |
·引言 | 第45页 |
·健全逻辑 | 第45-46页 |
·经典逻辑的可靠性和完备性 | 第45-46页 |
·健全逻辑的定义 | 第46页 |
·柔性逻辑的现状分析 | 第46-59页 |
·κ型柔性命题泛逻辑 | 第47-49页 |
·h型柔性命题泛逻辑 | 第49-53页 |
·β柔性命题泛逻辑 | 第53-54页 |
·组合柔性命题泛逻辑 | 第54-59页 |
·基于零级运算模型的逻辑系统的健全性 | 第59-67页 |
·基本理论知识 | 第60-61页 |
·Lukasiewicz逻辑与乘积逻辑的健全性 | 第61-63页 |
·零级运算模型的健全性 | 第63-67页 |
·连续值逻辑 | 第67-70页 |
·不确定性使连续值逻辑变成了一个逻辑谱 | 第67页 |
·连续值逻辑的健全性 | 第67-70页 |
·本章小结 | 第70页 |
·本章参考文献 | 第70-72页 |
第四章 基于泛组合运算的推理算子模型 | 第72-86页 |
·引言 | 第72页 |
·基础知识 | 第72-78页 |
·泛组合运算模型 | 第72-74页 |
·模糊集合与信息论基础 | 第74-78页 |
·交互信息I(X;Y)与广义相关系数h | 第78-84页 |
·交互信息I(X;Y)与广义相关系数h的相互关系 | 第78-80页 |
·泛组合运算推理算子模型算法实现 | 第80页 |
·实验及结果分析 | 第80-84页 |
·本章小结 | 第84页 |
·本章参考文献 | 第84-86页 |
第五章 基于泛组合运算模型的脑CT图像分类 | 第86-107页 |
·引言 | 第86-87页 |
·医学图像分割 | 第87-94页 |
·脑CT图像的相关知识 | 第87-88页 |
·医学图像分割算法的特点 | 第88页 |
·医学CT图像常用分割算法介绍 | 第88-90页 |
·改进的脑CT分割算法 | 第90-92页 |
·实验结果分析 | 第92-94页 |
·图像标记 | 第94-95页 |
·形状特征的描述 | 第95-99页 |
·形状特征的提取 | 第99-104页 |
·基本思想 | 第99-101页 |
·特征提取算法描述 | 第101-102页 |
·数据特点 | 第102-103页 |
·实验结果 | 第103-104页 |
·本章小结 | 第104页 |
·本章参考文献 | 第104-107页 |
第六章 工作小结与展望 | 第107-109页 |
·研究工作小结 | 第107-108页 |
·今后的研究方向 | 第108-109页 |
致谢 | 第109-110页 |
攻读博士学位期间发表的论文 | 第110页 |