圖書信息
出版社: 機械工業出版社; 第1版 (2006年8月1日)
叢書名: 計算機科學叢書
平裝: 528頁
開本: 16開
ISBN: 7111192036
條形碼: 9787111192039
尺寸: 26 x 18.4 x 2 cm
重量: 798 g
作者簡介
作者：(美)吉奧克 譯者：陳憶群 劉星成
美國休斯敦大學明湖分校計算機科學系教授。作為NASA的顧問，他參與了專家系統工具clips(包含在本書中)的開發。另外，他發表了30多篇研究論文並著有10多本書。
內容簡介
本書是人工智慧領域裡的著名教科書和參考書，詳細介紹專家系統的基本原理與編程技術，包括專家系統的理論知識和基於規則的套用。反映了快速發展的專家系統領域的最新趨勢。共分兩部分，第一部分介紹專家系統的基本理論，並對人工智慧及其與專家系統的關係做了總體論述；第二部分集中介紹套用技術，包括CLIPS專家系統工具和新的面向對象語言COOL。讀者將學習如何套用COOL語言通過定義規則和對象，開發一個完整的專家系統。
本書是一本關於專家系統的著名教科書，全面介紹了專家系統原理，並通過CLIPS詳細討論了其實際套用。本書內容包括：知識表示、推理方法、不確定性推理、不精確推理、CLIPS、高級模式匹配、模組化設計、執行控制和規則效率、過程化程式設計、類、實例和訊息處理程式等。
本書理論與實際相結合，內容由淺入深，為了解和設計專家系統提供了理論基礎和編程指導。隨書光碟包括CLIPS程式、原始碼以及其他相關文檔。
本書適合作為計算機科學相關專業本科生和研究生的教材，也可供相關專業人員參考。
目錄
出版者的話
專家指導委員會
譯者序
譯者簡介
前言
第1章 專家系統導論
1.1概述
1.2專家系統的定義
1.3專家系統的優點
1.4專家系統的基本概念
1.5專家系統的特點
1.6專家系統技術的發展
1.7專家系統的套用與領域
1.8語言、外殼、工具
1.9專家系統要素
1.10產生式系統
1.1l過程化程式規範
1.12非過程化程式規範
1.13人工神經系統
1.14專家系統與歸納學習的關係
1.15人工智慧的發展狀況
1.16小結
習題
參考文獻
第2章 知識的表示
2.1概述
2.2知識的含義
2.3產生式
2.4語義網
2.5對象一屬性一值三元組
2.6 FlR01，OG和語義網
2.7語義網的困難之處
2.8模式
2.9框架
2.10框架的困難之處
2.11邏輯與集合
2.12命題邏輯
2.13一階謂詞邏輯
2.14全稱量詞
2.15存在量詞
2.16量詞與集合
2.17謂詞邏輯的局限性
2.18小結
習題
參考文獻
第3章 推理方法
3.1概述
3.2樹、格、圖
3.3狀態與問題空間
3.4與或樹和目標
3.5演繹邏輯與三段論
3.6推理規則
3.7命題邏輯的局限性
3.8一階謂詞邏輯
3.9邏輯系統
3.10歸結
3.11歸結系統與演繹
3.12淺推理和因果推理
3.13歸結與一階謂詞邏輯
3.14向鏈和反向鏈
3.15其他推理方法
3.16元知識
3.17隱馬爾可夫模型
3.18小結
習題
參考文獻
第4章 不確定性推理
4.1概述
4.2不確定性
4.3誤差種類
4.4誤差與歸納
4.5經典機率
4.6經驗主觀機率
4.7複合機率
4.8條件機率
4.9假設推理與反向歸納
4.10時間推理與馬爾可夫鏈
4.11信任幾率
4.12充分性與必然性
4.13推論鏈中的不確定性
4.14證據組合
4.15推理網
4.16機率的傳播
4.17小結
習題
參考文獻
第5章 不精確推理
5.1概述
5.2不確定性與規則
5.3確定性因子
5.4 Dempster—Shafei‘理論
5.5近似推理
5.6不確定性的現狀
5.7模糊邏輯的一些商業套用
5.8小結
習題
參考文獻
第6章 專家系統設計
6.1概述
6.2選擇合適的問題
6.3開發專家系統的步驟
6.4開發過程中的誤區
6.5軟體工程與專家系統
6.6專家系統生命周期
6.7詳細生命周期模型
6.8小結
習題
參考文獻
第7章 CLIPS介紹
7.1概述
7.2 CLIPS
7.3記號
7.4欄位
7.5進入和退出CLIPS
7.6事實
7.7增加和刪除事實
7.8修改和複製事實
7.9監視命令
7.10自定義事實結構
7.11規則的組成
7.12議程與執行
7.13結構處理命令
7.14列印輸出命令
7.15使用複合規則
7.16設定斷點命令
7.17調入和保存結構
7.18注釋結構
7.19變數
7.20變數的複合用法
7.21事實地址
7.22單欄位通配符
7.23塊世界
7.24多欄位通配符和變數
7.25小結
習題
參考文獻
第8章 高級模式匹配
8.1概述
8.2欄位約束
8.3函式和表達式
8.4使用規則求和
8.5 BIND函式
8.6 I/O函式
8.7棍子遊戲
8.8謂詞函式
8.9測試條件元素
8.10謂詞欄位約束
8.11返回值欄位約束
8.12棍子遊戲程式
8.13 0R條件元素
8.14 AND條件元素
8.15 NOT條件元素
8.16 EXISTs條件元素
8.17 FORAI上條件元素
8.18 LOGICAL條件元素
8.19小結
習題
第9章 模組化設計、執行控制和規則效率
9.1概述
9.2自定義模板屬性
9.3優先權
9.4階段和控制事實
9.5優先權屬性的誤用
9.6自定義模組結構
9.7輸入、輸出事實
9.8模組與執行控制
9.9：Rete.模式匹配算法
9.10模式網路
9.1l連線網路
9.12模式順序的重要性
9.13排列模式以求高效
9.14多欄位變數與效率
9.15測試條件元素與效率
9.16內置的模式匹配約束
9.17通用規則與專用規則
9.18簡單規則與複雜規則
9.19小結
習題
參考文獻
第10章 過程化程式設計
10.1概述
10.2過程化函式
10.3自定義函式結構
10.4自定義全局變數結構
10.5自定義類屬和自定義方法結構
10.6過程化結構和自定義模組
10.7有用的命令和函式
10.8小結
習題
第11章 類、實例和訊息處理程式
11.1概述
11.2自定義類結構
11.3創建實例
11.4系統定義訊息處理程式
11.5自定義實例結構
11.6類與繼承
11.7對象模式匹配
11.8用戶定義訊息處理程式
11.9槽存取和處理程式創建
11.10 BEFORE、AFTER和AIROLJND訊息處理程式
11.1l實例創建、初始化和刪除訊息處理程式
11.12修改和複製實例
11.13類和類屬函式
11.14實例集合查詢函式
11.15多繼承
11.16自定義類和自定義模組
11.17調入和保存實例
11.18小結
習題
第12章 專家系統設計實例
12.1概述
12.2確定性因子
12.3判定樹
12.4反向鏈
12.5監視問題
12.6小結
習題
參考文獻
附錄A 一些有用的等式
附錄B 一些基本量詞公式及其含義
附錄C 一些集合性質
附錄D CLIPS支持信息
附錄E CLIPS命令與函式概要
附錄F CLIPS BNF範式
附錄G 軟體資源
