2011年度國家社科基金重大招標(biāo)項(xiàng)目基于邏輯視域的認(rèn)知研究工作簡報(bào)

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

會(huì)上，子課題負(fù)責(zé)人廖備水教授首先做了以“論辯挖掘模型與算法”為題的發(fā)言。在發(fā)言中，廖老師指出，論辯現(xiàn)象在人們的生活中普遍存在且不可或缺，因此，論辯挖掘?qū)⑹且豁?xiàng)可行，而且十分有意義的研究。接著，他向大家介紹了論辯挖掘的研究思路。論辯挖掘主要分為三個(gè)步驟：第一步，從自然語言文本中識(shí)別論證，形成論證圖式；第二步，將從自然語言論證中得到的半形式化結(jié)構(gòu)進(jìn)行進(jìn)一步的形式化處理；第三步，在形式化論證的基礎(chǔ)上進(jìn)行計(jì)算評(píng)估，得出結(jié)論。最后，廖老師指出了這一研究中的難點(diǎn)，例如如何從自然語言中文本中識(shí)別論證，如何反應(yīng)自然語言文本中的各種不確定性等問題。

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

接下來，語言與認(rèn)知研究中心的王軼老師為大家?guī)�來了以“模態(tài)邏輯與論辯系統(tǒng)”為題的發(fā)言。從模態(tài)邏輯的基本概念開始，到可能世界語義學(xué)、拓?fù)湔Z義學(xué)與子集語義學(xué)，王老師層層深入，一面介紹模態(tài)邏輯理論，一面指出模態(tài)邏輯與抽象論辯框架理論可能的契合點(diǎn)。抽象論辯框架理論是目前人工智能學(xué)科的研究熱點(diǎn)之一，也是在座許多老師和同學(xué)感興趣的研究點(diǎn)。王老師試圖指出抽象論辯框架與可能世界語義學(xué)中的“框架”（模型）具有相似性，而認(rèn)知邏輯中的動(dòng)態(tài)化與論辯框架的動(dòng)態(tài)性更新之間有可能聯(lián)系起來。王老師還指出，拓?fù)湔Z義學(xué)比可能世界語義學(xué)更一般化，也許對論辯理論的刻畫會(huì)更方便。

隨后，李石堅(jiān)老師向大家介紹了“疾病診斷專家系統(tǒng)”。李老師告訴大家，此項(xiàng)研究針對醫(yī)療資源稀缺的現(xiàn)實(shí)狀況，以改善基礎(chǔ)醫(yī)療的服務(wù)能力為出發(fā)點(diǎn)，以基于癥狀篩查疾病為目標(biāo)。要實(shí)現(xiàn)這個(gè)目標(biāo)，需以電子健康檔案的數(shù)據(jù)為依據(jù)，使用分詞技術(shù)，對疾病文檔中的要點(diǎn)部分進(jìn)行分析，以獲得疾病所對應(yīng)的癥狀名稱集合，然后通過決策樹，以癥狀為特征將疾病分類，通過癥狀快速搜索出相應(yīng)病癥。李老師在發(fā)言中向大家展示了分詞的幾種方法、決策樹的運(yùn)行過程，以及文本知識(shí)庫的構(gòu)建、癥狀組合查詢和單一癥狀向?qū)�式查詢的操作流程�?/p>

鄭能干老師向大家介紹了他們的“熊蜂機(jī)器人行為誘導(dǎo)方法研究進(jìn)展”�！袄ハx是否也能做論辯？”鄭老師由這一問題出發(fā)，向在座師生展示了“能做論辯”的昆蟲——昆蟲機(jī)器人。昆蟲機(jī)器人通過昆蟲加上中樞或外圍神經(jīng)刺激誘導(dǎo)模塊，實(shí)現(xiàn)靜態(tài)預(yù)設(shè)和動(dòng)態(tài)控制。由于昆蟲負(fù)重能力有限，以個(gè)頭較大的熊蜂為實(shí)驗(yàn)對象是不錯(cuò)的選擇。鄭老師的實(shí)驗(yàn)團(tuán)隊(duì)實(shí)現(xiàn)了通過調(diào)節(jié)合適的微點(diǎn)刺激參數(shù)，從而誘發(fā)、終止熊蜂振翅行為。昆蟲機(jī)器人的視頻展示使大家大開眼界。

最后，徐慈華老師介紹了“隱喻論證的邏輯結(jié)構(gòu)”。徐老師首先向大家闡釋了概念隱喻理論的基本思想——“概念系統(tǒng)都是以隱喻的方式建構(gòu)”。然后介紹了隱喻的認(rèn)知機(jī)制、符號(hào)形式等，最后借助幾個(gè)生動(dòng)的隱喻論證運(yùn)用實(shí)例，通過圖式分析論證結(jié)構(gòu)，生動(dòng)地說明了隱喻在論證中發(fā)揮作用的方式。

發(fā)言結(jié)束后，在座的師生進(jìn)行了熱烈的跨學(xué)科討論。

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

（課題組供稿）