第 222 期·中文精讀

傑伊·麥克萊蘭:神經網路與認知的湧現

Jay McClelland: Neural Networks and the Emergence of Cognition

認知神經科學先驅講述聯結主義神經網路的興衰,討論分散式表徵如何解釋人類認知的形成。

官方音訊00:00 / --:--
中文精讀由 AI 基於原始訪談改寫,非官方翻譯,可能存在偏差或錯誤;表述以原音訊與官方文稿為準。說明

1990年代末,加州一家認知障礙護理機構。Jay McClelland 帶 David Rumelhart 出門吃飯。路上 Rumelhart 說不清餐廳在哪,只是指著前方說,這兒拐。到了餐廳,他一個菜名都說不出來,卻能用手指準確戳到選單上自己想要的那道菜。

Rumelhart 患的是語義痴呆。這個病名幾乎就是他和 McClelland 一起建立的那套理論的註腳:概念在大腦裡沒有獨立的儲存位置,它是一組神經元上的分散式啟用模式。模式退化時,最細微的區分最先消失,剩下的只有最熟悉、最高頻的那部分。

於是他開始把所有中等體型的四足動物叫狗,大的叫馬,小的叫貓。

在加州大學聖迭戈分校(UCSD)和斯坦福,Rumelhart 是那個最專注、最目標導向、最好勝、願意為一道難題啃上好幾年的人。McClelland 說,這個人一點點消失了。消失的方式,恰好把他們共同提出的理論演示了一遍。

我認為他做不到。從外面看,這正是這場悲劇最深的地方。(Jay McClelland)

在神經網路的歷史上,Rumelhart 和 Geoffrey Hinton 合著了反向傳播論文,和 McClelland 合著了《並行分散式處理》(Parallel Distributed Processing)。這兩件事,幾乎構成過去十五年深度學習革命的全部思想源頭。

2021年9月,McClelland 在 Lex Fridman 的播客裡聊了兩個多小時,從笛卡爾聊到語義痴呆,從數學直覺聊到死亡。下面挑出的是這場對話裡密度最高的部分。

從笛卡爾之夢裡醒過來

1960年代末,認知心理學剛成為一門獨立學科。1967年那本同名教材《Cognitive Psychology》的作者在書裡寫,研究神經系統只是邊緣興趣,它不會告訴我們任何關於心智的事情。

McClelland 不同意。他的理由很樸素:我是一個物理存在,塵歸塵,土歸土,我怎麼就從這裡面湧現出來了?

他後來把這叫"從笛卡爾之夢裡醒來"。笛卡爾有一次在凡爾賽花園散步,踩到一塊石頭,旁邊一尊雕像動了。他往前走,再踩一塊石頭,另一尊雕像又動了。他跑去問園丁,才知道地下有一套水力系統:踩石頭改變水流方向,水灌進雕像,雕像就動。笛卡爾由此建立了動物行為的機械論,認為人體內那些不運血的小纖維是液壓管,一碰就產生壓力,壓力傳到別處,就產生動作。

身體是機器,這沒問題。思維另算。笛卡爾認為,必須有一個神聖的東西降臨到人體裡,人才有思考的能力。物理世界包括身體和動作,不包括思想。

這套二分法在學術上延續了很久。生理學研究感覺系統和運動系統,是你刺激神經元能直接測到的東西;認知研究抽象演算法,是另一套語言。McClelland 本科時學了生理機制,讀博時學認知心理學,坐在教室裡想的是:等一下,整件事都是生物的啊。

在他看來,這件事不需要論證。它一直很明顯。

達爾文的噩夢與黑猩猩的海馬體

明顯,也不明顯。McClelland 用達爾文來打比方。

達爾文很早就知道,當時所有現成的想法都沒法解釋進化怎麼運作。他想搞清楚它到底怎麼運作,這是他的目標。他花了很多年,讀各種給他線索的書,覺得有意思但不知道為什麼,畫了一張又一張略有差異的鳥的圖。然後他想通了。

想通之後,他開始做噩夢。夢到眼睛的複雜性,夢到別人用來反駁他的那些論證:這麼精密的器官,怎麼可能是無引導過程的產物,它一定出自設計。

他很久沒發表,一部分原因是害怕自己的想法。他自己都不敢相信這是真的。

到20世紀,人們逐漸接受了進化。笛卡爾的說法開始顯得可疑。猿、黑猩猩、倭黑猩猩也挺聰明。有人說,猴子大腦裡沒有海馬體,只有人類有。19世紀末,赫胥黎在一大群觀眾面前做了一場手術,當場證明黑猩猩大腦裡有海馬體。

物種的連續性,是"人是自然的完整產物"這個觀念的又一塊拼圖。

自然究竟怎麼產生出具備我們這種能力的有機體?這件事讓他著迷。

一次基因突變,和數億年的靜止

視覺研究領域很早就不糾結這個問題了。猴子的視覺通路和人類極其相似,從眼睛到大腦、頭幾層皮層,幾乎是同一個設計。真正的跳躍發生在認知這一側。

喬姆斯基的版本是:10萬年前發生了一次基因意外,某個現代人的前人出現了語言能力的一次微調,語言隨即成為把人和所有其他動物分開的東西。

McClelland 認為語言確實重要,但它和一大堆相關能力一起演化:社會性、互相投入、組織並理解世界的豐富機制。語言插進這套機制裡,成為集體智慧的工具。核心是集體智慧本身,語言是它得以運轉的介面。

他還提到進化論裡的一個概念:間斷平衡。我們習慣把進化想成連續的,5億年裡緩慢變化。化石記錄講的不是這回事。它講的是數億年的靜止,然後突然一變。這個"突然",放在地質尺度上可能是一百萬年,也可能是一千萬年。

間斷平衡(punctuated equilibrium)在進化生物學裡是個重要概念。McClelland 覺得它同樣適用於心智慧力的發育。四歲孩子和七歲孩子的心智差別是深刻的,你回頭看四歲的自己會想,我怎麼會那樣想事情?皮亞傑(Piaget)的階段理論講的就是這個:階段之間界限分明,然後突然過渡。

幾年經驗積累下來,某個時刻會發生一次洞見、一次躍遷、一個新的階段。這類現象在複雜系統研究裡有統一的語言。進化生物學、發育生物學、認知發展,被同一種思路處理過。

McClelland 說他同樣著迷於更早的那一段:從胚胎到大腦的裝配過程。你現在做的事情是讓一個已經裝配好的大腦去探索世界、去學習,這已經夠神奇了。但那個能學習的東西本身是怎麼被造出來的?從工程角度看,這一步更讓人無從下手。

腦類器官(brain organoid)的研究讓他覺得離譜:你可以培育出很多個微型大腦,觀察一個機制如何從 DNA 材料裡自組裝出來。生物程式憑空生成一個軟乎乎的系統,這個系統足夠魯棒,能在高度不可預測的世界裡學習,能學會看上去任意的、數量極大的、足以支撐生存的東西。

從大腦到心智的湧現,整條鏈路看起來是連續的。

1979年那場會議,和擠進同一個房間的人

1974年,McClelland 拿到助理教授職位,去了 UCSD。他到的時候,那裡剛發生一件在他看來很了不起的事。

David Rumelhart(戴維·魯梅爾哈特)和 Don Norman(唐·諾曼)剛出了一本書,《Explorations in Cognition》。書裡一系列章節探討認知的有趣問題,用的是完全抽象、非生物的方式。McClelland 的感受是:我來到了一個人們能聚在一起、覺得自己在集體探索想法的地方。這本書帶著一種輕盈感。Norman 比 Rumelhart 資深,他主導了這個專案,也一直營造那種玩著探索的氛圍。

但 McClelland 自己還有一半心思在別處。他關心人類認知,可從當時主流認知心理學那裡拿到的是一種脫離身體(disembodied)的思考方式,這套東西在他那兒不夠用。

1979 或 1980 年,Jeff Hinton(傑弗裡·辛頓)和 Jim Anderson 在 UCSD 組織了一場會議,題目叫"聯想的並行模型"(Parallel Models of Associative Memory)。所有在想這類問題的人被聚到一起。參會者裡有 Steve Grossberg,他從60年代就在寫神經網路;有 Jim Anderson,一個工程師出身、後來做了心理學教授的人,用線性代數做出了知覺、分類和記憶的神經網路模型;有 Hinton;有 Paul Smolensky,當時還是博士後。

還有 Francis Crick(弗朗西斯·克里克)。他在索爾克研究所,從 Hinton 那裡聽說了這個小組。Hinton 在英國人圈子裡以絕頂聰明著稱,Crick 和那批英國朋友聯絡緊密,就這麼來了。

McClelland 回憶自己1977年走在校園裡,感覺像聖保羅在大馬士革路上:如果我用力去把心智想成一個神經網路,它會幫我回答我一直在問的那些關於心智的問題。

Hinton 能來 UCSD,還有個具體原因。他的博士論文投到了 Rumelhart 和 Norman 主持的博士後訓練專案申請池裡。Rumelhart 讀了非常興奮。Hinton 於是成了這個由一筆慷慨經費資助的博士後群體裡最早的一批人之一。

別從生物學裡找規則

三個人組成了 PDP 研究小組。Hinton 跟他們談學習:神經網路裡的學習該怎麼想。

Hinton 說,你們這個路子有問題。你們一直在從生物學裡找靈感,想知道突觸該按什麼規則改變連線強度、連線該怎麼形成。這是錯的方向。正確的做法是先定義一個要解決的問題,再想清楚調整連線權重怎麼解決這個問題。

Rumelhart 聽完,轉頭跟自己說:好,那我就這麼想。我設想我有一個目標函式,我希望這臺機器把所有影象正確分類,我可以給它打分,可以測量它在每張圖上的表現,得到一個誤差或者損失。然後我要弄清楚怎麼調整連線權重,把這個損失降下去。

這就是梯度下降。工程界早就熟悉這個概念。斯坦福電子工程系的 Bernie Widrow 和一個叫 Hoff 的合作者發明過一條 delta 規則,處理的是單層連線權重上的梯度下降:給一組神經元輸入,希望輸出產生某個模式,定義目標與網路輸出之間的差,然後算出怎麼改權重能減少這個誤差。

Rumelhart 做的是把這個結論推廣到輸入與輸出之間的隱藏層。他最初把這演算法叫"廣義 delta 規則",因為它就是梯度下降思路的延伸。

有意思的是,Hinton 當時認為這條路走不通。他有自己的替代方案,基於玻爾茲曼機(Boltzmann machine)的概念,那篇論文1985年發表。結果反向傳播比玻爾茲曼機的學習演算法效果好。廣義 delta 規則後來被叫做反向傳播(backpropagation)。

"反向"是什麼意思?要算出從輸入到隱藏層該做哪些改動,你得把誤差訊號從輸出層沿著"隱藏層到輸出層"的連線反向傳回去,得到隱藏層每個單元自己的誤差訊號。Rumelhart 的表述是:輸出層的誤差我們知道,看看能不能在隱藏層造出一個訊號,告訴每個隱藏單元它的誤差是多少。

一個不寫公式的人

Hinton 留給 McClelland 的東西不止演算法。

他1981年有兩篇論文,都遠遠超前。一篇基本就是 transformer 的想法,另一篇是早期的語義認知論文,啟發了 Hinton 自己、Rumelhart 和 McClelland 整個80年代的工作,也仍然支撐著 McClelland 今天對語義認知的思考。

還有一篇1977年從未發表的小論文。Hinton 當時還是博士生,在裡面描述了神經網路怎麼做遞迴計算。思路很巧:呼叫子程式時,需要儲存呼叫時的狀態,子程式結束後才好回去。他的辦法是透過快速改變連線權重來儲存呼叫者的狀態,子程式結束時,這些快速變化讓系統恢復到之前的情境,頂層計算得以繼續。這個想法他後來一直在探索。

另一件事影響更深。Hinton 不寫太多方程。傳說在 Hinton 的實驗室例會上,沒人站起來在黑板上推公式,那是別的機器學習實驗室的做法。他們畫圖。他解釋深度學習怎麼運作時,會把兩隻手合在一起,給你比出一條峽谷的形狀,用它當作梯度下降的幾何隱喻:你正沿著峽谷的峭壁往下走,步子邁太大就會跳到對面去。這就是為什麼學習率要調小。

它讓我看到深刻洞見本質上具有直覺性格,同時又伴隨著一種承諾:最終要把它理解得完全顯式、完全清楚,但這個過程也始終是直覺的。(Jay McClelland)

Hinton 是邏輯學家布林(Boole)的後代,出自一條長長的英國學術譜系。他想讓自己被視為在理解推理本身,不只是人類推理。布林做的是邏輯:從什麼能推出什麼,怎麼把它形式化。Hinton 80年代前期在玻爾茲曼機上做的工作,就是把這條布林傳統接到連續的、機率的、滿足多重約束的世界裡。那套想法和理論物理、和邏輯都連著。

McClelland 說他自己也一直受玻爾茲曼機啟發:如果神經元的計算是機率的而不是確定的,也許這就是靈光一現時刻裡那種偶然性的來源。那個念頭未必就在那一瞬間產生,它可能部分是隨機過程的結果。

從"專家"到神經元

Rumelhart 有一個階段在做老式人工智慧(good old fashioned AI)的路子:用形式邏輯和知識庫來表徵語言和內容,比如"有錢"這個概念。他感興趣的是,機器聽到兩句話之後能不能產生一個洞察。

他最愛舉的例子是:Margie 坐在門前臺階上,聽到熟悉的冰淇淋車音樂,她想起自己的生日錢,跑進了屋子。Margie 在幹什麼?為什麼?

最自然的解釋是,冰淇淋車賣冰淇淋,她喜歡冰淇淋,她知道買冰淇淋要錢,所以跑進屋拿錢。你要讓這些事互相連上,中間需要極大量的推理。

老式 AI 的正規化給不出答案。Rumelhart 開始想另一件事:我們需要一種系統,能讓多個同時存在的約束互相影響。

他寫了一篇論文,《閱讀的互動模型》(An Interactive Model of Reading)。McClelland 第一次讀的反應是:哦,好,但這重要嗎?過了一段時間,這東西鑽進了他皮膚裡。

