人工智能簡(jiǎn)史（大字版）

第1章 達(dá)特茅斯會(huì)議：人工智能的緣起

1.背景

2.達(dá)特茅斯會(huì)議

3.AI歷史的方法論

4.會(huì)議之后

5.預(yù)測(cè)未來(lái)：會(huì)有奇點(diǎn)嗎？

第2章 自動(dòng)定理證明興衰紀(jì)

1.自動(dòng)定理證明的起源

2.羅賓遜和歸結(jié)原理

3.項(xiàng)重寫(xiě)

4.阿貢小組和馬庫(kù)恩

5.符號(hào)派的內(nèi)部矛盾：?jiǎn)柎鹣到y(tǒng)和歸結(jié)原理的失落

6.幾何定理證明與計(jì)算機(jī)代數(shù)

7.定理證明系統(tǒng)和競(jìng)賽

8.哲學(xué)問(wèn)題

9.現(xiàn)狀

10.結(jié)語(yǔ)

第3章 從專(zhuān)家系統(tǒng)到知識(shí)圖譜

1.費(fèi)根鮑姆和DENDRAL

2. MYCIN

3.專(zhuān)家系統(tǒng)的成熟

4. 知識(shí)表示

5.雷納特和大知識(shí)系統(tǒng)

6.語(yǔ)義網(wǎng)

7.谷歌和知識(shí)圖譜

第4章 第五代計(jì)算機(jī)的教訓(xùn)

1.背景

2.理論基礎(chǔ)：邏輯程序和Prolog

3.五代機(jī)計(jì)劃和五代機(jī)研究所

4.并發(fā)Prolog

5.美國(guó)和歐洲對(duì)日本五代機(jī)計(jì)劃的反應(yīng)

6.結(jié)局和教訓(xùn)

7. 日本還有機(jī)會(huì)嗎：日本下一代人工智能促進(jìn)戰(zhàn)略

第5章 神經(jīng)網(wǎng)絡(luò)簡(jiǎn)史

1.神經(jīng)網(wǎng)絡(luò)的初創(chuàng)文章

2.羅森布拉特和感知機(jī)

3. 神經(jīng)網(wǎng)絡(luò)的復(fù)興

4.深度學(xué)習(xí)

第6章 計(jì)算機(jī)下棋簡(jiǎn)史：機(jī)定勝人，人定勝天

1.機(jī)器下棋“史前史”

2.跳棋插曲

3.計(jì)算機(jī)下棋之初

4.“深藍(lán)”

5.圍棋和AlphaGo

第7章 自然語(yǔ)言處理

1.喬治敦實(shí)驗(yàn)

2.喬姆斯基和句法分析

3. ELIZA和PARRY

4.維諾格拉德和積木世界

5.統(tǒng)計(jì)派又來(lái)了

6.神經(jīng)翻譯是終極手段嗎？

7.問(wèn)答系統(tǒng)和IBM沃森

8.回顧和展望

第8章 向自然學(xué)習(xí)：從遺傳算法到強(qiáng)化學(xué)習(xí)

1.霍蘭德和遺傳算法

2.遺傳編程

3.強(qiáng)化學(xué)習(xí)

4.計(jì)算向自然學(xué)習(xí)還是自然向計(jì)算學(xué)習(xí)

5.計(jì)算理論與生物學(xué)

第9章 哲學(xué)家和人工智能

1.德雷弗斯和《計(jì)算機(jī)不能干什么》

2.塞爾和中文屋

3.普特南和缸中腦

4.給哲學(xué)家一點(diǎn)忠告

第10章 人是機(jī)器嗎？——人工智能的計(jì)算理論基礎(chǔ)

1.丘奇-圖靈論題：為什么圖靈機(jī)是重要的發(fā)明？

2.相似性原則：另一個(gè)重要但不太被提及的計(jì)算理論思想

3.超計(jì)算

4.BSS實(shí)數(shù)模型

5.量子計(jì)算

6.計(jì)算理論的哲學(xué)寓意

7.丘奇-圖靈論題、超計(jì)算和人工智能

第11章 智能的進(jìn)化

1.大腦的進(jìn)化

2.能源的攝取和消耗

3.全社會(huì)的算力作為文明的測(cè)度

4.人工智能從哪里來(lái)？

5.人工智能向哪里去：會(huì)有超級(jí)智能嗎？

第12章 當(dāng)我們談?wù)撋罆r(shí)，我們?cè)谡務(wù)撌裁矗?/p>

附錄1 圖靈小傳

附錄2 人工智能前史：圖靈與人工智能

附錄3 馮諾伊曼與人工智能

附錄4 計(jì)算機(jī)與智能