中醫(yī)藥學(xué)是中國勞動(dòng)人民在長期與疾病斗爭的實(shí)踐中的智慧結(jié)晶,在世界醫(yī)學(xué)發(fā)展史上有著舉足輕重的影響。要使中醫(yī)藥學(xué)邁向國際化、信息化、科學(xué)化、智能化,運(yùn)用人工智能與數(shù)學(xué)方法描述中醫(yī)藥學(xué)基礎(chǔ)理論,使中醫(yī)藥理論上升到數(shù)理層面,便于世人的學(xué)習(xí)、應(yīng)用和認(rèn)可是可選途徑之一 本文首次引入并應(yīng)用非單調(diào)邏輯理論對(duì)中醫(yī)辨證論治過程進(jìn)行描述。首先以非單調(diào)缺省邏輯為理論基礎(chǔ),以論據(jù)系統(tǒng)作為輔助工具,將辨證論治過程符號(hào)化,實(shí)現(xiàn)辨證論治的非單調(diào)邏輯理論形式描述,形成初步的沖突隔離后的非單調(diào)推理過程。然后以真值維持系統(tǒng)為輔助工具,在此基礎(chǔ)上進(jìn)行加工改造,引入證據(jù)理論,提出信度計(jì)算方法來解決中醫(yī)診斷過程中沖突出現(xiàn)后如何維持知識(shí)體系的一致性的問題,從而實(shí)現(xiàn)辨證論治過程的非單調(diào)推理修正模型。最后以中醫(yī)專家系統(tǒng)為輔助工具,在具體算法中,通過引入相容性、貼近度、假設(shè)正確度等概念,將非單調(diào)邏輯理論思想引入中醫(yī)專家系統(tǒng)中,使中醫(yī)專家系統(tǒng)更加智能化,使之更切合中醫(yī)藥學(xué)理論的實(shí)際。 

【文章頁數(shù)】：77 頁

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1 辨證論治數(shù)字化研究的背景和意義
    1.2 課題研究內(nèi)容與論文結(jié)構(gòu)
第二章 本文用到的相關(guān)數(shù)學(xué)方法及背景知識(shí)
    2.1 非單調(diào)邏輯理論
        2.1.1 非單調(diào)邏輯理論的提出
        2.1.2 非單調(diào)邏輯理論基本概念
    2.2 粗糙集
        2.2.1 粗糙集研究背景
        2.2.2 粗糙集理論的基本概念
    2.3 謂詞邏輯理論
        2.3.1 謂詞邏輯理論研究背景
        2.3.2 謂詞邏輯理論基本概念
    2.4 論據(jù)系統(tǒng)簡介
    2.5 證據(jù)理論簡介
    2.6 中醫(yī)專家系統(tǒng)
        2.6.1 中醫(yī)專家系統(tǒng)背景研究
        2.6.2 中醫(yī)專家系統(tǒng)綜述
    2.7 真值維持系統(tǒng)簡介
    2.8 本章小結(jié)
第三章 中醫(yī)藥學(xué)相關(guān)理論簡介
    3.1 中醫(yī)藥學(xué)理論概述
    3.2 中醫(yī)辨證論治概述
    3.3 項(xiàng)目研究中臨床材料的收集
        3.3.1 病例診斷標(biāo)準(zhǔn)
        3.3.2 臨床材料來源
        3.3.3 臨床癥狀
        3.3.4 醫(yī)學(xué)實(shí)例
        3.3.5 辯證分析的過程
        3.3.6 信息預(yù)處理
第四章 中醫(yī)辨證論治的非單調(diào)邏輯模型
    4.1 辨證論治過程的非單調(diào)邏輯形式
        4.1.1 符號(hào)化
        4.1.2 用非單調(diào)邏輯定理進(jìn)行驗(yàn)證
    4.2 辨證論治過程的非單調(diào)推理模型
        4.2.1 模型庫中映射關(guān)系的描述
        4.2.2 診斷推理與沖突排除總體結(jié)構(gòu)描述
        4.2.3 模型中診斷推理不確定性關(guān)系的管理
    4.3 辨證論治非單調(diào)邏輯模型總體集成框架
第五章 非單調(diào)邏輯與中醫(yī)專家系統(tǒng)結(jié)合算法描述
    5.1 系統(tǒng)算法思想描述
        5.1.1 引言
        5.1.2 系統(tǒng)模塊設(shè)計(jì)
        5.1.3 算法中命題相容性的解決
    5.2 算法主要代碼分析
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
附錄
致謝


【參考文獻(xiàn)】：
期刊論文
[1]基于知識(shí)的軟件智能化技術(shù)——非單調(diào)推理、真值維持和約束滿足問題[J]. 王宏宇,姚佳慧.  中國電力教育. 2008(S3)
[2]中醫(yī)專家系統(tǒng)技術(shù)綜述及新系統(tǒng)實(shí)現(xiàn)研究[J]. 張德政,彭嘉寧,范紅霞.  計(jì)算機(jī)應(yīng)用研究. 2007(12)
[3]制定《中醫(yī)臨床診療術(shù)語·癥狀體征部分》國家標(biāo)準(zhǔn)的重要性和迫切性[J]. 王志國,王永炎.  北京中醫(yī)藥大學(xué)學(xué)報(bào). 2007(11)
[4]基于數(shù)據(jù)庫的中醫(yī)專家診斷系統(tǒng)的研究[J]. 李海鯤,胡存剛,宗仁鶴.  微處理機(jī). 2005(01)
[5]基于人工神經(jīng)網(wǎng)絡(luò)的病癥診斷原型系統(tǒng)[J]. 葉進(jìn),邢傳鼎.  東華大學(xué)學(xué)報(bào)(自然科學(xué)版). 2003(04)
[6]中醫(yī)的數(shù)學(xué)建模[J]. 陳進(jìn).  數(shù)理醫(yī)藥學(xué)雜志. 2002(06)
[7]反思科學(xué)教育[J]. 袁振國.  中小學(xué)管理. 1999(12)
[8]協(xié)同式中醫(yī)診斷專家系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J]. 高瑋玲,曹元大,王瀾.  北京理工大學(xué)學(xué)報(bào). 1998(06)
[9]非單調(diào)邏輯綜述[J]. 王廷利.  中山大學(xué)研究生學(xué)刊(社會(huì)科學(xué)版). 1997(03)
[10]非單調(diào)邏輯綜述[J]. 王廷利.  中山大學(xué)研究生學(xué)刊(社會(huì)科學(xué)版). 1997 (03)

碩士論文
[1]試論邏輯語言的發(fā)展[D]. 史璟.河南大學(xué) 2006



本文編號(hào)：3685430