邏輯代數(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
【文章來源】:陜西師范大學(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
本文鏈接:http://www.lk138.cn/shekelunwen/ljx/2914492.html
最近更新
教材專著