【文章內(nèi)容簡(jiǎn)介】 is available at . [149] 12. Yehoshua BarHillel， “The Present Status of Automatic Translation of Languages， ”Advances in Computers， Vol. 1， No. 1， pp. 91–163， 1960. [149] 13. In D. V. Blake and A. M. Uttley (eds.)， Proceedings of the Symposium on Mechanisation of Thought Processes， p. 85， London: Her Majesty?s Stationary O?ce， 1959. [150] 14. John R. Pierce et al.， Language and Machines: Computers in Translation and Linguistics， ALPAC Report， National Academy of Sciences Publication 416， National Research Council， Washington， DC， 1966. [150] 15. See [150] 16. Bert F. Green Jr.， Alice K. Wolf， Carol Chomsky， and Kenh Laughery， “BASEBALL: An Automatic Question Answerer， ” pp. 219–224， Proceedings of the Western Joint Computer Conference， May 1961. Reprinted in Edward A. Feigenbaum and Julian Feldman (eds.)， Computers and Thought， pp. 207–216， New York: McGraw Hill， 1963， and in ， K. Spark Jones， and B. Lynn Webber (eds.)， Readings in Natural LanguageProcessing， Morgan Kaufman， Los Altos， CA， 1986. [151] 17. Ibid. [151] 18. See Robert K. Lindsay， “Inferential Memory as the Basis of Machines Which Understand Natural Language， ” in Edward A. Feigenbaum， and Julian Feldman， op. cit.， pp. 217–233. [151] 19. Charles K. Ogden， Basic English: A General Introduction with Rules and Grammar， 4th edition， London: Kegan， Paul， Trench， Trubner amp。 Co.， Ltd.， 1933. (Lindsay says 1， 700 words。 other sources say 850.) [152] 20. From [152] 21. Robert F. Simmons， “Synthex， ” Communications of the ACM， Vol. 4 ， No. 3， p. 140， March 1961. [152] 22. From “Text Retrieval Online: Historical Perspective on Web Search Engines， ” by Trudi Bellardo Hahn， ASIS Bulletin， April/May 1998. Available online at [152] 23. Daniel G. Bobrow， “Natural Language Input for a Computer Problem Solving System， ” MIT Arti?cial Intelligence Project Memo 66， Memorandum MACM148， March 30， 1964. 第 8 章 20 世紀(jì) 60 年代基礎(chǔ)建設(shè) 在 20 世紀(jì) 60 年代，由幾個(gè)系統(tǒng)支持和社會(huì)因素幫助（一個(gè)真正存在的可能）了技術(shù)的發(fā)展。新的計(jì)算機(jī)語(yǔ)言 ， 使它更容易建立人工智能。研究者從數(shù)學(xué) ， 認(rèn)知科學(xué)、語(yǔ)言學(xué)、和新型科學(xué)“計(jì)算機(jī)科學(xué)”各個(gè)領(lǐng)域聚集在會(huì)議和新形成的實(shí)驗(yàn)室中解決機(jī)械化智能的行為的這個(gè)問(wèn)題。此外 ， 政府機(jī)構(gòu)和公司 ， 也認(rèn)為他們應(yīng)該在這個(gè)新領(lǐng)域中提供研究上的支持。 編程語(yǔ)言 紐尼爾 ， 西蒙是首批意識(shí)到若有一個(gè)專門的易于操做的象征詞語(yǔ)作為計(jì)算機(jī)語(yǔ)言，將能更好的解決人工智能。最基本類型的符號(hào)表達(dá)式是列表的符號(hào) ， 例如 (7， B，5)。更復(fù)雜的結(jié)構(gòu)可由創(chuàng)建表列出的符號(hào)表列出清單 ， 等等。 在我描述的符號(hào)的結(jié)構(gòu) ， 我提到的 eightpuzzle 這個(gè)類型的操作是非常必要的。eightpuzzle 的起始位置描述成表達(dá)式 ((2， 8， 3)， (1， 6， 4)， (7， B， 5)). 所需要的是一種新語(yǔ)言來(lái)編寫(xiě)程序 ， 可以產(chǎn)生位置移動(dòng)的表達(dá)式代表相應(yīng)的難題。比如說(shuō) ， 可 以由起始位置的移動(dòng)描述成表達(dá)式 ， ((2， 8， 3)， (1， 6， 4)， (B， 7， 5)). 產(chǎn)生這種表達(dá)式時(shí) ， 這個(gè)程序必須復(fù)制的首發(fā)位置的表達(dá)式 ， 然后換乘在那個(gè)表達(dá)式的第一和第二元素的第三個(gè)清單。 紐尼爾 ， 肖博士 ， 西蒙著手開(kāi)發(fā)這些可編程的各種手法一種語(yǔ)言。 1954 年前后，蘭德公司 ， 他們創(chuàng)造了一系列的語(yǔ)言都稱為 IPL(處理信息的語(yǔ)言 )。各種版本的語(yǔ)言被發(fā)。 IPLI 實(shí)際上并不實(shí)行 ， 但只是作為一個(gè)設(shè)計(jì)規(guī)格。 1955 年蘭德公司在JOHNNIAC 計(jì)算機(jī)實(shí)施的 IPLII。以后的版本 (直到 IPLVI)實(shí) 施在卡內(nèi)基的技術(shù)。 IPL 語(yǔ)言程序是早期用來(lái)解決人工智能的程序 ， 包括 LT， GPS， NSS (紐尼爾 ，肖博士 ， 西蒙象棋程序 )， 這個(gè)項(xiàng)目由紐維爾和西門的學(xué)生 ， 如 奎廉 和喬治恩斯特。達(dá)特茅斯后 ， 約翰麥卡錫在達(dá)特茅斯夏季計(jì)劃后開(kāi)始考慮運(yùn)用鏈表語(yǔ)言。他很清楚在 Gelernter 的幾何據(jù)機(jī)器如何使用 FLPL（ FLPL 堅(jiān)固一些 listprocessing FORTRAN語(yǔ)言操作 )。但是最后 ， 麥卡錫認(rèn)識(shí)到一門比 IPL 更容易使用比 FLPL 更強(qiáng)大的新語(yǔ)言是必需的。 在 1958 年秋天的麻省理工學(xué)院 ， 麥卡錫開(kāi)始實(shí)施一種叫 LISP (表處理 )的程序設(shè)計(jì)語(yǔ)言。他以它 (一般 )對(duì)數(shù)學(xué)的一個(gè)分支的特殊感情來(lái)學(xué)習(xí)這門在計(jì)算稱為遞歸函數(shù)理論。 LISP 有幾個(gè)復(fù)制列表的基本操作元素 ， 去掉一個(gè)列表 ， 添加一個(gè)元素 ， 并檢查清單去看看列表有什么成分可以組成。 LISP 的一個(gè)重要的特性之一 ， 項(xiàng)目的清單被自己操縱描繪成名單。這樣的程序可能因此元素列表和其他的可能子程序埋在他們。一個(gè)程序甚至能有一個(gè)版本的本身就嵌入在里面。我已經(jīng)說(shuō)過(guò) ， 作為可以激活自己版本的程序操作被稱為“遞歸” (如果使用非常有用的護(hù)理需要避免無(wú)盡的如果 )。 因?yàn)樗母菀资褂?， LISP 很快就被作為重要的 IPL 語(yǔ)言研究和應(yīng)用的人工智能。寫(xiě) LISP 程序的有明斯基的學(xué)生埃文斯、拉斐爾、 博布羅 ， 斯萊格爾 和一些其他人。 (有趣的是 ， 亞瑟塞繆爾沒(méi)有使用 listprocessing 語(yǔ)言寫(xiě)他的西洋棋比賽程序。而他們的創(chuàng)新使用編程語(yǔ)言提高了機(jī)器的操作效率 ， 也使他們節(jié)儉了內(nèi)存。 ) 除了創(chuàng)造 LISP， 麥卡錫還提出了一種叫分時(shí)作業(yè)的方法模型 ， 就是一臺(tái)計(jì)算機(jī)可以為幾個(gè)用戶同時(shí)作業(yè)，相當(dāng)于每個(gè)用戶都有他或她自己的私人機(jī)器 2。最初EdFredkin 工作在 BBN ， 麥卡錫開(kāi)發(fā)早期的分時(shí)作業(yè)系統(tǒng)是在 12 月的麻省 理工學(xué)院計(jì)算機(jī) PDP13。 早期的 AI 實(shí)驗(yàn)室 1955 年 ， 紐尼爾是從蘭德公司到卡內(nèi)基科技 (它在 1967 年成為了卡內(nèi)基梅隆大學(xué) )在草本西門下攻讀工業(yè)管理博士學(xué)位。完成后他的學(xué)位 ， 紐尼爾他在卡內(nèi)基大學(xué)擔(dān)任教授，他和西門開(kāi)始建議許多再讀博士學(xué)生使用的“復(fù)雜的信息處理 (CIP)”來(lái)處理自己的工作。（好幾年后他們得到了 AI 的綽號(hào)。 )1956 年的秋天 ， 西門獲得了第一次使用 CIP 工作的電腦 IBM 65０。后來(lái)他們使用了緊隨其后的 DEC 系列的計(jì)算機(jī)IBM 704。 在 1958 年的秋天，約翰麥卡錫從達(dá)特茅斯來(lái) 到了麻省理工學(xué)院。一年后明斯基加入麻省理工學(xué)院。明斯基如是說(shuō) 4 [麥卡錫和我 )在走上大廳時(shí)遇到杰瑞 維斯納 ， 齊默曼 和某些人 ， 他說(shuō)怎么樣讓我們說(shuō)得很好 ， 我們正在改變想法 ， 但對(duì)于人工智能，我們需要更多一點(diǎn)的機(jī)會(huì)和一些畢業(yè)生的支持。這樣一個(gè)機(jī)會(huì)出現(xiàn)幾天之后。 這個(gè)“機(jī)會(huì)”很快就成了 MIT 的人工智能項(xiàng)目。起初 ， 這個(gè)小組使用的是麻省理工學(xué)院的 IBM 704 計(jì)算機(jī)，但是 IBM 704 沒(méi)足夠的內(nèi)存來(lái)寫(xiě)程序。所以就開(kāi)始使用了屬于 BBN 的 DEC PDP1。隨著另一個(gè)項(xiàng)目在麻省理工學(xué)院被資助 ， 它買了PDP1， 緊隨其后又買了 PDP6 和 PDP10。小組的幾個(gè)具有博士學(xué)位的學(xué)生在 BBN做他們的工作 ， 奧利弗 塞爾弗里奇 在林肯實(shí)驗(yàn)室附近繼續(xù)他主要對(duì)機(jī)器學(xué)習(xí)和模式識(shí)別的人工智能研究 。 1962 年 ， 麥卡錫 搬到斯坦福大學(xué)開(kāi)始它的一個(gè) AI 的項(xiàng)目。1963 年， 西蒙 派珀特 (1928 )， 一個(gè)曾經(jīng)和皮亞杰工作過(guò)的數(shù)學(xué)家 ， 以助理的身份加入了明斯基 AI 實(shí)驗(yàn)室。 1965 年斯坦福大學(xué)的麥卡錫和它的同事們?cè)?PDP1 計(jì)算機(jī)創(chuàng)造了一種叫做索爾的分時(shí)作業(yè)系統(tǒng)。它包括十二個(gè)飛歌顯示終端 ， 使它成為了世界上第一個(gè)被展示出來(lái)的分時(shí)作業(yè)系統(tǒng)。 1965 年，在萊 斯特的幫助下 (1930 )， 麥卡錫從林肯實(shí)驗(yàn)室搬到了斯坦福大學(xué) ，并且建立斯坦福 AI 實(shí)驗(yàn)室。 1966 年的夏天，一些實(shí)驗(yàn)設(shè)施、斯坦福 AI 實(shí)驗(yàn)室搬到斯坦福大學(xué)的一個(gè)大樓中。（參見(jiàn)圖 81）因?yàn)?ARPA 的支持 ， 該實(shí)驗(yàn)室取得了一臺(tái)電腦 DEC PDP6，后來(lái)又得到一個(gè) PDP10 計(jì)算機(jī)。此外 ， 它又進(jìn)入人工智能領(lǐng)域 (我會(huì)在隨后的幾章描述 )， SAIL 參與了許多項(xiàng)目包括開(kāi)發(fā)一種前兆 “ 窗口 ” ， 早期安裝在個(gè)人的辦公室的電腦終端 5。 在早期，主要是卡內(nèi)基梅隆大學(xué)、麻省理工學(xué)院 ， 和斯坦福大學(xué)的群體領(lǐng)導(dǎo)研究人工智能。后來(lái)一個(gè)又 一個(gè)的學(xué)校的畢業(yè)生和老師成為了人工智能的研究者。 1965 年，另一個(gè)世界級(jí)的 AI 研究中心出現(xiàn)在蘇格蘭的愛(ài)丁堡大學(xué)周圍。它的創(chuàng)立者是在第二次世界大戰(zhàn)時(shí)曾經(jīng)和艾倫圖靈 (杰克 )一起工作過(guò)的唐納德 米奇(19232020。圖 82)。與圖靈對(duì)智能機(jī)器的良好討論深深迷住了米奇。他在 2020 年 10月份的采訪說(shuō)，“我決定讓機(jī)器智能出現(xiàn)在我生命像企業(yè)變得可行一樣?！?6 因?yàn)椋矗澳甏闹衅谥镣砥陔娔X設(shè)備的原始和少見(jiàn) ， 米奇成為了遺傳學(xué)家和分子生物學(xué)家。 因?yàn)樽非笞约簩?duì)機(jī)器智能的興趣 ， 1960 年他在業(yè)余時(shí)間做出了能學(xué)會(huì)玩tictactoe 的“玻璃珠和火柴盒組成的奇妙裝置”。他把它叫做“機(jī)器” MENACE 是可教育的打字游戲和十字架的火柴盒引擎的縮寫(xiě)。 (見(jiàn)圖 83)（在我的解釋中 MENACE預(yù)示著工作現(xiàn)在被稱為“強(qiáng)化學(xué)習(xí)一年。” )在 20 世紀(jì) 60 年代初參觀斯坦福大學(xué) (由美國(guó)海軍研究舉辦 )， 米奇相遇了約翰麥卡錫 ， 伯納德 威德羅 和其他研究 AI 的人 (包括我 )。在那里的時(shí)候 ， 他曾在寫(xiě)出了一個(gè)如何尋找機(jī)動(dòng)車上的平衡支點(diǎn)的學(xué)習(xí)程序 7。 1965 年一月份，米奇成為英國(guó)第一人工智能實(shí)驗(yàn)室的主任，這個(gè)實(shí)驗(yàn)室規(guī)劃單位在愛(ài)丁堡大學(xué)。 1966 年 10 月 ，該小組成為機(jī)器智慧和知覺(jué)的部門。米奇招募了一些頂級(jí)的計(jì)算機(jī)人才 ， 包括 Burstall，羅賓，約翰科林斯。這三個(gè)人研制了一種鏈表語(yǔ)言命名為 POP2。這個(gè)語(yǔ)言被部門的會(huì)員用來(lái)做人工智能的研究。 (以后我將描述其中的一些程序 )多年來(lái) ， 米奇小組一直與伯納德 (19162020)領(lǐng)導(dǎo)的數(shù)學(xué)小組合作工作在愛(ài)丁堡大學(xué)的周圍。這個(gè) 超數(shù)學(xué)小組以 羅伯特 博耶 和 斯特羅瑟摩爾 工作于機(jī)械化定理與羅伯特柯在一些原則邏輯編程而聞名于世。 在 波基普西 州的森羅切斯特和 Herb Gelernter 的 IBM 達(dá)特茅斯車間，繼續(xù)研究人工智能 很短的一段時(shí)間后。然而不久后 ， 根據(jù)一本關(guān)于政府支持計(jì)算研究的報(bào)告 ，“盡管早期羅徹斯特和其他國(guó)際商用機(jī)器公司 (IBM)人員研究過(guò)，但是公司在人工智能的研究在逐漸冷卻?！?8 也許 IBM 希望人們重視電腦如何幫助 ， 而不是可能會(huì)取代人們執(zhí)行任務(wù)。麥卡錫說(shuō)，國(guó)際商用機(jī)器公司 (IBM)