中国韩国日本在线观看免费,A级尤物一区,日韩精品一二三区无码,欧美日韩少妇色

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

邏輯代數(shù)上的濾子及反向三I算法統(tǒng)一形式的研究

發(fā)布時間:2020-12-13 11:42
  為了奠定模糊推理的邏輯基礎(chǔ),各種邏輯代數(shù)不斷被提出。2001年,Esteva提出了MTL系統(tǒng)及其相應(yīng)的代數(shù)—MTL代數(shù),在MTL代數(shù)上增加對合律得IMTL代數(shù),即BR0-代數(shù)。在IMTL代數(shù)上再增加兩個公理后得到NM(?)代數(shù),也就是說NM(?)是IMTL的模式擴張,給IMTL代數(shù)再分別添加不同的公理又可以分別得到與(?)ukasiewicz邏輯系統(tǒng)相配套的多值邏輯代數(shù)—MV-代數(shù)和王國俊教授提出的與L*系統(tǒng)相配套的R0代數(shù)。因此,BR0-代數(shù)和NM(?)代數(shù)居于承上啟下的地位,因而受到學(xué)術(shù)界的廣泛關(guān)注。對于一個形式系統(tǒng)而言,完備性是至關(guān)重要的邏輯性質(zhì),它反映了該系統(tǒng)語法與語義的和諧性,邏輯代數(shù)中的濾子在證明相應(yīng)系統(tǒng)的完備性時有著重要的應(yīng)用,深入討濾子的性質(zhì)具有重要的意義。Fuzzy推理是Fuzzy控制的理論基礎(chǔ),Fuzzy推理的基本模型有FMP模型(Fuzzy ModusPonens)和FMT模型(Fuzzy Modus Tolens)。Zadeh于1973年首先針對FMP模型提出了著名的CRI方... 

【文章來源】:陜西師范大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】:51 頁

【學(xué)位級別】:碩士

【文章目錄】:
摘要
Abstract
第一章 緒論
    1.1 邏輯代數(shù)及其濾子
    1.2 模糊推理和發(fā)展與應(yīng)用
    1.3 本文結(jié)構(gòu)
0-代數(shù)的正規(guī)MP-濾子和布爾MP-濾子">第二章 基礎(chǔ)R0-代數(shù)的正規(guī)MP-濾子和布爾MP-濾子
    2.1 基本概念與常用性質(zhì)
0-代數(shù)的MP-濾子,正規(guī)MP-濾子,布爾MP-濾子">    2.2 基礎(chǔ)R0-代數(shù)的MP-濾子,正規(guī)MP-濾子,布爾MP-濾子
    2.3 各濾子間的關(guān)系
第三章 NM(?)代數(shù)的素濾子上的拓撲結(jié)構(gòu)
    3.1 NM(?)代數(shù)及其性質(zhì)
    3.2 NM(?)代數(shù)的濾子及其性質(zhì)
    3.3 全體素濾子之集上的拓撲空間
*和(?)uk邏輯系統(tǒng)的反向三I算法的統(tǒng)一形式">第四章 基于L*和(?)uk邏輯系統(tǒng)的反向三I算法的統(tǒng)一形式
    4.1 引言
    4.2 基礎(chǔ)知識
*和(?)uk邏輯系統(tǒng)的反向三I算法的統(tǒng)一形式">    4.3 基于L*和(?)uk邏輯系統(tǒng)的反向三I算法的統(tǒng)一形式
*和(?)uk邏輯系統(tǒng)的α-反向三I算法的統(tǒng)一形式">    4.4 基于L*和(?)uk邏輯系統(tǒng)的α-反向三I算法的統(tǒng)一形式
總結(jié)
參考文獻
致謝
研究成果


【參考文獻】:
期刊論文
[1]基于Lukasiewicz蘊涵算子的反向三I算法[J]. 秦克云,裴崢.  模糊系統(tǒng)與數(shù)學(xué). 2005(02)
[2]R0-代數(shù)(NM-代數(shù))的布爾MP濾子與布爾MP理想[J]. 張小紅,薛占熬,馬盈倉.  工程數(shù)學(xué)學(xué)報. 2005(02)
[3]基于某些常見蘊涵算子的反向三I算法[J]. 彭家寅,侯健,李洪興.  自然科學(xué)進展. 2005(04)
[4]模糊推理全蘊涵算法及其還原性[J]. 裴道武.  數(shù)學(xué)研究與評論. 2004(02)
[5]基礎(chǔ)R0-代數(shù)與基礎(chǔ)L*系統(tǒng)[J]. 吳洪博.  數(shù)學(xué)進展. 2003(05)
[6]模糊推理的反向三I算法[J]. 宋士吉,吳澄.  中國科學(xué)E輯:技術(shù)科學(xué). 2002(02)
[7]修正的Kleene系統(tǒng)中的廣義重言式理論[J]. 吳洪博.  中國科學(xué)E輯:技術(shù)科學(xué). 2002(02)
[8]形式系統(tǒng)~*的完備性及其應(yīng)用[J]. 裴道武,王國俊.  中國科學(xué)E輯:技術(shù)科學(xué). 2002(01)
[9]模糊推理的反向三Ⅰ約束算法[J]. 宋士吉,吳澄.  自然科學(xué)進展. 2002(01)
[10]FMT問題的兩種三I算法及其還原性[J]. 裴道武.  模糊系統(tǒng)與數(shù)學(xué). 2001(04)



本文編號:2914492

資料下載
論文發(fā)表

本文鏈接:http://www.lk138.cn/shekelunwen/ljx/2914492.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶43605***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com