人工智能

第0章  緒論
  0.1  什么是人工智能
  0.2  圖靈測(cè)試
  0.3  中文屋子問(wèn)題
  o.4  人工智能的研究目標(biāo)
  o.5  人工智能發(fā)展簡(jiǎn)史
  0.6  人工智能研究的課題
第1章  搜索問(wèn)題
  1.1  回溯策略
  1.2  圖搜索策略
  1.3  無(wú)信息圖搜索過(guò)程
  1.4  啟發(fā)式圖搜索過(guò)程
  1.5  搜索算法討論
  習(xí)題
第2章  與或圖搜索問(wèn)題
  2.1  與或圖的搜索
  2.2  與或圖的啟發(fā)式搜索算法AO
  2.3  博弈樹(shù)的搜索
  習(xí)題
第3章  謂詞邏輯與歸結(jié)原理
  3.1  命題邏輯
  3.1.1  命題
  3.1.2  命題公式
  3.1.3  命題邏輯的意義
  3.1.4  命題邏輯的推理規(guī)則
  3.1.5  命題邏輯的歸結(jié)方法
  3.2  謂詞邏輯基礎(chǔ)
  3.2.1  謂詞基本概念
  3.2.2  一階謂詞邏輯
  3.2.3  謂詞演算與推理
  3.2.4  謂詞知識(shí)表示
  3.3  謂詞邏輯歸結(jié)原理
  3.3.1  歸結(jié)原理概述
  3.3.2  Skolem標(biāo)準(zhǔn)型
  3.3.3  子句集
  3.3.4  置換與合一
  3.3.5  歸結(jié)式
  3.3.6  歸結(jié)過(guò)程
  3.3.7  歸結(jié)過(guò)程控制策略
  3.4  Herbrand定理
  3.4.1  概述
  3.4.2  H域
  3.4.3  H解釋
  3.4.4  語(yǔ)義樹(shù)與Herbrand定理
  3.4.5  Herbrand定理
  3.4.6  Herbrand定理與歸結(jié)法的完備性
  習(xí)題
第4章  知識(shí)表示
  4.1  概述
  4.1.1  知識(shí)
  4.1.2  知識(shí)表示
  4.1.3  知識(shí)表示觀
  4.2  產(chǎn)生式表示
  4.2.1  事實(shí)與規(guī)則的表示
  4.2.2  產(chǎn)生式系統(tǒng)的結(jié)構(gòu)
  4.2.3  產(chǎn)生式系統(tǒng)的推理
  4.2.4  產(chǎn)生式表示的特點(diǎn)
  4.3  語(yǔ)義網(wǎng)絡(luò)表示
  4.3.1  語(yǔ)義網(wǎng)絡(luò)的結(jié)構(gòu)
  4.3.2  基本的語(yǔ)義關(guān)系
  4.3.3  語(yǔ)義網(wǎng)絡(luò)的推理
  4.3.4  語(yǔ)義網(wǎng)絡(luò)表示法的特點(diǎn)
  4.4  框架表示
  4.4.1  框架結(jié)構(gòu)
  4.4.2  框架表示下的推理
  4.4.3  框架表示法的特點(diǎn)
  4.5  其他表示方法
  4.5.1  腳本知識(shí)表示方法
  4.5.2  過(guò)程性知識(shí)表示法
  4.5.3  直接性知識(shí)表示方法
  習(xí)題
第5章  不確定性推理方法
  5.1  概述
  5.1.1  不確定性
  5.1.2  不確定性推理的基本問(wèn)題
  5.1.3  不確定性推理方法的分類(lèi)
  5.2  概率論基礎(chǔ)
  5.2.1  隨機(jī)事件
  5.2.2  事件的概率
  5.2.3  貝葉斯定理
  5.2.4  信任幾率
  5.3  貝葉斯網(wǎng)絡(luò)
  5.3.1  貝葉斯網(wǎng)絡(luò)基本概念
  5.3.2  貝葉斯網(wǎng)絡(luò)的推理模式
  5.4  主觀貝葉斯方法
  5.4.1  規(guī)則的不確定性
  5.4.2  證據(jù)的不確定性
  5.4.3  推理計(jì)算
  5.5  確定性方法
  5.5.1  規(guī)則的不確定性度量
  5.5.2  證據(jù)的不確定性度量
  5.5.3  不確定性的傳播與更新
  5.5.4  問(wèn)題
  5.6  證據(jù)理論(D—Stheory)
  5.6.1  基本概念
  5.6.2  證據(jù)的不確定性
  5.6.3  規(guī)則的不確定性
  5.6.4  推理計(jì)算
  習(xí)題
第6章  機(jī)器學(xué)習(xí)
  6.1  概述
  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í)分類(lèi)
  6.2  機(jī)器學(xué)習(xí)的基本系統(tǒng)結(jié)構(gòu)
  6.2.1  環(huán)境
  6.2.2  知識(shí)庫(kù)
  6.2.3  學(xué)習(xí)環(huán)節(jié)
  6.2.4  執(zhí)行環(huán)節(jié)
  6.3  實(shí)例學(xué)習(xí)
  6.3.1  實(shí)例學(xué)習(xí)的基本概念
  6.3.2  實(shí)例學(xué)習(xí)方法的分類(lèi)
  6.3.3  變型空間法
  6.4  解釋學(xué)習(xí)
  6.4.1  解釋學(xué)習(xí)的基本概念
  6.4.2  解釋學(xué)習(xí)方法
  6.5  決策樹(shù)學(xué)習(xí)
  6.5.1  概述
  6.5.2  1D3算法
  6.6  神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)
  6.6.1  神經(jīng)網(wǎng)絡(luò)基礎(chǔ)
  6.6.2  前饋型人工神經(jīng)網(wǎng)絡(luò)
  6.6.3  自組織競(jìng)爭(zhēng)人工神經(jīng)網(wǎng)絡(luò)
  6.6.4  人工神經(jīng)網(wǎng)絡(luò)的應(yīng)用
  習(xí)題
第7章  高級(jí)搜索
  7.1  基本概念
  7.1.1  組合優(yōu)化問(wèn)題
  7.1.2  鄰域
  7.2  局部搜索算法
  7.3  模擬退火算法
  7.3.1  固體退火過(guò)程
  7.3.2  模擬退火算法
  7.3.3  參數(shù)的確定
  7.3.4  應(yīng)用舉例——旅行商問(wèn)題
  7.4  遺傳算法
  7.4.1  生物進(jìn)化與遺傳算法
  7.4.2  遺傳算法的實(shí)現(xiàn)問(wèn)題
  習(xí)題
參考文獻(xiàn)