不確定性推理的代數理論

定　價：￥69.00

作　者：	王軍濤
出版社：	電子工業(yè)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787121402418	出版時間：	2020-11-01	包裝：	平裝-膠訂
開本：	16開	頁數：	188	字數：

內容簡介

　　不確定性推理是指建立在不確定性知識和證據基礎上的推理，模糊邏輯不僅是處理不確定性推理的*為堅實的邏輯基礎，也是當前眾多學者研究不確定性推理模型*為常用的理論基礎。近年來，在模糊邏輯理論中，長期占主導作用的是基于三角模的模糊邏輯，而MTL-代數是基于三角模的模糊邏輯的典型代數代表。本書以MTL-代數為代表，系統(tǒng)地研究了MTL-代數上的不確定性理論，為基于模糊邏輯理論的不確定性推理提供代數學基礎，本書的主要內容是作者近幾年來研究工作的系統(tǒng)總結，同時也兼顧了此領域國內外的*研究成果。全書共九章，具體內容包括： MTL-代數上的濾子，偽賦值，穩(wěn)定化子以及MTL-代數上的真值算子、相似算子、導子、閉包算子和時態(tài)算子等理論。

作者簡介

　　王軍濤，理學博士，西安石油大學理學院講師，主要從事代數邏輯、序代數及不確定性推理的研究。？

圖書目錄

第1 章預備知識. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 偏序集與三角模的相關知識. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 邏輯系統(tǒng)MTL 及其形式擴張. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 MTL-代數及其語義擴張. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
第2 章MTL-代數的濾子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1 MTL-代數的濾子及其商結構. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12
2.2 MTL-代數上的奇異濾子、可換濾子和固執(zhí)濾子. . . . . . . . . . . . . . . . . . . . . . . 15
2.3 MTL-代數的整濾子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
第3 章MTL-代數上的偽賦值. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.1 MTL-代數上的偽賦值及其刻畫. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.2 MTL-代數上的（正）關聯(lián)偽賦值. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3 由 MTL-代數的偽賦值誘導的商結構. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
第4 章 MTL-代數的穩(wěn)定化子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.1 MTL-代數的蘊涵穩(wěn)定化子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .65
4.2 MTL-代數的乘法穩(wěn)定化子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .74
4.3 MTL-代數的對合穩(wěn)定化子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .80
第5 章真值MTL-代數 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.1 真值MTL-代數及其子類. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.2 真值MTL-代數的真值濾子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.3 真值MTL-代數簇對應的邏輯系統(tǒng). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
第6 章相似MTL-代數. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.1 相似MTL-代數及其子類 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .104
6.2 相似MTL-代數的表示. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
6.3 相似MTL-代數簇對應的邏輯系統(tǒng) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
第7 章MTL-代數上的導子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .116
7.1 MTL-代數的蘊涵導子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
7.2 MTL-代數的差分導子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
7.3 MTL-代數的乘法導子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
第8 章 MTL-代數的內部算子和閉包算子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .140
8.1 MTL-代數上內部算子和閉包算子與伴隨的關系. . . . . . . . . . . . . . . . . . . . . 140
8.2 MTL-代數商結構的內部算子和閉包算子的刻畫. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
8.3 MTL-代數的素內部算子和素閉包算子. . . . . . . . . . . . . . . . . . . . . . . . . . . . .150
第9 章時態(tài)MTL-代數. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
9.1 時態(tài)MTL-代數及其基本性質. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .157
9.2 時態(tài)MTL-代數上的時態(tài)濾子. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .162
參考文獻. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .168