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