2.2 反向傳播論文(1986)#
1986 年 10 月 9 日出版的《自然》(Nature)第 323 卷,刊出一篇僅五頁的論文:魯梅爾哈特、辛頓與威廉斯(Ronald Williams)合著的〈透過反向傳播誤差學習表徵〉(Learning representations by back-propagating errors)。這篇論文後來被引用超過十萬次,是神經網路歷史的分水嶺,也是深度學習時代的技術起點。
問題的由來#
多層網路的學習難題(見 1.3)在 1982–1985 年間被反覆啃咬:
- 核心困難是 credit assignment:誤差出現在輸出層,責任卻分散在所有隱藏層權重上;
- 1985 年辛頓與謝諾夫斯基剛完成 Boltzmann 機的學習規則(見 2.1),但那是隨機的、極慢的;
- 魯梅爾哈特提議回到確定性路線:如果每個單元是平滑可微的,那麼誤差對每個權重的偏導數就可以用鏈式法則逐層往回算;
- 三人合成的演算法:前向計算輸出、反向逐層分配誤差 \(w \leftarrow w - \eta \frac{\partial E}{\partial w}\)。
嚴格說,不是發明#
必須誠實記錄優先權的複雜性——反向傳播是一個被「重新發現」多次的演算法:
- 1970 年芬蘭的林納馬(Seppo Linnainmaa)已在數值分析中給出反向模式自動微分;
- 1974 年哈佛的韋博斯(Paul Werbos)博士論文已把反向微分用於多層網路;
- 1986 年論文的真正貢獻不是首創,而是以清晰的形式、決定性的實驗與正確的詮釋,讓整個學界第一次接受了它——魯梅爾哈特的數學表述、辛頓的表徵視角、威廉斯的推導與程式,缺一不可;
- 辛頓後來自嘲:「我們是把它發表在對的地方、用對的說法的人。」
論文的殺手實驗#
論文中的實驗在今日看來平凡,在當時卻是震撼彈:
- 家族樹(family tree):一個小網路經訓練後,隱藏層自動學出「世代」「家族分支」的內部特徵——網路自己發明了分散式表徵來解決任務;
- XOR 與對稱性問題:明斯基—帕普特宣告無解的問題,三層網路輕鬆學會;
- 字串預測與語音:顯示方法的普適性;
- 論文標題的最後兩個字「representations」是辛頓堅持的重點:學到的不只是函數,是表徵。
flowchart TD
A["1974 Werbos 反向微分用於網路<br/>未受注意"] --> C
B["1985 Boltzmann 機<br/>隨機學習,太慢"] --> C["1986 Nature 論文<br/>確定性反向傳播"]
C --> D["隱藏層=可學習的表徵空間"]
D --> E["1989 LeCun 手寫數字卷積網路"]
D --> F["2006 DBN 深度預訓練<br/>見 3.2"]
D --> G["2012 AlexNet<br/>見 4.1"]與 Boltzmann 機的內部之辯#
耐人尋味的是,辛頓本人的態度很矛盾:
- 他長期認為反向傳播「生物上不合理」——大腦無法把誤差訊號逐層反向傳遞;
- 魯梅爾哈特的務實主義勝出:先解決工程問題,生物合理性以後再說;
- 結果是 1986 年後反向傳播成為主流,Boltzmann 機退居特別用途;
- 四十年後辛頓仍在研究「大腦如何實作反向傳播」,並主張也許大腦用的是某種近似——他稱之為他最想解開的謎題之一;
- 這場內部之辯也預示了他與整個主流的張力:他從來不是「神經網路工程師」,而是「想理解大腦、順便發明好工程的人」。
標題裡的哲學#
論文悄悄回答了一個哲學問題:智慧需要先天符號結構嗎?
- 喬姆斯基式語言學與符號 AI(→ 詳見《麥卡錫傳記》第 4 章)主張:高階認知必須有內建的符號規則;
- 家族樹實驗給出反例:規則可以從資料中以分散式方式湧現,不需要任何符號引擎;
- 這是對圖靈 1950 年「兒童機器」主張(→ 詳見《圖靈傳記》第 4 章)的第一個工程實證:圖靈設想的學習機,在 1986 年有了可運行的雛形;
- 同一時代,羅素與懷海德《數學原理》式的「一切知識皆形式推演」傳統(→ 詳見《羅素傳記》第 5 章),在連結主義眼中成為需要被超越的對象。
事件關聯與前因後果#
| 年份 | 事件 | 後續影響 |
|---|---|---|
| 1970 | 林納馬:反向模式自動微分 | 數學基礎早已存在 |
| 1974 | 韋博斯博士論文 | 首次應用於神經網路,未被注意 |
| 1985 | Boltzmann 機學習規則 | 無監督路線先行(見 2.1) |
| 1986 | Nature 反向傳播論文 | 多層學習的通用解;連結主義復興 |
| 1989–1998 | LeCun 卷積網路應用 | 深度學習的第一批工程成果 |
| 2006/2012 | DBN / AlexNet | 深度學習時代開閘(見 3.2、4.1) |
因果:1986 年論文的成功依賴一條完整的前因鏈——愛丁堡的約束鬆弛(1.2)、UCSD 的分散式表徵(1.3)、霍普菲爾德的能量函數(2.1),再加上魯梅爾哈特「敢用微積分」的決斷。而它的後果鏈更長:沒有反向傳播,就沒有 1998 年 LeCun 的 LeNet、沒有 2012 年的 AlexNet、沒有 2020 年代的一切大模型。它是整條深度學習血脈的共同祖先。
PDP 手冊#
論文發表的同年,魯梅爾哈特與麥克萊蘭主編的《平行分散式處理》(Parallel Distributed Processing,1986)兩卷本問世,辛頓參與其中。PDP 手冊把連結主義整理成有架構、有演算法、有哲學的完整綱領——它與 Nature 論文互為表裡:論文是武器,手冊是憲法。連結主義從此不是異端邪說,而是一門學科。
小結#
- 1986 年論文的三位作者各司其職:魯梅爾哈特的數學、辛頓的表徵哲學、威廉斯的推導驗證;
- 核心貢獻是「隱藏層可以學到分散式表徵」的實證——家族樹實驗是整個深度學習的prototype;
- 反向傳播與 Boltzmann 機構成 1986 年連結主義復興的雙引擎:一個監督、一個無監督;
- 辛頓對其生物合理性的存疑,貫穿他此後四十年的研究日程;
- 但在 CMU 的走廊裡,另一場辯論正在等他:紐厄爾—西蒙的符號正統如何對待這個新來的異端(見 2.3)。