發(fā)布時間：2021-05-12 04:35

　　基于格值邏輯系統(tǒng)的智能信息處理是人工智能的一個重要研究方向,能夠?qū)胁豢杀容^性信息進行有效地刻畫；另外人們對事物進行推理、判斷與決策時經(jīng)常用語言值進行描述,因而基于語言值的智能信息處理理論與方法,也是目前較為活躍的一個研究領(lǐng)域。本文在已有關(guān)于基于經(jīng)典邏輯的歸結(jié)自動推理以及基于格值邏輯的歸結(jié)自動推理的基礎(chǔ)上,對基于格值邏輯的歸結(jié)自動推理理論、方法、算法與程序進行了系統(tǒng)深入的研究,并取得了以下幾個方面的研究成果：第一部分格值命題邏輯系統(tǒng)（Ln×L2）P（X）中廣義文字的α-歸結(jié)性�；诟裰得}邏輯系統(tǒng)（Ln×L2）P（X）的真值域的結(jié)構(gòu)特性,對歸結(jié)水平α為對偶分子的情形,給出了（Ln×L2）P（X）中 0-IESF、1-IESF、2-IESF與其它廣義文字之間的α-歸結(jié)性。第二部分格值邏輯系統(tǒng)的α-語義歸結(jié)自動推理。得到了格值命題邏輯系統(tǒng)LP（X）中幾類廣義子句集的性質(zhì),并建立了這幾類廣義子句集的α-語義歸結(jié)方法,給出了其可靠性與條件完備性,相應地,給出了語言真值格值命題邏輯系統(tǒng)LV（n×2）P（X）中的α-語義歸結(jié)與基于Lukasiewicz蘊涵代數(shù)的格值命題邏輯L（X）中相應歸結(jié)水平... 

【文章來源】：西南交通大學四川省 211工程院校 教育部直屬院校

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

【學位級別】：博士

【文章目錄】：
中文摘要
Abstract
第1章 緒論
    1.1 形成本文的學術(shù)背景
    1.2 國內(nèi)外研究現(xiàn)狀
        1.2.1 基于經(jīng)典邏輯的歸結(jié)自動推理研究現(xiàn)狀
        1.2.2 基于格蘊涵代數(shù)的格值邏輯的歸結(jié)自動推理研究現(xiàn)狀
    1.3 本文的主要內(nèi)容
第2章 預備知識
    2.1 格蘊涵代數(shù)和格值命題邏輯系統(tǒng)簡介
        2.1.1 格蘊涵代數(shù)
        2.1.2 格值命題邏輯系統(tǒng)LP(X)
    2.2 格值一階邏輯系統(tǒng)LF(X)中的公式及其解釋
    2.3 語言真值格蘊涵代數(shù)簡介
第3章 格值邏輯系統(tǒng)中廣義文字的α-歸結(jié)性
    3.1 格值命題邏輯系統(tǒng)中的α-歸結(jié)與α-歸結(jié)演繹
    3.2 格值命題邏輯系統(tǒng)(L_n×L_2)P(X)中0-IESF的α-歸結(jié)性
    3.3 格值命題邏輯系統(tǒng)(L_n×L_2)P(X)中1-IESF的α-歸結(jié)性
    3.4 格值命題邏輯系統(tǒng)(L_n×L_2)P(X)中2-IESF的α-歸結(jié)性
