本文關(guān)鍵詞：命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法，由筆耕文化傳播整理發(fā)布。

網(wǎng)友799474576近日為您收集整理了關(guān)于命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法的文檔，希望對(duì)您的工作和學(xué)習(xí)有所幫助。以下是文檔介紹：fIReasonable Solution for Generalizad MP Problems in PropositionalLogic and New Reverse Triple I MethodbyLI CaihongB.S.(Handan College)2008A thesis submitted in partial satisfaction of theRequirements for the degree ofMaster of ScienceinOperations 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è)人和集體,均已在文中以明(來(lái)源：[])確方式標(biāo)明。本人完全意識(shí)到本聲明的法律后果由本人承擔(dān)。作者簽名:套私炙日期:腓6月g日學(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)師簽泓日期:)∥庫(kù)鄉(xiāng)月呂日日期游∥月8日■I目錄摘要…………………………………………………….IABSTRACT…………………………………………………III第1章引言……………………………………………….1 1.1課題的研究意義和國(guó)內(nèi)外研究現(xiàn)狀…………………………l1.2本論文研究的內(nèi)容……………………………………..2第2章預(yù)備知識(shí)……………………………………………3 2.1二值命題邏輯(來(lái)源：[])系統(tǒng)L……………………………………3 2.1.1邏輯系統(tǒng)己中的基本概念……………………………3 2.1.2邏輯系統(tǒng)L中命題的真度…………………………..4 2.1.3邏輯系統(tǒng)￡中的相似度,偽距離和支持度……………….5 2.2 Fuzzy推理的三算法及反向三I算法……………………….7 2.2.1三I算法……………………………………….8 2.2.2反向三I算法……………………………………8 2.3三角模與蘊(yùn)涵算子…………………………………….9第3章命題邏輯中廣義MP問(wèn)題的合理解………………………..14 3.1公式的真度………………………………………….15 3.2基于支持度理論的GMP問(wèn)題的合理解……………………..15第4章基于尺。蘊(yùn)涵算子的一種新型反向三I算法………………….18 4.1反向三I算法的基本思想……………………………….18 4.2蘊(yùn)涵算子的選擇………………………………………19 4.3一種新型的反向三I(FMP)算法…………………………20 4.4一種新型的反向三I(來(lái)源：[])(FMT)算法…………………………23結(jié)論與展望………j……………………………………….27參考文獻(xiàn)………………………………………………….28致謝……………………………………………………31附錄A攻讀學(xué)位期間攻讀碩士學(xué)位期間的研究成果………………..32'-摘要眾所周知,數(shù)理邏輯的特點(diǎn)在于形式化與符號(hào)化,它和計(jì)算數(shù)學(xué)有著截然不同的風(fēng)格:前者注重形式推理而后者重視數(shù)值計(jì)算;前者強(qiáng)調(diào)嚴(yán)格論證而后者允許近似求解.邏輯推理方法在諸如定理的自動(dòng)證明、知識(shí)推理、邏輯程序設(shè)計(jì)等多個(gè)領(lǐng)域得到了廣泛的應(yīng)用:數(shù)值計(jì)算則似乎是遠(yuǎn)離形式推理的完全不同的方法.但由于人腦的思維模式與推理方法帶有不確定性,導(dǎo)致推理不是精確地,而是近似的,因此很有必要將數(shù)值計(jì)算引入到數(shù)理邏輯系統(tǒng)中從而使數(shù)理邏輯具有某種靈活性并進(jìn)而擴(kuò)大其可能的應(yīng)用范圍.正是出于此目的,王國(guó)俊教授提出了計(jì)量邏輯學(xué)理論,給出了一個(gè)公式的可靠程度的描述一公式真度,進(jìn)而給出了兩個(gè)公式間相似度,偽距離的概念并由此提出了理論的發(fā)散度,相容度等內(nèi)容,為常見(jiàn)的命題邏輯系(來(lái)源：[])統(tǒng)建立了一套完整的近似推理機(jī)制,給出了區(qū)分不同理論相容度的辦法.此外為了將模糊推理納入邏輯的框架并從語(yǔ)構(gòu)和語(yǔ)義兩個(gè)方面為模糊推理奠定嚴(yán)格的邏輯基礎(chǔ),通過(guò)將模糊推理形式化的方法移植到經(jīng)典命題邏輯系統(tǒng)中,把FMP問(wèn)題轉(zhuǎn)化為GMP,并在各命題邏輯中利用命題的真度引入命題之間的支持度,利用支持度的思想引入廣義MP問(wèn)題的一種新型求解機(jī)制,并證明了合理解的存在性,這是本文研究的問(wèn)題之一.隨后王國(guó)俊又提出了模糊推理作為已知條件的推理前件“過(guò)半可信"原則,并建立了一種FMP問(wèn)題的新型三I算法,為將命題演算范圍內(nèi)的模糊推理引入人工智能領(lǐng)域奠定了初步的基礎(chǔ).宋士吉從如何設(shè)計(jì)模糊系統(tǒng),使得在給定精度下模糊規(guī)則庫(kù)中元素最小的角度出發(fā),提出了反向三I算法.本文在上述工作的基礎(chǔ)上,利用模糊推理中推理前件“過(guò)半可信"的原則,為FMP問(wèn)題建立了一種新型反向三I算法.本文的主要工作:1.在經(jīng)典命題邏輯中基于公式的真度概念提出了公式間的支持度,利用支持度的思想引入了廣義MP問(wèn)題的一種新型合理求解機(jī)制,并證明了合理解的存在性.2.在模糊推理中利用推理前件“過(guò)半可信”原則,給出了基于R蘊(yùn)涵算子模糊推理的一種新型反向三I算法.關(guān)鍵詞:真度;支持度:GMP問(wèn)題;合理解;過(guò)半可信原則;新型反向三I算法.n

1

  本文關(guān)鍵詞：命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法，由筆耕文化傳播整理發(fā)布。