【編者按】在上個月發表博客文章《深度學習 vs. 機器學習 vs. 模式識別》之後,CMU博士、MIT博士後及vision.ai聯合創始人Tomasz Malisiewicz這一次帶領我們回顧50年來人工智慧領域三大範式(邏輯學、概率方法和深度學習)的演變歷程。通過本文我們能夠更深入地理解人工智慧和深度學習的現狀與未來。
以下為正文:
今天,我們一起來回顧過去50年人工智慧(AI)領域形成的三大範式:邏輯學、概率方法和深度學習。如今,無論依靠經驗和「數據驅動」的方式,還是大數據、深度學習的概念,都已經深入人心,可是早期並非如此。很多早期的人工智慧方法是基於邏輯,並且從基於邏輯到數據驅動方法的轉變過程受到了概率論思想的深度影響,接下來我們就談談這個過程。
本文按時間順序展開,先回顧邏輯學和概率圖方法,然後就人工智慧和機器學習的未來走向做出一些預測。
圖片來源:Coursera的概率圖模型課
許多早期的人工智慧工作都是關注邏輯、自動定理證明和操縱各種符號。John McCarthy於1959年寫的那篇開創性論文取名為《常識編程》也是順勢而為。
如果翻開當下最流行的AI教材之一——《人工智慧:一種現代方法》(AIMA),我們會直接注意到書本開篇就是介紹搜索、約束滿足問題、一階邏輯和規劃。第三版封面(見下圖)像一張大棋盤(因為棋藝精湛是人類智慧的標誌),還印有阿蘭·圖靈(計算機理論之父)和亞里斯多德(最偉大的古典哲學家之一,象徵著智慧)的照片。
AIMA 的封面,它是CS專業本科AI課程的規範教材
然而,基於邏輯的AI遮掩了感知問題,而我很早之前就主張了解感知的原理是解開智能之謎的金鑰匙。感知是屬於那類對於人很容易而機器很難掌握的東西。(延伸閱讀:《計算機視覺當屬人工智慧》,作者2011年的博文)邏輯是純粹的,傳統的象棋機器人也是純粹算法化的,但現實世界卻是醜陋的,骯髒的,充滿了不確定性。
我想大多數當代人工智慧研究者都認為基於邏輯的AI已經死了。萬物都能完美觀察、不存在測量誤差的世界不是機器人和大數據所在的真實世界。我們生活在機器學習的時代,數位技術擊敗了一階邏輯。站在2015年,我真是替那些死守肯定前件拋棄梯度下降的傻子們感到惋惜。
邏輯很適合在課堂上講解,我懷疑一旦有足夠的認知問題成為「本質上解決」,我們將看到邏輯學的復甦。未來存在著很多開放的認知問題,那麼也就存在很多場景,在這些場景下社區不用再擔心認知問題,並開始重新審視這些經典的想法。也許在2020年。
延伸閱讀:《邏輯與人工智慧》斯坦福哲學百科全書
概率方法在人工智慧是用來解決問題的不確定性。《人工智慧:一種現代方法》一書的中間章節介紹「不確定知識與推理」,生動地介紹了這些方法。如果你第一次拿起AIMA,我建議你從本節開始閱讀。如果你是一個剛剛接觸AI的學生,不要吝嗇在數學下功夫。
來自賓夕法尼亞州立大學的概率論與數理統計課程的PDF文件
大多數人在提到的概率方法時,都以為只是計數。外行人很容易想當然地認為概率方法就是花式計數方法。那麼我們簡要地回顧過去統計思維裡這兩種不相上下的方法。
頻率論方法很依賴經驗——這些方法是數據驅動且純粹依靠數據做推論。貝葉斯方法更為複雜,並且它結合數據驅動似然和先驗。這些先驗往往來自第一原則或「直覺」,貝葉斯方法則善於把數據和啟發式思維結合做出更聰明的算法——理性主義和經驗主義世界觀的完美組合。
最令人興奮的,後來的頻率論與貝葉斯之爭,是一些被稱為概率圖模型的東西。該類技術來自計算機科學領域,儘管機器學習現在是CS和統計度的重要組成部分,統計和運算結合的時候它強大的能力才真正釋放出來。
概率圖模型是圖論與概率方法的結合產物,2000年代中期它們都曾在機器學習研究人員中風靡一時。當年我在研究生院的時候(2005-2011),變分法、Gibbs抽樣和置信傳播算法被深深植入在每位CMU研究生的大腦中,並為我們提供了思考機器學習問題的一個極好的心理框架。我所知道大部分關於圖模型的知識都是來自於Carlos Guestrin和Jonathan Huang。Carlos Guestrin現在是GraphLab公司(現改名為Dato)的CEO,這家公司生產大規模的產品用於圖像的機器學習。Jonathan Huang現在是Google的高級研究員。
下面的視頻儘管是GraphLab的概述,但它也完美地闡述了「圖形化思維」,以及現代數據科學家如何得心應手地使用它。Carlos是一個優秀的講師,他的演講不局限於公司的產品,更多的是提供下一代機器學習系統的思路。
概率圖模型的計算方法介紹(視頻和PPT下載)
Dato CEO,Carlos Guestrin教授
如果你覺得深度學習能夠解決所有機器學習問題,真得好好看看上面的視頻。如果你正在構建一套推薦系統,一個健康數據分析平臺,設計一個新的交易算法,或者開發下一代搜尋引擎,圖模型都是完美的起點。
延伸閱讀:
置信傳播算法維基百科
圖模型變分法導論
Michael Jordan的技術主頁(Michael Jordan系推理和圖模型的巨頭之一)
機器學習是從樣本學習的過程,所以當前最先進的識別技術需要大量訓練數據,還要用到深度神經網絡和足夠耐心。深度學習強調了如今那些成功的機器學習算法中的網絡架構。這些方法都是基於包含很多隱藏層的「深」多層神經網絡。註:我想強調的是深層結構如今(2015年)不再是什麼新鮮事。只需看看下面這篇1998年的「深層」結構文章。
LeNet-5,Yann LeCun開創性的論文《基於梯度學習的文檔識別方法》
你在閱讀LeNet模型導讀時,能看到以下條款聲明:
要在GPU上運行這個示例,首先得有個性能良好的GPU。GPU內存至少要1GB。如果顯示器連著GPU,可能需要更多內存。
當GPU和顯示器相連時,每次GPU函數調用都有幾秒鐘的時限。這麼做是必不可少的,因為目前的GPU在進行運算時無法繼續為顯示器服務。如果沒有這個限制,顯示器將會凍結太久,計算機看上去像是死機了。若用中等質量的GPU處理這個示例,就會遇到超過時限的問題。GPU不連接顯示器時就不存在這個時間限制。你可以降低批處理大小來解決超時問題。
我真的十分好奇Yann究竟是如何早在1998年就把他的深度模型折騰出一些東西。毫不奇怪,我們大伙兒還得再花十年來消化這些內容。
更新:Yann說(通過Facebook的評論)ConvNet工作可以追溯到1989年。「它有大約400K連接,並且在一臺SUN4機器上花了大約3個星期訓練USPS數據集(8000個訓練樣本)。」——LeCun
深度網絡,Yann1989年在貝爾實驗室的成果
註:大概同一時期(1998年左右)加州有兩個瘋狂的傢伙在車庫裡試圖把整個網際網路緩存到他們的電腦(他們創辦了一家G打頭的公司)。我不知道他們是如何做到的,但我想有時候需要超前做些並不大規模的事情才能取得大成就。世界最終將迎頭趕上的。
延伸閱讀:
Y.LeCun, L.Bottou, Y.Bengio, and P.Haffner.Gradient-based learning applied to document recognition.Proceedings of the IEEE, November 1998.
Y.LeCun, B.Boser, J.S.Denker, D.Henderson, R.E.Howard, W.Hubbard and L.D.Jackel: Backpropagation Applied to Handwritten Zip Code Recognition, Neural Computation, 1(4):541-551, Winter 1989
Deep Learning code: Modern LeNet implementation in Theano and docs.
我沒有看到傳統的一階邏輯很快捲土重來。雖然在深度學習背後有很多炒作,分布式系統和「圖形思維」對數據科學的影響更可能比重度優化的CNN來的更深遠。深度學習沒有理由不和GraphLab-style架構結合,未來幾十年機器學習領域的重大突破也很有可能來自這兩部分的結合。
原文連結:Deep Learning vs Probabilistic Graphical Models vs Logic (翻譯/zhyhooo 審校/王瑋 責編/周建丁)
本文為CSDN編譯整理,未經允許不得轉載,如需轉載請聯繫market#csdn.net(#換成@)