|
關于我們
 書單推薦 新書推薦 |
自然語言信息處理的邏輯語義學研究 
定 價：198 元
9 7 5 8 6 7 3 0 1 3 8 0 7 讀者對象:本書適用于從事語言邏輯、形式語言學、計算語言學及人工智能研究的學者和研究生 
自然語言的邏輯語義學(簡稱邏輯語義學)是依據(jù)現(xiàn)代邏輯的思想或采用現(xiàn)代邏輯的工具研究自然語言的句法生成尤其是語義組合規(guī)律的學科，是實現(xiàn)自然語言計算機信息處理的先期工作�！禕R》 本書以漢語信息處理為導向，以現(xiàn)代漢語中的反身代詞、照應省略結構、話題句、兼語句、連動句、復雜謂詞并列結構等具有典型性的句法-語義現(xiàn)象為研究素材，展開了一系列邏輯語義學的研究，即針對漢語獨有特征的范疇類型邏輯以及組合范疇語法的研究。這些研究一方面可以充實邏輯語義學研究的理論寶庫，促進現(xiàn)代邏輯的發(fā)展；另一方面也能夠為漢語的計算機信息處理提供理論指導。通過把邏輯語義學對自然語言，尤其是對漢語形式化研究的成果應用到漢語的信息處理領域，我國計算機自然語言處理的思路將得到拓寬，效率將得到提高。
更多科學出版社服務，請掃碼獲取。 
目錄
序言（鄒崇理）／i 凡例／iii 導論 1 0.1 自然語言的邏輯語義學 1 0.2 邏輯語義學研究概述 5 0.3 本書研究內容簡述 12 參考文獻 18 第一編 邏輯語義學研究概論 1 邏輯語義學——自然語言的邏輯研究 21 1.1 作為形式符號系統(tǒng)的自然語言 21 1.2 自然語言的組合性 25 1.3 邏輯語義和自然語言語義 30 1.4 邏輯語義學的研究方向 48 2 面向自然語言信息處理的邏輯語義學 58 2.1 自然語言的計算 58 2.2 部分語句系統(tǒng)的計算思想 61 2.3 范疇語法CG的計算思想 63 2.4 句法語義并行推演的計算思想 68 2.5 結束語 71 參考文獻 72 第二編 邏輯語義學的重要理論——范疇類型邏輯CTL 第一部分 范疇類型邏輯GTL梳理 3 GTL的發(fā)展歷程 80 3.1 AB演算 80 3.2 蘭貝克的句法演算 82 3.3 蒙太格的語義分析 83 3.4 新近的發(fā)展方向 86 4 GTL的主要理論 90 4.1 傳統(tǒng)的CTL——結合的蘭貝克演算 90 4.2 多模態(tài)的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 傳統(tǒng)CTL對漢語反身代詞的研究 162 7.1 帶受限縮并規(guī)則的蘭貝克演算LLC 162 7.2 前后搜索的(Bi) LLC系統(tǒng) 171 7.3 語言學中的應用 181 8 漢語照應省略的范疇邏輯分析 183 8.1 引言 183 8.2 LLC系統(tǒng)與漢語照應省略 185 8.3 LLC系統(tǒng)與空代詞 189 8.4 LLCW'系統(tǒng) 196 8.5 LLCW' 統(tǒng)的特色及語言學檢驗 222 8.6 結束語 227 9 基于多分法的GTL 229 9.1 多分法的邏輯學依據(jù) 230 9.2 多分法的語言學依據(jù) 235 9.3 基于多分法的CTL系統(tǒng) 246 9.4 匹配入項的工作 253 9.5 結束語 256 參考文獻 258 第三編 邏輯語義學的重要應用——組合范疇語法CCG 第一部分 組織范疇語法CCG梳理 10 組合范疇語法CCG綜述 264 10.1 引言 264 10.2 AB演算的缺陷 268 10.3 原生態(tài)CCG 272 10.4 多模態(tài)CCG 285 10.5 組合范疇語法與范疇類型邏輯之聯(lián)系 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對漢語非連續(xù)結構的處理 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研究的計算機實現(xiàn)（漢語GCGbank的構建） 16 組合范疇語法的計算語言學價值 398 16.1 面向大規(guī)模自然語言處理的形式文法綜述 398 16.2 CCG適用于計算語言學的特性 402 16.3 CCG的應用 412 17 漢語CCG研究 420 17.1 范疇的構造與組合規(guī)則 420 17.2 與名詞短語相關的范疇分析 425 17.3 與動詞相關的范疇分析 428 17.4 標點與并列的范疇分析 435 17.5 句子層面的范疇分析 439 18 從賓州漢語樹庫轉漢語CCGbank 444 18.1 介紹 444 18.2 漢語CCGbank轉換系統(tǒng)的架構與設計 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 漢語賓語從句循環(huán)鑲嵌句的推演 10 圖0.3 英語句的句法語義并行推演示例 11 圖0.4 無占位代詞直接賓語提取話題句的推演 15 圖0.5 復雜主語修飾成分話題化語句的推演 15 圖0.6 復雜賓語中心成分話題化語句的推演 15 圖0.7 更多規(guī)則的應用示例 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 斜線算子的消去和引用規(guī)則 138 圖(2.)6.2 積算子的消去和引入規(guī)則 139 圖(2.)6.3 后承式的經典命題邏輯的自然演繹ND系統(tǒng)1 139 圖(2.)6.4 后承式的經典命題邏輯的自然演繹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 兩類蘊涵規(guī)則 143 圖(2.)6.11 后承式的蘭貝克演算的自然演繹ND系統(tǒng)1 143 圖(2.)6.12 后承格式的蘭貝克演算的自然演繹ND系統(tǒng)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的自然演繹系統(tǒng) 150 圖(2.)6.18 蘭貝克后承演算系統(tǒng) 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系統(tǒng) 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 使用廣義布爾合取規(guī)則直接作語句“小李走去開門”的類型邏輯分析 194 圖(2.)8.9b 使用廣義布爾合取規(guī)則作語句“媽媽送哥哥參軍”的類型邏輯分析 194 圖(2.)8.9b 引入照應假設作語句“媽媽送哥哥參軍”的類型邏輯分析 195 圖(2.)8.10 受限的強縮并結構規(guī)則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'規(guī)則的加標樹模式生成 226 圖(2.)8.17 語句“小張走去開門”使用W'規(guī)則的加標樹模式生成 226 圖(2.)8.18 語句“小李送小趙禮物了，媽媽也送了”使用W'規(guī)則的加標樹模式生成 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實現(xiàn)的主語與及物動詞毗連的推演 277 圖(3.)10.6 CCG實現(xiàn)的賓語提取結構的推演 277 圖(3.)10.7 CCG實現(xiàn)的無界依存結構的推演 278 圖(3.)10.8 CCG實現(xiàn)的右節(jié)點提升語句的推演 278 圖(3.)10.9 CCG實現(xiàn)的論元聚點并列組合推演 278 圖(3.)10.10 CCG實現(xiàn)的重成分NP移位結構的推演 279 圖(3.)10.11 CCG實現(xiàn)的非外圍提取結構的推演 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 四種模態(tài)算子層級圖 286 圖(3.)10.22 CCG推出不合語法的并列句 286 圖(3.)10.23 MMCCG阻止不合語法的并列結構的生成 287 圖(3.)10.24 模態(tài)算子層級修訂圖 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 結構模態(tài)詞允許的非外圍提取的推演 305 圖(3.)10.34 關聯(lián)規(guī)則促成的積聯(lián)結詞之間的轉換 307 圖(3.)10.35 關聯(lián)規(guī)則促成的蘊涵聯(lián)結詞之間的轉換 307 圖(3.)10.36 以非結合層面轉換到結合層面的成功推演 308 圖(3.)10.37 積聯(lián)結詞和蘊涵聯(lián)結詞的關系之證明 309 圖(3.)10.38 從非交換層面轉向交換層面的成功推演 309 圖(3.)10.39 MMCCG的復合規(guī)則>B與HCTL的結構規(guī)則RA的對應性證明 314 圖(3.)10.40 MMCCG的復合規(guī)則<B與HCTL的結構規(guī)則LA的對應性證明 315 圖(3.)10.41 MMCCG的復合規(guī)則>Bx與HCTL的結構規(guī)則RP的對應性證明 315 圖(3.)10.42 MMCCG的復合規(guī)則<Bx與HCTL的結構規(guī)則LP的對應性證明 315 圖(3.)10.43 多模態(tài)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 中心語右節(jié)點提升結構的賓州樹庫樹 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 內含聯(lián)結詞的復合名詞的賓州樹庫樹 349 圖(3.)12.3 內含聯(lián)結詞的復合名詞的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 斯蒂德曼借助分解規(guī)則對語缺結構的分析 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 針對并列關系的非組合規(guī)則圖示 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使用特殊的并列組合規(guī)則處理語缺 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 主語是數(shù)量摹狀詞的光桿形容詞謂語句的CCG分析 382 圖(3.)14.4 主語是存在名詞短語的光桿形容詞謂語句的CCG分析 382 圖(3.)14.5 主語是全稱名詞短語的光桿形容詞謂語句的CCG分析 383 圖(3.)11.6 “程度副詞十形容詞”的形容詞謂語句的CCG分析 383 圖(3.)14.7 “數(shù)量詞組十形容詞”的形容詞謂語句的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為受事且?guī)аa語的主謂謂語句的在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處理復雜的交叉依存現(xiàn)象 408 圖(3.)16.2 “我愛真理”的基于CCG的移位歸約分析示意 409 圖(3.)18.1 “中韓經貿研討會即將在北京舉行”的短語結構與組合范疇語法 444 圖(3.)18.2 漢語CCGbank轉換系統(tǒng)的框架 450 圖(3.)18.3 語料庫處理的核心流程 451 圖(3.)18.4 轉換系統(tǒng)的數(shù)據(jù)處理模塊核心類圖 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 例句在二分后的樹形展現(xiàn) 471 圖(3.)18.34 例句在賦范疇后的結果 470 圖(3.)18.35 例句在賦范疇后的樹形展示 172 圖(3.)18.36 例句在修復后的結果 470 圖(3.)18.37 例句在修復后的樹形展現(xiàn) 473 圖(3.)18.38 例句的最終CCG結果 470 圖(3.)18.39 例句轉換為CCG的樹形展示 474 表目錄 表0.1 邏輯語義學系統(tǒng)的語言構造機制特征對比 5 表0.2 詞條頻率前10名 8 表0.3 “學”的范疇 9 表0.4 匹配語義表達的CCG規(guī)則 11 表0.5 英漢空代詞使用情況對比 13 表(1.)1.1 意義與語言形式的對應 32 表(1.)1.2 語義類型 44 表(1.)1.3 英語中廣義量詞的語義類型 45 表(1.) 2.1 CCG的詞條 66 表(1.)2.2 斜線算子的模態(tài)下標 67 表(2.)3.1 范疇語法的基礎及衍生范疇 81 表(2.) 3.2 CTL系統(tǒng)的四類算子 87 表(2.)3.3 類型I和類型IV的公理 88 表(2.)5.1 蘭貝克演算及其變種 127 表(2.)6.1 子結構邏輯序列 144 表(2.)6.2 直覺主義邏輯公式對應入詞項的類型 148 表(2.)6.3 直覺主義邏輯自然演繹規(guī)則對應類型化入演算項規(guī)則 148 表(2.)7.1 邏輯系統(tǒng)與結構規(guī)則對照表 162 表(2.)8.1 英漢空代詞使用對比 190 表(3.)10.1 四種模態(tài)算子的定義 285 表(3.)10.2 多模戀組合范疇語法與范疇類型邏輯系統(tǒng)對比圖 302 表(3.)10.3 子結構邏輯系統(tǒng) 303 表(3.)10.4 蘭貝克演算的聯(lián)結詞 306 表(3.)11.1 具有詞匯范疇最多的20個詞例 341 表(3.)11.2 詞匯范疇的頻率分布（02～21節(jié)） 342 表(3.)11.3 CCGbank中出現(xiàn)頻率最高的20個規(guī)則例示（02～21節(jié)） 342 表(3.)11.4 CCGbank中規(guī)則頻率的分布(02～21節(jié)) 343 表(3.)11.5基于人工標注測試語料的評價結果 348 表(3.)13.1兩種非連續(xù)結構的比較 370 表(3.)16.1文法形式化與計算復雜性的關聯(lián) 405 表(3.)16.2 CCG中范疇與語義規(guī)則嚴格對應 410 表(3.)16.3 常用的CCG軟件 414 表(3.) 16.4 OpenCCG中xml語義標簽一覽表 415 表(3.)17.1 漢語CCG的規(guī)則 421 表(3.)17.2 漢語的基本動詞類 424 表(3.)17.3 與漢語名詞短語相關的原子范疇 428 表(3.)17.4 與漢語名詞相關的形容詞、數(shù)詞的范疇指派 428 表(3.)17.5 與漢語名詞短語相關的補充規(guī)則 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節(jié)點增加的標記 459 表(3.) 18.3 一元投射的模式表 461 表(3.)18.4 漢語中的成對符號表 462 表(3.) 18.5 PCTB中根節(jié)點的映射規(guī)則 462 表(3.)18.6 PCTB中其他標記的映射規(guī)則 462 表(3.)18.7 節(jié)點及子節(jié)點的標記匹配模式 464 表(3.)18.8 轉換過程中所用的語跡消去過程 465 表(3.)18.9 漢語CCG與其他樹庫的對比 475 表(3.) 18.10 漢語CCG的統(tǒng)計 475 表(3.)18.11 常見原子范疇出現(xiàn)次數(shù) 475 表(3.)18.12 范疇個數(shù)最多的前十個詞語 476 表(3.)18.13 規(guī)則例按照類型的分布 476 表(3.)18.14 最具范疇歧義性的前50個漢語詞 476
你還可能感興趣
我要評論
|
