美國麻省理工學院人腦與感知學專家Noah Goodman最近發明了一種AI水平較高的語言:Church。這種語言是用美國邏輯學家Alonzo Church的名字命名的。Church是基于兩套完全不同的AI理論構建起來的,麻省理工學院認為這種技術創造了一種全新的“大同一場AI理論”。
![](http://img.cnbeta.com/upimg/100401/dryiceboy_22200744264290.jpg)
目前人們使用的AI技術基本都是分別基于邏輯型AI理論或概率型AI理論兩種。而基于規則的AI理論則應用前景日漸衰微,原因是這種理論的規則類型種類太多,難于計算。相比之下,基于概率的AI理論則應用更為廣泛,這種技術的核心是用較大型的數據庫來模擬AI,不過這種理論的缺點是很難用于較抽象的AI應用。
而Goodman的Church語言則很好地融合了邏輯型AI和概率型AI這兩種理論。很可能是AI和感知科學的一次重大飛躍。
麻省理工學院的新聞官Larry Hardesty形象而通俗地為我們總結了這項新AI技術:“假設我們告訴這種基于Church的程序說食火雞這種動物是屬于鳥類的,那么程序會自動得出‘食火雞會飛’的假設推論。不過如果我們又附加一個條件說這種動物的體重達到200磅左右,那么程序馬上就會自動推翻前面假設為鳥類的推論,得出食火雞雖然屬于鳥類,但是不會飛的結論。”