辨证论治的非单调逻辑模型
发布时间：2022-10-04 17:10
中医药学是中国劳动人民在长期与疾病斗争的实践中的智慧结晶,在世界医学发展史上有着举足轻重的影响。要使中医药学迈向国际化、信息化、科学化、智能化,运用人工智能与数学方法描述中医药学基础理论,使中医药理论上升到数理层面,便于世人的学习、应用和认可是可选途径之一 本文首次引入并应用非单调逻辑理论对中医辨证论治过程进行描述。首先以非单调缺省逻辑为理论基础,以论据系统作为辅助工具,将辨证论治过程符号化,实现辨证论治的非单调逻辑理论形式描述,形成初步的冲突隔离后的非单调推理过程。然后以真值维持系统为辅助工具,在此基础上进行加工改造,引入证据理论,提出信度计算方法来解决中医诊断过程中冲突出现后如何维持知识体系的一致性的问题,从而实现辨证论治过程的非单调推理修正模型。最后以中医专家系统为辅助工具,在具体算法中,通过引入相容性、贴近度、假设正确度等概念,将非单调逻辑理论思想引入中医专家系统中,使中医专家系统更加智能化,使之更切合中医药学理论的实际。
【文章页数】：77 页
【学位级别】：硕士
【文章目录】：
摘要
ABSTRACT
第一章 绪论
1.1 辨证论治数字化研究的背景和意义
1.2 课题研究内容与论文结构
第二章 本文用到的相关数学方法及背景知识
2.1 非单调逻辑理论
2.1.1 非单调逻辑理论的提出
2.1.2 非单调逻辑理论基本概念
2.2 粗糙集
2.2.1 粗糙集研究背景
2.2.2 粗糙集理论的基本概念
2.3 谓词逻辑理论
2.3.1 谓词逻辑理论研究背景
2.3.2 谓词逻辑理论基本概念
2.4 论据系统简介
2.5 证据理论简介
2.6 中医专家系统
2.6.1 中医专家系统背景研究
2.6.2 中医专家系统综述
2.7 真值维持系统简介
2.8 本章小结
第三章 中医药学相关理论简介
3.1 中医药学理论概述
3.2 中医辨证论治概述
3.3 项目研究中临床材料的收集
3.3.1 病例诊断标准
3.3.2 临床材料来源
3.3.3 临床症状
3.3.4 医学实例
3.3.5 辩证分析的过程
3.3.6 信息预处理
第四章 中医辨证论治的非单调逻辑模型
4.1 辨证论治过程的非单调逻辑形式
4.1.1 符号化
4.1.2 用非单调逻辑定理进行验证
4.2 辨证论治过程的非单调推理模型
4.2.1 模型库中映射关系的描述
4.2.2 诊断推理与冲突排除总体结构描述
4.2.3 模型中诊断推理不确定性关系的管理
4.3 辨证论治非单调逻辑模型总体集成框架
第五章 非单调逻辑与中医专家系统结合算法描述
5.1 系统算法思想描述
5.1.1 引言
5.1.2 系统模块设计
5.1.3 算法中命题相容性的解决
5.2 算法主要代码分析
第六章 总结与展望
6.1 总结
6.2 展望
参考文献
附录
致谢
【参考文献】：
期刊论文
[1]基于知识的软件智能化技术——非单调推理、真值维持和约束满足问题[J]. 王宏宇,姚佳慧. 中国电力教育. 2008(S3)
[2]中医专家系统技术综述及新系统实现研究[J]. 张德政,彭嘉宁,范红霞. 计算机应用研究. 2007(12)
[3]制定《中医临床诊疗术语·症状体征部分》国家标准的重要性和迫切性[J]. 王志国,王永炎. 北京中医药大学学报. 2007(11)
[4]基于数据库的中医专家诊断系统的研究[J]. 李海鲲,胡存刚,宗仁鹤. 微处理机. 2005(01)
[5]基于人工神经网络的病症诊断原型系统[J]. 叶进,邢传鼎. 东华大学学报(自然科学版). 2003(04)
[6]中医的数学建模[J]. 陈进. 数理医药学杂志. 2002(06)
[7]反思科学教育[J]. 袁振国. 中小学管理. 1999(12)
[8]协同式中医诊断专家系统的设计与实现[J]. 高玮玲,曹元大,王澜. 北京理工大学学报. 1998(06)
[9]非单调逻辑综述[J]. 王廷利. 中山大学研究生学刊(社会科学版). 1997(03)
[10]非单调逻辑综述[J]. 王廷利. 中山大学研究生学刊(社会科学版). 1997 (03)
硕士论文
[1]试论逻辑语言的发展[D]. 史璟.河南大学 2006
本文编号：3685430
【文章页数】：77 页
【学位级别】：硕士
【文章目录】：
摘要
ABSTRACT
第一章 绪论
1.1 辨证论治数字化研究的背景和意义
1.2 课题研究内容与论文结构
第二章 本文用到的相关数学方法及背景知识
2.1 非单调逻辑理论
2.1.1 非单调逻辑理论的提出
2.1.2 非单调逻辑理论基本概念
2.2 粗糙集
2.2.1 粗糙集研究背景
2.2.2 粗糙集理论的基本概念
2.3 谓词逻辑理论
2.3.1 谓词逻辑理论研究背景
2.3.2 谓词逻辑理论基本概念
2.4 论据系统简介
2.5 证据理论简介
2.6 中医专家系统
2.6.1 中医专家系统背景研究
2.6.2 中医专家系统综述
2.7 真值维持系统简介
2.8 本章小结
第三章 中医药学相关理论简介
3.1 中医药学理论概述
3.2 中医辨证论治概述
3.3 项目研究中临床材料的收集
3.3.1 病例诊断标准
3.3.2 临床材料来源
3.3.3 临床症状
3.3.4 医学实例
3.3.5 辩证分析的过程
3.3.6 信息预处理
第四章 中医辨证论治的非单调逻辑模型
4.1 辨证论治过程的非单调逻辑形式
4.1.1 符号化
4.1.2 用非单调逻辑定理进行验证
4.2 辨证论治过程的非单调推理模型
4.2.1 模型库中映射关系的描述
4.2.2 诊断推理与冲突排除总体结构描述
4.2.3 模型中诊断推理不确定性关系的管理
4.3 辨证论治非单调逻辑模型总体集成框架
第五章 非单调逻辑与中医专家系统结合算法描述
5.1 系统算法思想描述
5.1.1 引言
5.1.2 系统模块设计
5.1.3 算法中命题相容性的解决
5.2 算法主要代码分析
第六章 总结与展望
6.1 总结
6.2 展望
参考文献
附录
致谢
【参考文献】：
期刊论文
[1]基于知识的软件智能化技术——非单调推理、真值维持和约束满足问题[J]. 王宏宇,姚佳慧. 中国电力教育. 2008(S3)
[2]中医专家系统技术综述及新系统实现研究[J]. 张德政,彭嘉宁,范红霞. 计算机应用研究. 2007(12)
[3]制定《中医临床诊疗术语·症状体征部分》国家标准的重要性和迫切性[J]. 王志国,王永炎. 北京中医药大学学报. 2007(11)
[4]基于数据库的中医专家诊断系统的研究[J]. 李海鲲,胡存刚,宗仁鹤. 微处理机. 2005(01)
[5]基于人工神经网络的病症诊断原型系统[J]. 叶进,邢传鼎. 东华大学学报(自然科学版). 2003(04)
[6]中医的数学建模[J]. 陈进. 数理医药学杂志. 2002(06)
[7]反思科学教育[J]. 袁振国. 中小学管理. 1999(12)
[8]协同式中医诊断专家系统的设计与实现[J]. 高玮玲,曹元大,王澜. 北京理工大学学报. 1998(06)
[9]非单调逻辑综述[J]. 王廷利. 中山大学研究生学刊(社会科学版). 1997(03)
[10]非单调逻辑综述[J]. 王廷利. 中山大学研究生学刊(社会科学版). 1997 (03)
硕士论文
[1]试论逻辑语言的发展[D]. 史璟.河南大学 2006
本文编号：3685430
本文链接：https://www.wllwen.com/shekelunwen/ljx/3685430.html
