人工智能的歷史源遠(yuǎn)流長(zhǎng)。早在古代的神話傳說中，技藝高超的工匠可以制作人造人，并為其賦予智能或意識(shí)。

現(xiàn)代意義上的AI始于古典哲學(xué)家用機(jī)械符號(hào)處理的觀點(diǎn)解釋人類思考過程的嘗試。20世紀(jì)40年代基于抽象數(shù)學(xué)推理的可編程數(shù)字計(jì)算機(jī)的發(fā)明使一批科學(xué)家開始嚴(yán)肅地探討構(gòu)造一個(gè)電子大腦的可能性。

1956年，在達(dá)特茅斯學(xué)院舉行的一次會(huì)議上正式確立了人工智能的研究領(lǐng)域。會(huì)議的參加者在接下來的數(shù)十年間是AI研究的領(lǐng)軍人物。

他們中有許多人預(yù)言，經(jīng)過一代人的努力，與人類具有同等智能水平的機(jī)器將會(huì)出現(xiàn)。同時(shí)，上千萬美元被投入到AI研究中，以期實(shí)現(xiàn)這一目標(biāo)。

Tips : 達(dá)特茅斯學(xué)院（Dartmouth College），美國(guó)歷史最悠久的世界頂尖學(xué)府，也是聞名遐邇的私立八大常春藤聯(lián)盟之一。

但很快研究人員發(fā)現(xiàn)自己大大低估了這一工程的難度，人工智能史上共出現(xiàn)過好幾次低潮。

由于James Lighthill爵士的批評(píng)和國(guó)會(huì)方面的壓力，美國(guó)和英國(guó)政府于1973年停止向沒有明確目標(biāo)的人工智能研究項(xiàng)目撥款。七年之后受到日本政府研究規(guī)劃（500億日元投入）的刺激，美國(guó)政府和企業(yè)再次在AI領(lǐng)域投入數(shù)十億研究經(jīng)費(fèi)，但這些投資者在80年代末重新撤回了投資。

AI研究領(lǐng)域諸如此類的高潮和低谷不斷交替出現(xiàn)，但至今人們對(duì)AI的前景作出非常樂觀的預(yù)測(cè)。

盡管在政府官僚和風(fēng)投資本家那里經(jīng)歷了大起大落，AI領(lǐng)域仍在取得進(jìn)展。某些在20世紀(jì)70年代被認(rèn)為不可能解決的問題今天已經(jīng)獲得了圓滿解決并已成功應(yīng)用在商業(yè)產(chǎn)品上。

與第一代AI研究人員的樂觀估計(jì)不同，具有與人類同等智能水平的機(jī)器至今仍未出現(xiàn)。圖靈在1950年發(fā)表的一篇催生現(xiàn)代智能機(jī)器研究的著名論文中稱，“我們只能看到眼前的一小段距離……但是，我們可以看到仍有許多工作要做”。

美國(guó)作家Pamela McCorduck是這么描述AI的起源的，“那是源于想要依靠人類之手創(chuàng)造出神的，是古代人眼中的希望”。

先民對(duì)人工智能的追求表現(xiàn)在諸多神話，傳說，故事，預(yù)言以及制作機(jī)器人偶（automaton）的實(shí)踐之中。

希臘神話中已經(jīng)出現(xiàn)了機(jī)械人和人造人，如赫淮斯托斯的黃金機(jī)器人和皮格馬利翁的伽拉忒亞。

皮格馬利翁（Πυγμαλ?ων）是希臘神話中塞浦路斯國(guó)王，據(jù)古羅馬詩人奧維德《變形記》中記述，皮格馬利翁為一位雕刻家，他根據(jù)自己心中理想的女性形象創(chuàng)作了一個(gè)象牙塑像，并愛上了他的作品，給“她”起名為伽拉忒亞。

愛神維納斯非常同情他，便給這件雕塑賦予了生命。后來塞浦路斯阿佛洛狄忒崇拜的中心就是以皮格馬利翁和伽拉忒亞的女兒帕福斯的名字命名。皮格馬利翁的故事被后世許多藝術(shù)家通過各種形式進(jìn)行演繹。

Tips : 油畫《皮格馬利翁和伽拉忒亞》，[法]路易·戈菲耶，1763年。

中世紀(jì)出現(xiàn)了使用巫術(shù)或煉金術(shù)將意識(shí)賦予無生命物質(zhì)的傳說，如賈比爾的Takwin，帕拉塞爾蘇斯的何蒙庫魯茲（Homunculus）和Judah Loew的魔像（Golem）。

