發(fā)布時(shí)間：2020-12-13 11:42

　　為了奠定模糊推理的邏輯基礎(chǔ),各種邏輯代數(shù)不斷被提出。2001年,Esteva提出了MTL系統(tǒng)及其相應(yīng)的代數(shù)—MTL代數(shù),在MTL代數(shù)上增加對合律得IMTL代數(shù),即BR₀-代數(shù)。在IMTL代數(shù)上再增加兩個(gè)公理后得到NM（?）代數(shù),也就是說NM（?）是IMTL的模式擴(kuò)張,給IMTL代數(shù)再分別添加不同的公理又可以分別得到與（?）ukasiewicz邏輯系統(tǒng)相配套的多值邏輯代數(shù)—MV-代數(shù)和王國俊教授提出的與L^*系統(tǒng)相配套的R₀代數(shù)。因此,BR₀-代數(shù)和NM（?）代數(shù)居于承上啟下的地位,因而受到學(xué)術(shù)界的廣泛關(guān)注。對于一個(gè)形式系統(tǒng)而言,完備性是至關(guān)重要的邏輯性質(zhì),它反映了該系統(tǒng)語法與語義的和諧性,邏輯代數(shù)中的濾子在證明相應(yīng)系統(tǒng)的完備性時(shí)有著重要的應(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ǔ)R₀-代數(shù)的正規(guī)MP-濾子和布爾MP-濾子
    2.1 基本概念與常用性質(zhì)
0-代數(shù)的MP-濾子,正規(guī)MP-濾子,布爾MP-濾子">    2.2 基礎(chǔ)R₀-代數(shù)的MP-濾子,正規(guī)MP-濾子,布爾MP-濾子
    2.3 各濾子間的關(guān)系
第三章 NM（?）代數(shù)的素濾子上的拓?fù)浣Y(jié)構(gòu)
    3.1 NM（?）代數(shù)及其性質(zhì)
    3.2 NM（?）代數(shù)的濾子及其性質(zhì)
    3.3 全體素濾子之集上的拓?fù)淇臻g
*和（?）uk邏輯系統(tǒng)的反向三I算法的統(tǒng)一形式">第四章 基于L^*和（?）uk邏輯系統(tǒng)的反向三I算法的統(tǒng)一形式
    4.1 引言
    4.2 基礎(chǔ)知識(shí)
*和（?）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é)
參考文獻(xiàn)
致謝
研究成果


【參考文獻(xiàn)】：
期刊論文
[1]基于Lukasiewicz蘊(yùn)涵算子的反向三I算法[J]. 秦克云,裴崢.  模糊系統(tǒng)與數(shù)學(xué). 2005(02)
[2]R0-代數(shù)（NM-代數(shù)）的布爾MP濾子與布爾MP理想[J]. 張小紅,薛占熬,馬盈倉.  工程數(shù)學(xué)學(xué)報(bào). 2005(02)
[3]基于某些常見蘊(yùn)涵算子的反向三I算法[J]. 彭家寅,侯健,李洪興.  自然科學(xué)進(jìn)展. 2005(04)
[4]模糊推理全蘊(yùn)涵算法及其還原性[J]. 裴道武.  數(shù)學(xué)研究與評論. 2004(02)
[5]基礎(chǔ)R0-代數(shù)與基礎(chǔ)L*系統(tǒng)[J]. 吳洪博.  數(shù)學(xué)進(jìn)展. 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é)進(jìn)展. 2002(01)
[10]FMT問題的兩種三I算法及其還原性[J]. 裴道武.  模糊系統(tǒng)與數(shù)學(xué). 2001(04)



本文編號：2914492