“自然語(yǔ)言信息處理的邏輯語(yǔ)義學(xué)研究”中期檢查情況

一、研究進(jìn)展情況

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

國(guó)家社科基金重大招標(biāo)項(xiàng)目《自然語(yǔ)言信息處理的邏輯語(yǔ)義學(xué)研究》于2010年12月27日立項(xiàng)，總體計(jì)劃三個(gè)階段的工作：（1）前期準(zhǔn)備工作（2011）。文獻(xiàn)資料收集，調(diào)研數(shù)據(jù)整理；（2）研究中期的階段性成果大量產(chǎn)出（2012—2013）；（3）研究最終成果的修訂匯總（2014—2015）。

第（1）階段前期工作按計(jì)劃完成（參見2012年的中期研究情況報(bào)告）。

第（2）階段工作按計(jì)劃開展且接近完成。課題組成員一方面從邏輯語(yǔ)義學(xué)的理論角度，從范疇類型邏輯的角度進(jìn)行思考和探究。另一方面注重理論對(duì)實(shí)際問題的指導(dǎo)，即從范疇類型邏輯對(duì)計(jì)算機(jī)信息處理的應(yīng)用角度分析所存在的問題。四個(gè)子課題的進(jìn)展情況如下：

子課題一：邏輯語(yǔ)義學(xué)的語(yǔ)言學(xué)前期研究

課題組成員周建設(shè)的重要論文《面向語(yǔ)言處理的計(jì)算與認(rèn)知取向》（《中國(guó)社會(huì)科學(xué)》2012年第9期）指出我國(guó)理論語(yǔ)言學(xué)的發(fā)展需要應(yīng)用邏輯等多學(xué)科方法對(duì)語(yǔ)言本體深入研究，以便為自然語(yǔ)言理論轉(zhuǎn)化為機(jī)器實(shí)現(xiàn)的運(yùn)算規(guī)則與程序設(shè)計(jì)服務(wù)。課題組成員李可勝、賈青運(yùn)用多體一階謂詞邏輯方法探究了漢語(yǔ)連動(dòng)結(jié)構(gòu)的有界性，滿海霞使用CCG這一邏輯語(yǔ)義學(xué)方法對(duì)漢語(yǔ)的把字句及其相關(guān)句式進(jìn)行計(jì)算處理。滿海霞的論文《漢語(yǔ)把字句及其相關(guān)句式的CCG形式計(jì)算》已經(jīng)被人大報(bào)刊復(fù)印資料《邏輯》全文轉(zhuǎn)載。

子課題二：構(gòu)建具有自然語(yǔ)言特色的邏輯系統(tǒng)

該研究方向具體體現(xiàn)在杜國(guó)平、琚鳳魁和夏素敏等人已發(fā)表的幾篇論著中。論文《知識(shí)蘊(yùn)涵與其他蘊(yùn)涵的關(guān)系》指出蘊(yùn)涵關(guān)系是自然語(yǔ)言表達(dá)中經(jīng)常使用的表達(dá)方式，蘊(yùn)涵關(guān)系所表達(dá)的語(yǔ)義極為豐富多彩，在邏輯上就出現(xiàn)了對(duì)蘊(yùn)涵關(guān)系各種不同的形式刻畫，導(dǎo)致不同的邏輯系統(tǒng)。琚鳳魁等的論文《A Dynamic Deontic Logic Based on Histories》為刻畫自然語(yǔ)言典范語(yǔ)句使用上的不同特點(diǎn)，通過引入歷史和給出兩個(gè)動(dòng)態(tài)算子的方式構(gòu)建了一個(gè)道義邏輯系統(tǒng)。在論文《Semantics of Sentences in Mixed Moods of Indicative and Imperative》中琚在更新語(yǔ)義學(xué)的框架基礎(chǔ)上，給出了一個(gè)處理那些包含陳述句和祈使句混合在一起的復(fù)合英語(yǔ)語(yǔ)句的動(dòng)態(tài)語(yǔ)義解釋，并說明這一語(yǔ)義解釋能夠產(chǎn)生一個(gè)合理的關(guān)于有效性的界定。

子課題三：邏輯語(yǔ)義學(xué)的綜合研究