論文裡的想法是:我們讀到一個詞時,每一個層次的分析都依賴其他所有層次。畫素告訴我們這是什麼字母,字母告訴我們這是什麼詞,詞告訴我們作者想傳達什麼觀念。他給每一層都設了一組"專家",有從畫素構造線段的專家,有判斷哪些線段組成哪個字母的專家,有判斷哪些字母組成哪個詞的專家,有管詞義的專家,有管詞義怎麼組合的專家。

這些專家同時看著資料,同時在各層更新假設。詞層專家可以告訴字母層專家:我認為那個位置應該有個 T,因為我認為這裡應該是"the"這個詞。自下而上的特徵層專家也可能說:我也覺得那裡有個 T。兩邊一致,你就看見了一個 T。自上而下、自下而上,雙向互動,所有層同時進行。

後來他意識到,那些專家可以被神經元式的處理單元替換掉,每個單元只靠自己的連線權重幹活。於是有了"字母知覺的互動啟用模型"(interactive activation model):畫素級輸入、線段特徵、字母、單詞,全部由神經元式單元構成,單元之間用連線權重相連。

代表"time"這個詞的單元,連著第一位字母 T 的單元、第二位字母 I 的單元,依次往下。這些連線是雙向的。如果你已經知道那可能是"time",它會去啟動對應的字母和特徵。如果不知道,就只能自下而上。方向取決於資訊先從哪兒進來。上下文和特徵同時到位時,它們會收斂出一個湧現的知覺。

這項工作讓兩人徹底確信:神經網路這條路,能真正回答他們作為認知心理學家關心的問題。

知識不在字典裡,在連線裡

McClelland 認為 connectionism(聯結主義)這個詞有用。它點出了一件事:系統所利用的知識存在於單元之間的連線裡。沒有一個單獨的字典。

代表"time"這個單詞的單元,除了連著構成 time 的那些字母單元,沒有別的理由成為"time 的單元"。系統裡並沒有哪個地方寫著 time 這個詞。只有在他們畫的那張模型圖裡,標籤寫著"這是 time 的單元"。如果有人問,這個詞怎麼拼?你得用從那個單元出去的連線,把字母一個個取出來。

人類習慣用邏輯的方式想事情,總覺得知識該存放在某個地方,等著被讀取。連線主義講的是另一回事:沒有任何位置存著它。

拿卷積神經網路(CNN)舉例。它有幾十層甚至上千層神經元式單元,最後它會說"這是貓"、"這是狗",但它完全不知道自己為什麼這麼說。第一層到最後一層之間全是連線,越往深處特徵越抽象,而這種抽象是一個漸變的、連續的過程。到最後仍然只是某個單元陣列上的一個啟用模式。

你睜開眼睛說,哦,那是 Lex,或者那是我的狗。我知道這一隻,因為它有一些細微的獨特之處。但我沒法說清楚是什麼讓我認出它。或者某個牌子的車,我能說上幾句,但如果要我寫一段話讓你猜出是哪輛車,你猜不出來。

把"讓我認出這個具體例項"的知識寫成一組命題,這件事從來沒成功過。視覺識別上,你永遠寫不出那組命題。所以在這個領域裡,預設的假設一直是:計算過程裡有某些東西是你無法訪問的,你只拿到結果。

你讀不到連線裡的內容。連線只是根據輸入產生輸出。(Jay McClelland)

McClelland 曾經半開玩笑地說自己是"激進的、消除式的聯結主義者"(radical eliminative connectionist),因為他不想讓人以為他想往機器裡預裝什麼東西。後來他把"消除式"這個詞去掉了。它暗示"理解"這個湧現層次是假的,他不同意。

他現在管自己叫"激進的湧現論聯結主義者"。高層次的心智現象是真實的,但它們沒有以實體的方式存在。他借用 Douglas Hofstadter 的比喻:我們可以把沙丘當成一個東西,甚至數一數有多少個沙丘,但我們也知道沙丘非常流動,它就是一堆沙,在風裡移動、重新成形。把想法想成沙丘,那麼這個想法存在著,但你不能把它當作一個不需要理解底層機制就能掌握的實體。

理論在自己身上演示了一遍

語義痴呆(semantic dementia)是一種特定形式的、與意義有關的智慧喪失。

病人逐漸失去理解經驗意義的能力,無論資訊來自觸覺、視覺、聽覺還是語言。他能聽到聲音,但不知道那是什麼意思。

病程早期是分不清相似的狗品種,或者記不住低頻、不熟悉的類別。往後越來越驚人:認不出豬、山羊、綿羊,把所有中等體型的動物都叫狗;認不出兔子和齧齒類,把所有小的都叫貓;認不出河馬和牛,把它們都叫馬。有個病人到後來,任何四足動物只叫三個名字:大的叫馬,小的叫貓,中間大小的叫狗。

McClelland 的合作者 Carolyn Patterson 設計了一個測試,叫"金字塔與棕櫚樹"(pyramids and palm trees test)。給病人看金字塔的圖,讓他在棕櫚樹和松樹之間選一個配對的。結果發現,這種能力喪失和語言無關:無論用詞還是用圖呈現,病人都做不出來。他能匹配詞和詞,也能匹配圖和圖,但做不了詞圖匹配。兩個模態的概念基礎都已經丟了。

這就是"語義"這兩個字的字面意思:語義本身在瓦解。

用分散式表徵可以解釋:概念是一組啟用模式,相似的概念模式也相似。隨著表徵退化,細微差別最先丟失。狗和山羊之間的差別不再是模式的一部分了。而狗極其熟悉,所以它留下來。

問題是,Rumelhart 本人正在經歷這一切。

McClelland 把 Rumelhart 比作認知科學界的霍金。兩人都患了退化性疾病。霍金的是運動系統,Rumelhart 的是語義系統,不只是純粹的客體語義,可能還包括"自我"的語義。

那段日子裡,那個曾經最專注、最好勝、最願意為難題耗上數年的人一點點淡出。有一段時間,周圍的人都很難真正意識到,他某種程度上已經不完整地在那裡了。後來大家終於確認,這是生物學意義上的病變,不是那天走神了。

他從斯坦福的教職退休,跟哥哥住了兩年,然後搬進一家收容認知障礙

者去那裡,很多有認知障礙的老人最後都住進這類機構。90年代末、2000年前後,McClelland 常去看他。他們去打保齡球,他還能打。打完球 McClelland 問他想去哪兒吃飯,去 Wendy's 好不好,他說不好。那你想去哪?他指了指,說,這兒拐。他還有相當程度的空間認知,能把人帶到餐廳。

到了餐廳,McClelland 問他想點什麼。他一個詞都說不出來,但他知道選單上哪個位置是他想要的。他說不出那是什麼,卻清楚那是他想吃的。

認知完全不是一整塊的。它有程度之分,也是多部件的,有些區域性的能力在其他能力消失之後依然存在。

McClelland 說他一直著迷於過去被叫做"認知神經心理學"的領域,腦損傷對認知的影響。特別是這種逐漸瓦解的過程。

我堅信,失去一個你珍視的人,其力量不亞於當初愛上那個人。它同樣是對這個人的慶祝。(Jay McClelland)

Rumelhart 是誰

他來自南達科他州西部一個小鎮。母親是圖書管理員,父親是報紙編輯。四兄弟一起長大,父親鼓勵他們互相競爭:體育上競爭,智力遊戲上也競爭,數獨、國際象棋之類。Rumelhart 是那種出類拔萃的本科生,比大多數人更早進入南達科他大學,主修數學。不知道怎麼對心理學產生了興趣,申請了斯坦福的數學心理學專案,被錄取。

數學心理學是用數學給心理過程建模,今天大概會叫"認知建模"。它和計算機模擬不同:你寫下關於基本原理的設定,推出關於行為的預測,全用方程,解出來告訴你在實驗第七次試次上被試答對的機率是多少。那段時間斯坦福聚集了幾位極強的數學頭腦,全國還有三四個同行,把一堆激動人心的想法擺上桌面。那是心理學裡極有聲望的一塊。

1967年,Rumelhart 去了聖迭戈那所全新的大學,成為 UCSD 心理學系最早的助理教授之一。McClelland 七年後到的時候,他還在做數學建模,但興趣已經轉向認知,轉向"理解"。理解到底是什麼意思?我們怎麼知道自己真的理解了什麼東西?他想造出能聽兩句話就產生洞察的機器。

Margie 和冰淇淋車那個例子,就是他當年最愛的難題。他一直在試著用老式 AI 的方式建語言表徵和"有錢"這類內容:形式邏輯、知識庫。到70年代末,這套東西開始顯得過時,也沒有真正做出來。大家都在承認這一點,Rumelhart 是其中之一。

然後是那篇互動模型論文。再然後是他讀了 Hinton 的博士論文,聽了 Jim Anderson 用線性代數做的神經網路模型,意識到那些"專家"可以換成神經元式單元。剩下的事,就是 PDP。

數學是關於理想世界的工具箱

McClelland 寫過一篇《數學認知的並行分散式處理進路》。引言裡引了 Tristan Needham 的批評:把數學研究等同於符號操作,就像研究音樂卻從不聽一個音符。

他怎麼看數學?

數學是一套探索理想化世界的工具。這些世界往往和真實世界極其相關,但不必然。在這些世界裡,物件具有理想化的性質,物件之間的關係可以被精確刻畫,於是某些事實的推論能讓你確定地推出其他事實。

兩個三角形,如果第一個裡的某個角和第二個裡的某個角相等,夾這個角的兩條邊也對應相等,你就能斷定這兩個三角形全等,也就是所有性質都相同。這是關於三角形的事實,和公式無關。這些是理想化物件。我們用三角形造橋。我們靠推廣這些想法,測出爬不上去的東西有多高。讓一小塊物質從地球發射出去,在精確預測的日期時間,和冥王星之外某個極小的天體相交,這件事就靠這些想法。它確實發生在真實的物理世界裡。

自然數也一樣。McClelland 喜歡把零算進去,所以他說非負整數。數給了你精確說出自己有多少隻羊的能力:今天早上我放出去23只,你回來只帶了22只,怎麼回事?這是人類社會的基本問題:你最好一隻不少地帶回來。數讓商業、契約、記錄成為可能。

數既是抽象的、理想化的、可推廣的,又可以是極其具體、極其落地的。人類心智最了不起的成就之一,就是發明了這些理想化系統,把思維的力量撬動起來。

數學是發展出來的一套系統,用來思考一組理想化物件的性質與關係。我們不幸過分關注的那套數學記號,只是我們表達這些命題的方式。它就像語言,是我們為了交流這些想法而發明的,未必是這些想法的深層表徵。(Jay McClelland)

直覺發現,邏輯證明

去年夏末,McClelland 和妻子在北加州一個州立公園的林子裡散步,看到一張長椅上刻著龐加萊(Henri Poincaré)的一句話:邏輯用於證明,直覺用於發現。

他把這當成整個研究綱領的核心:怎麼把直覺的、聯結主義的資源帶進來,讓直覺性的發現能從和這套形式系統的互動中長出來。

像 Hinton、牛頓、愛因斯坦、Rumelhart、龐加萊、阿基米德這樣的人,會突然有一道閃光。那是所有同時存在的約束組成的星叢,以某種方式讓心智落進一個從未有過的新狀態,產生一個新想法。然後你才能問:好,現在怎麼證明它?定理的步驟怎麼寫,才能讓它變得嚴格、確定?

人類數學家的洞見是兩部分合起來的:一部分是聯結主義式的直覺知識,讓某些事顯而易見為真,不必去想它為什麼真;有了這個,你才能邁出下一步,去思考、去推理,搞清一件你原本沒有直覺的事。這件事最終又變成下一代數學思考者的直覺的一部分,他們在此基礎上繼續往前推。

McClelland 從深度學習裡看到了希望。

大規模文字訓練出來的網路,給一個提示就能生成相當有趣、相當有想象力、相當有創意的故事。它似乎從訓練資料裡數十億次經驗的所有細節中,合成出了某種類似"什麼會是一個好玩的小故事"的直覺感。讓系統自己發揮它對"給定這個提示,有人會說什麼"的想象,想法就湧上來了。這代表捕獲直覺那一側的可能性。

AlphaZero 是另一個例子。它下棋時產生的解法裡有新東西,讀起來很像天才的洞見時刻。機制上,搜尋是老式 AI 那一路,神經網路提供的是直覺:看一眼棋盤,看一組局面,判斷這個局面有多好、接下來幾步有多好。特級大師也是這樣,靠位置感、戰術感判斷形勢好壞,不必做深度搜尋。人下棋時會有一點"計算",沿著某條線往下推演,系統裡也有對應的東西。那些系統裡同樣有天才的瞬間。

三千年前開始的沉浸

McClelland 強調的一點是:哲學家和邏輯學家三千多年前就開始發展這些形式系統,"形式地思考"這個觀念本身是慢慢被構造出來的。它先於歐幾里得,在泰勒斯等人的工作裡已經存在。《幾何原本》是一個連貫的文字,把"物件在其中被刻畫的真正形式系統"以及"從已知推出新真理的推理系統"確立為正規化。

有意思的地方在於:能成為一個以這種抽象形式方式思考的人,本身就是長期沉浸於這種思考方式的結果,就像我們今天理解語言習得那樣。我們沉浸在一種語言、一個由物件及其關係構成的世界裡,學會談論它,發展出對真實世界的直覺理解。同樣地,學術界創造出來的這些東西,早期哲學家在雅典、亞歷山大里亞和其他地方建立的學派,讓這些思想模式深深內化。

這就把 Jerry Fodor 式的看法頂了回去。Fodor 認為系統性思維是人類心智的本質特徵。McClelland 認為它是派生的、習得的,是在人類發明的某種思維模式裡被文化化的結果。

那它比語言更根本嗎?

McClelland 說這個問題他非常感興趣。答案是:在重要的意義上,這條線該劃;但劃完要回頭看,看差異裡更微妙的地方。

喬姆斯基出身學術家庭,父親是費城一所小型拉比學院的猶太教經學教授。他深深浸潤在思想與理性的文化裡,然後帶著與形式系統的深度糾纏去理解自然語言。這給了他巨大的力量,讓他對自然語言的結構有了一些驚人的洞見。

但關鍵在後面:對這些東西的實際直覺知識是有限的,到不了喬姆斯基自己以為的那一步。

這一點是 Lila Gleitman 的博士論文發現的。她受訓於同一個語言學系。她發現,語言學家對哪怕一個短語意思的直覺,不只是語法,而是他們相信這個短語必然是什麼意思的直覺,與沒受過形式訓練的普通人的直覺非常不同。

