人工智能原理及應(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)展和爭(zhēng)論
1.3 人工智能的研究?jī)?nèi)容和應(yīng)用領(lǐng)域
1.3.1 人工智能研究的課題
1.3.2 人工智能的應(yīng)用領(lǐng)域
習(xí)題一
第2章 知識(shí)的表示
2.1 知識(shí)及其表示概述
2.1.1 知識(shí)的含義與結(jié)構(gòu)
2.1.2 知識(shí)的特征、分類和表示
2.1.3 人工智能系統(tǒng)所關(guān)心的知識(shí)
2.1.4 陳述性知識(shí)與過(guò)程性知識(shí)
2.2 狀態(tài)空間表示
2.2.1 狀態(tài)
2.2.2 操作
2.2.3 狀態(tài)空間
2.2.4 問(wèn)題的解
2.2.5 狀態(tài)空間表示法求解步驟
2.3 謂詞邏輯表示
2.3.1 謂詞邏輯的基本內(nèi)容
2.3.2 個(gè)體詞、謂詞與量詞
2.3.3 謂詞公式
2.3.4 謂詞公式的解釋
2.3.5 謂詞邏輯表示知識(shí)
2.4 問(wèn)題歸約表示
2.4.1 問(wèn)題歸約表示的過(guò)程
2.4.2 問(wèn)題歸約法的與/或圖表示
2.4.3 問(wèn)題歸約法的節(jié)點(diǎn)定義
2.4.4 問(wèn)題歸約表示的可解性
2.5 語(yǔ)義網(wǎng)絡(luò)表示
2.5.1 語(yǔ)義網(wǎng)絡(luò)表示法
2.5.2 語(yǔ)義網(wǎng)絡(luò)的網(wǎng)絡(luò)結(jié)構(gòu)
2.5.3 語(yǔ)義網(wǎng)絡(luò)的語(yǔ)義表示
2.5.4 連詞和量化的表示
2.5.5 語(yǔ)義網(wǎng)絡(luò)推理的性質(zhì)繼承及匹配
2.5.6 語(yǔ)義網(wǎng)絡(luò)表示法的特點(diǎn)
2.6 框架表示
2.6.1 框架理論
2.6.2 框架結(jié)構(gòu)
2.6.3 附加過(guò)程
2.6.4 框架系統(tǒng)中的知識(shí)組織
2.6.5 框架系統(tǒng)的推理機(jī)制
2.6.6 框架表示法的評(píng)價(jià)
2.7 過(guò)程表示
2.7.1 過(guò)程知識(shí)表示的概念
2.7.2 示例：使用過(guò)程表示法求解九宮問(wèn)題
2.7.3 過(guò)程表示的特點(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(shí)表示的內(nèi)容
2.8.6 面向?qū)ο蟊硎镜膶?shí)例
2.8.7 面向?qū)ο笾R(shí)表示的特點(diǎn)
2.9 Prolog語(yǔ)言概述
2.9.1 Prolog語(yǔ)言的背景
2.9.2 Prolog語(yǔ)言的邏輯思想示例
2.9.3 Prolog語(yǔ)言的邏輯程序定義
2.9.4 Prolog語(yǔ)言的數(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 等價(jià)式
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 子句集及其化簡(jiǎn)
3.4.2 Herbrand（海伯倫）定理
3.4.3 Robinson（魯賓遜）歸結(jié)原理
3.4.4 利用歸結(jié)推理進(jìn)行定理證明
3.4.5 應(yīng)用歸結(jié)原理進(jìn)行問(wèn)題求解
3.5 歸結(jié)過(guò)程中的控制策略
3.5.1 引入控制策略的原因
3.5.2 歸結(jié)控制策略
習(xí)題三
第4章 不確定性推理方法
4.1 不確定推理概述
4.1.1 不確定推理的概念
4.1.2 不確定推理的基本問(wèn)題和方法分類
4.1.3 不確定性推理與產(chǎn)生式表示
4.2 概率推理
4.2.1 概率的基本性質(zhì)和計(jì)算公式
4.2.2 概率推理方法
4.3 主觀貝葉斯方法
4.3.1 知識(shí)不確定性的表示
4.3.2 證據(jù)不確定性的表示
4.3.3 主觀貝葉斯方法的推理過(guò)程
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 模糊知識(shí)的表示和模糊概念的匹配
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)空間圖的一般搜索過(guò)程
5.2.2 廣度優(yōu)先搜索和深度優(yōu)先搜索
5.2.3 代價(jià)樹的搜索
5.3 狀態(tài)空間的啟發(fā)式搜索策略
5.3.1 啟發(fā)信息與估價(jià)函數(shù)
5.3.2 最佳優(yōu)先搜索
5.3.3 A*算法
5.3.4 A*算法應(yīng)用舉例
5.4 與/或樹的盲目搜索策略
5.4.1 與/或樹的搜索過(guò)程
5.4.2 與/或樹的廣度優(yōu)先搜索
5.4.3 與/或樹的深度優(yōu)先搜索
5.5 與/或樹的啟發(fā)式搜索策略
5.5.1 解樹的代價(jià)與希望樹
5.5.2 與/或樹的啟發(fā)式搜索過(guò)程
5.6 博弈樹的啟發(fā)式搜索
5.6.1 博弈樹的搜索過(guò)程
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ā)展過(guò)程
6.1.4 機(jī)器學(xué)習(xí)的主要策略
6.2 機(jī)械學(xué)習(xí)
6.2.1 機(jī)械學(xué)習(xí)的過(guò)程
6.2.2 機(jī)械學(xué)習(xí)系統(tǒng)要考慮的問(wèn)題
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í)過(guò)程和算法
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í)例計(jì)算
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章 計(jì)算智能
7.1 計(jì)算智能概述
7.1.1 計(jì)算智能的概念
7.1.2 計(jì)算智能的研究發(fā)展過(guò)程
7.1.3 計(jì)算智能與人工智能的關(guān)系
7.2 神經(jīng)計(jì)算
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 模糊計(jì)算
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 自然語(yǔ)言理解
8.2.1 概述
8.2.2 句法分析
8.2.3 詞性標(biāo)注
8.3 數(shù)據(jù)挖掘與知識(shí)發(fā)現(xiàn)
8.3.1 概述
8.3.2 關(guān)聯(lián)規(guī)則挖掘
8.3.3 分類
8.3.4 聚類分析
8.4 自動(dòng)規(guī)劃
8.4.1 概述
8.4.2 自動(dòng)規(guī)劃的原理
8.4.3 自動(dòng)規(guī)劃技術(shù)
8.4.4 自動(dòng)規(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í)表示與推理實(shí)驗(yàn)
實(shí)驗(yàn)二 狀態(tài)空間搜索——八數(shù)碼問(wèn)題
實(shí)驗(yàn)三 基于MATLAB的模糊推理系統(tǒng)設(shè)計(jì)
實(shí)驗(yàn)四 基于MATLAB的神經(jīng)網(wǎng)絡(luò)設(shè)計(jì)
實(shí)驗(yàn)五 應(yīng)用遺傳算法求解優(yōu)化問(wèn)題
參考文獻(xiàn)