智能科學(xué)的核心問題之一是如何處理各種不確定性推理,而不確定性只是事物的外在表現(xiàn),它的存在和變化受制于事物內(nèi)部的辯證矛盾,當前邏輯學(xué)發(fā)展的重心是建立柔性邏輯(相當于邏輯學(xué)界的數(shù)理辯證邏輯)。人們早已發(fā)現(xiàn)在許多非標準邏輯中,標準邏輯的一些重要性質(zhì)沒有了,盡管它仍然具有“可靠性”和“完備性”,但它的邏輯推理失去了“可信性”。2008年,從實際信息傳輸與使用角度出發(fā),為了保證信息在處理過程中不會發(fā)生畸變,何華燦教授給出了健全邏輯的概念。本文在分析連續(xù)值邏輯發(fā)展現(xiàn)狀的基礎(chǔ)上,從邏輯譜的角度對健全邏輯進行了研究,主要研究工作和研究成果包括： 1)證明了零級泛邏輯運算模型的健全性。 對比分析二值邏輯和模糊邏輯的可靠性和完備性,在確保推理過程中信息不失真的意義下,說明了在連續(xù)值邏輯中僅有可靠性和完備性是不夠的,需要引入健全性來進一步保證連續(xù)值邏輯中推理的可信性。利用邏輯譜的性質(zhì),證明了基于零級運算模型的模糊邏輯的健全性。證明基于零級運算模型的邏輯系統(tǒng)PC(T)(h∈(0,0.5])是健全邏輯系統(tǒng)；構(gòu)建基于零級運算模型的健全邏輯系統(tǒng)PC(T)(h∈(0.5,0.75]);進一步證明基于泛邏輯零級運算模型...

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

【學(xué)位級別】：博士

【文章目錄】：
摘要
ABSTRACT
第一章 緒論
    1.1. 選題的背景與研究現(xiàn)狀
        1.1.1. 標準邏輯的局限性
        1.1.2. 柔性邏輯的產(chǎn)生和發(fā)展
        1.1.3. 信息時代的邏輯學(xué)
    1.2. 本文的主要創(chuàng)新工作
    1.3. 本文的結(jié)構(gòu)安排
    1.4. 本章參考文獻
第二章 泛邏輯學(xué)理論基礎(chǔ)
    2.1. 基本概念
        2.1.1. 廣義相關(guān)性和廣義自相關(guān)性
        2.1.2. 零級泛邏輯運算模型
        2.1.3. T范數(shù)和S范數(shù)一般原理
    2.2. 本章參考文獻
第三章 健全邏輯的研究
    3.1. 引言
    3.2. 健全邏輯
        3.2.1. 經(jīng)典邏輯的可靠性和完備性
        3.2.2. 健全邏輯的定義
    3.3. 柔性邏輯的現(xiàn)狀分析
        3.3.1. κ型柔性命題泛邏輯
        3.3.2. h型柔性命題泛邏輯
        3.3.3. β柔性命題泛邏輯
        3.3.4. 組合柔性命題泛邏輯
    3.4. 基于零級運算模型的邏輯系統(tǒng)的健全性
        3.4.1. 基本理論知識
        3.4.2. Lukasiewicz邏輯與乘積邏輯的健全性
        3.4.3. 零級運算模型的健全性
    3.5. 連續(xù)值邏輯
        3.5.1. 不確定性使連續(xù)值邏輯變成了一個邏輯譜
        3.5.2. 連續(xù)值邏輯的健全性
    3.6. 本章小結(jié)
    3.7. 本章參考文獻
第四章 基于泛組合運算的推理算子模型
    4.1. 引言
    4.2. 基礎(chǔ)知識
        4.2.1. 泛組合運算模型
        4.2.2. 模糊集合與信息論基礎(chǔ)
    4.3. 交互信息I(X;Y)與廣義相關(guān)系數(shù)h
        4.3.1. 交互信息I(X;Y)與廣義相關(guān)系數(shù)h的相互關(guān)系
        4.3.2. 泛組合運算推理算子模型算法實現(xiàn)
        4.3.3. 實驗及結(jié)果分析
    4.4. 本章小結(jié)
    4.5. 本章參考文獻
第五章 基于泛組合運算模型的腦CT圖像分類
    5.1. 引言
    5.2. 醫(yī)學(xué)圖像分割
        5.2.1. 腦CT圖像的相關(guān)知識
        5.2.2. 醫(yī)學(xué)圖像分割算法的特點
        5.2.3. 醫(yī)學(xué)CT圖像常用分割算法介紹
        5.2.4. 改進的腦CT分割算法
        5.2.5. 實驗結(jié)果分析
    5.3. 圖像標記
    5.4. 形狀特征的描述
    5.5. 形狀特征的提取
        5.5.1. 基本思想
        5.5.2. 特征提取算法描述
        5.5.3. 數(shù)據(jù)特點
        5.5.4. 實驗結(jié)果
    5.6. 本章小結(jié)
    5.7. 本章參考文獻
第六章 工作小結(jié)與展望
    6.1. 研究工作小結(jié)
    6.2. 今后的研究方向
致謝
攻讀博士學(xué)位期間發(fā)表的論文



本文編號：3763743