人工智能與智能系統的先驅人物

阿倫·圖靈（AlanTuring）——計算機科學理論創始人。1912年出生於英國倫敦，1954年去世。1936年發表論文「論可計算數及其在斷定問題中的應用」，提出圖靈機理論。1950年發表論文「計算機與智能」，闡述了計算機能夠具備智能的想法，提出圖靈測試。1966年，爲記念圖靈的傑出貢獻，ACM（國際計算機協會）設立圖靈獎。 

馬文·明斯基（MarnivLee Minsky）——人工智能之父，框架理論的創立者，首位得到圖靈獎的人工智能學者。1927 年出生於美國紐約。1951年提出思惟如何萌芽並造成的基本理論。1956年Dartmouth會議的發起人之一。1958年在MIT建立世界上第一我的工智能實驗室。1969年得到圖靈獎，1975年獨創框架理論。

約翰·麥卡錫（John McCarthy）——人工智能之父，LISP語言（一種人工智能語言）的發明人，首次提出AI的概念。1927年出生於美國波士頓。1956年發起Dartmouth會議，並提出了「人工智能」的概念。1958年與明斯基一塊兒建立世界上第一我的工智能實驗室，併發明а-β剪枝算法。1959年開發LISP語言，開創邏輯程序研究，用於程序驗證和自動程序設計。1971年得到圖靈獎。 

赫伯特·西蒙（HerbertA.Simon）——符號主義學派的創始人，愛好普遍的全能科學家，×××外籍院士。1916年出生於美國的威斯康辛州。1943年在匹茲堡大學獲政治學博士學位，1969年因心理學方面的貢獻得到傑出科學貢獻獎。1975年和他的學生艾倫·紐厄爾共同得到圖靈獎。1978年得到諾貝爾經濟學獎。1986年因行爲學方面的成就得到美國全國科學家獎章。 

20世紀50年代至60年代初開發了世界上最先的啓發式程序「邏輯理論家」LT，證實了《數學原理》第二章中的所有定理，共計52個，開創了機器定理證實這一新的學科領域。1957年開發了IPL（Information Processing Language）語言，是最先的AI語言。1960年開發了「通用問題求解系統」GPS。1966年開發了最先的下棋程序之一MATER。1970年發展與完善了語義網絡的概念和方法。1970年提出了「物理符號系統假說」。70年代提出決策過程模型，該模型成爲DSS(決策支持系統)的核心內容。 

艾倫·紐厄爾(AllenNewell)——符號主義學派的創始人之一，西蒙的學生與同事，1975年與西蒙同獲圖靈獎。 

愛德華·費根鮑姆(EdwardA.Feigenbaum)——知識工程的提出者，大型人工智能系統的開拓者。

馮諾依曼--提到計算機之父，大多數人都會想到馮·諾依曼，然而馮·諾依曼本身卻把計算機之父的榮譽頒給阿蘭·圖靈，今年的端午節，就是這位馮·諾依曼眼中的計算機之父誕辰100週年記念日，生於1912年的圖靈，在整個計算機歷史畫卷中，無疑留下了一抹濃重的色彩，圖靈被後人稱爲「計算機科學之父、人工智能之父」。而其對德國英格瑪情報的破譯，對二戰戰局的影響也不容忽視。