人工智能原理與技術(shù)

引言
1 Lisp語(yǔ)言基礎(chǔ)
1.1 符號(hào)表達(dá)式與表
1.2 Lisp的程序結(jié)構(gòu)及其特點(diǎn)
1.3 表處理函數(shù)
1.4 算術(shù)與邏輯運(yùn)算函數(shù)
1.5 賦值與求值函數(shù)
1.6 控制函數(shù)
1.7 函數(shù)定義
1.8 性質(zhì)表及其操作函數(shù)
1.9 映射函數(shù)
1.10 遞歸
1.11 輸入與輸出
1.12 原子的生成與分解函數(shù)
1.13 例子
2 一階謂詞邏輯
2.1 命題及邏輯聯(lián)結(jié)詞
2.2 命題公式的永賓性與等值
2.3 對(duì)偶原理
2.4 析取范式與合取范式
2.5 邏輯推理
2.6 命題演算的王浩算法
2.7 一階謂詞邏輯的基本概念
2.8 謂詞公式的永真性與可滿足性
2.9 自由變?cè)c約束變?cè)?br />2.1 0謂詞公式的等值
2.1 1前束范式
3 歸結(jié)原理
3.1 斯柯倫標(biāo)準(zhǔn)型
3.2 子句集的H全域
3.3 基本定理
3.4 D-只（Davis & Putnam）方法
3.5 一致化算法
3.6 歸結(jié)方法
3.7 歸結(jié)方法的可靠性與完備性
3.8 例子
3.9 應(yīng)用
3.10 歸結(jié)方法的Lisp實(shí)現(xiàn)
4 Prolog語(yǔ)言簡(jiǎn)介
4.1 Horn子句集歸結(jié)
4.2 Prolog語(yǔ)言
4.3 內(nèi)部謂詞
4.4 例子
5 問(wèn)題求解
5.1 狀態(tài)空間
5.2 問(wèn)題歸約
5.3 產(chǎn)生式系統(tǒng)
5.4 約束滿足法
5.5 八數(shù)碼問(wèn)題的Lisp實(shí)現(xiàn)
6 搜索
6.1 狀態(tài)空間的盲目搜索
6.2 啟發(fā)式搜索法
6.3 A算法的可采納性
6.4 與／或樹(shù)搜索
6.5 與／或圖的一種啟發(fā)式搜索算法AO
6.6 博弈樹(shù)搜索
6.7 一字棋博弈的Lisp實(shí)現(xiàn)
7 知識(shí)表達(dá)與推理技術(shù)
7.1 知識(shí)的特征描述
7.2 框架
7.3 語(yǔ)義網(wǎng)絡(luò)
7.4 腳本
7.5 產(chǎn)生式規(guī)則
7.6 評(píng)述
8 專(zhuān)家系統(tǒng)
8.1 專(zhuān)家系統(tǒng)的任務(wù)與特征
8.2 專(zhuān)家系統(tǒng)脆弱性
8.3 專(zhuān)家系統(tǒng)結(jié)構(gòu)
8.4 建立專(zhuān)家系統(tǒng)的步驟與方法
9 神經(jīng)元網(wǎng)絡(luò)
9.1 神經(jīng)元網(wǎng)絡(luò)簡(jiǎn)介
9.2 簡(jiǎn)單的線性模型
9.3 線性閾值網(wǎng)絡(luò)
9.4 反向傳播網(wǎng)絡(luò)-
9.5 Hop field網(wǎng)絡(luò)模型
9.6 Boltzmann機(jī)
9.7 其它的神經(jīng)元網(wǎng)絡(luò)模型
9.8 評(píng)述
9.9 神經(jīng)元網(wǎng)絡(luò)的應(yīng)用
10 專(zhuān)家系統(tǒng)構(gòu)造工具DIPS
10.1 DIPS概述
10.2 DIPS的知識(shí)表達(dá)
10.3 DIPS的控制策略及推理機(jī)
10.4 用DIPS建立專(zhuān)家系統(tǒng)
10.5 DIPS的解釋機(jī)制
11 附錄
附錄1 DIPS的系統(tǒng)函數(shù)
附錄2 DIPS的系統(tǒng)調(diào)用
12 思考題
思考題一
思考題二
思考題三
思考題四
思考題五
思考題六
思考題七
思考題八
思考題九
參考文獻(xiàn)