“基于邏輯視域的認知研究”中期檢查報告

（一）研究計劃總體執(zhí)行情況及各子課題進展情況

本項目利用邏輯學(xué)、語言學(xué)、心理學(xué)、人工智能等學(xué)科交叉的優(yōu)勢，基于現(xiàn)代邏輯的基本理論和方法，重點探討了“信息交互中的主體認知”，以部分實現(xiàn)個體及社會知識系統(tǒng)的計算建模。到目前為止，本課題研究進展順利，課題組成員積極探索，共同努力，已發(fā)表高水平學(xué)術(shù)論文18篇，出版專著1本。

本項目共包含6個子課題，各個子課題的進展情況如下：

子課題一重點從哲學(xué)的宏觀視角出發(fā)，結(jié)合認知心理學(xué)、認知神經(jīng)科學(xué)和人工智能的新資源和新成果，對邏輯、表征和認知進行了多維度研究，具體探討認知科學(xué)中的邏輯、演化中的表征、類比的推理機制。目前，在這一方向上已經(jīng)發(fā)表學(xué)術(shù)論文3篇。

子課題二基于現(xiàn)有語言邏輯研究成果，運用現(xiàn)代邏輯的新思路、新方法，結(jié)合中文信息處理技術(shù)，具體研究了漢語句式系統(tǒng)的邏輯表征、漢語部分語句系統(tǒng)，重點分析了漢語隱喻的邏輯刻畫。目前，在這一方向上已經(jīng)發(fā)表學(xué)術(shù)論文4篇。

子課題三在子課題二的基礎(chǔ)上，利用語義分析技術(shù)，特別是依存句法和語義角色標注，結(jié)合人工智能知識表示理論，具體探討概念知識的邏輯表征、基于本體論的語義知識描述，以及語義知識庫更新的邏輯刻畫；目前，在這一方向上已經(jīng)發(fā)表學(xué)術(shù)論文2篇。

子課題四基于非單調(diào)邏輯，特別是形式論辯理論和可廢止邏輯，研究了主體信念修正和行動決策理論，構(gòu)建相應(yīng)的理論模型，具體包括：①信息正當性評估機制；②主體信念修正理論；③主體行動決策模型。目前，在這一方向上已在國內(nèi)外重要刊物發(fā)表學(xué)術(shù)論文5篇，出版專著1本。

子課題五以動態(tài)認知邏輯為切入點，針對主體所接收信息的不可靠性和不確定性，研究了主體互動的認知機制，并建立了相應(yīng)的形式化模型，具體探討了主體知識、信念、偏好三者之間的互動關(guān)系，并刻畫了主體偏好的聚合模式和認知機制。目前，在這一方向上已在國外重要刊物發(fā)表論文3篇。

子課題六在上述研究的基礎(chǔ)上，運用計算機模擬技術(shù)，為建立與上述子課題密切關(guān)聯(lián)的實驗系統(tǒng)或原型系統(tǒng)進行了相應(yīng)準備。在這一方向上，目前已發(fā)表高水平論文1篇，出版相關(guān)著作1本。

（二）調(diào)研及學(xué)術(shù)交流情況

依據(jù)本課題的研究目標和研究內(nèi)容，課題組積極開展文理交叉的合作研究，在廣泛調(diào)查研究的基礎(chǔ)上，初步建立了漢語隱喻方面的一個語料庫，主要基于兒童語料和企業(yè)家語料；同時，正在致力建設(shè)一個課題組以及相關(guān)研究人員可以共享的邏輯與認知專題數(shù)據(jù)庫。課題組每年至少召開一次全體成員會議，每個子課題至少召開兩次課題組成員會議，并且積極鼓勵課題組成員參加國際、國內(nèi)的相關(guān)學(xué)術(shù)會議，交流研究情況，宣傳研究進展，受到國內(nèi)外學(xué)術(shù)界同行的肯定和好評。在國際合作方面，我們特別加強了與阿姆斯特丹大學(xué)、盧森堡大學(xué)、卑爾根大學(xué)等歐洲名校的交流合作，兩年中，先后有五位年輕學(xué)者赴這些學(xué)校合作研究，并取得了具體的學(xué)術(shù)成果。特別值得一提的是，在學(xué)術(shù)交流方面，我們一方面邀請來自國內(nèi)外相關(guān)研究領(lǐng)域的學(xué)者前來做學(xué)術(shù)報告，另一方面選派部分課題組成員前往國外相關(guān)機構(gòu)交流學(xué)習(xí)，已經(jīng)形成了雙向互動的良好氛圍。

