Lisp語言發(fā)明者、人工智能之父John McCarthy去世
Lisp語言***、“人工智能之父”John Maccarthy今天與世長辭。
以下是關(guān)于這位計(jì)算機(jī)大師的簡介：
-1927年生于美國波士頓
-1948年，加州理工，數(shù)學(xué)學(xué)士
-1951年，普林斯頓大學(xué)，數(shù)學(xué)博士
-1956年Dartmouth會議的發(fā)起人(該會議被視為AI作為一門學(xué)科誕生的標(biāo)志)
-1955年在為該會議寫的建議書中提出Artificial Intelligence一詞，從而被視為“人工智能之父”
-1958，發(fā)明Lisp編程語言(該語言至今仍在人工智能領(lǐng)域廣泛使用)
-1960左右，提出計(jì)算機(jī)分時(shí)(time-sharing)概念
-1971因?qū)I的貢獻(xiàn)獲圖靈獎
–1985獲得IJCAI(the International Joint Conference on Artificial Intelligence)頒發(fā)的***屆”Research Excellence Award”(可看作是AI的終身成就獎)
-1990年獲得“美國國家科學(xué)獎”(National Medal of Science Award)
青少年時(shí)的McCarthy聰慧過人，初中時(shí)他根據(jù)一份加州理工大學(xué)的課程目錄自學(xué)完大學(xué)低年級微積分課程，也因此在1944年上大學(xué)時(shí)可以免修頭兩年大學(xué)數(shù)學(xué)，之后去普林斯頓大學(xué)研究生院繼續(xù)深造。
馮·諾依曼報(bào)告引發(fā)的好奇心
McCarthy的學(xué)術(shù)人生如何步入人工智能領(lǐng)域，還要從1948年9月的一次會議說起。當(dāng)時(shí)普林斯頓大學(xué)主辦了“行為的大腦機(jī)制西克森研討會”，計(jì)算機(jī)大師馮·諾依曼在會議上發(fā)布了一篇關(guān)于自復(fù)制自動機(jī)的論文。這次報(bào)告激發(fā)了當(dāng)時(shí)還是普林斯頓數(shù)學(xué)博士生麥卡錫的研究興趣，他敏銳地將機(jī)器智能與人的智能聯(lián)系起來，打算從事更深入的研究。第二年，麥卡錫幸運(yùn)地與馮·諾依曼一起工作，在大師的鼓勵和支持下，麥卡錫決定從在機(jī)器上模擬人的智能入手，主要研究方向定為計(jì)算機(jī)下棋。此后，為了減少計(jì)算機(jī)需要考慮的棋步，麥卡錫發(fā)明了著名的α-β搜索法，這一關(guān)鍵問題的解決有效減少了計(jì)算量，使其至今仍是解決人工智能問題中一種常用的高效方法。
一場會議中誕生的人工智能
1952年，麥卡錫認(rèn)識了貝爾實(shí)驗(yàn)室的香農(nóng)(信息論創(chuàng)始人)，在人工智能方面的若干深入探討之后，他們萌生召開一次研討會的共識。在洛克菲勒基金會的一筆微薄的贊助下，他們邀請到當(dāng)時(shí)哈佛大學(xué)的明斯基和IBM工程師羅徹斯特等幾位學(xué)者，參加這次具有里程碑達(dá)意義的達(dá)特茅斯會議。達(dá)特茅斯會議歷時(shí)兩個(gè)多月，***提出“人工智能”這一術(shù)語，并確立了可行的目標(biāo)和方法，這使得人工智能成為電腦科學(xué)一個(gè)獨(dú)立的重要分支，獲得了科學(xué)界的承認(rèn)。
Lisp語言和分時(shí)概念創(chuàng)始人
1958年，麥卡錫組建了世界上***個(gè)人工智能實(shí)驗(yàn)室。同年，麥卡錫發(fā)明了Lisp語言，這是人工智能界***個(gè)最廣泛流行的語言，至今仍有著廣泛應(yīng)用。Lisp語言與后來由1973年實(shí)現(xiàn)的邏輯式語言PROLOG并稱為人工智能的兩大語言。麥卡錫另一個(gè)卓越貢獻(xiàn)是1960年左右***次提出將計(jì)算機(jī)批處理方式改造成分時(shí)方式，這使得計(jì)算機(jī)能同時(shí)允許數(shù)十甚至上百用戶使用，極大地推動接下來的人工智能研究。他的研究成果最終實(shí)現(xiàn)了世界上最早的分時(shí)系統(tǒng)——基于IBM7094的CTSS和其后的MULTICS。
如今，人工智能已經(jīng)從實(shí)驗(yàn)室走進(jìn)日常生活，成為一門嚴(yán)肅經(jīng)驗(yàn)科學(xué)，引發(fā)了計(jì)算機(jī)使用方式的一場變革，其中McCarthy功不可沒，他深刻地改變了人們與電腦和互聯(lián)網(wǎng)的互動方式。
如今這位計(jì)算機(jī)大師已經(jīng)離去，我們緬懷他、感謝他!
原文：http://www.36kr.com/p/55716.html
【編輯推薦】
