人工智慧史

人工智慧的歷史源遠流長。在古代的神話傳說中，技藝高超的工匠可以製作人造人，併為其賦予智慧或意識。現代意義上的AI始於古典哲學家試圖將人類的思維過程描述為對符號的機械操作。20世紀40年代，基於抽象數學推理的可程式設計數字電腦的發明使一批科學家開始嚴肅地探討構造一個電子大腦的可能性。1956年，人工智慧的研究領域確立於在達特茅斯學院舉行的會議。此次會議的參加者在接下來的數十年間成為AI研究領域的領軍人物。他們中有許多人曾預言，與人類具有同等智慧水平的機器將在不超過一代人的時間中出現。同時，上千萬美元被投入到AI研究中，以期實現這一目標。然而，研究人員發現自己大大低估了這一工程的難度，人工智慧史上共出現過幾次低潮。由於詹姆斯·萊特希爾爵士的批評和國會方面的壓力，美國和英國政府於1973年停止向沒有明確目標的人工智慧研究專案撥款。七年之後受到日本政府研究規劃的刺激，美國政府和企業再次在AI領域投入數十億研究經費，但這些投資者在80年代末重新撤回了投資。AI研究領域諸如此類的高潮和低谷不斷交替出現；至今仍有人對AI的前景作出異常樂觀的預測。儘管在政府官僚和風投資本家那裡經歷了大起大落，AI領域仍在取得進展。某些在20世紀70年代被認為不可能解決的問題今天已經獲得了圓滿解決並已成功應用在商業產品上。與第一代AI研究人員的樂觀估計不同，具有與人類同等智慧水平的機器至今仍未出現。圖靈在1950年發表的一篇催生現代智慧機器研究的著名論文中稱，“我們只能看到眼前的一小段距離……但是，我們可以看到仍有許多工作要做”。在21世紀的第一個十年，機器學習得益於新方法的出現、效能強大的計算機硬體的應用龐大資料集的收集，被廣泛應用解決學術和工業上的問題，這重新引發了人們對AI的投資和興趣。先驅.奧特曼寫道：“某種形式上的人工智慧是一個遍佈於西方知識分子歷史的觀點，是一個急需被實現的夢想，”先民對人工智慧的追求表現在諸多神話，傳說，故事，預言以及製作機器人偶的實踐之中。神話，幻想和預言中的AI.希臘神話中已經出現了機械人和人造人，如赫淮斯托斯的黃金機器人和皮格馬利翁的伽拉忒亞。中世紀出現了使用巫術或鍊金術將意識賦予無生命物質的傳說，如賈比爾的"Takwin"，帕拉塞爾蘇斯的何蒙庫魯茲和Judah Loew的魔像。19世紀的幻想小說中出現了人造人和會思考的機器之類題材，例如瑪麗·雪萊的《弗蘭肯斯坦》和卡雷爾·恰佩克的《羅素姆的萬能機器人》。Samuel Butler的《機器中的達爾文探討了機器透過自然選擇進化出智慧的可能性。至今人工智慧仍然是科幻小說的重要元素。自動人偶.許多文明中都有創造自動人偶的傑出工匠，例如偃師寫道“當發現神的本性時，人就能夠重現他”形式推理.人工智慧的基本假設是人類的思考過程可以機械化。對於機械化推理以及一些歐洲經院哲學家，如奧卡姆的威廉和鄧斯·司各脫。馬略卡哲學家拉蒙·柳利開發了一些“邏輯機”，試圖透過邏輯方法獲取知識。 柳利的機器能夠將基本的，無可否認的真理透過機械手段用簡單的邏輯操作進行組合，以求生成所有可能的知識。Llull的工作對萊布尼茲產生了很大影響，後者進一步發展了他的思想。在17世紀中，萊布尼茲，托馬斯·霍布斯和笛卡兒嘗試將理性的思考系統化為代數學或幾何學那樣的體系。霍布斯在其著作《利維坦》中有一句名言：“推理就是計算：‘我們開始算吧。’” 這些哲學家已經開始明確提出形式符號系統的假設，而這一假設將成為AI研究的指導思想。在20世紀，數理邏輯研究上的突破使得人工智慧好像呼之欲出。這方面的基礎著作包括布林的《思維的定律》與弗雷格的《概念文字》。基於弗雷格的系統，羅素和懷特海在他們於1913年出版的鉅著《數學原理》中對數學的基礎給出了形式化描述。這一成就激勵了希爾伯特，後者向20世紀20年代和30年代的數學家提出了一個基礎性的難題：“能否將所有的數學推理形式化?” 這個問題的最終回答由哥德爾不完備定理，圖靈機和Alonzo Church的λ演算給出。他們的答案令人震驚：首先，他們證明了數理邏輯的侷限性；其次，他們的工作隱含了任何形式的數學推理都能在這些限制之下機械化的可能性。邱奇-圖靈論題暗示，一臺僅能處理0和1這樣簡單二元符號的機械裝置能夠模擬任意數學推理過程。這裡最關鍵的靈感是圖靈機：這一看似簡單的理論構造抓住了抽象符號處理的本質。這一創造激發科學家們探討讓機器思考的可能。計算機科學.用於計算的機器古已有之；歷史上許多數學家對其作出了改進。19世紀初，查爾斯·巴貝奇設計了一臺可程式設計計算機第一批現代計算機是二戰期間建造的大型譯碼機。後兩個機器的理論基礎是圖靈和約翰·馮·諾伊曼提出和發展的學說。人工智慧的誕生：1943 - 1956.在20世紀40年代和50年代，來自不同領域的一批科學家開始探討製造人工大腦的可能性。1956年，人工智慧被確立為一門學科。控制論與早期神經網路.最初的人工智慧研究是30年代末到50年代初的一系列科學進展交匯的產物。神經學研究發現大腦是由神經元組成的電子網路，其激勵電平只存在“有”和“無”兩種狀態，不存在中間狀態。維納的控制論描述了電子網路的控制和穩定性。克勞德·夏農提出的資訊理論則描述了數字訊號。圖靈的計算理論證明數字訊號足以描述任何形式的計算。這些密切相關的想法暗示了構建電子大腦的可能性。這一階段的工作包括一些機器人的研發，例如W. Grey Walter的“烏龜。這些機器並未使用計算機，數位電路和符號推理；控制它們的是純粹的類比電路。Walter Pitts和Warren McCulloch分析了理想化的人工神經元網路，並且指出了它們進行簡單邏輯運算的機制。他們是最早描述所謂“神經網路”的學者。馬文·明斯基是他們的學生，當時是一名24歲的研究生。1951年他與Dean Edmonds一道建造了第一臺神經網路機，稱為SNARC。在接下來的五十年中，明斯基是AI領域最重要的領導者和創新者之一。遊戲AI.1951年，Christopher Strachey使用曼徹斯特大學的Ferranti Mark 1機器寫出了一個西洋跳棋在五十年代中期和六十年代初開發的西洋棋程式的棋力已經可以挑戰具有相當水平的業餘愛好者。遊戲AI一直被認為是評價AI進展的一種標準。圖靈測試.1950年，圖靈發表了一篇劃時代的論文，文中預言了創造出具有真正智慧的機器的可能性。由於注意到“智慧”這一概念難以確切定義，他提出了著名的圖靈測試：如果一臺機器能夠與人類展開對話而不能被辨別出其機器身份，那麼稱這臺機器具有智慧。這一簡化使得圖靈能夠令人信服地說明“思考的機器”是可能的。論文中還回答了對這一假說的各種常見質疑。圖靈測試是人工智慧哲學方面第一個嚴肅的提案。符號推理與“邏輯理論家”程式.50年代中期，隨著數字計算機的興起，一些科學家直覺地感到可以進行數字操作的機器也應當可以進行符號操作，而符號操作可能是人類思維的本質。這是創造智慧機器的一條新路。1955年，艾倫·紐厄爾和後來榮獲諾貝爾獎的赫伯特·西蒙在J. C. Shaw的協助下開發了“邏輯理論家1956年達特茅斯會議：AI的誕生.1956年達特矛斯會議的組織者是馬文·明斯基，約翰·麥卡錫和另兩位資深科學家克勞德·夏農以及內森·羅徹斯特，艾倫·紐厄爾和赫伯特·西蒙，他們中的每一位都將在AI研究的第一個十年中作出重要貢獻。會上紐厄爾和西蒙討論了“邏輯理論家”，而麥卡錫則說服與會者接受“人工智慧”一詞作為本領域的名稱。1956年達特矛斯會議上AI的名稱和任務得以確定，同時出現了最初的成就和最早的一批研究者，因此這一事件被廣泛承認為AI誕生的標誌。黃金年代：1956 - 1974.奧特曼會議之後的數年是大發現的時代。對許多人而言，這一階段開發出的程式堪稱神奇：計算機可以解決代數應用題，證明幾何定理，學習和使用英語。當時大多數人幾乎無法相信機器能夠如此“智慧”。 研究者們在私下的交流和公開發表的論文中表達出相當樂觀的情緒，認為具有完全智慧的機器將在二十年內出現。 DARPA等政府機構向這一新興領域投入了大筆資金。研究工作.從50年代後期到60年代湧現了大批成功的AI程式和新的研究方向。下面列舉其中最具影響的幾個。搜尋式推理.許多AI程式使用相同的基本演算法。為實現一個目標，它們一步步地前進，就像在迷宮中尋找出路一般；如果遇到了死衚衕則進行回溯。這就是“搜尋式推理”。這一思想遇到的主要困難是，在很多問題中，“迷宮”裡可能的線路總數是一個天文數字。研究者使用啟發式演算法去掉那些不太可能匯出正確答案的支路，從而縮小搜尋範圍。艾倫·紐厄爾和赫伯特·西蒙試圖透過其“通用解題器。還有一些程式透過搜尋目標和子目標作出決策，如斯坦福大學為控制機器人Shakey而開發的STRIPS系統。自然語言.AI研究的一個重要目標是使計算機能夠透過自然語言進行交流。早期的一個成功範例是Daniel Bobrow的程式STUDENT，它能夠解決高中程度的代數應用題。如果用節點表示語義概念”。Joseph Weizenbaum的ELIZA是第一個聊天機器人，可能也是最有趣的會說英語的程式。與ELIZA“聊天”的使用者有時會誤以為自己是在和人類，而不是和一個程式，交談。但是實際上ELIZA根本不知道自己在說什麼。它只是按固定套路作答，或者用符合語法的方式將問題複述一遍。微世界.60年代後期，麻省理工大學AI實驗室的馬文·閔斯基和西摩爾·派普特建議AI研究者們專注於被稱為“微世界”的簡單場景。他們指出在成熟的學科中往往使用簡化模型幫助基本原則的理解，例如物理學中的光滑平面和完美剛體。許多這類研究的場景是“積木世界”，其中包括一個平面，上面擺放著一些不同形狀，尺寸和顏色的積木。在這一指導思想下，傑拉德·傑伊·薩斯曼，特別是Patrick Winston等人在機器視覺領域作出了創造性貢獻。同時，Minsky和Papert製作了一個會搭積木的機器臂，從而將“積木世界”變為現實。微世界程式的最高成就是Terry Winograd的SHRDLU，它能用普通的英語句子與人交流，還能作出決策並執行操作。樂觀思潮.第一代AI研究者們曾作出瞭如下預言:經費.1963年6月，MIT從新建立的ARPA中心。經費幾乎是無條件地提供的：時任ARPA主任的J. C. R. Licklider相信他的組織應該“資助人，而不是專案”，並且允許研究者去做任何感興趣的方向。這導致了MIT無約無束的研究氛圍及其hacker文化的形成，但是好景不長。第一次AI低谷：1974 - 1980.到了70年代，AI開始遭遇批評，隨之而來的還有資金上的困難。AI研究者們對其課題的難度未能作出正確判斷：此前的過於樂觀使人們期望過高，當承諾無法兌現時，對AI的資助就縮減或取消了。同時，由於馬文·閔斯基對感知器的激烈批評，聯結主義銷聲匿跡了十年。70年代後期，儘管遭遇了公眾的誤解，AI在邏輯程式設計，常識推理等一些領域還是有所進展。問題.70年代初，AI遭遇了瓶頸。即使是最傑出的AI程式也只能解決它們嘗試解決的問題中最簡單的一部分，也就是說所有的AI程式都只是“玩具”。AI研究者們遭遇了無法克服的基礎性障礙。儘管某些侷限後來被成功突破，但許多至今仍無法滿意地解決。停止撥款.由於AI的進展緩慢，對AI提供資助的機構。DARPA則對CMU的語音理解研究專案深感失望，從而取消了每年三百萬美元的資助。到了1974年已經很難再找到對AI專案的資助。Hans Moravec將批評歸咎於他的同行們不切實際的預言：“許多研究者落進了一張日益浮誇的網中”。還有一點，自從1969年Mansfield修正案通過後，DARPA被迫只資助“具有明確任務方向的研究，而不是無方向的基礎研究”。60年代那種對自由探索的資助一去不復返；此後資金只提供給目標明確的特定專案，比如自動坦克，或者戰役管理系統。來自大學的批評.一些哲學家強烈反對AI研究者的主張。其中最早的一個是John Lucas，他認為哥德爾不完備定理已經證明形式系統”問題。希爾勒認為，如果符號對於機器而言沒有意義，那麼就不能認為機器是在“思考”。AI研究者們並不太把這些批評當回事，因為它們似乎有些離題，而計算複雜性和“讓程式具有常識”等問題則顯得更加緊迫和嚴重。對於實際的計算機程式而言，“常識”和“意向性”的區別並不明顯。馬文·閔斯基提到德雷福斯和希爾勒時說，“他們誤解了，所以應該忽略”。在MIT任教的德雷福斯遭到了AI陣營的冷遇：他後來說，AI研究者們“生怕被人看到在和我一起吃午飯”。 ELIZA程式的作者約瑟夫·維森鮑姆感到他的同事們對待德雷福斯的態度不太專業，而且有些孩子氣。雖然他直言不諱地反對德雷福斯的論點，但他“清楚地表明瞭他們待人的方式不對”。約瑟夫·維森鮑姆後來開始思考AI相關的倫理問題，起因是Kenneth Colby開發了一個模仿醫師的聊天機器人DOCTOR，並用它當作真正的醫療工具。二人發生爭執；雖然Colby認為約瑟夫·維森鮑姆對他的程式沒有貢獻，但這於事無補。1976年約瑟夫·維森鮑姆出版著作《計算機的力量與人類的推理》，書中表示人工智慧的濫用可能損害人類生命的價值。感知器與聯結主義遭到冷落.感知器是神經網路的一種形式，由Frank Rosenblatt於1958年提出。與多數AI研究者一樣，他對這一發明的潛力非常樂觀，預言說“感知器最終將能夠學習，作出決策和翻譯語言”。整個六十年代裡這一方向的研究工作都很活躍。1969年Minsky和Papert出版了著作《感知器》，書中暗示感知器具有嚴重侷限，而Frank Rosenblatt的預言過於誇張。這本書的影響是破壞性的：聯結主義的研究因此停滯了十年。後來新一代研究者使這一領域獲得重生，並使其成為人工智慧中的重要部分；遺憾的是Rosenblatt沒能看到這些，他在《感知器》問世後不久即因遊船事故去世。“簡約派”：邏輯，Prolog語言和專家系統.早在1958年，John McCarthy就提出了名為“納諫者演算法。然而，根據60年代末McCarthy和他的學生們的工作，對這一想法的直接實現具有極高的計算複雜度：即使是證明很簡單的定理也需要天文數字的步驟。70年代Robert Kowalsky在Edinburgh大學的工作則更具成效：法國學者Alain Colmerauer和Phillipe Roussel在他的合作下開發出成功的邏輯程式語言Prolog。Prolog使用一組邏輯(與「規則」和「」密切相關的「霍恩子句」)，並允許進行可處理的計算。規則持續帶來影響，為愛德華·費根鮑姆的專家系統以及艾倫·紐厄爾和赫伯特·西蒙的工作奠定基礎，使其完成了Soar及認知統一理論。Dreyfus等人針對邏輯方法的批評觀點認為，人類在解決問題時並沒有使用邏輯運算。心理學家Peter Wason，Eleanor Rosch，阿摩司·特沃斯基，Daniel Kahneman等人的實驗證明了這一點。McCarthy則回應說，人類怎麼思考是無關緊要的：真正想要的是解題機器，而不是模仿人類進行思考的機器。“蕪雜派”：框架和指令碼.對McCarthy的做法持批評意見的還有他在MIT的同行們。馬文·閔斯基，Seymour Papert和Roger Schank等試圖讓機器像人一樣思考，使之能夠解決“理解故事”和“目標識別”一類問題。為了使用“椅子”，“飯店”之類最基本的概念，他們需要讓機器像人一樣作出一些非邏輯的假設。不幸的是，這些不精確的概念難以用邏輯進行表達。Gerald Sussman注意到，“使用精確的語言描述本質上不精確的概念，並不能使它們變得精確起來”。Schank用“蕪雜”方案相對。在1975年的一篇開創性論文中，Minsky注意到與他共事的“蕪雜派”研究者在使用同一型別的工具，即用一個框架囊括所有相關的常識性假設。例如，當我們使用“鳥”這一概念時，腦中會立即浮現出一系列相關事實，如會飛，吃蟲子，等等。我們知道這些假設並不一定正確，使用這些事實的推理也未必符合邏輯，但是這一系列假設組成的結構正是我們所想和所說的一部分。他把這個結構稱為“框架”概念。繁榮：1980 - 1987.在80年代，一類名為“專家系統”的AI程式開始為全世界的公司所採納，而“知識處理”成為了主流AI研究的焦點。日本政府在同一年代積極投資AI以促進其第五代計算機工程。80年代早期另一個令人振奮的事件是John Hopfield和David Rumelhart使聯結主義重獲新生。AI再一次獲得了成功。專家系統獲得賞識.專家系統是一種程式，能夠依據一組從專門知識中推演出的邏輯規則在某一特定領域回答或解決問題。最早的示例由Edward Feigenbaum和他的學生們開發。1965年起設計的Dendral能夠根據分光計讀數分辨混合物。1972年設計的MYCIN能夠診斷血液傳染病。它們展示了這一方法的威力。專家系統僅限於一個很小的知識領域，從而避免了常識問題；其簡單的設計又使它能夠較為容易地程式設計實現或修改。總之，實踐證明了這類程式的實用性。直到現在AI才開始變得實用起來。1980年CMU為DEC設計了一個名為XCON的專家系統，這是一個巨大的成功。在1986年之前，它每年為公司省下四千萬美元。全世界的公司都開始研發和應用專家系統，到1985年它們已在AI上投入十億美元以上，大部分用於公司內設的AI部門。為之提供支援的產業應運而生，其中包括Symbolics，Lisp Machines等硬體公司和IntelliCorp，Aion等軟體公司。知識革命.專家系統的能力來自於它們儲存的專業知識。這是80年代以來AI研究的一個新方向。 Pamela McCorduck在書中寫道，“不情願的AI研究者們開始懷疑，因為它違背了科學研究中對最簡化的追求。智慧可能需要建立在對分門別類的大量知識的多種處理方法之上。” “80年代的教訓是智慧行為與知識處理關係非常密切。有時還需要在特定任務領域非常細緻的知識。” 知識庫系統和知識工程成為了80年代AI研究的主要方向。第一個試圖解決常識問題的程式Cyc也在80年代出現，其方法是建立一個容納一個普通人知道的所有常識的巨型資料庫。發起和領導這一專案的Douglas Lenat認為別無捷徑，讓機器理解人類概念的唯一方法是一個一個地教會它們。這一工程幾十年也沒有完成。重獲撥款：第五代工程.1981年，日本經濟產業省撥款八億五千萬美元支援第五代計算機專案。其目標是造出能夠與人對話，翻譯語言，解釋影象，並且像人一樣推理的機器。令“蕪雜派”不滿的是，他們選用Prolog作為該專案的主要程式語言。其他國家紛紛作出響應。英國開始了耗資三億五千萬英鎊的Alvey工程。美國一個企業協會組織了MCC，其1988年向AI的投資是1984年的三倍。聯結主義的重生.1982年，物理學家John Hopfield證明一種新型的神經網路，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機。老產品失去了存在的理由：一夜之間這個價值五億美元的產業土崩瓦解。XCON等最初大獲成功的專家系統維護費用居高不下。它們難以升級，難以使用，脆弱的犧牲品。專家系統的實用性僅僅侷限於某些特定情景。到了80年代晚期，戰略計算促進會大幅削減對AI的資助。DARPA的新任領導認為AI並非“下一個浪潮”，撥款將傾向於那些看起來更容易出成果的專案。直到1991年，“第五代工程”並沒有實現，事實上其中一些目標，比如“與人展開交談”，直到2010年也沒有實現。 與其他AI專案一樣，期望比真正可能實現的要高得多。軀體的重要性：Nouvelle AI與嵌入式推理.80年代後期，一些研究者根據機器人學的成就提出了一種全新的人工智慧方案。 他們相信，為了獲得真正的智慧，機器必須具有軀體 - 它需要感知，移動，生存，與這個世界互動。他們認為這些感知運動技能對於常識推理等高層次技能是至關重要的，而抽象推理不過是人類最不重要，也最無趣的技能。他們號召「自底向上」地創造智慧，這一主張復興了從60年代就沉寂下來的控制論。另一位先驅是在理論神經科學上造詣深厚的David Marr，他於70年代來到MIT指導視覺研究組的工作。他排斥所有符號化方法，認為實現AI需要自底向上地理解視覺的物理機制，而符號處理應在此之後進行。在發表於1990年的論文「大象不玩象棋」論題。AI：1993 - 2011.現已年過半百的AI終於實現了它最初的一些目標。它已被成功地用在技術產業中，不過有時是在幕後。這些成就有的歸功於計算機效能的提升，有的則是在高尚的科學責任感驅使下對特定的課題不斷追求而獲得的。不過，至少在商業領域裡AI的聲譽已經不如往昔了。“實現人類水平的智慧”這一最初的夢想曾在60年代令全世界的想象力為之著迷，其失敗的原因至今仍眾說紛紜。各種因素的合力將AI拆分為各自為戰的幾個子領域，有時候它們甚至會用新名詞來掩飾“人工智慧”這塊被玷汙的金字招牌。AI比以往的任何時候都更加謹慎，卻也更加成功。里程碑和摩爾定律.1997年5月11日，深藍成為戰勝國際象棋世界冠軍卡斯帕羅夫的第一個計算機系統。2005年，Stanford開發的一臺機器人在一條沙漠小徑上成功地自動行駛了131英里，贏得了DARPA挑戰大賽頭獎。2009年，藍腦計畫聲稱已經成功地模擬了部分鼠腦。2011年，IBM 沃森參加《危險邊緣》節目，在最後一集打敗了人類選手。2016年3月，AlphaGo擊敗李世乭，成為第一個不讓子而擊敗職業圍棋棋士的電腦圍棋程式。2017年5月，AlphaGo在中國烏鎮圍棋峰會的三局比賽中擊敗當時世界排名第一的中國棋手柯潔。這些成就的取得並不是因為正規化上的革命。它們仍然是工程技術的複雜應用，但是計算機效能已經今非昔比了。事實上，深藍計算機比克里斯多福·斯特雷奇在1951年用來下棋的Ferranti Mark 1快一千萬倍。這種劇烈增長可以用摩爾定律描述：計算速度和記憶體容量每兩年翻一番。計算效能上的基礎性障礙已被逐漸克服。智慧代理.90年代，被稱為“智慧代理”的新正規化被廣泛接受。儘管早期研究者提出了模組化的分治策略， 但是直到Judea Pearl，Alan Newell等人將一些概念從決策理論和經濟學中引入AI之後現代智慧代理正規化才逐漸形成。當經濟學中的“理性代理”與計算機科學中的“物件”或“模組”相結合，“智慧代理”正規化就完善了。智慧代理是一個系統，它感知周圍環境，然後採取措施使成功的機率最大化。最簡單的智慧代理是解決特定問題的程式。已知的最複雜的智慧代理是理性的，會思考的人類。智慧代理正規化將AI研究定義為“對智慧代理的學習”。這是對早期一些定義的推廣：它超越了研究人類智慧的範疇，涵蓋了對所有種類的智慧的研究。這一正規化讓研究者們透過學習孤立的問題找到可證的並且有用的解答。它為AI各領域乃至經濟學，控制論等使用抽象代理概念的領域提供了描述問題和共享解答的一種通用語言。人們希望能找到一種完整的，允許研究者們應用互動的智慧代理建立起通用的智慧系統。“簡約派”的勝利.越來越多的AI研究者們開始開發和使用複雜的數學工具。人們廣泛地認識到，許多AI需要解決的問題已經成為數學，經濟學和運籌學領域的研究課題。數學語言的共享不僅使AI可以與其他學科展開更高層次的合作，而且使研究結果更易於評估和證明。AI已成為一門更嚴格的科學分支。 Russell和Norvig將這些變化視為一場“革命”和“簡約派的勝利”。Judea Pearl發表於1988年的名著將機率論和決策理論引入AI。現已投入應用的新工具包括貝葉斯網路，隱馬爾可夫模型，資訊理論，隨機模型和經典最佳化理論。針對神經網路和進化演算法等“計算智慧”正規化的精確數學描述也被髮展出來。幕後的AI.AI研究者們開發的演算法開始變為較大的系統的一部分。AI曾經解決了大量的難題，這些解決方案在產業界起到了重要作用。應用了AI技術的有資料探勘，工業機器人，物流，語音識別，銀行業軟體，醫療診斷和Google搜尋引擎等。AI領域並未從這些成就之中獲得多少益處。AI的許多偉大創新僅被看作計算機科學工具箱中的一件工具。尼克·博斯特羅姆解釋說，“很多AI的前沿成就已被應用在一般的程式中，不過通常沒有被稱為AI。這是因為，一旦變得足夠有用和普遍，它就不再被稱為AI了。”90年代的許多AI研究者故意用其他一些名字稱呼他們的工作，例如資訊學，知識系統，認知系統或計算智慧。部分原因是他們認為他們的領域與AI存在根本的不同，不過新名字也有利於獲取經費。至少在商業領域，導致AI之冬的那些未能兌現的承諾仍然困擾著AI研究，正如New York Times在2005年的一篇報道所說：“計算機科學家和軟體工程師們避免使用人工智慧一詞，因為怕被認為是在說夢話。”HAL 9000在哪裡?1968年亞瑟·克拉克和史丹利·庫柏力克創作的《“2001太空漫遊”》中設想2001年將會出現達到或超過人類智慧的機器。他們創造的這一名為HAL-9000的角色是以科學事實為依據的：當時許多頂極AI研究者相信到2001年這樣的機器會出現。“那麼問題是，為什麼在2001年我們並未擁有HAL呢?” 馬文·閔斯基問道。 Minsky認為，問題的答案是絕大多數研究者醉心於鑽研神經網路和遺傳演算法之類商業應用，而忽略了常識推理等核心問題。另一方面，約翰·麥卡錫則歸咎於資格問題。雷蒙德·庫茨魏爾相信問題在於計算機效能，根據摩爾定律，他預測具有人類智慧水平的機器將在2029年出現。傑夫·霍金認為神經網路研究忽略了人類大腦皮質的關鍵特性，而簡單的模型只能用於解決簡單的問題。還有許多別的解釋，每一個都對應著一個正在進行的研究計劃。深度學習，大資料和通用人工智慧：2011至今.進入21世紀，得益於大資料和計算機技術的快速發展，許多先進的機器學習技術成功應用於經濟社會中的許多問題。麥肯錫全球研究院在一份題為《大資料：創新、競爭和生產力的下一個前沿領域》的報告中估計，到2009年，美國經濟所有行業中具有1000名以上員工的公司都至少平均擁有一個200兆兆位元組的儲存資料。到2016年，AI相關產品、硬體、軟體等的市場規模已經超過80億美元，紐約時報評價道AI已經到達了一個熱潮。大資料應用也開始逐漸滲透到其他領域，例如生態學模型訓練、經濟領域中的各種應用、醫學研究中的疾病預測及新藥研發等。深度學習更是極大地推動了影象和影片處理、文字分析、語音識別等問題的研究程序。深度學習.深度學習是機器學習的一個分支，它透過一個有著很多層處理單元的深層網路對資料中的高階抽象進行建模。根據全域性逼近原理，對於神經網路而言，如果要擬合任意連續函式，深度性並不是必須的，即使一個單層的網路，只要擁有足夠多的非線性啟用單元，也可以達到擬合目的。但是，目前深度神經網路得到了更多的關注，這主要是源於其結構層次性，能夠快速建模更加複雜的情況，同時避免淺層網路可能遭遇的諸多缺點。然而，深度學習也有自身的缺點。以迴圈神經網路為例，一個最常見的問題是梯度消失問題等等。現在，最先進的神經網路結構在某些領域已經能夠達到甚至超過人類平均準確率，例如在計算機視覺領域，特別是一些具體的任務上，比如、交通訊號燈識別等。再如遊戲領域，Google的deepmind團隊研發的AlphaGo，在問題搜尋複雜度極高的圍棋上，已經打遍天下無敵手。大資料.大資料是指在一定時間內無法被傳統軟體工具捕獲、管理和處理的資料集合，需要新的處理模式才能具有更強的決策力、洞察發現力和流程最佳化能力來適應結構化資料的高增長率和多樣化的資訊資產。在Victor Meyer Schonberg和Kenneth Cooke撰寫的《大資料時代》中，大資料意味著所有資料都用於分析，而不是隨機分析：Volume(大量)，Velocity(高速)，Variety(多樣)，Value(低價值密度)，Veracity(真實)。大資料技術的戰略意義不在於掌握龐大的資料資訊，而在於專門研究這些有意義的資料。換言之，如果將大資料比喻為一個行業，那麼這個行業實現盈利的關鍵是增加資料的“處理能力”，透過“處理”實現資料的“增值”。強化學習與大型語言模型.強化學習是機器學習中的一個領域，強調如何基於環境而行動，以取得最大化的預期利益。強化學習是除了監督學習和非監督學習之外的第三種基本的機器學習方法。2022年，人工智慧聊天機器人程式ChatGPT基於GPT-3.5架構的大型語言模型並透過強化學習進行訓練，以文字方式互動，可透過人類自然對話方式進行互動，還可用於相對複雜的語言工作，包括自動文字生成、自動問答、自動摘要等在內的多種任務。