人工智能：復(fù)雜問(wèn)題求解的結(jié)構(gòu)和策略

第一部分  人工智能的淵源及范圍                  
 第1章  人工智能的歷史及應(yīng)用                  
 1. 1  從伊甸園到第一臺(tái)電子計(jì)算機(jī)：對(duì)智慧. 知識(shí)和人類技能的態(tài)度                  
 1. 1. 1  歷史基礎(chǔ)                  
 1. 1. 2  邏輯的發(fā)展                  
 1. 1. 3  圖靈測(cè)試                  
 1. 1. 4  智能的生物和社會(huì)模型：主體                  
 1. 2  人工智能的應(yīng)用領(lǐng)域                  
 1. 2. 1  博弈                  
 1. 2. 2  自動(dòng)推理和定理證明                  
 1. 2. 3  專家系統(tǒng)                  
 1. 2. 4  自然語(yǔ)言理解和語(yǔ)義建模                  
 1. 2. 5  對(duì)人類表現(xiàn)建模                  
 1. 2. 6  規(guī)劃和機(jī)器人                  
 1. 2. 7  人工智能的語(yǔ)言和環(huán)境                  
 1. 2. 8  機(jī)器學(xué)習(xí)                  
 1. 2. 9  另類表示：神經(jīng)網(wǎng)絡(luò)和遺傳算法                  
 1. 2. 10  AI和哲學(xué)                  
 1. 3  人工智能的概括                  
 1. 4  結(jié)語(yǔ)和參考文獻(xiàn)                  
 1. 5  練習(xí)                  
 第二部分  作為表示和搜索的人工智能                  
 第2章  謂詞演算                  
 2. 0  簡(jiǎn)介                  
 2. 1  命題演算                  
 2. 1. 1  符號(hào)和語(yǔ)句                  
 2. 1. 2  命題演算的語(yǔ)義                  
 2. 2  謂詞演算                  
 2. 2. 1  謂詞的語(yǔ)法和語(yǔ)句                  
 2. 2. 2  謂詞演算的語(yǔ)義                  
 2. 2. 3  語(yǔ)義含義的積木世界例子                  
 2. 3  使用推理規(guī)則產(chǎn)生謂詞演算表達(dá)式                  
 2. 3. 1  推理規(guī)則                  
 2. 3. 2  合一算法                  
 2. 3. 3  合一的例子                  
 2. 4  應(yīng)用：一個(gè)基于邏輯的財(cái)務(wù)顧問(wèn)                  
 2. 5  結(jié)語(yǔ)和參考文獻(xiàn)                  
 2. 6  練習(xí)                  
 第3章  用以搜索狀態(tài)空間的結(jié)構(gòu)和策略                  
 3. 0  簡(jiǎn)介                  
 3. 1  圖論                  
 3. 1. 1  狀態(tài)空間搜索的結(jié)構(gòu)                  
 3. 1. 2  問(wèn)題的狀態(tài)空間表示                  
 3. 2  用于狀態(tài)空間搜索的策略                  
 3. 2. 1  數(shù)據(jù)驅(qū)動(dòng)搜索和目標(biāo)驅(qū)動(dòng)搜索                  
 3. 2. 2  圖搜索的實(shí)現(xiàn)                  
 3. 2. 3  深度優(yōu)先搜索和寬度優(yōu)先搜索                  
 3. 2. 4  迭代加深的深度優(yōu)先搜索                  
 3. 3  利用狀態(tài)空間來(lái)表示謂詞演算推理                  
 3. 3. 1  邏輯系統(tǒng)的狀態(tài)空間描述                  
 3. 3. 2  與或圖                  
 3. 3. 3  進(jìn)一步的例子和應(yīng)用                  
 3. 4  結(jié)語(yǔ)和參考文獻(xiàn)                  
 3. 5  練習(xí)                  
 第4章  啟發(fā)式搜索                  
 4. 0  簡(jiǎn)介                  
 4. 1  啟發(fā)式搜索算法                  
 4. 1. 1  實(shí)現(xiàn)最佳優(yōu)先搜索                  
 4. 1. 2  實(shí)現(xiàn)啟發(fā)評(píng)估函數(shù)                  
 4. 1. 3  啟發(fā)式搜索和專家系統(tǒng)                  
 4. 2  可采納性. 單調(diào)性和信息度                  
 4. 2. 1  可采納性尺度                  
 4. 2. 2  單調(diào)性                  
 4. 2. 3  信息度更高的啟發(fā)是更好的啟發(fā)                  
 4. 3  在博弈中使用啟發(fā)                  
 4. 3. 1  針對(duì)可窮舉搜索情況的極小極大過(guò)程                  
 4. 3. 2  固定層深的極小極大過(guò)程                  
 4. 3. 3  a-B過(guò)程                  
 4. 4  復(fù)雜度問(wèn)題                  
 4. 5  結(jié)語(yǔ)和參考文獻(xiàn)                  
 4. 6  練習(xí)                  
 第5章  狀態(tài)空間搜索的控制和實(shí)現(xiàn)                  
 5. 0  簡(jiǎn)介                  
 5. 1  基于遞歸的搜索                  
 5. 1. 1  遞歸                  
 5. 1. 2  遞歸搜索                  
 5. 2  模式導(dǎo)向搜索                  
 5. 2. 1  遞歸搜索實(shí)例：騎士周游問(wèn)題                  
 5. 2. 2  改進(jìn)模式搜索算法                  
 5. 3  產(chǎn)生式系統(tǒng)                  
 5. 3. 1  定義和歷史                  
 5. 3. 2  產(chǎn)生式系統(tǒng)的例子                  
 5. 3. 3  產(chǎn)生式系統(tǒng)中的搜索控制                  
 5. 3. 4  產(chǎn)生式系統(tǒng)的優(yōu)點(diǎn)                  
 5. 4  用于問(wèn)題求解的黑板結(jié)構(gòu)                  
 5. 5  結(jié)語(yǔ)和參考文獻(xiàn)                  
 5. 6  練習(xí)                  
 第三部分  表示和智能：AI中的挑戰(zhàn)                  
 第6章  知識(shí)表示                  
 6. 0  知識(shí)表示問(wèn)題                  
 6. 1  AI表象圖式的簡(jiǎn)要?dú)v史                  
 6. 1. 1  語(yǔ)義關(guān)聯(lián)理論                  
 6. 1. 2  語(yǔ)義網(wǎng)絡(luò)的早期研究                  
 6. 1. 3  網(wǎng)絡(luò)關(guān)系的標(biāo)準(zhǔn)化                  
 6. 1. 4  腳本                  
 6. 1. 5  框架                  
 6. 2  概念圖：網(wǎng)絡(luò)語(yǔ)言                  
 6. 2. 1  概念圖簡(jiǎn)介                  
 6. 2. 2  類型. 個(gè)體和名字                  
 6. 2. 3  類型層次                  
 6. 2. 4  泛化和特化                  
 6. 2. 5  命題結(jié)點(diǎn)                  
 6. 2. 6  概念圖和邏輯                  
 6. 3  顯式表示的替代方法                  
 6. 3. 1  Brookss假設(shè)和包容結(jié)構(gòu)                  
 6. 3. 2  Copycat結(jié)構(gòu)                  
 6. 4  基于主體的和分布式的問(wèn)題求解方法                  
 6. 4. 1  面向主體的問(wèn)題求解：定義                  
 6. 4. 2  面向主體模式的應(yīng)用領(lǐng)域以及存在的問(wèn)題                  
 6. 5  結(jié)語(yǔ)和參考文獻(xiàn)                  
 6. 6  練習(xí)                  
 第7章  求解問(wèn)題的強(qiáng)方法                  
 7. 0  簡(jiǎn)介                  
 7. 1  專家系統(tǒng)技術(shù)概覽                  
 7. 1. 1  基于規(guī)則的專家系統(tǒng)                  
 7. 1. 2  問(wèn)題選擇和知識(shí)工程的步驟                  
 7. 1. 3  概念模型及其在知識(shí)獲取中的作用                  
 7. 2  基于規(guī)則的專家系統(tǒng)                  
 7. 2. 1  產(chǎn)生式系統(tǒng)和目標(biāo)驅(qū)動(dòng)問(wèn)題求解                  
 7. 2. 2  目標(biāo)驅(qū)動(dòng)推理中的解釋和-透明性                  
 7. 2. 3  利用產(chǎn)生式系統(tǒng)進(jìn)行數(shù)據(jù)驅(qū)動(dòng)推理                  
 7. 2. 4  專家系統(tǒng)的啟發(fā)和控制                  
 7. 3  基于模型系統(tǒng). 基于案例系統(tǒng)和混合系統(tǒng)                  
 7. 3. 1  基于模型推理簡(jiǎn)介                  
 7. 3. 2  基于模型推理：來(lái)自NASA的例子(Williams and Nayak)                  
 7. 3. 3  基于案例推理介紹                  
 7. 3. 4  混合設(shè)計(jì)：強(qiáng)方法系統(tǒng)的優(yōu)勢(shì)和不足                  
 7. 4  規(guī)劃                  
 7. 4. 1  簡(jiǎn)介                  
 7. 4. 2  使用規(guī)劃宏：STRIPS                  
 7. 4. 3  teleo-reactive規(guī)劃(Nilsson 1994, Benson 1995)                  
 7. 4. 4  規(guī)劃：來(lái)自NASA的例子(Williams and Nayak)                  
 7. 5  結(jié)語(yǔ)和參考文獻(xiàn)                  
 7. 6  練習(xí)                  
 第8章  不確定條件下的推理                  
 8. 0  簡(jiǎn)介                  
 8. 1  基于邏輯的反繹推理                  
 8. 1. 1  非單調(diào)推理邏輯                  
 8. 1. 2  真值維護(hù)系統(tǒng)                  
 8. 1. 3  基于最小模型的邏輯                  
 8. 1. 4  集合覆蓋和基于邏輯的反繹(Stern 1996)                  
 8. 2  反繹：邏輯之外的辦法                  
 8. 2. 1  Stanford確信度代數(shù)                  
 8. 2. 2  模糊集推理                  
 8. 2. 3  Dempster-Shafer證據(jù)理論                  
 8. 3  統(tǒng)計(jì)的方法處理不確定性                  
 8. 3. 1  貝葉斯推理                  
 8. 3. 2  貝葉斯信念網(wǎng)絡(luò)                  
 8. 4  結(jié)語(yǔ)和參考文獻(xiàn)                  
 8. 5  練習(xí)                  
 第四部分  機(jī)器學(xué)習(xí)                  
 第9章  基于符號(hào)的機(jī)器學(xué)習(xí)                  
 9. 0  概述                  
 9. 1  基于符號(hào)的學(xué)習(xí)的框架                  
 9. 2  變型空間搜索                  
 9. 2. 1  泛化操作和概念空間                  
 9. 2. 2  候選解排除算法                  
 9. 2. 3  LEX：?jiǎn)l(fā)式歸納搜索                  
 9. 2. 4  評(píng)價(jià)候選解排除算法                  
 9. 3  ID3決策樹歸納算法                  
 9. 3. 1  自頂向下決策樹歸納                  
 9. 3. 2  測(cè)試選擇的信息論方法                  
 9. 3. 3  評(píng)價(jià)ID3                  
 9. 3. 4  決策樹數(shù)據(jù)問(wèn)題：打包. 推進(jìn)                  
 9. 4  歸納偏置和學(xué)習(xí)能力                  
 9. 4. 1  歸納偏置                  
 9. 4. 2  可學(xué)習(xí)性理論                  
 9. 5  知識(shí)和學(xué)習(xí)                  
 9. 5. 1  Meta-DENDRAL                  
 9. 5. 2  基于解釋的學(xué)習(xí)                  
 9. 5. 3  EBL和知識(shí)層學(xué)習(xí)                  
 9. 5. 4  類比推理                  
 9. 6  無(wú)監(jiān)督學(xué)習(xí)                  
 9. 6. 1  發(fā)現(xiàn)和無(wú)監(jiān)督學(xué)習(xí)                  
 9. 6. 2  概念聚類                  
 9. 6. 3  COBWEB和分類知識(shí)的結(jié)構(gòu)                  
 9. 7  強(qiáng)化學(xué)習(xí)                  
 9. 7. 1  強(qiáng)化學(xué)習(xí)的組成部分                  
 9. 7. 2  一個(gè)例子：九宮游戲                  
 9. 7. 3  強(qiáng)化學(xué)習(xí)的推理算法和應(yīng)用                  
 9. 8  結(jié)語(yǔ)和參考文獻(xiàn)                  
 9. 9  練習(xí)                  
 第10章  連接主義的機(jī)器學(xué)習(xí)                  
 10. 0  介紹                  
 10. 1  連接網(wǎng)絡(luò)的基礎(chǔ)                  
 10. 2  感知機(jī)學(xué)習(xí)                  
 10. 2. 1  感知機(jī)學(xué)習(xí)算法                  
 10. 2. 2  例子：用感知機(jī)進(jìn)行分類                  
 10. 2. 3  用delta規(guī)則                  
 10. 3  反傳學(xué)習(xí)                  
 10. 3. 1  反傳算法的起源                  
 10. 3. 2  反傳算法實(shí)例1：NETtalk                  
 10. 3. 3  反傳算法實(shí)例2：異或                  
 10. 4  競(jìng)爭(zhēng)學(xué)習(xí)                  
 10. 4. 1  對(duì)于分類的"勝者全拿"學(xué)習(xí)                  
 10. 4. 2  學(xué)習(xí)原型的Kohonen網(wǎng)絡(luò)                  
 10. 4. 3  Outstar網(wǎng)絡(luò)和逆?zhèn)?nbsp;                 
 10. 5  Hebbian一致性學(xué)習(xí)                  
 10. 5. 1  介紹                  
 10. 5. 2  無(wú)監(jiān)督Hebbian學(xué)習(xí)的例子                  
 10. 5. 3  有監(jiān)督Hebbian學(xué)習(xí)                  
 10. 5. 4  關(guān)聯(lián)記憶和線性關(guān)聯(lián)器                  
 10. 6  吸引子網(wǎng)絡(luò)或記憶                  
 10. 6. 1  介紹                  
 10. 6. 2  BAM, 雙向關(guān)聯(lián)記憶                  
 10. 6. 3  BAM處理的例子                  
 10. 6. 4  自相關(guān)記憶和Hopfield網(wǎng)絡(luò)                  
 10. 7  結(jié)語(yǔ)和參考文獻(xiàn)                  
 10. 8  練習(xí)                  
 第11章  機(jī)器學(xué)習(xí)：社會(huì)性和涌現(xiàn)性                  
 11. 0  社會(huì)性和涌現(xiàn)性的學(xué)習(xí)模型                  
 11. 1  遺傳算法                  
 11. 1. 1  兩個(gè)例子：CNF可滿足性問(wèn)題和巡回推銷員問(wèn)題                  
 11. 1. 2  遺傳算法的評(píng)估                  
 11. 2  分類器系統(tǒng)和遺傳程序設(shè)計(jì)                  
 11. 2. 1  分類器系統(tǒng)                  
 11. 2. 2  用遺傳算子進(jìn)行程序設(shè)計(jì)                  
 11. 3  人工生命和基于社會(huì)的學(xué)習(xí)                  
 11. 3. 1  生命游戲                  
 11. 3. 2  進(jìn)化規(guī)劃                  
 11. 3. 3  涌現(xiàn)的實(shí)例研究(Crutchfield and Mitchell 1994)                  
 11. 4  結(jié)語(yǔ)和參考文獻(xiàn)                  
 11. 5  練習(xí)                  
 第五部分  智能問(wèn)題求解高級(jí)主題                  
 第12章  自動(dòng)推理                  
 12. 0  定理證明中的弱方法                  
 12. 1  通用問(wèn)題求解程序和差別表                  
 12. 2  歸結(jié)定理證明                  
 12. 2. 1  介紹                  
 12. 2. 2  為進(jìn)行歸結(jié)反駁生成子句形式                  
 12. 2. 3  二元?dú)w結(jié)證明過(guò)程                  
 12. 2. 4  歸結(jié)策略和簡(jiǎn)化技術(shù)                  
 12. 2. 5  從歸結(jié)反駁中抽取解答                  
 12. 3  PROLOG和自動(dòng)推理                  
 12. 3. 1  介紹                  
 12. 3. 2  邏輯編程和PROLOG                  
 12. 4  自動(dòng)推理進(jìn)一步的問(wèn)題                  
 12. 4. 1  弱方法求解的統(tǒng)一表示法                  
 12. 4. 2  可選推理規(guī)則                  
 12. 4. 3  搜索策略及其使用                  
 12. 5  結(jié)語(yǔ)和參考文獻(xiàn)                  
 12. 6  練習(xí)                  
 第13章  自然語(yǔ)言理解                  
 13. 0  自然語(yǔ)言理解問(wèn)題                  
 13. 1  解構(gòu)語(yǔ)言：符號(hào)分析                  
 13. 1. 1  介紹                  
 13. 1. 2  語(yǔ)言分析的過(guò)程                  
 13. 2  語(yǔ)法                  
 13. 2. 1  使用上下文無(wú)關(guān)文法說(shuō)明和解析                  
 13. 2. 2轉(zhuǎn)移網(wǎng)絡(luò)解析器                  
 13. 2. 3  喬姆斯基層次和上下文相關(guān)文法                  
 13. 3  ATN解析器的語(yǔ)法和知識(shí)                  
 13. 3. 1  擴(kuò)充轉(zhuǎn)移網(wǎng)絡(luò)解析器                  
 13. 3. 2  結(jié)合語(yǔ)法和語(yǔ)義知識(shí)                  
 13. 4  語(yǔ)言分析隨機(jī)工具                  
 13. 4. 1  介紹                  
 13. 4. 2  馬爾科夫模型方法                  
 15. 3  高階函數(shù)和抽象                  
 15. 3. 1  映像和過(guò)濾器                  
 15. 3. 2  函數(shù)參數(shù)和lambda表達(dá)式                  
 15. 4  LISP中的搜索策略                  
 15. 4. 1  寬度優(yōu)先和深度優(yōu)先搜索                  
 15. 4. 2  最優(yōu)搜索                  
 15. 5  LISP中的模式匹配                  
 15. 6  遞歸合一函數(shù)                  
 15. 7  解釋器和嵌入式語(yǔ)言                  
 15. 8  LISP中的邏輯編程                  
 15. 8. 1  一個(gè)簡(jiǎn)單的邏輯編程語(yǔ)言                  
 15. 8. 2  流和流處理                  
 15. 8. 3  基于流的邏輯程序解釋器                  
 15. 9  流和延遲分析                  
 15. 10  一個(gè)LISP的專家系統(tǒng)外殼                  
 15. 10. 1  實(shí)現(xiàn)確定性因子                  
 15. 10. 2  lisp-shell的體系結(jié)構(gòu)                  
 15. 10, 3  用lisp-shell的分類                  
 15. 11  LISP中的語(yǔ)義網(wǎng)絡(luò)和繼承                  
 15. 12  用CLOS的面向?qū)ο蟮木幊?nbsp;                 
 15. 12. 1  CLOS中類和實(shí)例的定義                  
 15. 12. 2  定義通用函數(shù)和方法                  
 15. 12. 3  CLOS中的繼承                  
 15. 12. 4  例子：自動(dòng)調(diào)溫器仿真                  
 15. 13  LISP中的學(xué)習(xí)：ID3算法,                   
 15. 13. 1  用defstruct定義結(jié)構(gòu)                  
 15. 13. 2  ID3算法                  
 15. 14  結(jié)語(yǔ)和參考文獻(xiàn)                  
 15. 15  練習(xí)                  
 第七部分  后  記                  
 第16章  人工智能作為按經(jīng)驗(yàn)進(jìn)行                  
 探索的學(xué)科                  
 16. 0  引言                  
 16. 1  人工智能：修訂后的定義                  
 16. 1. 1  人工智能和物理符號(hào)系統(tǒng)假設(shè)                  
 16, 1. 2  連接或者"神經(jīng)"計(jì)算                  
 16. 1. 3  主體. 涌現(xiàn)和智能                  
 16. 2  智能系統(tǒng)科學(xué)                  
 16. 2. 1  心理學(xué)約束                  
 16. 2. 2  認(rèn)識(shí)論問(wèn)題                  
 16. 2. 3  情景角色和存在智能                  
 16. 3  人工智能：當(dāng)前的問(wèn)題和未來(lái)的方向                  
 16. 4  結(jié)語(yǔ)和參考文獻(xiàn)                  
 參考文獻(xiàn)                  
 作者索引                  
 主題索引