McClelland 現在的假說是:受過形式訓練的語言學家、哲學家、認知科學家、電腦科學家、機器學習研究者、數學家,他們與經驗互動的方式,在直覺上被深刻地結構化,更圍繞系統性和"與系統原則保持一致"來組織,而未經這種沉浸的自然人心智並不是這樣。

所以,你用來研究心智的學科路徑,反而把你帶離了心智的自然運作。這讓你很難做一個靠內省拿到答案的人。專家和普通人之間有巨大認知鴻溝,原因往往不在天賦,在人是否進入過那種系統化思考的沉浸。

專家盲點

這跟"初學者的心"和"專家盲點"(expert blind spot)是連著的。專家盲點聽起來平淡得多,但同樣折磨人:專家向非專家解釋自己的理解時,有些東西對他們來說太自明瞭,他們根本沒法想象怎麼跟別人解釋,因為那明擺著就是真的。

克羅內克(Kronecker)說,上帝創造了自然數,其餘都是人的工作。他表達的正是這種直覺:離散量可以被計數、數目無限、可以一直數下去,這些基本的東西不需要被發現。

他錯了。曾經有很長一段時間,很多認知科學家同意他。自然數被視為核心知識(core knowledge)裡先天裝備的一部分,這是 Spelke 和 Carey 討論人類心智先天原語時用的說法。他們現在已經不這麼看了。自然數是文化建構,這幾乎已經被普遍接受。

所以值得回去研究那些仍然存在、但沒有這套系統的人。

這就是 McClelland 想說的例子:某種思考語言的方式、某種思考幾何關係的方式,變得太自然,以至於你不知道該教什麼。而且我們其實從來沒真正顯式地教過它。你上數學課,教授按他理解的方式講,班上一些學生跟上了,開始獲得那種思考方式,能做教授認為有趣有挑戰的作業題。大多數沒有深度參與的學生永遠拿不到。

我們的反應是:這人一定很聰明,他一定有什麼特別的洞見,他一定有個不一樣的生物學開關,讓他能有那個洞見。McClelland 說,他不完全否認個體生物學差異,但他覺得更值得想的是另一種可能:差別在於喬姆斯基小時候家裡餐桌上談話的方式,那造就了他的思維取向。

這也是"專家盲點"最隱蔽的後果。一個領域裡最厲害的人往往是最難把入門的東西講清楚的人,因為他們早已不記得自己是怎麼學會的。教學上的絕大部分挫敗感,都來自這個錯位。

我們對自身的解釋是事後編的

還有一條心理學研究線索,McClelland 說對他一直很重要:我們對自己行為的解釋,未必是導致那個行為的因果過程的一部分,甚至未必是對導致那個結果的約束條件的有效觀察。它們是事後合理化,基於我們手頭掌握的資訊,在被問到的時候編出來。

這個想法來自 Nisbett 和 Wilson 一篇很重要的論文,講的是我們對自己為什麼做出某個選擇,覺察能力有多有限。

我們對自己為什麼持有某些信念、為什麼採取某種態度、為什麼做出某個選擇、為什麼有某種感受,其洞察既不完全受我們控制,也不完全被我們觀察。它同樣取決於我們被文化傳遞的那套理解,那套被問到時用來解釋的模式。

連我們內省、以為自己能訪問自己想法這件事,也是文化和信念的產物。

把這層和前面幾層疊起來看,會得出一個不太舒服的結論:你以為自己在看世界,其實你在透過自己心智的鏡頭看。這個鏡頭是文化打磨出來的,你以為它能照見自己,它其實照見的是文化教給你的那套解釋。要跳出來,很難,但如果你想往前走,這似乎是必須的。

剩下的時間怎麼用

七八年前,McClelland 還在做決策實驗。那類工作有它的滿足感,因為模型擬合資料這件事能給你明確的收束:行或不行,一目瞭然。他也能看到怎麼把預測放到猴子身上檢驗,看清神經元在做什麼。

然後他算了一筆賬:我在這裡大概只剩10到15年了,而做這個層次的工作,感覺自己並沒有在逼近那些真正有趣的問題的答案。

於是他對自己說:好,挑個難的。他開始做數學認知。

計算很直白:可能還有15年有用時間,先當只有10年。現在他快走到那個期限的末尾了,也許還剩三四年。但他感覺自己後面大概還有五年。所以,再給自己六到八年。

期限在逼近,所以不能無限期地做下去。

他怕的是退化,死亡反而排在後頭。看過那些悲劇性的退化過程之後,他這麼說:能繼續參與、能感覺自己站在浪頭拍岸的地方,這是令人興奮的。如果有一天開始患阿爾茨海默病或語義痴呆,他會一點點失去那根線。一個人在失去這些能力、不得不退休之後,還能再活十年。

那才是他最怕的。浪頭散掉,心智不再繁盛,想法不再在裡面遊動、不再能被把玩,也不能再和那些正在把想法推向前的人合作。

至於懸崖盡頭本身,那個謎。McClelland 說,他那種湧現式的、連續式的思考方式,讓他覺得那個轉變的離散性沒有多數人感覺的那麼明顯。

他希望被記住的是:他看到了某條路,那條路對認知心理學家來說比他面前已經鋪好的那條更讓他興奮,而他之所以能看到,並沒有超常的原因,只因為他之前恰好有對的處境,然後他真的跟著那條線索走下去了。

他在 PDP 那本書的序言裡寫過一句話,大意是:科學的快樂,在於一個人頭腦中尚未成形的想法,在對話中被更好地結晶出來,成為某個激動人心的具體科學進展的基礎。

那種時刻發生過。Rumelhart 和他做互動啟用模型的時候發生過。Rumelhart 聽到 Hinton 講梯度下降、講用目標函式引導學習過程的時候發生過。那個時期發生過很多次。他在和學生合作時,也在尋找這種時刻。

把理論留給理論家

他最後講了一個故事。

他的博士論文是純實驗的。基於核心的兩個實驗,他寫了一篇論文投出去。論文最後有一小節,他擺出了自己對資料背後機制的理論構想。投的是《實驗心理學雜誌》。

編輯回信說:非常感謝,這些實驗很好,我們很樂意發表。但我們希望你把理論化的工作留給理論家,把那一節刪掉。

他刪了。但他差點因此被貼上"非理論家"的標籤。他本可以認下這個身份:好吧,我的工作就是繼續做實驗。

他沒有。拿到助理教授職位後,他繼續做實驗,因為知道自己得發論文。但第一年結束時,他把那一節拿出來擴充,寫成文章投給了《心理學評論》,那是理論性的刊物。他們也沒接受,但回信說:這很有意思,這次你可以繼續想下去。

就是這句話讓他往前走。他意識到,為理論的發展做貢獻用不著超人天賦,一個凡人也能做。

不要屈服於某個審稿人給你貼的標籤。(Jay McClelland)

也不要屈服於任何人貼的標籤。尤其是當你成功之後,標籤會被牢牢貼在那個讓你成功的東西上:聯結主義者、認知科學家、不是神經科學家。那些都是關於過去的故事。你今天是一個新的人,完全可以在全新的領域裡做出徹底不同的東西。

意義是自己造出來的

地球上活過上千億人,大家都在忙忙碌碌,好像朝著某個方向。為什麼?

McClelland 的回答是:我們為自己製造意義,也從別人過去製造的意義裡獲得啟發。公元前一千紀的偉大宗教思想家,以及第二個千年早期的一些人,為我們打下了重要基礎。但他相信,我們是某個自然發生的、無引導過程的湧現結果,意義是我們自己造出來的。把意義固化進宗教傳統之類的努力,只是那個目標的一種表達方式。我們要做的事情裡,發現意義是什麼這件事排不上號,自己把它造出來才是重點。

所以它非常個人,非常個體。意義會透過你獨有的那組協同要素來到你身上:你的質地、你的經驗、你的處境。而且它總是在一個具體的地方情境裡被造出來。

McClelland 就在 UCSD,身邊是那位正在對符號人工智慧產生懷疑的、才華橫溢的 Rumelhart,而這種懷疑恰好和 McClelland 自己"要把認知落到生物學上"的渴望共振。他們抓住了那個共振。

從那個小小的口袋裡,長出一種奇特的湧現過程。每一個人都是這樣一種湧現過程:細胞聚到一起,湧現出一個會給自己講花哨故事的東西,並且享受自己講的那些故事的美。

它存在於一段時間,被自己在時間與空間中的那個地方口袋所定義,然後講一些漂亮的故事,我們把故事寫下來,慶祝這些故事有多好,然後它繼續下去,因為我們在彼此的故事上面蓋新故事。最終我們大概會殖民其他行星、其他恆星系、其他星系,講更好的故事。

但這一切都從地球上開始。

如果只帶走幾件事

這期對話裡散落著一些可以直接拿去用的東西,它們彼此之間其實是一套連貫的方法論。McClelland 一輩子做的事,幾乎都能從中找到解釋。

  • 換問題,而不是換答案。Hinton 那句"別從生物學裡找規則,先定義你要解決的問題,再想連線權重怎麼解決它",是整個反向傳播誕生的起點。當你卡住的時候,先檢查自己是不是在錯誤的層面找答案。
  • 讓多個約束同時打架。Rumelhart 的互動啟用模型之所以能成立,是因為它允許自上而下和自下而上的資訊同時互相施壓,收斂出一個知覺。只有單向資訊流的系統,很難產生"理解"這種效果。設計流程、設計組織、設計模型,都可以套這個判斷。
  • 警惕你自己的專家盲點。你在某個領域待得越久,越會有一批"明擺著為真"的東西,而恰恰是這些東西你教不出去。定期去找一個沒受過這套訓練的人,試著把最基本的前提講清楚。講不通的地方,就是你盲點的位置。
  • 把事後合理化當成材料,當成證據去用要謹慎。你對自己為什麼這麼選、為什麼這麼信的說明,是當下編出來的。做重要決定時,別隻依賴內省,去看行為記錄、看外部資料、看別人對你的觀察。
  • 給難問題設一個真實的截止期。McClelland 是算著自己的剩餘年頭,才從舒適的決策實驗轉向數學認知的。舒適的工作會一直給你明確的收束感,但那不等於你在逼近重要的問題。算一下你還剩多少個可以高強度工作的年份,然後決定現在該做什麼。
  • 別接受任何給你貼的標籤,包括你自己貼的。那位編輯讓他把理論留給理論家,他刪了那一節,但沒有刪掉那個念頭。標籤是關於過去的故事,不是關於你的判決。
  • 找到那件讓你不由自主的事,然後待在它旁邊足夠久。McClelland 講他弟弟13個月大就能認出想放哪張唱片,靠的是看唱片上的劃痕。那種共振沒法規劃,但可以留心。它出現的時候,你的任務只有兩個:認出它,別走開。

最後回到那張長椅上的話。邏輯用於證明,直覺用於發現。

McClelland 一輩子在做的事,就是讓這兩件事互相供養:先讓直覺把一個想法推上來,再用形式系統把它磨到能被檢驗、能被傳遞、能成為下一代人的直覺基礎。

他自己也是這麼一個人:從笛卡爾的夢裡醒來,跟著一條不那麼明顯的線索走了五十年,路上帶上了 Rumelhart、Hinton、Crick 和一批學生,然後在語義一點點瓦解的朋友身上,看見自己那套理論最殘酷的一次演示。

他還是說,那是慶祝。

