2015年1月20日由黃華新教授擔任首席專家的2011年國家社科基金重大項目——《基于邏輯視域的認知研究》于浙江大學西溪校區人文學院咖啡吧舉行 “The First Xixi Workshop on Argumentation Mining”研討會。語言與認知研究中心的廖備水教授、徐慈華博士、王軼博士，浙江大學計算機科學與技術學院的代建華老師、李石堅老師，以及求是高等研究院的鄭能干老師在此次活動中做了主題報告。黃華新教授在會上致辭。

會上，子課題負責人廖備水教授首先做了以“論辯挖掘模型與算法”為題的發言。在發言中，廖老師指出，論辯現象在人們的生活中普遍存在且不可或缺，因此，論辯挖掘將是一項可行，而且十分有意義的研究。接著，他向大家介紹了論辯挖掘的研究思路。論辯挖掘主要分為三個步驟：第一步，從自然語言文本中識別論證，形成論證圖式；第二步，將從自然語言論證中得到的半形式化結構進行進一步的形式化處理；第三步，在形式化論證的基礎上進行計算評估，得出結論。最后，廖老師指出了這一研究中的難點，例如如何從自然語言中文本中識別論證，如何反應自然語言文本中的各種不確定性等問題。

第二位發言的是計算機學院的代建華老師，他以“粗糙集理論與不確定性”為題，向大家介紹了粗糙集理論這一處理不確定性問題的數學工具。對于在已有知識背景下很難精確刻畫的粗糙概念，粗糙集理論使用“上近似”和“下近似”兩個概念去逼近對象集，隨著領域知識的豐富，逼近的程度會越來越高。在介紹了基本概念以后，代老師還從代數與邏輯、不確定性度量兩個角度對粗糙集理論進行了闡釋。

接下來，語言與認知研究中心的王軼老師為大家帶來了以“模態邏輯與論辯系統”為題的發言。從模態邏輯的基本概念開始，到可能世界語義學、拓撲語義學與子集語義學，王老師層層深入，一面介紹模態邏輯理論，一面指出模態邏輯與抽象論辯框架理論可能的契合點。抽象論辯框架理論是目前人工智能學科的研究熱點之一，也是在座許多老師和同學感興趣的研究點。王老師試圖指出抽象論辯框架與可能世界語義學中的“框架”（模型）具有相似性，而認知邏輯中的動態化與論辯框架的動態性更新之間有可能聯系起來。王老師還指出，拓撲語義學比可能世界語義學更一般化，也許對論辯理論的刻畫會更方便。

隨后，李石堅老師向大家介紹了“疾病診斷專家系統”。李老師告訴大家，此項研究針對醫療資源稀缺的現實狀況，以改善基礎醫療的服務能力為出發點，以基于癥狀篩查疾病為目標。要實現這個目標，需以電子健康檔案的數據為依據，使用分詞技術，對疾病文檔中的要點部分進行分析，以獲得疾病所對應的癥狀名稱集合，然后通過決策樹，以癥狀為特征將疾病分類，通過癥狀快速搜索出相應病癥。李老師在發言中向大家展示了分詞的幾種方法、決策樹的運行過程，以及文本知識庫的構建、癥狀組合查詢和單一癥狀向導式查詢的操作流程。

鄭能干老師向大家介紹了他們的“熊蜂機器人行為誘導方法研究進展”。“昆蟲是否也能做論辯？”鄭老師由這一問題出發，向在座師生展示了“能做論辯”的昆蟲——昆蟲機器人。昆蟲機器人通過昆蟲加上中樞或外圍神經刺激誘導模塊，實現靜態預設和動態控制。由于昆蟲負重能力有限，以個頭較大的熊蜂為實驗對象是不錯的選擇。鄭老師的實驗團隊實現了通過調節合適的微點刺激參數，從而誘發、終止熊蜂振翅行為。昆蟲機器人的視頻展示使大家大開眼界。

最后，徐慈華老師介紹了“隱喻論證的邏輯結構”。徐老師首先向大家闡釋了概念隱喻理論的基本思想——“概念系統都是以隱喻的方式建構”。然后介紹了隱喻的認知機制、符號形式等，最后借助幾個生動的隱喻論證運用實例，通過圖式分析論證結構，生動地說明了隱喻在論證中發揮作用的方式。

發言結束后，在座的師生進行了熱烈的跨學科討論。

本次小型研討會是一次別開生面的各學科交融討論會，來自不同研究方向、不同學科背景的幾場發言異中有同、同中有異，使在座的師生感覺別樣新奇，獲益良多。本課題的相關問題得到了比較深入具體的探討。

（課題組供稿）