第 2 章　1956 年達特茅斯會議：群星閃耀與「Artificial Intelligence」詞彙的誕生#

2.2 明斯基、西蒙與紐厄爾：展示第一個 AI 程式「邏輯理論家」（Logic Theorist）#

2.2.1 蘭德公司裡的三個月#

1955 年冬，蘭德公司（RAND）的赫伯特·西蒙（Herbert Simon, 1916–2001，卡內基理工學院教授）與艾倫·紐厄爾（Allen Newell, 1927–1992）連同程式員 Clifford Shaw 開發了 Logic Theorist——以符號邏輯證明《數學原理》中的定理。西蒙自述構想來自組織行為研究與「經濟人有限理性」理論：解題即「在啟發式搜索樹中尋路」。

2.2.2 它證明了什麼#

Logic Theorist 用「手段—目的分析（means-ends analysis）」在 388 條定理中成功證明 257 條，其中一條（定理 2.85）甚至找到比羅素原證更優雅的證法——《符號邏輯期刊》卻以「無法接受與人類作者無關的成果」拒登該報告（以其為共同作者版本後來另行發表）。這是 AI 歷史第一個「機器做出人類水準工作」的公開案例。

2.2.3 達特茅斯上的展示與明斯基的角色#

明斯基（Marvin Minsky, 1927–2016）在會前已與紐厄爾相識（普林斯頓時期），並在達特茅斯會議上展示自己做的 SNARC（Stochastic Neural Analog Reinforcement Calculator, 1951）——一台由 40 個神經元（B-24 轟炸機真空管）構成的隨機強化學習機器，會學習走迷宮。明斯基此時仍是連接陣營，但他的博士論文（普林斯頓, 1954）已轉向「神經網絡的理論局限」——這條線將在 1969 年爆發（4.1）。

2.2.4 前因後果#

• 前因：紐厄爾與西蒙的有限理性理論＋蘭德計算資源＋SHAW 的程式實作。
• 事件：1955–56 Logic Theorist 運行、達特茅斯展示。
• 後果：符號學派的第一面旗幟；其繼承者 GPS（General Problem Solver, 1957）確立「物理符號系統假說」（西蒙 1976 年正式表述，1981 出書）；CMU 學派與 MIT—斯坦福三足鼎立的 AI 地理格局成形。

下一節：2.3 達特茅斯狂想