本論文將語言真值格蘊涵代數(shù)引入到格值一階邏輯中,對語言真值格蘊涵代數(shù)的一些代數(shù)結(jié)構(gòu)、基于語言真值格值一階邏輯的不確定性推理的理論與方法、基于語言真值分層格值一階邏輯的不確定性推理的理論與方法進行了研究,并取得如下四個方面的研究成果：一、關(guān)于格蘊涵代數(shù)的研究1.在格蘊涵多項式的基礎(chǔ)上,重新給出了格蘊涵代數(shù)不等式的定義,提出了幾類格蘊涵代數(shù)不等式解集的結(jié)構(gòu)特征,并得到了有些解集可構(gòu)成濾子和理想的結(jié)構(gòu)；2.提出了WLI-理想的定義,給出了WLI-理想以及由WLI-理想所生成拓?fù)淇臻g的性質(zhì),得到了滿足第二可數(shù)性公理的充分必要條件；3.提出了賦范格H蘊涵代數(shù)、蘊涵距離d→、V-距離d∨、∧-距離d∧的定義,給出了賦范蘊涵滿射、賦范格H蘊涵同態(tài)、賦范格H蘊涵同構(gòu)以及賦范同構(gòu)的性質(zhì),并證明了收斂數(shù)列的有界性和蘊涵距離是有界的結(jié)論.二、關(guān)于語言真值格蘊涵代數(shù)的研究1.給出了語言真值格蘊涵代數(shù)的若干性質(zhì),得到了（aj,bn）→（ai,bm）=（ap,bh）→（ai,bm）（?）aj=ap且bn=bh（?）（ai,bm）→（aj,bn）=（ai,bm）→（ap,bh）；2.給出了語言真值格蘊涵代數(shù)中對偶分... 

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

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

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

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 形成本文的學(xué)術(shù)背景
    1.2 國內(nèi)外研究現(xiàn)狀分析
        1.2.1 多值邏輯和語言真值格值邏輯的研究概況
        1.2.2 針對模糊性的不確定性推理研究概況
        1.2.3 語言真值的不確定性推理研究概況
    1.3 本文研究的主要內(nèi)容
第2章 格蘊涵代數(shù)與語言真值格蘊涵代數(shù)
    2.1 格蘊涵代數(shù)、語言真值格蘊涵代數(shù)及其有關(guān)性質(zhì)
    2.2 格蘊涵代數(shù)不等式
    2.3 格蘊涵代數(shù)的WLI-理想
    2.4 賦范格H蘊涵代數(shù)及性質(zhì)
    2.5 語言真值格蘊涵代數(shù)中對偶分子的推理性質(zhì)
    2.6 語言真值格蘊涵代數(shù)中蘊涵不可約元素的性質(zhì)
第3章 基于語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)的不確定性推理
    3.1 語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)的基本理論
    3.2 語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)的推理規(guī)則
    3.3 語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)的不確定性推理
        3.3.1 語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)中公式的程度化
        3.3.2 基于語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)中帶廣義量詞的不確定性推理
        3.3.3 基于語言真值格值一階邏輯系統(tǒng)L_(v(n×2))F(X)的不確定性推理
第4章 基于語言真值分層格值一階邏輯系統(tǒng)L_(v(n×2))fl的不確定性推理
    4.1 語言真值分層格值一階邏輯系統(tǒng)L_(v(n×2))fl的基本理論
    4.2 語言真值分層格值一階邏輯系統(tǒng)L_(v(n×2))fl的推理規(guī)則
    4.3 語言真值分層格值一階邏輯系統(tǒng)L_(v(n×2))fl的不確定性推理
        4.3.1 基本思想
        4.3.2 語言真值分層格值一階邏輯系統(tǒng)L_(v(n×2))fl不確定性推理模型的正則條件
        4.3.3 基于語言真值分層格值一階邏輯L_(v(n×2))fl的不確定性推理
結(jié)論與展望
致謝
參考文獻
攻讀博士學(xué)位期間發(fā)表的論文及參與的科研情況


【參考文獻】：
期刊論文
[1]格值命題邏輯系統(tǒng)L2n+1P（X）中基于半正則廣義文字的自動推理算法[J]. 李曉冰,邱小平,徐揚.  模糊系統(tǒng)與數(shù)學(xué). 2009(04)
[2]基于集對分析的上下文感知不確定性的推理方法[J]. 馬守明,王汝傳,葉寧.  南京郵電大學(xué)學(xué)報(自然科學(xué)版). 2009(01)
[3]不同知識粒度下粗糙集的不確定性研究[J]. 王國胤,張清華.  計算機學(xué)報. 2008(09)
[4]LF（X）中帶廣義量詞的可靠性定理[J]. 周平,姜明,徐揚.  模糊系統(tǒng)與數(shù)學(xué). 2008(02)
[5]一種用ANN實現(xiàn)帶權(quán)不確定性推理的方法[J]. 施明輝,周昌樂.  哈爾濱工業(yè)大學(xué)學(xué)報. 2007(09)
[6]格值一階邏輯系統(tǒng)LF（X）中帶廣義量詞的不確定性推理[J]. 周平,姜明,徐揚.  模糊系統(tǒng)與數(shù)學(xué). 2007(02)
[7]格值一階邏輯系統(tǒng)LF（X）中的廣義量詞[J]. 周平,姜明,徐揚.  模糊系統(tǒng)與數(shù)學(xué). 2006(05)
[8]完備剩余格中的全蘊涵推理方法[J]. 吳洪博,邵曉麗.  數(shù)學(xué)進展. 2006(03)
[9]剩余格蘊涵代數(shù)中準(zhǔn)素理想的研究[J]. 朱華,趙建彬,徐揚.  鄭州大學(xué)學(xué)報(理學(xué)版). 2006(02)
[10]基于泛邏輯學(xué)的邏輯關(guān)系柔性化研究[J]. 王萬森,何華燦.  軟件學(xué)報. 2005(05)

博士論文
[1]基于語言真值格值邏輯的歸結(jié)自動推理研究[D]. 李曉冰.西南交通大學(xué) 2008
[2]格蘊涵代數(shù)及語言真值不確定性推理研究[D]. 伊良忠.西南交通大學(xué) 2007
[3]基于格蘊涵代數(shù)的格值邏輯中的近似推理研究[D]. 周平.西南交通大學(xué) 2007
[4]基于格蘊涵代數(shù)的格值一階邏輯Lvfl中的不確定性推理研究[D]. 陳樹偉.西南交通大學(xué) 2006

碩士論文
[1]格蘊涵代數(shù)中a-化子和不等式的研究[D]. 龍希慶.西南交通大學(xué) 2007



本文編號：3220805