資源描述：
《探析基于語言真值格值邏輯的歸結(jié)自動推理研究》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、西南交通大學(xué)博士學(xué)位論文基于語言真值格值邏輯的歸結(jié)自動推理研究姓名：李曉冰申請學(xué)位級別：博士專業(yè)：交通信息工程及控制指導(dǎo)教師：徐揚20081001西南交通大學(xué)博士研究生學(xué)位論文第1頁摘要關(guān)于不確定性信息處理的研究是人工智能領(lǐng)域的一類重要的研究內(nèi)容．為處理某些不確定性信息的推理問題，建立在格值邏輯系統(tǒng)上的歸結(jié)理論與方法得到了快速發(fā)展．另一方面，人類處理不確定性時常用自然語言描述不確定性或者在不確定性的環(huán)境中進行推理(即不確定性推理)，并基于此進行判斷與決策，所以基于語言值的推理與決策成了非常引人關(guān)注的
2、研究領(lǐng)域．本文基于國內(nèi)外許多學(xué)者的研究工作，對語言真值格值邏輯系統(tǒng)的口一歸結(jié)、口一歸結(jié)自動推理方法以及相應(yīng)的算法實現(xiàn)及基于語言值格蘊涵代數(shù)的決策方法進行了較系統(tǒng)深入的研究，并取得了如下五個方面的研究成果：一、關(guān)于語言真值格值命題邏輯系統(tǒng)LVL．。：尸(x)上歸結(jié)的研究1．給出了格值命題邏輯系統(tǒng)LP(X)上口一歸結(jié)域的性質(zhì)；2．給出了格值命題邏輯系統(tǒng)LP(X)上，一歸結(jié)域的性質(zhì)；3．給出了語言真值格值命題邏輯系統(tǒng)三％。：P(x)上口一歸結(jié)和，一歸結(jié)之間的關(guān)系．二、關(guān)于格值命題邏輯系統(tǒng)三。P(X)上Ol
3、一歸結(jié)域的研究給出了三。P(x)中O-IESF、卜IESF及部分2一IESF的口一歸結(jié)域，得到了兩個廣義文字是口一歸結(jié)對的條件．三、關(guān)于語言真值格值命題邏輯系統(tǒng)上的口一歸結(jié)自動推理方法的研究1．提出了語言真值格值命題邏輯系統(tǒng)LVL．P(X)上的口一歸結(jié)自動推理方法，給出了口一歸結(jié)自動推理算法的流程圖；2．提出了語言真值格值命題邏輯系統(tǒng)LVLgP(X)上的口一歸結(jié)自動推理方法，給出了口一歸結(jié)自動推理算法，證明了該算法的可靠性和完備性，并分析了算法的計算復(fù)雜度：3．提出了語言真值格值命題邏輯系統(tǒng)1．2川
4、P(x)的半正則廣義文字M一歸結(jié)自動推理方法，給出了M一歸結(jié)自動推理算法，并證明了該算法的可靠性和完備性．四、關(guān)于格值一階邏輯系統(tǒng)LF(X)中簡單廣義子句集尋找基例的算法的研究第1I頁西南交通大學(xué)博士研究生學(xué)位論文1．給出了格值一階邏輯系統(tǒng)LF(X)上的合一算法；2．提出了格值一階邏輯系統(tǒng)LF(X)中簡單廣義子句集查找基例的算法，并證明了該算法的可靠性和完備性．五、關(guān)于語言值格蘊涵代數(shù)在決策中的應(yīng)用的研究1．給出了偏好信息集為語言值格蘊涵代數(shù)時的多目標(biāo)決策方法；2．給出了偏好信息集為一般的語言值格時
5、的多目標(biāo)決策方法；3．給出了同時帶有定量和定性信息的群決策方法．關(guān)鍵詞：語言真值格蘊涵代數(shù)；語言真值格值邏輯；口一歸結(jié)原理；口一歸結(jié)自動推理；語言值決策西南交通大學(xué)博士研究生學(xué)位論文第1II頁AbstractAnoutstandingprobleminArtificialIntelligenceishowtodealwithuncertaintyinformation．Torealizethereasoningunderuncertainty，muchoftheresearchhasbeenconc
6、entratedonresolution．basedtheoriesandmethodsforlattice—valuedlogicsystem．Ontheotherhand，sincehumanactionsarealwaysinvolvedwithuncertaintyinformationprocessing，anduncertaintyinformationisdescribedbynaturallanguage，toinvestigatetheoriesandmethodsofuncert
7、aintyinformationprocessingdescribedbynaturallanguagesinArtificialIntelligenceisnotonlynecessarybutalsocritical．Basedonpreviousinternalandexternaloutcomeofresearchesinthesedirectionsforreference，theresearchpresentedinthisthesisfocuseson口-resolution．reso
8、lution-basedautomatedreasoningmethodsanditsalgorithmsforlinguistictruth·-valuedlattice-·valuedlogicanddecisionmakingmethodsbasedonlatticeimplicationalgebra．Thespecificcontentsareasfollows：PartOneStudyonresolutionoflinguistictruth-valued
