序言（鄒崇理）／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
· · · · · · (收起)