John McCarthy:計(jì)算機(jī)科學(xué)領(lǐng)域的杰出人物
一、John McCarthy
John McCarthy 于 1927 年 9 月 4 日出生在美國(guó)馬薩諸塞州波士頓,2011 年 10 月 24 日逝世。他是一位杰出的計(jì)算機(jī)科學(xué)家與認(rèn)知科學(xué)家。學(xué)術(shù)方面,1948 年在加州理工學(xué)院獲數(shù)學(xué)學(xué)士學(xué)位,1951 年于普林斯頓大學(xué)取得數(shù)學(xué)博士學(xué)位,先后在普林斯頓大學(xué)、斯坦福大學(xué)、達(dá)特茅斯學(xué)院和麻省理工學(xué)院等知名學(xué)府任職。他在計(jì)算機(jī)科學(xué),尤其是人工智能領(lǐng)域成就斐然。
John McCarthy 成長(zhǎng)于一個(gè)政治色彩濃厚且鼓勵(lì)學(xué)習(xí)與批判性思維的家庭,父親是愛爾蘭天主教移民,母親是立陶宛猶太移民。中學(xué)時(shí)他自學(xué)加州理工大學(xué)低年級(jí)微積分課程,大學(xué)時(shí)能免修頭兩年數(shù)學(xué)課程,學(xué)術(shù)興趣被馮?諾依曼的報(bào)告激發(fā),踏上人工智能探索之路。
二、John McCarthy 的主要成就
-
人工智能概念的提出
-
1955 年為達(dá)特茅斯會(huì)議撰寫建議書(與他人合作),提出 “Artificial Intelligence”,被視為人工智能學(xué)科誕生標(biāo)志。1956 年達(dá)特茅斯會(huì)議確立研究目標(biāo),使其從模糊概念成為獨(dú)立經(jīng)驗(yàn)科學(xué)。
-
-
Lisp 編程語言的發(fā)明
-
1958 年發(fā)明 Lisp 編程語言,1960 年發(fā)表設(shè)計(jì)。Lisp 是最早廣泛用于人工智能的編程語言,基于 λ- 演算,有獨(dú)特特性,為人工智能編程提供靈活性,被廣泛使用,其創(chuàng)新被其他語言借鑒。
-
-
推動(dòng)項(xiàng)目發(fā)展與實(shí)驗(yàn)室建立
-
助力麻省理工學(xué)院的 MAC 項(xiàng)目,1962 年到斯坦福大學(xué),協(xié)助建立斯坦福人工智能實(shí)驗(yàn)室,1964 年成為主任,提出情景演算理論。
-
-
技術(shù)概念的倡導(dǎo)
-
1960 年左右提出計(jì)算機(jī)分時(shí)概念,是現(xiàn)代計(jì)算機(jī)操作系統(tǒng)多任務(wù)處理等特性的先驅(qū)。1959 年發(fā)表《具有常識(shí)的程序》,向常識(shí)邏輯推理難題進(jìn)發(fā)。
-
三、John McCarthy 對(duì)計(jì)算機(jī)科學(xué)的影響
-
對(duì)人工智能學(xué)科發(fā)展的奠基性影響
-
20 世紀(jì)中葉提出人工智能概念,為計(jì)算機(jī)科學(xué)開辟新方向,吸引眾多科學(xué)家研究,使其成為重要分支,涉及眾多子領(lǐng)域,在科技發(fā)展中舉足輕重,應(yīng)用廣泛。
-
-
對(duì)編程語言發(fā)展的深遠(yuǎn)影響
-
Lisp 語言為函數(shù)式編程語言樹立標(biāo)桿,啟發(fā)新語言設(shè)計(jì),帶動(dòng)人工智能編程發(fā)展,為后續(xù)編程框架及工具奠定基礎(chǔ),其特性對(duì)其他語言有啟示作用。
-
-
在計(jì)算機(jī)理論和概念革新方面的突出貢獻(xiàn)
-
分時(shí)概念改變計(jì)算機(jī)資源使用觀念,提高效率,推動(dòng)操作系統(tǒng)發(fā)展,成為現(xiàn)代操作系統(tǒng)設(shè)計(jì)重要組成部分。對(duì)計(jì)算機(jī)常識(shí)推理的研究為其向更高級(jí)能力發(fā)展提供早期理論基礎(chǔ)和思想引領(lǐng)。
-
四、John McCarthy 的相關(guān)著作
以論文形式呈現(xiàn)成果,如 1959 年《具有常識(shí)的程序》,圖靈獎(jiǎng)演說題為人工智能,對(duì)人工智能研究和探索有重要價(jià)值。
五、John McCarthy 的生平故事
-
早期學(xué)習(xí)與啟發(fā)
-
青少年時(shí)期自學(xué)大學(xué)低年級(jí)微積分課程,1944 年入學(xué)免修前兩年數(shù)學(xué)課程,1948 年獲數(shù)學(xué)學(xué)士學(xué)位。在校期間參加研討會(huì),受諾伊曼報(bào)告激發(fā),攻讀普林斯頓大學(xué)數(shù)學(xué)博士學(xué)位并研究機(jī)器智能。
-
-
人工智能概念的萌芽與發(fā)展
-
1955 年聯(lián)合他人發(fā)起達(dá)特茅斯項(xiàng)目,提出 “人工智能” 概念,1956 年項(xiàng)目啟動(dòng),雖未解決具體問題但確立目標(biāo),此后他持續(xù)鉆研,發(fā)明 Lisp 語言,發(fā)布《具有常識(shí)的程序》,應(yīng)對(duì)常識(shí)邏輯推理難題。
-
-
工作經(jīng)歷與機(jī)構(gòu)建設(shè)
-
在多所學(xué)府工作,推動(dòng)麻省理工學(xué)院的 MAC 項(xiàng)目,后到斯坦福大學(xué)協(xié)助建立實(shí)驗(yàn)室,擔(dān)任主任,提出情景演算理論,在此期間開展多項(xiàng)研究,影響學(xué)術(shù)氛圍和研究方向,培養(yǎng)人才,使實(shí)驗(yàn)室成為前沿陣地。
-
六、John McCarthy 獲得的獎(jiǎng)項(xiàng)
-
圖靈獎(jiǎng)
-
1971 年因在人工智能領(lǐng)域多方面貢獻(xiàn)獲獎(jiǎng),是對(duì)其成就的高度認(rèn)可,象征卓越地位,推動(dòng)行業(yè)發(fā)展,激勵(lì)后人探索。
-
-
美國(guó)國(guó)家科學(xué)獎(jiǎng)
-
1991 年獲獎(jiǎng),是美國(guó)授予科學(xué)家的最高榮譽(yù)之一,彰顯其研究成果和貢獻(xiàn)的影響力,表明其對(duì)計(jì)算機(jī)科學(xué)技術(shù)體系構(gòu)建的貢獻(xiàn)獲國(guó)家和科學(xué)界認(rèn)可。
-
-
IJCAI 頒發(fā)的第一屆 Research Excellence Award
-
1985 年獲獎(jiǎng),是國(guó)際人工智能聯(lián)合大會(huì)的獎(jiǎng)勵(lì),肯定其在國(guó)際人工智能界的影響力和長(zhǎng)期貢獻(xiàn),證明其權(quán)威地位,激勵(lì)年輕從業(yè)者。
-