（三）代表性成果簡介

代表性成果之一是漢語隱喻及相關(guān)句義的形式表征。自然語言是認知主體進行信息交流的主要載體。自然語言只有轉(zhuǎn)化為形式語言，才能被人工智能主體所理解。在自然語言中，隱喻是一種非常重要的語言現(xiàn)象。我們針對漢語隱喻與相關(guān)句子的特征，結(jié)合認知語用學(xué)理論和相應(yīng)的隱喻語料庫建設(shè)，對隱喻和相關(guān)句義的形式表征進行了深入研究，建立了相應(yīng)的形式系統(tǒng)；從隱喻機器理解的角度出發(fā)提出了一種基于本體論的隱喻映射方法，并初步建立了一個隱喻機器理解系統(tǒng)MetaphorSuite。這項研究對推動語言邏輯、認知邏輯和計算語言學(xué)的發(fā)展具有重要學(xué)術(shù)價值，相關(guān)成果發(fā)表在《Minds and Machines》、《Journal of Pragmatic》等重要國際刊物和《浙江社會科學(xué)》、《語言與認知研究》等國內(nèi)學(xué)術(shù)刊物上，黃華新教授、吳義誠教授多次在國內(nèi)外學(xué)術(shù)會議上發(fā)言，相關(guān)報告引起學(xué)術(shù)界同行的關(guān)注和重視。

代表性成果之二是基于論辯的推理與認知形式體系。如何有效地處理不完全的、不確定的和不一致的信息/知識，一直以來是一個難以解決的重要問題。針對該問題，課題組系統(tǒng)研究了一種非單調(diào)推理形式系統(tǒng)——論辯理論，結(jié)合生活世界實際和計算機處理的需要，提出并建立了一套高效求解論辯語義的方法體系，這種方法體系力求在語言、邏輯與計算的結(jié)合上來探討日常論辯與形式論辯的某種關(guān)聯(lián)，因而它在處理自然語言和形式語言時，與原來的理論和方法比較，更有解釋力，也更有應(yīng)用前景。這項成果推進了認知邏輯、語言邏輯和人工智能相關(guān)領(lǐng)域的研究。課題組的系列成果發(fā)表在《Journal of Logic Computation》、《Annals of Mathematics and Artificial Intelligence》、《哲學(xué)研究》、《中國社會科學(xué)文摘》和《學(xué)術(shù)月刊》等國內(nèi)外重要學(xué)術(shù)期刊上。廖備水、金立等學(xué)者多次在國際國內(nèi)學(xué)術(shù)會議上報告相關(guān)成果，受到海內(nèi)外同行專家的普遍好評。

代表性成果之三是主體偏好變化的認知模型建構(gòu)。偏好是主體認知狀態(tài)的重要組成部分，如何依據(jù)偏好的動態(tài)變化建立相應(yīng)的主體認知理論模型是當前的研究熱點。課題組以動態(tài)認知邏輯的特定視角為基本切入點，針對不同語言環(huán)境下，主體所接收信息的不可靠性和不確定性的特點，研究偏好變化的形態(tài)、動機和過程，進而建立主體偏好變化的形式模型。這項成果推進了動態(tài)認知邏輯相關(guān)領(lǐng)域的研究，發(fā)展了有關(guān)主體認知的理論和方法。一組論文發(fā)表在《Synthese》、《Minds and Machines》等國際期刊以及國際頂級會議IJCAI上。劉奮榮、王軼等青年學(xué)者在國內(nèi)外學(xué)術(shù)會議上的報告，受到邏輯學(xué)、語言學(xué)和人工智能領(lǐng)域有關(guān)同行的好評。

（四）成果宣傳推介情況