該子課題是整個(gè)課題的核心，由首席專家鄒崇理、課題組成員姚從軍、賈青、張璐和崔佳悅等從事這方面的研究。這些研究既有自然語(yǔ)言的邏輯語(yǔ)義分析，又有揭示自然語(yǔ)言特色的邏輯系統(tǒng)的構(gòu)建，并且研究集中在邏輯語(yǔ)義學(xué)中對(duì)信息計(jì)算影響最大的重要分支——范疇語(yǔ)法（包括范疇類型邏輯和組合范疇語(yǔ)法）上。鄒的論文《Categorial Type Logic on Case Grammar》中基于格語(yǔ)法用于漢語(yǔ)句法分析的特點(diǎn)，構(gòu)造了一種新型的范疇類型邏輯系統(tǒng)。姚從軍在《組合范疇語(yǔ)法CCG與漢語(yǔ)謂詞缺失現(xiàn)象的處理》一文中通過對(duì)原生態(tài)組合范疇語(yǔ)法進(jìn)行改造，給出了處理漢語(yǔ)照應(yīng)和省略現(xiàn)象的組合范疇語(yǔ)法系統(tǒng)。張璐的論文《漢語(yǔ)形名結(jié)構(gòu)的范疇類型邏輯研究》利用多模態(tài)的范疇類型邏輯，分析了漢語(yǔ)中具有不同解讀的形名結(jié)構(gòu)以及這些結(jié)構(gòu)之間的關(guān)系。賈青、張璐和石運(yùn)寶的論文《A Multi-modal Categorial Type Logic on Anaphora of Chinese Reflexives》以漢語(yǔ)反身代詞的回指照應(yīng)問題為研究對(duì)象，在賈戈?duì)柕腖LC系統(tǒng)基礎(chǔ)上，給出了MMLLC這一多模態(tài)的范疇類型邏輯系統(tǒng)。

子課題四：邏輯語(yǔ)義分析的計(jì)算機(jī)實(shí)現(xiàn)

這一部分是整個(gè)課題的副產(chǎn)品。最直接的結(jié)果就是把前面幾個(gè)子課題的某些結(jié)果算法化，編制成程序輸入電腦實(shí)現(xiàn)計(jì)算機(jī)的自然語(yǔ)言句法語(yǔ)義分析。由于前三個(gè)子課題成果的匯總工作從今年7月開始，到年底完成，因此這部分的工作在年底或明年初隨之進(jìn)行。過去兩年課題組與中文信息處理軟件“清華樹庫(kù)”的設(shè)計(jì)者之一周強(qiáng)教授等人的幾次座談，使我們認(rèn)識(shí)到目前國(guó)內(nèi)計(jì)算機(jī)領(lǐng)域面向漢語(yǔ)的信息處理所存在的問題，即漢語(yǔ)某些現(xiàn)象的句法分析存在相當(dāng)難度的邏輯語(yǔ)義分析問題。為此今年初課題組招收的博士后是計(jì)算機(jī)科班出身且在相關(guān)領(lǐng)域具有一定影響的青年學(xué)者，他是我們課題中把邏輯語(yǔ)義分析的理論成果在計(jì)算機(jī)信息處理領(lǐng)域?qū)崿F(xiàn)的中間力量。在課題的匯總時(shí)從計(jì)算語(yǔ)言學(xué)的角度協(xié)助我們選出漢語(yǔ)信息處理領(lǐng)域的瓶頸問題，在課題研究的最后階段沖刺沖刺，使得我們的理論研究成果能夠在計(jì)算機(jī)上實(shí)現(xiàn)，為我國(guó)的信息處理技術(shù)提供一定的理論支撐。

以上研究進(jìn)展的具體成果是：從2012年6月到2014年6月，課題組成員在國(guó)內(nèi)外刊物共發(fā)表（包括幾篇即將發(fā)表）學(xué)術(shù)論文共39篇，專著一部，即將在商務(wù)印書館出版的邏輯語(yǔ)義學(xué)譯著1部（分上下卷60萬字）。附帶說明，課題組翻譯的邏輯語(yǔ)義學(xué)著述系荷蘭阿姆斯特丹大學(xué)邏輯學(xué)教授、荷蘭藝術(shù)與科學(xué)院歐洲科學(xué)院、國(guó)際哲學(xué)院院士Johan van Benthem，阿姆斯特丹大學(xué)邏輯、語(yǔ)言與計(jì)算研究所前任所長(zhǎng)、語(yǔ)言哲學(xué)教授Martin Stokhof，該校哲學(xué)系副教授Groenendijk，邏輯教授Jongh和烏得勒支大學(xué)語(yǔ)言學(xué)教授Verkuyl五人合著，在國(guó)內(nèi)外幾乎是影響最大的邏輯語(yǔ)義學(xué)基礎(chǔ)著述。

②調(diào)查研究及學(xué)術(shù)交流情況

