本書在第一版的基礎上修訂再版，全書較系統地講述了各種三值邏輯、n值邏輯以及連續值邏輯理論；為模糊命題演算建立了一套形式演繹系統；把模糊推理納入了嚴格的邏輯軌道；從整體賦值出發，建立了積分語義學理論，為近似推理提供了一種可能的框架；系統論述了Pavelka邏輯並扼要論述了抽象邏輯。此外，本書在第一版的基礎上增添了模態邏輯、知識推理與描述邏輯的內容。
基本介紹
- 書名：非經典數理邏輯與近似推理
- 出版社：科學出版社
- 裝幀：平裝
- 開本：16
出版簡介,內容簡介,目錄,
出版簡介
作 者：王國俊 著
出 版 社：科學出版社
出版時間：2008-5-1
版 次：2
頁 數：304
字 數：377000
印刷時間：2008-5-1
開 本：16開
紙 張：膠版紙
印 次：1
I S B N：9787030212955
包 裝：平裝
內容簡介
本書可作為計算機專業、自動控制專業的研究生教材，也可供數學及相關專業的高年級本科生、教師、科研人員閱讀參考。
目錄
《現代數學基礎叢書》序
第二版前言
第一版前言
第1章 預備知識
1.1 泛代數中的預備知識
1.2 經典命題演算理論
第2章 多值邏輯的語義理論
2.1 引言
2.2 賦值格上的蘊涵運算元
2.3 幾種三值邏輯系統
2.4 一般多值邏輯系統
2.5 Σ-（α-重言式）理論
第3章 命題演算的形式系統∥
3.1 Fuzzy推理與Fuzzy邏輯
3.2 命題演算的形式演繹系統E*
3.3 E*-indenbaum代數與R。-代數
第4章 夠中的語義理論與Fuzzy推理的邏輯基礎
4.1 E*的語義與可靠性定理
4.2 E*中另一類三_重言式
4.3 Fuzzy推理的CR1算法
4.4 Fuzzy推理的三I算法
4.5 Fuzzy推理的邏輯基礎、支持度理論
第5章 積分語義學
5.1 公式的真度
5.2 真度值在[0，1]中的分布
5.3 積分相似度理論
5.4 F（S）上的偽距離
5.5 F（S）上的近似推理
第6章 格上的邏輯學
6.1 閉包運算元與閉包系統
6.2 完備格上的邏輯學
6.3 緊緻性的新形式——連續性
6.4 逐步推理
6.5 抽象模糊邏輯
6.6 公式集F上的非運算
第7章 Pavelka的邏輯學
7.1 Pavelka邏輯的基本理論
……
