乡下人产国偷v产偷v自拍,国产午夜片在线观看,婷婷成人亚洲综合国产麻豆,久久综合给合久久狠狠狠9

  • <output id="e9wm2"></output>
    <s id="e9wm2"><nobr id="e9wm2"><ins id="e9wm2"></ins></nobr></s>

    • 分享

      圖靈獎(jiǎng)得主約翰·麥卡錫(John McCarthy)——人工智能之父和LISP之父

       taotao_2016 2022-02-12

      您想知道的人工智能干貨,第一時(shí)間送達(dá)

                               

      圖片

      圖片

      1927年9月4日麥卡錫生于美國(guó)波士頓,父母的工作性質(zhì)決定全家需不斷搬遷,從波士頓遷到紐約,然后又到了洛杉磯。他因在人工智能領(lǐng)域的貢獻(xiàn)而在1971年獲得圖靈獎(jiǎng)。實(shí)際上,正是他在1956年的達(dá)特矛斯會(huì)議上提出了“人工智能”這個(gè)概念,被稱為“人工智能之父”。2011年10月24日晚上,約翰·麥卡錫與世長(zhǎng)辭,享年84歲。

      約翰·麥卡錫于1927年9月4日出生于馬薩諸塞州的波士頓。約翰的父親約翰·帕特里克·麥卡錫是一位愛(ài)爾蘭天主教移民。據(jù)一位傳記作家說(shuō),他做過(guò)木匠、漁民和工會(huì)組織者,把家庭從波士頓搬到紐約,然后搬到洛杉磯,約翰的父親在那里為聯(lián)合服裝工人找到了組織者的工作。約翰的母親艾達(dá)·格拉特是立陶宛猶太移民,'曾在聯(lián)邦媒體通訊社擔(dān)任記者,然后為一家共產(chǎn)主義報(bào)紙工作,最后成為一名社會(huì)工作者。'父母都是20世紀(jì)30年代共產(chǎn)黨的活躍成員。約翰和他的弟弟帕特里克一起成長(zhǎng)在一個(gè)充滿政治色彩的家庭,但同時(shí)也是一個(gè)鼓勵(lì)學(xué)習(xí)和批判性思維的家庭。在一次錄音采訪中,約翰告訴我,甚至在他上高中之前,他就通過(guò)閱讀一本俄羅斯兒童科普書(shū)對(duì)科學(xué)產(chǎn)生了興趣,叫做《10萬(wàn)為什么》。

      在洛杉磯,約翰于1943(16歲)年從貝爾蒙特高中(提前兩年)畢業(yè)。高中時(shí),他通過(guò)書(shū)籍自學(xué)了加州理工學(xué)院一二年級(jí)的微積分。1944年,約翰被加州理工學(xué)院錄取為數(shù)學(xué)本科生,在那里他已經(jīng)跳過(guò)了前兩年的數(shù)學(xué)課程。維基百科上一篇關(guān)于約翰的第3篇文章說(shuō),據(jù)報(bào)道因未能參加體育課程而被加州理工學(xué)院開(kāi)除;之后他在美國(guó)陸軍服役,再次被加州理工學(xué)院錄取,1948年獲得了數(shù)學(xué)學(xué)士學(xué)位。1948年9月,在加州理工學(xué)院上一些研究生課程時(shí),約翰參加了Hixon大腦行為機(jī)制研討會(huì)。一些在數(shù)學(xué)、計(jì)算和心理學(xué)交叉點(diǎn)的科學(xué)家和數(shù)學(xué)家在那里進(jìn)行了演講,約翰對(duì)開(kāi)發(fā)可以像人們一樣思考的機(jī)器的想法產(chǎn)生了興趣。

      在加州理工學(xué)院讀了一年研究生后,麥卡錫進(jìn)入普林斯頓大學(xué)學(xué)習(xí),因?yàn)樗f(shuō)這是數(shù)學(xué)最好的地方,也是他想追求的學(xué)科。他告訴我,當(dāng)他1949年9月抵達(dá)普林斯頓時(shí),數(shù)學(xué)系系主任所羅門(mén)·萊夫斯切茨對(duì)我說(shuō):'你要做什么論文?'我說(shuō),'我不知道。我會(huì)考慮一下的。'所以我立刻給自己買了一個(gè)筆記本,并開(kāi)始思考一篇論文的想法。在這一年結(jié)束之前,我已經(jīng)決定了一個(gè)話題,這讓我相對(duì)受歡迎,因?yàn)橥ǔ5氖虑槭菍W(xué)生們纏著教授們提出話題。

      約翰的主題涉及到偏微分方程中的一個(gè)問(wèn)題。1951年,他在萊夫切茨的領(lǐng)導(dǎo)下完成了博士工作,論文題為'投影算子和偏微分方程'。

      除了他在普林斯頓大學(xué)的論文工作外,麥卡錫繼續(xù)迷戀機(jī)器智能。他對(duì)這個(gè)話題的早期想法,實(shí)際上是在加州理工學(xué)院形成的,涉及到兩個(gè)相互作用的有限自動(dòng)機(jī),一個(gè)扮演大腦的角色,另一個(gè)扮演環(huán)境的角色。普林斯頓大學(xué)和附近的高級(jí)研究所的約翰·馮·諾伊曼鼓勵(lì)麥卡錫寫(xiě)下他的想法,但麥卡錫認(rèn)為,即使'大腦自動(dòng)機(jī)'能夠智能地行動(dòng),它的內(nèi)部結(jié)構(gòu)也不會(huì)是人類知識(shí)的明確表現(xiàn)。他希望機(jī)器能夠像大腦一樣做到推理知識(shí)。

      麥卡錫告訴一位采訪者,他在1949年短暫地加入了當(dāng)?shù)氐墓伯a(chǎn)黨小組。它還有另外兩個(gè)成員,一名清潔女工和一名園丁。不久之后,他就退出了該黨。完成博士學(xué)位后,麥卡錫在普林斯頓大學(xué)做了兩年的講師。1952年夏天,他在貝爾實(shí)驗(yàn)室工作,在那里他遇到了克勞德·香農(nóng)。他們決定合作撰寫(xiě)大量關(guān)于自動(dòng)機(jī)的論文。有幾卷提交,以自動(dòng)機(jī)研究的形式出版。麥卡錫對(duì)大部分報(bào)紙都感到失望,關(guān)于自動(dòng)機(jī)理論(包括斯蒂芬·克萊恩的一個(gè)重要理論),只有一兩個(gè)與他的興趣(機(jī)器智能)有關(guān)。

      正是在普林斯頓大學(xué),麥卡錫第一次遇到了馬文·明斯基,他在1951(24歲)年開(kāi)始了他的研究生工作。他們都對(duì)機(jī)械智能很感興趣。他們?cè)诮酉聛?lái)的十年里進(jìn)行了合作,但他們制造機(jī)器智能的方法最終出現(xiàn)了很大的分歧。

      1953年,麥卡錫回到西海岸,在斯坦福大學(xué)擔(dān)任數(shù)學(xué)代理助理教授。盡管他繼續(xù)思考機(jī)器智能,但他聲稱他在斯坦福大學(xué)的早期幾年里并沒(méi)有寫(xiě)任何東西。他繼續(xù)他對(duì)微分方程和分析的研究,但斯坦福決定不晉升他。正如他說(shuō),斯坦福在三位代理助理教授中錄用兩位,我是第三位。

      所以,它又回到了全國(guó)各地。1955年2月,麥卡錫在新罕布什爾州漢諾威的達(dá)特茅斯學(xué)院擔(dān)任數(shù)學(xué)助理教授。即使他對(duì)計(jì)算的興趣,麥卡錫直到1955年才嘗試為計(jì)算機(jī)編程。大約在那個(gè)時(shí)候,IBM決定將一臺(tái)IBM704計(jì)算機(jī)用于研究和教育目的。麻省理工學(xué)院、其他新英格蘭大學(xué)和IBM本身也將分享它的用途。作為達(dá)特茅斯的代表,麥卡錫在紐約波基普西會(huì)見(jiàn)了IBM信息研究部的負(fù)責(zé)人納撒尼爾·羅切斯特。羅切斯特邀請(qǐng)麥卡錫在1955年夏天和他的團(tuán)隊(duì)在IBM度過(guò)。

      那年夏天,在IBM,麥卡錫和羅切斯特說(shuō)服克勞德·香農(nóng)和馬文·明斯基加入他們,他們當(dāng)時(shí)在哈佛大學(xué)數(shù)學(xué)和神經(jīng)學(xué)學(xué)院讀大三。麥卡錫帶頭撰寫(xiě)了這份提案,并組織了一個(gè)所謂的'人工智能夏季研究項(xiàng)目'。提案7于1955年8月提交給洛克菲勒基金會(huì)。除其他事項(xiàng)外,該提案指出:

      研究是在這樣一種猜想的基礎(chǔ)上進(jìn)行的:學(xué)習(xí)的每個(gè)方面或智能的任何其他特征原則上都可以被如此精確地描述,使機(jī)器可以模擬它......為了目前這個(gè)目標(biāo),人工智能問(wèn)題被認(rèn)為是使機(jī)器的行為方式和人的行為一樣。

      1956年夏天,有幾個(gè)人參加了達(dá)特茅斯的一個(gè)滾動(dòng)研討會(huì)。麥卡錫提出為研討會(huì)起'人工智能'這個(gè)名字,因?yàn)?,正如他所說(shuō),'我不得不這樣稱呼它,所以我稱之為'人工智能',我有一種模糊的感覺(jué),我以前聽(tīng)過(guò)這個(gè)短語(yǔ),但這些年來(lái)我一直沒(méi)有找到來(lái)源。'麥卡錫后來(lái)說(shuō),車間沒(méi)有多少成就。但正如海耶斯和摩根斯特恩所寫(xiě)的那樣:

      它是為了讓四名在該領(lǐng)域工作的研究人員------麥卡錫、明斯基、艾倫·紐維爾和西蒙見(jiàn)面、交談,并為未來(lái)人工智能的研究項(xiàng)目做計(jì)劃。達(dá)特茅斯會(huì)議的主要成就不是針對(duì)人工智能的任何特定想法或方法,而是四名研究人員致力于定義人工智能學(xué)科以及為這些同事創(chuàng)建聯(lián)系。

      雖然其他人更早曾寫(xiě)過(guò)關(guān)于機(jī)器智能的文章(尤其是1950年的艾倫·圖靈),但達(dá)特茅斯研討會(huì)通常被認(rèn)為是該領(lǐng)域嚴(yán)肅工作的開(kāi)始------麥卡錫將他的科學(xué)生涯致力于這個(gè)領(lǐng)域。

      在達(dá)特茅斯期間,麥卡錫成為了斯隆的物理科學(xué)研究員(由時(shí)任達(dá)特茅斯數(shù)學(xué)系系主任的約翰·凱梅尼安排)。他選擇在麻省理工學(xué)院獲得獎(jiǎng)學(xué)金,在那里他可以使用IBM計(jì)算機(jī),并可以與在附近哈佛大學(xué)的馬文·明斯基互動(dòng),他從未回到達(dá)特茅斯,而是在1958年成為麻省理工學(xué)院的傳播科學(xué)的助理教授。

      1958年夏天,麥卡錫在IBM度過(guò),正是在那里,他第一次開(kāi)始意識(shí)到需要一種新的編程語(yǔ)言------一種可以支持遞歸和動(dòng)態(tài)存儲(chǔ)的語(yǔ)言。(在遞歸語(yǔ)言中,程序可以調(diào)用一個(gè)通常更簡(jiǎn)單的版本。)1958年秋天,當(dāng)他回到麻省理工學(xué)院時(shí),他開(kāi)始研究一種新的語(yǔ)言,他稱之為'LISP'(意為'list processor')。除了遞歸之外,用LISP編寫(xiě)的程序還可以處理任意的符號(hào)結(jié)構(gòu),并可以將程序(用LISP編寫(xiě)的)視為數(shù)據(jù)(用LISP中的列表表示)。(麥卡錫說(shuō),他在1956年的達(dá)特茅斯研討會(huì)上從紐維爾和西蒙那里得到了關(guān)于列表處理的想法,但他不喜歡這樣的語(yǔ)言,他們使用的。)

      約翰1960年的論文'符號(hào)表達(dá)式的遞歸函數(shù)及其由機(jī)器計(jì)算',第一部分,建立了LISP作為一種普遍的計(jì)算形式的理論基礎(chǔ)。(第二部分從未制作過(guò)。)將LISP圖靈機(jī)比作通用圖靈機(jī),麥卡錫聲稱LISP在結(jié)構(gòu)上更加透明。LISP很快成為人工智能研究的首選語(yǔ)言。用LISP編寫(xiě)的程序已經(jīng)在NASA的航天器上飛行,是幾個(gè)實(shí)際的人工智能系統(tǒng)的關(guān)鍵組成部分。

      1957年和1958年,在麻省理工學(xué)院,麥卡錫提供了實(shí)現(xiàn)分時(shí)共享的第一個(gè)建議------允許一臺(tái)計(jì)算機(jī)在多個(gè)用戶之間同時(shí)共享。這些想法最終在1962年體現(xiàn)在麻省理工學(xué)院的兼容分時(shí)系統(tǒng)(CTSS)中,以及后來(lái)麥卡錫在博爾特、貝拉內(nèi)克、紐曼以及斯坦福大學(xué)幫助建立的系統(tǒng)中。CTSS直接導(dǎo)致了MAC項(xiàng)目的創(chuàng)建,它徹底改變了麻省理工學(xué)院的計(jì)算技術(shù)。盡管計(jì)算機(jī)最終變得足夠便宜,以至于大多數(shù)人不需要共享計(jì)算機(jī),但分時(shí)分析技術(shù)仍然被用于允許單個(gè)用戶的幾個(gè)程序同時(shí)活動(dòng)。

      1959年,約翰發(fā)明了一種他稱之為'垃圾收集'的技術(shù),該技術(shù)通過(guò)刪除后續(xù)計(jì)算不需要的代碼來(lái)釋放隨機(jī)存取內(nèi)存。該技術(shù)被添加到LISP中,并且仍然在Java和其他編程語(yǔ)言中常規(guī)使用。麥卡錫也對(duì)代數(shù)語(yǔ)言ALGOL58和60做出了重大貢獻(xiàn)。

      1959年至1962年,一群麻省理工學(xué)院的學(xué)生在麻卡錫的建議下,開(kāi)發(fā)了一個(gè)國(guó)際象棋項(xiàng)目。它是基于麥卡錫編寫(xiě)的IBM704的早期程序。小組成員之一,艾倫·科托克,在他的麻省理工學(xué)院學(xué)士論文中描述了這個(gè)項(xiàng)目。這個(gè)程序在業(yè)余階段就開(kāi)始運(yùn)行,它使用了麥卡錫設(shè)計(jì)的一種叫做阿爾法測(cè)試程序的方法來(lái)加快搜索速度。以下是約翰對(duì)這個(gè)過(guò)程是如何工作的描述:

      最基本的想法是這個(gè)。假設(shè)我考慮行動(dòng),然后我認(rèn)為如果我做這個(gè)動(dòng)作,對(duì)手可以抓住我的女王。然后我通常不會(huì)考慮對(duì)手還能對(duì)我做些什么,因?yàn)樽プ∨跏且粓?chǎng)災(zāi)難,我不應(yīng)該采取導(dǎo)致它的行動(dòng)。'

      甚至在達(dá)特茅斯研討會(huì)之前,麥卡錫就開(kāi)始對(duì)制定一個(gè)系統(tǒng)感興趣,這個(gè)系統(tǒng)可以用一些合適的語(yǔ)言進(jìn)行陳述(對(duì)應(yīng)于英語(yǔ)句子),然后用這些陳述進(jìn)行推理。1958年在英國(guó)特丁頓的一次會(huì)議上,他發(fā)表了一篇題為'常識(shí)項(xiàng)目'(通常被稱為建議演講者論文)的論文,提出了這樣的制度。

      盡管他的建議在這位會(huì)議上被哲學(xué)家和語(yǔ)言學(xué)家稱為'半生不熟',然而它成了隨后人工智能文學(xué)的重要組成部分,并占據(jù)了麥卡錫和許多其他追求所謂的人工智能'邏輯學(xué)'方法的人的研究生活。事實(shí)上,海耶斯和摩根斯特恩聲稱,該論文可以被視為知識(shí)表示領(lǐng)域的誕生。

      麥卡錫在人工智能方面的工作是他對(duì)建立計(jì)算數(shù)學(xué)理論的努力。雖然圖靈和其他人在1966年做了一些可以計(jì)算和處理的工作,即與過(guò)程下棋,麥卡錫希望能夠?qū)⒂?jì)算機(jī)程序視為可以被證明是'正確的'的數(shù)學(xué)對(duì)象。也就是說(shuō),他想從數(shù)學(xué)上證明程序符合為它們規(guī)定的規(guī)范。他就這個(gè)主題寫(xiě)了三篇重要的論文,最后是一篇論文(第一個(gè))描述了一個(gè)編譯器的正確性的證明。

      1962年(35歲)秋天,約翰被邀請(qǐng)加入斯坦福大學(xué)數(shù)學(xué)系的計(jì)算機(jī)科學(xué)系,擔(dān)任正教授。(他在自己的一個(gè)網(wǎng)頁(yè)上寫(xiě)道,他'1962年從馬薩諸塞州搬回加州的原因主要是因?yàn)槲腋矚g溫和的冬天'。)1965年,當(dāng)斯坦福大學(xué)計(jì)算機(jī)科學(xué)系成立時(shí),他加入了該系,并在那里啟動(dòng)了一個(gè)新的人工智能項(xiàng)目。該項(xiàng)目由高級(jí)研究計(jì)劃局(ARPA)資助。在此期間,他開(kāi)始開(kāi)發(fā)了第一個(gè)基于顯示的時(shí)間記錄系統(tǒng),稱為'雷神',其中包括在現(xiàn)代個(gè)人電腦中發(fā)現(xiàn)的許多功能。

      麥卡錫還繼續(xù)開(kāi)發(fā)他在麻省理工學(xué)院工作過(guò)的國(guó)際象棋項(xiàng)目,1965年,他向莫斯科理論和實(shí)驗(yàn)物理研究所的一個(gè)小組提出挑戰(zhàn),要求他們與他們自己的程序進(jìn)行對(duì)抗。象棋棋子的移動(dòng)通過(guò)電報(bào)進(jìn)行交換。這兩個(gè)程序都做得很好,但俄羅斯的程序贏得了比賽。

      隨著麥卡錫的各種人工智能和相關(guān)項(xiàng)目的發(fā)展,他成立了斯坦福人工智能實(shí)驗(yàn)室(SAIL)。他得到了萊斯特·歐內(nèi)斯特的實(shí)驗(yàn)室管理,歐內(nèi)斯特在那里發(fā)起并參與了幾個(gè)項(xiàng)目。通過(guò)ARPA的一系列合同,實(shí)驗(yàn)室獲得了一臺(tái)DECPDP-6計(jì)算機(jī),隨后又獲得了一臺(tái)PDP-10和一臺(tái)KL-10。

      為了他自己在實(shí)驗(yàn)室的研究,麥卡錫主要跟進(jìn)了他在早期的論文'常識(shí)性程序'中首次提出的想法。他繼續(xù)認(rèn)為,人工智能程序所需的知識(shí)應(yīng)該用陳述性句子(主要是用邏輯語(yǔ)言)來(lái)表示,而不是用使用這些知識(shí)的程序來(lái)編碼。正如他所說(shuō),'句子可以在更廣泛的背景下正確,而不是特定的程序可能有用。'他說(shuō):'對(duì)于人工智能來(lái)說(shuō),邏輯是不可避免的,就像對(duì)于物理系統(tǒng)來(lái)說(shuō),微積分是不可避免的一樣。

      他和Patrick J. Hayes發(fā)明了一種推理形式,他們稱之為'情況演算',在這種形式下,一種情況是世界狀態(tài),一種行動(dòng)被視為改變情況的函數(shù)。行動(dòng)具有先決條件和效果。忠實(shí)地代表這些先決條件,涉及到麥卡錫所說(shuō)的'資格問(wèn)題'。忠實(shí)地表示效果(哪些事情會(huì)改變,哪些不會(huì)改變)涉及到麥卡錫所說(shuō)的'框架問(wèn)題'。在邏輯設(shè)置中處理這些問(wèn)題需要擴(kuò)展到邏輯,從而允許作出合理的猜測(cè)。麥卡錫對(duì)這種擴(kuò)展的主要貢獻(xiàn)(在他的同事弗拉基米爾·利夫希茨的幫助下)是一種他稱之為'限制'的技術(shù)。循環(huán)允許一種叫做'非單調(diào)'的推理邏輯學(xué)家。

      雖然他本人沒(méi)有參與,麥卡錫鼓勵(lì)SAIL的機(jī)器人研究。麥卡錫產(chǎn)生這種興趣的原因是,他認(rèn)為之前的計(jì)算機(jī)視覺(jué)研究主要集中在人物和物體識(shí)別上,而不是在場(chǎng)景描述上。正如他所說(shuō):

      我的想法是,你想要描述,而不僅僅是鑒別,我的觀點(diǎn)是,如果你想編程讓一個(gè)機(jī)器人撿起東西,那么它不僅僅需要在整個(gè)畫(huà)面上進(jìn)行鑒別。它必須能夠定位物體,并表示出它的形狀,所以我決定嘗試使用機(jī)器人技術(shù)。

      在SAIL最成功的機(jī)器人成就之一是使用一個(gè)視覺(jué)系統(tǒng)和一個(gè)機(jī)電手組裝了一個(gè)T型福特賽車水泵。斯坦福大學(xué)的另一個(gè)機(jī)器人項(xiàng)目使用了一輛配備了立體視覺(jué)的輪式車輛來(lái)繞過(guò)各種障礙物導(dǎo)航(非常慢!)在實(shí)驗(yàn)室里。

      在20世紀(jì)60年代末和70年代,SAIL是一個(gè)光輝的例子,說(shuō)明了一個(gè)擁有足夠的資金、強(qiáng)大的計(jì)算機(jī)、外圍設(shè)備(如顯示設(shè)備和打印機(jī))和相關(guān)軟件的社區(qū)可以取得的成就。SAIL項(xiàng)目所需的大部分設(shè)備和軟件都是在SAIL開(kāi)發(fā)的。約翰的'管理'圣人的哲學(xué)是讓一千朵花開(kāi)花。他經(jīng)常給人們關(guān)于如何解決問(wèn)題的好建議,但如果他們以不同的方式解決并成功,他們就不會(huì)得到他的麻煩。圖形用戶界面和打印機(jī)、計(jì)算機(jī)排版和出版、語(yǔ)音識(shí)別、計(jì)算機(jī)視覺(jué)和機(jī)器人、計(jì)算機(jī)音樂(lè)和其他技術(shù)的基礎(chǔ),現(xiàn)在是我們?nèi)粘I畹囊徊糠?,都始于SAIL在斯坦福的設(shè)施。SAIL也是ARPAnet上的首批節(jié)點(diǎn)之一,它是現(xiàn)代互聯(lián)網(wǎng)的先驅(qū)。隨著時(shí)間的推移,SAIL培養(yǎng)了許多博士學(xué)位和其他畢業(yè)生。計(jì)算機(jī)協(xié)會(huì)頒發(fā)的16項(xiàng)圖靈獎(jiǎng)被授予了與SAIL有關(guān)的人。

      麥卡錫對(duì)他在人工智能方面的進(jìn)展評(píng)價(jià)總是很謙虛,他認(rèn)為在1974年推出人工智能項(xiàng)目之前,需要有許多發(fā)現(xiàn)和發(fā)明才能讓機(jī)器人達(dá)到了人類思維和推理能力的一般水平。1973年,麥卡錫在回顧詹姆斯·萊特希爾爵士的人工智能評(píng)估時(shí)承認(rèn)了這一點(diǎn):

      到目前為止,人工智能研究只是適度的成功;它的進(jìn)步速度可能大于大多數(shù)社會(huì)科學(xué),而低于許多物理科學(xué)。考慮到問(wèn)題的困難,這可能是意料之中的。

      他認(rèn)為,在能夠在機(jī)器上復(fù)制智能之前,我們必須了解更多關(guān)于人類智能是如何工作的,他寫(xiě)道:'不幸的是,我們對(duì)人類心理過(guò)程的理解只比魚(yú)對(duì)游泳的理解稍微好一點(diǎn)。'

      約翰是一個(gè)古希臘語(yǔ)意上的哲學(xué)家:一個(gè)熱愛(ài)智慧的人。就像古希臘人在市場(chǎng)上辯論哲學(xué)一樣,約翰的競(jìng)技場(chǎng)是公告板、時(shí)事通訊和網(wǎng)絡(luò)的電子市場(chǎng)。他的一些Usenet交互可以在谷歌組維護(hù)的檔案中找到。他對(duì)言論自由特別充滿熱情。當(dāng)斯坦福政府限制了一些斯坦福電腦訪問(wèn)這個(gè)叫做rec. humor.funny的笑話通訊,約翰組織了一份請(qǐng)?jiān)笗?shū)來(lái)恢復(fù)它。奧巴馬政府最終還是讓步了。約翰的許多作品都包含在他的網(wǎng)頁(yè)上的備忘錄和其他材料中,這些材料都可以在http://www-formal./jmc查閱。

      除了他在人工智能和計(jì)算機(jī)科學(xué)方面的工作,麥卡錫還對(duì)人工智能、哲學(xué)和認(rèn)知科學(xué)之間的聯(lián)系非常感興趣。他在自己的一個(gè)網(wǎng)頁(yè)上寫(xiě)道:'事實(shí)證明,當(dāng)考慮到如何設(shè)計(jì)機(jī)器人時(shí),許多哲學(xué)問(wèn)題都采取了新的形式。'例如,為了實(shí)現(xiàn)人類一級(jí)的性能,一個(gè)程序必須:

      在其中建立了知識(shí)和如何獲得的概念,此外,它的設(shè)計(jì)師將需要對(duì)自由意志的看法,它可以做什么的元信息,它需要有對(duì)于自由意志的態(tài)度,如果程序被保護(hù),不執(zhí)行不道德的行為,它的設(shè)計(jì)師將必須建立一種態(tài)度。

      考慮到這些因素,必然需要考慮到在認(rèn)識(shí)論、意識(shí)和倫理學(xué)方面的立場(chǎng)。

      麥卡錫、大多數(shù)人工智能研究人員和許多哲學(xué)家都認(rèn)為,所有的動(dòng)物,包括人類,都是確定性的機(jī)器。例如,有些人擔(dān)心機(jī)器無(wú)法擁有自由意志。據(jù)麥卡錫說(shuō),自由意志包括考慮不同的行動(dòng)方針,并有能力在其中做出選擇。他引用他的女兒莎拉的話總結(jié)了自己對(duì)人類自由意志的立場(chǎng)。莎拉四歲時(shí)的話說(shuō):'我可以,但我不會(huì)。'即使有些國(guó)際象棋項(xiàng)目也有這種自由意志(即使它們是完全確定性的)。在兩份備忘錄中,麥卡錫聲稱,有用的機(jī)器人也需要自由意志。關(guān)于意識(shí),麥卡錫認(rèn)為'思考意識(shí)以設(shè)計(jì)意識(shí),為哲學(xué)家研究的一些意識(shí)問(wèn)題提供了一種新的方法。特別是,從人工智能的角度來(lái)看,意識(shí)必須被視為一個(gè)相互作用的過(guò)程的集合,而不是許多哲學(xué)推測(cè)的單一對(duì)象。但他也認(rèn)為,機(jī)器人不應(yīng)該被編程為有情感的。

      盡管麥卡錫在他的早期生活中就有激進(jìn)和自由主義的觀點(diǎn),但他后來(lái)變得相當(dāng)保守。他與環(huán)保人士就許多問(wèn)題進(jìn)行了辯論,包括核能和人口。他強(qiáng)烈堅(jiān)持認(rèn)為,人類的物質(zhì)進(jìn)步是可取的和可持續(xù)的。在他的網(wǎng)頁(yè)上,他寫(xiě)到了一般能源、核能、太陽(yáng)能、食物供應(yīng)、人口、淡水供應(yīng)、森林和木材供應(yīng)、全球工程、污染、生物多樣性、對(duì)人類生存的各種威脅、意識(shí)形態(tài)在討論這些問(wèn)題中的作用和其他問(wèn)題。如果你要在這些問(wèn)題上和他辯論,你必須掌握你的事實(shí),因?yàn)樗懒恕?/p>

      麥卡錫多次訪問(wèn)了蘇聯(lián),并且學(xué)會(huì)了俄語(yǔ),他與那里的幾位計(jì)算機(jī)科學(xué)家建立了友誼。海耶斯和莫根斯特恩寫(xiě)道:

      1968年,他在新西伯利亞郊區(qū)的阿卡德姆哥羅多克和新西伯利亞教了兩個(gè)月的書(shū)。1975年,他幫助獲得了控制論研究人員,并拒絕蘇聯(lián)官員允許亞歷山大·勒納參加第四屆國(guó)際會(huì)議和演講,20世紀(jì)80年代,他將一臺(tái)傳真和復(fù)印機(jī)走私給了語(yǔ)言學(xué)家和蘇聯(lián)持不同政見(jiàn)者拉里莎·博戈拉茲。

      約翰對(duì)自己的工作非常誠(chéng)實(shí),人工智能作為一個(gè)領(lǐng)域偶爾會(huì)被指責(zé)過(guò)度推銷自己,但這當(dāng)然不是麥卡錫的所期望的。

      麥卡錫不喜歡官僚主義。他認(rèn)為,至少有98%的官僚機(jī)構(gòu)可以被消除,從而減少98%的愚蠢行為。約翰自己的企業(yè)反映了他對(duì)精簡(jiǎn)(或缺席)政府的看法。20世紀(jì)80年代中期,當(dāng)他和拉爾夫·戈林為所有斯坦福學(xué)生建立了第一個(gè)可以使用的計(jì)時(shí)計(jì)算機(jī)系統(tǒng)時(shí),它被稱為L(zhǎng)OTS,用于低開(kāi)銷分時(shí)系統(tǒng)。它由一兩名兼職學(xué)生管理。

      約翰·麥卡錫的許多獎(jiǎng)項(xiàng)包括計(jì)算機(jī)協(xié)會(huì)的圖靈獎(jiǎng)(1971)、第一屆國(guó)際人工智能聯(lián)合會(huì)議卓越研究獎(jiǎng)(1985)、京都獎(jiǎng)(1988)、國(guó)家科學(xué)獎(jiǎng)?wù)?1990)、本杰明·富蘭克林計(jì)算機(jī)和認(rèn)知科學(xué)獎(jiǎng)?wù)?2003),以及美國(guó)藝術(shù)與科學(xué)院(1974)、國(guó)家工程學(xué)院(1987)和國(guó)家科學(xué)院(1989)的會(huì)員資格。他是人工智能促進(jìn)會(huì)的創(chuàng)始研究員和前任主席。1987年,他被斯坦福大學(xué)任命為查爾斯·皮戈特工程學(xué)教授。

      他的許多博士學(xué)生,以及他提過(guò)建議的學(xué)生,包括(按字母順序排列)埃亞爾·阿米爾、魯澤娜·蘭德納·戴維斯、蘭德?tīng)枴た频聽(tīng)柛窳?、拉馬納坦訴古哈、唐納德·卡普拉、庫(kù)爾特·科諾利奇、芭芭拉·休伯曼·利斯科夫莫斯、羅伯特、弗朗西斯·莫里斯、阿拉蒂·馬蒂諾、大衛(wèi)·e·威爾金斯和拉杰·雷迪。其中兩位(利斯科夫雷迪)隨后被授予了ACM圖靈獎(jiǎng)。

      關(guān)于宗教,約翰寫(xiě)道:

      為了回應(yīng)理查德·道金斯,我提到我確實(shí)是一個(gè)無(wú)神論者。把自己視為無(wú)神論者,并不需要聲稱有證據(jù)證明沒(méi)有神存在。一個(gè)人只需要認(rèn)為關(guān)于上帝問(wèn)題的證據(jù)與關(guān)于狼人問(wèn)題的證據(jù)處于大致相同的境地。

      約翰·麥卡錫于2011年10月24日因心臟病并發(fā)癥在斯坦福大學(xué)的家中去世。他身后留下了第三任妻子,斯坦福大學(xué)的卡羅琳·塔爾科特;兩個(gè)女兒,舊金山的蘇珊·麥卡錫和加州內(nèi)華達(dá)州的莎拉·麥卡錫;一個(gè)兒子,斯坦福的蒂莫西·塔爾科特·麥卡錫;洛杉磯的兄弟帕特里克;兩個(gè)孫子,舊金山的凱蒂·麥卡錫和紐約的約瑟夫·岡瑟;還有他的第一任妻子瑪莎·郊特。他的第二任妻子薇拉·沃森于1978年在尼泊爾試圖攀登安納普爾納時(shí)死于一場(chǎng)登山事故。

      約翰·麥卡錫是一個(gè)天才,頑皮幽默而具風(fēng)度,以及他對(duì)更深入思考的不懈努力,將被他的同事、家人和許多朋友深深懷念。幸運(yùn)的是,從他的網(wǎng)頁(yè)上還有很多東西可以查閱(http://www-formal./jmc/)。

        本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購(gòu)買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
        轉(zhuǎn)藏 分享 獻(xiàn)花(0

        0條評(píng)論

        發(fā)表

        請(qǐng)遵守用戶 評(píng)論公約

        類似文章 更多