內容簡介
本書系統地介紹了人工智慧的基本原理、方法及技術,還特別介紹了人工生命等人工智慧前沿領域的最新進展。主要內容包括:緒論、知識表示方法、確定性推理、不確定性推理、搜尋策略、機器學習、專家系統、分散式人工智慧、人工生命、軟體人、人工魚、展望。
目錄
目 錄
第1章 緒論…………………………………… 1
1-1 什麼是人工智慧……………………… 2
1-1-1 智慧型的概念…………………… 2
1-1-2 人工智慧……………………… 2
1-2 人工智慧的產生與發展……………… 3
1-2-1 孕育期………………………… 3
1-2-2 形成期………………………… 4
1-2-3 發展期………………………… 5
1-3 人工智慧的研究方法及基本內容…… 6
1-3-1 人工智慧的研究方法………… 6
1-3-2 人工智慧研究的基本內容…… 8
1-4 人工智慧的研究領域………………… 10
習題1 ……………………………………… 16
第2章 知識表示方法……………………… 17
2-1 概述…………………………………… 18
2-1-1 什麼是知識………………… 18
2-1-2 知識的特性………………… 18
2-1-3 知識的分類………………… 19
2-1-4 知識的表示………………… 20
2-2 一階謂詞邏輯表示法………………… 21
2-2-1 邏輯基礎…………………… 21
2-2-2 謂詞邏輯表示方法………… 24
2-2-3 一階謂詞邏輯表示法的
特點………………………… 25
2-3 產生式表示法………………………… 26
2-3-1 產生式的基本形式………… 26
2-3-2 產生式表示知識的方法…… 27
2-3-3 產生式系統的組成………… 28
2-3-4 產生式系統的推理方式…… 29
2-3-5 產生式表示法的特點……… 30
2-4 語義網路表示法……………………… 30
2-4-1 語義網路…………………… 30
2-4-2 基本命題的語義網路表示… 30
2-4-3 連線詞在語義網路中的
表示方法…………………… 32
2-4-4 變元和量詞在語義網路中的
表示方法…………………… 33
2-4-5 語義網路的推理過程……… 35
2-4-6 語義網路表示法的特徵…… 36
2-5 框架表示法…………………………… 36
2-5-1 框架的結構………………… 37
2-5-2 框架舉例…………………… 38
2-5-3 框架表示法的特點………… 40
2-6 其他表示方法………………………… 41
2-6-1 面向對象的表示法………… 41
2-6-2 過程表示法………………… 42
習題2 ……………………………………… 43
第3章 確定性推理………………………… 45
3-1 推理的基本概念……………………… 46
3-1-1 什麼叫推理………………… 46
3-1-2 推理方式及其分類………… 46
3-1-3 推理的方向………………… 48
3-1-4 衝突消解策略……………… 52
3-2 推理的邏輯基礎……………………… 54
3-2-1 謂詞公式的解釋…………… 54
3-2-2 謂詞公式的永真性與可滿
足性………………………… 55
3-2-3 謂詞公式的等價性與永真
蘊涵性……………………… 55
3-2-4 謂詞公式的範式…………… 57
3-2-5 置換與合一………………… 58
3-3 自然演繹推理………………………… 59
3-3-1 自然演繹推理的概念……… 59
3-3-2 利用演繹推理解決問題…… 60
3-3-3 演繹推理的特點…………… 61
3-4 歸結演繹推理………………………… 61
3-4-1 子句………………………… 62
3-4-2 Herbrand理論……………… 63
3-4-3 魯濱遜歸結原理…………… 66
3-4-4 歸結策略…………………… 68
3-4-5 使用歸結原理證明問題…… 71
3-4-6 用歸結原理求解問題……… 73
3-5 基於規則的演繹推理………………… 75
3-5-1 規則正向演繹推理………… 76
3-5-2 規則逆向演繹推理………… 80
Ⅷ
習題3 ……………………………………… 83
第4章 不確定性推理……………………… 85
4-1 不確定性推理概述…………………… 86
4-1-1 不確定性推理的概念……… 86
4-1-2 不確定性推理方法的分類… 86
4-1-3 不確定性推理中的基本
問題………………………… 87
4-2 可信度方法…………………………… 88
4-2-1 可信度概念………………… 88
4-2-2 C-F模型…………………… 89
4-2-3 可信度方法套用舉例……… 91
4-3 主觀Bayes方法……………………… 93
4-3-1 基本Bayes公式…………… 93
4-3-2 主觀Bayes方法及其推理
網路………………………… 95
4-3-3 知識不確定性的表示……… 95
4-3-4 證據不確定性的表示……… 96
4-3-5 不確定性的推理計算……… 97
4-3-6 結論不確定性的合成與
更新算法…………………… 102
4-3-7 主觀Bayes方法套用舉例…… 103
4-4 證據理論…………………………… 108
4-4-1 證據理論的形式化描述…… 108
4-4-2 證據理論的不確定性推理
模型………………………… 113
4-4-3 推理示例…………………… 118
習題4……………………………………… 121
第5章 搜尋策略…………………………… 123
5-1 搜尋的基本概念…………………… 124
5-1-1 搜尋的概念………………… 124
5-1-2 搜尋的種類………………… 124
5-2 狀態空間搜尋……………………… 124
5-2-1 狀態空間法………………… 125
5-2-2 狀態空間盲目搜尋法……… 127
5-2-3 啟發式搜尋法……………… 129
5-3 問題歸約法………………………… 132
5-3-1 問題歸約描述……………… 132
5-3-2 與或圖表示………………… 133
5-3-3 AO-算法…………………… 134
習題5……………………………………… 138
第6章 機器學習…………………………… 139
6-1 機器學習的概念…………………… 140
6-1-1 學習和機器學習…………… 140
6-1-2 機器學習的發展過程……… 141
6-1-3 學習系統…………………… 142
6-1-4 機器學習的主要策略……… 144
7-4-3 協同式專家系統…………… 187
7-5 空調機組故障診斷專家系統的
設計………………………………… 189
7-5-1 專家系統結構……………… 189
7-5-2 系統總體設計流程………… 189
7-5-3 知識庫的實現……………… 190
7-5-4 推理機的實現……………… 191
習題7……………………………………… 193
第8章 分散式人工智慧………………… 194
8-1 概述………………………………… 195
8-1-1 分散式問題求解…………… 195
8-1-2 多Agent系統……………… 196
8-2 Agent的結構………………………… 198
8-2-1 Agent的基本結構………… 198
8-2-2 反應Agent的結構………… 199
8-2-3 慎思Agent的結構………… 199
8-2-4 混合Agent的結構………… 201
8-3 Agent通信協定……………………… 201
8-3-1 Agent通信與互動模型…… 201
8-3-2 Agent通信………………… 202
8-3-3 言語行為理論……………… 205
8-3-4 Agent通信語言…………… 208
8-3-5 Agent通信的本體………… 210
8-4 Agent協作…………………………… 211
8-4-1 協作的功能………………… 211
8-4-2 協作的理論………………… 212
8-4-3 協作的形式………………… 213
8-4-4 協作的方法………………… 214
8-4-5 協作的過程………………… 215
8-5 移動Agent ………………………… 216
8-5-1 移動Agent的結構………… 216
8-5-2 移動Agent的套用………… 217
8-6 多Agent柔性車間調度系統……… 220
8-6-1 多Agent柔性車間調度
模型………………………… 220
8-6-2 仿真實驗…………………… 223
習題8……………………………………… 225
第9章 人工生命…………………………… 226
9-1 什麼是人工生命…………………… 227
9-1-1 生命的概念………………… 227
9-1-2 人工生命…………………… 228
9-1-3 廣義人工生命……………… 229