資源描述：
《探析基于語言真值格蘊涵代數(shù)的格值命題邏輯及其歸結自動推理研究》由會員上傳分享，免費在線閱讀，更多相關內容在學術論文-天天文庫。
1、西南交通大學博士學位論文基于語言真值格蘊涵代數(shù)的格值命題邏輯及其歸結自動推理研究姓名：鄒麗申請學位級別：博士專業(yè)：交通信息工程及控制指導教師：徐揚201009西南交通大學博士研究生學位論文第i頁摘要人類在處理決策、評估、風險分析、信息檢索等問題中會遇到大量的不確定性信息．本文基于格蘊涵代數(shù)，用語言真值去處理具有模糊性和不可比較性的不確定信息，建立能夠同時處理可比性和不可比性的語言真值邏輯系統(tǒng)，并對語言真值邏輯系統(tǒng)和語言真值直覺模糊邏輯系統(tǒng)的性質及其推理的理論與方法進行了研究，主要研究成果如下：一、語言真值格蘊涵代數(shù)(1)分析了2-tuple語言值表示模型，語氣代數(shù)等語言值信息處理方法．
2、(2)借鑒語氣代數(shù)的結構特點并結合格蘊涵代數(shù)的性質，討論了18元和2禮元語言真值格蘊涵代數(shù)的結構及性質．二、基于格蘊涵代數(shù)的語言真值命題邏輯系統(tǒng)(1)基于六元格蘊涵代數(shù)，得到了六元語言真值命題邏輯系統(tǒng)的推理性質及其基于濾子的歸結推理方法．(2)基于2n元語言真值格蘊涵代數(shù)，得到了2n元語言真值格值命題邏輯系統(tǒng)中命題公式的性質．(3)解決了基于語言真值格蘊涵代數(shù)的格值命題邏輯系統(tǒng)的可滿足性問題，給出了基于濾子的語言真值歸結推理理方法及Q一語言真值歸結推理方法．三、語言真值直覺模糊代數(shù)(1)基于18元語言真值格蘊涵代數(shù)／：V(gx2)，構造了45元語言真值直覺模糊代數(shù)腸8．將語言真值直覺模
3、糊格￡2"18推廣到基于2禮元語言真值格蘊涵代數(shù)Cy(nx2)的語言真值直覺模糊格C五。=(L如n，u，n，_，((k，￡)，(k，，)))，((危1，t)，(h1，，))上．(2)討論了[玉n的格代數(shù)性質，給出了語言真值直覺模糊格中V一不可約元上的蘊涵算子及其性質，進一步得到了C互n上的蘊涵算子及其性質．(3)分析了語言真值直覺模糊格￡12n與剩余格，MTL-代數(shù)，BL-代數(shù)，Mv-代數(shù)，格蘊涵代數(shù)及風·代數(shù)的關系，給出了a‰的三角代數(shù)結構．四，語言真值直覺模糊命題邏輯系統(tǒng)(1)給出語言真值直覺命題邏輯系統(tǒng)CP(S)的公理及其推理規(guī)則，得到了CP(S)中的證明與定理．(2)分析了CP
4、(S)的語義，并得到了CP(S)的可靠性與完備性．第ii頁西南交通大學博士研究生學位論文(3)研究了語言真值直覺模糊命題邏輯系統(tǒng)的推理方法，解決了CP(S)中公式的可滿足性問題，得到了(Q，p)·歸結推理方法．(4)給出45元語言真值直覺模糊代數(shù)C五8中的自動推理方法．關鍵詞：格蘊涵代數(shù)，語言真值推理，歸結原理，語言真值命題邏輯，語言真值直覺模糊命題邏輯西南交通大學博士研究生學位論文第iii頁!!!!!!!!!!!!!!!!!!!!皇!!!!!!!!!!!!!!!!!!!!!!!E!!!!!!!!!!!!!!!!I．I!AbstractUncertaiuinformationproce
5、ssingexistintheprocessingofdecisionmaking，riskanalysis，evaluationandSOon．Basedonlatticeimplicationalgebraandfuzzyorincomparablelinguisticvalues，weconstructlinguistictruth-valuedlogicsystemtoprocesscomparableorincompara-blelinguisticinformation．Moreover，westudytheoryandmethodoflinguistictruth-val
6、uedresolutionbasedonlatticeimplicationalgebra．Wealsostudythetheoryandreasoningmethodoflinguistictruth-valuedintuitionisticfuzzylogic．Themainresultsareasfollows：1．Methodoflinguistic—valuedinformationprocessing(1)Hedgealgebraand2-tuplelinguisticrepresentationmodelareanalyaedinthepaper．(2)Thestruct
7、ureandreasoningpropertiesof18-elementand2n—elementlinguistictruth-valuedlatticeimplicationalgebraarediscussed．2．Latticepropositionallogicsystembasedonlinguistictruth-valuedlatticeimplicationalgebra(1)Somespecialpropertiesand
