人工智能方法與應(yīng)用

第1章 緒論
　1.1　人工智能及其發(fā)展
　1.2　人工智能的研究與應(yīng)用領(lǐng)域
　習(xí)題一
第2章　知識(shí)表示方法
　2.1　一階謂詞邏輯表示方法
　　2.1.1　一階謂詞邏輯表示
　　2.1.2　一階謂詞邏輯表示方法的特點(diǎn)
　2.2　產(chǎn)生式表示方法
　　2.2.1　產(chǎn)生式與產(chǎn)生式系統(tǒng)
　　2.2.2　產(chǎn)生式系統(tǒng)的分類(lèi)及其特點(diǎn)
2.3　框架表示方法
　　2.3.1　框架與框架網(wǎng)絡(luò)
　　2.3.2　框架推理及其特點(diǎn)
　　習(xí)題二
第3章　搜索方法
　3.1　問(wèn)題求解過(guò)程的形式表示
　　3.1.1　狀態(tài)空間表示方法
　　3.1.2　與／或圖表示方法
　3.2　狀態(tài)空間的搜索方法
　　3.2.1　盲目搜索算法
　　3.2.2　啟發(fā)式搜索算法
　　3.2.3　狀態(tài)空間搜索算法的應(yīng)用
　　3.2.4　A算法及其特性
　3.3　與／或圖的搜索方法
　　3.3.1　與／或圖的盲目搜索算法
　　3.3.2　與／或圖的啟發(fā)式搜索算法
　　3.3.3　與／或圖搜索算法的應(yīng)用
　習(xí)題三
第4章　經(jīng)典邏輯推理
　4.1　推理的基本概念
　　4.1.1　推理方式及其分類(lèi)
　　4.1.2　推理的控制策略
　　4.1.3　模式匹配及其變量代換
4.2　歸結(jié)演繹推理
　　4.2.1　謂詞公式化為子句集的方法
　　4.2.2　歸結(jié)原理
　　4.2.3　歸結(jié)反演
4.3　基于歸結(jié)反演的問(wèn)題求解
4.4　歸結(jié)反演的改進(jìn)策略
　　4.4.1　刪除策略
　　4.4.2　限制策略
4.5　與／或形演繹推理
　　4.5.1　與／或形正向演繹推理
　　4.5.2　與／或形逆向演繹推理
　　4.5.3　代換的一致性與剪枝策略
　習(xí)題四
第5章　專(zhuān)家系統(tǒng)
5.1　專(zhuān)家系統(tǒng)概述
　　5.1.1　專(zhuān)家系統(tǒng)的類(lèi)型與特點(diǎn)
　　5.1.2　專(zhuān)家系統(tǒng)的結(jié)構(gòu)與開(kāi)發(fā)方法
　5.2　LISP語(yǔ)言
　　5.2.1　LISP語(yǔ)言的特點(diǎn)與表達(dá)式
　　5.2.2　LISP語(yǔ)言的基本函數(shù)
　　5.2.3　迭代與遞歸
　5.3　知識(shí)庫(kù)與推理機(jī)
　　5.3.1　產(chǎn)生式規(guī)則與規(guī)則庫(kù)的存儲(chǔ)結(jié)構(gòu)
　　5.3.2　推理機(jī)及其實(shí)現(xiàn)
　　5.3.3　元知識(shí)與元規(guī)則
　5.4　解釋機(jī)制與解釋器
　　5.4.1　解釋的方法
　　5.4.2　解釋器及其實(shí)現(xiàn)
　5.5　知識(shí)獲取
　　5.5.1　知識(shí)獲取的任務(wù)與方式
　　5.5.2　知識(shí)的檢測(cè)與求精
　　5.5.3　知識(shí)的檢測(cè)方法
　5.6　專(zhuān)家系統(tǒng)工具
　習(xí)題五
第6章　不確定推理方法
第7章　機(jī)器學(xué)習(xí)
習(xí)題七
主要參考文獻(xiàn)