Formalizing Common Sense 在線電子書 圖書標籤: AI 人工智能 John_mccarthy
發表於2024-11-26
Formalizing Common Sense 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
John McCarthy[1927-]
1927年9月4日生於美國波士頓,計算機科學傢與認知科學傢。
--1948年,加州理工,數學學士
--1951年,普林斯頓大學,數學博士
--1956年Dartmouth會議的發起人(該會議被視為AI作為一門學科誕生的標誌),1955年在為該會議寫的建議書(與Minsky,Rochester和Shannon一同撰寫)中提齣Artificial Intelligence一詞,從而被視為“人工智能之父”。
--1958,發明Lisp編程語言(該語言至今仍在人工智能領域廣泛使用)
--1960左右,提齣計算機分時(time-sharing)概念
--1962~2000(退休),斯坦福大學計算機係教授,後期工作主要關注常識和非單調推理。
--1965~1980,斯坦福AI實驗室主任
--1971因對AI的貢獻獲圖靈奬。
--1985獲得IJCAI(the International Joint Conference on Artificial Intelligence)頒發的第一屆"Research Excellence Award"(可看作是AI的終身成就奬)
--1990年獲得“美國國傢科學奬(National Medal of Science Award)”
維基頁麵 http://en.wikipedia.org/wiki/John_McCarthy_(computer_scientist)
個人主頁 http://www-formal.stanford.edu/jmc/
1990年齣版
書內文章可以從John McCarthy的主頁http://www-formal.stanford.edu/jmc/下載
評分
評分
評分
評分
Formalizing Common Sense 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024