123,123

內(nèi)容簡(jiǎn)介

　　模糊邏輯與模糊推理是當(dāng)代計(jì)算智能計(jì)算的理論基礎(chǔ)之一，而基于三角模的模糊邏輯理論及其應(yīng)用則是其中重要的研究方向，近年來得到快速發(fā)展，相繼提出了幾個(gè)重要的模糊邏輯系統(tǒng)，其中比較有影響的有修正的Kleene邏輯系統(tǒng)、基本邏輯系統(tǒng)，以及Monoidal模糊邏輯系統(tǒng)及其形式化理論?！痘谌悄５哪：壿嬂碚摷捌鋺?yīng)用》系統(tǒng)闡述這個(gè)研究領(lǐng)域的理論與應(yīng)用研究成果，主要包括這三個(gè)模糊邏輯理論及其在模糊推理、模糊控制中的應(yīng)用?！痘谌悄５哪：壿嬂碚摷捌鋺?yīng)用》以三角模為主線，對(duì)于以上提及的模糊邏輯系統(tǒng)做統(tǒng)一的處理，并且突出模糊邏輯在近似推理中的應(yīng)用。讀者可以通過《基于三角模的模糊邏輯理論及其應(yīng)用》了解現(xiàn)代模糊邏輯的基本理論，熟悉國(guó)內(nèi)外同行的研究工作，從而提升我國(guó)在這個(gè)領(lǐng)域的研究水平。

作者簡(jiǎn)介

暫缺《基于三角模的模糊邏輯理論及其應(yīng)用》作者簡(jiǎn)介

圖書目錄

序
前言本書常用符號(hào)說明
第1章預(yù)備知識(shí)
1.1 從經(jīng)典邏輯到模糊邏輯
1.2 三角模與剩余蘊(yùn)涵
1.3 泛代數(shù)與偏序代數(shù)結(jié)構(gòu)
1.4 文獻(xiàn)注釋
第2章基于冪零極小三角模的模糊邏輯理論
2.1 形式系統(tǒng)L* 的語法理論
2.2 R0 代數(shù)理論
2.3 形式系統(tǒng)L* 的標(biāo)準(zhǔn)完備性
2.4 系統(tǒng)L* 的第一類擴(kuò)張
2.5 系統(tǒng)L* 的第二類擴(kuò)張
2.6 謂詞邏輯系統(tǒng)K*
2.7 文獻(xiàn)注釋
第3章基于連續(xù)三角模的模糊邏輯理論
3.1 連續(xù)三角模及其剩余蘊(yùn)涵的性質(zhì)
3.2 基本邏輯形式系統(tǒng)BL及其主要定理
3.3 系統(tǒng)BL的語義及完備性
3.4 系統(tǒng)BL的三個(gè)重要擴(kuò)張
3.5 謂詞邏輯系統(tǒng)BL
3.6 基本謂詞系統(tǒng)的擴(kuò)張
3.7 系統(tǒng)BL的標(biāo)準(zhǔn)完備性
3.8 文獻(xiàn)注釋
第4章基于左連續(xù)三角模的模糊邏輯理論
4.1 基于左連續(xù)三角模的形式邏輯系統(tǒng)MTL
4.2 系統(tǒng)MTL的準(zhǔn)完備性
4.3 系統(tǒng)MTL的標(biāo)準(zhǔn)完備性
4.4 謂詞演算系統(tǒng)MTL
4.5 系統(tǒng)MTL的等價(jià)形式與獨(dú)立性
4.6 與系統(tǒng)MTL相關(guān)的格值邏輯系統(tǒng)
4.7 文獻(xiàn)注釋
第5章模糊推理的基本理論
5.1 模糊推理的基本模型
5.2 模糊推理的常用方法
5.3 模糊推理方法的幾種重要性質(zhì)
5.4 基于各種蘊(yùn)涵算子的三I 算法
5.5 模糊推理方法的魯棒性
5.6 模糊推理方法的連續(xù)性
5.7 模糊推理三I 方法的邏輯基礎(chǔ)
5.8 文獻(xiàn)注釋
第6章模糊推理的應(yīng)用
6.1 基于CRI方法構(gòu)造的模糊系統(tǒng)逼近性能分析
6.2 基于三I 方法構(gòu)造的模糊系統(tǒng)逼近性能分析
6.3 基于相似度推理方法的模糊系統(tǒng)分析
6.4 專家系統(tǒng)的基本結(jié)構(gòu)
6.5 模糊推理在專家系統(tǒng)中的應(yīng)用
6.6 文獻(xiàn)注釋
參考文獻(xiàn)
關(guān)鍵詞中英文對(duì)照索引