專家系統(tǒng)原理與編程（原書第4版）

出版者的話
    專家指導(dǎo)委員會譯者序譯者簡介
    前言第1章 專家系統(tǒng)導(dǎo)論  1 ……………………
      1.1 概述 1 ……………………………………
      1.2 專家系統(tǒng)的定義 1 ………………………
      1.3 專家系統(tǒng)的優(yōu)點 5 ………………………
      1.4 專家系統(tǒng)的基本概念 5 …………………
      1.5 專家系統(tǒng)的特點 7 ………………………
      1.6 專家系統(tǒng)技術(shù)的發(fā)展 8 …………………
      1.7 專家系統(tǒng)的應(yīng)用與領(lǐng)域 12 ………………
      1.8 語言、外殼、工具 15 ……………………
      1.9 專家系統(tǒng)要素 16 …………………………
      1.10 產(chǎn)生式系統(tǒng) 20 ……………………………
      1.11 過程化程序規(guī)范 23 ………………………
      1.12 非過程化程序規(guī)范 27 ……………………
      1.13 人工神經(jīng)系統(tǒng) 30 …………………………
      1.14 專家系統(tǒng)與歸納學(xué)習(xí)的關(guān)系 34 …………
      1.15 人工智能的發(fā)展?fàn)顩r 34 …………………
      1.16 小結(jié) 37 …………………………………
      習(xí)題 38 …………………………………………
      參考文獻 38 ……………………………………
     第2章 知識的表示  41 ………………………
      2.1 概述 41 ……………………………………
      2.2 知識的含義 42 ……………………………
      2.3 產(chǎn)生式 45 …………………………………
      2.4 語義網(wǎng) 47 …………………………………
      2.5 對象-屬性-值三元組 50 ………………
      2.6 PROLOG和語義網(wǎng) 50 ……………………
      2.7 語義網(wǎng)的困難之處 53 ……………………
      2.8 模式 54 ……………………………………
      2.9 框架 55 ……………………………………
      2.10 框架的困難之處 57 ………………………
      2.11 邏輯與集合 58 ……………………………
      2.12 命題邏輯 60 ……………………………  
2.13 一階謂詞邏輯 63 …………………………
      2.14 全稱量詞 63 ……………………………
      2.15 存在量詞 64 ……………………………
      2.16 量詞與集合 65 ……………………………
      2.17 謂詞邏輯的局限性 66 ……………………
      2.18 小結(jié) 66 …………………………………
      習(xí)題 67 …………………………………………
      參考文獻 68 ……………………………………
     第3章 推理方法  71 …………………………
      3.1 概述 71 ……………………………………
      3.2 樹、格、圖 71 ……………………………
      3.3 狀態(tài)與問題空間 74 ………………………
      3.4 與或樹和目標(biāo) 77 …………………………
      3.5 演繹邏輯與三段論 79 ……………………
      3.6 推理規(guī)則 83 ………………………………
      3.7 命題邏輯的局限性 89 ……………………
      3.8 一階謂詞邏輯 90 …………………………
      3.9 邏輯系統(tǒng) 91 ………………………………
      3.10 歸結(jié) 93 …………………………………
      3.11 歸結(jié)系統(tǒng)與演繹 95 ………………………
      3.12 淺推理和因果推理 97 ……………………
      3.13 歸結(jié)與一階謂詞邏輯 99 …………………
      3.14 正向鏈和反向鏈 103 ……………………
      3.15 其他推理方法 107 ………………………
      3.16 元知識 112 ………………………………
      3.17 隱馬爾可夫模型 113 ……………………
      3.18 小結(jié) 114 …………………………………
      習(xí)題 114 …………………………………………
      參考文獻 117 ……………………………………
     第4章 不確定性推理  119 ……………………
      4.1 概述 119 …………………………………
      4.2 不確定性 119 ……………………………
      4.3 誤差種類 121 ……………………………
      4.4 誤差與歸納 122 ……………………………
      4.5 經(jīng)典概率 124 ……………………………
      4.6 經(jīng)驗主觀概率 127 …………………………
      4.7 復(fù)合概率 128 ……………………………
      4.8 條件概率 129 ……………………………  