文稿來自公開 Kaggle 資料集(rajneesh231/lex-fridman-podcast-transcript),為早期自動轉錄存檔,可能存在識別錯誤。
The following is a conversation with Jay McClelland, a cognitive scientist at Stanford and one of the seminal figures in the history of artificial intelligence and specifically neural networks. Having written the parallel distributed processing book with David Rommelhart, who coauthored the backpropagation paper with Jeff Hinton. In their collaborations, they've paved the way for many of the ideas at the center of the neural network based machine learning revolution of the past 15 years. To support this podcast, please check out our sponsors in the description. This is the Lex Friedman podcast and here is my conversation with Jay McClelland. You are one of the seminal figures in the history of neural networks. At the intersection of cognitive psychology and computer science, what to you has over the decades emerged as the most beautiful aspect about neural networks? Both artificial and biological. The fundamental thing I think about with neural networks is how they allow us to link biology with the mysteries of thought. When I was first entering the field myself in the late 60s, early 70s, cognitive psychology had just become a field. There was a book published in 67 called Cognitive Psychology. And the author said that the study of the nervous system was only of peripheral interest. It wasn't going to tell us anything about the mind. And I didn't agree with that. I always felt, oh, look, I'm a physical being. From dust to dust, you know, ashes to ashes, and somehow I emerged from that. So that's really interesting. So there was a sense with cognitive psychology that in understanding the neuronal structure of things, you're not going to be able to understand the mind. And then your sense is if we study these neural networks, we might be able to get at least very close to understanding the fundamentals of the human mind. Yeah. I used to think, or I used to talk about the idea of awakening from the Cartesian dream. So Descartes, you know, thought about these things, right? He was walking in the gardens of Versailles one day, and he stepped on a stone. And a statue moved. And he walked a little further, he stepped on another stone, and another statue moved. And he, like, why did the statue move when I stepped on the stone? And he went and talked to the gardeners, and he found out that they had a hydraulic system that allowed the physical contact with the stone to cause water to flow in various directions, which caused water to flow into the statue and move the statue. And he used this as the beginnings of a theory about how animals act. And he had this notion that these little fibers that people had identified that weren't carrying the blood, you know, were these little hydraulic tubes that if you touch something, there would be pressure, and it would send a signal of pressure to the other parts of the system, and that would cause action. So he had a mechanistic theory of animal behavior. And he thought that the human had this animal body, but that some divine something else had to have come down and been placed in him to give him the ability to think, right? So the physical world includes the body in action, but it doesn't include thought according to Descartes, right? And so the study of physiology at that time was the study of sensory systems and motor systems and things that you could directly measure when you stimulated neurons and stuff like that. And the study of cognition was something that, you know, was tied in with abstract computer algorithms and things like that. But when I was an undergraduate, I learned about the physiological mechanisms. And so when I'm studying cognitive psychology as a first year PhD student, I'm saying, wait a minute, the whole thing is biological, right? You know? You had that intuition right away. That always seemed obvious to you. Yeah, yeah. Isn't that magical, though, that from just a little bit of biology can emerge the full beauty of the human experience? Why is that so obvious to you? Well, obvious and not obvious at the same time. And I think about Darwin in this context, too, because Darwin knew very early on that none of the ideas that anybody had ever offered gave him a sense of understanding how evolution could have worked. But he wanted to figure out how it could have worked. That was his goal. And he spent a lot of time working on this idea and reading about things that gave him hints and thinking they were interesting but not knowing why and drawing more and more pictures of different birds that differ slightly from each other and so on, you know. And then he figured it out. But after he figured it out, he had nightmares about it. He would dream about the complexity of the eye and the arguments that people had given about how ridiculous it was to imagine that that could have ever emerged from some sort of, you know, unguided process, right? That it hadn't been the product of design. And so he didn't publish for a long time, in part because he was scared of his own ideas. He didn't think they could possibly be true. But then, you know, by the time the 20th century rolls around, we all, you know, we understand that, many people understand or believe that evolution produced, you know, the entire range of animals that there are. And, you know, Descartes's idea starts to seem a little wonky after a while, right? Like, well, wait a minute. There's the apes and the chimpanzees and the bonobos and, you know, like, they're pretty smart in some ways. You know, so what? Oh, you know, somebody comes up, oh, there's a certain part of the brain that's still different. They don't, you know, there's no hippocampus in the monkey brain. It's only in the human brain. Huxley had to do a surgery in front of many, many people in the late 19th century to show to them there's actually a hippocampus in the chimpanzee's brain. You know, so the continuity of the species is another element that, you know, contributes to this sort of, you know, idea that we are ourselves a total product of nature. And that, to me, is the magic and the mystery, how nature could actually, you know, give rise to organisms that have the capabilities that we have. So it's interesting because even the idea of evolution is hard for me to keep all together in my mind. So because we think of a human time scale, it's hard to imagine, like, the development of the human eye would give me nightmares too. Because you have to think across many, many, many generations, and it's very tempting to think about kind of a growth of a complicated object and it's like, how is it possible for such a thing to be built? Because also, me, from a robotics engineering perspective, it's very hard to build these systems. How can, through an undirected process, can a complex thing be designed? It seems not, it seems wrong. Yeah, so that's absolutely right. And I, you know, a slightly different career path that would have been equally interesting to me would have been to actually study the process of embryological development flowing on into brain development and the exquisite sort of laying down of pathways and so on that occurs in the brain. And I know the slightest bit about that is not my field, but there are, you know, fascinating aspects to this process that eventually result in the, you know, the complexity of various brains. At least, you know, one thing we're, in the field, I think people have felt for a long time, in the study of vision, the continuity between humans and nonhuman animals has been second nature for a lot longer. I was having, I had this conversation with somebody who is a vision scientist and he was saying, oh, we don't have any problem with this. You know, the monkey's visual system and the human visual system, extremely similar up to certain levels, of course, they diverge after a while. But the first, the visual pathway from the eye to the brain and the first few layers of cortex or cortical areas, I guess one would say, are extremely similar. Yeah, so on the cognition side is where the leap seems to happen with humans, that it does seem we're kind of special. And that's a really interesting question when thinking about alien life or if there's other intelligent alien civilizations out there, is how special is this leap? So one special thing seems to be the origin of life itself. However you define that, there's a gray area. And the other leap, this is very biased perspective of a human, is the origin of intelligence. And again, from an engineer perspective, it's a difficult question to ask. An important one is how difficult is that leap? How special were humans? Did a monolith come down? Did aliens bring down a monolith and some apes had to touch a monolith to get it? That's a lot like Descartes idea, right? Exactly, but it just seems one heck of a leap to get to this level of intelligence. Yeah, and so Chomsky argued that some genetic fluke occurred 100,000 years ago and just happened that some human, some hominin predecessor of current humans had this one genetic tweak that resulted in language. And language then provided this special thing that separates us from all other animals. I think there's a lot of truth to the value and importance of language, but I think it comes along with the evolution of a lot of other related things related to sociality and mutual engagement with others and establishment of, I don't know, rich mechanisms for organizing and understanding of the world, which language then plugs into. Right, so language is a tool that allows you to do this kind of collective intelligence. And whatever is at the core of the thing that allows for this collective intelligence is the main thing. And it's interesting to think about that one fluke, one mutation could lead to the first crack opening of the door to human intelligence. All it takes is one. Evolution just kind of opens the door a little bit, and then time and selection takes care of the rest. You know, there's so many fascinating aspects to these kinds of things. So we think of evolution as continuous, right? We think, oh, yes, OK, over 500 million years, there could have been this relatively continuous changes. And but that's not what anthropologists, evolutionary biologists found from the fossil record. They found hundreds of millions of years of stasis. And then suddenly a change occurs. Well, suddenly on that scale is a million years or something, or even 10 million years. But the concept of punctuated equilibrium was a very important concept in evolutionary biology. And that also feels somehow right about the stages of our mental abilities. We seem to have a certain kind of mindset at a certain age. And then at another age, we look at that four year old and say, oh, my god, how could they have thought that way? So Piaget was known for this kind of stage theory of child development, right? And you look at it closely, and suddenly those stages are so discreet and it transitions. But the difference between the four year old and the seven year old is profound. And that's another thing that's always interested me is how something happens over the course of several years of experience where at some point we reach the point where something like an insight or a transition or a new stage of development occurs. And these kinds of things can be understood in complex systems research. And so evolutionary biology, developmental biology, cognitive development are all things that have been approached in this kind of way. Yeah. Just like you said, I find both fascinating those early years of human life, but also the early minutes, days from the embryonic development to how from embryos you get the brain. That development, again, from an engineer perspective, is fascinating. So it's not. So the early, when you deploy the brain to the human world and it gets to explore that world and learn, that's fascinating. But just like the assembly of the mechanism that is capable of learning, that's amazing. The stuff they're doing with brain organoids where you can build many brains and study that self assembly of a mechanism from the DNA material, that's like, what the heck? You have literally biological programs that just generate a system, this mushy thing that's able to be robust and learn in a very unpredictable world and learn seemingly arbitrary things, or a very large number of things that enable survival. Yeah. Ultimately, that is a very important part of the whole process of understanding this emergence of mind from brain kind of thing. And the whole thing seems to be pretty continuous. So let me step back to neural networks for another brief minute. You wrote parallel distributed processing books that explored ideas of neural networks in the 1980s together with a few folks. But the books you wrote with David Romelhart, who is the first author on the back propagation paper with Jeff Hinton. So these are just some figures at the time that we're thinking about these big ideas. What are some memorable moments of discovery and beautiful ideas from those early days? I'm going to start sort of with my own process in the mid 70s and then into the late 70s when I met Jeff Hinton and he came to San Diego and we were all together. In my time in graduate schools, I've already described to you, I had this sort of feeling of, OK, I'm really interested in human cognition, but this disembodied sort of way of thinking about it that I'm getting from the current mode of thought about it isn't working fully for me. And when I got my assistant professorship, I went to UCSD and that was in 1974. Something amazing had just happened. Dave Romelhart had written a book together with another man named Don Norman and the book was called Explorations in Cognition. And it was a series of chapters exploring interesting questions about cognition, but in a completely sort of abstract, nonbiological kind of way. And I'm saying, gee, this is amazing. I'm coming to this community where people can get together and feel like they've collectively exploring ideas. And it was a book that had a lot of, I don't know, lightness to it. And Don Norman, who was the more senior figure to Romelhart at that time who led that project, always created this spirit of playful exploration of ideas. And so I'm like, wow, this is great. But I was also still trying to get from the neurons with each other properly anymore. They can't relate the pictures to the words either. They can't do word picture matching. But they've lost the conceptual grounding from either modality of input. And so that's why it's called semantic dementia. The very semantics is disintegrating. And we understand this in terms of our idea that distributed representation, a pattern of activation, represents the concepts, really similar ones. As you degrade them, they start being, you lose the differences. So the difference between the dog and the goat is no longer part of the pattern anymore. And since dog is really familiar, that's the thing that remains. And we understand that in the way the models work and learn. But Rumelhart underwent this condition. So on the one hand, it's a fascinating aspect of parallel distributed processing to be. It reveals this sort of texture of distributed representation in a very nice way, I've always felt. But at the same time, it was extremely poignant because this is exactly the condition that Rumelhart was undergoing. And there was a period of time when he was this man who had been the most focused, goal directed, competitive, thoughtful person who was willing to work for years to solve a hard problem, he starts to disappear. And there was a period of time when it was hard for any of us to really appreciate that he was sort of, in some sense, not fully there anymore. Do you know if he was able to introspect the solution of the understanding mind? I mean, this is one of the big scientists that thinks about this. Was he able to look at himself and understand the fading mind? You know, we can contrast Hawking and Rumelhart in this way. And I like to do that to honor Rumelhart because I think Rumelhart is sort of like the Hawking of cognitive science to me in some ways. Both of them suffered from a degenerative condition. In Hawking's case, it affected the motor system. In Rumelhart's case, it's affecting the semantics. And not just the pure object semantics, but maybe the self semantics as well. And we don't understand that. Concepts broadly. So I would say he didn't. And this was part of what, from the outside, was a profound tragedy. But on the other hand, at some level, he sort of did because there was a period of time when it finally was realized that he had really become profoundly impaired. This was clearly a biological condition. It wasn't just like he was distracted that day or something like that. So he retired from his professorship at Stanford and he became, he lived with his brother for a couple years and then he moved into a facility for people with cognitive impairments. One that many elderly people end up in when they have cognitive impairments. And I would spend time with him during that period. This was like in the late 90s, around 2000 even. And we would go bowling and he could still bowl. And after bowling, I took him to lunch and I said, where would you like to go? You want to go to Wendy's? And he said, nah. And I said, okay, well, where do you want to go? And he just pointed. He said, turn here. So he still had a certain amount of spatial cognition and he could get me to the restaurant. And then when we got to the restaurant, I said, what do you want to order? And he couldn't come up with any of the words, but he knew where on the menu the thing was that he wanted. So it's, you know, and he couldn't say what it was, but he knew that that's what he wanted to eat. And so it's like it isn't monolithic at all. Our cognition is, you know, first of all, graded in certain kinds of ways, but also multipartite and there's many elements to it and things, certain sort of partial competencies still exist in the absence of other aspects of these competencies. So this is what always fascinated me about what used to be called cognitive neuropsychology, you know, the effects of brain damage on cognition. But in particular, this gradual disintegration part. You know, I'm a big believer that the loss of a human being that you value is as powerful as, you know, first falling in love with that human being. I think it's all a celebration of the human being. So the disintegration itself too is a celebration in a way. Yeah, yeah. But just to say something more about the scientist and the backpropagation idea that you mentioned. So in 1982, Hinton had been there as a postdoc and organized that conference. He'd actually gone away and gotten an assistant professorship and then there was this opportunity to bring him back. So Jeff Hinton was back on a sabbatical. San Diego. And Rommelhard and I had decided we wanted to do this, you know, we thought it was really exciting and the papers on the interactive activation model that I was telling you about had just been published and we both sort of saw a huge potential for this work and Jeff was there. And so the three of us started a research group, which we called the PDP Research Group. And several other people came. Francis Crick, who was at the Salk Institute, heard about it from Jeff because Jeff was known among Brits to be brilliant and Francis was well connected with his British friends. So Francis Crick came. That's a heck of a group of people, wow. And Paul Spolensky was one of the other postdocs. He was still there as a postdoc. And a few other people. But anyway, Jeff talked to us about learning and how we should think about how, you know, learning occurs in a neural network. And he said, the problem with the way you guys have been approaching this is that you've been looking for inspiration from biology to tell you what the rules should be for how the synapses should change the strengths of their connections, how the connections should form. He said, that's the wrong way to go about it. What you should do is you should think in terms of how you can adjust connection weights to solve a problem. So you define your problem and then you figure out how the adjustment of the connection weights will solve the problem. And Rumelhart heard that and said to himself, okay, so I'm going to start thinking about it that way. I'm going to essentially imagine that I have some objective function, some goal of the computation. I want my machine to correctly classify all of these images. And I can score that. I can measure how well they're doing on each image. And I get some measure of error or loss, it's typically called in deep learning. And I'm going to figure out how to adjust the connection weights so as to minimize my loss or reduce the error. And that's called, you know, gradient descent. And engineers were already familiar with the concept of gradient descent. And in fact, there was an algorithm called the delta rule that had been invented by a professor in the electrical engineering department at Stanford, Bernie Widrow and a collaborator named Hoff. I never met him. So gradient descent in continuous neural networks with multiple neuron like processing units was already understood for a single layer of connection weights. We have some inputs over a set of neurons. We want the output to produce a certain pattern. We can define the difference between our target and what the neural network is producing. And we can figure out how to change the connection weights to reduce that error. So what Romilhar did was to generalize that so as to be able to change the connections from earlier layers of units to the ones at a hidden layer between the input and the output. And so he first called the algorithm the generalized delta rule because it's just an extension of the gradient descent idea. And interestingly enough, Hinton was thinking that this wasn't going to work very well. So Hinton had his own alternative algorithm at the time based on the concept of the Boltzmann machine that he was pursuing. So the paper on the Boltzmann machine came out in, learning in Boltzmann machines came out in 1985. But it turned out that back prop worked better than the Boltzmann machine learning algorithm. So this generalized delta algorithm ended up being called back propagation, as you say, back prop. Yeah. And probably that name is opaque to me. What does that mean? What it meant was that in order to figure out what the changes you needed to make to the connections from the input to the hidden layer, you had to back propagate the error signals from the output layer through the connections from the hidden layer to the output to get the signals that would be the error signals for the hidden layer. And that's how Rumelhart formulated it. It was like, well, we know what the error signals are at the output layer. Let's see if we can get a signal at the hidden layer that tells each hidden unit what its error signal is essentially. So it's back propagating through the connections from the hidden to the output to get the signals to tell the hidden units how to change their weights from the input. And that's why it's called back prop. Yeah. But so it came from Hinton having introduced the concept of, you know, define your objective function, figure out how to take the derivative so that you can adjust the connections so that they make progress towards your goal. So stop thinking about biology for a second and let's start to think about optimization and computation a little bit more. So what about Jeff Hinton? You've gotten a chance to work with him in that little thing. The set of people involved there is quite incredible. The small set of people under the PDP flag, it's just given the amount of impact those ideas have had over the years, it's kind of incredible to think about. But, you know, just like you said, like yourself, Jeffrey Hinton is seen as one of the, not just like a seminal figure in AI, but just a brilliant person, just like the horsepower of the mind is pretty high up there for him because he's just a great thinker. So what kind of ideas have you learned from him? Have you influenced each other on? Have you debated over what stands out to you in the full space of ideas here at the intersection of computation and cognition? Well, so Jeff has said many things to me that had a profound impact on my thinking. And he's written several articles which were way ahead of their time. He had two papers in 1981, just to give one example, one of which was essentially the idea of transformers and another of which was an early paper on semantic cognition which inspired him and Rumelhart and me throughout the 80s and, you know, still I think sort of grounds my own thinking about the semantic aspects of cognition. He also, in a small paper that was never published that he wrote in 1977, you know, before he actually arrived at UCSD or maybe a couple years even before that, I don't know, when he was a PhD student, he described how a neural network could do recursive computation. And it was a very clever idea that he's continued to explore over time, which was sort of the idea that when you call a subroutine, you need to save the state that you had when you called it so you can get back to where you were when you're finished with the subroutine. And the idea was that you would save the state of the calling routine by making fast changes to connection weights. And then when you finished with the subroutine call, those fast changes in the connection weights would allow you to go back to where you had been before and reinstate the previous context so that you could continue on with the top level of the computation. Anyway, that was part of the idea. And I always thought, okay, that's really, you know, he had extremely creative ideas that were quite a lot ahead of his time and many of them in the 1970s and early 1980s. So another thing about Geoff Hinton's way of thinking, which has profoundly influenced my effort to understand human mathematical cognition, is that he doesn't write too many equations. And people tell stories like, oh, in the Hinton Lab meetings, you don't get up at the board and write equations like you do in everybody else's machine learning lab. What you do is you draw a picture. And, you know, he explains aspects of the way deep learning works by putting his hands together and showing you the shape of a ravine and using that as a geometrical metaphor for what's happening as this gradient descent process. You're coming down the wall of a ravine. If you take too big a jump, you're going to jump to the other side. And so that's why we have to turn down the learning rate, for example. And it speaks to me of the fundamentally intuitive character of deep insight together with a commitment to really understanding in a way that's absolutely ultimately explicit and clear, but also intuitive. Yeah, there's certain people like that. Here's an example, some kind of weird mix of visual and intuitive and all those kinds of things. Feynman is another example, different style of thinking, but very unique. And when you're around those people, for me in the engineering realm, there's a guy named Jim Keller who's a chip designer, engineer. Every time I talk to him, it doesn't matter what we're talking about. Just having experienced that unique way of thinking transforms you and makes your work much better. And that's the magic. You look at Daniel Kahneman, you look at the great collaborations throughout the history of science. That's the magic of that. It's not always the exact ideas that you talk about, but it's the process of generating those ideas. Being around that, spending time with that human being, you can come up with some brilliant work, especially when it's cross disciplinary as it was a little bit in your case with Jeff. Yeah. Jeff is a descendant of the logician Boole. He comes from a long line of English academics. And together with the deeply intuitive thinking ability that he has, he also has, it's been clear, he's described this to me, and I think he's mentioned it from time to time in other interviews that he's had with people. He's wanted to be able to sort of think of himself as contributing to the understanding of reasoning itself, not just human reasoning. Like Boole is about logic, right? It's about what can we conclude from what else and how do we formalize that. And as a computer scientist, logician, philosopher, the goal is to understand how we derive truths from other, from givens and things like this. And the work that Jeff was doing in the early to mid 80s on something called the Bolton machine was his way of connecting with that Boolean tradition and bringing it into the more continuous, probabilistic graded constraint satisfaction realm. And it was a beautiful set of ideas linked with theoretical physics as well as with logic. And it's always been, I mean, I've always been inspired by the Bolton machine too. It's like, well, if the neurons are probabilistic rather than deterministic in their computations, then maybe this somehow is part of the serendipity or adventitiousness of the moment of insight, right? It might not have occurred at that particular instant. It might be sort of partially the result of a stochastic process. And that too is part of the magic of the emergence of some of these things. Well, you're right with the Boolean lineage and the dream of computer science is somehow, I mean, I certainly think of humans this way, that humans are one particular manifestation of intelligence, that there's something bigger going on and you're hoping to figure that out. The mechanisms of intelligence, the mechanisms of cognition are much bigger than just humans. Yeah. So I think of, I started using the phrase computational intelligence at some point as to characterize the field that I thought, you know, people like Geoff Hinton and many of the people I know at DeepMind are working in and where I feel like I'm, you know, I'm a kind of a human oriented computational intelligence researcher in that I'm actually kind of interested in the human solution. But at the same time, I feel like that's where a huge amount of the excitement of deep learning actually lies is in the idea that, you know, we may be able to even go beyond what we can achieve with our own nervous systems when we build computational intelligences that are, you know, not limited in the ways that we are by our own biology. Perhaps allowing us to scale the very mechanisms of human intelligence just increases power through scale. Yes. And I think that that, you know, obviously that's the, that's being played out massively at Google Brain, at OpenAI and to some extent at DeepMind as well. I guess I shouldn't say to some extent. Just the massive scale of the computations that are used to succeed at games like Go or to solve the protein folding problems that they've been solving and so on. Still not as many synapses and neurons as the human brain. So we still got, we're still beating them on that. We humans are beating the AIs, but they're catching up pretty quickly. You write about modeling of mathematical cognition. So let me first ask about mathematics in general. There's a paper titled Parallel Distributed Processing Approach to Mathematical Cognition where in the introduction there's some beautiful discussion of mathematics. And you referenced there Tristan Needham who criticizes a narrow form of view of mathematics by liking the studying of mathematics as symbol manipulation to studying music without ever hearing a note. So from that perspective, what do you think is mathematics? What is this world of mathematics like? Well, I think of mathematics as a set of tools for exploring idealized worlds that often turn out to be extremely relevant to the real world but need not. But they're worlds in which objects exist with idealized properties and in which the relationships among them can be characterized with precision so as to allow the implications of certain facts to then allow you to derive other facts with certainty. So if you have two triangles and you know that there is an angle in the first one that has the same measure as an angle in the second one and you know that the lengths of the sides adjacent to that angle in each of the two triangles, the corresponding sides adjacent to that angle also have the same measure, then you can then conclude that the triangles are congruent. That is to say they have all of their properties in common. And that is something about triangles. It's not a matter of formulas. These are idealized objects. In fact, we built bridges out of triangles and we understand how to measure the height of something we can't climb by extending these ideas about triangles a little further. And all of the ability to get a tiny speck of matter launched from the planet Earth to intersect with some tiny, tiny little body way out in way beyond Pluto somewhere at exactly a predicted time and date is something that depends on these ideas. And it's actually happening in the real physical world that these ideas make contact with it in those kinds of instances. But there are these idealized objects, these triangles or these distances or these points, whatever they are, that allow for this set of tools to be created that then gives human beings this incredible leverage that they didn't have without these concepts. And I think this is actually already true when we think about just, you know, the natural numbers. I always like to include zero, so I'm going to say the nonnegative integers, but that's a place where some people prefer not to include zero. We like zero here, natural numbers, zero, one, two, three, four, five, six, seven, and so on. Yeah. And because they give you the ability to be exact about how many sheep you have. I sent you out this morning, there were 23 sheep. You came back with only 22. What happened? The fundamental problem of physics, how many sheep you have. It's a fundamental problem of human society that you damn well better bring back the same number of sheep as you started with. And it allows commerce, it allows contracts, it allows the establishment of records and so on to have systems that allow these things to be notated. But they have an inherent aboutness to them that's one in the same time sort of abstract and idealized and generalizable, while on the other hand, potentially very, very grounded and concrete. And one of the things that makes for the incredible achievements of the human mind is the fact that humans invented these idealized systems that leverage the power of human thought in such a way as to allow all this kind of thing to happen. And so that's what mathematics to me is the development of systems for thinking about the properties and relations among sets of idealized objects and the mathematical notation system that we unfortunately focus way too much on is just our way of expressing propositions about these properties. It's just like we're talking with Chomsky in language. It's the thing we've invented for the communication of those ideas. They're not necessarily the deep representation of those ideas. So what's a good way to model such powerful mathematical reasoning, would you say? What are some ideas you have for capturing this in a model? The insights that human mathematicians have had is a combination of the kind of the intuitive kind of connectionist like knowledge that makes it so that something is just like obviously true so that you don't have to think about why it's true. That then makes it possible to then take the next step and ponder and reason and figure out something that you previously didn't have that intuition about. It then ultimately becomes a part of the intuition that the next generation of mathematical thinkers have to ground their own thinking on so that they can extend the ideas even further. I came across this quotation from Henri Poincare while I was walking in the woods with my wife in a state park in Northern California late last summer. And what it said on the bench was it is by logic that we prove but by intuition that we discover. And so what for me the essence of the project is to understand how to bring the intuitive connectionist resources to bear on letting the intuitive discovery arise from engagement in thinking with this formal system. So I think of the ability of somebody like Hinton or Newton or Einstein or Rumelhart or Poincare to Archimedes is another example. So suddenly a flash of insight occurs. It's like the constellation of all of these simultaneous constraints that somehow or other causes the mind to settle into a novel state that it never did before and give rise to a new idea that then you can say, okay, well, now how can I prove this? How do I write down the steps of that theorem that allow me to make it rigorous and certain? And so I feel like the kinds of things that we're beginning to see deep learning systems do of their own accord kind of gives me this feeling of hope or encouragement that ultimately it'll all happen. So in particular as many people now have become really interested in thinking about, you know, neural networks that have been trained with massive amounts of text can be given a prompt and they can then sort of generate some really interesting, fanciful, creative story from that prompt. And there's kind of like a sense that they've somehow synthesized something like novel out of the, you know, all of the particulars of all of the billions and billions of experiences that went into the training data that gives rise to something like this sort of intuitive sense of what would be a fun and interesting little story to tell or something like that. It just sort of wells up out of the letting the thing play out its own imagining of what somebody might say given this prompt as an input to get it to start to generate its own thoughts. And to me that sort of represents the potential of capturing the intuitive side of this. And there's other examples, I don't know if you find them as captivating is, you know, on the DeepMind side with AlphaZero, if you study chess, the kind of solutions that has come up in terms of chess, it is, there's novel ideas there. It feels very like there's brilliant moments of insight. And the mechanism they use, if you think of search as maybe more towards good old fashioned AI and then there's the connection is the neural network that has the intuition of looking at a board, looking at a set of patterns and saying, how good is this set of positions? And the next few positions, how good are those? And that's it. That's just an intuition. Grandmasters have this and understanding positionally, tactically, how good the situation is, how can it be improved without doing this full, like deep search. And then maybe doing a little bit of what human chess players call calculation, which is the search, taking a particular set of steps down the line to see how they unroll. But there is moments of genius in those systems too. So that's another hopeful illustration that from neural networks can emerge this novel creation of an idea. Yes. And I think that, you know, I think Demis Hassabis is, you know, he's spoken about those things. I heard him describe a move that was made in one of the go matches against Lisa Dahl in a very similar way. And it caused me to become really excited to kind of collaborate with some of those people and analyze it at DeepMind. So I think though that what I like to really emphasize here is one part of what I like to emphasize about mathematical cognition at least is that philosophers and logicians going back three or even a little more than 3000 years ago began to develop these formal systems and gradually the whole idea about thinking formally got constructed. And, you know, it's preceded Euclid, certainly present in the work of Thales and others. And I'm not the world's leading expert in all the details of that history, but Euclid's elements were the kind of the touch point of a coherent document that sort of laid out this idea of an actual formal system within which these objects were characterized and the system of inference that allowed new truths to be derived from others was sort of like established as a paradigm. And what I find interesting is the idea that the ability to become a person who is capable of thinking in this abstract formal way is a result of the same kind of immersion in experience thinking in that way that we now begin to think of our understanding of language as being, right? So, we immerse ourselves in a particular language, in a particular world of objects and their relationships and we learn to talk about that and we develop intuitive understanding of the real world. In a similar way, we can think that what academia has created for us, what those early philosophers and their academies in Athens and Alexandria and other places allowed was the development of these schools of thought, modes of thought that then become deeply ingrained and it becomes what it is that makes it so that somebody like Jerry Fodor would think that systematic thought is the essential characteristic of the human mind as opposed to a derived and an acquired characteristic that results from acculturation in a certain mode that's been invented by humans. Would you say it's more fundamental than like language? If we start dancing, if we bring Chomsky back into the conversation, first of all, is it unfair to draw a line between mathematical cognition and language, linguistic cognition? I think that's a very interesting question and I think it's one of the ones that I'm actually very interested in right now, but I think the answer is in important ways, it is important to draw that line, but then to come back and look at it again and see some of the subtleties and interesting aspects of the difference. So if we think about Chomsky himself, he was born into an academic family. His father was a professor of rabbinical studies at a small rabbinical college in Philadelphia. He was deeply enculturated in a culture of thought and reason and brought to the effort to understand natural language, this profound engagement with these formal systems. I think that there was tremendous power in that and that Chomsky had some amazing insights into the structure of natural language, but that, I'm going to use the word but there, the actual intuitive knowledge of these things only goes so far and does not go as far as it does in people like Chomsky himself. And this was something that was discovered in the PhD dissertation of Lyla Gleitman, who was actually trained in the same linguistics department with Chomsky. So what Lyla discovered was that the intuitions that linguists had about even the meaning of a phrase, not just about its grammar, but about what they thought a phrase must mean were very different from the intuitions of an ordinary person who wasn't a formally trained thinker. And well, it recently has become much more salient. I happened to have learned about this when I myself was a PhD student at the University of Pennsylvania, but I never knew how to put it together with all of my other thinking about these things. So I actually currently have the hypothesis that formally trained linguists and other formally trained academics, whether it be linguistics, philosophy, cognitive science, computer science, machine learning, mathematics, have a mode of engagement with experience that is intuitively deeply structured to be more organized around the systematicity and ability to be conformant with the principles of a system than is actually true of the natural human mind without that immersion. That's fascinating. So the different fields and approaches with which you start to study the mind actually take you away from the natural operation of the mind. So it makes it very difficult for you to be somebody who introspects. Yes. And this is where things about human belief and so called knowledge that we consider private, not our business to manipulate in others. We are not entitled to tell somebody else what to believe about certain kinds of things. What are those beliefs? Well, they are the product of this sort of immersion and enculturation. That is what I believe. And that's limiting. It's something to be aware of. Does that limit you from having a good model of cognition? It can. So when you look at mathematical or linguistics, I mean, what is that line then? So is Chomsky unable to sneak up to the full picture of cognition? Are you, when you're focusing on mathematical thinking, are you also unable to do so? I think you're right. I think that's a great way of characterizing it. And I also think that it's related to the concept of beginner's mind and another concept called the expert blind spot. So the expert blind spot is much more prosaic seeming than this point that you were just making. But it's something that plagues experts when they try to communicate their understanding to non experts. And that is that things are self evident to them that they can't begin to even think about how they could explain it to somebody else. Because it's just like so patently obvious that it must be true. And when Kronacker said, God made the natural numbers, all else is the work of man, he was expressing that intuition that somehow or other, the basic fundamentals of discrete quantities being countable and innumerable and indefinite in number was not something that had to be discovered. But he was wrong. It turns out that many cognitive scientists agreed with him for a time. There was a long period of time where the natural numbers were considered to be a part of the innate endowment of core knowledge or to use the kind of phrases that Spelke and Kerry used to talk about what they believe are the innate primitives of the human mind. And they no longer believe that. It's actually been more or less accepted by almost everyone that the natural numbers are actually a cultural construction. And it's so interesting to go back and study those few people who still exist who don't have those systems. So this is just an example to me where a certain mode of thinking about language itself or a certain mode of thinking about geometry and those kinds of relations. So it becomes so second nature that you don't know what it is that you need to teach. And in fact, we don't really teach it all that explicitly anyway. You take a math class, the professor sort of teaches it to you the way they understand it. Some of the students in the class sort of like they get it. They start to get the way of thinking and they can actually do the problems that get put on the homework that the professor thinks are interesting and challenging ones. But most of the students who don't kind of engage as deeply don't ever get. And we think, oh, that man must be brilliant. He must have this special insight. But he must have some some biological sort of bit that's different, that makes him so that he or she could have that insight. Although I don't want to dismiss biological individual differences completely, I find it much more interesting to think about the possibility that it was that difference in the dinner table conversation at the Chomsky house when he was growing up that made it so that he had that cast of mind. Yeah. And there's a few topics we talked about that kind of interconnect because I wonder the better I get at certain things, we humans, the deeper we understand something, what are you starting to then miss about the rest of the world? We talked about David and his degenerative mind. And, you know, when you look in the mirror and wonder how different am I am I cognitively from the man I was a month ago, from the man I was a year ago, like what, you know, if I can, having thought about language of Chomsky for 10, 20 years, what am I no longer able to see? What is in my blind spot? And how big is that? And then to somehow be able to leap back out of your deep, like structure that you form for yourself about thinking about the world, leap back and look at the big picture again, or jump out of the your current way of thinking. And to be able to introspect, like what are the limitations of your mind? How is your mind less powerful than it used to be or more powerful or different, powerful in different ways? So that seems to be a difficult thing to do because we're living, we're looking at the world through the lens of our mind, right? To step outside and introspect is difficult, but it seems necessary if you want to make progress. You know, one of the threads of psychological research that's always been very, I don't know, important to me to be aware of is the idea that our explanations of our own behavior aren't necessarily actually part of the causal process that caused that behavior to occur, or even valid observations of the set of constraints that led to the outcome, but they are post hoc rationalizations that we can give based on information at our disposal about what might have contributed to the result that we came to when asked. And so this is an idea that was introduced in a very important paper by Nisbet and Wilson about, you know, the limits on our ability to be aware of the factors that cause us to make the choices that we make. And, you know, I think it's something that we really ought to be much more cognizant of, in general, as human beings, is that our own insight into exactly why we hold the beliefs that we do and we hold the attitudes and make the choices and feel the feelings that we do is not something that we totally control or totally observe. And it's subject to, you know, our culturally transmitted understanding of what it is that is the mode that we give to explain these things when asked to do so as much as it is about anything else. And so even our ability to introspect and think we have access to our own thoughts is a product of culture and belief, you know, practice. So let me ask you the big question of advice. So you've lived an incredible life in terms of the ideas you've put out into the world, in terms of the trajectory you've taken through your career, through your life. What advice would you give to young people today, in high school, in college, about how to have a career or how to have a life they can be proud of? Finding the thing that you are intrinsically motivated to engage with and then celebrating that discovery is what it's all about. When I was in college, I struggled with that. I had thought I wanted to be a psychiatrist because I think I was interested in human psychology in high school. And at that time, the only sort of information I had that had anything to do with the psyche was, you know, Freud and Erich Fromm and sort of popular psychiatry kinds of things. And so, well, they were psychiatrists, right? So I had to be a psychiatrist. And that meant I had to go to medical school. And I got to college and I find myself taking, you know, the first semester of a three quarter physics class and it was mechanics. And this was so far from what it was I was interested in, but it was also too early in the morning in the winter court semester. So I never made it to the physics class. But I wondered about the rest of my freshman year and most of my sophomore year until I found myself in the midst of this situation where around me there was this big revolution happening. I was at Columbia University in 1968 and the Vietnam War is going on. Columbia is building a gym in Morningside Heights, which is part of Harlem. And people are thinking, oh, the big bad rich guys are stealing the parkland that belongs to the people of Harlem. And, you know, they're part of the military industrial complex, which is enslaving us and sending us all off to war in Vietnam. And so there was a big revolution that involved a confluence of black activism and, you know, SDS and social justice and the whole university blew up and got shut down. And I got a chance to sort of think about why people were behaving the way they were in this context. And I, you know, I happened to have taken mathematical statistics. I happened to have been taking psychology that quarter at just cycle one. And somehow things in that space all ran together in my mind and got me really excited about asking questions about why people, what made certain people go into the buildings and not to the cognition. And I realized at one point, I got this opportunity to go to a conference where I heard a talk by a man named James Anderson, who was an engineer, but by then a professor in a psychology department, who had used linear algebra to create neural network models of perception and categorization and memory. And it just blew me out of the water that one could create a model that was simulating neurons, not just engaged in a stepwise algorithmic process that was construed abstractly. But it was simulating remembering and recalling and recognizing the prior occurrence of a stimulus or something like that. So for me, this was a bridge between the mind and the brain. And I remember I was walking across campus one day in 1977, and I almost felt like St. Paul on the road to Damascus. I said to myself, if I think about the mind in terms of a neural network, it will help me answer the questions about the mind that I'm trying to answer. And that really excited me. So I think that a lot of people were becoming excited about that. And one of those people was Jim Anderson, who I had mentioned. Another one was Steve Grossberg, who had been writing about neural networks since the 60s. And Jeff Hinton was yet another. And his PhD dissertation showed up in an applicant pool to a postdoctoral training program that Dave and Don, the two men I mentioned before, Rumelhart and Norman, were administering. And Rumelhart got really excited about Hinton's PhD dissertation. And so Hinton was one of the first people who came and joined this group of postdoctoral scholars that was funded by this wonderful grant that they got. Another one who is also well known in neural network circles is Paul Smolenski. He was another one of that group. Anyway, Jeff and Jim Anderson organized a conference at UCSD where we were. And it was called Parallel Models of Associative Memory. And it brought all the people together who had been thinking about these kinds of ideas in 1979 or 1980. And this began to kind of really resonate with some of Rumelhart's own thinking, some of his reasons for wanting something other than the kinds of computation he'd been doing so far. So let me talk about Rumelhart now for a minute, OK, with that context. Well, let me also just pause because he said so many interesting things before we go to Rumelhart. So first of all, for people who are not familiar, neural networks are at the core of the machine learning, deep learning revolution of today. Geoffrey Hinton that we mentioned is one of the figures that were important in the history like yourself in the development of these neural networks, artificial neural networks that are then used for the machine learning application. Like I mentioned, the backpropagation paper is one of the optimization mechanisms by which these networks can learn. And the word parallel is really interesting. So it's almost like synonymous from a computational perspective how you thought at the time about neural networks as parallel computation. Would that be fair to say? Well, yeah, the parallel, the word parallel in this comes from the idea that each neuron is an independent computational unit, right? It gathers data from other neurons, it integrates it in a certain way, and then it produces a result. And it's a very simple little computational unit. But it's autonomous in the sense that it does its thing, right? It's in a biological medium where it's getting nutrients and various chemicals from that medium. But you can think of it as almost like a little computer in and of itself. So the idea is that each our brains have, oh, look, 100 or hundreds, almost a billion of these little neurons, right? And they're all capable of doing their work at the same time. So it's like instead of just a single central processor that's engaged in chug one step after another, we have a billion of these little computational units working at the same time. So at the time that's, I don't know, maybe you can comment, it seems to me, even still to me, quite a revolutionary way to think about computation relative to the development of theoretical computer science alongside of that where it's very much like sequential computer. You're analyzing algorithms that are running on a single computer. You're saying, wait a minute, why don't we take a really dumb, very simple computer and just have a lot of them interconnected together? And they're all operating in their own little world and they're communicating with each other and thinking of computation that way. And from that kind of computation, trying to understand how things like certain characteristics of the human mind can emerge. That's quite a revolutionary way of thinking, I would say. Well, yes, I agree with you. And there's still this sort of sense of not sort of knowing how we kind of get all the way there, I think. And this very much remains at the core of the questions that everybody's asking about the capabilities of deep learning and all these kinds of things. But if I could just play this out a little bit, a convolutional neural network or a CNN, which many people may have heard of, is a set of, you could think of it biologically as a set of collections of neurons. Each collection has maybe 10,000 neurons in it. But there's many layers. Some of these things are hundreds or even 1,000 layers deep. But others are closer to the biological brain and maybe they're like 20 layers deep or something like that. So within each layer, we have thousands of neurons or tens of thousands maybe. Well, in the brain, we probably have millions in each layer. But we're getting sort of similar in a certain way. And then we think, OK, at the bottom level, there's an array of things that are like the photoreceptors. In the eye, they respond to the amount of light of a certain wavelength at a certain location on the pixel array. So that's like the biological eye. And then there's several further stages going up, layers of these neuron like units. And you go from that raw input array of pixels to the classification, you've actually built a system that could do the same kind of thing that you and I do when we open our eyes and we look around and we see there's a cup, there's a cell phone, there's a water bottle. And these systems are doing that now, right? So they are, in terms of the parallel idea that we were talking about before, they are doing this massively parallel computation in the sense that each of the neurons in each of those layers is thought of as computing its little bit of something about the input simultaneously with all the other ones in the same layer. We get to the point of abstracting that away and thinking, oh, it's just one whole vector that's being computed, one activation pattern that's computed in a single step. And that abstraction is useful, but it's still that parallel. And distributed processing, right? Each one of these guys is just contributing a tiny bit to that whole thing. And that's the excitement that you felt, that from these simple things, you can emerge. When you add these level of abstractions on it, you can start getting all the beautiful things that we think about as cognition. And so, OK, so you have this conference. others and things like that. And so suddenly I had a path forward and I had just been wandering around aimlessly. And at the different points in my career, you know, and I think, okay, well, should I take this class or should I just read that book about some idea that I want to understand better, you know, or should I pursue the thing that excites me and interests me or should I, you know, meet some requirement? You know, that's, I always did the latter. So I ended up, my professors in psychology were, thought I was great. They wanted me to go to graduate school. They nominated me for Phi Beta Kappa. And I went to the Phi Beta Kappa ceremony and this guy came up and he said, oh, are you Magna Arsuma? And I wasn't even getting honors based on my grades. They just happened to have thought I was interested enough in ideas to belong to Phi Beta Kappa. So. I mean, would it be fair to say you kind of stumbled around a little bit through accidents of too early morning of classes in physics and so on until you discovered intrinsic motivation, as you mentioned, and then that's it. It hooked you. And then you celebrate the fact that this happens to human beings. Yeah. And what is it that made what I did intrinsically motivating to me? Well, that's interesting and I don't know all the answers to it. And I don't think I want anybody to think that you should be sort of in any way, I don't know, sanctimonious or anything about it. You know, it's like, I really enjoyed doing statistical analysis of data. I really enjoyed running my own experiment, which was what I got a chance to do in the psychology department that chemistry and physics had never, I never imagined that mere mortals would ever do an experiment in those sciences, except one that was in the textbook that you were told to do in lab class. But in psychology, we were already like, even when I was taking psych one, it turned out we had our own rat and we got to, after two set experiments, we got to, okay, do something you think of with your rat. So it's the opportunity to do it myself and to bring together a certain set of things that engaged me intrinsically. And I think it has something to do with why certain people turn out to be profoundly amazing musical geniuses, right? They get immersed in it at an early enough point and it just sort of gets into the fabric. So my little brother had intrinsic motivation for music as we witnessed when he discovered how to put records on the phonograph when he was like 13 months old and recognize which one he wanted to play, not because he could read the labels, because he could sort of see which ones had which scratches, which were the different, you know, oh, that's rapidi espanol. And that's, you know, and, and, and, And he enjoyed that, that connected with him somehow. Yeah. And, and there was something that it fed into and it, you're extremely lucky if you have that and if you can nurture it and can let it grow and let it be, be an important part of your life. Yeah. Those are, those are the two things is like, be attentive enough to, to feel it when it comes, like this is something special. I mean, I don't know. For example, I really like tabular data, like Excel sheets. Like it brings me a deep joy. I don't know how useful that is for anything. That's part of what I'm talking about. Exactly. So there's like a million, not a million, but there's a lot of things like that. For me, you have to hear that for yourself, like be, like realize this is really joyful. But then the other part that you're mentioning, which is the nurture is take time and stay with it, stay with it a while and see where that takes you in life. Yeah. And I think, I think the, the, the motivational engagement results in the immersion that then creates the opportunity to obtain the expertise. So, you know, we could call it the Mozart effect, right? I mean, when I think about Mozart, I think about, you know, the person who was born as the fourth member of the family string quartet, right? And, and they handed him the violin when he was six weeks old. All right, start playing, you know, it's like, and so the, the level of immersion there was, was amazingly profound, but hopefully he also had, you know, some, something, maybe this is where the more sort of the genetic part comes in. Sometimes I think, you know, something in him resonated to the music so that that, the synergy of the combination of that was so powerful. So, so that's what I really considered to be the Mozart effect. It's sort of the, the synergy of something with, with experience that, that then results in the unique flowering of a particular, you know, mind. And so I know my siblings and I are all very different from each other. We've all gone in our own different directions. And, you know, I mentioned my younger brother who was very musical. I had my other younger brother was like this amazing, like intuitive engineer. And my sister, one of my sisters was passionate about, in, you know, water conservation well before it was, you know, such a hugely important issue that it is today. So we all sort of somehow these find a different thing. And I don't, I don't mean to say it isn't tied in with something about, about us biologically, but, but it's also when that happens, where you can find that, then, you know, you can do your thing and you can be excited about it. So people can be excited about fitting people on bicycles, as well as excited about making neural networks, achieve insights into human cognition, right? Yeah. Like for me personally, I've always been excited about love and friendship between humans. And just like the actual experience of it, since I was a child, just observing people around me and also been excited about robots. And there's something in me that thinks I really would love to explore how those two things combine. And it doesn't make any sense. A lot of it is also timing, just to think of your own career and your own life. You found yourself in certain pieces, places that happened to involve some of the greatest thinkers of our time. And so it just worked out that like, you guys developed those ideas. And there may be a lot of other people similar to you, and they were brilliant, and they never found that right connection and place to where they, their ideas could flourish. So it's timing, it's place, it's people. And ultimately the whole ride, you know, it's undirected. Can I ask you about something you mentioned in terms of psychiatry when you were younger? Because I had a similar experience of, you know, reading Freud and Carl Jung and just, you know, those kind of popular psychiatry ideas. And that was a dream for me early on in high school too. Like I hoped to understand the human mind by, somehow psychiatry felt like the right discipline for that. Does that make you sad? That psychiatry is not the mechanism by which you are able to explore the human mind. So for me, I was a little bit disillusioned because of how much prescription medication and biochemistry is involved in the discipline of psychiatry, as opposed to the dream of the Freud like, use the mechanisms of language to explore the human mind. So that was a little disappointing. And that's why I kind of went to computer science and thinking like, maybe you can explore the human mind by trying to build the thing. Yes. I wasn't exposed to the sort of the biomedical slash pharmacological aspects of psychiatry at that point because I dropped out of that whole idea of premed that I never even found out about that until much later. But you're absolutely right. So I was actually a member of the National Advisory Mental Health Council. That is to say the board of scientists who advise the director of the National Institute of Mental Health. And that was around the year 2000. And in fact, at that time, the man who came in as the new director, I had been on this board for a year when he came in, said, okay, schizophrenia is a biological illness. It's a lot like cancer. We've made huge strides in curing cancer. And that's what we're going to do with schizophrenia. We're going to find the medications that are going to cure this disease. And we're not going to listen to anybody's grandmother anymore. And good old behavioral psychology is not something we're going to support any further. And he completely alienated me from the Institute and from all of its prior policies, which had been much more holistic, I think, really at some level. And the other people on the board were like psychiatrists, very biological psychiatrists. It didn't pan out that nothing has changed in our ability to help people with mental illness. And so 20 years later, that particular path was a dead end, as far as I can tell. Well, there's some aspect to, and sorry to romanticize the whole philosophical conversation about the human mind. But to me, psychiatrists, for a time, held the flag of we're the deep thinkers. In the same way that physicists are the deep thinkers about the nature of reality, psychiatrists are the deep thinkers about the nature of the human mind. And I think that flag has been taken from them and carried by people like you. It's like, it's more in the cognitive psychology, especially when you have a foot in the computational view of the world, because you can both build it, you can like, intuit about the functioning of the mind by building little models and be able to see mathematical things and then deploying those models, especially in computers, to say, does this actually work? They do like experiments. And then some combination of neuroscience, where you're starting to actually be able to observe, do certain experiments on human beings and observe how the brain is actually functioning. And there, using intuition, you can start being the philosopher. Like Richard Feynman is the philosopher, cognitive psychologists can become the philosopher, and psychiatrists become much more like doctors. They're like very medical. They help people with medication, biochemistry, and so on. But they are no longer the book writers and the philosophers, which of course I admire. I admire the Richard Feynman ability to do great low level mathematics and physics and the high level philosophy. Yeah, I think it was Fromm and Jung more than Freud that was sort of initially kind of like made me feel like, oh, this is really amazing and interesting and I want to explore it further. I actually, when I got to college and I lost that thread, I found more of it in sociology and literature than I did in any place else. So I took quite a lot of both of those disciplines as an undergraduate. And I was actually deeply ambivalent about the psychology because I was doing experiments after the initial flurry of interest in why people would occupy buildings during an insurrection and consider being so overcommitted to their beliefs. But I ended up in the psychology laboratory running experiments on pigeons. And so I had these profound dissonance between the kinds of issues that would be explored when I was thinking about what I read about in modern British literature versus what I could study with my pigeons in the laboratory. That got resolved when I went to graduate school and I discovered cognitive psychology. And so for me, that was the path out of this sort of like extremely sort of ambivalent divergence between the interest in the human condition and the desire to do actual mechanistically oriented thinking about it. And I think we've come a long way in that regard and that you're absolutely right that nowadays this is something that's accessible to people through the pathway in through computer science or the pathway in through neuroscience. You can get derailed in neuroscience down to the bottom of the system where you might find the cures of various conditions, but you don't get a chance to think about the higher level stuff. So it's in the systems and cognitive neuroscience and computational intelligence, miasma up there at the top that I think these opportunities are most are richest right now. And so yes, I am indeed blessed by having had the opportunity to fall into that space. So you mentioned the human condition, speaking which you happen to be a human being who's unfortunately not immortal. That seems to be a fundamental part of the human condition that this ride ends. Do you think about the fact that you're going to die one day? Are you afraid of death? I would say that I am not as much afraid of death as I am of degeneration. And I say that in part for reasons of having, you know, seen some tragic degenerative situations unfold. It's exciting when you can continue to participate and feel like you're near the place where the wave is breaking on the shore, if you like. And I think about my own future potential. If I were to begin to suffer from Alzheimer's disease or semantic dementia or some other condition, you know, I would sort of gradually lose the thread of that ability. And so one can live on for a decade after, you know, sort of having to retire because one no longer has these kinds of abilities to engage. And I think that's the thing that I fear the most. SL. The losing of that, like the breaking of the wave, the flourishing of the mind, where you have these ideas and they're swimming around and you're able to play with them. RL. Yeah. And collaborate with other people who, you know, are themselves really helping to push these ideas forward. So, yeah. SL. What about the edge of the cliff? The end? I mean, the mystery of it. I mean... RL. The migrated sort of conception of mind and, you know, sort of continuous sort of way of thinking about most things makes it so that, to me, the discreteness of that transition is less apparent than it seems to be to most people. SL. I see. I see. Yeah. Yeah. I wonder, so I don't know if you know the work of Ernest Becker and so on. I wonder what role mortality and our ability to be cognizant of it and anticipate it and perhaps be afraid of it, what role that plays in our reasoning of the world. RL. I think that it can be motivating to people to think they have a limited period left. SL. I think in my own case, you know, it's like seven or eight years ago now that I was sitting around doing experiments on decision making that were satisfying in a certain way because I could really get closure on whether the model fit the data perfectly or not. And I could see how one could test, you know, the predictions in monkeys as well as humans and really see what the neurons were doing. But I just realized, hey, wait a minute, you know, I may only have about 10 or 15 years left here. And I don't feel like I'm getting towards the answers to the really interesting questions while I'm doing this particular level of work. And that's when I said to myself, okay, let's pick something that's hard. So that's when I started working on mathematical cognition. And I think it was more in terms of, well, I got 15 more years possibly of useful life left. Let's imagine that it's only 10. I'm actually getting close to the end of that now, maybe three or four more years. But I'm beginning to feel like, well, I probably have another five after that. So, okay, I'll give myself another six or eight. But a deadline is looming and therefore. It's not going to go on forever. And so, yeah, I got to keep thinking about the questions that I think are the interesting and important ones for sure. What do you hope your legacy is? You've done some incredible work in your life as a man, as a scientist, when the aliens and the human civilization is long gone and the aliens are reading the encyclopedia about the human species. What do you hope is the paragraph written about you? I would want it to sort of highlight a couple things that I was able to see one path that was more exciting to me than the one that seemed already to be there for a cognitive psychologist, but not for any super special reason other than that I'd had the right context prior to that, but that I had gone ahead and followed that lead. And then I forget the exact wording, but I said in this preface that the joy of science is the moment in which a partially formed thought in the mind of one person gets crystallized a little better in the discourse and becomes the foundation of some exciting concrete piece of actual scientific progress. And I feel like that moment happened when Rumelhart and I were doing the interactive activation model and when Rumelhart heard Hinton talk about gradient descent and having the objective function to guide the learning process. And it happened a lot in that period and I sort of seek that kind of thing in my collaborations with my students. So the idea that this is a person who contributed to science by finding exciting collaborative opportunities to engage with other people through is something that I certainly hope is part of the paragraph. And like you said, taking a step maybe in directions that are non obvious. So it's the old Robert Frost road less taken. So maybe because you said like this incomplete initial idea, that step you take is a little bit off the beaten path. If I could just say one more thing here. This was something that really contributed to energizing me in a way that I feel it would be useful to share. My PhD dissertation project was completely empirical experimental project. And I wrote a paper based on the two main experiments that were the core of my dissertation and I submitted it to a journal. And at the end of the paper, I had a little section where I laid out the beginnings of my theory about what I thought was going on that would explain the data that I had collected. And I had submitted the paper to the Journal of Experimental Psychology. So I got back a letter from the editor saying, thank you very much. These are great experiments and we'd love to publish them in the journal. But what we'd like you to do is to leave the theorizing to the theorists and take that part out of the paper. And so I did, I took that part out of the paper. But I almost found myself labeled as a non theorist by this. And I could have succumbed to that and said, okay, well, I guess my job is to just go on and do experiments, right? But that's not what I wanted to do. And so when I got to my assistant professorship, although I continued to do experiments because I knew I had to get some papers out, I also at the end of my first year submitted my first article to Psychological Review, which was the theoretical journal where I took that section and elaborated it and wrote it up and submitted it to them. And they didn't accept that either, but they said, oh, this is interesting. You should keep thinking about it this time. And then that was what got me going to think, okay, you know, so it's not a superhuman thing to contribute to the development of theory. You know, you don't have to be, you can do it as a mere mortal. LB And the broader, I think, lesson is don't succumb to the labels of a particular reviewer. RL Yeah, that's for sure. Or anybody labeling you, right? LB Yeah, exactly. I mean that, yeah, exactly. And especially as you become successful, your labels get assigned to you for that you're successful for that thing. RL Connectionist or cognitive scientist and not a neuroscientist. LB And then you can, you can completely, that's just, that's the stories of the past. You're today a new person that can completely revolutionize in totally new areas. So don't let those labels hold you back. Well, let me ask the big question. When you look at into the, you said it started with Columbia trying to observe these humans and they're doing weird stuff and you want to know why are they doing this stuff. So Zuma even bigger. LB At the hundred plus billion people who've ever lived on earth. Why do you think we're all doing what we're doing? What do you think is the meaning of it all? The big why question. We seem to be very busy doing a bunch of stuff and we seem to be kind of directed towards somewhere. But why? RL Well, I myself think that we make meaning for ourselves and that we find inspiration in the meaning that other people have made in the past. You know, and the great religious thinkers of the first millennium BC and, you know, few that came in the early part of the second millennium, you know, laid down some important foundations for us. But I do believe that, you know, we are an emergent result of a process that happened naturally without guidance and that meaning is what we make of it and that the creation of efforts to reify meaning in like religious traditions and so on is just a part of the expression of that goal that we have to, you know, not find out what the meaning is, but to make it ourselves. And so, to me, it's something that's very personal. It's very individual. It's like meaning will come for you through the particular combination of synergistic elements that are your fabric and your experience and your context and, you know, you should... It's all made in a certain kind of a local context though, right? Here I am at UCSD with this brilliant man, Rommelhart, who's having, you know, these doubts about symbolic artificial intelligence that resonate with my desire to see it grounded in the biology and let's make the most of that, you know? Yeah. And so, from that like little pocket, there's some kind of peculiar little emergent process that then, which is basically each one of us, each one of us humans is a kind of, you know, you think cells and they come together and it's an emergent process that then tells fancy stories about itself and then gets, just like you said, just enjoys the beauty of the stories we tell about ourselves. It's an emergent process that lives for a time, is defined by its local pocket and context in time and space and then tells pretty stories and we write those stories down and then we celebrate how nice the stories are and then it continues because we build stories on top of each other and eventually we'll colonize hopefully other planets, other solar systems, other galaxies and we'll tell even better stories. But it all starts here on Earth. Jay, you're speaking of peculiar emergent processes that lived one heck of a story. You're one of the the great scientists of cognitive science, of psychology, of computation. It's a huge honor you would talk to me today that you spend your very valuable time. I really enjoyed talking with you and thank you for all the work you've done. I can't wait to see what you do next. JL Well, thank you so much and this has been an amazing opportunity for me to let ideas that I've never fully expressed before come out because you asked such a wide range of the deeper questions that we've all been thinking about for so long. So thank you very much for that. RL Thank you. Thanks for listening to this conversation with Jay McClelland. To support this podcast, please check out our sponsors in the description. And now, let me leave you with some words from Jeffrey Hinton. In the long run, curiosity driven research works best. Real breakthroughs come from people focusing on what they're excited about. Thanks for listening and hope to see you next time. I forgot the name already, but it's Parallel and Something Associative Memory and so on. Very exciting, technical and exciting title. And you started talking about Dave Romerhart. So who is this person that was so, you've spoken very highly of him. Can you tell me about him, his ideas, his mind, who he was as a human being, as a scientist? So Dave came from a little tiny town in Western South Dakota. And his mother was the librarian, and his father was the editor of the newspaper. And I know one of his brothers pretty well. They grew up, there were four brothers, and they grew up together. And their father encouraged them to compete with each other a lot. They competed in sports, and they competed in mind games. I don't know, things like Sudoku and chess and various things like that. And Dave was a standout undergraduate. He went at a younger age than most people do to college at the University of South Dakota and majored in mathematics. And I don't know how he got interested in psychology, but he applied to the mathematical psychology program at Stanford and was accepted as a PhD student to study mathematical psychology at Stanford. So mathematical psychology is the use of mathematics to model mental processes. So something that I think these days might be called cognitive modeling, that whole space. Yeah, it's mathematical in the sense that you say, if this is true and that is true, then I can derive that this should follow. And so you say, these are my stipulations about the fundamental principles, and this is my prediction about behavior. And it's all done with equations. It's not done with a computer simulation. So you solve the equation, and that tells you what the probability that the subject will be correct on the seventh trial or the experiment is or something like that. So it's a use of mathematics to descriptively characterize aspects of behavior. And Stanford at that time was the place where there were several really, really strong mathematical thinkers who were also connected with three or four others around the country who brought a lot of really exciting ideas onto the table. And it was a very, very prestigious part of the field of psychology at that time. So Rummelhart comes into this. He was a very strong student within that program. And he got this job at this brand new university in San Diego in 1967, where he's one of the first assistant professors in the Department of Psychology at UCSD. So I got there in 74, seven years later, and Rummelhart at that time was still doing mathematical modeling. But he had gotten interested in cognition. He'd gotten interested in understanding. And understanding, I think, remains, what does it mean to understand anyway? It's an interesting sort of curious, how would we know if we really understood something? But he was interested in building machines that would hear a couple of sentences and have an insight about what was going on. So for example, one of his favorite things at that time was, Margie was sitting on the front step when she heard the familiar jingle of the good humor man. She remembered her birthday money and ran into the house. What is Margie doing? Why? Well, there's a couple of ideas you could have, but the most natural one is that the good humor man brings ice cream. She likes ice cream. She knows she needs money to buy ice cream, so she's going to run into the house and get her money so she can buy herself an ice cream. It's a huge amount of inference that has to happen to get those things to link up with each other. And he was interested in how the hell that could happen. And he was trying to build good old fashioned AI style models of representation of language and content of things like has money. So like formal logic and knowledge bases, like that kind of stuff. So he was integrating that with his thinking about cognition. The mechanisms of cognition, how can they mechanistically be applied to build these knowledge, like to actually build something that looks like a web of knowledge and thereby from there emerges something like understanding, whatever the heck that is. Yeah, he was grappling. This was something that they grappled with at the end of that book that I was describing, Explorations in Cognition. But he was realizing that the paradigm of good old fashioned AI wasn't giving him the answers to these questions. By the way, that's called good old fashioned AI now. It wasn't called that at the time. Well, it was. It was beginning to be called that. Oh, because it was from the 60s. Yeah, yeah. By the late 70s, it was kind of old fashioned, and it hadn't really panned out. And people were beginning to recognize that. And Rommelhardt was like, yeah, he's part of the recognition that this wasn't all working. Anyway, so he started thinking in terms of the idea that we needed systems that allowed us to integrate multiple simultaneous constraints in a way that would be mutually influencing each other. So he wrote a paper that just really, first time I read it, I said, oh, well, yeah, but is this important? But after a while, it just got under my skin. And it was called An Interactive Model of Reading. And in this paper, he laid out the idea that every aspect of our interpretation of what's coming off the page when we read at every level of analysis you can think of actually depends on all the other levels of analysis. So what are the actual pixels making up each letter? And what do those pixels signify about which letters they are? And what do those letters tell us about what words are there? And what do those words tell us about what ideas the author is trying to convey? And so he had this model where we have these little tiny elements that represent each of the pixels of each of the letters, and then other ones that represent the line segments in them, and other ones that represent the letters, and other ones that represent the words. And at that time, his idea was there's this set of experts. There's an expert about how to construct a line out of pixels, and another expert about which sets of lines go together to make which letters, and another one about which letters go together to make which words, and another one about what the meanings of the words are, and another one about how the meanings fit together, and things like that. And all these experts are looking at this data, and they're updating hypotheses at other levels. So the word expert can tell the letter expert, oh, I think there should be a T there, because I think there should be a word the here. And the bottom up sort of feature to letter expert could say, I think there should be a T there, too. And if they agree, then you see a T, right? And so there's a top down, bottom up interactive process, but it's going on at all layers simultaneously. So everything can filter all the way down from the top, as well as all the way up from the bottom. And it's a completely interactive, bidirectional, parallel distributed process. That is somehow, because of the abstractions, it's hierarchical. So there's different layers of responsibilities, different levels of responsibilities. First of all, it's fascinating to think about it in this kind of mechanistic way. So not thinking purely from the structure of a neural network or something like a neural network, but thinking about these little guys that work on letters, and then the letters come words and words become sentences. And that's a very interesting hypothesis that from that kind of hierarchical structure can emerge understanding. Yeah, so, but the thing is, though, I wanna just sort of relate this to the earlier part of the conversation. When Romelhart was first thinking about it, there were these experts on the side, one for the features and one for the letters and one for how the letters make the words and so on. And they would each be working, sort of evaluating various propositions about, you know, is this combination of features here going to be one that looks like the letter T and so on. And what he realized, kind of after reading Hinton's dissertation and hearing about Jim Anderson's linear algebra based neural network models that I was telling you about before was that he could replace those experts with neuron like processing units, which just would have their connection weights that would do this job. So what ended up happening was that Romelhart and I got together and we created a model called the interactive activation model of letter perception, which takes these little pixel level inputs, constructs line segment features, letters and words. But now we built it out of a set of neuron like processing units that are just connected to each other with connection weights. So the unit for the word time has a connection to the unit for the letter T in the first position and the letter I in the second position, so on. And because these connections are bi directional, if you have prior knowledge that it might be the word time that starts to prime the letters and the features. And if you don't, then it has to start bottom up. But the directionality just depends on where the information comes in first. And if you have context together with features at the same time, they can convergently result in an emergent perception. And that was the piece of work that we did together that sort of got us both completely convinced that this neural network way of thinking was going to be able to actually address the questions that we were interested in as cognitive psychologists. So the algorithmic side, the optimization side, those are all details like when you first start the idea that you can get far with this kind of way of thinking, that in itself is a profound idea. So do you like the term connectionism to describe this kind of set of ideas? I think it's useful. It highlights the notion that the knowledge that the system exploits is in the connections between the units, right? There isn't a separate dictionary. There's just the connections between the units. So I already sort of laid that on the table with the connections from the letter units to the unit for the word time, right? The unit for the word time isn't a unit for the word time for any other reason than it's got the connections to the letters that make up the word time. Those are the units on the input that excited when it's excited that it in a sense represents in the system that there's support for the hypothesis that the word time is present in the input. But it's not, the word time isn't written anywhere inside the bottle, it's only written there in the picture we drew of the model to say that's the unit for the word time, right? And if somebody wants to tell me, well, how do you spell that word? You have to use the connections from that out to then get those letters, for example. That's such a, that's a counterintuitive idea where humans want to think in this logic way. This idea of connectionism, it doesn't, it's weird. It's weird that this is how it all works. Yeah, but let's go back to that CNN, right? That CNN with all those layers of neuron like processing units that we were talking about before, it's gonna come out and say, this is a cat, that's a dog, but it has no idea why it said that. It's just got all these connections between all these layers of neurons, like from the very first layer to the, you know, like whatever these layers are, they just get numbered after a while because they, you know, they somehow further in you go, the more abstract the features are, but it's a graded and continuous sort of process of abstraction anyway. And, you know, it goes from very local, very specific to much more sort of global, but it's still, you know, another sort of pattern of activation over an array of units. And then at the output side, it says it's a cat or it's a dog. And when I open my eyes and say, oh, that's Lex, or, oh, you know, there's my own dog and I recognize my dog, which is a member of the same species as many other dogs, but I know this one because of some slightly unique characteristics. I don't know how to describe what it is that makes me know that I'm looking at Lex or at my particular dog, right? Or even that I'm looking at a particular brand of car. Like I can say a few words about it, but I wrote you a paragraph about the car, you would have trouble figuring out which car is he talking about, right? So the idea that we have propositional knowledge of what it is that allows us to recognize that this is an actual instance of this particular natural kind has always been something that it never worked, right? You couldn't ever write down a set of propositions for visual recognition. And so in that space, it sort of always seemed very natural that something more implicit, you don't have access to what the details of the computation were in between, you just get the result. So that's the other part of connectionism, you cannot, you don't read the contents of the connections, the connections only cause outputs to occur based on inputs. Yeah, and for us that like final layer or some particular layer is very important, the one that tells us that it's our dog or like it's a cat or a dog, but each layer is probably equally as important in the grand scheme of things. Like there's no reason why the cat versus dog is more important than the lower level activations, it doesn't really matter. I mean, all of it is just this beautiful stacking on top of each other. And we humans live in this particular layers, for us it's useful to survive, to use those cat versus dog, predator versus prey, all those kinds of things. It's fascinating that it's all continuous, but then you then ask, the history of artificial intelligence, you ask, are we able to introspect and convert the very things that allow us to tell the difference between cat and dog into a logic, into formal logic? That's been the dream. I would say that's still part of the dream of symbolic AI. And I've recently talked to Doug Lenat who created Psych and that's a project that lasted for many decades and still carries a sort of dream in it, right? But we still don't know the answer, right? It seems like connectionism is really powerful, but it also seems like there's this building of knowledge. And so how do we, how do you square those two? Like, do you think the connections can contain the depth of human knowledge and the depth of what Dave Romahart was thinking about of understanding? Well, that remains the $64 question. And I... With inflation, that number is higher. Okay, $64,000. Maybe it's the $64 billion question now. You know, I think that from the emergentist side, which, you know, I placed myself on. So I used to sometimes tell people I was a radical, eliminative connectionist because I didn't want them to think that I wanted to build like anything into the machine. But I don't like the word eliminative anymore because it makes it seem like it's wrong to think that there is this emergent level of understanding. And I disagree with that. So I think, you know, I would call myself an a radical emergentist connectionist rather than eliminative connectionist, right? Because I want to acknowledge that these higher level kinds of aspects of our cognition are real, but they're not, they don't exist as such. And there was an example that Doug Hofstadter used to use that I thought was helpful in this respect. Just the idea that we can think about sand dunes as entities and talk about like how many there are even. But we also know that a sand dune is a very fluid thing. It's a pile of sand that is capable of moving around under the wind and reforming itself in somewhat different ways. And if we think about our thoughts as like sand dunes, as being things that emerge from just the way all the lower level elements sort of work together and are constrained by external forces, then we can say, yes, they exist as such, but they also, we shouldn't treat them as completely monolithic entities that we can understand without understanding sort of all of the stuff that allows them to change in the ways that they do. And that's where I think the connectionist feeds into the cognitive. It's like, okay, so if the substrate is parallel distributed connectionist, then it doesn't mean that the contents of thought isn't like abstract and symbolic, but it's more fluid maybe than it's easier to capture with a set of logical expressions. Yeah, that's a heck of a sort of thing to put at the top of a resume, radical, emergentist, connectionist. So there is, just like you said, a beautiful dance between that, between the machinery of intelligence, like the neural network side of it, and the stuff that emerges. I mean, the stuff that emerges seems to be, I don't know, I don't know what that is, that it seems like maybe all of reality is emergent. What I think about, this is made most distinctly rich to me when I look at cellular automata, look at game of life, that from very, very simple things, very rich, complex things emerge that start looking very quickly like organisms that you forget how the actual thing operates. They start looking like they're moving around, they're eating each other, some of them are generating offspring. You forget very quickly. And it seems like maybe it's something about the human mind that wants to operate in some layer of the emergent, and forget about the mechanism of how that emergence happens. So it, just like you are in your radicalness, I'm also, it seems like unfair to eliminate the magic of that emergent, like eliminate the fact that that emergent is real. Yeah, no, I agree. I'm not, that's why I got rid of eliminative, right? Eliminative, yeah. Yeah, because it seemed like that was trying to say that it's all completely like. An illusion of some kind, it's not. Well, who knows whether there isn't, there aren't some illusory characteristics there. And I think that philosophically many people have confronted that possibility over time, but it's still important to accept it as magic, right? So, I think of Fellini in this context, I think of others who have appreciated the role of magic, the role of magic, of actual trickery in creating illusions that move us. And Plato was on to this too. It's like somehow or other these shadows give rise to something much deeper than that. And that's, so we won't try to figure out what it is. We'll just accept it as given that that occurs. And, you know, but he was still onto the magic of it. Yeah, yeah, we won't try to really, really, really deeply understand how it works. We'll just enjoy the fact that it's kind of fun. Okay, but you worked closely with Dave Romo Hart. He passed away as a human being. What do you remember about him? Do you miss the guy? Absolutely, you know, he passed away 15ish years ago now. And his demise was actually one of the most poignant and, you know, like relevant tragedies, relevant to our conversation. He started to undergo a progressive neurological condition that isn't far from what we're used to. A neurological condition that isn't fully understood. That is to say his particular course isn't fully understood because, you know, brain scans weren't done at certain stages and no autopsy was done or anything like that. The wishes of the family. We don't know as much about the underlying pathology as we might, but I had begun to get interested in this neurological condition that might have been the very one that he was succumbing to as my own efforts to understand another aspect of this mystery that we've been discussing while he was beginning to get progressively more and more affected. So I'm going to talk about the disorder and not about Rumelhart for a second, okay? The disorder is something my colleagues and collaborators have chosen to call semantic dementia. So it's a specific form of loss of mind related to meaning, semantic dementia. And it's progressive in the sense that the patient loses the ability to appreciate the meaning of the experiences that they have, either from touch, from sight, from sound, from language. They, I hear sounds, but I don't know what they mean kind of thing. So as this illness progresses, it starts with the patient being unable to differentiate like similar breeds of dog or remember the lower frequency unfamiliar categories that they used to be able to remember. But as it progresses, it becomes more and more striking and the patient loses the ability to recognize things like pigs and goats and sheep and calls all middle sized animals dogs and can't recognize rabbits and rodents anymore. They call all the little ones cats and they can't recognize hippopotamuses and cows anymore. They call them all horses. So there was this one patient who went through this progression where at a certain point, any four legged animal, he would call it either a horse or a dog or a cat. And if it was big, he would tend to call it a horse. If it was small, he'd tend to call it a cat. Middle sized ones, he called dogs. This is just a part of the syndrome though. The patient loses the ability to relate concepts to each other. So my collaborator in this work, Carolyn Patterson, developed a test called the pyramids and palm trees test. So you give the patient a picture of pyramids and they have a choice which goes with the pyramids, palm trees or pine trees. And she showed that this wasn't just a matter of language because the patient's loss of this ability shows up whether you present the material with words or with pictures. The pictures, they can't put the pictures together

本集資源與出處