陳小平
推理在人工智能的創(chuàng)立中扮演了關(guān)鍵角色。哥德爾在他的不完全性定理證明中,建立了一個對AI發(fā)端具有重大意義的中間結(jié)果:KN可表示的推理可以通過遞歸函數(shù)的計算實現(xiàn)。根據(jù)車赤-圖靈論題,遞歸函數(shù)是圖靈機(jī)可計算的。于是上述中間結(jié)果隱含著一個猜想:任何推理都是圖靈機(jī)可計算的。在此基礎(chǔ)上,1950年圖靈提出了圖靈假說:推理、決策、學(xué)習(xí)、理解和創(chuàng)造都可以用圖靈機(jī)實現(xiàn)。圖靈測試是圖靈假說的一種檢驗手段,不是人工智能的定義。
在人工智能前三次浪潮中,AI推理的基本原理是可靠性條件:如果一個知識庫中的所有知識在一個應(yīng)用場景中都是真的,并且用AI推理機(jī)從該知識庫可自動推出一個結(jié)論,那么該結(jié)論在該場景中也是真的??煽啃詶l件體現(xiàn)了下列設(shè)計思想:為了用AI推理得到一個應(yīng)用場景中的每一個結(jié)論(結(jié)果),只需給出該場景的知識庫(只包含該場景的基礎(chǔ)知識,用它們可推出大量其他知識),并用推理機(jī)對可能的結(jié)論進(jìn)行自動推理。
AI推理有不同程度的弱形式,均在不同程度上遵守可靠性條件。如在搜索法中,起知識庫作用的是搜索空間,起推理機(jī)作用的是搜索算法;在訓(xùn)練法中,起知識庫作用的是用帶標(biāo)注數(shù)據(jù)訓(xùn)練得到的模型,起推理機(jī)作用的是在模型上由輸入計算輸出的算法。
依據(jù)可靠性條件,在第一、二次浪潮中研發(fā)出各種強(qiáng)大的推理機(jī)和基于知識的系統(tǒng),開展了多種實際場景的示范應(yīng)用,取得了重大進(jìn)展。近年分析表明:對于非封閉場景,可靠性條件不保證應(yīng)用成功;而實際場景通常不是封閉的。這是AI推理進(jìn)入30年沉寂的根本原因。
場景封閉化是將非封閉場景轉(zhuǎn)化為封閉場景,這為AI推理及現(xiàn)有AI技術(shù)的成功應(yīng)用提供了一條可行路徑。封閉性準(zhǔn)則的主要要求是:應(yīng)用場景被一組確定的變元完全描述,這些變元所遵守的定律被一個模型或一個確定的代表性數(shù)據(jù)集完全表達(dá)。我發(fā)現(xiàn),AI推理的三種主要數(shù)學(xué)工具 ——邏輯學(xué)、概率論和決策論規(guī)則,以及Pearl的因果理論,都隱含著封閉性假設(shè);而AlphaGo Zero通過圍棋問題封閉化取得了巨大成功。因此,研究、構(gòu)建封閉化工程學(xué)(對應(yīng)于軟件工程學(xué)),對當(dāng)前人工智能應(yīng)用具有重大意義。
然而,并非任何應(yīng)用場景都能夠或適合封閉化。CAAI名譽(yù)理事長李德毅院士指出:“我們現(xiàn)在遇到一個基本問題就是開放性跟封閉性的矛盾,可以無限接近真理,但永遠(yuǎn)不可能相同?!边@對AI推理提出了新挑戰(zhàn),也為新一代人工智能提供了研究背景。
Yann LeCun、Yoshua Bengio和Geoffrey Hinton在深度學(xué)習(xí)總結(jié)文章中指出其主要局限是缺乏復(fù)雜推理能力。在2020中國人工智能大會報告中,Yoshua Bengio提出了深度學(xué)習(xí)2.0的研究綱領(lǐng): 用深度學(xué)習(xí)實現(xiàn)推理、規(guī)劃、決策、語言等功能,并能表達(dá)顯式知識(現(xiàn)有神經(jīng)網(wǎng)絡(luò)只能表達(dá)隱式知識)。同時,他的團(tuán)隊已發(fā)表多篇相關(guān)論文。早在20世紀(jì)70年代,就出現(xiàn)了基于規(guī)則的推理與神經(jīng)網(wǎng)絡(luò)相結(jié)合的研究。在深度學(xué)習(xí)基礎(chǔ)上探索新一代AI推理,將推動人工智能向縱深發(fā)展。
傳統(tǒng)AI推理試圖用封閉的本地知識庫完成開放性任務(wù),而人類個體不僅知識量遠(yuǎn)超想象,還能隨時從外界獲得新知識。1990年以來持續(xù)發(fā)展的知識技術(shù)(Knowledge technologies)為新一代AI推理構(gòu)建了堅實的“大知識”基礎(chǔ),基于大知識的新一代AI推理也于10年前出現(xiàn)了,如“開放知識”。這一新方向在遵守可靠性條件的基礎(chǔ)上,探索非封閉化場景AI推理的可行路徑,并深化AI數(shù)學(xué)基礎(chǔ)問題的研究。
相關(guān)的工作、課題還有很多,AI推理正在重新引起學(xué)術(shù)界和產(chǎn)業(yè)界的高度關(guān)注,重回人工智能研究的舞臺中央;但不是回歸原狀,而是獲得新生。