人工智能與知識(shí)工程

前言
第一章 緒論
1.1 人工智能
1.1.1 什么是人工智能
1.1.2 什么是智能
1.2 人工智能的發(fā)展史
1.2.1 第一階段——孕育期
1.22 第二階段——人工智能基礎(chǔ)技術(shù)的研究與形成
1.23 第三階段——發(fā)展和實(shí)用化階段
1.2.4 第四階段——知識(shí)工程與專(zhuān)家系統(tǒng)
1.3 人工智能的研究領(lǐng)域
1.3.1 專(zhuān)家系統(tǒng)
1.3 2 自然語(yǔ)言處理
1.3.3 機(jī)器學(xué)習(xí)
1.3.4 定理證明
1.3.5 分布式人工智能
1.3.6 機(jī)器人
1.3 7 模式識(shí)別
1.3.8 博弈
1.3.9 計(jì)算機(jī)視覺(jué)
1.3.10 人工神經(jīng)網(wǎng)絡(luò)
習(xí)題
第二章 謂詞演算與消解原理
2.1 命題演算
2.1.1 符號(hào)和命題
2.1.2 命題演算的語(yǔ)義
2.2 謂詞演算
2.2.1 謂詞的語(yǔ)法和命題
2.2.2 謂詞演算的語(yǔ)義
2.3 使用推理規(guī)則產(chǎn)生謂詞演算表達(dá)式
2.3.1 推理規(guī)則
2.3.2 合一
2.3.3 合一的一個(gè)例子
2.4 應(yīng)用：一個(gè)基于邏輯的金融投資輔助決策程序
2.5 消解原理
2.5.1 引言
2.5.2 為消解否證產(chǎn)生子句形式
2.5.3 消解證明過(guò)程
2.5.4 消解的策略和簡(jiǎn)化技術(shù)
2.5.5 從消解否證中提取解答
習(xí)題
第三章 知識(shí)表示
3.1 引言
3.1.1 知識(shí)
3.1.2 使用知識(shí)
3.1.3 不確定性和語(yǔ)義原語(yǔ)
3.1.4 模塊性和理解力
3.1.5 明確知識(shí)和靈活性
3.1.6 陳述性與過(guò)程性表示
3.2 知識(shí)表示技術(shù)綜述
3.2.1 邏輯表示模式
3.2.2 語(yǔ)義網(wǎng)絡(luò)
3.2.3 過(guò)程表示和產(chǎn)生式系統(tǒng)
3.2.4 模擬或直接表示法
3.2.5 特性表
3.2.6 框架和劇本
3.3 邏輯表示模式
3.3.1 命題演算
3.3.2 謂詞演算
3.3.3 邏輯表示在人工智能中的應(yīng)用
3.3.4 小結(jié)
3.4 基于規(guī)則的產(chǎn)生式系統(tǒng)
3.4.1 引言
3.4.2 問(wèn)題求解的方法
3.4.3 問(wèn)題求解中的搜索策略
3.5 語(yǔ)義網(wǎng)絡(luò)
3.5.1 什么是語(yǔ)義網(wǎng)絡(luò)
3.5.2 擴(kuò)展的語(yǔ)義網(wǎng)絡(luò)
3.5.3 部分語(yǔ)義網(wǎng)絡(luò)
3.6 框架表示法
3.6.1 基本概念
3.6.2 框架的實(shí)例化以及用不同觀點(diǎn)表示實(shí)體
3.6.3 類(lèi)展特性，默認(rèn)值和槽條件
3.6.4 框架結(jié)構(gòu)
3.6.5 匹配和識(shí)別
3.6.6 推理
3.6.7 類(lèi)比推理
3.6.8 錯(cuò)誤和遺漏檢查
3.6.9 過(guò)程附加
3.6.10 框架表示法的特點(diǎn)與不足
3.7 概念從屬
3.7.1 引言
3.7.2 概念從屬基本構(gòu)成
3.7.3 概念從屬示例
習(xí)題
第四章 狀態(tài)空間搜索
4.1 圖論
4.1.1 狀態(tài)空間搜索的結(jié)構(gòu)
4.1.2 問(wèn)題的狀態(tài)空間表示法
4.2 狀態(tài)空間搜索策略
4.2.1 數(shù)據(jù)驅(qū)動(dòng)和目標(biāo)驅(qū)動(dòng)的搜索
4.2.2 圖搜索的實(shí)現(xiàn)
4.2.3 深度和廣度優(yōu)先搜索
4.2.4 有界深度優(yōu)先搜索
4.3 謂詞演算推理的狀態(tài)空間表示法
4.3.1 邏輯的狀態(tài)空間描述
4.3.2 與／或圖
4.3.3 討論
4.4 基于速歸的搜索
4.4.1 遞歸
4.4.2 遞歸搜索
4.5 模式驅(qū)動(dòng)搜索
4.6 產(chǎn)生式系統(tǒng)
4.6.1 定義與歷史
4.6.2 產(chǎn)生式系統(tǒng)示例
4.6.3 產(chǎn)生式系統(tǒng)搜索的控制
4.6.4 人工智能產(chǎn)生式系統(tǒng)的優(yōu)點(diǎn)
習(xí)題
第五章 啟發(fā)式搜索
5.1 啟發(fā)信息和估價(jià)函數(shù)
5.2 啟發(fā)式搜索算法
5.2.1 局部擇優(yōu)搜索法（瞎子爬山法）
5.2.2 最好優(yōu)先搜索法（有序搜索法）
5.2.3 啟發(fā)估價(jià)函數(shù)的實(shí)現(xiàn)
5.2.4 啟發(fā)式搜索與專(zhuān)家系統(tǒng)
5.3 啟發(fā)式搜索過(guò)程的可采納性、單調(diào)性、信息性
5.3.1 可采納性
5.3.2 單調(diào)性
5.3.3 信息性
5.4 啟發(fā)式搜索在游戲中的應(yīng)用
5.4.1 強(qiáng)力搜索圖上的極大極小化過(guò)程
5.4.2 固定層數(shù)的極大極小法
5.4.3 啟發(fā)式搜索在一字棋游戲中的應(yīng)用
5.4.4 α-β剪枝技術(shù)
5.5 復(fù)雜性問(wèn)題
習(xí)題
第六章 Prolog語(yǔ)言
6.1 概述
6.2 Prolog語(yǔ)言基本概念和語(yǔ)法
6.2.1 數(shù)據(jù)結(jié)構(gòu)
6.2.2 程序組成
6.2.3 Prolog語(yǔ)法形式描述
6.3 Prolog系統(tǒng)的搜索策略
6.3.1 例化，匹配
6.3.2 回溯
6.3.3 搜索策略
6.4 Prolog的內(nèi)部謂詞
6.4.1 比較
6.4.2 算術(shù)表達(dá)式求值
6.4.3 輸入輸出
6.4.4 文件操作
6.4.5 控制謂詞
6.4.6 復(fù)雜目標(biāo)的建立
6.4.7 項(xiàng)的分類(lèi)
6.4.8 結(jié)構(gòu)分量的建立與獲得
6.4.9 子句的增、刪、改
6.5 Prolog程序設(shè)計(jì)
6.5.1 表處理和集合處理
6.5.2 數(shù)學(xué)函數(shù)
6.5.3 梵塔問(wèn)題
6.5.4 八皇后問(wèn)題
習(xí)題
第七章 LISP語(yǔ)言
7.1 引言
7.1.1 LISP語(yǔ)言及其PC SCHEME版本
7.1.2 語(yǔ)言分類(lèi)
7.1.3 LISP語(yǔ)言的特性
7.2 LISP語(yǔ)言簡(jiǎn)介
7.2.1 LISP的數(shù)據(jù)結(jié)構(gòu)——S一表達(dá)式
7.2.2 基本函數(shù)
7.2.3 常用的LISP系統(tǒng)函數(shù)
7.2.4 條件函數(shù)，定義函數(shù)
7.2.5 遞歸與選代
7.3 LISP程序設(shè)計(jì)及在人工智能中的應(yīng)用實(shí)例
7.3.1 LISP程序結(jié)構(gòu)和用LISP語(yǔ)言解題
7.3.2 梵塔問(wèn)題
7.3.3 水壺量水問(wèn)題
7.3.4 皇后問(wèn)題
7.3.5 向量程序設(shè)計(jì)
7.3.6 博弈
7.4 基于LISP的專(zhuān)家系統(tǒng)
7.4.1 用函數(shù)表示動(dòng)物分類(lèi)專(zhuān)家系統(tǒng)
7.4.2 用表表示動(dòng)物分類(lèi)專(zhuān)家系統(tǒng)
7.4.3 一個(gè)小型醫(yī)療診斷專(zhuān)家系統(tǒng)
習(xí)題
第八章 專(zhuān)家系統(tǒng)
8.1 什么是專(zhuān)家系統(tǒng)
8.1.1 專(zhuān)家系統(tǒng)的歷史
8.1.2 專(zhuān)家系統(tǒng)的特性
8.1.3 專(zhuān)家系統(tǒng)的構(gòu)造者及其工具
8.1.4 專(zhuān)家系統(tǒng)的優(yōu)越性
8.2 如何組織專(zhuān)家系統(tǒng)
8.2.1 知識(shí)的組織
8.2.2 知識(shí)表示
8.3 專(zhuān)家系統(tǒng)與傳統(tǒng)程序的區(qū)別
8.3.1 專(zhuān)家系統(tǒng)的基本特點(diǎn)
8.3.2 專(zhuān)家系統(tǒng)存在的問(wèn)題
8.4 專(zhuān)家系統(tǒng)的應(yīng)用領(lǐng)域
8.4.1 專(zhuān)家系統(tǒng)的分類(lèi)和基本活動(dòng)
8.4.2 專(zhuān)家系統(tǒng)求解的類(lèi)型
8.5 開(kāi)發(fā)專(zhuān)家系統(tǒng)的需求分析
8.5.1 什么情況下開(kāi)發(fā)專(zhuān)家系統(tǒng)是可能的
8.5.2 什么情況下開(kāi)發(fā)專(zhuān)家系統(tǒng)是合理的
8.5.3 什么情況下開(kāi)發(fā)專(zhuān)家系統(tǒng)是合適的
8.6 建造專(zhuān)家系統(tǒng)
8.6.1 建造專(zhuān)家系統(tǒng)的任務(wù)
8.6.2 專(zhuān)家系統(tǒng)開(kāi)發(fā)的階段
8.7 知識(shí)獲取
8.7.1 知識(shí)獲取過(guò)程
8.7.2 訪問(wèn)專(zhuān)家
8.8 專(zhuān)家系統(tǒng)設(shè)計(jì)示例
8.8.1 識(shí)別食物的簡(jiǎn)單產(chǎn)生式專(zhuān)家系統(tǒng)
8.8.2 動(dòng)物分類(lèi)專(zhuān)家系統(tǒng)
習(xí)題
第九章 非精確性推理
9.1 確定性理論
9.1.1 醫(yī)療專(zhuān)家系統(tǒng)MYCIN概述
9.1.2 MYCIN系統(tǒng)的推理策略
9.1.3 MYCIN系統(tǒng)的知識(shí)表示
9.1.4 MYCIN系統(tǒng)的非精確推理算法
9.2 主觀概率論
9.2.1 PROSPECTOR系統(tǒng)概述
9.2.2 推理網(wǎng)絡(luò)
9.2.3 似然推理模型
習(xí)題
第十章 專(zhuān)家系統(tǒng)開(kāi)發(fā)工具
10.1 專(zhuān)家系統(tǒng)開(kāi)發(fā)工具的特征
10.1.1 應(yīng)用于開(kāi)發(fā)專(zhuān)家系統(tǒng)的程序設(shè)計(jì)語(yǔ)言
10.1.2 知識(shí)工程語(yǔ)言
10.2 知識(shí)工程語(yǔ)言M.1
10.2.1 M.1概述
10.2.2 M.1的體系結(jié)構(gòu)
10.2.3 操作原理
10.2.4 M.1的特征
10.2.5 M.1應(yīng)用領(lǐng)域
10.3 M.1的知識(shí)表示
10.3.1 知識(shí)庫(kù)的語(yǔ)法
10.3.2 項(xiàng)的語(yǔ)法
10.4 M.1的推理機(jī)
10.4.1 概述
10.4.2 推理機(jī)工作過(guò)程
10.4.3 可信度計(jì)算
10.4.4 調(diào)節(jié)推理過(guò)程
10.5 M.1的應(yīng)用實(shí)例
10.5.1 微型照相顧問(wèn)
10.5.2 交通工具顧問(wèn)
習(xí)題
第十一章 機(jī)器學(xué)習(xí)
11.1 引言
11.2 機(jī)器學(xué)習(xí)概述
11.2.1 什么是學(xué)習(xí)
11.2.2 機(jī)器學(xué)習(xí)的意義
11.2.3 機(jī)器學(xué)習(xí)研究的發(fā)展
11.2.4 機(jī)器學(xué)習(xí)的目標(biāo)
11.3 機(jī)器學(xué)習(xí)的模型、策略和方法
11.3.1 簡(jiǎn)單的學(xué)習(xí)模型
11.3.2 主要的學(xué)習(xí)策略
11.3.3 基本的學(xué)習(xí)方法
11.4 機(jī)械學(xué)習(xí)、示教學(xué)習(xí)和類(lèi)比學(xué)習(xí)
11.4.1 機(jī)械學(xué)習(xí)
11.4 2 示教學(xué)習(xí)
11.4.3 類(lèi)比學(xué)習(xí)
11.5 基于示例的歸納學(xué)習(xí)
11.5.1 歸納學(xué)習(xí)分類(lèi)
11.5.2 示例學(xué)習(xí)基本概念
11.5.3 示例學(xué)習(xí)的完備性條件與一致性條件
11.5.4 廣例學(xué)習(xí)中的噪音問(wèn)題
11.5 5 建立示例學(xué)習(xí)系統(tǒng)要考慮的幾個(gè)問(wèn)題
11.6 ID系列算法
11.6.1 判定樹(shù)
11.6.2 ID3算法
11.6.3 ID4算法
11.6.4 ID5R算法
11.6.5 ID系列算法的比較分析
11.7 一個(gè)基于示例的歸納學(xué)習(xí)系統(tǒng)
11.7.1 系統(tǒng)概述
11.7.2 系統(tǒng)的總體結(jié)構(gòu)
11.7.3 系統(tǒng)的核心算法
11.7.4 系統(tǒng)運(yùn)行實(shí)例
習(xí)題
第十二章 人工神經(jīng)網(wǎng)絡(luò)
12.1 引言
12.2 人工神經(jīng)網(wǎng)絡(luò)概述
12.2.1 什么是神經(jīng)網(wǎng)絡(luò)
12.2.2 腦神經(jīng)信息活動(dòng)的特征
12.2.3 神經(jīng)網(wǎng)絡(luò)研究的目的和意義
12.2.4 神經(jīng)網(wǎng)絡(luò)研究的發(fā)展
12.2.5 人工神經(jīng)網(wǎng)絡(luò)研究的局限性
12.3 神經(jīng)網(wǎng)絡(luò)基本模型
12.3.1 生物神經(jīng)元的結(jié)構(gòu)
12.3.2 M－P模型
12.3.3 感知機(jī)模型
12.3.4 Hopfield網(wǎng)絡(luò)模型
12.4 神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)
12.4..1 “突觸修正”假說(shuō)
12.4.2 學(xué)習(xí)算法的分類(lèi)
12.4.3 誤差修正型學(xué)習(xí)
12.4.4 競(jìng)爭(zhēng)型學(xué)習(xí)
12.4.5 赫布型學(xué)習(xí)
12.4.6 隨機(jī)型學(xué)習(xí)
12.5 誤差逆?zhèn)鞑ゾW(wǎng)絡(luò)
12.5.1 基本理論
12.5.2 學(xué)習(xí)算法
12.5.3 標(biāo)準(zhǔn)誤差逆?zhèn)鞑ズ屠鄯e誤差逆?zhèn)鞑?br />12.5.4 全局最小和局部極小
12.6 自適應(yīng)諧振理論
12.6.1 基本理論
12.6.2 學(xué)習(xí)算法
12.6.3 與ART有關(guān)的定理
12.6.4 快速學(xué)習(xí)與慢速學(xué)習(xí)
12.6.5 基于ART的其他網(wǎng)絡(luò)模型
12.7 基于域理論的自適應(yīng)諧振網(wǎng)絡(luò)
12.7.1 概述
12.7.2 域理論
12.7.3 FTART網(wǎng)絡(luò)基本理論
12.7.4 FTART學(xué)習(xí)算法
12.7.5 FTART網(wǎng)絡(luò)的判別方法
12.7.6 FTART算法測(cè)試
12.7.7 運(yùn)行實(shí)例
習(xí)題
參考文獻(xiàn)