1
| 本文作者： 叢末 | 2019-05-18 21:45 | 專題：IJCAI 2019 |
雷鋒網(wǎng) AI 科技評論按：今年，IJCAI（國際人工智能聯(lián)合會議，International Joint Conferences on Artificial Intelligence）將于 8 月 10 日至 16 日在中國澳門隆重召開。作為國際人工智能領(lǐng)域最頂級的學(xué)術(shù)會議之一，IJCAI 始終都是該領(lǐng)域研究者關(guān)注的焦點會議之一。
此前，我們開啟了 IJCAI 50 周年特別報道，介紹了 IJCAI 2019 對于 IJCAI 本身以及中國所承載的歷史性意義，并一一點名了在這兩段歷史中留下姓名的科學(xué)家們，包括：
11 位 IJCAI「卓越研究獎」獲得者：Judea Pearl、 Donald Michie、 Nils Nilsson、 Geoffrey E. Hinton、 Alan Bundy、Victor R. Lesser、Robert Kowalski、 Hector Levesque、 Barbara Grosz、 Andrew Barto、Jitendra Malik；
5 位 IJCAI「中國學(xué)者第一人」：林堯瑞教授、張鈸院士、陸汝鈐院士、林方真教授以及楊強教授。
日前，AI 科技評論有幸采訪到了 2007 年 IJCAI「卓越研究獎」得主 Alan Bundy，就他的個人研究生涯、當(dāng)前對于機器學(xué)習(xí)和 AI 危機的討論以及 IJCAI「卓越研究獎」的獲獎經(jīng)歷等進行了對話。
Alan Bundy，英國皇家科學(xué)院院士、愛丁堡大學(xué)教授。他的主要研究方向為自動推理，重要研究成果包括證明規(guī)劃（Proof-Planning）、元級推理的證明搜索（Meta-level Reasoning to Guide Rroof Search）等。他曾擔(dān)任 AAAI 創(chuàng)始 Fellow、歐洲人工智能聯(lián)合會（ECCAI）Fellow、皇家工程院 Fellow（FREng）、ACM Fellow、英國皇家藝術(shù)協(xié)會會員（FRSA）以及英國皇家學(xué)會會員（FRS），此外，他還是 2007 年 IJCAI「卓越研究獎」以及自動推理領(lǐng)域最高獎「Herbrand 獎」的獲得者。
1968 年和 1971 年，Alan Bundy 先后在萊斯特大學(xué)獲得數(shù)學(xué)學(xué)士學(xué)位和數(shù)學(xué)邏輯學(xué)博士學(xué)位。而之后轉(zhuǎn)到使其聞名世界的自動推理領(lǐng)域，Alan Bundy 自身更多地歸因為：偶然的契機。
博士畢業(yè)后的 Alan Bundy，希望能夠利用自身在邏輯方面的積淀來解決實際問題，而自動定理證明（Automated theorem proving）似乎是他能夠選擇的一個順理成章的研究方向。如果說這還是 Alan Bundy 當(dāng)時想轉(zhuǎn)變研究方向的一個想法，那他在博士期間認識的 Bernard Meltzer 則讓他這一想法變成了現(xiàn)實：當(dāng)時，Bernard Meltzer 已加入愛丁堡大學(xué)領(lǐng)導(dǎo)世界領(lǐng)先的 ATP 研究組，恰好正在招收博士后，于是 Alan Bundy 便申請了這一崗位，并最終成功獲得錄用。由此，Alan Bundy 便正式開啟了他在自動推理方向的研究生涯。
ATP 研究組將推理的嚴(yán)謹(jǐn)和搜索方向的啟發(fā)式方法進行了理想的結(jié)合，這一點深深地吸引了 Alan Bundy，同時更讓他意識到了一個核心卻被忽視的問題：推理表示的自動形成。之后，基于這一思路，Alan Bundy 領(lǐng)導(dǎo)研究小組在開展 Mecho 項目中就解決了推理表示的自動形成問題?！窶echo 項目通過將英語理想化為場景的一階表示，然后提取和求解聯(lián)立方程，解決了用英語表示的力學(xué)問題?！?/p>
「最近，我也回到這一領(lǐng)域進行研究，對錯誤的表示進行診斷和修復(fù)，因為隨著我們更加依賴于噪音網(wǎng)站和手動構(gòu)建的本體，這一問題的解決也變得越發(fā)重要。」
一直到退休，Alan Bundy 始終都在愛丁堡大學(xué)任教，他在采訪中表示：「愛丁堡大學(xué)發(fā)展成為了全球 AI 研究的四大中心之一（美國之外的唯一一個），在我加入后的四十多年時間里，我找不到離開愛丁堡大學(xué)去其他機構(gòu)的理由?！?/p>
證明規(guī)劃（Proof-Planning）是 Alan Bundy 研究生涯中最為人所稱道的一項成果，他表示，這也是他個人認為最具代表性的成果。
「證明策略可以指導(dǎo)定理證明器解決一部分證明問題。研究者通過給這些策略制定前置和后置條件，可以構(gòu)建某個證明的規(guī)劃。如果規(guī)劃失敗，研究者就能夠使用前置和后置條件來分析故障原因并修復(fù)證明嘗試。其中，經(jīng)過我們改善后的最佳策略就是 rippling，它能夠指導(dǎo)目標(biāo)改寫，從而使得將給定條件應(yīng)用到目標(biāo)證明中成為可能。而給定的條件可以是歸納假設(shè)，也可以是假設(shè)證明的假設(shè)或公理。同時，在對 rippling 故障的分析中，也可以體現(xiàn)策略是否缺少了中間輔助定理和普遍原理——而這些，此前都被認為是要求人為干預(yù)的?！?/p>
雖然已退休七年，Alan Bundy 現(xiàn)在依舊在他所熱愛的研究領(lǐng)域勤耕不輟，他提到，近期他最引以為豪的一項工作成果叫做 Reformation：
「這是一個領(lǐng)域獨立的算法，用以診斷和修復(fù)故障邏輯表示，也就是說研究者通過證明某個錯誤的定理或證明無法實現(xiàn)正確推測的錯誤來找到故障。此前針對這一問題的解決方法是信念修正（belief revision），即刪除錯誤公理或不明推論，并添加正確的推論。而 Reformation 則為修復(fù)提出了一個新的方向，它通過改變理論的語言來實現(xiàn)修復(fù)，例如拆分或融合概念，或者添加、消除概念的獨立性。它基于匹配算法、聯(lián)合，可以分解在錯誤定理證明中不想要但是成功的聯(lián)合，或者能夠賦能正確推測的拖延證明中想要但失敗的聯(lián)合?！?/p>
除此之外，Alan Bundy 表示，他現(xiàn)在還熱衷于自動推斷策略的研究，具體研究方向包括從 Web 上的信息多源到通過組合各種推理方法的新知識推斷，例如統(tǒng)計學(xué)和演繹等。「舉個例子，我們的 FRANK（Functional Reasoning Acquires New Knowledge）系統(tǒng)就通過在已知數(shù)據(jù)上利用回歸來構(gòu)建功能，之后再將其推斷成未來數(shù)據(jù)，從事實現(xiàn)自動預(yù)測?！?/p>
與所有研究者一樣，Alan Bundy 在其幾十年的研究生涯中也遇到過不少挑戰(zhàn)和挫折，不過，他在回顧自己所遇到的問題時，顯得格外樂觀，他表示：雖然他無法用「好」這個字眼來形容他此前在研究中遇到的問題，但是他有一套克服研究困難的竅門：
首先，我一直都堅持招收最好的博士后和學(xué)生。并且在招收后，我就會相信他們能做好其所能做的工作。這也是我從我的第一任領(lǐng)導(dǎo) Bernard Meltzer 那里學(xué)到的重要經(jīng)驗。
但是不久后，優(yōu)秀的研究人員可能就會想離開我的研究小組并開始成立自己的研究小組。對于這一點，比起認為我失去了一位關(guān)鍵的團隊成員，我更愿意將其視作一個外部合作的新機會。
同時，我認為有好的判斷能力去選擇合適的研究平臺也非常重要。一些新的編程語言或工具包可能看上去符合你要求的理想技術(shù)，但你同時還要確保這些平臺始終得到充分維護。否則，在被使用幾年后，它可能會壞掉，而你此前所有的投入也將付諸東流。此外，知道什么時候跳出來你的某個，也是至關(guān)重要的。
Alan Bundy 作為傳統(tǒng) AI 領(lǐng)域的代表性人物，在采訪中也就當(dāng)前非常熱門的機器學(xué)習(xí)表達了他的肯定與顧慮：
「統(tǒng)計機器學(xué)習(xí)在近年來取得了巨大的成功，并且可以說，正是機器學(xué)習(xí)真正讓 AI 引起了大眾的廣泛關(guān)注。然而，它同樣也存在局限性，例如，機器學(xué)習(xí)在推理的解釋性方面要求大量的樣本，并且這一方法無法構(gòu)建像程序這樣的復(fù)合結(jié)構(gòu)。
因此，我也非常開心能夠看到當(dāng)下對于所謂的第三波 AI 浪潮的討論，在這波浪潮中，AI 的符號和次符號方法都被視作能夠解決任意方法局限性的混合系統(tǒng)的潛在補充。我自己也開始進行這個方向的研究實驗，并期待有合作者來共同進一步探索其可能性。」
另外針對當(dāng)前「深度學(xué)習(xí)過熱」這一重要議題，Alan Bundy 也結(jié)合自己的研究生涯，提醒大家要辯證地看待深度學(xué)習(xí)這一研究方法：
「實際上，這類過熱現(xiàn)象往往會限制 AI 的發(fā)展，我的研究生涯就橫跨了 AI 歷經(jīng)的幾個發(fā)展階段，就比如說上世紀(jì) 80 年代專家系統(tǒng)的爆發(fā)式發(fā)展。雖然每個階段出現(xiàn)的一系列 AI 新方法都給研究者帶來了非常有用的新工具，但是對于“使用某一種重要方法就能解決 AI 所有的問題”的這種錯誤預(yù)期，則會導(dǎo)致不切實際的遐想，并且最終會給人類帶來失望。我認為統(tǒng)計機器學(xué)習(xí)的成功是毋庸置疑，其使用的 S 型曲線（S-Curve）能夠接近最優(yōu)解的臨界值，給 AI 領(lǐng)域的研究帶來了巨大的價值。同時，我也認為下一個 AI 寒冬不會到來。另外，我希望現(xiàn)在這第三波 AI 浪潮能夠創(chuàng)造各色各樣的新機遇和新成果?！?/p>
AI 領(lǐng)域中一直都有聲音警示 AI 目前存在或未來將到來的危機，其中不少人認為 AI 過于智能將對整個人類物種造成威脅。而 Alan Bundy 對此的觀點有所不同，他曾在計算機學(xué)會雜志《ACM 通訊》（Communications of the ACM）上表示：AI 的威脅的確存在，但威脅并不來自于類人智能 AI 的出現(xiàn)，正好相反，威脅來自于笨拙、低效、無能的 AI。
「我認為 AI 的笨拙、低效、無能將會帶來非常嚴(yán)重的危機。沒錯，大量 AI 系統(tǒng)確實取得了不小的成果，然而它們距離成為真正理想的專家還存在距離。它們也許實現(xiàn)了世界級的性能，但都還只能應(yīng)用于非常狹隘的領(lǐng)域，或者用于下圍棋，或者用于自動駕駛、一般的知識問答等。然而，一旦將這些單個系統(tǒng)用到其能力以外的領(lǐng)域，它們將會帶來各種大型「翻車」現(xiàn)場。就比如說讓 AlphaGo 去駕駛車輛，這無疑將帶來巨大的安全隱患。再比如，心臟診斷系統(tǒng)如果被用來診斷癌癥患者，帶來的就不僅僅是誤導(dǎo)，更會給這些患者帶來嚴(yán)重的傷害。
目前關(guān)于 AI 奇點、AI 系統(tǒng)將讓人類失去主人地位的危機論，實際上干擾了我們對于 AI 所存在的這些真正危機的注意力。一些由帶有局限性的 AI 系統(tǒng)組成的解決方案一旦被應(yīng)用到其特定能力以外的領(lǐng)域，它們的笨拙、低效、無能顯而易見。」
基于這一擔(dān)憂，Alan Bundy 提出 AI 發(fā)展的終極目標(biāo)是：理解智能的本質(zhì)，尤其是認知。
「我認為不存在任何自然現(xiàn)象會永遠都超出我們的理解范疇，而 AI 則是當(dāng)前我們理解智能的最佳選擇。一個類比就是我們對于飛行的理解。我們沒有利用對飛行的理解去創(chuàng)造出人造鳥，而是建造了飛機。同樣地，我們并不是要利用我們的智能知識去創(chuàng)造人類的替補，而是創(chuàng)造豐富的 AI 工具來增強和延展人類智能。一些 AI 在特定領(lǐng)域或許已經(jīng)超越了人類能力，而我希望這些領(lǐng)域能夠在范圍和專業(yè)知識方面有所增長。我可不希望我們創(chuàng)造出一個超級機器人種族來接管我們這個世界，我們沒有這樣做的理由。
盡管，現(xiàn)在存在著某種威脅，即人類有可能制造出對人類和文明造成嚴(yán)重破壞的自主武器，但是這種威脅比起刻意設(shè)計，更帶有偶然因素，所以我們必須堅決反對這種行為?！?/p>
IJCAI 2007「卓越研究獎」得主遇上 IJCAI 50 周年
作為 2007 年 IJCAI「卓越研究獎」得主，Alan Bundy 也成為了 IJCAI 歷史篇章上濃墨重彩的一筆?；貞浧甬?dāng)時得知自己獲得了 IJCAI「卓越研究獎」的心情，Alan Bundy 用了「Mostly surprise」來形容。
「我猜我們這些獲獎?wù)咴诘弥约韩@得了這一獎項的那一刻，基本上都好似患上了某種程度上的冒名頂替綜合癥（Imposter Syndrome）。IJCAI「卓越研究獎」在我心里就是 AI 領(lǐng)域的最高榮譽，所以當(dāng)時我簡直不敢相信我的研究被授予了如此重量級的獎項。而這個獎項也讓我成為了我頗為尊崇的 AI 英雄行列中的一員。
不僅如此，這個獎項也成為了我在正式退休后的七年時間里依舊活躍在 AI 研究領(lǐng)域的支撐之一，我希望我還能夠做出一些成果，讓我在回顧自己的研究生涯時能夠說：我的研究值得獲得這一獎項?！?/p>
Alan Bundy 曾作為 AAAI（1990 年）和 ECCAI（1999 年）等起源于區(qū)域會議系列的學(xué)術(shù)會議的 Founding Fellow，因而他也更加能夠了解 IJCAI 所扮演的獨特性角色：
「IJCIA 自創(chuàng)立以來就是世界性的會議，迄今為止已蒞臨全世界的多個國家和地區(qū)召開，也吸引了眾多來自全球各地區(qū)的 AI 研究者們。我認為 IJCAI 的這一特點非常重要，這也是其他區(qū)域性會議所無法比擬的優(yōu)勢。
當(dāng)不同研究領(lǐng)域的多個觀點進行交流互動時，往往會碰觸出一個全新研究方向的火花，IJCAI 便是能夠?qū)崿F(xiàn)這些碰撞的理想勝地。特別是，IJCAI 的 workshop 能夠讓分布在全球各地的志同道合的研究者們匯聚一堂，分享交流觀點。
AI 是整個人類共同努力的成果，需要得到全世界的重視——而這便是 IJCAI 能夠?qū)崿F(xiàn)的。我希望，IJCAI 在今后依舊能夠繼續(xù)在推動分布于世界各地實驗室的研究者們之間的共同協(xié)作上，發(fā)揮著自己的獨特作用?！?/p>
今年恰逢 IJCAI 的 50 周年，對于本屆意義非凡的 IJCAI 會議，Alan Bundy 也非常驕傲而感慨地表達了自己的祝福：
「祝 IJCAI 50 周年快樂！1971 年，我參加了在倫敦召開的 第二屆 IJCAI 會議，當(dāng)時會議的規(guī)模遠無法同現(xiàn)在的相提并論。真的很開心看到 IJCAI 發(fā)展得如此盛大，同時還匯聚了來自如此多不同國家 AI 研究團隊。我衷心祝愿 IJCAI 能夠一如既往地推動 AI 的全世界發(fā)展，吸引世界級的出版媒體，并一直作為國際研究者合作的重要匯聚盛會。同時，我更希望，AI 領(lǐng)域在下個 50 年依舊會出現(xiàn)如此多出色的研究成果，祝福 IJCAI 的 100 周年！」
最后，AI 科技評論也代表廣大研究者向 Alan Bundy 這位在 AI 領(lǐng)域成績斐然的科學(xué)家取了一回經(jīng)。Alan Bundy 本人也向后輩研究者們分享了自己認為最重要的兩點建議：
一方面，永遠要研究重要的問題。對于一些并不重要的問題，即便你取得了成果，也沒有什么太大意義，但是如果你失敗了......。然而，對于一些重要的問題，即便你最終失敗了，在這個過程中你或許也能做出某種程度上的貢獻——即便只是判別出某項技術(shù)沒有什么用，這也可以為其他研究者節(jié)省不少時間。
另一方面，不要給自己制定不切實際的目標(biāo)，尤其是當(dāng)你在完成一個具有挑戰(zhàn)性的 deadline 時，例如說要拿到博士學(xué)位，更是要制定貼合實際的計劃和目標(biāo)。對于一些重要的研究問題，你沒必要讓自己一開始就朝著完全解決這個問題的目標(biāo)出發(fā)，而是首先判斷自己能夠做出顯著同時也是自己力所能及的成果、對這個研究領(lǐng)域具有貢獻性的事情是什么，再進行規(guī)劃。在這個過程中，你還需要明白的一點是：你之后的研究生涯，會給你足夠多的時間去做出更多的成就！
隨著「IJCAI 50 周年特別報道」采訪計劃的推進，雷鋒網(wǎng) AI 科技評論后續(xù)還將為大家?guī)硪幌盗胁稍L報道，歡迎大家前往雷鋒網(wǎng) AI 研習(xí)社專門開設(shè)的 IJCAI 小組（https://ai.yanxishe.com/page/meeting/47）向各位學(xué)者提問，而我們也將有選擇性地將大家的問題傳達給各位學(xué)者，并最終以文字的形式反饋給大家！
雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
專題
