基于三角模的模糊邏輯理論及其應(yīng)用

序
前言 本書(shū)常用符號(hào)說(shuō)明
第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* 的語(yǔ)法理論
2.2 R0 代數(shù)理論
2.3 形式系統(tǒng)L* 的標(biāo)準(zhǔn)完備性
2.4 系統(tǒng)L* 的第一類(lèi)擴(kuò)張
2.5 系統(tǒng)L* 的第二類(lèi)擴(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的語(yǔ)義及完備性
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 專(zhuān)家系統(tǒng)的基本結(jié)構(gòu)
6.5 模糊推理在專(zhuān)家系統(tǒng)中的應(yīng)用
6.6 文獻(xiàn)注釋
參考文獻(xiàn)
關(guān)鍵詞中英文對(duì)照索引