計算語言學歷史年表
副標題:從規則法到統計法,再到大型語言模型——一場持續七十年的「讓機器讀懂人話」運動。
每一個條目對應本目錄中的一篇「推理探案」風格 wiki:年份-標題.md
第一幕:規則法的誕生(1950–1975)
| 年份 | 事件 | wiki |
| 1950 | Turing 在《Computing Machinery and Intelligence》提出模仿遊戲(圖靈測試),並首次討論「機器翻譯」與字典攻擊的困境 | 1950-圖靈測試與機器翻譯之問 |
| 1954 | Georgetown-IBM 實驗:60 句俄譯英的公開展示,機器翻譯(MT)的第一聲號角——也是第一次「過度承諾」 | 1954-GeorgetownIBM實驗 |
| 1956 | Chomsky 發表《Three Models for the Description of Language》:定義語言的層級(regular ⊂ context-free ⊂ context-sensitive ⊂ unrestricted),為計算語言學提供數學骨架 | 1956-Chomsky語言層級 |
| 1957 | Chomsky 出版《Syntactic Structures》:轉換生成語法誕生,「英語句子不能用有限狀態機描述」的論證改寫了 NLP 的方向 | 1957-SyntacticStructures |
| 1965 | Chomsky 出版《Aspects of the Theory of Syntax》:深層結構/表層結構、普遍語法、能力/表現之分——規則法的理論高峰 | 1965-Aspects與轉換生成語法 |
| 1970 | Jay Earley 發表 Earley 剖析器:O(n³) 的上下文無關文法解析演算法,Chart parsing 的經典 | 1970-Earley剖析器 |
| 1970 | Terry Winograd 在 MIT 完成 SHRDLU:積木世界中的自然語言對話系統,規則法(LISP + 語法 + 語義 + 推理整合)的巔峰之作 | 1970-SHRDLU |
| 1970 | William Woods 發明 ATN(Augmented Transition Networks):在有限狀態機上掛暫存器與遞迴,突破 Chomsky 對有限狀態模型的否定 | 1970-WoodsATN |
| 1972 | Roger Schank 提出「概念依存理論」(Conceptual Dependency):語義表達的跨語言表示法,腳本(script)的先聲 | 1972-Schank概念依存 |
| 1975 | Gerald Salton 發表「向量空間模型」與 TF-IDF 加權:文件 = 向量、相似度 = 餘弦,資訊檢索(IR)的數學基礎——也是日後詞向量的先聲 | 1975-向量空間模型與TFIDF |
| 1990 | Elman 發表《Finding Structure in Time》:循環神經網路(RNN)讓時間進入神經網路,隱層聚類自動浮現語法類別——詞向量的先聲 | 1990-Elman循環神經網路 |
| 1997 | Hochreiter 與 Schmidhuber 發表 LSTM:細胞狀態+三個門破解梯度消失,統治序列建模 20 年 | 1997-LSTM長短期記憶 |
第二幕:規則法黃金期的尾聲與統計革命的號角(1975–1990)
| 年份 | 事件 | wiki |
| 1975 | Minsky 發表《A Framework for Representing Knowledge》(框架理論):用 frame/slot/filler 表達常識,知識表示法的另一支柱 | 1975-Minsky框架理論 |
| 1985 | George Miller 普林斯頓團隊開始建構 WordNet:以同義詞集合(synset)與語義關係組織 15 萬詞彙——第一個大規模機器可讀詞庫 | 1985-WordNet |
| 1988 | Kenneth Church 使用 HMM 做詞性標記(part-of-speech tagging):統計方法第一次在真實 NLP 任務上擊敗規則法 | 1988-HMM詞性標記 |
| 1988 | IBM 的 Brown 團隊發表《A Statistical Approach to Machine Translation》:IBM Model 1-2,統計機器翻譯(SMT)誕生——Candide 計劃的前奏 | 1988-Brown統計機器翻譯 |
第三幕:統計革命全面勝利(1990–2003)
| 年份 | 事件 | wiki |
| 1993 | Brown 等人發表《The Mathematics of Statistical Machine Translation》(Computational Linguistics 19(2)):IBM Model 1-5 完整數學(EM 演算法、對齊模型),統計法正式取代規則法 | 1993-IBMModel15與EM演算法 |
| 2001 | Lafferty 等人(CMU)發表 CRF(條件隨機場):判別式序列標記,解決 HMM 的標記偏誤(label bias) | 2001-CRF條件隨機場 |
| 2002 | Papineni 等人(IBM)發表 BLEU 評估指標:n-gram 精確率的機器翻譯自動評分,NLP 評估的標準化 | 2002-BLEU評估 |
第四幕:表示學習與神經轉折(2003–2016)
| 年份 | 事件 | wiki |
| 2003 | Yoshua Bengio 發表《A Neural Probabilistic Language Model》:用神經網路學詞向量與 n-gram 分佈,「詞 = 向量」的轉折點 | 2003-Bengio神經語言模型 |
| 2013 | Mikolov 等人(Google)發表 Word2Vec:skip-gram 與 CBOW,word2vec 的向量算術(king - man + woman ≈ queen)讓「詞語義 = 向量空間幾何」爆紅 | 2013-Word2Vec |
| 2014 | Cho 等人發表 GRU(門控循環單元)與 RNN Encoder-Decoder:兩個門的輕量序列建模,NMT 的孿生起點 | 2014-GRU門控循環單元 |
| 2014 | Sutskever 等人發表 Seq2Seq、Bahdanau 等人發表注意力機制(attention):編碼器-解碼器架構讓神經機器翻譯(NMT)一舉超車 SMT | 2014-Seq2Seq與注意力機制 |
| 2016 | Google 宣布 GNMT(神經機器翻譯)全面上線,翻譯錯誤率下降 60%——統計機器翻譯時代落幕 | 2016-GNMT神經機器翻譯上線 |
| 年份 | 事件 | wiki |
| 2017 | Vaswani 等人(Google)發表《Attention Is All You Need》:Transformer 架構(self-attention、multi-head、位置編碼),拋棄 RNN/CNN | 2017-Transformer |
| 2018 | ELMo(Peters 等人)與 BERT(Devlin 等人,Google):雙向預訓練 + fine-tuning 範式,「預訓練-微調」成為 NLP 標準流程 | 2018-BERT與預訓練範式 |
| 2020 | OpenAI 發表 GPT-3(1750 億參數)與 Kaplan 等人的縮放定律(scaling laws):zero-shot/few-shot 學習,「規模就是能力」 | 2020-GPT3與縮放定律 |
| 2022 | OpenAI 發布 ChatGPT(GPT-3.5 + RLHF):對話式 AI 進入億級使用者日常;NLP 從「任務專用模型」轉向「通用助理」 | 2022-ChatGPT與RLHF |
| 2020s | 多模態與代理時代:GPT-4V、Claude、Gemini 的視覺+語言;RAG(檢索增強生成)與工具呼叫(function calling);LLM 作為「推理引擎」引發對 Chomsky「語言能力 vs 大模型」的世紀辯論——計算語言學七十年後,回到圖靈 1950 年的原點:機器到底能不能「懂」語言? | 2020s-多模態與RAG時代 |
主線索回顧(偵探筆記)
- 規則 vs 統計:Chomsky 的層級給了規則法數學骨架(1956-1975),但規則法在真實世界的雜訊面前节節敗退——1988 年 HMM 詞性標記與 IBM SMT 是兩次致命一擊。
- 語義的表達:從 Schank 的概念依存、Minsky 的框架、WordNet 的同義詞集,到 TF-IDF 向量、Word2Vec 的幾何——「語義 = 向量」路線最終全面勝利。
- 評估與數據:BLEU(2002)讓 MT 可以自動評分;大語料(Brown Corpus 1961、Google Books)讓統計法有彈藥——沒有數據就沒有革命。
- 表示學習:Bengio 2003 的神經語言模型是種子,Word2Vec(2013)讓它發芽,Seq2Seq(2014)讓它開花,Transformer(2017)讓它結果。
- 規模與湧現:縮放定律(2020)證明「更多資料 + 更多參數 = 更強能力」;RLHF(2022)把「能力」轉成「可用性」——LLM 時代的核心方程。
關鍵人物
- Alan Turing:模仿遊戲、機器翻譯之問
- Noam Chomsky:語言層級、轉換生成語法
- Jay Earley:Earley 剖析器
- Terry Winograd:SHRDLU
- William Woods:ATN
- Roger Schank:概念依存理論
- Gerald Salton:向量空間模型、TF-IDF
- Marvin Minsky:框架理論
- George Miller:WordNet
- Kenneth Church:HMM 詞性標記
- Peter Brown / IBM 團隊:統計機器翻譯、IBM Model 1-5
- John Lafferty:CRF
- Kishore Papineni:BLEU
- Yoshua Bengio:神經語言模型、注意力
- Jeffrey Elman:RNN/循環神經網路
- Sepp Hochreiter / Jürgen Schmidhuber:LSTM
- Kyunghyun Cho:GRU、RNN Encoder-Decoder
- Tomas Mikolov:Word2Vec
- Ilya Sutskever / Dzmitry Bahdanau:Seq2Seq、注意力
- Ashish Vaswani:Transformer
- Jacob Devlin:BERT
- Alec Radford / Jared Kaplan:GPT、縮放定律
- Paul Christiano / Jan Leike:RLHF