本文關(guān)鍵詞：n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性，由筆耕文化傳播整理發(fā)布。

網(wǎng)友2786321826近日為您收集整理了關(guān)于n值S-MTL命題邏輯系統(tǒng)中的近似推理理論三I算法的還原性的文檔，希望對(duì)您的工作和學(xué)習(xí)有所幫助。以下是文檔介紹：學(xué)校代號(hào):10731學(xué)號(hào):082070105009密級(jí):公開(kāi)蘭州理工大學(xué)碩士學(xué)位論文n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性Approximate Reasoning Theory in n—valued S-MTL PropositionalLogic System and Reversibility of Triple I MethodbyDeng FuxiB.E.(Northwest Normal University)2005M.S.(Lanzhou University of Technology)2011Athesis submitted in partial satisfaction of theRequirements for the degree ofMaster of SciencelnOperations Research and icsin theGraduate SchoolofLanzhou University of TechnologySupervisorAssociate Professor Li JunJune,2011蘭州理工大學(xué)學(xué)位論文原創(chuàng)性聲明和使用授權(quán)說(shuō)明原創(chuàng)性聲明本人鄭重聲明:所呈交的論文是本人在導(dǎo)師的指導(dǎo)下獨(dú)立進(jìn)行研究所取得的研究成果。除了文中特別加以標(biāo)注引用的內(nèi)容外,本論文不包含任何其他個(gè)人或集體已經(jīng)發(fā)表或撰寫(xiě)的成果作品。對(duì)本文的研究做出重要貢獻(xiàn)的個(gè)人和集體,均已在文中以明確方式標(biāo)明。本人完全意識(shí)到本聲明的法律后果由本人承擔(dān)。作者簽名:叼酶日期:?∥年歹月夕日學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位論文的規(guī)定,即:學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門(mén)或機(jī)構(gòu)送交論文的復(fù)印件和電子版,允許論文被查閱和借閱。本人授權(quán)蘭州理工大學(xué)可以將本學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫(kù)進(jìn)行檢索,可以采用影印、縮印或掃描等復(fù)制手段保存和匯編本學(xué)位論文。同時(shí)授權(quán)中國(guó)科學(xué)技術(shù)信息研究所將本學(xué)位論文收錄到《中國(guó)學(xué)位論文全文數(shù)據(jù)庫(kù)》,并通過(guò)網(wǎng)絡(luò)向社會(huì)公眾提供信息服務(wù)。作者簽名:導(dǎo)師簽名:日期:沙//年日期:加f/年石月彥日6只8 B碩f:學(xué)位論文目錄摘要…………………………………………………………………………………1英文摘要………………………………………………………………………………3前言……………………………………………………………………………………5一刖吾……………………………………………………………………………………第1章預(yù)備知識(shí)……………………………………………………………………7 1.1二值命題邏輯系統(tǒng)……………………………………………………………7 1.2 n值S.MTL命題邏輯系統(tǒng)…………………………………………………8第2章n值MTL命題邏輯系統(tǒng)中的近似推理理論……o o o o g o o Qo B g OO…………13 2.1系統(tǒng)MTh中命題的真度理論………………………………………………13 2.2 MTLn中公式真度的積分表示……………………………………………16 2.3系統(tǒng)S.MTLn中公式真度推理規(guī)則及偽距離……………………………19 2.4邏輯度量空間(F(S),P)中的近似推理………………………………………23第3章模糊推理三I算法的還原性……………………………………………26 3.1 FMP和FMT問(wèn)題的三I算法……………………………………………26 3.2 FMP問(wèn)題的三I算法的還原性……………………………………………27 3.3 FMT問(wèn)題的三I算法的還原性…………………………………………28總結(jié)與展望……………………………………………………………………………32參考文獻(xiàn)……………………………………………………………………………33弱C謝…………………………………………………………………………………36攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文………………………………………………………37碩七學(xué)位論文摘要基于左連續(xù)三角模的MTL邏輯,也是基于正則蘊(yùn)涵算子的邏輯,其中左連續(xù)三角模作為邏輯強(qiáng)合取算子的語(yǔ)義對(duì)應(yīng),與其伴隨的正則蘊(yùn)涵算子作為邏輯蘊(yùn)涵算子的語(yǔ)義對(duì)應(yīng).MTL邏輯作為模糊邏輯,具有很多良好的性質(zhì),同時(shí),基于三I原則的模糊推理算法,其統(tǒng)一形式也是基于正則蘊(yùn)涵算子給出的,因此三I算法和MTL邏輯之間存在著天然的聯(lián)系.三I原則和算法可以看做是模糊推理的一種數(shù)值實(shí)現(xiàn),但是在這種數(shù)值實(shí)現(xiàn)和邏輯的形式化推理之間,還存在著一定的距離,如果能為三I原則和算法提供一種邏輯上的解釋,那將會(huì)為模糊推理找到合適的邏輯基礎(chǔ).為了消除形式化的邏輯推理和數(shù)值計(jì)算之間的割裂,本世紀(jì)初,王國(guó)俊教授基于均勻概率的思想在經(jīng)典二值命題邏輯中引入了命題的真度概念,提出了計(jì)量邏輯理論,建立了一套近似推理模式之后,國(guó)內(nèi)外同行展開(kāi)了廣泛的研究.相似的結(jié)論被推廣到n值Lukasiewicz命題邏輯系統(tǒng)和n值R0命題邏輯系統(tǒng)中.但是所有以上的結(jié)論都是建立在均勻概率測(cè)度空間上,由于實(shí)際應(yīng)用中往往會(huì)對(duì)某些命題有所側(cè)重,所以針對(duì)非均勻分布情形進(jìn)行研究會(huì)更適合于應(yīng)用.本文在n值MTL命題邏輯系統(tǒng)的統(tǒng)一框架中,基于一般的概率測(cè)度,建立了真度的統(tǒng)一理論,給出了這種統(tǒng)一框架下公式真度的積分表示形式;證明了真度推理規(guī)則在所有的rl值S-MTL命題邏輯系統(tǒng)中成立,定義了一種偽距離,為在13值MTL命題邏輯系統(tǒng)中建立近似推理理論給出了一種可能的框架.考慮到三I算法的統(tǒng)一形式也是基于正則蘊(yùn)涵算子的,而還原性是判斷蘊(yùn)涵算子與模糊推理方法配合效果的一個(gè)重要指標(biāo),只有蘊(yùn)涵算予與推理方法搭配適當(dāng),才能使模糊推理有一個(gè)好的效果.因此本文還對(duì)三I算法的還原性進(jìn)行了討論.以下是本文所得到的主要結(jié)果:(1)提出了強(qiáng)正則蘊(yùn)涵算子與S-MTL命題邏輯系統(tǒng)的概念,并且證明了Lukasiewicz蘊(yùn)涵是最大的強(qiáng)正則蘊(yùn)涵算子.(2)在n值MTL命題邏輯系統(tǒng)中基于一般的概率測(cè)度空間定義了公式的真度,給出了真度的積分表示形式,并在n值S-MTL命題邏輯系統(tǒng)中證明了這種基于一

1

  本文關(guān)鍵詞：n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性，由筆耕文化傳播整理發(fā)布。