基本介紹
- 書名：基於三角模的模糊邏輯理論及其套用
- 類型：人文社科
- 出版日期：2013年10月1日
- 語種：簡體中文
- ISBN：7030388755
- 作者：裴道武
- 出版社：科學出版社
- 頁數：344頁
- 開本：5
- 品牌：科學出版社
基本介紹,內容簡介,作者簡介,圖書目錄,
基本介紹
內容簡介
《基於三角模的模糊邏輯理論及其套用》對現代模糊邏輯的基本理論和方法做了深入的闡述，系統介紹了國內外學者在相關領域的研究工作，其中包含了作者本人的系列研究成果。主要亮點是：以三角模為主線，對於幾個重要的模糊邏輯系統做統一的處理，並且突出模糊邏輯在近似推理中的套用。讀者可以通過《基於三角模的模糊邏輯理論及其套用》了解現代模糊邏輯的基本理論，熟悉國內外同行的研究工作，從而提升我國在這個領域的研究水平。
作者簡介
裴道武，博士，教授，博士生導師，中國系統工程學會模糊系統與模糊數學專業委員會理事，中國計算機學會高級會員、多值邏輯與模糊邏輯專業委員會常務委員，長期從事不確定性數學、非經典邏輯與近似推理、粗糙集理論及套用等方面的研究，在國內外學術期刊和學術會議論文集發表研究論文80餘篇，其中SCI、EI收錄50餘篇次。
圖書目錄
序前言本書常用符號說明第1章預備知識
1.1 從經典邏輯到模糊邏輯
1.2 三角模與剩餘蘊涵
1.3 泛代數與偏序代數結構
1.4 文獻注釋
第2 章基於冪零極小三角模的模糊邏輯理論
2.1 形式系統L*的語法理論
2.2 R0 代數理論
2.3 形式系統L*的標準完備性
2.4 系統L*的第一類擴張
2.5 系統L*的第二類擴張
2.6謂詞邏輯系統K*
2.7 文獻注釋
第3 章基於連續三角模的模糊邏輯理論
3.1 連續三角模及其剩餘蘊涵的性質
3.2基本邏輯形式系統BL及其主要定理
3.3系統BL的語義及完備性
3.4系統BL的三個重要擴張
3.5謂詞邏輯系統BL□
3.6 基本謂詞系統的擴張
3.7系統BL的標準完備性
3.8 文獻注釋
第4 章基於左連續三角模的模糊邏輯理論
4.1基於左連續三角模的形式邏輯系統MTL
4.2系統MTL的準完備性
4.3系統MTL的標準完備性
4.4謂詞演算系統MTL
4.5系統MTL的等價形式與獨立性
4.6與系統MTL相關的格值邏輯系統
4.7 文獻注釋
第5 章模糊推理的基本理論
5.1 模糊推理的基本模型
5.2 模糊推理的常用方法
5.3 模糊推理方法的幾種重要性質
5.4 基於各種蘊涵運算元的三I 算法
5.5 模糊推理方法的魯棒性
5.6 模糊推理方法的連續性
5.7 模糊推理三I 方法的邏輯基礎
5.8 文獻注釋
第6 章模糊推理的套用
6.1基於CRI方法構造的模糊系統逼近性能分析
6.2 基於三I 方法構造的模糊系統逼近性能分析
6.3 基於相似度推理方法的模糊系統分析
6.4 專家系統的基本結構
6.5 模糊推理在專家系統中的套用
6.6 文獻注釋
參考文獻
關鍵字中英文對照索引
1.1 從經典邏輯到模糊邏輯
1.2 三角模與剩餘蘊涵
1.3 泛代數與偏序代數結構
1.4 文獻注釋
第2 章基於冪零極小三角模的模糊邏輯理論
2.1 形式系統L*的語法理論
2.2 R0 代數理論
2.3 形式系統L*的標準完備性
2.4 系統L*的第一類擴張
2.5 系統L*的第二類擴張
2.6謂詞邏輯系統K*
2.7 文獻注釋
第3 章基於連續三角模的模糊邏輯理論
3.1 連續三角模及其剩餘蘊涵的性質
3.2基本邏輯形式系統BL及其主要定理
3.3系統BL的語義及完備性
3.4系統BL的三個重要擴張
3.5謂詞邏輯系統BL□
3.6 基本謂詞系統的擴張
3.7系統BL的標準完備性
3.8 文獻注釋
第4 章基於左連續三角模的模糊邏輯理論
4.1基於左連續三角模的形式邏輯系統MTL
4.2系統MTL的準完備性
4.3系統MTL的標準完備性
4.4謂詞演算系統MTL
4.5系統MTL的等價形式與獨立性
4.6與系統MTL相關的格值邏輯系統
4.7 文獻注釋
第5 章模糊推理的基本理論
5.1 模糊推理的基本模型
5.2 模糊推理的常用方法
5.3 模糊推理方法的幾種重要性質
5.4 基於各種蘊涵運算元的三I 算法
5.5 模糊推理方法的魯棒性
5.6 模糊推理方法的連續性
5.7 模糊推理三I 方法的邏輯基礎
5.8 文獻注釋
第6 章模糊推理的套用
6.1基於CRI方法構造的模糊系統逼近性能分析
6.2 基於三I 方法構造的模糊系統逼近性能分析
6.3 基於相似度推理方法的模糊系統分析
6.4 專家系統的基本結構
6.5 模糊推理在專家系統中的套用
6.6 文獻注釋
參考文獻
關鍵字中英文對照索引