課題組在兩年內(nèi)舉行專題研討、講座、論壇共5次。課題組積極與語(yǔ)言學(xué)界、計(jì)算機(jī)學(xué)界進(jìn)行溝通交流，在2102年12月8日和課題協(xié)作單位首都師范大學(xué)共同組織了一次包括語(yǔ)言學(xué)界的沈家煊會(huì)長(zhǎng)和計(jì)算機(jī)學(xué)界的著名專家馮志偉在內(nèi)的眾多專家學(xué)者的課題研討會(huì)。這些工作無疑有助于課題組在原有研究設(shè)想的基礎(chǔ)上，結(jié)合目前計(jì)算和語(yǔ)言兩個(gè)領(lǐng)域的實(shí)際需求厘清研究思路，為進(jìn)一步研究工作的全面展開打下基礎(chǔ)。

③成果宣傳推介情況

課題組通過以下幾種途徑宣傳推廣項(xiàng)目的成果：（1）按照社科規(guī)劃辦的要求，為《光明日?qǐng)?bào)》的社科基金專版撰稿，宣傳項(xiàng)目進(jìn)展情況；（2）定期向社科基金規(guī)劃辦公室匯報(bào)項(xiàng)目成果；（3）召開學(xué)界內(nèi)的專題學(xué)術(shù)研討會(huì)，在《哲學(xué)中國(guó)網(wǎng)》和《邏輯中國(guó)網(wǎng)》發(fā)布和推廣階段性成果。課題組執(zhí)行了3個(gè)方面的推介工作，2012年1月16日通過全國(guó)哲學(xué)社會(huì)科學(xué)規(guī)劃辦網(wǎng)站發(fā)布了題為“自然語(yǔ)言信息處理的邏輯語(yǔ)義學(xué)研究”初獲成果的報(bào)道。

④研究中存在的主要問題和改進(jìn)措施

課題研究存在的問題有：

（1）第四子課題要求邏輯語(yǔ)義理論研究成果在計(jì)算機(jī)上的實(shí)現(xiàn)，需要一定的編程工作，社科基金的微薄經(jīng)費(fèi)不知是否能夠支付編程工作的勞務(wù)費(fèi)�？缱匀豢茖W(xué)的交叉學(xué)科研究在經(jīng)費(fèi)使用上可能陷入窘境。

（2）研究團(tuán)隊(duì)成員處于不同地區(qū)的不同單位，平時(shí)的來往溝通顯得不夠充分。由于該課題的跨學(xué)科交叉研究性質(zhì)，需要在語(yǔ)言學(xué)、邏輯學(xué)和計(jì)算機(jī)信息處理諸領(lǐng)域搭建起互相交流的平臺(tái)，大家要有機(jī)會(huì)切實(shí)掌握鄰近學(xué)科的基礎(chǔ)知識(shí)，這就需要舉辦一些短期講習(xí)班或講座論壇，沒有充足的經(jīng)費(fèi)來支付講者的專家費(fèi)和聽者的住宿旅差費(fèi)。

（3）課題目標(biāo)的層層設(shè)計(jì)，一直下達(dá)到基層，這樣的系統(tǒng)工程我們課題做得不夠好。

（4）缺乏對(duì)課題組成員的激勵(lì)機(jī)制，呈現(xiàn)出干好干壞一個(gè)樣的大鍋飯模式。

改進(jìn)措施和建議有：

? 針對(duì)（1），建議在社科基金中的跨自然科學(xué)的項(xiàng)目那里設(shè)立有關(guān)計(jì)算機(jī)軟件開發(fā)的專項(xiàng)經(jīng)費(fèi)。

? 針對(duì)（2），建議經(jīng)費(fèi)使用方面的規(guī)則制定上多多聽取課題承擔(dān)者的意見，使基金的錢能夠用得出去，真正為課題研究服務(wù)。

? 針對(duì)（3），以首席專家為首的核心成員擬定研究方向或提出研究問題，定期向課題組成員發(fā)布，用以凝聚大家的研究興趣。

? 針對(duì)（4），打算在研究經(jīng)費(fèi)的使用上向工作出力多和論文成果優(yōu)秀者傾斜。建議在社科基金的使用機(jī)制上能否創(chuàng)新出一種新的名目，來滿足這種需求。

二、研究成果情況

子課題中的代表性成果如下：

子課題一：邏輯語(yǔ)義學(xué)的語(yǔ)言學(xué)前期研究

