AI 簡史 二
[AI 創客] 中學生AI 素養 – AI 簡史 (II)
CodingCoffee
17 June, 2019
(以WiKi 為主要資料來源)
現代計算機思想的歷史
人工智慧的基本假設是人類的思考過程可以機械化。對於機械化推理（即所謂「形式推理（formal reasoning）」）的研究已有很長歷史。中國，印度和希臘哲學家均已在公元前的第一個千年裡提出了形式推理的結構化方法。他們的想法為後世的哲學家所繼承和發展，其中著名的有
亞里士多德（對三段論邏輯進行了形式分析），
花剌子密（代數學的先驅，「algorithm」一詞由他的名字演變而來）
以及一些歐洲經院哲學家，如奧卡姆的威廉和鄧斯司各脫。[16]
馬略卡哲學家拉蒙柳利（1232-1315）開發了一些「邏輯機」，試圖通過邏輯方法獲取知識。柳利的機器能夠將基本的，無可否認的真理通過機械手段用簡單的邏輯操作進行組合，以求生成所有可能的知識。
Llull的工作對萊布尼茲產生了很大影響，後者進一步發展了他的思想。
萊布尼茲猜測人類的思想可以簡化為機械計算
在17世紀中，萊布尼茲，托馬斯霍布斯和笛卡兒嘗試將理性的思考系統化為代數學或幾何學那樣的體系。霍布斯在其著作《利維坦》中有一句名言：「推理就是計算（reason is nothing but reckoning）。」 萊布尼茲設想了一種用於推理的普適語言（他的通用表意文字），能將推理規約為計算，從而使「哲學家之間，就像會計師之間一樣，不再需要爭辯。他們只需拿出鉛筆放在石板上，然後向對方說（如果想要的話，可以請一位朋友作為證人）：『我們開始算吧。』」這些哲學家已經開始明確提出形式符號系統的假設，而這一假設將成為AI研究的指導思想。
在20世紀，數理邏輯研究上的突破使得人工智慧好像呼之欲出。這方面的基礎著作包括布爾的《思維的定律》與弗雷格的《概念文字》。基於弗雷格的系統，羅素和懷特海在他們於1913年出版的巨著《數學原理》中對數學的基礎給出了形式化描述。這一成就激勵了希爾伯特，後者向20世紀20年代和30年代的數學家提出了一個基礎性的難題：「能否將所有的數學推理形式化?」
這個問題的最終回答由哥德爾不完備定理，圖靈機和Alonzo Church的λ演算給出。他們的答案令人震驚：首先，他們證明了數理邏輯的局限性；其次（這一點對AI更重要），他們的工作隱含了任何形式的數學推理都能在這些限制之下機械化的可能性。
在摩爾學校的電氣工程的ENIAC計算機.
邱奇-圖靈論題暗示，一台僅能處理0和1這樣簡單二元符號的機械設備能夠模擬任意數學推理過程。這裡最關鍵的靈感是圖靈機：這一看似簡單的理論構造抓住了抽象符號處理的本質。這一創造激發科學家們探討讓機器思考的可能。
現代計算機的出現
用於計算的機器古已有之；歷史上許多數學家對其作出了改進。19世紀初，查爾斯巴貝奇設計了一台可程式計算機（「分析機」），但未能建造出來。愛達勒芙蕾絲預言，這台機器「將創作出無限複雜，無限寬廣的精妙的科學樂章」。（她常被認為是第一個程式設計師，因為她留下的一些筆記完整地描述了使用這一機器計算伯努利數的方法。）
第一批現代計算機是二戰期間建造的大型解碼機（包括Z3，ENIAC和Colossus等）。後兩個機器的理論基礎是圖靈和約翰馮諾伊曼提出和發展的學說。
現代計算機出現後的人工智慧發展
人工智慧的誕生：1943 - 1956
IBM 702:第一代AI研究者使用的電腦.
在20世紀40年代和50年代，來自不同領域（數學，心理學，工程學，經濟學和政治學）的一批科學家開始探討製造人工大腦的可能性。1956年，人工智慧被確立為一門學科。
控制論與早期神經網絡
最初的人工智慧研究是30年代末到50年代初的一系列科學進展交匯的產物。神經學研究發現大腦是由神經元組成的電子網絡，其激勵電平只存在「有」和「無」兩種狀態，不存在中間狀態。
克勞德香農提出的資訊理論則描述了數位訊號（即高低電平代表的二進位信號）。
圖靈的計算理論證明數位訊號足以描述任何形式的計算。
這些密切相關的想法暗示了構建電子大腦的可能性。
這一階段的工作包括一些機器人的研發，例如W. Grey Walter的「烏龜（turtles）」，還有「約翰霍普金斯獸」（Johns Hopkins Beast）。這些機器並未使用計算機，數字電路和符號推理；控制它們的是純粹的模擬電路。
Walter Pitts和Warren McCulloch分析了理想化的人工神經元網絡，並且指出了它們進行簡單邏輯運算的機制。他們是最早描述所謂「神經網絡」的學者。[馬文明斯基是他們的學生，當時是一名24歲的研究生。1951年他與Dean Edmonds一道建造了第一台神經網絡機，稱為SNARC。在接下來的五十年中，明斯基是AI領域最重要的領導者和創新者之一。
遊戲AI
1951年，Christopher Strachey使用曼徹斯特大學的Ferranti Mark 1機器寫出了一個西洋跳棋（checkers）程序；Dietrich Prinz則寫出了一個西洋棋程序。亞瑟山謬爾（Arthur Samuel）在五十年代中期和六十年代初開發的西洋棋程序的棋力已經可以挑戰具有相當水平的業餘愛好者。遊戲AI一直被認為是評價AI進展的一種標準。
圖靈測試
1950年，圖靈發表了一篇劃時代的論文，文中預言了創造出具有真正智能的機器的可能性。由於注意到「智能」這一概念難以確切定義，他提出了著名的圖靈測試：如果一台機器能夠與人類展開對話（通過電傳設備）而不能被辨別出其機器身份，那麼稱這台機器具有智能。這一簡化使得圖靈能夠令人信服地說明「思考的機器」是可能的。論文中還回答了對這一假說的各種常見質疑。圖靈測試是人工智慧哲學方面第一個嚴肅的提案。
強人工智慧的定義被提出
50年代中期，隨著數字計算機的興起，一些科學家直覺地感到可以進行數字操作的機器也應當可以進行符號操作，而符號操作可能是人類思維的本質。這是創造智能機器的一條新路。
1955年，艾倫紐厄爾和後來榮獲諾貝爾獎的赫伯特西蒙在J. C. Shaw的協助下開發了「邏輯理論家（Logic Theorist）」。這個程序能夠證明《數學原理》中前52個定理中的38個，其中某些證明比原著更加新穎和精巧。
Simon認為他們已經「解決了神秘的心/身問題，解釋了物質構成的系統如何獲得心靈的性質。」（這一斷言的哲學立場後來被John Searle稱為「強人工智慧」，即機器可以像人一樣具有思想。）
人工智慧的高潮迭起 (from人工智慧大歷史)
1956年達特茅斯會議：AI的誕生
1956年達特矛斯會議的組織者是馬文明斯基，約翰麥卡錫和另兩位資深科學家克勞德香農以及內森羅徹斯特（Nathan Rochester），後者來自IBM。會議提出的斷言之一是「學習或者智能的任何其他特性的每一個方面都應能被精確地加以描述，使得機器可以對其進行模擬。」
與會者包括雷索羅門諾夫（Ray Solomonoff），奧利佛塞爾弗里奇（Oliver Selfridge），Trenchard More，亞瑟山謬爾（Arthur Samuel），艾倫紐厄爾和赫伯特西蒙，他們中的每一位都將在AI研究的第一個十年中作出重要貢獻。會上紐厄爾和西蒙討論了「邏輯理論家」，而麥卡錫則說服與會者接受「人工智慧」一詞作為本領域的名稱。1956年達特矛斯會議上AI的名稱和任務得以確定，同時出現了最初的成就和最早的一批研究者，因此這一事件被廣泛承認為AI誕生的標誌。
黃金年代：1956 - 1974
達特茅斯會議之後的數年是大發現的時代。對許多人而言，這一階段開發出的程序堪稱神奇：計算機可以解決代數應用題，證明幾何定理，學習和使用英語。當時大多數人幾乎無法相信機器能夠如此「智能」。研究者們在私下的交流和公開發表的論文中表達出相當樂觀的情緒，認為具有完全智能的機器將在二十年內出現。DARPA（美國國防高等研究計劃署）等政府機構向這一新興領域投入了大筆資金。
研究工作
從50年代後期到60年代湧現了大批成功的AI程序和新的研究方向。下面列舉其中最具影響的幾個。
搜索式推理
許多AI程序使用相同的基本算法。為實現一個目標（例如贏得遊戲或證明定理），它們一步步地前進，就像在迷宮中尋找出路一般；如果遇到了死胡同則進行回溯。這就是「搜索式推理」。
這一思想遇到的主要困難是，在很多問題中，「迷宮」里可能的線路總數是一個天文數字（所謂「指數爆炸」）。研究者使用啟發式算法去掉那些不太可能導出正確答案的支路，從而縮小搜索範圍。
艾倫紐厄爾和赫伯特西蒙試圖通過其「通用解題器（General Problem Solver）」程序，將這一算法推廣到一般情形。另一些基於搜索算法證明幾何與代數問題的程序也給人們留下了深刻印象，例如赫伯特吉寧特（Herbert Gelernter）的幾何定理證明機（1958）和馬文李閔斯基的學生James Slagle開發的SAINT（1961）。還有一些程序通過搜索目標和子目標作出決策，如史丹福大學為控制機器人Shakey而開發的STRIPS系統。
一個語義網的例子
自然語言
AI研究的一個重要目標是使計算機能夠通過自然語言（例如英語）進行交流。早期的一個成功範例是Daniel Bobrow的程序STUDENT，它能夠解決高中程度的代數應用題。
Joseph Weizenbaum的ELIZA是第一個聊天機器人，可能也是最有趣的會說英語的程序。與ELIZA「聊天」的用戶有時會誤以為自己是在和人類，而不是和一個程序，交談。但是實際上ELIZA根本不知道自己在說什麼。它只是按固定套路作答，或者用符合語法的方式將問題複述一遍。
第一次AI低谷：1974 - 1980
到了70年代，AI開始遭遇批評，隨之而來的還有資金上的困難。AI研究者們對其課題的難度未能作出正確判斷：此前的過於樂觀使人們期望過高，當承諾無法兌現時，對AI的資助就縮減或取消了。
問題
70年代初，AI遭遇了瓶頸。即使是最傑出的AI程序也只能解決它們嘗試解決的問題中最簡單的一部分，也就是說所有的AI程序都只是「玩具」。AI研究者們遭遇了無法克服的基礎性障礙。儘管某些局限後來被成功突破，但許多至今仍無法滿意地解決。
計算機的運算能力。當時的計算機有限的內存和處理速度不足以解決任何實際的AI問題。例如，羅斯奎利恩（Ross Quillian）在自然語言方面的研究結果只能用一個含二十個單詞的詞彙表進行演示，因為內存只能容納這麼多。1976年，漢斯莫拉維克指出，計算機離智能的要求還差上百萬倍。他做了個類比：人工智慧需要強大的計算能力，就像飛機需要大功率動力一樣，低於一個門限時是無法實現的；但是隨著能力的提升，問題逐漸會變得簡單。
計算複雜性和指數爆炸。1972年理察卡普根據史提芬古克於1971年提出的Cook-Levin理論證明，許多問題只可能在指數時間內獲解（即，計算時間與輸入規模的冪成正比）。除了那些最簡單的情況，這些問題的解決需要近乎無限長的時間。這就意味著AI中的許多玩具程序恐怕永遠也不會發展為實用的系統。
「簡約派（the neats）」：邏輯，Prolog語言和專家系統
早在1958年，John McCarthy就提出了名為「納諫者（Advice Taker）」的一個程序構想，將邏輯學引入了AI研究界。1963年，J. Alan Robinson發現了在計算機上實現推理的簡單方法：歸結（resolution）與合一（unification）算法。然而，根據60年代末McCarthy和他的學生們的工作，對這一想法的直接實現具有極高的計算複雜度：即使是證明很簡單的定理也需要天文數字的步驟。70年代Robert Kowalsky在Edinburgh大學的工作則更具成效：法國學者Alain Colmerauer和Phillipe Roussel在他的合作下開發出成功的邏輯程式語言Prolog。
Dreyfus等人針對邏輯方法的批評觀點認為，人類在解決問題時並沒有使用邏輯運算。心理學家Peter Wason，Eleanor Rosch，阿摩司特沃斯基，Daniel Kahneman等人的實驗證明了這一點。McCarthy則回應說，人類怎麼思考是無關緊要的：真正想要的是解題機器，而不是模仿人類進行思考的機器。
繁榮：1980 - 1987
在80年代，一類名為「專家系統」的AI程序開始為全世界的公司所採納，而「知識處理」成為了主流AI研究的焦點。日本政府在同一年代積極投資AI以促進其第五代計算機工程。80年代早期另一個令人振奮的事件是John Hopfield和David Rumelhart使聯結主義重獲新生。AI再一次獲得了成功。
專家系統獲得賞識
專家系統是一種程序，能夠依據一組從專門知識中推演出的邏輯規則在某一特定領域回答或解決問題。最早的示例由Edward Feigenbaum和他的學生們開發。1965年起設計的Dendral能夠根據分光計讀數分辨混合物。1972年設計的MYCIN能夠診斷血液傳染病。它們展示了這一方法的威力。
專家系統僅限於一個很小的知識領域，從而避免了常識問題；其簡單的設計又使它能夠較為容易地編程實現或修改。總之，實踐證明了這類程序的實用性。直到現在AI才開始變得實用起來。
1980年CMU為DEC（Digital Equipment Corporation，數字設備公司）設計了一個名為XCON的專家系統，這是一個巨大的成功。在1986年之前，它每年為公司省下四千萬美元。全世界的公司都開始研發和應用專家系統，到1985年它們已在AI上投入十億美元以上，大部分用於公司內設的AI部門。為之提供支持的產業應運而生，其中包括Symbolics，Lisp Machines等硬體公司和IntelliCorp，Aion等軟體公司。
知識革命
專家系統的能力來自於它們存儲的專業知識。這是70年代以來AI研究的一個新方向。 Pamela McCorduck在書中寫道，「不情願的AI研究者們開始懷疑，因為它違背了科學研究中對最簡化的追求。智能可能需要建立在對分門別類的大量知識的多種處理方法之上。」 「70年代的教訓是智能行為與知識處理關係非常密切。有時還需要在特定任務領域非常細緻的知識。」 知識庫系統和知識工程成為了80年代AI研究的主要方向。
第一個試圖解決常識問題的程序Cyc也在80年代出現，其方法是建立一個容納一個普通人知道的所有常識的巨型資料庫。發起和領導這一項目的Douglas Lenat認為別無捷徑，讓機器理解人類概念的唯一方法是一個一個地教會它們。這一工程幾十年也沒有完成。
重獲撥款：第五代工程
1981年，日本經濟產業省撥款八億五千萬美元支持第五代計算機項目。其目標是造出能夠與人對話，翻譯語言，解釋圖像，並且像人一樣推理的機器。令「蕪雜派」不滿的是，他們選用Prolog作為該項目的主要程式語言。
其他國家紛紛作出響應。英國開始了耗資三億五千萬英鎊的Alvey工程。美國一個企業協會組織了MCC（Microelectronics and Computer Technology Corporation，微電子與計算機技術集團），向AI和信息技術的大規模項目提供資助。DARPA也行動起來，組織了戰略計算促進會（Strategic Computing Initiative），其1988年向AI的投資是1984年的三倍。
一個四節點的Hopfield網絡.
聯結主義的重生
1982年，物理學家John Hopfield證明一種新型的神經網絡（現被稱為「Hopfield網絡」）能夠用一種全新的方式學習和處理信息。大約在同時（早於Paul Werbos），David Rumelhart推廣了反向傳播算法，一種神經網絡訓練方法。這些發現使1970年以來一直遭人遺棄的聯結主義重獲新生。
1986年由Rumelhart和心理學家James McClelland主編的兩卷本論文集「分布式並行處理」問世，這一新領域從此得到了統一和促進。90年代神經網絡獲得了商業上的成功，它們被應用於光字符識別和語音識別軟體。
第二次AI低谷：1987 - 1993
80年代中商業機構對AI的追捧與冷落，符合經濟泡沫的經典模式，泡沫的破裂也在政府機構和投資者對AI的觀察之中。儘管遇到各種批評，這一領域仍在不斷前進。來自機器人學這一相關研究領域的Rodney Brooks和Hans Moravec提出了一種全新的人工智慧方案。
人工智慧的低谷
「AI之冬」一詞由經歷過1974年經費削減的研究者們創造出來。他們注意到了對專家系統的狂熱追捧，預計不久後人們將轉向失望。事實被他們不幸言中：從80年代末到90年代初，AI遭遇了一系列財政問題。
變天的最早徵兆是1987年AI硬體市場需求的突然下跌。Apple和IBM生產的台式機性能不斷提升，到1987年時其性能已經超過了Symbolics和其他廠家生產的昂貴的Lisp機。老產品失去了存在的理由：一夜之間這個價值五億美元的產業土崩瓦解。
人工智慧爆發的轉折點
人工智慧第三波 (from人工智慧大歷史)
AI：1993 - 現在
現已年過半百的AI終於實現了它最初的一些目標。它已被成功地用在技術產業中，不過有時是在幕後。這些成就有的歸功於計算機性能的提升，有的則是在高尚的科學責任感驅使下對特定的課題不斷追求而獲得的。不過，至少在商業領域裡AI的聲譽已經不如往昔了。「實現人類水平的智能」這一最初的夢想曾在60年代令全世界的想像力為之著迷，其失敗的原因至今仍眾說紛紜。各種因素的合力將AI拆分為各自為戰的幾個子領域，有時候它們甚至會用新名詞來掩飾「人工智慧」這塊被玷污的金字招牌。AI比以往的任何時候都更加謹慎，卻也更加成功。
里程碑和摩爾定律
1997年5月11日，深藍成為戰勝西洋棋世界冠軍卡斯帕羅夫的第一個計算機系統。
2005年，Stanford開發的一台機器人在一條沙漠小徑上成功地自動行駛了131英里，贏得了DARPA挑戰大賽頭獎。
2009年，藍腦計畫聲稱已經成功地模擬了部分鼠腦。2011年，IBM 沃森參加《危險邊緣》節目，在最後一集打敗了人類選手。
2016年3月，AlphaGo擊敗李世乭，成為第一個不讓子而擊敗職業圍棋棋士的電腦圍棋程式。2017年5月，AlphaGo在中國烏鎮圍棋峰會的三局比賽中擊敗當時世界排名第一的中國棋手柯潔。
這些成就的取得並不是因為範式上的革命。它們仍然是工程技術的複雜應用，但是計算機性能已經今非昔比了。事實上，深藍計算機比克里斯多福斯特雷奇（Christopher Strachey）在1951年用來下棋的Ferranti Mark 1快一千萬倍。這種劇烈增長可以用摩爾定律描述：計算速度和內存容量每兩年翻一番。計算性能上的基礎性障礙已被逐漸克服。
智能代理
90年代，被稱為「智能代理」的新範式被廣泛接受。儘管早期研究者提出了模塊化的分治策略，但是直到Judea Pearl，Alan Newell等人將一些概念從決策理論和經濟學中引入AI之後現代智能代理範式才逐漸形成。當經濟學中的「理性代理（rational agent）」與計算機科學中的「對象」或「模塊」相結合，「智能代理」範式就完善了。
智能代理是一個系統，它感知周圍環境，然後採取措施使成功的機率最大化。最簡單的智能代理是解決特定問題的程序。已知的最複雜的智能代理是理性的，會思考的人類。智能代理範式將AI研究定義為「對智能代理的學習」。這是對早期一些定義的推廣：它超越了研究人類智能的範疇，涵蓋了對所有種類的智能的研究。
這一範式讓研究者們通過學習孤立的問題找到可證的並且有用的解答。它為AI各領域乃至經濟學，控制論等使用抽象代理概念的領域提供了描述問題和共享解答的一種通用語言。人們希望能找到一種完整的代理架構（像Newell的SOAR那樣），允許研究者們應用交互的智能代理建立起通用的智能系統。
「簡約派」的勝利
越來越多的AI研究者們開始開發和使用複雜的數學工具。人們廣泛地認識到，許多AI需要解決的問題已經成為數學，經濟學和運籌學領域的研究課題。數學語言的共享不僅使AI可以與其他學科展開更高層次的合作，而且使研究結果更易於評估和證明。AI已成為一門更嚴格的科學分支。Russell和Norvig（2003）將這些變化視為一場「革命」和「簡約派的勝利」。
Judea Pearl發表於1988年的名著將概率論和決策理論引入AI。現已投入應用的新工具包括貝葉斯網絡，隱馬爾可夫模型，資訊理論，隨機模型和經典優化理論。針對神經網絡和進化算法等「計算智能」範式的精確數學描述也被發展出來。
幕後的AI
AI研究者們開發的算法開始變為較大的系統的一部分。AI曾經解決了大量的難題，這些解決方案在產業界起到了重要作用。應用了AI技術的有數據挖掘，工業機器人，物流[148]，語音識別[149]，銀行業軟體，醫療診斷和Google搜尋引擎等。
AI領域並未從這些成就之中獲得多少益處。AI的許多偉大創新僅被看作計算機科學工具箱中的一件工具。Nick Bostrom解釋說，「很多AI的前沿成就已被應用在一般的程序中，不過通常沒有被稱為AI。這是因為，一旦變得足夠有用和普遍，它就不再被稱為AI了。」
90年代的許多AI研究者故意用其他一些名字稱呼他們的工作，例如信息學，知識系統，認知系統或計算智能。部分原因是他們認為他們的領域與AI存在根本的不同，不過新名字也有利於獲取經費。至少在商業領域，導致AI之冬的那些未能兌現的承諾仍然困擾著AI研究，正如New York Times在2005年的一篇報導所說：「計算機科學家和軟體工程師們避免使用人工智慧一詞，因為怕被認為是在說夢話。」
2001太空漫遊中的HAL 9000在哪裡?
1968年亞瑟克拉克和史丹利庫柏力克創作的《「2001太空漫遊」》中設想2001年將會出現達到或超過人類智能的機器。他們創造的這一名為HAL-9000的角色是以科學事實為依據的：當時許多頂極AI研究者相信到2001年這樣的機器會出現。
雷蒙德庫茨魏爾相信問題在於計算機性能，根據摩爾定律，他預測具有人類智能水平的機器將在2029年出現。
深度學習，大數據和人工智慧：2011至今
進入21世紀，得益於大數據和計算機技術的快速發展，許多先進的機器學習技術成功應用於經濟社會中的許多問題。麥肯錫全球研究院在一份題為《大數據：創新、競爭和生產力的下一個前沿領域》的報告中估計，到2009年，美國經濟所有行業中具有1000名以上員工的公司都至少平均擁有一個200兆兆字節的存儲數據。
到2016年，AI相關產品、硬體、軟體等的市場規模已經超過80億美元，紐約時報評價道AI已經到達了一個熱潮。大數據應用也開始逐漸滲透到其他領域，例如生態學模型訓練、經濟領域中的各種應用、醫學研究中的疾病預測及新藥研發等。深度學習（特別是深度卷積神經網絡和循環網絡）更是極大地推動了圖像和視頻處理、文本分析、語音識別等問題的研究進程。
深度學習
深度學習是機器學習的一個分支，它通過一個有著很多層處理單元的深層網絡對數據中的高級抽象進行建模。根據全局逼近原理（Universal approximation theorem），對於神經網絡而言，如果要擬合任意連續函數，深度性並不是必須的，即使一個單層的網絡，只要擁有足夠多的非線性激活單元，也可以達到擬合目的。但是，目前深度神經網絡得到了更多的關注，這主要是源於其結構層次性，能夠快速建模更加複雜的情況，同時避免淺層網絡可能遭遇的諸多缺點。
然而，深度學習也有自身的缺點。以循環神經網絡為例，一個最常見的問題是梯度消失問題（沿著時間序列反向傳播過程中，梯度逐漸減小到0附近，造成學習停滯）。為了解決這些問題，很多針對性的模型被提出來，例如LSTM（長短期記憶網絡，早在1997年就已經提出，最近隨著RNN的大火，又重新進入大眾視野）、GRU（門控循環神經單元）等等。
現在，最先進的神經網絡結構在某些領域已經能夠達到甚至超過人類平均準確率，例如在計算機視覺領域，特別是一些具體的任務上，比如MNIST數據集（一個手寫數字識別數據集）、交通信號燈識別等。再如遊戲領域，Google的deepmind團隊研發的AlaphaGo，在問題搜索複雜度極高的圍棋上，已經打遍天下無敵手。
// STEAMCourses 課程介紹:
•生活 AI
•創意 AI
•Scratch
•Scratch 的智能語音
•Scratch 的智能翻譯
•做個 Scratch 多語系專家系統(智能導覽)
•視覺辨識
•人臉辨識
•車牌辨識
•文字辨識
// STEAMCourses 課程介紹 end
// STEAMKid 實體課程
【AI 創客】Scratch AI & Machine Learning
// STEAMKid 實體課程
// 相關文章系列
中小學AI 素養 – 生活中用的人工智慧語音及翻譯系統(I)
中小學AI 素養 – 生活中用的人工智慧語音及翻譯系統(II)
中小學AI 素養 – 生活中用的智慧視訊偵測
// 相關文章系列
參考文獻
Berlinski, David, The Advent of the Algorithm, Harcourt Books, 2000, ISBN 0-15-601391-6, OCLC 46890682.
Buchanan, Bruce G., A (Very) Brief History of Artificial Intelligence (PDF), AI Magazine, Winter 2005: 53−60 [2007-08-30], （原始內容 (PDF)存檔於2007-09-26）.
Brooks, Rodney, Elephants Don't Play Chess (PDF), Robotics and Autonomous Systems, 1990, 6: 3−15 [2007-08-30], doi:10.1016/S0921-8890(05)80025-9.
Butler, Samuel, Darwin Among the Machines, the Press, Christchurch, New Zealand, 13 June 1863 [10 October 2008].
CNN, AI set to exceed human brain power, CNN.com, 26 July 2006 [16 October 2007].
Copeland, Jack, Micro-World AI, 2000 [8 October 2008].
Cordeschi, Roberto, The Discovery of the Artificial, Dordrecht: Kluwer., 2002.
Crevier, Daniel, AI: The Tumultuous Search for Artificial Intelligence, New York, NY: BasicBooks, 1993, ISBN 0-465-02997-3
Darrach, Brad, Meet Shakey, the First Electronic Person, Life Magazine, 20 November 1970: 58−68.
Doyle, J., What is rational psychology? Toward a modern mental philosophy, AI Magazine, 1983,, vol. 4 no. 3: 50−53.
Dreyfus, Hubert, Alchemy and AI, RAND Corporation Memo, 1965.
Dreyfus, Hubert, What Computers Can't Do, New York: MIT Press, 1972, ISBN 0-06-090613-8, OCLC 5056816.
The Economist, Are You Talking to Me?, The Economist, 7 June 2007 [16 October 2008].
Feigenbaum, Edward A.; McCorduck, Pamela, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World, Michael Joseph, 1983, ISBN 0-7181-2401-4.
Hawkins, Jeff; Blakeslee, Sandra, On Intelligence, New York, NY: Owl Books, 2004, ISBN 0-8050-7853-3, OCLC 61273290.
Hebb, D.O., The Organization of Behavior, New York: Wiley, 1949, ISBN 0-8058-4300-0, OCLC 48871099.
Hewitt, Carl; Bishop, Peter; Steiger, Richard, A Universal Modular Actor Formalism for Artificial Intelligence (PDF), IJCAI, 1973, （原始內容 (PDF)存檔於2009-12-29）
Hobbes, Thomas, Leviathan, 1651.
Hofstadter, Douglas, Gödel, Escher, Bach: an Eternal Golden Braid, Basic Books, 1999 (1979), ISBN 0-465-02656-7, OCLC 225590743 .
Howe, J., Artificial Intelligence at Edinburgh University: a Perspective, November 1994 [30 August 2007].
Kolata, G., How can computers get common sense?, Science, 1982, 217 (4566): 1237–1238, Bibcode:1982Sci...217.1237K, PMID 17837639, doi:10.1126/science.217.4566.1237.
Kurzweil, Ray, The Singularity is Near, Viking Press, 2005, ISBN 0-14-303788-9, OCLC 71826177.
Lakoff, George, Women, Fire, and Dangerous Things: What Categories Reveal About the Mind, University of Chicago Press., 1987, ISBN 0-226-46804-6.
Lenat, Douglas; Guha, R. V., Building Large Knowledge-Based Systems, Addison-Wesley, 1989, ISBN 0-201-51752-3, OCLC 19981533.
Levitt, Gerald M., The Turk, Chess Automaton, Jefferson, N.C.: McFarland, 2000, ISBN 0-7864-0778-6.
Lighthill, Professor Sir James, Artificial Intelligence: A General Survey, Artificial Intelligence: a paper symposium, Science Research Council, 1973
Lucas, John, Minds, Machines and Gödel, Philosophy, 1961, 36 (XXXVI): 112–127 [15 October 2008], doi:10.1017/S0031819100057983
Maker, Meg Houston, AI@50: AI Past, Present, Future, Dartmouth College, 2006 [16 October 2008], （原始內容存檔於2008年10月8日）
Markoff, John, Behind Artificial Intelligence, a Squadron of Bright Real People, The New York Times, 14 October 2005[16 October 2008]
McCarthy, John; Minsky, Marvin; Rochester, Nathan; Shannon, Claude, A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence, August 35, 1955 [16 October 2008], （原始內容存檔於2007年8月26日）
McCarthy, John; Hayes, P. J., Some philosophical problems from the standpoint of artificial intelligence, (編) Meltzer, B. J.; Mitchie, Donald, Machine Intelligence 4, Edinburgh University Press: 463−502, 1969 [16 October 2008], （原始內容存檔於2008年9月30日）
McCorduck, Pamela, Machines Who Think 2nd, Natick, MA: A. K. Peters, Ltd., 2004, ISBN 1-56881-205-1, OCLC 52197627.
McCullough, W. S.; Pitts, W., A logical calculus of the ideas immanent in nervous activity, Bulletin of Mathematical Biophysics, 1943, 5 (4): 115−127, doi:10.1007/BF02478259
Menabrea, Luigi Federico; Lovelace, Ada, Sketch of the Analytical Engine Invented by Charles Babbage, Scientific Memoirs, 1843, 3 [2008-08-29] With notes upon the Memoir by the Translator
Minsky, Marvin, Computation: Finite and Infinite Machines, Englewood Cliffs, N.J.: Prentice-Hall, 1967
Minsky, Marvin; Papert, Seymour, Perceptrons: An Introduction to Computational Geometry, The MIT Press, 1969, ISBN 0-262-63111-3, OCLC 16924756
Minsky, Marvin, A Framework for Representing Knowledge, 1974 [16 October 2008]
Minsky, Marvin, The Society of Mind, Simon and Schuster, 1986, ISBN 0-671-65713-5, OCLC 223353010
Minsky, Marvin, It's 2001. Where Is HAL?, Dr. Dobb's Technetcast, 2001 [8 August 2009]
Moravec, Hans, The Role of Raw Power in Intelligence, 1976 [16 October 2008], （原始內容存檔於2016-03-03）
Moravec, Hans, Mind Children, Harvard University Press, 1988, ISBN 0-674-57618-7, OCLC 245755104
NRC, Developments in Artificial Intelligence, Funding a Revolution: Government Support for Computing Research, National Academy Press, 1999, ISBN 0-309-06278-0, OCLC 246584055
Newell, Allen; Simon, H. A., GPS: A Program that Simulates Human Thought, (編) Feigenbaum, E.A.; Feldman, J., Computers and Thought, New York: McGraw-Hill, 1963, ISBN 0-262-56092-5, OCLC 246968117
Nick, Martin, Al Jazari: The Ingenious 13th Century Muslin Mechanic, Al Shindagah, 2005 [16 October 2008].
O'Connor, Kathleen Malone, The alchemical creation of life (takwin) and other concepts of Genesis in medieval Islam, University of Pennsylvania, 1994 [2007-01-10]
Olsen, Stefanie, Newsmaker: Google's man behind the curtain, CNET, May 10, 2004 [17 October 2008].
Olsen, Stefanie, Spying an intelligent search engine, CNET, August 18, 2006 [17 October 2008].
Pearl, J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, San Mateo, California: Morgan Kaufmann, 1988, ISBN 1-55860-479-0, OCLC 249625842.
Russell, Stuart J.; Norvig, Peter, Artificial Intelligence: A Modern Approach 2nd, Upper Saddle River, New Jersey: Prentice Hall, 2003, ISBN 0-13-790395-2.
Poole, David; Mackworth, Alan; Goebel, Randy, Computational Intelligence: A Logical Approach, Oxford University Press., 1998, ISBN 0-19-510270-3.
Samuel, Arthur L., Some studies in machine learning using the game of checkers, IBM Journal of Research and Development, July 1959, 3 (3): 210−219 [2007-08-20], doi:10.1147/rd.33.0210.
Searle, John, Minds, Brains and Programs, Behavioral and Brain Sciences, 1980, 3 (3): 417–457 [May 13, 2009], doi:10.1017/S0140525X00005756, （原始內容存檔於2007年12月10日）.
Simon, H. A.; Newell, Allen, Heuristic Problem Solving: The Next Advance in Operations Research, Operations Research, 1958, 6: 1, doi:10.1287/opre.6.1.1.
Simon, H. A., The Shape of Automation for Men and Management, New York: Harper & Row, 1965.
Skillings, Jonathan, Newsmaker: Getting machines to think like us, CNET, 2006 [October 8, 2008].
Tascarella, Patty, Robotics firms find fundraising struggle, with venture capital shy, Pittsburgh Business Times, 11 Autgust 2006 [October 8, 2008] .
Turing, Alan, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, 2, 1936–37, (42): 230–265 [October 8, 2008], doi:10.1112/plms/s2-42.1.230.
Turing, Alan, Computing Machinery and Intelligence, Mind, October 1950, LIX (236): 433–460 [2008-08-18], ISSN 0026-4423, doi:10.1093/mind/LIX.236.433, （原始內容存檔於2008-07-02）.
Weizenbaum, Joseph, Computer Power and Human Reason, W.H. Freeman & Company, 1976, ISBN 0-14-022535-8, OCLC 10952283..