重大項目執(zhí)行以來，我們每年舉行一次成果發(fā)布會，分別就日常論辯和形式論辯、動態(tài)認知邏輯視域中的主體認知、漢語隱喻認知及其邏輯表征等方面的最新研究進展和具體成果，向?qū)W術(shù)界和相關(guān)報刊發(fā)布研究信息。在2012年10月的全國第四屆認知科學(xué)大會上，課題組成員周北海、廖備水、金立分別就“自然語言與形式語言”，“論辯的形式理論”、“日常論辯的三個維度”等問題做了大會報告；在2013年5月的全國“心靈與機器”學(xué)術(shù)會議上，課題組成員朱菁、李恒威分別做了“認知科學(xué)視域中的意義表征”，“東西方心智研究的哲學(xué)思考”的大會報告。在2012年10月的中西方語言哲學(xué)高層論壇上，黃華新就“漢語隱喻句的邏輯表征與計算實現(xiàn)”做了主題報告。2012年10月、2013年6月吳義誠先后赴新加波和加拿大參加國際認知語言學(xué)大會和國際語用學(xué)大會，會上他介紹了課題組在語言、邏輯與認知交叉領(lǐng)域的系列研究成果。其次，課題組也積極向國內(nèi)相關(guān)媒體推介重大項目研究成果。《中國社會科學(xué)報》2013年1月和5月兩次介紹了課題組首席專家黃華新等教授的研究思路和研究進展。2013年12月中國科協(xié)主辦的《科學(xué)中國人》先后刊登了課題組成員李恒威、廖備水、楊小龍等在全國第四屆認知科學(xué)大會上的發(fā)言內(nèi)容。同時，課題組也先后整理了兩期《重大項目研究工作簡報》，分別對論辯理論和隱喻認知兩個方面取得的系列研究成果進行了交流和匯報。目前，我們根據(jù)重大項目的研究進展和所取得的階段性成果，已經(jīng)撰寫了兩篇介紹性文章，準備向國家社科基金�？�投稿。 

階段性成果

序號	成果名稱	作者	成果形式	刊物名或出版社、刊發(fā)或出版時間	字數(shù)	轉(zhuǎn)載、引用、獲獎等情況
1	Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity	王軼, ?gotnes	期刊論文	Synthese. DOI: 10.1007/s11229-012-0243-3	1萬	SSCI
2	Reasoning about agent types and the hardest logic puzzle ever	劉奮榮， 王彥晶	期刊論文	Minds and Machines 23(2013) 123-161	2萬	SCI
3	An Ontology-Based Approach to Metaphor Cognitive Computation	黃孝喜，黃華新，廖備水，徐慈華	期刊論文	Minds and Machines 23(2013) 105-121	1.3萬	SCI
4	Communicative acts: Intentionality, contextuality and reciprocity	黃華新，吳義誠	期刊論文	Journal of Pragmatics 44 (2012) 116–122	1.2萬	SSCI，AHCI
5	Cognitive Pragmatics — The Mental Processes of Communication	吳義誠	期刊論文	Cognitive Linguistics 23(3): 637-642. 2012	1.3萬	SSCI, AHCI
6	Toward incremental computation of argumentation semantics: A decomposition-based approach	廖備水	期刊論文	Annals of Mathematics and Artificial Intelligence (2013) 67:319–358	3萬	SCI
7	Partial semantics of argumentation: basic properties and empirical results	廖備水，黃華新	期刊論文	Journal of Logic and Computation 2013.3	2萬	SCI
8	親子溝通中指令行為的語用選擇	黃華新, 孟慧珊	期刊論文	浙江社會科學(xué)2013.6	0.9萬	中國社會科學(xué)文摘 2012年第10期
9	現(xiàn)代漢語主觀位移句的認知理據(jù)探析	黃華新，韓瑋	期刊論文	浙江大學(xué)學(xué)報（人文社會科學(xué)版）2012.4	1萬
10	邏輯視域中的論辯	金立	期刊論文	哲學(xué)研究 2012．8	0.85萬
11	不一致問題與論辯邏輯	廖備水，黃華新	期刊論文	學(xué)術(shù)月刊 2013.6	0.8萬
12	基于論辯的 Agent非單調(diào)推理	廖備水，代建華	期刊論文	模式識別&人工智能 2012年8月	1.5萬	EI
13	論辯系統(tǒng)的動態(tài)性及其研究進展	廖備水	期刊論文	軟件學(xué)報	1.3萬	EI
14	論辯理論以及應(yīng)用	金立, 應(yīng)騰	期刊論文	浙江社會科學(xué)2012.1	0.8萬	中國社會科學(xué)文摘2012年第5期
15	意識的形而上學(xué)與兩視一元論	李恒威	期刊論文	浙江大學(xué)學(xué)報2012.3	0,9萬	中國社會科學(xué)文摘2012年第12期
16	意識：從泛體驗論到兩視一元論	李恒威	期刊論文	科學(xué)中國人 2012．11	0.5萬
17	Multi-Agent Subset Space Logic	王軼, ?gotnes	會議論文	Proceedings of IJCAI 2013	0.6萬	EI
18	An Alternative Axiomatization of DEL and its Applications	王彥晶	會議論文	Proceedings of IJCAI 2013	1萬	EI
19	論辯系統(tǒng)：不一致情境中的推理	廖備水	專著	浙江大學(xué)出版社2012.9	23萬

（課題組供稿）