Tips : 制作何蒙庫魯茲的煉金術(shù)師。

據(jù)說歐洲文藝復(fù)興時(shí)期的煉金術(shù)師帕拉塞爾蘇斯就造出了何蒙庫魯茲，但是在他死后，再也沒有第二位成功制作出何蒙庫魯茲的人了。而在現(xiàn)在諸多的創(chuàng)作中，何蒙庫魯茲也成為了很多動(dòng)漫以及游戲的故事題材。

19世紀(jì)的幻想小說中出現(xiàn)了人造人和會(huì)思考的機(jī)器之類題材，例如瑪麗·雪萊的《弗蘭肯斯坦（科學(xué)怪人）》和卡雷爾·恰佩克的《羅素姆的萬能機(jī)器人》。

Tips : 小說《科學(xué)怪人》的原版內(nèi)頁。

《弗蘭肯斯坦》（Frankenstein）是西方文學(xué)中的第一部科學(xué)幻想小說。故事主要描述科學(xué)家維多·弗蘭肯斯坦計(jì)劃要靠自己的力量創(chuàng)造一個(gè)生命體，打造一個(gè)完美的人。于是，他從墳場(chǎng)精挑細(xì)選后挖出的尸塊，以專業(yè)知識(shí)判斷還能使用部分，再將之拼成人型，通過電擊并賦予他生命。

然而不久，弗蘭肯斯坦便發(fā)現(xiàn)這是個(gè)嚴(yán)重的錯(cuò)誤，他制造了一個(gè)怪物。于是，他開始追殺這個(gè)怪物，怪物也本能的逃亡，雙方間發(fā)生了許多沖突。

Samuel Butler的《機(jī)器中的達(dá)爾文（Darwin among the Machines）》一文（1863）探討了機(jī)器通過自然選擇進(jìn)化出智能的可能性，至今人工智能仍然是科幻小說的重要元素。

許多文明中都有創(chuàng)造自動(dòng)人偶的杰出工匠，例如偃師（中國(guó)西周），希羅（希臘），加扎利和沃爾夫?qū)ゑT·肯佩倫等等。

Tips : 匈牙利作家及發(fā)明家沃爾夫?qū)ゑT·肯佩倫發(fā)明的土耳其行棋傀儡。

《列子·湯問》中“偃師獻(xiàn)伎”的故事，是我國(guó)文獻(xiàn)對(duì)木偶戲的最早記載。從此，偃師也成了木偶戲表演者的代稱。南宋劉克莊在詩句中說：“棚上偃師何處去，誤他棚下幾個(gè)愁?！焙髞恚藗儽阌谩百葞熢烊?，唯難于心”這個(gè)典故，表達(dá)對(duì)“技藝再好，人心難造”的感慨。

1978年，山東萊西發(fā)掘了一座西漢墓，其中有一批木偶，最大的高達(dá)193厘米，無論蹲坐、站立還是屈膝而跪，都靈活自如，同時(shí)讓人想起那個(gè)曾為周穆王表演木偶戲的能工巧匠偃師。

已知最古老的“機(jī)器人”是古埃及和古希臘的圣像，忠實(shí)的信徒認(rèn)為工匠為這些神像賦予了思想，使它們具有智慧和激情。希臘神話中赫耳墨斯·特里斯墨吉斯忒斯是這么描述的：“當(dāng)人們發(fā)現(xiàn)神的本性時(shí)，人就能夠重現(xiàn)他”。

Tips : 以未來為背景，講述人類、自動(dòng)人偶與世界的致郁向游戲《尼爾：自動(dòng)人偶》。

人工智能的基本假設(shè)是人類的思考過程可以機(jī)械化。對(duì)于機(jī)械化推理（即所謂“形式推理（formal reasoning）”）的研究已有很長(zhǎng)歷史。

中國(guó)，印度和希臘哲學(xué)家均已在公元前的第一個(gè)千年里提出了形式推理的結(jié)構(gòu)化方法。他們的想法為后世的哲學(xué)家所繼承和發(fā)展，其中著名的有亞里士多德（對(duì)三段論邏輯進(jìn)行了形式分析），歐幾里得（其著作《幾何原本》是形式推理的典范），花剌子密（代數(shù)學(xué)的先驅(qū)）以及一些歐洲經(jīng)院哲學(xué)家，如奧卡姆的威廉和鄧斯·司各脫。

Tips : 歐幾里得著作《幾何原本》。

