發(fā)布時(shí)間：2022-11-11 18:00

　　自動(dòng)推理（定理機(jī)器證明）是人工智能領(lǐng)域基本課題之一,而歸結(jié)自動(dòng)推理是“自動(dòng)推理（定理機(jī)器證明）”的一種有效方法,其研究成果可以廣泛應(yīng)用于各種人工智能系統(tǒng),如自然語(yǔ)言理解、問(wèn)題求解、程序自動(dòng)設(shè)計(jì)和程序自動(dòng)驗(yàn)證等方面�，F(xiàn)實(shí)中,存在-類非常典型的不確定性,即不可比較性,而帶有不可比較性信息的問(wèn)題往往卻很復(fù)雜。而基于格蘊(yùn)涵代數(shù)的格值邏輯能同時(shí)刻畫可比較性信息和不可比較性信息。本文主要對(duì)格蘊(yùn)涵代數(shù)的子結(jié)構(gòu)以及基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理展開研究。深入系統(tǒng)地刻畫了格蘊(yùn)涵代數(shù)的濾子理論與同余理論；給出了基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的α-歸結(jié)域的結(jié)構(gòu)；以及在基于格值邏輯系統(tǒng)的多元α-歸結(jié)自動(dòng)推理基礎(chǔ)上,借鑒基于經(jīng)典邏輯的語(yǔ)義歸結(jié)自動(dòng)推理方法,給出了基于格值邏輯系統(tǒng)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理的理論、方法、算法、程序。主要取得了以下四個(gè)方面的研究成果：第一部分,研究了基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)的語(yǔ)義代數(shù)—格蘊(yùn)涵代數(shù)的模糊濾子理論與模糊同余理論。其一,引入了格蘊(yùn)涵代數(shù)的極小素濾子、模糊素濾子、基于格上t-模T的LT-濾子以及基于區(qū)間值t-模丁的區(qū)間值丁-模糊濾子；分別給出了極小素... 

【文章頁(yè)數(shù)】：177 頁(yè)

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 本文的學(xué)術(shù)背景
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 本文的主要內(nèi)容
    1.4 格蘊(yùn)涵代數(shù)簡(jiǎn)介
第2章 格蘊(yùn)涵代數(shù)的模糊濾子理論
    2.1 格蘊(yùn)涵代數(shù)的極小素濾子
    2.2 格蘊(yùn)涵代數(shù)的模糊素濾子
    2.3 格蘊(yùn)涵代數(shù)的LT-濾子
    2.4 格蘊(yùn)涵代數(shù)的區(qū)間值T-模糊濾子
    2.5 本章小結(jié)
第3章 格蘊(yùn)涵代數(shù)的模糊同余理論
    3.1 格蘊(yùn)涵代數(shù)的同余關(guān)系
    3.2 格蘊(yùn)涵代數(shù)的模糊同余關(guān)系
    3.3 格蘊(yùn)涵代數(shù)的LT-同余關(guān)系
    3.4 格蘊(yùn)涵代數(shù)的區(qū)間值T-模糊同余關(guān)系
    3.5 本章小結(jié)
第4章 基于格值邏輯系統(tǒng)的α-歸結(jié)域的結(jié)構(gòu)
    4.1 格值邏輯系統(tǒng)簡(jiǎn)介
    4.2 基于格值系統(tǒng)的α-歸結(jié)域的代數(shù)結(jié)構(gòu)
    4.3 基于格值邏輯系統(tǒng)的3-元廣義文字的α-可歸結(jié)性判定
    4.4 本章小結(jié)
第5章 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理
    5.1 基于格值命題邏輯系統(tǒng)LP(X)的多元α-歸結(jié)自動(dòng)推理理論
        5.1.1 基于格值命題邏輯系統(tǒng)LP(X)的多元α-歸結(jié)原理
        5.1.2 多元α-歸結(jié)演繹中參與的廣義文字個(gè)數(shù)動(dòng)態(tài)變化的原則
        5.1.3 基于格值命題邏輯系統(tǒng)LP(X)的可多元α-歸結(jié)式的代數(shù)結(jié)構(gòu)
        5.1.4 基于格值命題邏輯系統(tǒng)LP(X)的多元α-歸結(jié)原理的有效性分析
    5.2 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)方法
        5.2.1 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)方法
        5.2.2 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)方法的有效性分析
    5.3 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理算法
        5.3.1 預(yù)處理
        5.3.2 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)算法
        5.3.3 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)算法的復(fù)雜性與有效性
    5.4 基于格值命題邏輯系統(tǒng)LP(X)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理程序
    5.5 本章小結(jié)
第6章 基于格值一階邏輯系統(tǒng)LF(X)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理
    6.1 基于格值一階邏輯系統(tǒng)LF(X)的多元α-歸結(jié)自動(dòng)推理理論
        6.1.1 基于格值一階邏輯系統(tǒng)LF(X)的多元α-歸結(jié)原理
        6.1.2 多元α-歸結(jié)演繹中參與的廣義文字個(gè)數(shù)動(dòng)態(tài)變化的原則
        6.1.3 格值一階邏輯系統(tǒng)LF(X)的多元α-歸結(jié)的下降引理與等價(jià)轉(zhuǎn)換定理
        6.1.4 基于格值一階邏輯系統(tǒng)LF(X)的多元α-歸結(jié)原理的有效性分析
    6.2 基于格值一階邏輯系統(tǒng)LF(X)的多元α-語(yǔ)義歸結(jié)方法
        6.2.1 基于格值一階邏輯系統(tǒng)LF(X)的多元α-語(yǔ)義歸結(jié)方法
        6.2.2 基于格值一階邏輯系統(tǒng)LF(X)的多元α-語(yǔ)義歸結(jié)方法的有效性分析
    6.3 基于格值一階邏輯系統(tǒng)LF(X)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理算法及實(shí)現(xiàn)
    6.4 本章小結(jié)
結(jié)論與展望
    本文取得的主要研究成果
    進(jìn)一步研究工作
致謝
參考文獻(xiàn)
附錄1 基于格值命題邏輯L_nP(X)的多元α-語(yǔ)義歸結(jié)自動(dòng)推理程序源代碼
攻讀博士學(xué)位期間的科研工作



本文編號(hào)：3705491