1955 年 12 月 15 日，西蒙構(gòu)想出「邏輯理論家」框架?！高壿嬂碚摷摇故莻€(gè)通過計(jì)算機(jī)啟發(fā)式尋找答案的程序，它不僅可以下棋，還可以作為符號(hào)邏輯搜索并發(fā)現(xiàn)定理證明。雖當(dāng)時(shí)構(gòu)思已經(jīng)出來，但由客觀條件限制，計(jì)算機(jī)還沒有到位，但他已迫不及待行動(dòng)。
在構(gòu)思完成后，西蒙和紐厄爾在索引卡片用英文寫出了這個(gè)程序的構(gòu)成部分規(guī)則，并為各個(gè)存儲(chǔ)器的內(nèi)容（邏輯學(xué)公理）準(zhǔn)備好卡片組合。
1956 年 1 月，冬天夜晚，在工業(yè)管理研究生大樓，西蒙把他的妻子和三個(gè)孩子以及一些研究生集叫來，給他們每人一張卡片。每一個(gè)人實(shí)際上成了「邏輯理論家」計(jì)算機(jī)程序的一個(gè)構(gòu)成部分，或是執(zhí)行某種特殊功能的子程序，或是存儲(chǔ)器的一個(gè)構(gòu)成部分。每個(gè)參與者的任務(wù)是在上一個(gè)層次的控制程序要求下執(zhí)行他的子程序，或輸出他的存儲(chǔ)內(nèi)容。
這樣，西蒙和和紐厄爾用自然的人去模仿人工物對(duì)自然人的模擬，實(shí)現(xiàn)了由人構(gòu)成的計(jì)算機(jī)模擬了「邏輯理論家」的行為。
在西蒙手上，卡片變成了一段段由人身承載的代碼及可執(zhí)行的組塊，自然人之卡片構(gòu)成了計(jì)算機(jī)之大腦，而計(jì)算機(jī)之大腦本就設(shè)計(jì)為模擬人之大腦。
卡片作為大腦的外延，試圖創(chuàng)造出比人腦運(yùn)算更快的計(jì)算機(jī)；卡片作為原始計(jì)算機(jī)的最小運(yùn)算單位，試圖模擬出人腦的最初形態(tài)。第一代人工智能機(jī)器用人工的智能實(shí)現(xiàn)人工智能，卡片功不可沒。
在設(shè)計(jì)出「邏輯理論家」4 個(gè)月后，西蒙參加了由約翰·麥卡錫、馬文·明斯基、納撒尼爾·羅切斯特和克勞德·香農(nóng)組織的人工智能專題討論會(huì)，這個(gè)會(huì)議也就是歷史有名的達(dá)特茅斯夏季研討會(huì)，被認(rèn)定是人工智能研究的誕生之日。西蒙在這個(gè)會(huì)議提出「邏輯理論家」的設(shè)計(jì)方案，成為會(huì)上僅有的兩個(gè)具體實(shí)現(xiàn)人工智能的方案之一。
同年 8 月，「邏輯理論家」首次完成定理證明了伯特蘭德·羅素《數(shù)學(xué)定理》。10月，西蒙寫信給他說，「我們認(rèn)為自己的發(fā)明不是一種算術(shù)的定理演繹和有條理的決策過程，因?yàn)槲覀兊哪康氖?，盡可能近似地模擬人類在不能運(yùn)用有系統(tǒng)的程序時(shí)所采用的處理過程，以及真正包含發(fā)現(xiàn)的問題解決辦法。」
由此可見，西蒙想創(chuàng)造的并不是算法工具，也不是想發(fā)明可替代人類的機(jī)器人，而是想解決人類有限理性下的決策難題，從而輔助人類更好地作出判斷。
要解決這個(gè)復(fù)雜難題，唯有借助復(fù)雜機(jī)器。
如上所見，卡片就是設(shè)計(jì)這臺(tái)復(fù)雜機(jī)器的橋梁。
當(dāng)初西蒙和紐厄爾為何借助卡片來設(shè)計(jì)這臺(tái)機(jī)器？是卡片輕便靈活？是卡片適合創(chuàng)作，容易記憶？還是卡片適合作為簡(jiǎn)化的外部大腦？更或者是當(dāng)時(shí)西蒙和紐厄爾剛好手頭只有卡片？
暫時(shí)我還沒有找到確切解釋，但我知道，用卡片來構(gòu)建框架、連接記憶、創(chuàng)造新型感覺的人，卻遠(yuǎn)遠(yuǎn)不止西蒙一個(gè)，我相信這不是巧合。
2016-12-20 完稿
2016-12-17 增補(bǔ)
2016-12-16 構(gòu)思
寫完這篇文章，我剛好看到手頭的片與 iPhone 6P ，一比對(duì)，發(fā)現(xiàn)卡片與 6P 的屏幕竟然相差無幾，一邊是 60 年前第一代人工智能機(jī)器的設(shè)計(jì)原型，一邊是當(dāng)今智能機(jī)器的頂尖代表，我也不相信這是巧合。
聯(lián)系客服
