非經(jīng)典數(shù)理邏輯與近似推理

定　價(jià)：￥31.00

作　者：	王國(guó)俊著
出版社：	科學(xué)出版社
叢編項(xiàng)：	現(xiàn)代數(shù)學(xué)基礎(chǔ)叢書
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

ISBN：	9787030085443	出版時(shí)間：	2003-09-01	包裝：	平裝
開本：	20cm	頁數(shù)：	305	字?jǐn)?shù)：

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

　　本書大部分內(nèi)容是作者近期的研究成果，全書較系統(tǒng)地講述了各種三值邏輯、n值邏輯以及連續(xù)值邏輯理論;為模糊命題演算建立了一套形式演繹系統(tǒng);把模糊推理納入了嚴(yán)格的邏輯軌道;從整體賦值出發(fā)，建立了積分語義學(xué)理論，為近似推理提供了一種可能的框架;系統(tǒng)論述了Pavelka邏輯并扼要論述了抽象邏輯.本書可作為計(jì)算機(jī)專業(yè)、自動(dòng)控制專業(yè)的研究生教材，也可供數(shù)學(xué)及有關(guān)專業(yè)的高年級(jí)本科生使用.

作者簡(jiǎn)介

暫缺《非經(jīng)典數(shù)理邏輯與近似推理》作者簡(jiǎn)介

圖書目錄

前言
第一章預(yù)備知識(shí)
1?1 泛代數(shù)中的預(yù)備知識(shí)
1?2 經(jīng)曲命題演算理論
第二章多值邏輯的語義理論
2?1 引言
2?2 賦值格上的蘊(yùn)涵算子
2?3 幾種三值邏輯系統(tǒng)
2?4 一般多值邏輯系統(tǒng)
2?5 Σ-(α-重言式)理論
第三章命題演算的形式系統(tǒng)ψ
3?1 Fuzzy推理與Fuzzy邏輯
3?2 命題演算的形式演繹系統(tǒng)ψ
3?3 ψ-Lindenbaum代數(shù)與R0-代數(shù)
第四章 ψ*中的語義理論與Fuzzy推理的邏輯基礎(chǔ)
4?1 ψ的語義與可靠性定理
4?2 ψ中另一類Σ-重言式
4?3 Fuzzy推理的CRI算法
4?4 Fuzzy推理的三I算法
4?5 Fuzzy推理的邏輯基礎(chǔ)、支持度理論
第五章積分語義學(xué)
5?1 公式的真度
5?2 真度值在[0，1]中的分布
5?3 積分相似度理論
5?4 F（S）上的偽距離
5?5 F（S）中的近似推理
第六章格上的邏輯學(xué)
6?1 閉包算子與閉包系統(tǒng)
6?2 完備格上的邏輯學(xué)
6?3 緊致性的新形式――連續(xù)性
6?4 逐步推理
6?5 抽象模糊邏輯
6?6 公式集F上的非運(yùn)算
第七章 Pavelka的邏輯學(xué)
7?1 Pavelka邏輯的基本理論
7?2 剩余格
7?3 賦值格為強(qiáng)剩余格的命題演算公式代數(shù)
7?4 完備性問題
第八章 Fuzzy推理的非Fuzzy形式
8?1 引言
8?2 二值邏輯系統(tǒng)ψ中的廣義與多重廣義MP規(guī)則的語構(gòu)理論
8?3 多值邏輯系統(tǒng)ψ*中的廣義與多重廣義MP規(guī)則的語構(gòu)理論
8?4 二值邏輯系統(tǒng)ψ中廣義MP規(guī)則的語義理論
8?5 Lukasiewicz三值系統(tǒng)L3中廣義MP規(guī)則的語義理論
參考文獻(xiàn)
索引