“基于邏輯視域的認(rèn)知研究”中期檢查報(bào)告

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

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

本項(xiàng)目共包含6個(gè)子課題，各個(gè)子課題的進(jìn)展情況如下：

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

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

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

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

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

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

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

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

（三）代表性成果簡(jiǎn)介

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

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

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

（四）成果宣傳推介情況

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

階段性成果

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

（課題組供稿）