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

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

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

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

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

子課題二基於現有語言邏輯研究成果，運用現代邏輯的新思路、新方法，結合中文信息處理技術，具體研究了漢語句式系統的邏輯表征、漢語部分語句系統，重點分析了漢語隱喻的邏輯刻畫。目前，在這一方向上已經發表學術論文4篇。

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

子課題四基於非單調邏輯，特別是形式論辯理論和可廢止邏輯，研究了主體信念修正和行動決策理論，構建相應的理論模型，具體包括：①信息正當性評估機制﹔②主體信念修正理論﹔③主體行動決策模型。目前，在這一方向上已在國內外重要刊物發表學術論文5篇，出版專著1本。

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

子課題六在上述研究的基礎上，運用計算機模擬技術，為建立與上述子課題密切關聯的實驗系統或原型系統進行了相應准備。在這一方向上，目前已發表高水平論文1篇，出版相關著作1本。

（二）調研及學術交流情況

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

（三）代表性成果簡介

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

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

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

（四）成果宣傳推介情況

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

階段性成果

序號	成果名稱	作者	成果形式	刊物名或出版社、刊發或出版時間	字數	轉載、引用、獲獎等情況
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	親子溝通中指令行為的語用選擇	黃華新, 孟慧珊	期刊論文	浙江社會科學2013.6	0.9萬	中國社會科學文摘 2012年第10期
9	現代漢語主觀位移句的認知理據探析	黃華新，韓瑋	期刊論文	浙江大學學報（人文社會科學版）2012.4	1萬
10	邏輯視域中的論辯	金立	期刊論文	哲學研究 2012．8	0.85萬
11	不一致問題與論辯邏輯	廖備水，黃華新	期刊論文	學術月刊 2013.6	0.8萬
12	基於論辯的 Agent非單調推理	廖備水，代建華	期刊論文	模式識別&人工智能 2012年8月	1.5萬	EI
13	論辯系統的動態性及其研究進展	廖備水	期刊論文	軟件學報	1.3萬	EI
14	論辯理論以及應用	金立, 應騰	期刊論文	浙江社會科學2012.1	0.8萬	中國社會科學文摘2012年第5期
15	意識的形而上學與兩視一元論	李恆威	期刊論文	浙江大學學報2012.3	0,9萬	中國社會科學文摘2012年第12期
16	意識：從泛體驗論到兩視一元論	李恆威	期刊論文	科學中國人 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	論辯系統：不一致情境中的推理	廖備水	專著	浙江大學出版社2012.9	23萬

（課題組供稿）