美國麻省理工學(xué)院人腦與感知學(xué)專家Noah Goodman最近發(fā)明了一種AI水平較高的語言：Church。這種語言是用美國邏輯學(xué)家Alonzo Church的名字命名的。Church是基于兩套完全不同的AI理論構(gòu)建起來的，麻省理工學(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ù)庫來模擬AI,不過這種理論的缺點(diǎn)是很難用于較抽象的AI應(yīng)用。
而Goodman的Church語言則很好地融合了邏輯型AI和概率型AI這兩種理論。很可能是AI和感知科學(xué)的一次重大飛躍。
麻省理工學(xué)院的新聞官Larry Hardesty形象而通俗地為我們總結(jié)了這項(xiàng)新AI技術(shù)：“假設(shè)我們告訴這種基于Church的程序說食火雞這種動(dòng)物是屬于鳥類的，那么程序會(huì)自動(dòng)得出‘食火雞會(huì)飛’的假設(shè)推論。不過如果我們又附加一個(gè)條件說這種動(dòng)物的體重達(dá)到200磅左右，那么程序馬上就會(huì)自動(dòng)推翻前面假設(shè)為鳥類的推論，得出食火雞雖然屬于鳥類，但是不會(huì)飛的結(jié)論。”
喜歡 
頂
難過
囧
圍觀
無聊
