• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看

      ?

      AI推理:從沉寂走向新生

      2021-04-10 11:56:38陳小平
      智能系統(tǒng)學(xué)報 2021年2期
      關(guān)鍵詞:推理機(jī)封閉性圖靈

      陳小平

      推理在人工智能的創(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)注,重回人工智能研究的舞臺中央;但不是回歸原狀,而是獲得新生。

      猜你喜歡
      推理機(jī)封閉性圖靈
      艾倫·圖靈: 數(shù)學(xué)與邏輯的奇才
      優(yōu)質(zhì)護(hù)理干預(yù)對老年高血壓合并糖尿病患者的臨床護(hù)理療效封閉性
      潿西南凹陷TY油田斷層封閉性定量評價
      新英鎊
      斷層封閉性定量表征及對油氣富集的控制作用
      面向?qū)ο蟮膸缀味ɡ硗茖?dǎo)系統(tǒng)的設(shè)計與實現(xiàn)
      基于Naive Bayesian算法改進(jìn)的智能診病系統(tǒng)研究
      人工智能簡史
      商界·時尚(2016年5期)2016-07-15 21:37:17
      語言與圖靈測試
      繼電保護(hù)整定計算模塊的設(shè)計
      翁牛特旗| 高阳县| 德昌县| 苍梧县| 阳原县| 灵宝市| 株洲县| 扬中市| 安仁县| 曲麻莱县| 镇平县| 宁明县| 闽清县| 横峰县| 和政县| 渭源县| 巢湖市| 北安市| 嘉荫县| 桑日县| 行唐县| 澄城县| 镇远县| 买车| 宜兰市| 瑞安市| 葫芦岛市| 嘉黎县| 当阳市| 胶南市| 湟源县| 莲花县| 福州市| 喀什市| 临西县| 五寨县| 安仁县| 丰宁| 乳山市| 利川市| 宁强县|