高級人工智能(第三版)（簡體書）

《高級人工智能(第3版)》是研究解釋和模擬人類智能、智能行為及其規律的一門學科，建立智能信息處理理論，研制智能機器和智能系統，延伸和擴展人類智能。《高級人工智能(第3版)》共16章。第1～6章討論人工智能的認知問題和自動推理，論述邏輯基礎、約束推理、定性推理、基于案例的推理、概率推理；第7～14章重點討論機器學習和知識發現，包括歸納學習、支持向量機、解釋學習、強化學習、無監督學習、關聯規則、進化計算、知識發現；第15章闡述主體計算；第16章討論互聯網智能。與《高級人工智能(第3版)》第二版相比，增加了兩章新內容。其他章節也作了較大的修改和補充。
《高級人工智能(第3版)》內容新穎，反映了人工智能領域的最新研究進展，總結了作者多年的科研成果。全書力求從理論、算法、系統、應用等方面討論人工智能的方法和關鍵技術。《高級人工智能(第3版)》可作為高等院校信息領域相關專業的高年級本科生和研究生的教材，也可供相關科技人員學習參考。

《智能科學技術著作叢書》序
前言
第1章 緒論
1.1 人工智能的淵源
1.2 人工智能的認知問題
1.3 思維的層次模型
1.4 符號智能
1.5 人工智能的研究方法
1.5.1 認知學派
1.5.2 邏輯學派
1.5.3 行為學派
1.6 自動推理
1.7 機器學習
1.8 分布式人工智能
1.9 智能系統
習題

第2章 人工智能邏輯
2.1 概述
2.2 邏輯程序設計
2.2.1 邏輯程序定義
2.2.2 Prolog數據結構和遞歸
2.2.3 SLD歸結
2.2.4 非邏輯成分：CUT
2.3 封閉世界假設
2.4 非單調邏輯
2.5 默認邏輯
2.6 限制邏輯
2.7 非單調邏輯NML
2.8 自認知邏輯
2.8.1 Moore系統
2.8.2 邏輯
2.8.3 標準型定理
2.8.4 ◇－記號以及穩定擴張的一種判
2.9 真值維護系統
2.10 情景演算
2.10.1 刻畫情景演算的多類邏輯
2.10.2 LR中的基本動作理論
2.10.3 C0nGolog
2.11框架問題
2.11.1 積木世界
2.11.2 框架公理
2.11.3 框架問題解決方案的準則
2.11.4 框架問題的非單調解決方案
2.12動態描述邏輯DDL
2.12.1 描述邏輯
2.12.2 動態描述邏輯的語法
2.12.3 動態描述邏輯的語義
習題

第3章 約束推理
3.1 概述
3.2 回溯法
3.3 約束傳播
3.4 約束傳播在樹搜索中的作用
3.5 智能回溯與真值維護
3.6 變量例示次序與賦值次序
3.7 局部修正搜索法
3.8 基于圖的回跳法
3.9 基于影響的回跳法
3.10約束關系運算的處理
3.10.1 恒等關系的單元共享策略
3.10.2 區間傳播
3.10.3 不等式圖
3.10.4 不等式推理
3.11 約束推理系統
3.12 ILOG Solver
……
第4章 定性推理
第5章 基于案例的推理
第6章 貝葉斯網絡
第7章 歸納學習
第8章 統計學習
第9章 解釋學習
第10章 強化學習
第11章 元監督學習
第12章 關聯規則
第13章 進化計算
第14章 知識發現
第15章 主體計算
第16章 互聯網智能
參考文獻