123,123,123

內(nèi)容簡(jiǎn)介

　　本書以組合范疇語(yǔ)法為核心，從邏輯、語(yǔ)言和計(jì)算三個(gè)不同的視角，以交叉學(xué)科的方式對(duì)組合范疇語(yǔ)法進(jìn)行了研究。從邏輯本身，本書追溯了組合范疇語(yǔ)法的邏輯源流，給出了組合范疇語(yǔ)法的基本理論。從語(yǔ)言的視角，本書以漢語(yǔ)為例，展示了組合范疇語(yǔ)法的豐富表達(dá)能力和解釋力。從計(jì)算的維度，本書詳細(xì)介紹如何從賓州中文樹庫(kù)算法轉(zhuǎn)換為組合范疇語(yǔ)法樹庫(kù)（CCGbank），揭示了典型漢語(yǔ)中規(guī)則應(yīng)用、規(guī)則例和詞例的具體情況。最后，本書還給出了組合范疇語(yǔ)法在自然語(yǔ)言信息處理中的一些應(yīng)用。

作者簡(jiǎn)介

　　陳鵬，1979年生，江西南豐人，工學(xué)博士，北京航空航天大學(xué)計(jì)算機(jī)學(xué)院博士研究生畢業(yè)，中國(guó)社會(huì)科學(xué)院哲學(xué)研究所博士后。主要從事計(jì)算機(jī)軟件與理論數(shù)理邏輯、形式化驗(yàn)證、信息哲學(xué)、信息技術(shù)與社會(huì)領(lǐng)域研究工作。已出版《操作系統(tǒng)本質(zhì)》《區(qū)塊鏈本質(zhì)》《證明達(dá)爾文》等多部專著或譯著。

圖書目錄

緒論
第一章邏輯：組合范疇語(yǔ)法的源流
1.1 古典范疇語(yǔ)法
1.1.1 范疇和運(yùn)算
1.1.2 形式化描述
1.2 Lambek演算
1.2.1 函項(xiàng)運(yùn)算與邏輯演繹
1.2.2 對(duì)代詞的分析獲得新的推導(dǎo)規(guī)則
1.2.3 Lambek句法演算（Syntactic calculus）
1.2.4 Lambek演算的形式化表示
1.3 蒙太格語(yǔ)法
1.4 組合范疇語(yǔ)法的創(chuàng)生
1.5 組合范疇語(yǔ)法的構(gòu)造與組合規(guī)則
1.5.1 范疇
1.5.2 組合規(guī)則
1.5.3 組合投射原則
1.5.4 自然語(yǔ)言的組合性
1.5.5 組合算子的普適性
本章小結(jié) 邏輯對(duì)于自然語(yǔ)言語(yǔ)法和處理的意義何在？
第二章語(yǔ)言：漢語(yǔ)CCG的表述與演繹
2.1 基本語(yǔ)句
2.2 與名詞短語(yǔ)相關(guān)的范疇分析
2.2.1 單位詞與數(shù)量短語(yǔ)
2.2.2 形容詞、量詞與方位詞短語(yǔ)
2.2.3 同位語(yǔ)
2.3 與動(dòng)詞相關(guān)的范疇分析
2.3.1 動(dòng)詞短語(yǔ)
2.3.2 控制動(dòng)詞與情態(tài)動(dòng)詞
2.3.3 “被”字句
2.3.4 “把”字句
2.4 標(biāo)點(diǎn)與并列的范疇分析
2.4.1 并列現(xiàn)象
2.4.2 標(biāo)點(diǎn)符號(hào)
2.5 句子層面的范疇分析
2.5.1 代詞脫落（pro-drop）
2.5.2 關(guān)系從句的范疇分析
2.5.3 “的”字句
2.6 形式語(yǔ)義分析
2.6.1 基于CCG的語(yǔ)法與語(yǔ)義界面理論
2.6.2 CCG的語(yǔ)法與語(yǔ)義并行推理舉例
本章小結(jié) 回歸自然語(yǔ)言的研究
第三章計(jì)算：漢語(yǔ)CCGBank的構(gòu)建
3.1 介紹
3.1.1 短語(yǔ)結(jié)構(gòu)語(yǔ)法
3.1.2 賓州中文樹庫(kù)（PCTB）
3.1.3 CCG語(yǔ)料庫(kù)
3.2 漢語(yǔ)CCGBank轉(zhuǎn)換系統(tǒng)的架構(gòu)與設(shè)計(jì)
3.2.1 總體框架
3.2.2 數(shù)據(jù)處理模塊
3.2.3 轉(zhuǎn)換模塊
3.2.4 應(yīng)用模塊
3.3 漢語(yǔ)CCGBank核心轉(zhuǎn)換算法
3.3.1 預(yù)處理階段
3.3.2 標(biāo)記階段
3.3.3 二分階段
3.3.4 賦范疇階段
3.3.5 修復(fù)階段
3.3.6 舉例
3.4 漢語(yǔ)CCGBank的統(tǒng)計(jì)與分析
3.4.1 范疇統(tǒng)計(jì)
3.4.2 詞例統(tǒng)計(jì)
3.4.3 規(guī)則例統(tǒng)計(jì)
本章小結(jié) 語(yǔ)言學(xué)的數(shù)字化發(fā)展
第四章應(yīng)用：CCG應(yīng)用述評(píng)
4.1 面向大規(guī)模自然語(yǔ)言處理的形式文法綜述
4.1.1 語(yǔ)法形式化
4.1.2 大規(guī)模NLP中的典型形式語(yǔ)法
4.2 CCG適用于計(jì)算語(yǔ)言學(xué)中的特性
4.2.1 詞匯形式化以及適度上下文相關(guān)特性
4.2.2 組合性以及句法與語(yǔ)義接口的融洽性
4.3 CCG的應(yīng)用
4.3.1 生成和實(shí)現(xiàn)（Generation and realization）
4.3.2 問(wèn)答（question answering）
4.3.3 OpenCCG
4.3.4 語(yǔ)義計(jì)算
4.4 人工智能時(shí)代CCG的處境與發(fā)展
4.4.1 鐘擺再一次擺向經(jīng)驗(yàn)主義
4.4.2 深度學(xué)習(xí)的軟弱性
4.4.3 CCG的未來(lái)之路
本章小結(jié) CCG對(duì)語(yǔ)言本質(zhì)的探索
結(jié)語(yǔ)
參考文獻(xiàn)
附錄A 賓州中文樹庫(kù)（PCTB）的標(biāo)記集
A.1 詞性標(biāo)記Part-Of-Speechtags（33）
A.2 句法標(biāo)記Syntactic tags（23）
A.2.1 短語(yǔ)標(biāo)記Tags for phrase（17）
A.2.2 復(fù)合動(dòng)詞標(biāo)記Tags for verb compounds（6）
A.3 功能標(biāo)記Functional tags（26）
A.4 空范疇標(biāo)記Empty categories （null elements）（7）
附錄B “的”在漢語(yǔ)CCGBank中的范疇
附錄C 斯蒂德曼訪談