人物軼事
阿蘭·圖靈（Alan Turing）
阿蘭·圖靈（1912—1954）是一位英國數學家，他是計算機科學史上相當傑出的人物。學習過人工智慧、計算機科學和密碼學課程的學生應該熟悉他的貢獻。他對人工智慧的貢獻在於著名的為測試人工智慧開發的圖靈測試。他試圖解決人工智慧中有爭議的問題，如「計算機是否有智能？」，由此制訂了這個測試。在理論計算機科學中，有一門課程是研究圖靈機的計算模型。圖靈機是一個捕捉計算本質的數學模型。它的設計旨在回答這個問題：「函數可計算意味著什麼？」讀者應該理解，在第一台數字計算機出現的七八年前，Turing就在本質上討論了使用算法來解決特定問題的概念。
你可能已經看過描繪英國之戰的第二次世界大戰的電影。1940—1944年間，德國飛機在英國丟下了近20萬噸炸彈。在倫敦外的布萊奇利公園，Turing帶領一隊數學家破解德國密碼——人稱「恩尼格瑪密碼（Enigma Code）」。他們最終用恩尼格瑪密碼機破解了密碼。這個設備破譯了發送到德國船隻和飛機的所有軍事命令的密碼。圖靈小組的成功在盟軍的勝利中發揮了決定性的作用。
阿蘭·圖靈和人工智慧
人物軼事
約翰·麥卡錫（John McCarthy）
人物軼事
喬治·布爾（Georage Boole）
人物軼事
艾茲格·迪傑斯特拉（Edsger Dijkstra）
人物軼事
亞瑟・塞繆爾（Arthur Samuel）
戴納·諾（Dana Nau）是博弈論和自動規劃領域的研究者，他以發現「病理性」遊戲而聞名，在這種遊戲中，與直覺相反，向前看會導致比較糟糕的決策。
人物軼事
戴納·諾（Dana Nau）
理察·科夫（Richard Korf）研究的是人工智慧中的問題求解、啟發式搜索和規劃，他發現了疊代加深的深度優先搜索——一種類似於漸進深化的方法，這是下一節的主題。請參閱補充報道，深入了解Korf博士。
人物軼事
理察·科夫（Richard Korf）
AI的創始人之一
人物軼事
馬文·明斯基（Marvin Minsky）
自1956年達特茅斯會議以來，明斯基（1927年生）就一直是AI的創始人之一。
1950年，他從哈佛獲得數學學士學位；1954年，他在普林斯頓獲得數學博士學位。但是他的專業領域是認知科學，從1958年以來，他就一直在麻省理工學院努力工作，對認知科學做出了貢獻。
他痴迷於該領域，一直持續到2006年——達特茅斯會議五十周年。在達特茅斯會議中也首次孕育了本書。2003年，明斯基教授創立了MIT計算機科學與人工智慧實驗室（CSAIL）。明斯基於1969年獲得圖靈獎，1990年獲得日本獎，1991年獲得國際人工智慧聯合會議最佳研究獎，2001年獲得來自富蘭克林研究所的班傑明·富蘭克林獎章。他是人工智慧的偉大先驅和深刻的思想家之一。他從數學、心理學和計算機科學的角度開發了框架理論（見6.8節），並且對AI做出了許多其他的重要貢獻。最近幾年，他繼續在麻省理工學院媒體實驗室工作。
心智社會
1986年，馬文·明斯基做出了里程碑式的貢獻，他的《The Society of Mind》一書打開了智能體思想和研究的大門。本書的述評在emcp官網上可以找到，其中突出了以下幾點。
明斯基的理論認為心智是由大量半自主、複雜連接的智能體集合組成的，而這些智能體本身是沒有心智的。正如閔斯基所說：
「本書試圖解釋大腦的工作方式。智能如何從非智能中產生？為了回答這個問題，我們將展示從許多本身無心智的小部件構建出心智。」[43]
在明斯基的體系中，心智是由許多較小的過程生成的，他將這些小過程稱為「智能體」。每一個智能體只能執行簡單的任務——但是智能體加入群體形成社會時，「以某種非常特殊的方式」帶來智能。明斯基對大腦的看法是：它是一台非常複雜的機器。
如果我們能夠想像，使用計算機晶片代替大腦中的每個細胞，這些晶片設計用於執行與大腦智能體相同的功能，使用在大腦中完全相同的連接。明斯基還說：「沒有任何理由懷疑，由於替代機器體現了所有相同的過程和記憶，因此替代機器的所思所感與你是一樣的。確實可以說，它就是你，它具有你所有的強度。」
在明斯基做出里程碑式工作的時期，人們批評人工智慧系統不能展示常識知識。對此，他不得不說：
「我們預感、想像、計劃、預測和阻止的方式涉及幾千、也許是上百萬個小過程。然而所有這些過程都是自動進行的，因此我們認為它是『普通的常識』。」
自20世紀80年代後期以來，羅德尼·布魯克斯（Rodney Brooks）一直基於包容體系架構建造機器人。他認為智能行為是從有組織的、相對簡單的行為交互中出現的。包容體系架構是構建機器人控制系統的基礎，這個控制系統包括任務處理行為集。其通過有限狀態機的轉換，將基於感知的輸入映射為面向行動的輸出，實現機器人的行為。一個簡單的條件動作產生式規則集定義了有限狀態機。
Brooks的系統不包括全局知識，但是它們確實包括一些層次結構，以及架構不同層次之間的反饋。Brooks通過增加架構中的層次數目，增強系統的能力。Brooks認為，架構中較低層次的設計和測試的結果產生了頂層行為。我們執行了實驗，揭示了層次間一致行為的最好設計，確定了層間和層內的適當通信。包容體系架構設計的簡單性並未阻止Brooks在一些應用中取得成功。
人物軼事
羅德尼·布魯克斯（Rodney Brooks）——從反叛到改革
圖6.21 IROBOT公司的產品
人物軼事
漢斯·伯林（Hans J. Berliner）
20世紀70年代初，世界通信西洋棋冠軍漢斯·伯林（Hans Berliner，1966—1969）博士提出了地平線效應的概念。
Hans J. Berliner（1929年生）為西洋棋博弈和高級博弈編程做出了重大貢獻。他於1969年獲得了卡內基梅隆大學的博士學位，並曾任該校的計算機科學研究教授。從1965年至1968年，Berliner是世界通信西洋棋冠軍，他除了在Hitech開發了世界上第一個高級大師級西洋棋程序之外（1985年），還於1979年開發了西洋雙陸棋的強程序。
人物軼事
蒙蒂·紐博（Monty Newborn）
Monty Newborn（1937年生）是計算機西洋棋的先驅之一，開發了其中一個最早的多處理器程序OSTRICH，並從1970年開始組織了北美和世界計算機西洋棋錦標賽。1977年，他也是西洋棋協會（ICCA）的共同創始人之一。從1976年到1983年，他是麥吉爾大學計算機科學學院院長。在1996年Kasparov與深藍的比賽中，他是首席組織者。同時，他也是一些關於計算機國棋象棋和定理證明書籍的作者。在退休生活中，他喜歡製作漂亮的彩色玻璃燈，還是魁北克頂級高級網球選手之一。
人物軼事
大衛·利維（DavidLevy）和伽谷·萬德·荷里克（Jaap Van Den Herik）
人物軼事
肯尼思·湯普森（Kenneth Thompson）
Kenneth Thompson（1943年生）是計算機科學領域傑出的美國先驅之一。他的成就包括開發B程式語言。1969年，他與丹尼斯·里奇（Dennis Ritchie）使用這種語言一起編寫了UNIX作業系統，進而開發出了C語言。在計算機西洋棋中，他在貝爾實驗室使用研究多年的專用硬體開發了程序BELLE。BELLE在1980年的計算機西洋棋冠軍賽中奪冠，並且在1982年成為第一個大師級的計算機西洋棋程序。Thompson也因為開發了西洋棋的殘局資料庫而聞名，對西洋棋知識庫做出了巨大的貢獻。
Thompson和Ritchie在UNIX作業系統方面的開創性工作為他贏得了多項榮譽，包括IEEE Richard W. Hamming Medal（1990）、計算機歷史博物館高級成員（1997年）、由比爾 •柯林頓頒發的國家科技勳章（National Medal of Technology，1999年）以及日本獎（Japan Prize，2011）。1999年，Thompson獲得了第一個Tsutomi Kanai獎。
版權聲明
轉自網絡，版權屬於原作者，僅用於學術分享
點擊閱讀原文，獲取報名信息