五月婷婷欧美视频_少女频道在线观看高清_欧美日韩视频一区二区三区_7777精品伊久久久大香线蕉语言

首頁 > 機器人資訊 > 白話AI:從圖靈機說起,人工智能到底用了哪些技術?

白話AI:從圖靈機說起,人工智能到底用了哪些技術?

日期:2018-10-06   人氣:  來源:互聯網
簡介:討論技術之前,我們先來搞清楚,到底什么是人工智能(ArtificialIntelligence)?簡言之,就是用「機器」對人的意識、思維的信息過程的模擬。 當初,「機器」并不是專指計算機,也可能是某種機械裝置,因為計算機還沒有發明出來,AI就出現了。另外,即使計……

討論技術之前,我們先來搞清楚,到底什么是人工智能(ArtificialIntelligence)?簡言之,就是用「機器」對人的意識、思維的信息過程的模擬。

當初,「機器」并不是專指計算機,也可能是某種機械裝置,因為計算機還沒有發明出來,AI就出現了。另外,即使計算機也分為我們熟悉的圖靈計算機和現在迅猛發展著的量子計算機或者DNA計算機等。

但是AI真正繁榮發展,還是從圖靈機出現之后才開始的。

有的讀者可能不是計算機專業的,所以簡單介紹一下圖靈機。同時要涉及一些數學和算法的知識,稍有些晦澀,大家要有一些耐心,否則沒辦法理解哪些更復雜的AI知識和術語。

圖靈機和圖靈測試

早在1900年,大數學家希爾伯特(DavidHilbert)提出了著名的第十問題:

GivenaDiophantineequationwithanynumberofunknownquantitiesandwithrationalintegralnumericalcoefficients:Todeviseaprocessaccordingtowhichitcanbedeterminedinafinitenumberofoperationswhethertheequationissolvableinrationalintegers.(fromWikipedia)

能否能通過有限步驟(算法)來判定不定方程存在有理整數解?

圖靈(AlanTuring,計算機科學與人工智能之父),被這個問題深深的吸引了,雖然后來的數學家證明Hillbert的第10問題中提到的那個算法不存在,但是,得到了一個最好的副產品,那就是1936年圖靈提出了如下所示的圖靈機:

TuringMachinefromWikipedia

ATuringmachineisanabstractmachinethatmanipulatessymbolsonastripoftapeaccordingtoatableofrules.(fromWikipedia)

圖靈機是指一個抽象的機器,它有一條無限長的紙帶,紙帶分成了一個一個的小方格。有一個機器頭在紙帶上移來移去。機器頭有一些固定的程序。在每個時刻,機器頭都要從當前紙帶上讀入一個方格信息,然后結合自己的內部狀態查找程序表,根據程序輸出信息到紙帶方格上,并轉換自己的內部狀態,m.twshmhelmet.com,然后進行移動。

馮?諾依曼(JohnvonNeumann),庫卡機器人,和圖靈是同一時期的大數學家,1946年領導研制出了眾所周知的第一臺現代電子計算機ENIAC,其工作原理就是和圖靈機是一致的。

1950年,圖靈提出了著名的「圖靈測試」,用來驗證一個機器是否達到人類的智能,具體方法就是把一個機器A和一個人B分別關到不同房間里,測試者C通過裝置(如鍵盤)和兩者對話,如果30%以上的測試者不能區分機器和人,則認為機器A通過圖靈測試。

TuringTestfromWikipedia

大家可以看出來,從希爾伯特、圖靈到馮?諾依曼,整個人工智能AI的發展,都是大數學家們在推動前進的。所以,如果想真正理解AI的工作原理和發展趨勢,必須了解相關的數學發展史和挑戰。

幾個關鍵理論和技術

1、圖靈停機問題(Haltingproblem)

圖靈機本質上就是完成了從輸入到輸出的變換(計算),假設,程序P可以把所有的變換進行「歸納」,產生這些變換規則的「共性」,那么,圖靈機應該能通過計算獲得等同于人類的智能。但是,這個假設在圖靈機上是不可計算的,這就是著名的圖靈機停機問題:

Haltingproblemistheproblemofdetermining,fromadeionofanarbitrarycomputerprogramandaninput,whethertheprogramwillfinishrunningorcontinuetorunforever.

停機問題就是判斷任意一個程序是否會在有限的時間之內結束運行的問題。

圖靈本人已經在數學上證明了這個判斷算法根本不存在。也就是說,工業機器人維修,總是有些人的智能對于圖靈計算機來說,是不可解決的。通常也說,這個問題是和圖靈停機問題計算等價的。

