123,123

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

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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