資源描述：
《探析基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、西南交通大學(xué)博士學(xué)位論文基于格蘊(yùn)涵代數(shù)的廣義格值模態(tài)邏輯及其歸結(jié)自動(dòng)推理的研究姓名：李文江申請(qǐng)學(xué)位級(jí)別：博士專業(yè)：交通信息工程及控制指導(dǎo)教師：徐揚(yáng)20021201西南交通大學(xué)博士研究生學(xué)位論文第iT摘要格是一類重要的代數(shù)結(jié)構(gòu)，現(xiàn)實(shí)世界中的很多現(xiàn)象都可以用格來(lái)刻畫，尤其是不可比較性。而建立在格上的格值邏輯系統(tǒng)把己有多值邏輯的鏈狀真值域拓展到較一般的格上，既能處理全序性信息，又能處理非全序性信息，從而更有效地描述人類推理、判斷和決策的不確定性。廣義模態(tài)邏輯屬哲學(xué)邏輯范疇，對(duì)于刻畫事物的“勢(shì)態(tài)”、人物的“情態(tài)”和過程的“時(shí)態(tài)”是一種十分有效的工具。本文在格值命題邏輯系統(tǒng)LP
2、(X)和格值一階邏輯系統(tǒng)LF(X)的基礎(chǔ)上，討論了廣義格值模態(tài)邏輯系統(tǒng)的語(yǔ)義及語(yǔ)法性質(zhì)，并對(duì)其a一歸結(jié)原理做了初步探討，主要在下述三個(gè)方面取得了研究成果:第一部分:關(guān)于格值模態(tài)命題邏輯系統(tǒng)及其歸結(jié)方法的研究在此部分，把模態(tài)算子N(必然)和P(可能)引入格值命題邏輯系統(tǒng)LP(X)，建立了新的格值模態(tài)命題邏輯系統(tǒng)LMP(X)，并研究了它的語(yǔ)義刻畫及語(yǔ)法結(jié)構(gòu)，證明了在此語(yǔ)義解釋和語(yǔ)法框架下的系統(tǒng)仍是a一可靠的和協(xié)調(diào)的:在此基礎(chǔ)上，進(jìn)一步研究了基于格值模態(tài)命題邏輯系統(tǒng)LMP(X)的a一歸結(jié)原理，給出了計(jì)算a一直接歸結(jié)式和a一自歸結(jié)式的規(guī)則，并總結(jié)出具體的歸結(jié)方法.第二部分:關(guān)
3、于格值時(shí)態(tài)命題邏輯系統(tǒng)及其歸結(jié)方法的研究此部分的主要工作是在格值命題邏輯系統(tǒng)LP(X)中引進(jìn)時(shí)態(tài)算子E(曾經(jīng))、F(將會(huì))及其對(duì)偶算子H(曾經(jīng)總是)、G(將會(huì)總是)，提出了以時(shí)軸為語(yǔ)境的格值時(shí)態(tài)命題邏輯系統(tǒng)LTP(X)，并給出其具體的語(yǔ)義解釋和語(yǔ)法結(jié)構(gòu)，并討論了它的一些性質(zhì)，證明了該系統(tǒng)的可靠性和協(xié)調(diào)性。此外，研究了與時(shí)間有關(guān)的(a,t卜歸結(jié)原理，給出了計(jì)算時(shí)態(tài)歸結(jié)式的規(guī)則，并提出了時(shí)態(tài)歸結(jié)的具體方法第三部分:關(guān)于格值模態(tài)一階邏輯系統(tǒng)及其歸結(jié)原理的研究第ii頁(yè)西南交通大學(xué)博士研究生學(xué)位論文這一部分主要是在格值模態(tài)命題邏輯系統(tǒng)LMP(X)中引進(jìn)量詞和謂詞，建立格值模態(tài)一
4、階邏輯系統(tǒng)LMF(X)，并給出其語(yǔ)義解釋和語(yǔ)法結(jié)構(gòu)，證明了系統(tǒng)的可靠性和協(xié)調(diào)性;另外，為了判斷公式的可滿足性，‘定義了格值模態(tài)一階公式的Skolem標(biāo)準(zhǔn)型和H-解釋;在此基礎(chǔ)上，對(duì)基于系統(tǒng)LMF(X)的a一歸結(jié)原理進(jìn)行了初步探討.〔關(guān)鍵詞〕格蘊(yùn)涵代數(shù)廣義格值模態(tài)邏輯定理自動(dòng)證明歸結(jié)原理西南交通大學(xué)博士研究生學(xué)位論文第iii頁(yè)AbstractThelaticeisakindofimportantalgebraicstructure.Inourlife,manyphenomenacanbedescribedbylatice,especiallynon-comparabil
5、ity.Latice-valuedlogicsystembasedonlaticeextendslinearvaluedfieldofmulti-valuedlogictolatice,thusnotonlycandealwithorderinformation,butalsocandealwithnon-orderinformation,consequentlydescribetheuncertaintyofhumanreasoning,judginganddecision-makingmoreefectively.Generalizedmodallogicbelo
6、ngstophilosophylogiccategory.Itisaveryefectivetooltodescribethetendencyofthings,atitudeofpeopleandtenseofcourse.Basedonlattice-valuedpropositionallogicsystemLP(X)andlatice-valuedfirst-orderlogicsystemLF(X),theauthorstudiedsemanticandsyntaxpropertiesofgeneralizedlatice-valuedmodallogicsy
7、stem,andprobedintoa一resolutionprinciple.Thespecificcontentsareasfollows:PartOneTheStudyofLattice-valuedModalPropositionalLogicSystemandItsResolutionMethodInthispart,weintroducedmodaloperatorsN(necessary)andP(possible)intolattice-valuedpropositionallogicsystemLP(X),setupanewlatt
