在公開(kāi)活動(dòng)中，大會(huì)隆重舉行了一個(gè)對(duì)機(jī)器人項(xiàng)目“Shakey， the robot”的紀(jì)念活動(dòng)。上世紀(jì)60年代末到70年代中期，幾個(gè)研究員為設(shè)計(jì)制造一個(gè)名為Shakey的機(jī)器人發(fā)明了一系列后來(lái)影響廣泛的人工智能技術(shù)，包括啟發(fā)式搜索中的A*算法，自動(dòng)規(guī)劃中的STRIP模型，計(jì)算機(jī)視覺(jué)中的霍夫變換，以及如今幾乎已成為標(biāo)準(zhǔn)的機(jī)器人系統(tǒng)框架。在紀(jì)念活動(dòng)中領(lǐng)銜發(fā)言的是人工智能領(lǐng)域元老級(jí)人物Edward Feigenbaum教授，他以一篇極具感染力的演講高度評(píng)價(jià)了Shakey項(xiàng)目的巨大影響。有趣的是，以他的名字命名的Feigenbaum獎(jiǎng)也同時(shí)在紀(jì)念活動(dòng)中頒發(fā)，而今年獲獎(jiǎng)?wù)呤俏④浝椎旅裳芯吭旱脑洪L(zhǎng)Eric Horvitz。Feigenbaum獎(jiǎng)是當(dāng)今人工智能界的一個(gè)主要獎(jiǎng)項(xiàng)，用來(lái)獎(jiǎng)勵(lì)對(duì)人工智能的實(shí)驗(yàn)方面研究做出突出貢獻(xiàn)的個(gè)人和團(tuán)體。

 

　　圖靈測(cè)試的改進(jìn)方案

 

　　去年關(guān)于Eugene Goostman通過(guò)圖靈測(cè)試的新聞似乎讓一些研究者們看到一個(gè)“推翻”圖靈測(cè)試的好機(jī)會(huì)。他們先后組織了一個(gè)專題研討會(huì)和一個(gè)正式會(huì)議，主題都叫“Beyond Turing Test”。會(huì)議期間，研究者們提出了一些新的機(jī)器智能的測(cè)試標(biāo)準(zhǔn)，試圖代替圖靈測(cè)試。其中有兩個(gè)標(biāo)準(zhǔn)是比較有影響力的：

 

　　The Winogard Schema Challenge 這是一個(gè)旨在取代“有缺陷的”圖靈測(cè)試的測(cè)試方案。這個(gè)方案的基本思想是限制圖靈測(cè)試中對(duì)話的內(nèi)容。在標(biāo)準(zhǔn)的圖靈測(cè)試中人類(lèi)提問(wèn)者可以問(wèn)任意問(wèn)題，但在Winogard Schema Challenge中所有問(wèn)題都有關(guān)自然語(yǔ)言中的代詞理解。不過(guò)，在和這個(gè)挑戰(zhàn)的主辦方交流之后，我個(gè)人感覺(jué)這個(gè)方案真正的關(guān)鍵似乎在于他們只允許人類(lèi)專家參與提問(wèn)，而不像標(biāo)準(zhǔn)圖靈測(cè)試中是普通人在提問(wèn)。而代詞理解，盡管被聲稱是“關(guān)鍵思想”，其實(shí)可以被看作只是對(duì)我們應(yīng)該如何在圖靈測(cè)試中提問(wèn)的一種“建議”。但我個(gè)人并不覺(jué)得這個(gè)建議對(duì)人類(lèi)專家是必要的。比如我—作為人工智能領(lǐng)域一個(gè)普通的研究員—很有自信可以在圖靈測(cè)試中分辨出任何當(dāng)下的聊天機(jī)器人，即使不使用這類(lèi)代詞理解問(wèn)題。所以在我看來(lái)，真正的問(wèn)題是要找“對(duì)”的人，而不是找“對(duì)”的問(wèn)題。從這個(gè)角度說(shuō)，我并不認(rèn)為目前有特別必要的理由真的要取代現(xiàn)有的圖靈測(cè)試。也許我們應(yīng)該做的是規(guī)范化圖靈測(cè)試在執(zhí)行層的一些細(xì)節(jié)，例如更好地挑選甚至培訓(xùn)參與圖靈測(cè)試的人類(lèi)提問(wèn)者。

 

　　The Aristo Challenge 這是另一個(gè)要求計(jì)算機(jī)通過(guò)我們?cè)谥行W(xué)里常見(jiàn)的期中或期末考試的測(cè)試方案?？荚噧?nèi)容一般包括算術(shù)，幾何，和一些常識(shí)問(wèn)題等等。另外還有一些題目需要考生結(jié)合文字和圖片內(nèi)容進(jìn)行理解和作答?，F(xiàn)在的人工智能技術(shù)在這類(lèi)考試中能達(dá)到大概小學(xué)4年級(jí)水平。我個(gè)人覺(jué)得這個(gè)挑戰(zhàn)更有趣一些。不過(guò)，如果站在“測(cè)試機(jī)器是否具有智能的方案”的高度，你仍然很難說(shuō)如果真有計(jì)算機(jī)通過(guò)了所有中學(xué)考試是否它就一定具有智能。在我看來(lái)，和仔細(xì)設(shè)計(jì)的圖靈測(cè)試相比，似乎還是這個(gè)方案更有可能被破解，就像國(guó)際象棋或者“危險(xiǎn)邊緣“競(jìng)賽那樣。

 

