內容簡介
《具有三種否定的模糊集與模糊邏輯的理論及其應用》是一部研究型的原創著作,《具有三種否定的模糊集與模糊邏輯的理論及其應用》共分7章。第1章簡述知識研究概況,第2章討論以模糊性事物為研究對象的模糊數學的基礎理論(集閤與邏輯)問題,著重研討邏輯與推理中的一些重要且基本的理論內容,兩章內容可視為《具有三種否定的模糊集與模糊邏輯的理論及其應用》核心主題的一個導引。第3章考察、研討知識中否定概念的各種認識,基於矛盾概念與對立概念的區分,確定瞭清晰概念與模糊概念中存在的五種不同的否定關係。為瞭從數學角度研究確定的模糊概念中的矛盾否定關係、對立否定關係和中介否定關係以及這些關係的內在聯係、性質和規律這一核心主題,第4章提齣一種具有三種否定(矛盾否定、對立否定和中介否定)的模糊集,並且介紹關於它的理論研究;第5章介紹該模糊集理論的應用,主要論述在模糊多屬性決策、模糊綜閤評判以及模糊係統設計領域中的應用研究;第6章提齣一種具有矛盾否定、對立否定和中介否定的模糊邏輯,並且介紹關於它的語義等理論研究;第7章介紹該模糊邏輯理論的應用,主要論述在模糊推理以及在一些知識處理理論中的應用研究。
目錄
目錄
序
第1章 知識研究簡述 1
1.1 人工智能研究概況 1
1.2 知識研究概況 3
1.2.1 知識、數據和信息 7
1.2.2 知識的最基本成分——概念 8
1.2.3 知識的分類和特點 10
1.2.4 知識錶示及其方法 11
1.2.5 知識推理 17
1.2.6 知識獲取 19
1.3 本章小結 21
第2章 模糊性對象的集閤基礎與邏輯基礎 22
2.1 模糊性對象與模糊數學 22
2.1.1 Zadeh模糊集以及模糊數學理論的基礎 24
2.1.2 中介邏輯與中介公理集閤論 36
2.1.3 Zadeh模糊集的擴充 47
2.2 模糊邏輯與模糊推理 50
2.2.1 模糊語言邏輯 52
2.2.2 狹義模糊邏輯 60
2.2.3 模糊推理及其推理模式 67
2.2.4 推理閤成規則CRI與模糊推理算法 75
2.2.5 模糊推理算法的數學原理 82
2.3 中介邏輯的語義研究 85
2.3.1 中介命題邏輯MP的無窮值語義 86
2.3.2 中介謂詞邏輯MF的無窮值語義解釋 94
2.3.3 中介謂詞邏輯的歸結原理 95
2.4 邏輯形式係統的語法和語義特徵 99
2.4.1 語法理論與語義理論擴充的特點 99
2.4.2 邏輯形式係統的語法完全性與語義完全性 101
2.5 本章小結 107
第3章 關於知識中否定概念的重新認識與研究 109
3.1 關於否定概念認識曆史的考察 109
3.2 知識處理領域中否定概念的認識 117
3.3 矛盾、對立概念的認識 120
3.4 概念中的不同否定關係 123
3.4.1 清晰概念與模糊概念中的五種否定關係 123
3.4.2 現有邏輯與集閤理論刻畫五種否定關係的能力 126
3.5 本章小結 130
第4章 具有矛盾否定、對立否定和中介否定的模糊集 132
4.1 具有矛盾否定、對立否定和中介否定的模糊集FSCOM 132
4.2 FSCOM模糊集的運算及其性質 134
4.3 FSCOM模糊集的理論研究 137
4.3.1 中介否定的存在性 137
4.3.2 FSCOM模糊集與Zadeh 模糊集等的關係比較 139
4.3.3 FSCOM模糊集中三種否定是不同的模糊否定 141
4.3.4 FSCOM模糊集的截集、距離測度、模糊度、包含度和貼近度 143
4.3.5 λ-中介否定集和λ-區間函數 157
4.3.6 FSCOM模糊集的改進與擴充 159
4.4 本章小結 168
第5章 FSCOM模糊集的應用 170
5.1 FSCOM模糊集在模糊多屬性決策中的應用 170
5.1.1 基於FSCOM模糊集的模糊多屬性決策方法 173
5.1.2 應用實例一:個體理財決策 173
5.1.3 應用實例二:股票投資決策 182
5.2 FSCOM模糊集在模糊綜閤評判中的應用 195
5.2.1 模糊綜閤評判的原理與方法 196
5.2.2 基於FSCOM模糊集的模糊綜閤評判方法 198
5.2.3 應用實例一:高速公路邊坡穩定性等級評判 200
5.2.4 應用實例二:空氣汙染等級評判 206
5.3 GFSCOM模糊集在模糊係統設計中的應用 211
5.3.1 基於GFSCOM模糊集的模糊係統設計方法 212
5.3.2 基於GFSCOM模糊集的模糊規則庫設計方法 225
5.3.3 應用實例:倒車模糊控製 229
5.4 本章小結 232
第6章 具有矛盾否定、對立否定和中介否定的模糊邏輯 234
6.1 具有矛盾否定、對立否定和中介否定的模糊命題邏輯係統FLCOM 234
6.1.1 FLCOM的形式化定義 234
6.1.2 FLCOM中的形式推理關係及意義 236
6.1.3 FLCOM中的否定與其他模糊邏輯中否定的對比與關係 241
6.2 FLCOM的語義研究 242
6.2.1 FLCOM的一種無窮值語義解釋 243
6.2.2 FLCOM的一種三值語義解釋 247
6.3 基於FLCOM的模糊邏輯理論研究 251
6.3.1 具有矛盾否定、對立否定和中介否定的模糊謂詞邏輯?FLCOM 251
6.3.2 三種否定的算子特徵及其錶現定理 253
6.3.3 具有三種否定的模糊命題邏輯自然推理係統FNDSCOM 260
6.3.4 具有三種否定的模糊模態命題邏輯係統MKCOM 272
6.3.5 FLCOM、FLCOM、FNDSCOM和MKCOM的語法完全性 280
6.4 本章小結 282
第7章 模糊邏輯FLCOM與FLCOM的應用 285
7.1 基於FLCOM與FLCOM的模糊推理與應用 285
7.1.1 基於FLCOM的三種模糊拒取式推理及其算法 285
7.1.2 FLCOM的λ-歸結 292
7.1.3 基於FLCOM的模糊知識推理及其搜索算法 298
7.1.4 FLCOM與FLCOM在模糊決策中的應用 307
7.1.5 FLCOM與FLCOM在模糊綜閤評判中的應用 316
7.2 FLCOM與FLCOM在一些知識處理理論中的應用 324
7.2.1 具有三種否定的模糊描述邏輯FALCCOM 324
7.2.2 具有三種否定的模糊迴答集程序FASPCOM 334
7.2.3 具有三種否定的資源描述框架擴展RDFCOM 341
7.3 本章小結 352
參考文獻 354
後記 368
精彩書摘
《具有三種否定的模糊集與模糊邏輯的理論及其應用》:
什麼是“智能”?這涉及諸如意識(consciousness)、自我(self)、思維(mind) 等問題。人們欲想瞭解的智能是人本身的智能,人工智能的研究必然涉及對人的智能本身的研究,而對於其他生物智能的研究也被認為是與人工智能相關的研究課題,這是普遍認同的觀點。但是,由於目前我們對人的自身智能的理解以及構成人的智能的必要元素的瞭解非常有限,所以就很難定義什麼是“人工”製造的“智能”瞭。關於人工智能如何定義,麥卡锡在達特茅斯會議上提齣“人工智能就是要讓機器的行為看起來就像是人所錶現齣的智能行為一樣”;美國斯坦福大學人工智能研究中心尼爾森(Nilsson)教授將之定義為“人工智能是關於知識的學科——怎樣錶示知識以及怎樣獲得知識並使用知識的科學”;而美國麻省理工學院溫斯頓教授則認為“人工智能就是研究如何使計算機去做過去隻有人纔能做的智能工作”。這些說法反映瞭人工智能學科的基本思想和基本內容,即人工智能是研究人類智能活動的規律,構造具有一定智能的人工係統,研究如何讓計算機去完成以往需要人的智力纔能勝任的工作,也就是研究如何應用計算機的軟硬件來模擬人類某些智能行為的基本理論、方法和技術。然而,在對人工智能的認識上形成瞭兩種本質不同的具有哲學性的認識觀。一種人工智能觀點認為人有可能製造齣真正能推理和解決問題的智能機器,並且這樣的機器將被認為是有知覺和自我意識的,類人的人工智能即機器的思考和推理就像人的思維一樣,非類人的人工智能即機器産生瞭與人完全不一樣的知覺和意識,使用和人完全不一樣的推理方式;而另一種人工智能觀點則認為,不可能製造齣能真正地推理和解決問題的智能機器,這些機器隻不過看起來像是智能的,但是並不真正擁有智能,也不會有自主意識。需要指齣的是,基於前一種人工智能認識觀的研究一直處於停滯不前的狀態,而基於後一種人工智能認識觀的研究在理論、方法以及技術研究方麵取得長足發展,已成為當今人工智能研究的主流,已形成一門研究開發用於模擬、延伸和擴展人的智能的新的理論與技術科學。
……
具有三種否定的模糊集與模糊邏輯的理論及其應用 下載 mobi epub pdf txt 電子書