周建設(shè)在其論文《面向語(yǔ)言處理的計(jì)算與認(rèn)知取向》中（《中國(guó)社會(huì)科學(xué)》2012年第9期）指出盡管我國(guó)語(yǔ)言學(xué)研究取得了客觀成就，但與未來社會(huì)需求相比，尚存在較大差距。這種差距，首先表現(xiàn)在信息科技發(fā)展要求上。這需要理論語(yǔ)言學(xué)應(yīng)用包括邏輯在內(nèi)的多學(xué)科方法對(duì)語(yǔ)言本體深入研究，以便為自然語(yǔ)言理論轉(zhuǎn)化為機(jī)器實(shí)現(xiàn)的運(yùn)算規(guī)則與程序設(shè)計(jì)服務(wù)。其次，表現(xiàn)在認(rèn)知科學(xué)的要求上。語(yǔ)言認(rèn)知與大腦神經(jīng)機(jī)制密切相關(guān)。目前世界神經(jīng)認(rèn)知研究領(lǐng)域，語(yǔ)言加工的腦成像研究，包括誘發(fā)電位、語(yǔ)言功能磁共振成像、腦磁圖、視覺成像、成像映射句法學(xué)等研究，均涉及母語(yǔ)和第二語(yǔ)言習(xí)得理論以及語(yǔ)言學(xué)習(xí)效果。所以說，語(yǔ)言學(xué)研究的計(jì)算機(jī)取向旨在通過計(jì)算機(jī)的言語(yǔ)行為減輕人的言語(yǔ)負(fù)擔(dān)，而認(rèn)知取向則旨在通過認(rèn)識(shí)腦的神經(jīng)機(jī)制解決人的語(yǔ)言認(rèn)知困惑，這些工作的完成需要邏輯數(shù)學(xué)等多學(xué)科優(yōu)勢(shì)力量的聯(lián)合，語(yǔ)言學(xué)家在傳統(tǒng)語(yǔ)言研究的范式下，應(yīng)當(dāng)更新研究思路和研究方法，與其他學(xué)科協(xié)同努力，促進(jìn)語(yǔ)言計(jì)算與語(yǔ)言認(rèn)知的發(fā)展。

李可勝和滿海霞在其論文《VP的有界性與連動(dòng)式的事件結(jié)構(gòu)中》分析了連動(dòng)式的不同表層結(jié)構(gòu)，揭示了有界性對(duì)連動(dòng)式的結(jié)構(gòu)作用，并從認(rèn)知的角度闡釋了有界性對(duì)事件結(jié)構(gòu)的作用途徑。文章中還探討了“單子V+光桿N”對(duì)這種結(jié)構(gòu)作用的干擾。

賈青和李可勝在《刻畫漢語(yǔ)連動(dòng)結(jié)構(gòu)的邏輯系統(tǒng)》這一論文中給出了一個(gè)刻畫漢語(yǔ)連動(dòng)結(jié)構(gòu)的多體一階謂詞邏輯系統(tǒng)，這一系統(tǒng)是建立在連動(dòng)結(jié)構(gòu)有界性分析的基礎(chǔ)上的，在將連動(dòng)結(jié)構(gòu)區(qū)分為幾種不同類型的基礎(chǔ)上，給出了其邏輯刻畫方法。

滿海霞的論文《漢語(yǔ)把字句及其相關(guān)句式的CCG形式計(jì)算》使用CCG這一邏輯語(yǔ)義學(xué)方法對(duì)漢語(yǔ)的把字句及其相關(guān)句式進(jìn)行計(jì)算處理。論文已經(jīng)被人大報(bào)刊復(fù)印資料《邏輯》全文轉(zhuǎn)載。

子課題二：構(gòu)建具有自然語(yǔ)言特色的邏輯系統(tǒng)

杜國(guó)平在論文《知識(shí)蘊(yùn)涵與其他蘊(yùn)涵的關(guān)系》中，指出蘊(yùn)涵關(guān)系是自然語(yǔ)言表達(dá)中經(jīng)常使用的一種表達(dá)方式，也是人們?cè)谶M(jìn)行判斷、推理等思維活動(dòng)時(shí)所依據(jù)的幾位重要的邏輯關(guān)系之一。由于所使用的語(yǔ)詞是有限的，而需要表達(dá)的語(yǔ)義是多樣的，這就造成了在不同的語(yǔ)言中或者同一語(yǔ)言的不同語(yǔ)境中，蘊(yùn)涵關(guān)系所表達(dá)的語(yǔ)義極為豐富多彩。為了準(zhǔn)確描述蘊(yùn)涵關(guān)系的不同表達(dá)，在邏輯上出現(xiàn)了對(duì)蘊(yùn)涵關(guān)系各種不同的形式刻畫。文章以對(duì)蘊(yùn)涵關(guān)系的幾種主要的形式刻畫為例，來比較作者今年提出的知識(shí)蘊(yùn)涵與已有各種蘊(yùn)涵的異同。

