圖靈的理論是,“如果有一條無限長的紙帶,那么圖靈機(jī)可以模擬任意機(jī)械過程?!边@使得圖靈機(jī)從理論上證明了“人的思考過程可以機(jī)械化”這一命題。其隱喻是“雖然我還不知道人是如何思考的,以及人的思考到底有多復(fù)雜,但是我有無限長的紙帶呀!” 這種樸素的思維不久就遇到了瓶頸。不過,在那之前,它也經(jīng)歷的黃金時代。 # 黃金時代和大蕭條 圖靈為現(xiàn)代計算機(jī)的產(chǎn)生提供了理論基礎(chǔ)。 1943年,美國陸軍為了計算火炮的火力表,和賓夕法尼亞大學(xué)穆爾電氣工程學(xué)院簽訂了一紙建造項目,項目代號“PX”,費(fèi)用50萬美元(大致相當(dāng)于現(xiàn)今的650萬美元),1946年交付使用。這個項目的成果就是埃尼阿克(ENIAC)。因為埃尼阿克是圖靈完全的電子計算機(jī),能夠重新編程,解決各種計算問題,所以被后世認(rèn)為是世界上第一臺通用計算機(jī)。 ENIAC,現(xiàn)存于賓夕法尼亞大學(xué)工程和應(yīng)用科學(xué)學(xué)院 隨著現(xiàn)代計算機(jī)的大發(fā)展,人工智能也迎來了它的第一次黃金時代。 1950年,圖靈發(fā)表了一篇劃時代的論文,叫《機(jī)器能思考嗎?》,文中預(yù)言了創(chuàng)造出具有真正智能的機(jī)器的可能性,并提出了著名的“圖靈測試”。例如,現(xiàn)在網(wǎng)站上的驗證碼就屬于圖靈測試的一種。 同年,艾薩克·阿西莫夫(Isaac Asimov),科幻小說之父,提出了“機(jī)器人三定律”。 同年,克勞德·香農(nóng)(Claude Shannon),信息論之父,分析了機(jī)器下象棋的可能性。兩年后,1952年,亞瑟·塞繆爾(Arthur Samuel),機(jī)器學(xué)習(xí)之父,開發(fā)了第一款具有自主學(xué)習(xí)功能的跳棋AI,并在康涅狄格州的西洋跳棋比賽中一舉奪魁。 機(jī)器人三定律成為了《我,機(jī)器人》的矛盾節(jié)點(diǎn) 當(dāng)年人工智能的火熱程度可見一斑。大量新名詞、新技術(shù)、新專業(yè)涌現(xiàn)出來。早期的人工智能研究主要在三個方面對現(xiàn)今產(chǎn)生了積極的影響: 1. 自然語言理解,譬如,蘋果Siri、谷歌翻譯、推薦系統(tǒng)等; 2. 決策論,譬如,大數(shù)據(jù)、數(shù)據(jù)挖掘、專家系統(tǒng)、企業(yè)資源管理(ERP)等; 3. 機(jī)器視覺,譬如,工廠自動化檢測零件缺陷,無人駕駛汽車等都受益于上述研究工作。 20世紀(jì)50年代,新興的人工智能研究社區(qū)充滿了樂觀和傲慢的情緒,人們普遍認(rèn)為具有完全智能的機(jī)器將在二十年內(nèi)出現(xiàn)。20世紀(jì)50年代至70年代,是人工智能的第一次繁榮期。 凜冬將至(Winter is comming)。 20世紀(jì)70年代,二十年過去了,人們所期盼的全智能機(jī)器并沒有出現(xiàn)。而且人們發(fā)現(xiàn)AI和人類的智慧相比,即使是最優(yōu)秀的程序也像是“玩具”。人們感到被忽悠了。各個機(jī)構(gòu)紛紛撤出投資,各方的批評也隨之而來。 早期人工智能的思想(符號主義學(xué)派)是建立在計算機(jī)能力提升上的,而隨著問題越來越復(fù)雜,需要的計算能力程指數(shù)級增長。由于計算機(jī)的運(yùn)算速度畢竟有限,理論上可行的圖靈機(jī)在實際上并不可行。羅斯·昆蘭(Ross Quillian)在自然語言方面的研究結(jié)果只能用一個含二十個單詞的詞匯表進(jìn)行演示,因為內(nèi)存只能容納這么多。司馬賀(Herbert Simon)在1958年曾預(yù)言:“十年之內(nèi),計算機(jī)將成為國際象棋的世界冠軍。”而直到1996年,IBM的深藍(lán)才憑借著強(qiáng)大的計算能力在國際象棋上戰(zhàn)勝了卡斯帕羅夫。 1996年IBM的深藍(lán)和俄羅斯國際象棋選手卡斯帕羅夫?qū)?zhàn) 到了20世紀(jì)70年代,早期的人工智能思想受到了計算機(jī)運(yùn)算速度的限制,陷入了停滯,第一波人工智能浪潮宣告結(jié)束。而與此同時,人工智能在歐洲大陸上蓬勃發(fā)展期間,在大洋彼岸的另一端,美洲大陸上,一支新的人工智能思潮正在形成。 |
|