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