琚鳳魁和梁莉的論文《A Dynamic Deontic Logic Based on Histories》通過引入歷史和給出兩個(gè)動(dòng)態(tài)算子的方式構(gòu)建了一個(gè)道義邏輯系統(tǒng)以反映典范語(yǔ)句使用上的不同特點(diǎn)。這一道義邏輯的構(gòu)建方案還能夠被應(yīng)用到對(duì)道義邏輯中的道義悖論進(jìn)行解釋和說明的工作中去。該論文被國(guó)際著名學(xué)術(shù)出版機(jī)構(gòu)Springer收入論文集“Logic, Rationality and Interaction”。

琚鳳魁在論文《Semantics of Sentences in Mixed Moods of Indicative and Imperative》中在Update semantics這一框架的基礎(chǔ)上，給出了一個(gè)處理那些包含陳述句和祈使句混合在一起的復(fù)合英語(yǔ)語(yǔ)句的動(dòng)態(tài)語(yǔ)義解釋，并說明這一語(yǔ)義解釋能夠產(chǎn)生一個(gè)合理的關(guān)于有效性的界定。該論文刊載在“Logic, Methodology and Philosophy of Science at Warsaw University”。

夏素敏在其專著《道義悖論研究初探》中從道義邏輯中的幾類不同的道義悖論出發(fā)，探討了對(duì)這些悖論的不同解決方案并比較了這些解悖方案之間的優(yōu)異并從這些具體的解悖方案出發(fā)，宏觀討論了邏輯悖論以及邏輯悖論解悖方案構(gòu)建的問題。

子課題三：邏輯語(yǔ)義學(xué)的綜合研究

鄒崇理在論文《Categorial Type Logic on Case Grammar》中指出，格語(yǔ)法的基本思想是：自然語(yǔ)言語(yǔ)句的底層結(jié)構(gòu)以動(dòng)詞為中心，動(dòng)詞的論元由動(dòng)詞周圍具有不同格角色的名詞所擔(dān)任，構(gòu)成復(fù)合表達(dá)式的部分表達(dá)式分為中心成分和非中心成分。格語(yǔ)法的分析是多分法的語(yǔ)法模式。漢語(yǔ)體現(xiàn)了格語(yǔ)法的動(dòng)詞中心思想，產(chǎn)生了各式各樣的格語(yǔ)句。動(dòng)詞雙賓語(yǔ)現(xiàn)象和動(dòng)詞前和動(dòng)詞后的多重介詞短語(yǔ)句皆是多分法分析的例證。對(duì)格語(yǔ)法進(jìn)行范疇語(yǔ)法的抽象，獲得一種新型的范疇類型邏輯系統(tǒng)：中心成分和非中心成分的區(qū)分要求積范疇分為左積和右積；多分法的分析模式使得積范疇和函子范疇的論元是多元的。這種范疇類型邏輯系統(tǒng)的框架語(yǔ)義中的可及關(guān)系是非單一的，構(gòu)建基于這種框架的語(yǔ)義模型，可以證明系統(tǒng)的可靠性和完全性。該論文在第2屆亞洲哲學(xué)邏輯會(huì)議上報(bào)告，并收入該會(huì)議論文集。

李可勝和鄒崇理的論文《基于句法和語(yǔ)義對(duì)應(yīng)的漢語(yǔ)CCG研究》中指出句法和語(yǔ)義對(duì)應(yīng)的原則是形式語(yǔ)義學(xué)中最為重要的原則之一，組合范疇語(yǔ)法CCG更是徹底延續(xù)了這個(gè)思想，為自然語(yǔ)言的計(jì)算機(jī)處理提供了句法和語(yǔ)義的透明接口。漢語(yǔ)的CCG處理在貫徹該原則時(shí)產(chǎn)生的問題是：句法方面獲得長(zhǎng)足進(jìn)展，而語(yǔ)義方面卻相對(duì)滯后。以漢語(yǔ)多重介詞短語(yǔ)為例，動(dòng)詞論元的靈活語(yǔ)序現(xiàn)象是句法和語(yǔ)義對(duì)應(yīng)的難點(diǎn)之一。Hoffman提出的多重論元集CCG方法使解決靈活語(yǔ)序的有效手段，但在這種處理方法中，需要找出一些方法來簡(jiǎn)化形式語(yǔ)義的表述方式，這樣才能獲得與句法范疇推演相對(duì)的語(yǔ)義類型推演。

