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

定　價：￥65.00

作　者：	（美）吉奧克（Giarratano,J.）等著，印鑒等譯
出版社：	機械工業(yè)出版社
叢編項：	計算機科學叢書
標　簽：	暫缺

購買這本書可以去

ISBN：	9787111192039	出版時間：	2006-08-01	包裝：	膠版紙
開本：	16開	頁數(shù)：	528	字數(shù)：

內(nèi)容簡介

　　本書是人工智能領(lǐng)域里的著名教科書和參考書，詳細介紹專家系統(tǒng)的基本原理與編程技術(shù)，包括專家系統(tǒng)的理論知識和基于規(guī)則的應(yīng)用。反映了快速發(fā)展的專家系統(tǒng)領(lǐng)域的最新趨勢。共分兩部分，第一部分介紹專家系統(tǒng)的基本理論，并對人工智能及其與專家系統(tǒng)的關(guān)系做了總體論述；第二部分集中介紹應(yīng)用技術(shù)，包括CLIPS專家系統(tǒng)工具和新的面向?qū)ο笳Z言COOL。讀者將學習如何應(yīng)用COOL語言通過定義規(guī)則和對象，開發(fā)一個完整的專家系統(tǒng)。本書是一本關(guān)于專家系統(tǒng)的著名教科書，全面介紹了專家系統(tǒng)原理，并通過CLIPS詳細討論了其實際應(yīng)用。本書內(nèi)容包括：知識表示、推理方法、不確定性推理、不精確推理、CLIPS、高級模式匹配、模塊化設(shè)計、執(zhí)行控制和規(guī)則效率、過程化程序設(shè)計、類、實例和消息處理程序等。本書理論與實際相結(jié)合，內(nèi)容由淺入深，為了解和設(shè)計專家系統(tǒng)提供了理論基礎(chǔ)和編程指導。隨書光盤包括CLIPS程序、源代碼以及其他相關(guān)文檔。本書適合作為計算機科學相關(guān)專業(yè)本科生和研究生的教材，也可供相關(guān)專業(yè)人員參考。

作者簡介

　　Joseph C.Giarratano美國休斯敦大學明湖分校計算機科學系統(tǒng)教授。作為NASA的顧問。他參與了專家系統(tǒng)工具CLIPS（包含在本書中）的開發(fā)。另外，他發(fā)表了30多篇研究論文并著有10多本書。

圖書目錄

出版者的話
    專家指導委員會譯者序譯者簡介
    前言第1章專家系統(tǒng)導論  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)與歸納學習的關(guān)系 34 …………
      1.15 人工智能的發(fā)展狀況 34 …………………
      1.16 小結(jié) 37 …………………………………
      習題 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 …………………………………
      習題 67 …………………………………………
      參考文獻 68 ……………………………………
     第3章推理方法  71 …………………………
      3.1 概述 71 ……………………………………
      3.2 樹、格、圖 71 ……………………………
      3.3 狀態(tài)與問題空間 74 ………………………
      3.4 與或樹和目標 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 …………………………………
      習題 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 復合概率 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 …………………………………
      習題 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 …………………………………
      習題 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 …………………………………
      習題 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 修改和復制事實 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 使用復合規(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 變量的復合用法 257 ……………………
      7.21 事實地址 257 ……………………………
      7.22 單字段通配符 259 ………………………
      7.23 塊世界 260 ………………………………
      7.24 多字段通配符和變量 263 ………………
      7.25 小結(jié) 267 …………………………………
      習題 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 …………………………………
      習題 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ī)則與復雜規(guī)則 339 ………………
      9.19 小結(jié) 340 …………………………………
      習題 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 …………………………………
      習題 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 修改和復制實例 418 ……………………
      11.13 類和類屬函數(shù) 420 ………………………
      11.14 實例集合查詢函數(shù) 421 …………………
      11.15 多繼承 424 ……………………………
      11.16 自定義類和自定義模塊 429 ……………
      11.17 調(diào)入和保存實例 430 ……………………
      11.18 小結(jié) 431 ………………………………
      習題 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 …………………………………
      習題 465 …………………………………………
      參考文獻 466 ……………………………………
     附錄A 一些有用的等式  467 …………………
     附錄B 一些基本量詞公式及其含義  468 …
     附錄C 一些集合性質(zhì)  469 ……………………
     附錄D CLIPS支持信息  470 …………………
     附錄E CLIPS命令與函數(shù)概要  471 ………
     附錄F CLIPS BNF范式  492 ………………
     附錄G 軟件資源  498 …………………………