人工智能大師.doc

人工智能大師 阿倫圖靈（Alan Turing）計算機科學(xué)理論創(chuàng)始人。1912年出生于英國倫敦，1954年去世。1936年發(fā)表論文“論可計算數(shù)及其在判定問題中的應(yīng)用”，提出圖靈機理論。1950年發(fā)表論文“計算機與智能”，闡述了計算機可以具有智能的想法，提出圖靈測試。1966年，為紀(jì)念圖靈的杰出貢獻(xiàn)，ACM（國際計算機協(xié)會）設(shè)立圖靈獎。 馬文明斯基（Marniv Lee Minsky）人工智能之父，框架理論的創(chuàng)立者，首位獲得圖靈獎的人工智能學(xué)者。1927年出生于美國紐約。1951年提出思維如何萌芽并形成的基本理論。1956年Dartmouth會議的發(fā)起人之一。1958年在MIT創(chuàng)建世界上第一個人工智能實驗室。1969年獲得圖靈獎，1975年首創(chuàng)框架理論。 約翰麥卡錫（John McCarthy）人工智能之父，LISP語言（一種人工智能語言）的發(fā)明人，首次提出AI的概念。1927年出生于美國波士頓。1956年發(fā)起Dartmouth會議，并提出了“人工智能”的概念。1958年與明斯基一起創(chuàng)建世界上第一個人工智能實驗室，并發(fā)明-剪枝算法。1959年開發(fā)LISP語言，開創(chuàng)邏輯程序研究，用于程序驗證和自動程序設(shè)計。1971年獲得圖靈獎。 赫伯特西蒙（Herbert A.Simon）符號主義學(xué)派的創(chuàng)始人，愛好廣泛的全能科學(xué)家，中國科學(xué)院外籍院士。1916年出生于美國的威斯康辛州。1943年在匹茲堡大學(xué)獲政治學(xué)博士學(xué)位，1969年因心理學(xué)方面的貢獻(xiàn)獲得杰出科學(xué)貢獻(xiàn)獎。1975年和他的學(xué)生艾倫紐厄爾共同獲得圖靈獎。1978年獲得諾貝爾經(jīng)濟(jì)學(xué)獎。1986年因行為學(xué)方面的成就獲得美國全國科學(xué)家獎?wù)隆?0世紀(jì)50年代至60年代初開發(fā)了世界上最早的啟發(fā)式程序“邏輯理論家”LT，證明了數(shù)學(xué)原理第二章中的全部定理，共計52個，開創(chuàng)了機器定理證明這一新的學(xué)科領(lǐng)域。1957年開發(fā)了IPL（Information Processing Language）語言，是最早的AI語言。1960年開發(fā)了“通用問題求解系統(tǒng)”GPS。1966年開發(fā)了最早的下棋程序之一MATER。1970年發(fā)展與完善了語義網(wǎng)絡(luò)的概念和方法。1970年提出了“物理符號系統(tǒng)假說”。70年代提出決策過程模型，該模型成為DSS(決策支持系統(tǒng))的核心內(nèi)容。艾倫紐厄爾(Allen Newell)符號主義學(xué)派的創(chuàng)始人之一，西蒙的學(xué)生與同事，1975年與西蒙同獲圖靈