姚從軍在《組合范疇語(yǔ)法CCG與漢語(yǔ)謂詞缺失現(xiàn)象的處理》一文中指出處理照應(yīng)和省略現(xiàn)象一直是范疇語(yǔ)法所關(guān)注的重點(diǎn)和難點(diǎn)。其在原生態(tài)組合范疇語(yǔ)法CCG中增加了關(guān)于照應(yīng)的一些規(guī)則和省略槽規(guī)則，得到組合范疇語(yǔ)法CCG?，有效地處理了漢語(yǔ)的謂詞缺失及其照應(yīng)現(xiàn)象。漢語(yǔ)存在三類謂詞缺失結(jié)構(gòu)，針對(duì)它們的處理方法稍有不同：助動(dòng)詞結(jié)構(gòu)不需使用省略槽規(guī)則；根據(jù)具體解讀，“是”字結(jié)構(gòu)有時(shí)需使用省略槽規(guī)則，有時(shí)不必使用省略槽規(guī)則；動(dòng)詞結(jié)構(gòu)需使用省略槽規(guī)則。

姚從軍的論文《混合范疇類型邏輯系統(tǒng)的構(gòu)造和應(yīng)用》中說明根據(jù)是否包含結(jié)合性和交換性結(jié)構(gòu)規(guī)則產(chǎn)生了四個(gè)蘭貝克演算系統(tǒng)。使用任何一個(gè)系統(tǒng)分析語(yǔ)言都只具有有限的價(jià)值，因此需要具有不同描述模式的多模態(tài)范疇系統(tǒng)。一個(gè)方法是利用結(jié)構(gòu)模態(tài)詞受控地引入結(jié)構(gòu)規(guī)則，但是結(jié)構(gòu)模態(tài)詞的廣泛使用導(dǎo)致了分析的復(fù)雜化，促使人們選擇盡可能強(qiáng)的系統(tǒng)作為基層邏輯，這樣卻遺失了可能有用的語(yǔ)料敏感性。另一個(gè)選擇是合并多個(gè)子結(jié)構(gòu)邏輯，限制結(jié)構(gòu)規(guī)則，增加連接各子結(jié)構(gòu)層面的包含規(guī)則，進(jìn)而產(chǎn)生了混合范疇類型邏輯。

姚從軍和鄒崇理的論文《Hybrid Categorial Type Logics and the Formal Treatment of Chinese》中指出通過結(jié)合規(guī)則和交換規(guī)則的添加或者消去，我們可以得到四種不同類型的蘭貝克演算。這四種蘭貝克演算分別用來處理自然語(yǔ)言時(shí)所具有的生成能力是有限的，但是將這些系統(tǒng)混合到一起則會(huì)極大地提升蘭貝克演算處理自然語(yǔ)言的能力，因此論文中作者從漢語(yǔ)中的不連續(xù)現(xiàn)象等問題出發(fā)利用混合的蘭貝克演算給出了一系列的處理方案。該論文收入國(guó)際會(huì)議論文集“Logic Across the University:Foundations and Applications”。

張璐的論文《混合范疇類型邏輯對(duì)漢語(yǔ)形名結(jié)構(gòu)及其虛化成分的研究》中指出盡管對(duì)形名修飾結(jié)構(gòu)的句法生成與語(yǔ)義解釋存在異議，但是學(xué)者們都將普通名詞和形名結(jié)構(gòu)本身賦予相同的語(yǔ)義類型。因此形名修飾結(jié)構(gòu)的研究中心就落在了形容詞的予以類型如何確定上，論文利用混合的范疇類型邏輯分析了漢語(yǔ)中需做不同理解的形名結(jié)構(gòu)以及這些結(jié)構(gòu)之間的關(guān)系。

賈青和石運(yùn)寶的論文《處理漢語(yǔ)反身代詞回指照應(yīng)問題的范疇類型邏輯(Bi) LLC》中，從漢語(yǔ)中與反身代詞相關(guān)的一些回指照應(yīng)現(xiàn)象出發(fā)，以賈戈?duì)?005年所給出的范疇類型邏輯系統(tǒng)LLC為基礎(chǔ)，構(gòu)建了能夠處理漢語(yǔ)反身代詞回指照應(yīng)特殊現(xiàn)象的范疇類型邏輯系統(tǒng)(Bi)LLC。