4.9 假設(shè)推理與反向歸納 133 …………………
      4.10 時間推理與馬爾可夫鏈 135 ……………
      4.11 信任幾率 138 ……………………………
      4.12 充分性與必然性 139 ……………………
      4.13 推論鏈中的不確定性 141 ………………
      4.14 證據(jù)組合 144 ……………………………
      4.15 推理網(wǎng) 148 ………………………………
      4.16 概率的傳播 155 …………………………
      4.17 小結(jié) 158 …………………………………
      習(xí)題 158 …………………………………………
      參考文獻 161 ……………………………………
     第5章 不精確推理  163 ………………………
      5.1 概述 163 …………………………………
      5.2 不確定性與規(guī)則 163 ………………………
      5.3 確定性因子 167 ……………………………
      5.4 DempsterˉShafer理論 174 …………………
      5.5 近似推理 182 ……………………………
      5.6 不確定性的現(xiàn)狀 210 ………………………
      5.7 模糊邏輯的一些商業(yè)應(yīng)用 211 ……………
      5.8 小結(jié) 212 …………………………………
      習(xí)題 212 …………………………………………
      參考文獻 215 ……………………………………
     第6章 專家系統(tǒng)設(shè)計  217 ……………………
      6.1 概述 217 …………………………………
      6.2 選擇合適的問題 217 ………………………
      6.3 開發(fā)專家系統(tǒng)的步驟 220 …………………
      6.4 開發(fā)過程中的誤區(qū) 222 ……………………
      6.5 軟件工程與專家系統(tǒng) 225 …………………
      6.6 專家系統(tǒng)生命周期 226 ……………………
      6.7 詳細生命周期模型 229 ……………………
      6.8 小結(jié) 232 …………………………………
      習(xí)題 232 …………………………………………
      參考文獻 233 ……………………………………
     第7章 CLIPS介紹  235 ………………………
      7.1 概述 235 …………………………………
      7.2 CLIPS 235 ………………………………
      7.3 記號 236 …………………………………
      7.4 字段 237 …………………………………
      7.5 進入和退出CLIPS 239 …………………
      7.6 事實 240 …………………………………
      7.7 增加和刪除事實 242 ………………………
      7.8 修改和復(fù)制事實 243 ………………………
      7.9 監(jiān)視命令 244　……………………………
7.10 自定義事實結(jié)構(gòu) 245 ……………………
      7.11 規(guī)則的組成 246 …………………………
      7.12 議程與執(zhí)行 247 …………………………
      7.13 結(jié)構(gòu)處理命令 250 ………………………
      7.14 打印輸出命令 252 ………………………
      7.15 使用復(fù)合規(guī)則 252 ………………………
      7.16 設(shè)置斷點命令 253 ………………………
      7.17 調(diào)入和保存結(jié)構(gòu) 254 ……………………
      7.18 注釋結(jié)構(gòu) 255 ……………………………
      7.19 變量 256 …………………………………
      7.20 變量的復(fù)合用法 257 ……………………
      7.21 事實地址 257 ……………………………
      7.22 單字段通配符 259 ………………………
      7.23 塊世界 260 ………………………………
      7.24 多字段通配符和變量 263 ………………
      7.25 小結(jié) 267 …………………………………
      習(xí)題 267 …………………………………………
      參考文獻 271 ……………………………………
     第8章 高級模式匹配  273 ……………………
      8.1 概述 273 …………………………………
      8.2 字段約束 273 ……………………………
      8.3 函數(shù)和表達式 275 …………………………
      8.4 使用規(guī)則求和 277 …………………………
      8.5 BIND函數(shù) 279 ……………………………
      8.6 I/O函數(shù) 279 ………………………………
      8.7 棍子游戲 283 ……………………………
      8.8 謂詞函數(shù) 284 ……………………………
      8.9 測試條件元素 285 …………………………
      8.10 謂詞字段約束 286 ………………………
      8.11 返回值字段約束 287 ……………………
      8.12 棍子游戲程序 288 ………………………
      8.13 OR條件元素 288 ………………………
      8.14 AND條件元素 290 ………………………
      8.15 NOT條件元素 291 ………………………
      8.16 EXISTS條件元素 292 ……………………
      8.17 FORALL條件元素 294 …………………
      8.18 LOGICAL條件元素 295 …………………
      8.19 小結(jié) 298 …………………………………
      習(xí)題 298 …………………………………………