馬略卡哲學(xué)家拉蒙·柳利（1232-1315）開發(fā)了一些“邏輯機(jī)”，試圖通過邏輯方法獲取知識(shí)。柳利的機(jī)器能夠?qū)⒒镜?，無可否認(rèn)的真理通過機(jī)械手段用簡(jiǎn)單的邏輯操作進(jìn)行組合，以求生成所有可能的知識(shí)。柳利的工作對(duì)萊布尼茲產(chǎn)生了很大影響，后者進(jìn)一步發(fā)展了他的思想。

在17世紀(jì)中，萊布尼茲，托馬斯·霍布斯和笛卡兒嘗試將理性的思考系統(tǒng)化為代數(shù)學(xué)或幾何學(xué)那樣的體系?；舨妓乖谄渲鳌独S坦》中有一句名言：“推理就是計(jì)算（reason is nothing but reckoning）。”

萊布尼茲設(shè)想了一種用于推理的普適語言（他的通用表意文字），能將推理規(guī)約為計(jì)算，從而使“哲學(xué)家之間，就像會(huì)計(jì)師之間一樣，不再需要爭(zhēng)辯。他們只需拿出鉛筆放在石板上，然后向?qū)Ψ秸f（如果想要的話，可以請(qǐng)一位朋友作為證人）：‘我們開始算吧。’”

這些哲學(xué)家已經(jīng)開始明確提出形式符號(hào)系統(tǒng)的假設(shè)，而這一假設(shè)將成為AI研究的指導(dǎo)思想。

Tips : 戈特弗里德·威廉·萊布尼茨，被稱為十七世紀(jì)的亞里士多德。

在20世紀(jì)，數(shù)理邏輯研究上的突破使得人工智能好像呼之欲出。這方面的基礎(chǔ)著作包括布爾的《思維的定律》與弗雷格的《概念文字》。

基于弗雷格的系統(tǒng)，羅素和懷特海在他們于1913年出版的巨著《數(shù)學(xué)原理》中對(duì)數(shù)學(xué)的基礎(chǔ)給出了形式化描述。這一成就激勵(lì)了希爾伯特，后者向20世紀(jì)20年代和30年代的數(shù)學(xué)家提出了一個(gè)基礎(chǔ)性的難題：“能否將所有的數(shù)學(xué)推理形式化?”

這個(gè)問題的最終回答由哥德爾不完備定理，圖靈機(jī)和Alonzo Church的λ演算給出。他們的答案令人震驚：首先，他們證明了數(shù)理邏輯的局限性；其次（這一點(diǎn)對(duì)AI更重要），他們的工作隱含了任何形式的數(shù)學(xué)推理都能在這些限制之下機(jī)械化的可能性。

Tips : 艾倫·麥席森·圖靈，計(jì)算機(jī)科學(xué)與人工智能之父。

邱奇-圖靈論題暗示，一臺(tái)僅能處理0和1這樣簡(jiǎn)單二元符號(hào)的機(jī)械設(shè)備能夠模擬任意數(shù)學(xué)推理過程。這里最關(guān)鍵的靈感是圖靈機(jī)：這一看似簡(jiǎn)單的理論構(gòu)造抓住了抽象符號(hào)處理的本質(zhì)，這一創(chuàng)造激發(fā)科學(xué)家們探討讓機(jī)器思考的可能。

用于計(jì)算的機(jī)器古已有之，歷史上許多數(shù)學(xué)家對(duì)其作出了改進(jìn)。

19世紀(jì)初，查爾斯·巴貝奇設(shè)計(jì)了一臺(tái)可編程計(jì)算機(jī)（“分析機(jī)”），但未能建造出來。埃達(dá)·勒芙蕾絲預(yù)言，這臺(tái)機(jī)器“將創(chuàng)作出無限復(fù)雜，無限寬廣的精妙的科學(xué)樂章”。埃達(dá)·勒芙蕾絲常被認(rèn)為是第一個(gè)程序員，因?yàn)樗粝碌囊恍┕P記完整地描述了使用這一機(jī)器計(jì)算伯努利數(shù)的方法。

Tips : 洛夫萊斯伯爵夫人奧古斯塔·埃達(dá)·金·諾爾（埃達(dá)·勒芙蕾絲），被公認(rèn)為史上第一位電腦程序員。所以歷史上第一位程序員其實(shí)是女性。

第一批現(xiàn)代計(jì)算機(jī)是二戰(zhàn)期間建造的大型譯碼機(jī)（包括Z3，ENIAC和Colossus等）。后兩個(gè)機(jī)器的理論基礎(chǔ)是圖靈和約翰·馮·諾伊曼提出和發(fā)展的學(xué)說。