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

網(wǎng)友799474576近日為您收集整理了關于命題邏輯中廣義MP問題的合理解及新型反向三I算法的文檔，希望對您的工作和學習有所幫助。以下是文檔介紹：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蘭州理工大學學位論文原創(chuàng)性聲明和使用授權說明原創(chuàng)性聲明本人鄭重聲明:所呈交的論文是本人在導師的指導下獨立進行研究所取得的研究成果。除了文中特別加以標注引用的內容外,本論文不包含任何其他個人或集體已經(jīng)發(fā)表或撰寫的成果作品。對本文的研究做出重要貢獻的個人和集體,均已在文中以明(來源：[])確方式標明。本人完全意識到本聲明的法律后果由本人承擔。作者簽名:套私炙日期:腓6月g日學位論文版權使用授權書本學位論文作者完全了解學校有關保留、使用學位論文的規(guī)定,即:學校有權保留并向國家有關部門或機構送交論文的復印件和電子版,允許論文被查閱和借閱。本人授權蘭州理工大學可以將本學位論文的全部或部分內容編入有關數(shù)據(jù)庫進行檢索,可以采用影印、縮印或掃描等復制手段保存和匯編本學位論文。同時授權中國科學技術信息研究所將本學位論文收錄到《中國學位論文全文數(shù)據(jù)庫》,并通過網(wǎng)絡向社會公眾提供信息服務。作者簽名:孝芬多次導師簽泓日期:)∥庫鄉(xiāng)月呂日日期游∥月8日■I目錄摘要…………………………………………………….IABSTRACT…………………………………………………III第1章引言……………………………………………….1 1.1課題的研究意義和國內外研究現(xiàn)狀…………………………l1.2本論文研究的內容……………………………………..2第2章預備知識……………………………………………3 2.1二值命題邏輯(來源：[])系統(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三角模與蘊涵算子…………………………………….9第3章命題邏輯中廣義MP問題的合理解………………………..14 3.1公式的真度………………………………………….15 3.2基于支持度理論的GMP問題的合理解……………………..15第4章基于尺。蘊涵算子的一種新型反向三I算法………………….18 4.1反向三I算法的基本思想……………………………….18 4.2蘊涵算子的選擇………………………………………19 4.3一種新型的反向三I(FMP)算法…………………………20 4.4一種新型的反向三I(來源：[])(FMT)算法…………………………23結論與展望………j……………………………………….27參考文獻………………………………………………….28致謝……………………………………………………31附錄A攻讀學位期間攻讀碩士學位期間的研究成果………………..32'-摘要眾所周知,數(shù)理邏輯的特點在于形式化與符號化,它和計算數(shù)學有著截然不同的風格:前者注重形式推理而后者重視數(shù)值計算;前者強調嚴格論證而后者允許近似求解.邏輯推理方法在諸如定理的自動證明、知識推理、邏輯程序設計等多個領域得到了廣泛的應用:數(shù)值計算則似乎是遠離形式推理的完全不同的方法.但由于人腦的思維模式與推理方法帶有不確定性,導致推理不是精確地,而是近似的,因此很有必要將數(shù)值計算引入到數(shù)理邏輯系統(tǒng)中從而使數(shù)理邏輯具有某種靈活性并進而擴大其可能的應用范圍.正是出于此目的,王國俊教授提出了計量邏輯學理論,給出了一個公式的可靠程度的描述一公式真度,進而給出了兩個公式間相似度,偽距離的概念并由此提出了理論的發(fā)散度,相容度等內容,為常見的命題邏輯系(來源：[])統(tǒng)建立了一套完整的近似推理機制,給出了區(qū)分不同理論相容度的辦法.此外為了將模糊推理納入邏輯的框架并從語構和語義兩個方面為模糊推理奠定嚴格的邏輯基礎,通過將模糊推理形式化的方法移植到經(jīng)典命題邏輯系統(tǒng)中,把FMP問題轉化為GMP,并在各命題邏輯中利用命題的真度引入命題之間的支持度,利用支持度的思想引入廣義MP問題的一種新型求解機制,并證明了合理解的存在性,這是本文研究的問題之一.隨后王國俊又提出了模糊推理作為已知條件的推理前件“過半可信"原則,并建立了一種FMP問題的新型三I算法,為將命題演算范圍內的模糊推理引入人工智能領域奠定了初步的基礎.宋士吉從如何設計模糊系統(tǒng),使得在給定精度下模糊規(guī)則庫中元素最小的角度出發(fā),提出了反向三I算法.本文在上述工作的基礎上,利用模糊推理中推理前件“過半可信"的原則,為FMP問題建立了一種新型反向三I算法.本文的主要工作:1.在經(jīng)典命題邏輯中基于公式的真度概念提出了公式間的支持度,利用支持度的思想引入了廣義MP問題的一種新型合理求解機制,并證明了合理解的存在性.2.在模糊推理中利用推理前件“過半可信”原則,給出了基于R蘊涵算子模糊推理的一種新型反向三I算法.關鍵詞:真度;支持度:GMP問題;合理解;過半可信原則;新型反向三I算法.n

1

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