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