所以,為了讓機器獲得強人工智能(GeneralAI),人們開始研究「超越圖靈計算」的量子計算或者DNA計算等。

不過在弱人工智能(NarrowAI)領域,「深度學習」這個圖靈可計算的方法還是能解決很多實際問題的。

2、深度學習(DeepLearning)

目前大家經常聽到的谷歌大腦、百度大腦,核心技術就是用了深度學習,主要指應用了多隱含層的神經網絡。在解釋深度學習之前,我們來了解一下什么是機器學習,以及其和深度學習的關系。

如上圖所示,機器學習ML是人工智能AI的一個分支,深度學習DL又是機器學習ML的一個分支。

機器學習ML就是通過算法,使得機器從大量歷史數據中學習規律,提取特征值,例如語音識別里的MFCC特征、機器視覺里的SIFT特征等,再把這些特征放到各種機器學習模型中,從而對新的樣本做智能識別或對未來做預測。

問題來了,因為在經典機器學習里,這些特征提取算法都是人們根據具體場景數據的特征人工設計出來的,所以這種方法主要靠人工經驗來抽取樣本的特征。

然而,深度學習DL的關鍵就是要從海量訓練數據中自動提取特征,這也是GeoffreyHinton和YannLeCun這些大牛們的主要貢獻。

深度學習DL在教會計算機聽(語音識別)、看(圖像識別)、說(自然語言處理)上,都取得了很大的成績,尤其是前兩者分別比傳統的MFCC和SIFT等識別率提高了20%到30%以上,這個進步是革命性的。

簡單白話一下深度學習的工作原理,一個神經元就是一個分類器,神經元模型就是不停的分類,最終不同特征就抱團了,神經網絡神奇的地方就是每一個組件非常簡單,但是一層一層級連(多隱含層)后,高質量的特征值就奇妙的產生了。

當然,神經元的參數調整依然高度依賴人的經驗,這也是為什么說深度學習DL依舊還是一個充滿Tricks(YannLeCun語)的DirtyWork(AndrewNg語)。

3、人工人工智能

目前實踐中,接地氣的人工智能方法,除了前面說的深度學習DL,還有馬上討論的人工人工智能。

2007年,一位谷歌的實習生路易斯?馮?安(LuisvonAhn)開發了一款有趣的程序ReCapture,卻無意間開創了一個新的人工智能研究方向:「人類計算」。

ReCapture的初衷挺簡單的,想利用人類高超的模式識別能力,自動幫谷歌公司完成大量掃描圖書的文字識別工作。于是,LuisvonAhn想到,每天都有大量的用戶在輸入驗證碼來向機器證明自己是人而不是機器,而輸入驗證碼事實上就是在完成文本識別。

于是,一方面是有大量的掃描的圖書中難以識別的文字需要人來識別;另一方面是由計算機生成一些扭曲的圖片讓大量的用戶做識別以表明自己的身份。那么,為什么不把兩個方面結合在一起呢?LuisvonAhn聰明地讓用戶在輸入識別碼的時候悄悄幫助谷歌完成了文字識別工作!

大家再想一下前文中我們提到的圖靈測試,在這個「人類計算」ReCapture的例子中,用人來幫助識別文字,是不是就是A和B合二為一,他們一起給C提供AI服務了。

世界就是這么神奇,人們探索人工智能AI一個多世紀了,雖然圖靈機停機問題證明了目前現代圖靈計算機的局限性,但是在「深度學習DL」和「人工人工智能」兩個方向上依然砥礪前行。

免責聲明:本網部分文章和信息來源于互聯網,本網轉載出于傳遞更多信息和學習之目的。如轉載稿涉及版權等問題,請立即聯系網站所有人,我們會予以更改或刪除相關文章,保證您的權利。
主站蜘蛛池模板: 新沂市| 新竹县| 永城市| 东海县| 黄龙县| 北票市| 宝鸡市| 嘉峪关市| 正安县| 调兵山市| 广东省| 林周县| 西林县| 博兴县| 建昌县| 禹城市| 西藏| 苍溪县| 和平区| 蓝山县| 武穴市| 昌乐县| 衡山县| 项城市| 盱眙县| 绥芬河市| 宜章县| 遂昌县| 高陵县| 和林格尔县| 育儿| 蒙自县| 宜城市| 特克斯县| 沈丘县| 尉氏县| 额济纳旗| 合山市| 咸阳市| 泸西县| 南江县|