美國(guó)麻省理工學(xué)院人腦與感知學(xué)專家Noah Goodman最近發(fā)明了一種AI水平較高的語(yǔ)言：Church。這種語(yǔ)言是用美國(guó)邏輯學(xué)家Alonzo Church的名字命名的。Church是基于兩套完全不同的AI理論構(gòu)建起來(lái)的，麻省理工學(xué)院認(rèn)為這種技術(shù)創(chuàng)造了一種全新的“大同一場(chǎng)AI理論”。

目前人們使用的AI技術(shù)基本都是分別基于邏輯型AI理論或概率型AI理論兩種。而基于規(guī)則的AI理論則應(yīng)用前景日漸衰微，原因是這種理論的規(guī)則類型種類太多，難于計(jì)算。相比之下，基于概率的AI理論則應(yīng)用更為廣泛，這種技術(shù)的核心是用較大型的數(shù)據(jù)庫(kù)來(lái)模擬AI,不過(guò)這種理論的缺點(diǎn)是很難用于較抽象的AI應(yīng)用。
而Goodman的Church語(yǔ)言則很好地融合了邏輯型AI和概率型AI這兩種理論。很可能是AI和感知科學(xué)的一次重大飛躍。
麻省理工學(xué)院的新聞官Larry Hardesty形象而通俗地為我們總結(jié)了這項(xiàng)新AI技術(shù)：“假設(shè)我們告訴這種基于Church的程序說(shuō)食火雞這種動(dòng)物是屬于鳥(niǎo)類的，那么程序會(huì)自動(dòng)得出‘食火雞會(huì)飛’的假設(shè)推論。不過(guò)如果我們又附加一個(gè)條件說(shuō)這種動(dòng)物的體重達(dá)到200磅左右，那么程序馬上就會(huì)自動(dòng)推翻前面假設(shè)為鳥(niǎo)類的推論，得出食火雞雖然屬于鳥(niǎo)類，但是不會(huì)飛的結(jié)論?！?/p>

有興趣可訪問(wèn)項(xiàng)目網(wǎng)站http://projects.csail.mit.edu/church/wiki/Church

轉(zhuǎn)載于:https://www.cnblogs.com/limitplus/archive/2010/11/21/1883028.html

總結(jié)

以上是生活随笔為你收集整理的Church的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。