賈青、張璐和石運(yùn)寶的論文《A Multi-modal Categorial Type Logic on Anaphora of Chinese Reflexives》指出，漢語(yǔ)反身代詞的回指照應(yīng)問題比較復(fù)雜，單純使用傳統(tǒng)的范疇類型邏輯難以加以處理，因此其在論文中引入多模態(tài)范疇類型邏輯這一工具對(duì)飯與反身代詞回指照應(yīng)中的多重先行語(yǔ)、反身代詞泛代詞化等問題給出了形式化的處理方案。該論文在第2屆亞洲哲學(xué)邏輯會(huì)議上報(bào)告，并收入該會(huì)議論文集。

注：2010年立項(xiàng)的重大項(xiàng)目主要填寫2012年6月以來的研究成果情況。

序號(hào)	成果名稱	作者	成果形式	刊物名或出版社、刊發(fā)或出版時(shí)間	字?jǐn)?shù)	轉(zhuǎn)載、引用、獲獎(jiǎng)等情況
1	多模態(tài)范疇類型邏輯	鄒崇理	論文	安徽師范大學(xué)學(xué)報(bào) 2012(6)	5270	暫沒統(tǒng)計(jì)
2	基于格語(yǔ)法思想的范疇類型邏輯研究	鄒崇理 崔佳悅	論文	安徽大學(xué)學(xué)報(bào) 2014(4)	7355
3	Categorial Type Logic on Case Grammar	鄒崇理 崔佳悅	論文	The Second Asian Workshop on Philosophical Logic 2014年4月	7853	暫沒統(tǒng)計(jì)
4	面向語(yǔ)言處理的計(jì)算與認(rèn)知取向	周建設(shè)	論文	中國(guó)社會(huì)科學(xué) 2012(9)	8305	同上
5	3值邏輯與經(jīng)典2值邏輯關(guān)系探究	杜國(guó)平 傅慶芳	論文	安徽師范大學(xué)學(xué)報(bào) 2012(11)	6543	同上
6	Cn(1≤n＜ω)及Cω中的否定	杜國(guó)平 傅慶芳	論文	湖南科技大學(xué)學(xué)報(bào) 2012(5)	4890	同上
7	羅素悖論研究進(jìn)展	杜國(guó)平	論文	湖北大學(xué)學(xué)報(bào) 2012(5)	6730	同上
8	知識(shí)蘊(yùn)涵與其他蘊(yùn)涵的關(guān)系	杜國(guó)平	論文	哲學(xué)動(dòng)態(tài) 2012(3)	5534	同上
9	一階謂詞邏輯反駁演算自然推理系統(tǒng)	杜國(guó)平 趙曼	論文	重慶理工大學(xué)學(xué)報(bào)	4580	同上
10	道義悖論研究初探	夏素敏	專著	中國(guó)社會(huì)科學(xué) 出版社 2012年3月	26570	暫沒統(tǒng)計(jì)
11	A Dynamic Logic Based on Histories	琚鳳魁 梁莉	論文	Springer: Logic, Rationality and Interaction 2013年10月	9832	同上
12	Semantics of Sentences in Mixed Moods of Indicative and Imperative	琚鳳魁	論文	Theory of Imperatives From Different Points of View(Logic, Methodology and Philosophy of Science at Warsaw University) 2013		同上
13	VP的有界性與連動(dòng)式的事件結(jié)構(gòu)	李可勝 滿海霞	論文	現(xiàn)代外語(yǔ) 2013(2)	6530	同上
14	公理形式演繹：從形式句法到形式語(yǔ)義	李可勝 鄒崇理	論文	江西社會(huì)科學(xué) 2013(8)	4787	同上
15	基于句法和語(yǔ)義對(duì)應(yīng)的漢語(yǔ)CCG研究	李可勝 鄒崇理	論文	浙江大學(xué)學(xué)報(bào) 2013(6)	5329	同上
16	連動(dòng)式VP聚合語(yǔ)義的邏輯表述	李可勝 賈青	論文	湖北大學(xué)學(xué)報(bào) 2013(6)	6320	同上
17	從自然語(yǔ)言的真值條件到模型論語(yǔ)義學(xué)	李可勝 鄒崇理	論文	中國(guó)社舍科學(xué)院研究生院學(xué)報(bào) 2013(4)	4306	同上
18	漢語(yǔ)把字句及相關(guān)句式的CCG形式計(jì)算	滿海霞	論文	湖北大學(xué)學(xué)報(bào) 2013(6)	5689	人大復(fù)印資料轉(zhuǎn)載 B3《邏輯》2014
19	中國(guó)自然語(yǔ)言邏輯的發(fā)展與思考	滿海霞 李可勝	論文	中國(guó)哲學(xué)年鑒2013 2013年8月	6269	暫沒統(tǒng)計(jì)
20	組合范疇語(yǔ)法與其計(jì)算特征	滿海霞	論文	畢節(jié)學(xué)院學(xué)報(bào) 2013(6)	4365	同上
21	IF邏輯與IF模態(tài)邏輯	滿海霞	論文	畢節(jié)學(xué)院學(xué)報(bào) 2013(9)	4204	同上
22	關(guān)于邏輯語(yǔ)義學(xué)的句法系統(tǒng)	滿海霞	論文	安徽大學(xué)學(xué)報(bào) 2014(4)	5376	同上
23	從信息與智能交互的角度看周禮全先生的四層次意義理論??兼論語(yǔ)言表達(dá)式的意義理論	張曉君 鄒崇理	論文	哲學(xué)研究 2012(9)	6754	同上
24	動(dòng)態(tài)謂詞邏輯的改進(jìn)與擴(kuò)張	張曉君 鄒崇理	論文	中國(guó)社會(huì)科學(xué)院研究院學(xué)報(bào) 2012(6)	4268	同上
25	指代消解的主要方法與機(jī)制	張曉君	論文	畢節(jié)學(xué)院學(xué)報(bào)2012(10)	5698	同上
26	混合范疇類型邏輯對(duì)漢語(yǔ)形名結(jié)構(gòu)及其虛化成分的研究	張  璐	論文	湖北大學(xué)學(xué)報(bào) 2013(5)	8576	同上
27	組合原則探賾	崔佳悅	論文	重慶理工大學(xué)學(xué)報(bào) 2014(4)	4529	暫沒統(tǒng)計(jì)
28	論情境語(yǔ)義學(xué)的語(yǔ)用視角	婁永強(qiáng)	論文	重慶理工大學(xué)學(xué)報(bào) 2012(8)	3580	同上
29	試論情境語(yǔ)義學(xué)的認(rèn)知科學(xué)意義	婁永強(qiáng)	論文	重慶理工大學(xué)學(xué)報(bào) 2013(9)	4789	同上
30	信息流研究及發(fā)展趨勢(shì)	婁永強(qiáng)	論文	哲學(xué)動(dòng)態(tài) 2013(9)	5678	同上
31	組合范疇語(yǔ)法研究述評(píng)	姚從軍	論文	哲學(xué)動(dòng)態(tài) 2012(10)	4098	同上
32	混合范疇類型邏輯系統(tǒng)的構(gòu)造和應(yīng)用	姚從軍	論文	湖北大學(xué)學(xué)報(bào) 2013(5)	5294	同上
33	組合范疇語(yǔ)法產(chǎn)生和發(fā)展的動(dòng)因探析	姚從軍 鄒崇理	論文	中國(guó)社會(huì)科學(xué)院研究生院院學(xué)報(bào) 2014(1)	4738	同上
34	組合范疇語(yǔ)法CCG與漢語(yǔ)謂詞缺失現(xiàn)象的處理	姚從軍	論文	安徽大學(xué)學(xué)報(bào) 2014(4)	5365	同上
35	組合范疇語(yǔ)法產(chǎn)生和發(fā)展的動(dòng)因之分析	姚從軍 鄒崇理	論文	晉中學(xué)院學(xué)報(bào) 2013(2)	5021	同上
36	Hybrid Categorial Type Logics and the Formal Treatment of Chinese	姚從軍 鄒崇理	論文	Logic Across the University:Founda- tions and Applications 2013年11月	6136	同上
37	處理漢語(yǔ)反身代詞回指照應(yīng)問題的范疇類型邏輯(Bi)LLC	賈  青 石運(yùn)寶	論文	安徽大學(xué)學(xué)報(bào) 2014(4)	6711	同上
38	刻畫漢語(yǔ)連動(dòng)結(jié)構(gòu)的邏輯系統(tǒng)	賈  青 李可勝	論文	重慶理工大學(xué)學(xué)報(bào)2013(9)	7950	同上
39	形式語(yǔ)法生成能力的分層	賈  青	論文	哲學(xué)動(dòng)態(tài) 2014(1)	4309	同上
40	A Multi-modal Categorical Type Logic on Anaphora of Chinese Reflexives	賈  青 張  璐 石運(yùn)寶	論文	The Second Asian Workshop on Philosophical Logic 2014年4月	8345	同上