| 西元前400 |
Aristotle(亞理斯多德) |
提出三段式論，為人類理性開啟了一個可計算的時代 |
| 1561-1626 |
Francis Bacon (培根) |
歸納法 |
| 1815-1864 |
George Boole |
發展 Boolean Algebra |
| 1848-1925 |
Gottlob Frege |
發展 First Order Logic |
| 1900 |
David Hilbert |
提出 Entschedidung Problem, 問：是否所有為真的 Theorem 都是可以證明的 ？ |
| 1912-1954 |
Darwin (達爾文) |
出版物種原始一書, 提出天擇說理論, 建立生物學的基礎 |
| 1929 |
Presburger |
(N, 0, S, +, <) 是 Consistent and Complete. |
| 1931 |
Kurt Godel |
提出 Incomplete Theorem, 證明並非所有的 True Theorem 都是可証明的 |
|
Friedberg-Muchnik |
利用 injury-method 證明 there are many Language classes between recursive and recursive enumerable complete. |
| 1931 |
摩爾根 |
作出果蠅基因的座落圖 |
| 1931 |
Alan Turing |
1. 建構 Turing Machine 理論, 發現 Undecidabile Problem, 為計算理論奠定了基礎。2. 提出 Turing Test 為智慧型系統下一個操作型定義 |
| 1940 |
Alen Turing |
領導建立一個破解德軍密碼的機器 - 命名為 Heath Robinson |
| 1941 |
Church |
提出 Lambda Calculus, 奠定的 function 學派的理論基礎 |
| 1941 |
Konrad Zuse |
in Germany, 建構了第一台 Programmable Computer Z-3 並採用浮點數 |
| 1943 |
Warren McCalloch and Walter Pitts |
提出人工神經元(artifical neuron) 模型, 成為 Neural Network 的開路先鋒 |
| 1943 |
John VonNeumamn |
首先提出 stored program 的觀念, 並使用在 EDVAC 上 |
| 1948 |
Shannon |
提出 Entropy 的定義，並以 Entropy 的降低為 Information 的定義, 為 Information Theory 奠定基礎 |
| 1951 |
Marvin Minsky and Dean Edmonds |
建造了第一台 Neural Network Computer |
| 1952 |
IBM |
IBM 生產製造 IBM 701 |
| 1953 |
Fancis Crick and James Watson |
發現 DNA 的蛋白質結構 |
| 1956 |
John McCarthy |
提出 Alpha-Beta search |
| 1956 |
Allen Newell and Herbert Simon |
設計 Logic Theroist Program, 證明 Russell and Whitehead 在 Principia Mathematica 中第二章所提出的許多證明 |
| 1957 |
Noam Chromsky |
提出 Syntactic Structure 理論, 成為現代語言學與計算語言學的基礎 |
| 1958 |
Friedberg |
提出 Machine Evolution Program (Genetic Algorithm) , 是第一個模擬天擇理論的程式 |
| 1958 |
John McCarthy |
1. 以 lambda calculus 為基礎, 創造 Lisp 語言, 成為 AI 最通用的基本語言 2. 發表論文 Program with Common Sense , 促成 Knowledge base 的進步與 Expert system 的盛行 |
| 1958 |
Alfred Tarski |
建構 Tarski world, 將 Logic Object 對映到 Real World Object |
| 1960 |
Newell |
設計 Chess program NSS 使用 Alpha-Beta Search |
| 1960 |
Marvin Minsky and Papert |
在 Perceptron 一書中, 證明 Single layer Perceptron 無法解決 XOR 問題, 致使 Neural Network 被忽視達數十年之久 |
| 1960 |
Dantzig and Edmond |
提出 Reduction 的觀念 |
| 1962 |
Berrie Widrow and Hoff |
設計 adalines 系統, 為第一個運用 Hebb's rule 的系統 |
| 1962 |
Frank Rosenblatt |
提出 Perceptron 架構, 並證明 Perceptron Convergence Theorem, 為第一個有理論基礎的 Neural Network |
| 1963 |
AJ.A.Robinson |
提出 Resolution method (a complete theorem-proving algorithm for first-order logic), 成為 prolog 語言的基礎 |
| 1963 |
Marvin Minsky |
開始 Microworlds 系列的實驗 |
| 1963 |
Ed. Feigenbaum |
開始 Heuristic Programming Project, 成為第一個無確定理論領域的 Expert Systems, 運用 certainty factor (a calculus of uncertainty) 發展 MYCIN |
| 1964 |
Cobham and Edmond |
強調以 Polynomial v.s. Exponential 作為 Tractable, Intractable problem 的分界 |
| 1966 |
Dahl, O and Nygard K. |
創造 SIMULA 語言, 引入類別的概念 |
| 1969 |
Bryson, A.E. and Ho |
在 Applied Optimal Control 書中提出 Back Propagation Algorithm |
|
Cohen |
Axiom of Choice (AC) D = { x in S : x not in Ax } is constructable.證明若 Zermel-Frankel 的集合論公設 ZF 是 consistent 則 ZF + AC is consistent 且 ZF + -AC is consistent |
| 1969 |
Ed. Feigenbaum, Bruce Buchanan, Joshua Lederberg |
設計 DENDRAL program 成為第一個 Knowldege-intensive system |
| 1971 |
Steven Cook and Richard Karp |
提出 NP-complete class |
| 1972 |
E.F. Codd |
提出 Database 的第一、二、三正規式, 成為 Relational Database 的正規化基礎 |
| 1974 |
D. D. Chamberlin and R.F. Boyce in IBM research center |
提出 SEQUEL (SQL) 語言, 成為 relational database 的主要語言 |
| 1975 |
Marvin Minsky |
提出 Frame 的概念 |
| 1976 |
Apple |
發展出個人電腦, Apple 公司成立 |
| 1981 |
Japenese |
提出第五代電腦計畫 (Fifth Generation), 使 AI 成為顯學 |
| 1982 |
Hopfield |
提出 Hopfield Network, 使用 Neural Network 來做 optimization |
| 1985 |
Marvin Minsky |
在 The Society of Mind 一書中, 提出 Agent 的觀念 |
| 1986 |
Rumdlhart, Hinton and Williams |
重新提出 Back Propagation 演算法, Neural Network 起死回生 |
| 1990 |
|
物件導向風潮 |
| 1995 |
|
Internet WWW 盛行 |
Post preview:
Close preview