　　自動(dòng)游戲博弈的新突破

 

　　最近該領(lǐng)域的一個(gè)階段性成果是，德州撲克的一個(gè)最基本的版本被近似完美解決了，具體就是說(shuō)研究員們顯式地找到一個(gè)博弈策略，其平均收益與（這個(gè)游戲的一個(gè)）納什均衡策略的差距比連續(xù)玩這個(gè)游戲70年之后結(jié)果的隨機(jī)波動(dòng)還要小。這個(gè)結(jié)果發(fā)表在一月份的一期《科學(xué)》雜志上，而項(xiàng)目的主要負(fù)責(zé)人Michael Bowling教授在會(huì)議期間就這項(xiàng)成果做了一個(gè)主題演講。

 

　　會(huì)議期間同時(shí)舉行了General Game Playing比賽。這項(xiàng)比賽要求計(jì)算機(jī)在沒(méi)有人類(lèi)手工輸入領(lǐng)域知識(shí)的情況下進(jìn)行棋類(lèi)游戲博弈。為了保證這一點(diǎn)，比賽組織方會(huì)維護(hù)一個(gè)包括各種不同游戲的列表，每項(xiàng)游戲的基本規(guī)則都用一套通用語(yǔ)言進(jìn)行形式化表述，并且只在比賽當(dāng)時(shí)才輸入給計(jì)算機(jī)。另外組織者還進(jìn)行了一場(chǎng)有趣的“碳硅大戰(zhàn)“，也就是讓人跟比賽中優(yōu)勝的計(jì)算機(jī)在這個(gè)比賽規(guī)則下比賽，結(jié)果是機(jī)器取得勝利。

 

　　會(huì)議期間同時(shí)舉行了General Game Playing比賽。這項(xiàng)比賽要求計(jì)算機(jī)在沒(méi)有人類(lèi)手工輸入領(lǐng)域知識(shí)的情況下進(jìn)行棋類(lèi)游戲博弈。為了保證這一點(diǎn)，比賽組織方會(huì)維護(hù)一個(gè)包括各種不同游戲的列表，每項(xiàng)游戲的基本規(guī)則都用一套通用語(yǔ)言進(jìn)行形式化表述，并且只在比賽當(dāng)時(shí)才輸入給計(jì)算機(jī)。另外組織者還進(jìn)行了一場(chǎng)有趣的“碳硅大戰(zhàn)“，也就是讓人跟比賽中優(yōu)勝的計(jì)算機(jī)在這個(gè)比賽規(guī)則下比賽，結(jié)果是機(jī)器取得勝利。

 

　　規(guī)劃、決策、約束補(bǔ)償、優(yōu)化、與搜索算法

 

　　這些都是人工智能的傳統(tǒng)領(lǐng)域。讓我其實(shí)有一點(diǎn)意外的是，這次會(huì)上相當(dāng)多這些領(lǐng)域里的論文是關(guān)于蒙特卡洛樹(shù)搜索法（Monte Carlo Tree Search）的內(nèi)容—一個(gè)從計(jì)算機(jī)圍棋領(lǐng)域發(fā)展而來(lái)的技術(shù)。而我這次在會(huì)議中做的論文報(bào)告正是關(guān)于如何結(jié)合Monte Carlo Tree Search與傳統(tǒng)的搜索算法，從而設(shè)計(jì)更為通用的人工智能算法。盡管論文主要討論在假設(shè)最差情況下如何規(guī)劃（adversarial planning），我相信論文的主要結(jié)果同樣適用于更為一般的情況，例如基于概率的規(guī)劃問(wèn)題。

 

　　另外有些關(guān)于算法選擇（Algorithm Selection）的論文，討論如何通過(guò)增強(qiáng)學(xué)習(xí)等技術(shù)解決組合優(yōu)化問(wèn)題?；舅枷胧钦f(shuō)，一般而言每一個(gè)單獨(dú)的算法在解決這類(lèi)問(wèn)題時(shí)都有自己的“盲點(diǎn)”，也就是在最差情況下性能很差（所謂的“NP困難”問(wèn)題）。但是不同的算法盲點(diǎn)往往不同，因此如果在實(shí)際應(yīng)用中能通過(guò)學(xué)習(xí)技術(shù)了解正在面對(duì)的是“哪些”具體問(wèn)題類(lèi)型，也就有可能有的放矢地選擇合適的算法。個(gè)人認(rèn)為這是一個(gè)有趣的研究方向。