人工智慧的創始人
Ⅰ 人工智慧的第一批先驅者是哪些人
控制論的創復始人維納等人制，資訊理論的奠基人申農，神經控制論的創始人麥克卡洛和匹茨，以及博養論的創始人，被稱為「計算機之父」的馮·諾依曼，還有阿什比等都是人工智慧的第一批先驅者，他們的理論和工作為人工智慧的創立奠定了基礎。
Ⅱ 人工智慧的最初發明人/創始人是誰
其實這個是很多人共同努力的結果。沒有一個具體的人。早期比較有名的人物有：
圖靈：計算機界的大哥大，少年天才，結果是個基佬，被人發現，然後給隔離治療了，最後吃蘋果中毒死了，蘋果的起源就是來自這個人，所以這個是最有名氣的。
巴貝奇：著名的敗家子，父親是銀行家，家裡很有錢，最早的計算機發明人，在沒有電的時代就創造出了純機械計算機，你不會想到這貨最後是窮死的。
馮諾依曼：這貨也很有名，只是怎麼看他都不如圖靈和巴貝奇奇葩，因為這貨是個數學家。其製造的計算機參與了原子彈的研製。因為其論文是他和另外兩個人合作的，但是另外兩個人沒有署名，所以他被帶上了一頂灰帽子，有欺世盜名的不光彩。不過不管怎麼說，他依舊是歷史上的大哥，過去幾十年的計算機體系都是沿用馮諾依曼的理論所創建的。不過以後可能會變了，在互聯網思路和量子計算機的情況下，計算機的結構要發生重大轉變了。
約翰·阿塔那索夫：也提一提他把。和巴貝奇不同的是這貨有錢，白手起家自己開公司，最後把公司交給兒子打理，自己去搞發明創造去了。所以他是個實幹家，名副其實的造出來了計算機。但是他自認為最牛逼的不是造計算機，而是發明了一套能幫助人們學英語的音標。結果我們到現在也沒看到他的音標。
人工智慧伴隨著計算機的誕生而不斷發展，事實上，平均每10年，人工智慧就爆發一次人工智慧要逆天的了豪言壯語，然後大家開始投資這個領域，拿到錢之後，然後就沒有然後了。人工智慧的話題就會消失一段時間。
從總體上看人工智慧的發展，演算法的豐富，每年都在不斷的刷新著。從事這個研究的人，從來就沒有放棄過，只是這是一場長跑，絕不是一夜之間就成功了的事情。路漫漫其修遠兮~
一代一代的人改變了這個世界，他們都是偉大的人。但是，我比他們都偉大，因為他們的故事我都知道，還是我最牛啊。現在我把他們的故事告訴了你，以後你也會和我一樣牛B了，背過他們，以後去網吧找工作的時候用得上。不用謝我，我是雷鋒。
Ⅲ 人工智慧，到底是誰的戰場
在關於人工智慧的討論紛紛擾擾的同時，大國爭前恐後，工業巨頭悶頭向前，人人都不願落後。
人工智慧，正在以潤物細無聲的方式，悄然改變著這個世界。
想像一下這樣的兩個場景：
1.
你工作了一天，飢腸轆轆地回到家中。
家裡的機器人助理關切地感慨：「你肯定餓壞了！」你充滿期待：「是啊，晚餐吃什麼？」助理卻向你道歉：「對不起，非洲國家的人們更需要我的幫助，你自己准備晚餐吧，我要走了……」
2.
家裡的孩子餓了，陪伴她的機器人助理准備給她弄點吃的。
可是冰箱里空空如也，怎麼辦呢？機器人助理決定把你的寵物貓作為食材給孩子做晚餐……
這不是真的現實，而是加州大學伯克利分校人工智慧統計中心創始人兼計算機科學專業教授斯圖亞特羅素（Stuart Russell）分享的未來可能會出現的兩個人工智慧使用場景。好像邏輯都沒錯，但結果怪怪的？
等等，在探討如何避免出現這樣的情形之前，讓我們先回到現在，畢竟人工智慧還處在發展的早期階段：波士頓動力的雙足人形機器人Altas只是因為能夠像人一樣後空翻，成為人工智慧領域的明星。但即便如此，人工智慧還是有其足夠的沖擊力。
AlphaGo戰勝人類，成為圍棋世界冠軍；Watson診斷皮膚癌的准確率高達97%，遠超人類專家；微軟小冰出了一本詩集……
「人工智慧來了。」人們都說，其間有欣喜、期盼，也夾雜著焦慮和恐懼。
什麼是人工智慧？
維基網路的人工智慧詞條採用的是斯圖亞特羅素（Stuart Russell）與彼得諾維格（Peter Norvig）在《人工智慧：一種現代的方法》一書中的定義，他們認為：人工智慧是有關「智能主體（Intelligent agent）的研究與設計」的學問，而「智能主體是指一個可以觀察周遭環境並做出行動以達致目標的系統」。但這並不是定論。就像一千個人眼中有一千個哈姆雷特一樣，人工智慧並沒有學界和業界公認的明晰定義。
就像它出現的原因一樣，目前各界看法也有著微妙的不同。 「在人工智慧出現以前，人們習慣於物質和能量的改變給人類帶來的變化，但隨著大自然環境、資源的枯竭，人類轉而發掘人口紅利，向智力要生產力和經濟增長點。」中國工程院院士、中國人工智慧學會理事長李德毅和北京大學教授、計算機科學技術系主任黃鐵軍等學界人士都表達了類似的觀點：人工智慧的出現是人類從物質能量轉向智能要生產力。而在工業界看來，這不過是現實商業需求主導下的技術進步罷了。
李開復則表示，所謂的「人工智慧來了」，實際上是說人工智慧可以解決實際問題了，演算法、數據、深度學習的突破，使得人工智慧在語音識別、機器視覺等方面突破了人們可以接受的心理閾限，並且在產業端落地，創造商業價值，而不只是下棋、打撲克。「這是第一次實現AI的產研結合。」李開復說。
但學界和工業界達成共識的是：這是一場有別於人類歷史上任何一次技術革命的變革。在被要求評價人工智慧技術在整個人類歷史中的角色時，牛津大學未來人類研究院院長尼克波斯特洛姆教授在加了三個定語「人工智慧現在處於非常早期的階段」、「現在的應用非常有限」、「離完全成熟之後會有很大的差別」之後表示，有別於歷史上的任何一次技術革命，人工智慧是非常大的飛躍。
共識之下，政府、企業都不願意在這場變革中落於旁人。2017年7月20日，中國政府籌謀已久的《新一代人工智慧發展規劃》正式公布。2017年11月15日，網路、阿里雲、騰訊、科大訊飛成為首批國家新一代人工智慧開放創新平台名單。
這是繼美國、英國專門出台關於人工智慧發展規劃之後的又一個國家層面的行動。但中國政府具備的制度優勢（看準某個方向後，從政策、制度、市場、資源進行全面投入且政策具有連續性），以及我國在發展人工智慧領域本身具備的優勢（擁有全球最大的網民群體、雲計算大數據等也有很好的基礎、數理方面的人才教育基礎很好等），讓中國能否實現超越歐美的討論以及美國輿論警惕中國變強的憂慮變得更具現實意義，甚至於民間還為到底用「彎道超車」還是「換道超車」來形容這次超越產生了激烈的爭論。
在企業界，最火的創業就是人工智慧。烏鎮智庫發布的《烏鎮指數：全球人工智慧發展報告2017——框架篇》顯示：「2000—2016年，全球新成立的人工智慧企業達到8107家，其中超過60%的企業誕生於過去5年間。全球人工智慧融資規模累積達到288億美元，其中超過70%的融資發生在過去5年內。全球人工智慧企業獲得的投資次數達到6827次，其中超過80%的次數是在過去5年內完成的。」
即便是傳統企業，人工智慧轉型也迫在眉睫。谷歌的「AI First」戰略已執行多年，IBM正在構築商業AI帝國，網路宣布「Allin AI」……麥肯錫報告《人工智慧：下一個數字前沿？》提到，人工智慧的顛覆性力量將逐漸顯現，早期應用人工智慧的公司已經嘗到了甜頭，而後來者與領軍者的差距將日益增大。媒體以「再不轉型人工智慧，這些行業將被越甩越遠」為題的報道，讓焦慮彌漫到了空氣中。
具體到每個人，是不是就能在人工智慧帶來的便利中實現歲月靜好？畢竟人工智慧可以把人類從重復性的繁重勞動中解放出來啊。但解放之後呢？李開復曾經預測，在未來10到15年，人工智慧可以取代人類50%的工作。牛津大學2016年訪談了世界上多位機器學習的專家，問哪一年有可能看到機器與人腦一樣聰明。
專家們回復的時間多種多樣，但中間的時間是2045年。雖然強人工智慧出現的時間沒有定論，但可以肯定的是，人類將進入終身學習時代，不停地加速進行知識和能力的更新迭代。為了避免成為黃鐵軍教授口中的「能力不如機器，無事卻要生非」的「無用階層」，每個個體將面臨前所未有的挑戰。
但歸根結底，這場變革是整個人類面臨的挑戰。在技術像歷史的車輪一樣轟隆隆向前的同時， 別忘了尤瓦爾·赫拉利在《人類簡史》中關於農業革命是史上最大騙局的評價：「人類一心追求更輕松的生活，於是釋放出一股巨大的力量，改變了世界的面貌，但結果並沒有任何人料想得到，甚至也不是任何人所樂見的。」
人工智慧也會如此嗎？如何應對可能到來的大規模失業、繼續加大的貧富差距、教育體系的全面顛覆、民眾對技術的恐慌，甚至是可能存在的顛覆性風險？與這些人類面臨的挑戰相比，本文開頭的兩個場景就是小巫見大巫了。
不過，工業界不少人士將這些認為是杞人憂天。在他們看來，人工智慧只是工具，而且仍在發展初期，遠遠沒到人們擔憂的程度。更何況人類已經在行動。聯合國衛生組織呼籲東西方合作，牛津大學未來人類研究院已經著手研究控制學，目的就是為了保證人工智慧按照人類的意願工作，並且在人工智慧成為塑造社會的重要因素之後，能夠更好地服務於人類。北師大還搞過專門的研討會，未雨綢繆地討論人工智慧出現後可能需要解決的倫理、法律問題，比如自動駕駛汽車出現車禍以後，到底該誰來承擔責任等。
「人類應該有足夠的智慧來應對這一切。」一位學者說，作為人類的產物，人工智慧在設計和發展之初，人類就應該充分考慮到其可能會給社會帶來的各種顛覆性影響，並進行防範。如此看來，在這個戰場上，人類智能才是真正的主角。
Ⅳ 人工智慧的奠基人有哪幾個
圖靈獎,是美國計算機協會（ACM）於1966年設立的,又叫「A.M. 圖靈獎」,專門獎勵那些對計算機事業作出重要貢獻的個人.其名稱取自計算機科學的先驅、英國科學家阿蘭·圖靈,這個獎設立目的之一是紀念這位科學家.獲獎者的貢獻必須是在計算機領域具有持久而重大的技術先進性的.大多數獲獎者是計算機科學家.
圖靈獎是計算機界最負盛名的獎項,有「計算機界諾貝爾獎」之稱.圖靈獎對獲獎者的要求極高,評獎程序也極嚴,一般每年只獎勵一名計算機科學家,只有極少數年度有兩名以上在同一方向上做出貢獻的科學家同時獲獎.目前圖靈獎由英特爾公司贊助,獎金為100,000美元.
每年,美國計算機協會將要求提名人推薦本年度的圖靈獎候選人,並附加一份200到500字的文章,說明被提名者為什麼應獲此獎.任何人都可成為提名人.美國計算機協會將組成評選委員會對被提名者進行嚴格的評審,並最終確定當年的獲獎者.
截止至2005年,獲此殊榮的華人僅有一位,他是2000年圖靈獎得主姚期智.
編輯本段歷年圖靈獎獲得者
2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis
獲獎原因：在將模型檢查發展為被硬體和軟體業中所廣泛點贊的高效驗證技術上的貢獻.而DDJ則將三人的貢獻稱為「在發現計算機硬體和軟體中設計錯誤的自動化方法方面的工作」.
2006 Fran Allen
獲獎原因：對於優化編譯器技術的理論和實踐做出的先驅性貢獻,這些技術為現代優化編譯器和自動並行執行打下了基礎.
2005 Peter Naur
獲獎原因：由於在設計Algol60程序設計語言上的貢獻.Algol60語言定義清晰,是許多現代程序設計語言的原型.
2004 Vinton G. Cerf、Robert E. Kahn
獲獎原因：由於在互聯網方面開創性的工作,這包括設計和實現了互聯網的基礎通訊協議,TCP/IP,以及在網路方面卓越的領導.
2003 Alan Kay
獲獎原因：由於在面向對象語言方面原創性思想,領導了Smalltalk的開發團隊,以及對PC的基礎性貢獻.
至理名言：預測未來的最好方法是創造它.
2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman
獲獎原因：由於在公共密鑰理論和實踐方面的基礎性工作.
2001 Ole-Johan Dahl、Kristen Nygaard
獲獎原因：由於面向對象編程始發於他們基礎性的構想,這些構想集中體現在他們所設計的編程語言SIMULA I 和SIMULA 67中.
2000 Andrew Chi-Chih Yao(姚期智)
獲獎原因：由於在計算理論方面的貢獻而獲獎,包括偽隨機數的生成演算法、加密演算法和通訊復雜性.
1999 Frederick P. Brooks, Jr.
獲獎原因：由於在計算機體系架構、操作系統以及軟體工程方面所做出的具有里程碑式意義的貢獻.人月神話的作者.
1998 James Gray
獲獎原因：由於在資料庫、事務處理研究和相關系統實現的技術領導工作.
1997 Douglas Engelbart
獲獎原因：由於提出了激動人心的互動式計算機未來構想,以及發明了實現這一構想的關鍵技術.
1996 Amir Pnueli
獲獎原因：由於在計算科學中引入temporal邏輯以及對編程和系統認證方面的傑出貢獻.
1995 Manuel Blum
獲獎原因：由於在計算復雜性理論、密碼學以及程序校驗方面的基礎性貢獻.
1994 Edward Feigenbaum、Raj Reddy
獲獎原因：由於他們所設計和建造的大規模人工智慧系統,證明了人工智慧技術的重要性和其潛在的商業價值.
1993 Juris Hartmanis、Richard E. Stearns
獲獎原因：由於他們的論文奠定了計算復雜性理論的基礎.
1992 Butler W. Lampson
獲獎原因：由於在個人分布式計算機系統及其實現技術上的貢獻,這包括：工作站、網路、操作系統、編程系統、顯示、安全和文檔發布.
1991 Robin Milner
獲獎原因：由於在可計算函數邏輯(LCF)、ML和並行理論(CCS)這三個方面突出和完美的貢獻.
1990 Fernando J. Corbato'
獲獎原因：由於組織和領導了多功能、大規模、時間和資源共享的計算機系統的開發.
1989 William (Velvel) Kahan
獲獎原因：由於在數值分析方面的基礎性貢獻.
1988 Ivan Sutherland
獲獎原因：由於在計算機圖形學方面開創性和遠見性的貢獻,其所建立的技術歷經二、三十年依然有效.
1987 John Cocke
獲獎原因：由於在編譯器設計和理論、大規模系統架構以及開發RISC等方面的重要貢獻.
1986 John Hopcroft、Robert Tarjan
獲獎原因：由於在演算法及數據結構設計和分析方面的基礎性成就.
1985 Richard M. Karp
獲獎原因：由於在演算法理論方面,特別是NP-completeness理論方面,連續不斷的貢獻.
1984 Niklaus Wirth
獲獎原因：由於開發了EULER、 ALGOL-W、 MODULA和PASCAL一系列嶄新的計算語言.
1983 Ken Thompson、Dennis M. Ritchie
獲獎原因：由於在通用操作系統理論研究,特別是UNIX操作系統的實現上的貢獻.
1982 Stephen A. Cook
獲獎原因：由於其於1971年發表的論文,奠定了NP-Completeness理論的基礎.
1981 Edgar F. Codd
獲獎原因：由於在數椐庫管理系統的理論和實踐方面基礎性和連續不斷的貢獻,關系資料庫之父.
1980 C. Antony R. Hoare
獲獎原因：由於在編程語言的定義和設計方面的基礎性貢獻.
1979 Kenneth E. Iverson
獲獎原因：由於在編程語言的理論和實踐方面,特別是APL,所進行的開創性的工作.
1978 Robert W. Floyd
獲獎原因：由於在如何開發高效、可靠的軟體方法論方面的貢獻,這包括：建立分析理論、編程語言的語義學、自動程序檢驗、自動程序綜合和演算法分析在內的多項
計算機子學科.
1977 John Backus
獲獎原因：由於在高級語言方面所做出的具有廣泛和深遠意義的貢獻,特別是其在Fortran語言方面.
1976 Michael O. Rabin、Dana S. Scott
獲獎原因：由於他們的論文"有限自動機與它們的決策問題",被證明具有巨大的價值.
1975 Allen Newell、Herbert A. Simon
獲獎原因：由於在人工智慧、人類識別心理和表處理的基礎貢獻.
1974 Donald E. Knuth
獲獎原因：由於在演算法分析和程序語言設計方面的重要貢獻,計算機程序設計藝術的作者.
1973 Charles W. Bachman
獲獎原因：由於在資料庫方面的傑出貢獻.
1972 E.W. Dijkstra
獲獎原因：由於對開發ALGOL做出了原理性貢獻.
1971 John McCarthy
獲獎原因：由於其講稿"The Present State of Research on Artificial
Intellegence",對人工智慧領域的貢獻.
1970 J.H. Wilkinson
獲獎原因：由於其在數值分析方面的研究工作.
1969 Marvin Minsky
獲獎原因：人工智慧理論及軟體
1968 Richard Hamming
獲獎原因：由於其在計數方法、自動編碼系統、檢測及糾正錯碼方面的工作.
1967 Maurice V. Wilkes
獲獎原因：由於設計和製造了第一台內部存儲程序的計算機EDSAC.
1966 A.J. Perlis
獲獎原因：由於其在先進編程技術和編譯架構方面的貢獻.
Ⅳ 竹間智能的創始人兼CEO簡仁賢說不懂得人類就稱不上是人工智慧，那人工智慧也要懂得人類擁有的感情嗎
如果以後條件允許應該是要擁有吧。
「問題不在於智能機器能否擁有任何情感，而在於機器實現智能時怎麼能沒有情感？」人工智慧之父馬文·明斯基在《情感機器》這本書中，將情感視作機器人的必備要素。「我是這種理念的崇拜者，不懂得人類就稱不上是人工智慧。」竹間智能科技有限公司（以下簡稱竹間智能）的創始人兼CEO簡仁賢說。
竹間智能成立之初就深耕技術，除了演算法、機器學習、深度學習之外，還結合語言學、心理學等很多跨學科的應用，因而機器人能做到「說人話」不尬聊。過去一年，竹間智能基本完成了從0到1的技術沉澱期，這也被簡仁賢稱為「走坑和填坑的過程」，接下來就是從1到N的規模化發展期。他很早就察覺到AI平台化的發展趨勢，及時抓住機遇推出了Bot Factory™平台。Bot Factory™是情感機器人定製AI-as-a-Service雲平台，也是竹間核心技術能力的輸出平台。
Ⅵ 計算機科學的奠基人是誰
總的來說，計算機科學理論的奠基人是圖靈。
圖靈是現代計算機設計思想的創始人,1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型,這一理論奠定了整個現代計算機的理論基礎。
1945年，以馮·諾依曼為核心的ENIAC機研製組發表了一個全新的"存儲程序通用電子計算機方案"--EDVAC（Electronic Discrete Variable AutomaticCompUter的縮寫）． EDVAC方案明確奠定了新機器由五個部分組成，包括：運算器、邏輯控制裝置、存儲器、輸入和輸出設備，並描述了這五部分的職能和相互關系．EDVAC機還有兩個非常重大的改進，即：（1）採用了二進制，不但數據採用二進制，指令也採用二進制；（2建立了存儲程序，指令和數據便可一起放在存儲器里，並作同樣處理．簡化了計算機的結構，大大提高了計算機的速度。1946年7，8月間，馮·諾依曼和戈爾德斯廷、勃克斯在EDVAC方案的基礎上，為普林斯頓大學高級研究所研製IAS計算機時，又提出了一個更加完善的設計報告《電子計算機邏輯設計初探》．以上兩份既有理論又有具體設計的文件，首次在全世界掀起了一股"計算機熱"，它們的綜合設計思想，便是著名的"馮·諾依曼機"，其中心就是有存儲程序原則--指令和數據一起存儲．這個概念被譽為『計算機發展史上的一個里程碑"．
Ⅶ 人工智慧的發明人是誰呀 ， 互聯網的創始人後者發明人是誰喲～
這個問題非常難以找到確切的答案。每個人對學科的認知不同。不同的領域有自己的觀點，也有自己的祖師爺。當然是自己的祖師爺才是正統的啟蒙者，發現者，發明人。
我猜問這個問題的如果不是搗蛋鬼的惡作劇，就是人工智慧機器人的囈語。
我們稱自己是智人，可以思考的生物。幾千年來，我們一直在探索我們是如何思考的。人工智慧不然要解決前面的問題，還試圖製造出智慧的實體。
幾千年來，很多開創性的工作已不可考，他們都可以列入人工智慧的范疇。
對，您的問題很難找到確切的答案。
Ⅷ 計算機「人工智慧之父」是誰
圖靈
阿蘭·麥席森·圖靈（Alan Mathison Turing，1912.6.23—1954.6.7），英國數學家、邏輯學家，被稱為人工智慧之父。 1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，二戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼系統Enigma，幫助盟軍取得了二戰的勝利。
阿蘭·麥席森·圖靈，1912年生於英國倫敦，1954年死於英國的曼徹斯特，他是計算機邏輯的奠基者，許多人工智慧的重要方法也源自於這位偉大的科學家。他對計算機的重要貢獻在於他提出的有限狀態自動機也就是圖靈機的概念，對於人工智慧，它提出了重要的衡量標准「圖靈測試」，如果有機器能夠通過圖靈測試，那他就是一個完全意義上的智能機，和人沒有區別了。他傑出的貢獻使他成為計算機界的第一人，現在人們為了紀念這位偉大的科學家將計算機界的最高獎定名為「圖靈獎」。上中學時，他在科學方面的才能就已經顯示出來，這種才能僅僅限於非文科的學科上，他的導師希望這位聰明的孩子也能夠在歷史和文學上有所成就，但是都沒有太大的建樹。少年圖靈感興趣的是數學等學科。在加拿大他開始了他的職業數學生涯，在大學期間這位學生似乎對前人現成的理論並不感興趣，什麼東西都要自己來一次。大學畢業後，他前往美國普林斯頓大學也正是在那裡，他製造出了以後稱之為圖靈機的東西。圖靈機被公認為現代計算機的原型，這台機器可以讀入一系列的零和一，這些數字代表了解決某一問題所需要的步驟，按這個步驟走下去，就可以解決某一特定的問題。這種觀念在當時是具有革命性意義的，因為即使在50年代的時候，大部分的計算機還只能解決某一特定問題，不是通用的，而圖靈機從理論上卻是通用機。在圖靈看來，這台機器只用保留一些最簡單的指令，一個復雜的工作只用把它分解為這幾個最簡單的操作就可以實現了，在當時他能夠具有這樣的思想確實是很了不起的。他相信有一個演算法可以解決大部分問題，而困難的部分則是如何確定最簡單的指令集，怎麼樣的指令集才是最少的，而且又能頂用，還有一個難點是如何將復雜問題分解為這些指令的問題。
1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為「論數字計算在決斷難題中的應用」。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算裝置，用來計算所有能想像得到的可計算函數。「圖靈機」與「馮·諾伊曼機」齊名，被永遠載入計算機的發展史中。1950年10月，圖靈又發表了另一篇題為「機器能思考嗎」的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了「人工智慧之父」的桂冠。
【英文簡述】
Alan Mathison Turing, OBE (23 June 1912 – 7 June 1954) was an English mathematician, logician, and cryptographer.
Turing is often considered to be the father of modern computer science. Turing provided an influential formalisation of the concept of the algorithm and computation with the Turing machine, formulating the now widely accepted "Turing" version of the Church–Turing thesis, namely that any practical computing model has either the equivalent or a subset of the capabilities of a Turing machine. With the Turing test, he made a significant and characteristically provocative contribution to the debate regarding artificial intelligence: whether it will ever be possible to say that a machine is conscious and can think. He later worked at the National Physical Laboratory, creating one of the first designs for a stored-program computer, although it was never actually built. In 1948 he moved to the University of Manchester to work, largely on software, on the Manchester Mark I, then emerging as one of the world's earliest true computers.
During the Second World War Turing worked at Bletchley Park, Britain's codebreaking centre, and was for a time head of Hut 8, the section responsible for German naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the bombe, an electromechanical machine that could find settings for the Enigma machine.
In 1952, Turing was convicted of "acts of gross indecency" after admitting to a sexual relationship with a man in Manchester. He was placed on probation and required to undergo hormone therapy. Turing died after eating an apple laced with cyanide in 1954. His death was ruled a suicide.
【生平】
◆故事從謎開始
英國現代計算機的起步是從德國的密碼電報機——Enigma(謎)開始的，而解開這個謎的不是別人，正是阿蘭·圖靈，一個在計算機界響當當的人物，可與美國的馮·諾依曼相媲美的電腦天才。在他短暫的生涯中，圖靈在量子力學、數理邏輯、生物學、化學方面都有深入的研究，在晚年還開創了一門新學科—— 非線性力學。
圖靈英年早逝。在他42年的人生歷程中，他的創造力是豐富多彩的，他是天才的數學家和計算機理論專家。24歲提出圖靈機理論，31歲參與COLOSSUS的研製，33歲設想模擬系統，35歲提出自動程序設計概念，38歲設計「圖靈測驗」。這一朵朵靈感浪花無不閃耀著他在計算機發展史上的預見性。特別是在60年代後當然，圖靈最高的成就還是在電腦和人工智慧方面，他是這一領域開天闢地的大師。為表彰他的貢獻，專門設有一個一年一度的「圖靈獎」，頒發給最優秀的電腦科學家。這枚獎章就像「諾貝爾獎」一樣，為計算機界的獲獎者帶來至高無上的榮譽。而阿蘭·圖靈本人，更被人們推崇為人工智慧之父，在計算機業十倍速變化的歷史畫卷中永遠佔有一席之地。他的驚世才華和盛年夭折，也給他的個人生活塗上了謎一樣的傳奇色彩。
◆神童圖靈
圖靈1912年6月23日出生於英國倫敦。其祖父曾獲得劍橋大學數學榮譽學位，但他父親的數學才能平平。因此，圖靈的家庭教育，對他以後在數學及計算機方面的成就並沒有多少幫助。小時候的圖靈生性活潑好動，很早就表現出對科學的探索精神。據他母親回憶，3歲時，小圖靈就進行了他的首次實驗，嘗試把一個玩具木頭人的小胳膊、小腿掰下來栽到花園里，等待長出更多的木頭人。到了8歲，他更開始嘗試寫一部科學著作，題目為《關於一種顯微鏡》。在這部很短的書中，天才兒童圖靈拼錯了很多單詞，句法也有些問題，但寫得還能讓人看懂，很像那麼一回事兒。在書的開頭和結尾，他都用同一句話「首先你必須知道光是直的」作前後呼應， 但中間的內容卻很短，短得破了科學著作的記錄。圖靈曾說 ：「我似乎總想從最普通的東西中弄出些名堂。」就連和小朋友們玩足球，他也能放棄當前鋒進球這樣出風頭的事，只喜歡在場外巡邊，因為這樣能有機會去計算球飛出邊界的角度。他的老師認為 ：「圖靈的頭腦思維可以像袋鼠一樣進行跳躍。」圖靈是個天才。他16歲就開始研究愛因斯坦的相對論。1931年，圖靈考入劍橋大學國王學院，開始他的數學生涯，研究量子力學、概率論和邏輯學。在校期間，圖靈還是現代語言哲學大師維特根斯坦班上最出色的學生。他對由劍橋大學的羅素和懷特海創立的數理邏輯很感興趣。數理邏輯的創建，主要源於古希臘克里特島上有個叫愛皮梅尼特的「智者」，他說 ：「所有的克里特島人都說謊」。我們可以把它簡化為：「我說的這句話是假話」。這就出現一種兩面都無法自圓的怪圈：如果他沒有說謊，那他這句話是錯的，他是在說謊；如果他真的在說謊，那他說自己在說謊是對的，所以他又沒有說謊。羅素和懷特海把它從邏輯、集合論以及數論中驅逐出去，最後又想盡辦法歸入《數學原理》之中。
圖靈一上大學，就迷上了《數學原理》。在1931年，著名的「哥德爾定理」出現後(該定理認為沒有一種公理系統可以導出數論中所有的真實命題，除非這種系統本身就有悖論)，天才的圖靈在數理邏輯大本營的劍橋大學提出一個設想：能否有這樣一台機器，通過某種一般的機械步驟，能在原則上一個接一個地解決所有的數學問題。大學畢業後，圖靈去美國普林斯頓大學攻讀博士學位，還順手發明過一個解碼器。在那裡，他遇見了馮·諾依曼，後者對他的論文擊節贊賞，並隨後由此提出了「存儲程序」概念。圖靈學成後又回到他的母校任教。在短短的時間里，圖靈就發表了幾篇很有份量的數學論文，為他贏得了很大的聲譽。
◆怪才圖靈
在劍橋，圖靈可稱得上是一個怪才，一舉一動常常出人意料。他是個單身漢和長跑運動員。在他的同事和學生中間，這位衣著隨便、不打領帶的著名教授，不善言辭，有些木訥、害羞，常咬指甲，但他更多地以自己傑出的才智贏得了人們的敬意。圖靈每天騎自行車上班，因為患過敏性鼻炎，一遇到花粉，就會鼻涕不止，大打噴嚏。於是，他就常常在上班途中戴防毒面具，招搖過市，這早已成為劍橋的一大奇觀。圖靈的自行車經常半路掉鏈子，但他就是不肯去車鋪修理。每次騎車時，他總是嘴裡念念有詞，在心裡細細計算，這鏈條也怪，總是轉到一定的圈數就滑落了，而圖靈竟然能夠做到在鏈條下滑前一剎那停車，讓旁觀者佩服不已，以為圖靈在玩雜技。後來圖靈又居然在腳踏車旁裝了一個小巧的機械記數器，到圈數時就停，歇口氣換換腦子，再重新運動起來。
1936年，圖靈向倫敦權威的數學雜志投了一篇論文，題為《論數字計算在決斷難題中的應用》。在這篇開創性的論文中，圖靈給「可計算性」下了一個嚴格的數學定義，並提出著名的「圖靈機」(Turing Machine)的設想。「圖靈機」不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算機裝置，用來計算所有能想像得到的可計算函數。裝置由一個控制器和一根假設兩端無界的工作帶(起存儲器的作用)組成。工作帶被劃分為大小相同的方格，每一格上可書寫一個給定字母表上的符號。控制器可以在帶上左右移動，它帶有一個讀寫出一個你期待的結果。外行人看了會墜入雲里霧里，而內行人則稱它是「闡明現代電腦原理的開山之作」，並冠以「理想計算機」的名稱。這篇論文在紙上談了一把兵，創造出一個「圖靈機」來。但現代通用電腦確實是用相應的程序來完成任何設定好的任務。這一理論奠定了整個現代計算機的理論基礎。「圖靈機」更在電腦史上與「馮·諾依曼機」齊名，被永遠載入計算機的發展史中。
圖靈機理論不僅解決了純數學基礎理論問題，一個巨大的「意外」收獲則是，理論上證明了研製通用數字計算機的可行性。雖然早在100年前的1834年，巴貝奇(Chark Babbage，1792～1871)就設計製造了「分析機」以說明具體的數字計算，但他的失敗之處是沒能證明「必然可行」。圖靈機理論不僅證明了研製「通用機」的可行性，而且比世界上第一台由德國人朱斯(K·Zuze)於1941年製造的通用程序控制計算機Z-3整整早5年。這不得不使人驚嘆這一理論的深刻意義。
◆謎語圖靈
正當圖靈的理論研究工作進一步深入時，戰爭爆發了。他被派往布雷契萊庄園承擔「超級機密」研究。當時的布雷契萊庄園是一所「政府密碼學校」，即戰時的英國情報破譯中心。在這座幽靜的維多利亞式建築里，表面上鳥語花香、人跡罕見，其實每天都有12000多名志願者在這里夜以繼日地工作，截獲、整理、破譯德國的軍事情報，有些結果甚至直達丘吉爾首相本人手中。在這里，圖靈被人們稱為「教授」，沒有人知道他的真名。當時德國有一個名為「Enigma」（謎）的通信密碼機，破譯高手們絞盡腦汁也難以破解。這個難題交到了圖靈手中，他率領著大約200多名精幹人員進行密碼分析，其中甚至還包括象棋冠軍亞歷山大。分析和計算工作非常復雜，26個字母在「Enigma」機中能替代8萬億個謎文字母。如果改動接線，變化會超過2.5千萬億億。最後多虧波蘭同行們提供了一台真正的「Enigma」，圖靈才憑借著他的天才設想設計出一種破譯機。這台機器主要由繼電器構成，還用了80個電子管，由光電閱讀器直接讀入密碼，每秒可讀字元2000個，運行起來咔嚓咔嚓直響。它被圖靈戲稱為「羅賓遜」，至今沒人能搞懂圖靈究竟如何指揮它工作。但"羅賓遜"的確神通廣大，在它的密報下，德國飛機一再落入圈套，死無葬身之地。
1945年，圖靈帶著大英帝國授予的榮譽勛章，來到英國國家物理研究所擔任高級研究員。兩年後，圖靈寫了一份內部報告，提出了"自動程序"的概念，但由於英國政府嚴密、死板的保密法令，這份報告一直不見天日。1969年，美國的瓦丁格(Woldingger)發表了同樣成果，英國才連忙亮出壓在箱底的寶貝，終於在1970年給圖靈的報告「解密」。圖靈的這份報告後來收入愛丁堡大學編的《機器智能》論文集中。由於有了布雷契萊的經驗，圖靈提交了一份「自動計算機」的設計方案，領導一批優秀的電子工程師，著手製造一種名叫ACE的新型電腦。它大約用了800 個電子管，成本約為4萬英鎊。1950年，ACE電腦就橫空出世，開始公開露面，為感興趣的人們玩一些「小把戲」，贏得陣陣喝彩。圖靈在介紹ACE的內存裝置時說：「它可以很容易把一本書的10頁內容記住。」顯然，ACE是當時世界上最快、最強勁的電子計算機之一。
1946年，在紐曼博士的動議下，皇家學會成立電腦實驗室。紐曼博士是皇家學會會員，又是當年破譯小組的成員，正是他對「赫斯·魯賓遜」的製造起了關鍵作用。皇家學會的這一新實驗室不在倫敦，而是設在曼徹斯特大學，由紐曼博士牽頭負責。1946年7月，研製基金到位，紐曼博士開始招募人選。阿蘭·圖靈也在次年9月加盟電腦實驗室。一時間，曼徹斯特大學群英會萃。實驗室設在一幢維多利亞時代的老房子里，條件十分簡陋，但因圖靈他們的到來，也算是蓬蓽生輝了。在1948年6月，這里造出了一台小的模型機，大家都愛叫它「嬰兒」(Baby)。這台模型機用陰極射線管來解決存儲問題，能存儲32個字，每一字有32位字長。這是第一台能完全執行存儲程序的電子計算機的模型。
◆大師圖靈
到了1949年10月，各項改進工作都已展開，夾在兩層存儲器之間的自動控制系統已正常運轉，並能在程序的控制下，實現磁鼓和陰極射線管存儲單元間信息交互。圖靈設計出一些協同電路來做輸入和輸出的外設。有關電動打字設備也是圖靈通過老關系從他戰時供職的外交部通信部門弄過來的，其中甚至包括一個戰後從德國人那裡收繳來的穿孔紙帶鍵盤。這樣，整個模型機已大功告成。在整個試驗階段，大家忙上忙下。1949年底，模型機交付給曼徹斯特當地的一家叫弗蘭尼蒂(Ferranti)的電子公司，開始正式建造。1951年2月完工，通稱「邁可1型」。它有4000個電子管，72000個電阻器，2500個電容器，能在0.1秒內開平方根、求對數和三角函數的運算。比起先前的模型機，「邁可1型」功能更為齊全，靜電存儲器的內存容量已翻倍，能存256個40位字長字，分別存在8個陰極射線管中，而磁鼓的容量能擴容到16384個字，真是一項了不起的工程。
與馮·諾依曼同時代的富蘭克爾(Frankel，馮氏同事)在回憶中說：馮·諾依曼沒有說過"存儲程序"型計算機的概念是他的發明，卻不止一次地說過，圖靈是現代計算機設計思想的創始人。當有人將"電子計算機之父"的頭銜戴在馮·諾依曼頭上時，他謙遜地說，真正的計算機之父應該是圖靈。當然，馮·諾依曼問之無愧，而圖靈也有「人工智慧之父」的桂冠。他倆是計算機歷史浩瀚星空中相互映照的兩顆巨星。
早在1945年，圖靈就提出「模擬系統」的思想，並有一份詳細的報告，想建造一台沒有固定指令系統的電腦。它能夠模擬其他不同指令系統的電腦的功能， 但這份報告直到1972年才公布。這說明圖靈在二戰結束後就開始了後來被稱 為「人工智慧」領域的探索，他開始關注人的神經網路和電腦計算之間的關聯。
1950年，圖靈又來到曼徹斯特大學任教，同時還擔任該大學自動計算機項目的負責人。就在這一年的十月，他又發表了另一篇題為《機器能思考嗎？》的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了一頂桂冠——「人工智慧之父」。在這篇論文里，圖靈第一次提出「機器思維」的概念。他逐條反駁了機器不能思維的論調，做出了肯定的回答。他還對智能問題從行為主義的角度給出了定義，由此提出一假想：即一個人在不接觸對方的情況下，通過一種特殊的方式，和對方進行一系列的問答，如果在相當長時間內，他無法根據這些問題判斷對方是人還是計算機，那麼，就可以認為這個計算機具有同人相當的智力，即這台計算機是能思維的。這就是著名的「圖靈測試」(Turing Testing)。當時全世界只有幾台電腦，根本無法通過這一測試。但圖靈預言，在本世紀末，一定會有電腦通過「圖靈測試」。終於他的預言在IBM的「深藍」身上得到徹底實現。當然，卡斯帕羅夫和「深藍」之間不是猜謎式的泛泛而談，而是你輸我贏的彼此較量。
◆故事以謎結束
1951年，圖靈以他傑出的貢獻被當選為英國皇家學會會員。就在他事業步入輝煌之際，災難降臨了。1952年，圖靈遭到警方拘捕，原因是他是一個同性戀者。與其他一些智慧超群的人物一樣，圖靈在個人生活方式上也「與眾不同」。當時，人們對同性戀還沒有像現在這樣寬容，而是把這種行為當作一樁傷風敗俗的罪孽。事情的敗露是這樣的，當時有一位叫瓊·克拉克(Joan Clarke)的姑娘愛上了圖靈，圖靈也對對方很有好感，並向對方求婚，瓊欣然接受。但不久，圖靈自己退縮了，告訴瓊，他是同性戀者。在1948年，圖靈就由於同性戀傾向，離開了當時屬於高度保密的英國國家物理實驗室(NPL)。但也有人說，圖靈是被英國軍事情報部門「開除」出去的，對於這位天才的離去，許多人悵惜不已。
1952年3月31日，圖靈更因為和曼徹斯特當地一位青年有染，被警方逮捕。在法庭上，圖靈既不否認，也不為自己辨解。在庄嚴的法庭上，他鄭重其事地告訴人們：他的行為沒有錯，結果被判有罪。在入獄和治療兩者中間，圖靈選擇了注射激素，來治療所謂的「性慾倒錯」。此後圖靈開始研究生物學、化學，還和一位心理醫生有很深的交往。那時，他的脾氣已變得躁怒不安，性格更為陰沉怪僻。1953年3月，他因為接待過一位被英國警方注意的挪威客人，成為警方的目標，甚至去希臘度假時也被跟蹤。
1954年6月8日，圖靈42歲，正逢進入他生命中最輝煌的創造頂峰。一天早晨，女管家走進他的卧室，發現台燈還亮著，床頭上還有個蘋果，只咬了一小半，圖靈沉睡在床上，一切都和往常一樣。但這一次，圖靈是永遠地睡著了，不會再醒來……經過解剖，法醫斷定是劇毒氰化物致死，那個蘋果是在氰化物溶液中浸泡過的。圖靈的母親則說他是在做化學實驗時，不小心沾上的，她的"艾倫"從小就有咬指甲的習慣。但外界的說法是服毒自殺，一代天才就這樣走完了人生。
今天，蘋果電腦公司以那個咬了一口的蘋果作為其商標圖案，就是為紀念這位偉大的人工智慧領域的先驅者——圖靈。
【大事年表】
1912年6月23日，出生於英國倫敦。
1931年-1934年，在英國劍橋大學國王學院（King's College）學習。
1932年-1935年，主要研究量子力學、概率論和邏輯學。
1935年，年僅23歲的圖靈，被選為劍橋大學國王學院院士。
1936年，主要研究可計算理論，並提出「圖靈機」的構想。
1936年-1938年，主要在美國普林斯頓大學做博士研究，涉及邏輯學、代數和數論等領域。
1938-1939年，返回劍橋從事研究工作，並應邀加入英國政府破譯二戰德軍密碼的工作。
1940年-1942年，作為主要參與者和貢獻者之一，在破譯納粹德國通訊密碼的工作上成就傑出，並成功破譯了德軍U-潛艇密碼，為扭轉二戰盟軍的大西洋戰場戰局立下汗馬功勞。
1943年-1945年，擔任英美密碼破譯部門的總顧問。
1945年，應邀在英國國家物理實驗室從事計算機理論研究工作。
1946年，這個時候，圖靈在計算機和程序設計原始理論上的構思和成果，已經確定了他的理論開創者的地位。由於圖靈的傑出貢獻，年輕的他被英國皇室授予OBE爵士勛銜。
1947年-1948年，主要從事計算機程序理論的研究，並同時在神經網路和人工智慧領域做出開創性的理論研究。
1948年，應邀加入英國曼徹斯特大學從事研究工作，擔任曼徹斯特大學計算實驗室副主任。
1949年，成為世界上第一位把計算機實際用於數學研究的科學家。
1950年，發表論文「計算機器與智能」，為後來的人工智慧科學提供了開創性的構思。提出著名的「圖靈測試」理論。
1951年，從事生物的非線性理論研究。年僅39歲的圖林，被選為英國皇家學會會員。
1952年，在當年保守愚昧和冷戰的時代，當警察得知圖靈與同性朋友密切交往的消息之後，同性戀傾向的圖靈被逮捕入獄。在法庭審判過程中，圖靈明確告知人們，他認為自己沒有做錯什麼事。在那個觀念落後的年代，為了避免被判刑入獄，圖靈被迫選擇了為期一年的雌性激素注射的所謂「治療」，才得以重新返回研究工作。
1953年-1954年，繼續在生物和物理學等方面的研究。被迫承受的對同性戀傾向的「治療」，致使原本熱愛體育運動的圖靈在身心上受到極大的傷害。
1954年6月7日，圖靈被發現死於家中的床上。死因是氰化物中毒，警方調查結論是自殺。一代英靈，就此過早離去，成為人類科學史上的一大遺憾。
Ⅸ 麥卡錫的智能之父
1927年9月4日麥卡錫（John McCarthy）生於美國波士頓一個共產黨家庭，父母的工作性質決定全家需不斷搬遷，從波士頓遷到紐約，然後又到了洛杉磯，信仰愛爾蘭天主教的父親當過木匠、漁夫和工會組織者，母親是立陶宛猶太人，在聯合通訊社（TheFederatedPress）當記者，後來在一家共產黨報社工作，麥卡錫從小把自己對科學的興趣與家庭的政治傾向結合起來。麥卡錫在接受采訪時說：「我們確信技術的進步對人類有利，我記得小時候讀過《十萬個為什麼》，這是30年代蘇聯作家伊林（M．Ilin）撰寫的通俗科技讀物，在美國好像沒有這樣的書。10至15年前我很高興得知中國有許多非常早熟的兒童，他們都讀過《十萬個為什麼》。」
麥卡錫說他的童年平平淡淡，實際上在讀中學時，他就找到加州理工大學的一份課程清單，自學了大學一年和二年的數學課程。1944年他真的到了這所大學，免修頭兩年的數學課。1948年9月在讀研究生時，他出席了該校主辦的「行為的大腦機制西克森研討會」（Hixon Symposiumon Cerebral Mechanism in Behavior at CalTech），大數學家計算機設計大師馮·諾伊曼在會上散發了關於自復制自動機的論文，盡管當時還沒有人精確地將機器智能與人的智能聯系起來，但諾伊曼的報告卻激發了麥卡錫的好奇心。
於2011年10月24日逝世，享年84周歲。 1949年在普林斯頓大學數學系作博士論文時，他決定嘗試在機器上模擬人的智能，1955年他聯合申農（資訊理論創立者）、明斯基（人工智慧大師，《心智社會》的作者）、羅徹斯特（IBM計算機設計者之一），發起了達特茅斯項目（Dartmouth Project），第二年正式啟動，洛克菲勒基金會提供了極有限的資助。現在看來，這個項目不但是人工智慧發展史的一個重要事件，也是計算機科學的一個里程碑，正是在1956年，麥卡錫首次提出「人工智慧」（artificial intelligence）這一概念，現在看來，那次討論並沒有實質上解決有關智能機的任何具體問題，但它確立了研究目標，使人工智慧成為計算機科學中一門獨立的經驗科學。
1957年巴庫斯（John Barkus）及其IBM小組發布了Fortran語言，這是第一個成功的高級語言，使程序設計者從繁瑣的匯編語言中解脫出來，卡內基梅龍大學的紐維爾（A．Newell）、司馬赫（H．Simon）等提出信息處理語言IPL，麥卡錫則提出表處理語言Lisp，在Fortran中不允許有遞歸，麥卡錫希望改進它，1960年巴黎會議大家討論了Algol語言，點贊了麥卡錫的建議，增加了遞歸和條件表達式，Algol最早接受了Lisp的觀念，但不是最後一個，如今的Pascal、C、Ada等都接受了Lisp的創新。但至今，主流程序設計語言仍然沒有吸收麥卡錫建議的「評價函數」（eval），認為它很危險。麥卡錫發明Lisp語言，只是把它作為工具，他的目標是製造具有人類智能的機器，Lisp自發明以後，像其他語言一樣，發明人失去了對其的控制能力，馬庫斯和凱（A．Kay，「面向對象程序設計」的創始人）也一樣。
1959年麥卡錫發表《具有常識的程序》一文，標志著他向「常識邏輯推理」難題開始宣戰。「與所有專門化的理論一樣，所有科學也都體現於常識中。當你試圖證明這些理論時，你就回到了常識推理，因為常識指導著你的實驗。」設想一個旅行者從英國格拉斯哥經過倫敦去莫斯科，計算機程序可以分段處理：從格拉斯哥到倫敦，再從倫敦到莫斯科。但是如果假設此人不幸在倫敦丟失了機票怎麼辦？當然現實中此人一般不會因此取消原來去莫斯科的計劃，他可能會再買一張票。但是預先設計好的模擬程序卻不允許如此靈活。因此要發展一種具有常識推理能力的邏輯。
1964年麥卡錫已是斯坦福大學人工智慧實驗室的主任，他提出了一種稱之為「情景演算」（situational calculus）的理論，其中「情景」表示世界的一種狀態。當主體（agent）行動時，情景發生變化。主體下一步如何行動取決於他所知道的情景。情景演算的思想吸收了有窮自動機狀態轉移的概念。在情景演算中，推理不但取決於狀態，而且取決於主體關於狀態知道些什麼。主體知道得越多，了解得越詳細，他就會更好地作出決策。這種情景演算理論吸引了許多研究者，但它本身也引起一種問題。在多主體的世界中，與一個主體有關的情景的變化可能還取決於其他主體的行動。這樣處理起來十分困難。在常識世界中，我們的決策可能不大受其他主體的影響，當然有時也受。很難說麥卡錫的努力最終是否成功了，但他向通常的「演繹推理」挑戰，強調人類智能推理的非單調性（nonmonotonicity），發展狀態描述法，在人工智慧研究中具有重要意義。麥卡錫試圖讓機器能像人一樣，在某種語境下，進行基本的猜測。但這很難做，即使是人，也常常誤解語境。一個有趣的例子是：白宮發言人奧涅爾歡迎新當選的里根總統時說：「您成了Grover Cleveland」（他指的是美國的一個總統）。而里根卻微笑著說：「我只在電影中扮演過一次Cleveland。」（里根指的是棒球手Grover Cleveland Alexander）
不管人們對人工智慧還有什麼偏見，它現在已成為嚴肅的經驗科學，而麥卡錫為這一領域培養了大量人才，他的學生遍及世界。關於人工智慧，想了解更多的東西可以直接訪問麥卡錫的網頁，從「公眾理解科學的角度」看，他的網頁做得非常棒。他討論了人工智慧與哲學的關系，人工智慧的分類及應用領域等。還詳細回答了有關人類「可持續發展」的問題。他是技術樂觀派，相信人類會有一個美好的未來（他提供了許多論據，可從網上看到）。