目錄
序言（鄒崇理）／i
凡例／iii
導(dǎo)論 1
0.1 自然語(yǔ)言的邏輯語(yǔ)義學(xué) 1
0.2 邏輯語(yǔ)義學(xué)研究概述 5
0.3 本書研究?jī)?nèi)容簡(jiǎn)述 12
參考文獻(xiàn) 18
第一編 邏輯語(yǔ)義學(xué)研究概論
1 邏輯語(yǔ)義學(xué)——自然語(yǔ)言的邏輯研究 21
1.1 作為形式符號(hào)系統(tǒng)的自然語(yǔ)言 21
1.2 自然語(yǔ)言的組合性 25
1.3 邏輯語(yǔ)義和自然語(yǔ)言語(yǔ)義 30
1.4 邏輯語(yǔ)義學(xué)的研究方向 48
2 面向自然語(yǔ)言信息處理的邏輯語(yǔ)義學(xué) 58
2.1 自然語(yǔ)言的計(jì)算 58
2.2 部分語(yǔ)句系統(tǒng)的計(jì)算思想 61
2.3 范疇語(yǔ)法CG的計(jì)算思想 63
2.4 句法語(yǔ)義并行推演的計(jì)算思想 68
2.5 結(jié)束語(yǔ) 71
參考文獻(xiàn) 72
第二編 邏輯語(yǔ)義學(xué)的重要理論——范疇類型邏輯CTL
第一部分 范疇類型邏輯GTL梳理
3 GTL的發(fā)展歷程 80
3.1 AB演算 80
3.2 蘭貝克的句法演算 82
3.3 蒙太格的語(yǔ)義分析 83
3.4 新近的發(fā)展方向 86
4 GTL的主要理論 90
4.1 傳統(tǒng)的CTL——結(jié)合的蘭貝克演算 90
4.2 多模態(tài)的CTL 99
4.3 對(duì)稱范疇語(yǔ)法 102
5 GTL的其他分支 123
5.1 完全的蘭貝克演算 123
5.2 加一元算子的CTL 132
5.3 準(zhǔn)群語(yǔ)法與抽象的CTL 134
6 GTL的類型語(yǔ)義學(xué)：蘭貝克演算匹配λ詞項(xiàng) 138
6.1 從經(jīng)典命題邏輯到蘭貝克演算 138
6.2 入演算 144
6.3 哈里-霍華德對(duì)應(yīng) 147
6.4 匹配入詞項(xiàng)的蘭貝克演算樹模式ND表述 159
第二部分 范疇類型邏輯GTL應(yīng)用于漢語(yǔ)的研究
7 傳統(tǒng)CTL對(duì)漢語(yǔ)反身代詞的研究 162
7.1 帶受限縮并規(guī)則的蘭貝克演算LLC 162
7.2 前后搜索的(Bi) LLC系統(tǒng) 171
7.3 語(yǔ)言學(xué)中的應(yīng)用 181
8 漢語(yǔ)照應(yīng)省略的范疇邏輯分析 183
8.1 引言 183
8.2 LLC系統(tǒng)與漢語(yǔ)照應(yīng)省略 185
8.3 LLC系統(tǒng)與空代詞 189
8.4 LLCW'系統(tǒng) 196
8.5 LLCW' 統(tǒng)的特色及語(yǔ)言學(xué)檢驗(yàn) 222
8.6 結(jié)束語(yǔ) 227
9 基于多分法的GTL 229
9.1 多分法的邏輯學(xué)依據(jù) 230
9.2 多分法的語(yǔ)言學(xué)依據(jù) 235
9.3 基于多分法的CTL系統(tǒng) 246
9.4 匹配入項(xiàng)的工作 253
9.5 結(jié)束語(yǔ) 256
參考文獻(xiàn) 258
第三編 邏輯語(yǔ)義學(xué)的重要應(yīng)用——組合范疇語(yǔ)法CCG
第一部分 組織范疇語(yǔ)法CCG梳理
10 組合范疇語(yǔ)法CCG綜述 264
10.1 引言 264
10.2 AB演算的缺陷 268
10.3 原生態(tài)CCG 272
10.4 多模態(tài)CCG 285
10.5 組合范疇語(yǔ)法與范疇類型邏輯之聯(lián)系 294
11 CCG的計(jì)算語(yǔ)言學(xué)價(jià)值與CCG樹庫(kù) 317
11.1 CCG的計(jì)算語(yǔ)言學(xué)價(jià)值 317
11.2 英語(yǔ)CCG樹庫(kù) 318
11.3 漢語(yǔ)CCG樹庫(kù) 343
12 CCG處理自然語(yǔ)言存在的困難和問題 349
12.1 CCG處理自然語(yǔ)言的局限 349
12.2 使用CCG分析自然語(yǔ)言語(yǔ)義面臨的閑境 358
12.3 添加CCG句法分析樹缺失的語(yǔ)義表述存在的困難 361
第二部分 組合范疇語(yǔ)法CGG研究
13 GGG對(duì)漢語(yǔ)非連續(xù)結(jié)構(gòu)的處理 367
13.1概述 367
13.2 CCG對(duì)漢語(yǔ)NCC結(jié)構(gòu)的處理 371
13.3 CCG對(duì)漢語(yǔ)話題句的處理 374
13.4 漢語(yǔ)連動(dòng)句和復(fù)雜謂詞并列結(jié)構(gòu)的處理嘗試 378
14 組合范疇語(yǔ)法對(duì)漢語(yǔ)形容詞謂語(yǔ)句的處理 381
14.1 漢語(yǔ)形容詞謂語(yǔ)句的定義和分類 38l
14.2 漢語(yǔ)光桿形容詞謂語(yǔ)句的組合范疇語(yǔ)法分析 381
14.3 漢語(yǔ)復(fù)雜形容詞謂語(yǔ)句的組合范疇語(yǔ)法分析 383
15 組合范疇語(yǔ)法對(duì)漢語(yǔ)主謂謂語(yǔ)句的處理 389
15.1 漢語(yǔ)主謂謂語(yǔ)句的語(yǔ)法結(jié)構(gòu)及語(yǔ)法特征 389
15.2 漢語(yǔ)主謂謂語(yǔ)句的組合范疇語(yǔ)法分析 389
第三部分 漢語(yǔ)GGG研究的計(jì)算機(jī)實(shí)現(xiàn)（漢語(yǔ)GCGbank的構(gòu)建）
16 組合范疇語(yǔ)法的計(jì)算語(yǔ)言學(xué)價(jià)值 398
16.1 面向大規(guī)模自然語(yǔ)言處理的形式文法綜述 398
16.2 CCG適用于計(jì)算語(yǔ)言學(xué)的特性 402
16.3 CCG的應(yīng)用 412
17 漢語(yǔ)CCG研究 420
17.1 范疇的構(gòu)造與組合規(guī)則 420
17.2 與名詞短語(yǔ)相關(guān)的范疇分析 425
17.3 與動(dòng)詞相關(guān)的范疇分析 428
17.4 標(biāo)點(diǎn)與并列的范疇分析 435
17.5 句子層面的范疇分析 439
18 從賓州漢語(yǔ)樹庫(kù)轉(zhuǎn)漢語(yǔ)CCGbank 444
18.1 介紹 444
18.2 漢語(yǔ)CCGbank轉(zhuǎn)換系統(tǒng)的架構(gòu)與設(shè)計(jì) 450
18.3 漢語(yǔ)CCGbank核心轉(zhuǎn)換算法 457
18.4 漢語(yǔ)CCGbank的鯇計(jì)與分析 475
參考文獻(xiàn) 478
附錄1 賓州漢語(yǔ)樹庫(kù)( PGTB)的標(biāo)簽集 485
A1.1 詞性標(biāo)簽Part Of Speech tags (33) 485
A1.2 句法標(biāo)記(23) 486
附錄2 “的”在漢語(yǔ)CCGbank中的范疇 488
漢英術(shù)語(yǔ)、人名對(duì)照表 491
圖目錄
圖0.1 >B的推出過程 10
圖0.2 漢語(yǔ)賓語(yǔ)從句循環(huán)鑲嵌句的推演 10
圖0.3 英語(yǔ)句的句法語(yǔ)義并行推演示例 11
圖0.4 無占位代詞直接賓語(yǔ)提取話題句的推演 15
圖0.5 復(fù)雜主語(yǔ)修飾成分話題化語(yǔ)句的推演 15
圖0.6 復(fù)雜賓語(yǔ)中心成分話題化語(yǔ)句的推演 15
圖0.7 更多規(guī)則的應(yīng)用示例 16
圖(1.)1.1 自然語(yǔ)言的整體構(gòu)造 22
圖(1.)1.2 語(yǔ)詞的語(yǔ)義三角 32
圖(1.)1.3 抽象語(yǔ)句的語(yǔ)義三角 32
圖(1.)1.4 語(yǔ)言交際的不同層次 34
圖(1.)1.5 抽象語(yǔ)句的語(yǔ)義關(guān)系 35
圖(1.)1.6 指稱方式 37
圖(1.)1.7 句子“約翰瘋狂地喜歡瑪麗”的語(yǔ)義分析 44
圖(1.)1.8 語(yǔ)句Jones slowly buttered the toast in the bathroom with a knife的句法生成 50
圖(1.)2.1 句子“我喜歡邏輯語(yǔ)義學(xué)”的結(jié)構(gòu) 59
圖(1.)2.2 句子John walks in the park的范疇運(yùn)算 64
圖(1.)2.3 句子John loves the girls的CCG推演 66
圖(1.)2.4 句子sleeps and he talks的CCG推演 67
圖(1.)2.5 句子Marcel conjectured and proved completeness的CCG推演 68
圖(1.)2.6 The tall kid runs的TLG句子推演 70
圖(2.)3.1 語(yǔ)句I have set my bow in the cloud的愛裘凱維茨推演 81
圖(2.)3.2 語(yǔ)句I have set my bow in the cloud的AB演算推演 81
圖(2.)4.1 框架的結(jié)合性 91
圖(2.)4.2 范疇與語(yǔ)義類型的對(duì)應(yīng) 118
圖(2.)4.3 NL和LG的句法語(yǔ)義對(duì)應(yīng) 120
圖(2.)4.4 CPS翻譯圖示 121
圖(2.)5.1 語(yǔ)句John walks的內(nèi)涵蘭貝克推演 134
圖(2.)6.1 斜線算子的消去和引用規(guī)則 138
圖(2.)6.2 積算子的消去和引入規(guī)則 139
圖(2.)6.3 后承式的經(jīng)典命題邏輯的自然演繹ND系統(tǒng)1 139
圖(2.)6.4 后承式的經(jīng)典命題邏輯的自然演繹ND系統(tǒng)2 140
圖(2.)6.5 八和一的擇換規(guī)則 1/10
圖(2.)6.6 后承式的直覺主義邏輯的自然演繹ND系統(tǒng) 141
圖(2.)6.7 兩類合取規(guī)則 141
圖(2.)6.8 后承式的相干邏輯的自然演繹ND系統(tǒng) 142
圖(2.)6.9 后承式的線性邏輯的自然演繹ND系統(tǒng) 142
圖(2.)6.10 兩類蘊(yùn)涵規(guī)則 143
圖(2.)6.11 后承式的蘭貝克演算的自然演繹ND系統(tǒng)1 143
圖(2.)6.12 后承格式的蘭貝克演算的自然演繹ND系統(tǒng)2 143
圖(2.)6.13 對(duì)合敢的p范式化 149
圖(2.)6.14 對(duì)合取的77范式化 149
圖(2.)6.15 對(duì)蘊(yùn)涵的p范式化 149
圖(2.)6.16 對(duì)蘊(yùn)涵的77范式化 149
圖(2.)6.17 加標(biāo)的蘭貝克演算L的自然演繹系統(tǒng) 150
圖(2.)6.18 蘭貝克后承演算系統(tǒng) 152
圖(2.)6.19 蘭貝克后承演算的語(yǔ)義解讀 152
圖(2.)6.20 John loves Mary的后承推演 154
圖(2.)6.21 John loves Mary的語(yǔ)義解讀 154
圖(2.)6.22 Today it raincd amazingly的后承推演 155
圖(2.)6.23 Today it rained amazingly的后承推演一的語(yǔ)義 155
圖(2.)6.24 Today it rained amazingly的后承推演二 155
圖(2.)6.25 Today it rained amazingly的后承推演二的語(yǔ)義 155
圖(2.)6.26 The cat slept的兩個(gè)后承推演 156
圖(2.)6.27 The cat slcpt的兩個(gè)后承推演的語(yǔ)義 156
圖(2.)6.28 I have set my bow in the cloud的后承推演 156
圖(2.)6.29 I have set my bow in the cloud的語(yǔ)義解讀 157
圖(2.)6.30 John loves Mary的推演語(yǔ)義 158
圖(2.)6.31 John loves himself的推演語(yǔ)義 158
圖(2.)6.32 匹配了語(yǔ)義的蘭貝克演算的樹模式ND系統(tǒng) 159
圖(2.)6.33 John loves Mary的有語(yǔ)義標(biāo)記的樹模式ND推演 159
圖(2.)6.34 The cat slept的有語(yǔ)義標(biāo)記的樹模式ND推演 159
圖(2.)6.35 John loves himself的有語(yǔ)義標(biāo)記的樹模式ND推演 160
圖(2.)7.1 語(yǔ)句“張三的自尊心害了自己”的LLC生成 182
圖(2.)8.1 John walks的類型邏輯推演 181
圖(2.)8.2 語(yǔ)句8.1乙句“他”回指“小張”的生成圖 186
圖(2.)8.3 語(yǔ)句8.1乙句“他”的先行詞為未知情況的生成圖 186
圖(2.)8.4 “張三喜歡李麗”標(biāo)注性別下標(biāo)的類型邏輯生成 188
圖(2.)8.5 “e看見李四了”的第一種類型邏輯生成 190
圖(2.)8.5 7a “張三說e看見e了”的第一種類型邏輯牛成 190
圖(2.)8.5 7b “張三說e看見e了”引入普通假設(shè)的類型邏輯生成 191
圖(2.)8.6 “張三說e看見e了”補(bǔ)出空代詞的類型邏輯生成 191
圖(2.)8.7a 使用結(jié)合律作語(yǔ)句“小趙送小明禮物了，媽媽也送了”的類型邏輯生成 192
圖(2.)8.7b 引入普通假設(shè)為語(yǔ)句“小趙送小明禮物了，媽媽也送了”作類型邏輯生成的第一種嘗試 192
圖(2.)8.7c 引入普通假設(shè)為語(yǔ)句“小趙送小明禮物了，媽媽也送了”作類型邏輯生成的第二種嘗試 193
圖(2.)8.8 引入照應(yīng)假設(shè)為語(yǔ)句“小趙送小明禮物了，媽媽也送了”作類型邏輯生成的嘗試 193
圖(2.)8.9a 使用廣義布爾合取規(guī)則直接作語(yǔ)句“小李走去開門”的類型邏輯分析 194
圖(2.)8.9b 使用廣義布爾合取規(guī)則作語(yǔ)句“媽媽送哥哥參軍”的類型邏輯分析 194
圖(2.)8.9b 引入照應(yīng)假設(shè)作語(yǔ)句“媽媽送哥哥參軍”的類型邏輯分析 195
圖(2.)8.10 受限的強(qiáng)縮并結(jié)構(gòu)規(guī)則W 197
圖(2.)8.11 “媽媽送哥哥參軍”的推演 200
圖(2.)8.12 語(yǔ)句“小明不應(yīng)該來，小趙也是”的加標(biāo)樹模式生成 223
圖(2.)8.13 John loves himself在LLCW'和LLC下的分析 223
圖(2.)8.14 “張三。認(rèn)為李四，知道李麗。喜歡他�！钡念愋瓦壿嬌�成 224
圖(2.)8.15 語(yǔ)句“張三說e看見李四了”的類型邏輯語(yǔ)法生成圖 225
圖(2.)8.16 語(yǔ)句“媽媽送哥哥參軍”使用W'規(guī)則的加標(biāo)樹模式生成 226
圖(2.)8.17 語(yǔ)句“小張走去開門”使用W'規(guī)則的加標(biāo)樹模式生成 226
圖(2.)8.18 語(yǔ)句“小李送小趙禮物了，媽媽也送了”使用W'規(guī)則的加標(biāo)樹模式生成 227
圖(2.)9.1 合取復(fù)合公式的形成圖 230
圖(2.)9.2 多分法與二分法的對(duì)比圖 230
圖(2.)9.3 <1，1>類型量詞公式的形成圖 232
圖(2.)9.4 Five more… than...，…的生成結(jié)構(gòu) 232
圖(2.)9.5 語(yǔ)句9.3的句法分析樹 235
圖(2.)9.6 語(yǔ)句9.3的語(yǔ)義翻譯樹 235
圖(2.)9.7 語(yǔ)旬John wrote a letter in the room的格語(yǔ)法底層結(jié)構(gòu)圖 236
圖(2.)9.8 語(yǔ)句John wrote a letter in the room的語(yǔ)義結(jié)構(gòu)圖 237
圖(2.)9.9 短語(yǔ)put the key into the box on the table的句法二分分析圖 237
圖(2.)9.10 圖(2.)9.9的語(yǔ)義翻譯 238
圖(2.)9.11 短語(yǔ)put the key into the box on the table基于格語(yǔ)法的多分句法分析 238
圖(2.)9.12 圖(2.)9.11對(duì)應(yīng)的語(yǔ)義翻譯 238
圖(2.)9.13 語(yǔ)句“張三在餐館用刀叉吃牛排”的格語(yǔ)法句法分析 242
圖(2.)9.14 語(yǔ)句“張三在餐館用刀叉吃牛排”的格語(yǔ)法多分法語(yǔ)義分析 242
圖(2.)9.15 “送李四書”的句法多分分析和兩分分析 243
圖(2.)9.16 語(yǔ)句“張三正在干著活”的句法生成 243
圖(2.)9.17 語(yǔ)句“張三正在干著活”的語(yǔ)義生成 244
圖(2.)9.18 清華樹庫(kù)中轉(zhuǎn)換CCG的例句句法分析樹 244
圖(2.)9.19 語(yǔ)句“上海在北京和廣州中間”的多分句法分析樹 245
圖(2.)9.20 語(yǔ)句“鑰匙在桌子上的盒子里”的多分句法分析樹 245
圖(2.)9.21 清華樹庫(kù)中轉(zhuǎn)換CCG的例句“這種反映論把認(rèn)識(shí)歸結(jié)為一種直觀” 247
圖(2.)9.22 語(yǔ)句every man walks的句法語(yǔ)義CTL推演 254
圖(2.)9.23 語(yǔ)句more doctors than lawyers whistle的句法語(yǔ)義CTL推演 254
圖(2.)9.24 語(yǔ)句“張三在餐館用大碗吃飯”的句法分析樹 255
圖(2.)9.25 語(yǔ)句“張三在餐館用大碗吃飯”的句法語(yǔ)義生成 255
圖(3.)10.1 關(guān)系從句的AB演算分析 269
圖(3.)10.2 John loves Mary的句法與語(yǔ)義并行推演過程 273
圖(3.)10.3 John met and married Mary對(duì)稱合并的范疇語(yǔ)法分析 275
圖(3.)10.4 John met and might married Mary非對(duì)稱并列結(jié)構(gòu)的范疇語(yǔ)法分析 275
圖(3.)10.5 CCG實(shí)現(xiàn)的主語(yǔ)與及物動(dòng)詞毗連的推演 277
圖(3.)10.6 CCG實(shí)現(xiàn)的賓語(yǔ)提取結(jié)構(gòu)的推演 277
圖(3.)10.7 CCG實(shí)現(xiàn)的無界依存結(jié)構(gòu)的推演 278
圖(3.)10.8 CCG實(shí)現(xiàn)的右節(jié)點(diǎn)提升語(yǔ)句的推演 278
圖(3.)10.9 CCG實(shí)現(xiàn)的論元聚點(diǎn)并列組合推演 278
圖(3.)10.10 CCG實(shí)現(xiàn)的重成分NP移位結(jié)構(gòu)的推演 279
圖(3.)10.11 CCG實(shí)現(xiàn)的非外圍提取結(jié)構(gòu)的推演 279
圖(3.)10.12 CCG處理離合詞結(jié)構(gòu)推演 279
圖(3.)10.13 CCG處理寄生語(yǔ)缺結(jié)構(gòu)的推演 281
圖(3.)10.14 CCG處理寄生語(yǔ)缺結(jié)構(gòu)的推演 281
圖(3.)10.15 CCG推出不合語(yǔ)法的并列句 283
圖(3.)10.16 CCG推出不合語(yǔ)法的移位句 283
圖(3.)10.17 CCG推出不合語(yǔ)法的雙重關(guān)系句 283
圖(3.)10.18 CCG推出不合語(yǔ)法的加擾詞序語(yǔ)句 281
圖(3.)10.19 CCG推出不合語(yǔ)法的嵌入主語(yǔ)提取語(yǔ)句 284
圖(3.)10.20 CCG推出不合語(yǔ)法的亂序語(yǔ)句 284
圖(3.)10.21 四種模態(tài)算子層級(jí)圖 286
圖(3.)10.22 CCG推出不合語(yǔ)法的并列句 286
圖(3.)10.23 MMCCG阻止不合語(yǔ)法的并列結(jié)構(gòu)的生成 287
圖(3.)10.24 模態(tài)算子層級(jí)修訂圖 288
圖(3.)10.25 MMCCG阻止非法移位句的推演 289
圖(3.)10.26 MMCCG阻止非法雙重關(guān)系句的推演 290
圖(3.)10.27 MMCCG對(duì)自然語(yǔ)言的分析 290
圖(3.)10.28 MMCCG阻止不合法的爬升語(yǔ)句的推演 291
圖(3.)10.29 MMCCG阻止不合法的嵌入主語(yǔ)提取語(yǔ)句的推演 291
圖(3.)10.30 MMCCG阻止不合法的亂序語(yǔ)句的推演 291
圖(3.)10.31 MMCCG對(duì)賓語(yǔ)提取表達(dá)式的分析 292
圖(3.)10.32不合語(yǔ)法的句子推演失敗 293
圖(3.)10.33 結(jié)構(gòu)模態(tài)詞允許的非外圍提取的推演 305
圖(3.)10.34 關(guān)聯(lián)規(guī)則促成的積聯(lián)結(jié)詞之間的轉(zhuǎn)換 307
圖(3.)10.35 關(guān)聯(lián)規(guī)則促成的蘊(yùn)涵聯(lián)結(jié)詞之間的轉(zhuǎn)換 307
圖(3.)10.36 以非結(jié)合層面轉(zhuǎn)換到結(jié)合層面的成功推演 308
圖(3.)10.37 積聯(lián)結(jié)詞和蘊(yùn)涵聯(lián)結(jié)詞的關(guān)系之證明 309
圖(3.)10.38 從非交換層面轉(zhuǎn)向交換層面的成功推演 309
圖(3.)10.39 MMCCG的復(fù)合規(guī)則>B與HCTL的結(jié)構(gòu)規(guī)則RA的對(duì)應(yīng)性證明 314
圖(3.)10.40 MMCCG的復(fù)合規(guī)則<B與HCTL的結(jié)構(gòu)規(guī)則LA的對(duì)應(yīng)性證明 315
圖(3.)10.41 MMCCG的復(fù)合規(guī)則>Bx與HCTL的結(jié)構(gòu)規(guī)則RP的對(duì)應(yīng)性證明 315
圖(3.)10.42 MMCCG的復(fù)合規(guī)則<Bx與HCTL的結(jié)構(gòu)規(guī)則LP的對(duì)應(yīng)性證明 315
圖(3.)10.43 多模態(tài)CCG對(duì)自然語(yǔ)言的分析 315
圖(3.)10.44 HCTL對(duì)自然語(yǔ)言的分析 315
圖(3.)11.1 賓州樹庫(kù)樹例示 322
圖(3.)11.2 確定成分類型 322
圖(3.)11.3 構(gòu)造二叉樹 322
圖(3.)11.4 二叉化解析 323
圖(3.)11.5 指派范疇 323
圖(3.)11.6 動(dòng)詞提前語(yǔ)句的賓州樹庫(kù)樹 325
圖(3.)11.7 修改后的動(dòng)詞提前語(yǔ)句的賓州樹庫(kù)樹 326
圖(3.)11.8 動(dòng)詞提前語(yǔ)句的CCG樹庫(kù)樹 326
圖(3.)11.9 省略倒裝語(yǔ)句的賓州樹庫(kù)樹 326
圖(3.)11.10 修改后的省略倒裝語(yǔ)句的賓州樹庫(kù)樹 326
圖(3.)11.11 省略倒裝語(yǔ)句的CCG樹庫(kù)樹 327
圖(3.)11.12 直接引語(yǔ)倒裝的賓州樹庫(kù)樹 327
圖(3.)11.13 直接引語(yǔ)倒裝的CCG樹庫(kù)樹 327
圖(3.)11.14 所有格’s結(jié)構(gòu)的賓州樹庫(kù)樹 328
圖(3.)11.15 修改后的所有格’s結(jié)構(gòu)的賓州樹庫(kù)樹 328
圖(3.)11.16 所有格’s結(jié)構(gòu)的CCG樹庫(kù)樹 328
圖(3.)11.17 并列關(guān)系結(jié)構(gòu)的CCG樹庫(kù)樹模式 328
圖(3.)11.18 UCP結(jié)構(gòu)的賓州樹庫(kù)樹 329
圖(3.)11.19 UCP結(jié)構(gòu)的CCG樹庫(kù)樹 329
圖(3.)11.20 同位語(yǔ)移位結(jié)構(gòu)的賓州樹庫(kù)樹 330
圖(3.)11.21 修改后的同位語(yǔ)移位結(jié)構(gòu)的賓州樹庫(kù)樹 330
網(wǎng)(3.)11.22 同位語(yǔ)移位結(jié)構(gòu)的CCGbank樹 330
圖(3.)11.23 小句輔助成分的CCG樹庫(kù)樹 330
圖(3.)11.2.4 關(guān)系從句的賓州樹庫(kù)樹 331
圖(3.)11.25 使用成分類型標(biāo)注的關(guān)系從句的二叉樹 332
圖(3.)11.26 補(bǔ)語(yǔ)語(yǔ)跡彌散的關(guān)系從句樹庫(kù)樹 332
圖(3.)11.27 給樹庫(kù)樹進(jìn)行范疇指派的分解步驟 333
圖(3.)11.28 給樹庫(kù)樹進(jìn)行范疇指派的分解步驟二 333
圖(3.)11.29 給樹庫(kù)樹進(jìn)行范疇指派的分解步驟三 333
圖(3.)11.30 給樹庫(kù)樹進(jìn)行范疇指派的分解步驟四 333
圖(3.)11.31 關(guān)系從句的CCG樹庫(kù)樹 334
圖(3.)11.32 wh疑問句的賓州樹庫(kù)樹 334
圖(3.)11.33 wh疑問句的CCG樹庫(kù)樹 334
圖(3.)11.34 tough類形容詞移位結(jié)構(gòu)的賓州樹庫(kù)樹 335
圖(3.)11.35 tough類形容詞移位結(jié)構(gòu)的CCG樹庫(kù)樹 335
圖(3.)11.36 名詞短語(yǔ)話題化賓州樹庫(kù)樹 335
圖(3.)11.37 名詞短語(yǔ)話題化CCG樹庫(kù)樹 336
圖(3.)11.38 焦點(diǎn)為名詞的分裂結(jié)構(gòu)的賓州樹庫(kù)樹 336
圖(3.)11.39 焦點(diǎn)為名詞的分裂結(jié)構(gòu)的CCG樹庫(kù)樹 336
圖(3.)11.40 焦點(diǎn)為副詞的分裂結(jié)構(gòu)的賓州樹庫(kù)樹 336
圖(3.)11.111 焦點(diǎn)為副詞的分裂結(jié)構(gòu)的CCG樹庫(kù)樹 337
圖(3.)11.42 中心語(yǔ)右節(jié)點(diǎn)提升結(jié)構(gòu)的賓州樹庫(kù)樹 337
圖(3.)11.43 把圖(3.)11.42轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟 337
圖(3.)11.44 把圖(3.)11.42轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟二 338
圖(3.)11.45 把圖(3.)11.42轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟三 338
圖(3.)11.46 論元聚點(diǎn)并列組合結(jié)構(gòu)的賓州樹庫(kù)樹 338
圖(3.)11.47 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟 339
圖(3.)11.48 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟二 339
圖(3.)11.49 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟三 339
圖(3.)11.50 把圖(3.)11.46轉(zhuǎn)換咸CCG樹庫(kù)樹的分解步驟四 340
圖(3.)11.51 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫(kù)樹的分解步驟五 340
圖(3.)11.52 二叉化示例 345
圖(3.)11.53 “的”寧結(jié)構(gòu)CCG分析結(jié)果一 347
圖(3.)11.54 “的”字結(jié)構(gòu)CCG分析結(jié)果二 347
圖(3.)12.1 復(fù)合名詞的賓州樹庫(kù)樹..349
圖(3.)12.2 內(nèi)含聯(lián)結(jié)詞的復(fù)合名詞的賓州樹庫(kù)樹 349
圖(3.)12.3 內(nèi)含聯(lián)結(jié)詞的復(fù)合名詞的CCGbank樹 350
圖(3.)12.4 同位語(yǔ)的賓州樹庫(kù)樹 350
圖(3.)12.5 NP并列短語(yǔ)的賓州樹庫(kù)樹 350
圖(3.)12.6 同位語(yǔ)的CCGbank樹 350
圖(3.)12.7 NP并列短語(yǔ)的CC,Gbank樹 351
圖(3.)12.8 謂詞倒裝語(yǔ)句的賓州樹庫(kù)樹 351
圖(3.)12.9 CCG對(duì)前置介詞短語(yǔ)PP的分析 351
圖(3.)12.10重型NP移位結(jié)構(gòu)的賓州樹庫(kù)樹 352
圖(3.)12.11 CCG對(duì)重型NP移位句中的to PP的分析 352
圖(3.)12.12 CCG對(duì)話題成分NP的分析 352
圖(3.)12.13 UCP作論元的并列關(guān)系結(jié)構(gòu)的賓州樹庫(kù)樹 352
圖(3.)12.14 UCP作論元的并列關(guān)系結(jié)構(gòu)的CCGbank樹 353
圖(3.)12.15 否定倒裝語(yǔ)句的賓州樹庫(kù)樹 353
圖(3.)12.16 CCG對(duì)否定倒裝的分析 353
圖(3.)12.17 插入成分的賓州樹庫(kù)樹 354
圖(3.)12.18 CCG對(duì)插入成分的分析 354
圖(3.)12.19 插入成分作修飾語(yǔ)的賓州樹庫(kù)樹 351
圖(3.)12.20 CCG對(duì)插入成分的分析二 354
圖(3.)12.21 CCG對(duì)插入成分的分析三 355
圖(3.)12.22 語(yǔ)缺結(jié)構(gòu)的賓州樹庫(kù)樹 355
圖(3.)12.23 斯蒂德曼借助分解規(guī)則對(duì)語(yǔ)缺結(jié)構(gòu)的分析 355
圖(3.)12.24 CCG對(duì)語(yǔ)缺結(jié)構(gòu)的分析 356
圖(3.)12.25 CCG對(duì)作輔助成分的謂詞的分析 356
圖(3.)12.26 起條件作用的倒裝句的賓州樹庫(kù)樹 357
圖(3.)12.27 CCG對(duì)起條件作用的倒裝句的分析 358
圖(3.)12.28 from-PP… to-PP結(jié)構(gòu)的賓州樹庫(kù)樹 358
圖(3.)12.29 被動(dòng)句的賓州樹庫(kù)樹 360
圖(3.)12.30 動(dòng)詞提前語(yǔ)句的賓州樹庫(kù)樹 360
圖(3.)12.31 CCG財(cái)動(dòng)詞提前語(yǔ)句的分析 360
圖(3.)12.32 針對(duì)并列關(guān)系的非組合規(guī)則圖示 361
圖(3.)12.33 CCG對(duì)并列關(guān)系的處理 362
圖(3.)12.34 CCG對(duì)謂詞作輔助成分的語(yǔ)句的處理 362
圖(3.)12.35 CCG對(duì)wh問語(yǔ)的處理 363
圖(3.)12.36 CCG對(duì)嵌入句中的主語(yǔ)提取的處理 363
圖(3.)12.37 CCG對(duì)同位語(yǔ)句外置的處理 363
圖(3.)12.38 CCG對(duì)復(fù)合名詞的處理 364
圖(3.)12.39 CCG對(duì)UCP的處理 364
圖(3.)12.40 CCG使用特殊的并列組合規(guī)則處理語(yǔ)缺 364
圖(3.)12.41 周強(qiáng)對(duì)賓語(yǔ)前置句的分析圖 365
圖(3.)13.1 話題句的上下文自南語(yǔ)法樹形圖 369
圖(3.)13.2 漢語(yǔ)語(yǔ)缺句生成模式 372
圖(3.)13.3 主語(yǔ)和狀語(yǔ)毗連推演 373
圖(3.)13.4 賓語(yǔ)與后置狀語(yǔ)毗連推演 373
圖(3.)13.5 直接賓語(yǔ)和間接賓語(yǔ)的毗連推演 374
圖(3.)13.6 主語(yǔ)和及物動(dòng)詞毗連推演 374
圖(3.)13.7 無占位代詞的賓語(yǔ)提取話題句的推演 374
圖(3.)13.8 有占位代詞的賓語(yǔ)提取話題句的推演 376
圖(3.)13.9 有占位代詞的主語(yǔ)提取話題句的推演 376
圖(3.)13.10 有占位代詞的間接賓語(yǔ)提取話題句的推演 377
圖(3.)13.11 無占位代詞的直接賓語(yǔ)提取話題句的推演 377
圖(3.)13.12 無占位代詞的間接賓語(yǔ)提取話題句的推演 377
圖(3.)13.13 復(fù)雜主語(yǔ)修飾成分話題化語(yǔ)句的推演 377
圖(3.)13.14 復(fù)雜賓語(yǔ)修飾成分話題化語(yǔ)句的推演 378
圖(3.)13.15 復(fù)雜主語(yǔ)中心成分話題化語(yǔ)句的推演 378
圖(3.)13.16 語(yǔ)句“手機(jī)我喜歡用華為的”的推演 378
圖(3.)13.17 連動(dòng)句的生成模式 379
圖(3.)13.18 復(fù)雜謂詞并列結(jié)構(gòu)句推理 380
圖(3.)13.19 復(fù)雜謂詞并列結(jié)構(gòu)句推理二 380
圖(3.)14.1 主語(yǔ)是專名的光桿形容詞謂語(yǔ)句的CCG分析 382
圖(3.)14.2 主語(yǔ)是限定摹狀調(diào)的光桿形容詞謂語(yǔ)句的CCG分析 382
圖(3.)14.3 主語(yǔ)是數(shù)量摹狀詞的光桿形容詞謂語(yǔ)句的CCG分析 382
圖(3.)14.4 主語(yǔ)是存在名詞短語(yǔ)的光桿形容詞謂語(yǔ)句的CCG分析 382
圖(3.)14.5 主語(yǔ)是全稱名詞短語(yǔ)的光桿形容詞謂語(yǔ)句的CCG分析 383
圖(3.)11.6 “程度副詞十形容詞”的形容詞謂語(yǔ)句的CCG分析 383
圖(3.)14.7 “數(shù)量詞組十形容詞”的形容詞謂語(yǔ)句的CCG分析 384
圖(3.)14.8 “介賓短語(yǔ)十形容詞”的形容詞謂語(yǔ)句的CCG分析 384
圖(3.)14.9 “形容詞十單個(gè)副詞”的形容詞謂語(yǔ)句的CCG分析 385
圖(3.)14.10 CCG對(duì)“形容詞十補(bǔ)語(yǔ)”的形容詞謂語(yǔ)句的邏輯生成圖 385
圖(3.) 14.11 CCG對(duì)“形容詞十補(bǔ)語(yǔ)”的形容詞謂語(yǔ)句的邏輯生成圖 385
圖(3.)14.12 “李四高興得不得了”的CCG分析 386
圖(3.)14.13 加“得”的形補(bǔ)謂語(yǔ)句的CCG分析 386
圖(3.)14.14 加“得”的形補(bǔ)謂語(yǔ)句的CCG分析 386
圖(3.)14.15 形容詞短語(yǔ)作補(bǔ)語(yǔ)的形補(bǔ)謂語(yǔ)句的CCG分折 387
圖(3.)14.16 動(dòng)詞短語(yǔ)作補(bǔ)語(yǔ)的形補(bǔ)謂語(yǔ)句的CCG分析 387
圖(3.)14.17 動(dòng)詞短語(yǔ)作補(bǔ)語(yǔ)的形補(bǔ)謂語(yǔ)句的CCGI分析 387
圖(3.)14.18 小句作補(bǔ)語(yǔ)的形補(bǔ)謂語(yǔ)句的CCG1分析 388
圖(3.)15.1 S1和S2是領(lǐng)屬關(guān)系的主謂謂語(yǔ)句在CCG中的邏輯生成圖 390
圖(3.)15.2 S1為受事、S2為施事的主謂謂語(yǔ)句在CCG中的邏輯生成圖 391
圖(3.)15.3 S1為施事、S2為受事的主謂謂語(yǔ)句在CCG中的邏輯生成圖 391
圖(3.)15.4 S1為施事、S2為受事且?guī)аa(bǔ)語(yǔ)的主謂謂語(yǔ)句的在CCG中的生成圖 392
圖(3.)15.5 P的受事與S1構(gòu)成復(fù)指關(guān)系的主謂謂語(yǔ)句在CCG中的生成圖 392
圖(3.)15.6謂語(yǔ)是主謂短語(yǔ)的主謂謂語(yǔ)句在CCG中的邏輯生成圖 393
圖(3.)15.7 S1是時(shí)間詞語(yǔ)的主謂謂語(yǔ)句在CCG中的邏輯生成圖 394
圖(3.)15.8 S1是P的工具的主謂謂語(yǔ)句在CCG中的邏輯生成圖 394
圖(3.)15.9謂語(yǔ)是計(jì)量關(guān)系的主謂謂語(yǔ)句在CCG中的邏輯生成圖 395
圖(3.)15.10 S1是謂語(yǔ)部分的關(guān)涉對(duì)象的主謂謂語(yǔ)句在CCG中生成圖 396
圖(3.)16.1 CCG處理復(fù)雜的交叉依存現(xiàn)象 408
圖(3.)16.2 “我愛真理”的基于CCG的移位歸約分析示意 409
圖(3.)18.1 “中韓經(jīng)貿(mào)研討會(huì)即將在北京舉行”的短語(yǔ)結(jié)構(gòu)與組合范疇語(yǔ)法 444
圖(3.)18.2 漢語(yǔ)CCGbank轉(zhuǎn)換系統(tǒng)的框架 450
圖(3.)18.3 語(yǔ)料庫(kù)處理的核心流程 451
圖(3.)18.4 轉(zhuǎn)換系統(tǒng)的數(shù)據(jù)處理模塊核心類圖 452
圖(3.)18.5 語(yǔ)料庫(kù)讀取的基類 452
圖(3.)18.6 短語(yǔ)結(jié)構(gòu)信息 453
圖(3.)18.7 node結(jié)構(gòu)體 453
圖(3.)18.8 leaf結(jié)構(gòu)體 453
圖(3.)18.9 樹解析算法 454
圖(3.)18.10 CCGbank的轉(zhuǎn)換算法流程 455
圖(3.)18.11 轉(zhuǎn)換模塊的核心類圖 456
圖(3.)18.12 轉(zhuǎn)換模塊中管道基類 456
圖(3.)18.13 CCGbank的應(yīng)用示例之一：可視化展示 457
圖(3.)18.14 漢語(yǔ)CCGbank轉(zhuǎn)換算法管道 457
圖(3.)18.15 預(yù)處理階段算法 458
圖(3.)18.16 PCTB中中綴粘合生成圖 458
圖(3.)18.17 光桿動(dòng)詞并列 458
圖(3.)18.18 外國(guó)人名的預(yù)處理 459
圖(3.)18.19 從詞標(biāo)記到短語(yǔ)標(biāo)記的一元投射 461
圖(3.)18.20 標(biāo)點(diǎn)的二分處理 161
圖(3.)18.21 成對(duì)符號(hào)的提升 462
圖(3.)18.22 賦范疇算法 463
圖(3.)18.23 語(yǔ)跡消去算法 464
圖(3.)18.24 “喝啤酒的人”范疇解析 465
圖(3.)18.25 “被逮捕的犯人”范疇解析 165
圖(3.)18.26 范疇修復(fù)的算法流程圖 466
圖(3.)18.27 使用類型提升進(jìn)行范疇修復(fù)的舉例 467
圖(3.)18.28 泛化修飾語(yǔ)范疇算法 467
圖(3.)18.29 例句的PCTB樹形表示 468
圖(3.)18.30 例句經(jīng)過標(biāo)記后的結(jié)果 468
圖(3.)18.31 例句經(jīng)過標(biāo)記后的樹形展示 469
圖(3.)18.32 例句在二分后的結(jié)果 470
圖(3.)18.33 例句在二分后的樹形展現(xiàn) 471
圖(3.)18.34 例句在賦范疇后的結(jié)果 470
圖(3.)18.35 例句在賦范疇后的樹形展示 172
圖(3.)18.36 例句在修復(fù)后的結(jié)果 470
圖(3.)18.37 例句在修復(fù)后的樹形展現(xiàn) 473
圖(3.)18.38 例句的最終CCG結(jié)果 470
圖(3.)18.39 例句轉(zhuǎn)換為CCG的樹形展示 474
表目錄
表0.1 邏輯語(yǔ)義學(xué)系統(tǒng)的語(yǔ)言構(gòu)造機(jī)制特征對(duì)比 5
表0.2 詞條頻率前10名 8
表0.3 “學(xué)”的范疇 9
表0.4 匹配語(yǔ)義表達(dá)的CCG規(guī)則 11
表0.5 英漢空代詞使用情況對(duì)比 13
表(1.)1.1 意義與語(yǔ)言形式的對(duì)應(yīng) 32
表(1.)1.2 語(yǔ)義類型 44
表(1.)1.3 英語(yǔ)中廣義量詞的語(yǔ)義類型 45
表(1.) 2.1 CCG的詞條 66
表(1.)2.2 斜線算子的模態(tài)下標(biāo) 67
表(2.)3.1 范疇語(yǔ)法的基礎(chǔ)及衍生范疇 81
表(2.) 3.2 CTL系統(tǒng)的四類算子 87
表(2.)3.3 類型I和類型IV的公理 88
表(2.)5.1 蘭貝克演算及其變種 127
表(2.)6.1 子結(jié)構(gòu)邏輯序列 144
表(2.)6.2 直覺主義邏輯公式對(duì)應(yīng)入詞項(xiàng)的類型 148
表(2.)6.3 直覺主義邏輯自然演繹規(guī)則對(duì)應(yīng)類型化入演算項(xiàng)規(guī)則 148
表(2.)7.1 邏輯系統(tǒng)與結(jié)構(gòu)規(guī)則對(duì)照表 162
表(2.)8.1 英漢空代詞使用對(duì)比 190
表(3.)10.1 四種模態(tài)算子的定義 285
表(3.)10.2 多模戀組合范疇語(yǔ)法與范疇類型邏輯系統(tǒng)對(duì)比圖 302
表(3.)10.3 子結(jié)構(gòu)邏輯系統(tǒng) 303
表(3.)10.4 蘭貝克演算的聯(lián)結(jié)詞 306
表(3.)11.1 具有詞匯范疇最多的20個(gè)詞例 341
表(3.)11.2 詞匯范疇的頻率分布（02～21節(jié)） 342
表(3.)11.3 CCGbank中出現(xiàn)頻率最高的20個(gè)規(guī)則例示（02～21節(jié)） 342
表(3.)11.4 CCGbank中規(guī)則頻率的分布(02～21節(jié)) 343
表(3.)11.5基于人工標(biāo)注測(cè)試語(yǔ)料的評(píng)價(jià)結(jié)果 348
表(3.)13.1兩種非連續(xù)結(jié)構(gòu)的比較 370
表(3.)16.1文法形式化與計(jì)算復(fù)雜性的關(guān)聯(lián) 405
表(3.)16.2 CCG中范疇與語(yǔ)義規(guī)則嚴(yán)格對(duì)應(yīng) 410
表(3.)16.3 常用的CCG軟件 414
表(3.) 16.4 OpenCCG中xml語(yǔ)義標(biāo)簽一覽表 415
表(3.)17.1 漢語(yǔ)CCG的規(guī)則 421
表(3.)17.2 漢語(yǔ)的基本動(dòng)詞類 424
表(3.)17.3 與漢語(yǔ)名詞短語(yǔ)相關(guān)的原子范疇 428
表(3.)17.4 與漢語(yǔ)名詞相關(guān)的形容詞、數(shù)詞的范疇指派 428
表(3.)17.5 與漢語(yǔ)名詞短語(yǔ)相關(guān)的補(bǔ)充規(guī)則 428
表(3.)17.6 動(dòng)詞復(fù)合策略 430
表(3.)17.7 漢語(yǔ)中主要的并列詞及并列項(xiàng)類型 435
表(3.)17.8 漢語(yǔ)中候選的吸收范疇 438
表(3.)17.9 關(guān)系從句的構(gòu)造 442
表(3.)18.1 通過CCG分析過的語(yǔ)言片段 449
表(3.)18.2 為PCTB節(jié)點(diǎn)增加的標(biāo)記 459
表(3.) 18.3 一元投射的模式表 461
表(3.)18.4 漢語(yǔ)中的成對(duì)符號(hào)表 462
表(3.) 18.5 PCTB中根節(jié)點(diǎn)的映射規(guī)則 462
表(3.)18.6 PCTB中其他標(biāo)記的映射規(guī)則 462
表(3.)18.7 節(jié)點(diǎn)及子節(jié)點(diǎn)的標(biāo)記匹配模式 464
表(3.)18.8 轉(zhuǎn)換過程中所用的語(yǔ)跡消去過程 465
表(3.)18.9 漢語(yǔ)CCG與其他樹庫(kù)的對(duì)比 475
表(3.) 18.10 漢語(yǔ)CCG的統(tǒng)計(jì) 475
表(3.)18.11 常見原子范疇出現(xiàn)次數(shù) 475
表(3.)18.12 范疇個(gè)數(shù)最多的前十個(gè)詞語(yǔ) 476
表(3.)18.13 規(guī)則例按照類型的分布 476
表(3.)18.14 最具范疇歧義性的前50個(gè)漢語(yǔ)詞 476