第4章 格值邏輯系統(tǒng)的α-語義歸結(jié)自動推理
    4.1 基于命題變元和形如x→b廣義文字的α-語義歸結(jié)方法
    4.2 基于命題變元和形如x→(x→b)廣義文字的α-語義歸結(jié)
        4.2.1 基于命題變元和形如x→(x→b)廣義文字的α-語義歸結(jié)方法
        4.2.2 基于命題變元和形如x→(x→b)廣義文字的α-語義歸結(jié)算法
    4.3 LP(X)中基于形如C~*(?) x的廣義子句的α-語義歸結(jié)方法
    4.4 LP(X)中基于一類廣義子句集的α-語義歸結(jié)方法
    4.5 語言真值格值命題邏輯L_(V(n×2))P(X)中的α-語義歸結(jié)
        4.5.1 基于語言真值格值命題邏輯L_(V(n×2))P(X)的(d_i,t)-語義歸結(jié)方法
        4.5.2 基于語言真值格值命題邏輯L_(V(n×2))P(X)的(d_(n-i+1,f)-語義歸結(jié)方法
        4.5.3 基于語言真值格值命題邏輯L_(V(n×2))P(X)的α-語義歸結(jié)算法
    4.6 格值一階邏輯系統(tǒng)LF(X)中的α-語義歸結(jié)方法
    4.7 語言真值格值一階邏輯L_(V(n×2))F(X)中的α-語義歸結(jié)
        4.7.1 基于語言真值格值一階邏輯L_(V(n×2))F(X)的(d_i,t)-語義歸結(jié)方法
        4.7.2 基于語言真值格值一階邏輯L_(V(n×2))F(X)的(d_(n-i+1,f)-語義歸結(jié)方法
        4.7.3 基于語言真值格值一階邏輯L_(V(n×2))F(X)的α-語義歸結(jié)算法
第5章 格值邏輯系統(tǒng)的α-廣義語義歸結(jié)自動推理
    5.1 格值命題邏輯系統(tǒng)LP(X)的α-廣義歸結(jié)
    5.2 格值命題邏輯系統(tǒng)LP(X)的α-廣義語義歸結(jié)方法
    5.3 語言真值格值命題邏輯L_(V(n×2))P(X)的α-廣義語義歸結(jié)
        5.3.1 基于語言真值格值命題邏輯L_(V(n×2))P(X)的(d_i,t)-廣義語義歸結(jié)方法
        5.3.2 基于語言真值格值命題邏輯L_(V(n×2))P(X)的(d_(n-i+1,f)-語義歸結(jié)方法
        5.3.3 基于語言真值格值命題邏輯L_(V(n×2))P(X)的α-廣義語義歸結(jié)算法
    5.4 格值一階邏輯系統(tǒng)LF(X)中的α-廣義語義歸結(jié)方法
    5.5 語言真值格值一階邏輯L_(V(n×2))F(X)的α-廣義語義歸結(jié)
        5.5.1 基于語言真值格值一階邏輯L_(V(n×2))F(X)的(d_i,t)-廣義語義歸結(jié)方法
        5.5.2 基于語言真值格值一階邏輯L_(V(n×2))F(X))的(d_(n-i+1,f)-語義歸結(jié)方法
        5.5.3 基于語言真值格值一階邏輯L_(V(n×2))F(X)的α-廣義語義歸結(jié)算法
第6章 格值邏輯系統(tǒng)中歸結(jié)方法的相容性
    6.1 格值一階邏輯LF(X)中α-語義歸結(jié)方法與刪除策略的相容性
        6.1.1 LF(X)中帶有刪除策略的α-語義歸結(jié)
        6.1.2 LP(X)中帶有刪除策略的α-語義歸結(jié)算法
    6.2 格值一階邏輯中α-廣義語義歸結(jié)方法與廣義刪除策略的相容性
        6.2.1 LF(X)中帶有刪除策略的α-廣義語義歸結(jié)
        6.2.2 LP(X)中帶有刪除策略的α-廣義語義歸結(jié)算法
    6.3 LF(X)中α-廣義歸結(jié)和支撐集歸結(jié)的相容性
        6.3.1 格值邏輯中的支撐集歸結(jié)
        6.3.2 一般廣義子句集的廣義支撐集歸結(jié)方法
結(jié)論與展望
致謝
參考文獻
附錄
攻讀博士學位期間的科研工作



本文編號：3182741