該系統的開發者Łukasz Kaiser是巴黎狄德羅大學的跨學科研究員,他平時酷愛邏輯學、 遊戲、計算機程序算法,因此他最近開發了能夠學習五子棋、連續四、井字棋、Pawn Whopping 規則的計算機系統。
系統原理:Kaiser先用視頻記錄了贏棋、輸棋、平局的情況,而後把它們反饋到這個系統裏面。
在這些視頻當中,軟件剔除了多餘的特性,例如人類下棋的手,重點關注遊戲的位置標記,從這些位置標記(贏的位置、輸的位置、平局的位置),軟件總結出這個遊戲的規則,而後換算爲邏輯公式,例如∃x1Q(x1) ∧ ∃x0(C(x1,x0) ∧ x0 = e1。它會花60秒來處理這個視頻,幾分鐘來計算出公式,且只要在一個老式的酷睿2雙核筆記本電腦上就可運行。html
該軟件(用C++寫的)的視頻識別部分和學習規則的算法(用OCaml寫的)都整合進了Toss, 一個開源遊戲程序。所以這意味着 Kaiser 實際上能夠用自動產生的算法來對弈人類下棋的思惟規則,測試結果中,人類幾乎在井字棋或連續4中沒法戰勝計算機。
簡而言之,這個軟件經過掃描、簡化外部記錄輸入來學習一個遊戲最核心的規則,雖然目前這幾個遊戲的規則很簡單,但 Kaiser表示會全力提升這個系統來應付更復雜的遊戲,例如國際象棋,而他有個好去處就是跟MIT合做,去年它曾教一個AI閱讀遊戲規則來學會玩遊戲。
web
小結:單說記憶力和對大量數據的處理能力人類是打不過計算機的,並且計算機不多犯錯;咱們看過不少美國大片中機器人、變形金剛在地球上興風做雨的鏡頭,對於計算機「大腦」的御用必須當心謹慎,可是有一點不會變,成也「邏輯」、敗也「邏輯」,人類應該有能力控制計算機的。
算法