人工智能原理及應(yīng)用

前言
第1章 緒論
1.1 人工智能的概念和研究意義
1.1.1 人工智能的概念
1.1.2 人工智能的研究意義
1.1.3 人工智能的研究目標(biāo)和特點(diǎn)
1.2 人工智能的起源和發(fā)展
1.2.1 萌芽期
1.2.2 形成期
1.2.3 發(fā)展期
1.2.4 人工智能的最新研究進(jìn)展和爭論
1.3 人工智能的研究內(nèi)容和應(yīng)用領(lǐng)域
1.3.1 人工智能研究的課題
1.3.2 人工智能的應(yīng)用領(lǐng)域
習(xí)題一
第2章 知識的表示
2.1 知識及其表示概述
2.1.1 知識的含義與結(jié)構(gòu)
2.1.2 知識的特征、分類和表示
2.1.3 人工智能系統(tǒng)所關(guān)心的知識
2.1.4 陳述性知識與過程性知識
2.2 狀態(tài)空間表示
2.2.1 狀態(tài)
2.2.2 操作
2.2.3 狀態(tài)空間
2.2.4 問題的解
2.2.5 狀態(tài)空間表示法求解步驟
2.3 謂詞邏輯表示
2.3.1 謂詞邏輯的基本內(nèi)容
2.3.2 個體詞、謂詞與量詞
2.3.3 謂詞公式
2.3.4 謂詞公式的解釋
2.3.5 謂詞邏輯表示知識
2.4 問題歸約表示
2.4.1 問題歸約表示的過程
2.4.2 問題歸約法的與/或圖表示
2.4.3 問題歸約法的節(jié)點(diǎn)定義
2.4.4 問題歸約表示的可解性
2.5 語義網(wǎng)絡(luò)表示
2.5.1 語義網(wǎng)絡(luò)表示法
2.5.2 語義網(wǎng)絡(luò)的網(wǎng)絡(luò)結(jié)構(gòu)
2.5.3 語義網(wǎng)絡(luò)的語義表示
2.5.4 連詞和量化的表示
2.5.5 語義網(wǎng)絡(luò)推理的性質(zhì)繼承及匹配
2.5.6 語義網(wǎng)絡(luò)表示法的特點(diǎn)
2.6 框架表示
2.6.1 框架理論
2.6.2 框架結(jié)構(gòu)
2.6.3 附加過程
2.6.4 框架系統(tǒng)中的知識組織
2.6.5 框架系統(tǒng)的推理機(jī)制
2.6.6 框架表示法的評價
2.7 過程表示
2.7.1 過程知識表示的概念
2.7.2 示例：使用過程表示法求解九宮問題
2.7.3 過程表示的特點(diǎn)
2.8 面向?qū)ο蟮谋硎?br />2.8.1 面向?qū)ο蟮母拍钆c特性
2.8.2 面向?qū)ο蟮脑瓌t
2.8.3 面向?qū)ο蟮囊?br />2.8.4 類與類繼承
2.8.5 面向?qū)ο蟮闹R表示的內(nèi)容
2.8.6 面向?qū)ο蟊硎镜膶?shí)例
2.8.7 面向?qū)ο笾R表示的特點(diǎn)
2.9 Prolog語言概述
2.9.1 Prolog語言的背景
2.9.2 Prolog語言的邏輯思想示例
2.9.3 Prolog語言的邏輯程序定義
2.9.4 Prolog語言的數(shù)據(jù)結(jié)構(gòu)和遞歸
習(xí)題二
第3章 確定性推理方法
3.1 推理概述
3.1.1 推理的概念
3.1.2 推理的方法
3.1.3 推理的控制策略
3.1.4 推理中的沖突
3.2 確定性推理的邏輯基礎(chǔ)
3.2.1 命題公式的解釋
3.2.2 等價式
3.2.3 永真蘊(yùn)含式
3.2.4 前束范式與Skolem范式
3.2.5 置換與合一
3.3 演繹推理方法
3.3.1 演繹推理的概念
3.3.2 演繹推理的特點(diǎn)
3.4 歸結(jié)推理方法
3.4.1 子句集及其化簡
3.4.2 Herbrand（海伯倫）定理
3.4.3 Robinson（魯賓遜）歸結(jié)原理
3.4.4 利用歸結(jié)推理進(jìn)行定理證明
3.4.5 應(yīng)用歸結(jié)原理進(jìn)行問題求解
3.5 歸結(jié)過程中的控制策略
3.5.1 引入控制策略的原因
3.5.2 歸結(jié)控制策略
習(xí)題三
第4章 不確定性推理方法
4.1 不確定推理概述
4.1.1 不確定推理的概念
4.1.2 不確定推理的基本問題和方法分類
4.1.3 不確定性推理與產(chǎn)生式表示
4.2 概率推理
4.2.1 概率的基本性質(zhì)和計算公式
4.2.2 概率推理方法
4.3 主觀貝葉斯方法
4.3.1 知識不確定性的表示
4.3.2 證據(jù)不確定性的表示
4.3.3 主觀貝葉斯方法的推理過程
4.3.4 主觀貝葉斯方法應(yīng)用舉例
4.4 可信度方法
4.4.1 可信度的概念
4.4.2 基于可信度的不確定性表示——CF模型
4.4.3 可信度方法的推理算法
4.4.4 可信度方法應(yīng)用舉例
4.5 證據(jù)理論（D-STheory）
4.5.1 證據(jù)理論的形式化描述
4.5.2 證據(jù)理論的不確定性推理模型
4.5.3 證據(jù)理論應(yīng)用舉例
4.6 模糊推理
4.6.1 模糊集理論與模糊邏輯
4.6.2 模糊知識的表示和模糊概念的匹配
4.6.3 模糊規(guī)則推理方法
習(xí)題四
第5章 搜索策略
5.1 搜索概述
5.1.1 搜索的概念及類型
5.1.2 狀態(tài)空間的搜索
5.1.3 與/或樹的搜索
5.2 狀態(tài)空間的盲目搜索策略
5.2.1 狀態(tài)空間圖的一般搜索過程
5.2.2 廣度優(yōu)先搜索和深度優(yōu)先搜索
5.2.3 代價樹的搜索
5.3 狀態(tài)空間的啟發(fā)式搜索策略
5.3.1 啟發(fā)信息與估價函數(shù)
5.3.2 最佳優(yōu)先搜索
5.3.3 A*算法
5.3.4 A*算法應(yīng)用舉例
5.4 與/或樹的盲目搜索策略
5.4.1 與/或樹的搜索過程
5.4.2 與/或樹的廣度優(yōu)先搜索
5.4.3 與/或樹的深度優(yōu)先搜索
5.5 與/或樹的啟發(fā)式搜索策略
5.5.1 解樹的代價與希望樹
5.5.2 與/或樹的啟發(fā)式搜索過程
5.6 博弈樹的啟發(fā)式搜索
5.6.1 博弈樹的搜索過程
5.6.2 極大極小分析法
5.6.3 α-β剪枝
習(xí)題五
第6章 機(jī)器學(xué)習(xí)
6.1 機(jī)器學(xué)習(xí)概述
6.1.1 機(jī)器學(xué)習(xí)的概念
6.1.2 研究機(jī)器學(xué)習(xí)的意義
6.1.3 機(jī)器學(xué)習(xí)的發(fā)展過程
6.1.4 機(jī)器學(xué)習(xí)的主要策略
6.2 機(jī)械學(xué)習(xí)
6.2.1 機(jī)械學(xué)習(xí)的過程
6.2.2 機(jī)械學(xué)習(xí)系統(tǒng)要考慮的問題
6.3 歸納學(xué)習(xí)
6.3.1 示例學(xué)習(xí)
6.3.2 觀察與發(fā)現(xiàn)學(xué)習(xí)
6.4 解釋學(xué)習(xí)
6.4.1 解釋學(xué)習(xí)的基本原理
6.4.2 解釋學(xué)習(xí)過程和算法
6.4.3 解釋學(xué)習(xí)舉例
6.5 類比學(xué)習(xí)
6.5.1 類比學(xué)習(xí)的概念
6.5.2 類比學(xué)習(xí)的表示
6.5.3 類比學(xué)習(xí)的求解
6.6 決策樹學(xué)習(xí)
6.6.1 ID3算法
6.6.2 實(shí)例計算
6.7 神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)
6.7.1 神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)的概念
6.7.2 感知器學(xué)習(xí)
6.7.3 BP網(wǎng)絡(luò)學(xué)習(xí)
6.7.4 Hopfield網(wǎng)絡(luò)學(xué)習(xí)
習(xí)題六
第7章 計算智能
7.1 計算智能概述
7.1.1 計算智能的概念
7.1.2 計算智能的研究發(fā)展過程
7.1.3 計算智能與人工智能的關(guān)系
7.2 神經(jīng)計算
7.2.1 生物神經(jīng)元
7.2.2 人工神經(jīng)元
7.2.3 神經(jīng)網(wǎng)絡(luò)的互連結(jié)構(gòu)
7.2.4 神經(jīng)網(wǎng)絡(luò)的典型模型
7.3 模糊計算
7.3.1 模糊集及其運(yùn)算
7.3.2 模糊關(guān)系及其運(yùn)算
7.4 遺傳算法
7.4.1 遺傳算法的基本概念
7.4.2 遺傳算法的基本原理
7.4.3 遺傳算法的應(yīng)用
7.5 蟻群算法
習(xí)題七
第8章 人工智能應(yīng)用研究
8.1 專家系統(tǒng)
8.1.1 專家系統(tǒng)的起源和發(fā)展
8.1.2 專家系統(tǒng)的結(jié)構(gòu)
8.1.3 專家系統(tǒng)的特點(diǎn)
8.1.4 專家系統(tǒng)的建立
8.1.5 專家系統(tǒng)應(yīng)用實(shí)例：混凝土成品料溫專家控制系統(tǒng)
8.2 自然語言理解
8.2.1 概述
8.2.2 句法分析
8.2.3 詞性標(biāo)注
8.3 數(shù)據(jù)挖掘與知識發(fā)現(xiàn)
8.3.1 概述
8.3.2 關(guān)聯(lián)規(guī)則挖掘
8.3.3 分類
8.3.4 聚類分析
8.4 自動規(guī)劃
8.4.1 概述
8.4.2 自動規(guī)劃的原理
8.4.3 自動規(guī)劃技術(shù)
8.4.4 自動規(guī)劃技術(shù)的最新發(fā)展
8.5 分布式智能與Agent
8.5.1 分布式智能概述
8.5.2 Agent的概念和模型
8.5.3 多Agent的概念及其建模
8.5.4 Agent之間的通信
8.5.5 Agent的體系結(jié)構(gòu)
習(xí)題八
附錄 實(shí)驗(yàn)指導(dǎo)
實(shí)驗(yàn)一 VisualProlog知識表示與推理實(shí)驗(yàn)
實(shí)驗(yàn)二 狀態(tài)空間搜索——八數(shù)碼問題
實(shí)驗(yàn)三 基于MATLAB的模糊推理系統(tǒng)設(shè)計
實(shí)驗(yàn)四 基于MATLAB的神經(jīng)網(wǎng)絡(luò)設(shè)計
實(shí)驗(yàn)五 應(yīng)用遺傳算法求解優(yōu)化問題
參考文獻(xiàn)