2011年是國(guó)家社科基金重大招標(biāo)課題“自然語(yǔ)言信息處理的邏輯語(yǔ)義學(xué)研究”（批準(zhǔn)號(hào)：10ZD073）啟動(dòng)研究的第一個(gè)年頭，主要在研究資料的收集整理和研究思路的構(gòu)想梳理方面做了大量工作。
　　今年課題組發(fā)表的高質(zhì)量論文有三篇。課題組首席專家中國(guó)社科院的鄒崇理研究員、合肥師范學(xué)院的李可勝副教授與張璐合作撰寫(xiě)的“The Categorial Logic of Vacuous Components in Natural Language”探討了自然語(yǔ)言中的虛化問(wèn)題。課題組成員北京師范大學(xué)琚鳳魁博士與清華大學(xué)的劉奮榮教授合作發(fā)表的論文“Update semantics for imperatives with priorities”討論了祈使句的語(yǔ)義問(wèn)題。上述兩篇英文論文發(fā)表在邏輯學(xué)專業(yè)期刊Logic, Rationality and Interaction 2011年刊上，已由國(guó)際著名數(shù)據(jù)庫(kù)Springer收錄。另外，課題組成員中國(guó)社科院的杜國(guó)平研究員在CSSCI收錄的核心期刊《浙江社會(huì)科學(xué)》發(fā)表了關(guān)于條件句邏輯的論文《“即使p，也q”句式的邏輯分析》。
　　除了初步的研究成果，本年度課題組還積極與語(yǔ)言學(xué)界、計(jì)算機(jī)學(xué)界進(jìn)行溝通交流，共組織包括開(kāi)題會(huì)在內(nèi)的課題小組研討、專家面對(duì)面論壇五次。前后邀請(qǐng)到微軟亞洲研究院前主任研究員、中國(guó)計(jì)算機(jī)自然語(yǔ)言處理領(lǐng)域的“趟路人”黃昌寧教授，我國(guó)計(jì)算機(jī)信息處理領(lǐng)域資深專家、教育部語(yǔ)言文字應(yīng)用研究所馮志偉研究員，清華大學(xué)計(jì)算機(jī)系的周強(qiáng)教授，國(guó)際著名語(yǔ)言學(xué)家、臺(tái)灣國(guó)立交通大學(xué)的林若望教授，介紹雙方研究動(dòng)向、聽(tīng)取計(jì)算機(jī)科學(xué)界和語(yǔ)言學(xué)領(lǐng)域的需求，共同就大家目前所關(guān)注的邏輯語(yǔ)義學(xué)問(wèn)題展開(kāi)了深入的探討和交流。這些工作無(wú)疑有助于課題小組在原有研究設(shè)想的基礎(chǔ)上，結(jié)合目前計(jì)算和語(yǔ)言兩界的實(shí)際需求來(lái)厘清研究思路，為下一步研究的全面展開(kāi)打下良好的基礎(chǔ)。
　　經(jīng)過(guò)這一年的探索和探討，2012年課題的研究重點(diǎn)將放在“邏輯語(yǔ)義學(xué)的綜合研究”上。從與計(jì)算機(jī)界及語(yǔ)言學(xué)界的交流中我們認(rèn)識(shí)到，目前國(guó)內(nèi)在面向自然語(yǔ)言的信息處理上所存在的問(wèn)題是，計(jì)算機(jī)領(lǐng)域面向漢語(yǔ)等自然語(yǔ)言的處理以統(tǒng)計(jì)方法為主，真正針對(duì)自然語(yǔ)言特點(diǎn)設(shè)計(jì)的程序和算法還很難達(dá)到滿意地處理一整套自然語(yǔ)言（這里指漢語(yǔ)）的能力。造成這一現(xiàn)象有句法和語(yǔ)義兩方面原因。在句法上，很多現(xiàn)象，包括簡(jiǎn)單的和復(fù)雜的現(xiàn)象，如語(yǔ)詞之間的依存關(guān)系、漢語(yǔ)中的連謂、兼語(yǔ)等現(xiàn)象的謂詞論元關(guān)系，在語(yǔ)言學(xué)上還尚無(wú)定論，所以在信息處理過(guò)程中也難以給出確鑿的刻畫(huà)方案；在語(yǔ)義上，如何讓計(jì)算機(jī)“聽(tīng)懂”、或者說(shuō)“理解”人的語(yǔ)言，仍為目前計(jì)算語(yǔ)言學(xué)繼續(xù)向前發(fā)展的瓶頸，迫切需要邏輯語(yǔ)義學(xué)提供一套、甚至幾套形式化方案，不但能夠刻畫(huà)自然語(yǔ)言所具有的比較特殊的一些現(xiàn)象，（如右節(jié)點(diǎn)提升、代詞回指等不連續(xù)現(xiàn)象），還能夠構(gòu)造出可以全面刻畫(huà)現(xiàn)代漢語(yǔ)書(shū)面語(yǔ)的邏輯語(yǔ)義學(xué)的句法語(yǔ)義系統(tǒng)。幸運(yùn)的是，在邏輯語(yǔ)義學(xué)諸理論中，最近二十多年發(fā)展起來(lái)的組合范疇語(yǔ)法CCG是成功滿足這一需求的語(yǔ)法系統(tǒng)，在西方學(xué)界已引起計(jì)算語(yǔ)言學(xué)家廣泛關(guān)注。
　　本課題預(yù)期在2012年完成以下幾個(gè)方面的任務(wù)：
　　1、與清華大學(xué)計(jì)算機(jī)系、微軟亞洲研究院加強(qiáng)聯(lián)系，深入了解清華樹(shù)庫(kù)到漢語(yǔ)CCG庫(kù)轉(zhuǎn)換過(guò)程中所遇到的、轉(zhuǎn)換結(jié)果中預(yù)留的語(yǔ)言學(xué)及邏輯形式刻畫(huà)問(wèn)題，提出解決方案。
　　2、基于課題組前期利用類型邏輯語(yǔ)法針對(duì)漢語(yǔ)照應(yīng)省略現(xiàn)象提出的范疇邏輯系統(tǒng)LLCW?和針對(duì)漢語(yǔ)虛化成分給出的LMP系統(tǒng)，給出CCG框架下相應(yīng)的組合規(guī)則及其添加模態(tài)下標(biāo)的算子，并在此基礎(chǔ)上構(gòu)造混合的范疇邏輯多模態(tài)系統(tǒng)，證明混合系統(tǒng)的元邏輯性質(zhì)。以此推廣刻畫(huà)漢語(yǔ)中更多的相似現(xiàn)象。
　　3、漢語(yǔ)特殊性的思考。盡管CCG取得了豐碩的信息處理成果，對(duì)漢語(yǔ)CCG樹(shù)庫(kù)的轉(zhuǎn)換也有初步嘗試，但尚無(wú)對(duì)漢語(yǔ)自身特點(diǎn)及其在CCG下處理方案的思考。幸運(yùn)的是，我們?cè)谝延刑接懼锌梢哉业脚c漢語(yǔ)在不同程度上的共性，如與英語(yǔ)相比，漢語(yǔ)在基本語(yǔ)序上也是主謂賓結(jié)構(gòu)，但對(duì)主謂賓的順序要求不如英語(yǔ)嚴(yán)格；與土耳其語(yǔ)相比，漢語(yǔ)也允許語(yǔ)詞上的混序現(xiàn)象，但是混序的實(shí)際環(huán)境不同。我們將分別對(duì)比漢語(yǔ)與各種已討論語(yǔ)言的共性與特性，為利用CCG進(jìn)行面向漢語(yǔ)的信息處理做好充分的準(zhǔn)備。