第9章 模塊化設(shè)計、執(zhí)行控制和規(guī)則效率  305 …………………………
      9.1 概述 305 …………………………………
      9.2 自定義模板屬性 305 ………………………  
9.3 優(yōu)先級 310 ………………………………
      9.4 階段和控制事實 312 ………………………
      9.5 優(yōu)先級屬性的誤用 314 ……………………
      9.6 自定義模塊結(jié)構(gòu) 316 ………………………
      9.7 輸入、輸出事實 318 ………………………
      9.8 模塊與執(zhí)行控制 320 ………………………
      9.9 Rete模式匹配算法 326 ……………………
      9.10 模式網(wǎng)絡(luò) 327 ……………………………
      9.11 連接網(wǎng)絡(luò) 329 ……………………………
      9.12 模式順序的重要性 331 …………………
      9.13 排列模式以求高效 335 …………………
      9.14 多字段變量與效率 335 …………………
      9.15 測試條件元素與效率 336 ………………
      9.16 內(nèi)置的模式匹配約束 337 ………………
      9.17 通用規(guī)則與專用規(guī)則 337 ………………
      9.18 簡單規(guī)則與復(fù)雜規(guī)則 339 ………………
      9.19 小結(jié) 340 …………………………………
      習(xí)題 341 …………………………………………
      參考文獻 346 ……………………………………
     第10章 過程化程序設(shè)計  347 ………………
      10.1 概述 347 …………………………………
      10.2 過程化函數(shù) 347 …………………………
      10.3 自定義函數(shù)結(jié)構(gòu) 352 ……………………
      10.4 自定義全局變量結(jié)構(gòu) 358 ………………
      10.5 自定義類屬和自定義方法結(jié)構(gòu) 363 ……
      10.6 過程化結(jié)構(gòu)和自定義模塊 374 …………
      10.7 有用的命令和函數(shù) 375 …………………
      10.8 小結(jié) 379 …………………………………
      習(xí)題 380 …………………………………………
     第11章 類、實例和消息處理程序  383 ……
      11.1 概述 383 …………………………………
      11.2 自定義類結(jié)構(gòu) 383 ………………………
      11.3 創(chuàng)建實例 384 ……………………………
      11.4 系統(tǒng)定義消息處理程序 384 ……………  
11.5 自定義實例結(jié)構(gòu) 386 ……………………
      11.6 類與繼承 386 ……………………………
      11.7 對象模式匹配 392 ………………………
      11.8 用戶定義消息處理程序 399 ……………
      11.9 槽存取和處理程序創(chuàng)建 403 ……………  
11.10 BEFORE、AFTER和AROUND消息處理程序 405 ……………………………  
11.11 實例創(chuàng)建、初始化和刪除消息處理程序 416 ……………………………
      11.12 修改和復(fù)制實例 418 ……………………
      11.13 類和類屬函數(shù) 420 ………………………
      11.14 實例集合查詢函數(shù) 421 …………………
      11.15 多繼承 424 ……………………………
      11.16 自定義類和自定義模塊 429 ……………
      11.17 調(diào)入和保存實例 430 ……………………
      11.18 小結(jié) 431 ………………………………
      習(xí)題 431 …………………………………………
     第12章 專家系統(tǒng)設(shè)計實例  433 ……………
      12.1 概述 433 …………………………………
      12.2 確定性因子 433 …………………………
      12.3 判定樹 436 ………………………………
      12.4 反向鏈 445 ………………………………
      12.5 監(jiān)視問題 453 ……………………………
      12.6 小結(jié) 464 …………………………………
      習(xí)題 465 …………………………………………
      參考文獻 466 ……………………………………
     附錄A 一些有用的等式  467 …………………
     附錄B 一些基本量詞公式及其含義  468 …
     附錄C 一些集合性質(zhì)  469 ……………………
     附錄D CLIPS支持信息  470 …………………
     附錄E CLIPS命令與函數(shù)概要  471 ………
     附錄F CLIPS BNF范式  492 ………………
     附錄G 軟件資源  498 …………………………