|
關(guān)于我們
 書單推薦 新書推薦 |
自然語言信息處理的邏輯語義學(xué)研究 
定 價：198 元
9 7 5 8 6 7 3 0 1 3 8 0 7 讀者對象:本書適用于從事語言邏輯、形式語言學(xué)、計算語言學(xué)及人工智能研究的學(xué)者和研究生 
自然語言的邏輯語義學(xué)(簡稱邏輯語義學(xué))是依據(jù)現(xiàn)代邏輯的思想或采用現(xiàn)代邏輯的工具研究自然語言的句法生成尤其是語義組合規(guī)律的學(xué)科，是實現(xiàn)自然語言計算機(jī)信息處理的先期工作。《BR》 本書以漢語信息處理為導(dǎo)向，以現(xiàn)代漢語中的反身代詞、照應(yīng)省略結(jié)構(gòu)、話題句、兼語句、連動句、復(fù)雜謂詞并列結(jié)構(gòu)等具有典型性的句法-語義現(xiàn)象為研究素材，展開了一系列邏輯語義學(xué)的研究，即針對漢語獨有特征的范疇類型邏輯以及組合范疇語法的研究。這些研究一方面可以充實邏輯語義學(xué)研究的理論寶庫，促進(jìn)現(xiàn)代邏輯的發(fā)展；另一方面也能夠為漢語的計算機(jī)信息處理提供理論指導(dǎo)。通過把邏輯語義學(xué)對自然語言，尤其是對漢語形式化研究的成果應(yīng)用到漢語的信息處理領(lǐng)域，我國計算機(jī)自然語言處理的思路將得到拓寬，效率將得到提高。
更多科學(xué)出版社服務(wù)，請掃碼獲取。 
目錄
序言（鄒崇理）／i 凡例／iii 導(dǎo)論 1 0.1 自然語言的邏輯語義學(xué) 1 0.2 邏輯語義學(xué)研究概述 5 0.3 本書研究內(nèi)容簡述 12 參考文獻(xiàn) 18 第一編 邏輯語義學(xué)研究概論 1 邏輯語義學(xué)——自然語言的邏輯研究 21 1.1 作為形式符號系統(tǒng)的自然語言 21 1.2 自然語言的組合性 25 1.3 邏輯語義和自然語言語義 30 1.4 邏輯語義學(xué)的研究方向 48 2 面向自然語言信息處理的邏輯語義學(xué) 58 2.1 自然語言的計算 58 2.2 部分語句系統(tǒng)的計算思想 61 2.3 范疇語法CG的計算思想 63 2.4 句法語義并行推演的計算思想 68 2.5 結(jié)束語 71 參考文獻(xiàn) 72 第二編 邏輯語義學(xué)的重要理論——范疇類型邏輯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——結(jié)合的蘭貝克演算 90 4.2 多模態(tài)的CTL 99 4.3 對稱范疇語法 102 5 GTL的其他分支 123 5.1 完全的蘭貝克演算 123 5.2 加一元算子的CTL 132 5.3 準(zhǔn)群語法與抽象的CTL 134 6 GTL的類型語義學(xué)：蘭貝克演算匹配λ詞項 138 6.1 從經(jīng)典命題邏輯到蘭貝克演算 138 6.2 入演算 144 6.3 哈里-霍華德對應(yīng) 147 6.4 匹配入詞項的蘭貝克演算樹模式ND表述 159 第二部分 范疇類型邏輯GTL應(yīng)用于漢語的研究 7 傳統(tǒng)CTL對漢語反身代詞的研究 162 7.1 帶受限縮并規(guī)則的蘭貝克演算LLC 162 7.2 前后搜索的(Bi) LLC系統(tǒng) 171 7.3 語言學(xué)中的應(yīng)用 181 8 漢語照應(yīng)省略的范疇邏輯分析 183 8.1 引言 183 8.2 LLC系統(tǒng)與漢語照應(yīng)省略 185 8.3 LLC系統(tǒng)與空代詞 189 8.4 LLCW'系統(tǒng) 196 8.5 LLCW' 統(tǒng)的特色及語言學(xué)檢驗 222 8.6 結(jié)束語 227 9 基于多分法的GTL 229 9.1 多分法的邏輯學(xué)依據(jù) 230 9.2 多分法的語言學(xué)依據(jù) 235 9.3 基于多分法的CTL系統(tǒng) 246 9.4 匹配入項的工作 253 9.5 結(jié)束語 256 參考文獻(xiàn) 258 第三編 邏輯語義學(xué)的重要應(yīng)用——組合范疇語法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的計算語言學(xué)價值與CCG樹庫 317 11.1 CCG的計算語言學(xué)價值 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ù)結(jié)構(gòu)的處理 367 13.1概述 367 13.2 CCG對漢語NCC結(jié)構(gòu)的處理 371 13.3 CCG對漢語話題句的處理 374 13.4 漢語連動句和復(fù)雜謂詞并列結(jié)構(gòu)的處理嘗試 378 14 組合范疇語法對漢語形容詞謂語句的處理 381 14.1 漢語形容詞謂語句的定義和分類 38l 14.2 漢語光桿形容詞謂語句的組合范疇語法分析 381 14.3 漢語復(fù)雜形容詞謂語句的組合范疇語法分析 383 15 組合范疇語法對漢語主謂謂語句的處理 389 15.1 漢語主謂謂語句的語法結(jié)構(gòu)及語法特征 389 15.2 漢語主謂謂語句的組合范疇語法分析 389 第三部分 漢語GGG研究的計算機(jī)實現(xiàn)（漢語GCGbank的構(gòu)建） 16 組合范疇語法的計算語言學(xué)價值 398 16.1 面向大規(guī)模自然語言處理的形式文法綜述 398 16.2 CCG適用于計算語言學(xué)的特性 402 16.3 CCG的應(yīng)用 412 17 漢語CCG研究 420 17.1 范疇的構(gòu)造與組合規(guī)則 420 17.2 與名詞短語相關(guān)的范疇分析 425 17.3 與動詞相關(guān)的范疇分析 428 17.4 標(biāo)點與并列的范疇分析 435 17.5 句子層面的范疇分析 439 18 從賓州漢語樹庫轉(zhuǎn)漢語CCGbank 444 18.1 介紹 444 18.2 漢語CCGbank轉(zhuǎn)換系統(tǒng)的架構(gòu)與設(shè)計 450 18.3 漢語CCGbank核心轉(zhuǎn)換算法 457 18.4 漢語CCGbank的鯇計與分析 475 參考文獻(xiàn) 478 附錄1 賓州漢語樹庫( PGTB)的標(biāo)簽集 485 A1.1 詞性標(biāo)簽Part Of Speech tags (33) 485 A1.2 句法標(biāo)記(23) 486 附錄2 “的”在漢語CCGbank中的范疇 488 漢英術(shù)語、人名對照表 491 圖目錄 圖0.1 >B的推出過程 10 圖0.2 漢語賓語從句循環(huán)鑲嵌句的推演 10 圖0.3 英語句的句法語義并行推演示例 11 圖0.4 無占位代詞直接賓語提取話題句的推演 15 圖0.5 復(fù)雜主語修飾成分話題化語句的推演 15 圖0.6 復(fù)雜賓語中心成分話題化語句的推演 15 圖0.7 更多規(guī)則的應(yīng)用示例 16 圖(1.)1.1 自然語言的整體構(gòu)造 22 圖(1.)1.2 語詞的語義三角 32 圖(1.)1.3 抽象語句的語義三角 32 圖(1.)1.4 語言交際的不同層次 34 圖(1.)1.5 抽象語句的語義關(guān)系 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 句子“我喜歡邏輯語義學(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 語句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 框架的結(jié)合性 91 圖(2.)4.2 范疇與語義類型的對應(yīng) 118 圖(2.)4.3 NL和LG的句法語義對應(yīng) 120 圖(2.)4.4 CPS翻譯圖示 121 圖(2.)5.1 語句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 對合敢的p范式化 149 圖(2.)6.14 對合取的77范式化 149 圖(2.)6.15 對蘊(yùn)涵的p范式化 149 圖(2.)6.16 對蘊(yùn)涵的77范式化 149 圖(2.)6.17 加標(biāo)的蘭貝克演算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的有語義標(biāo)記的樹模式ND推演 159 圖(2.)6.34 The cat slept的有語義標(biāo)記的樹模式ND推演 159 圖(2.)6.35 John loves himself的有語義標(biāo)記的樹模式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 “張三喜歡李麗”標(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é)合律作語句“小趙送小明禮物了，媽媽也送了”的類型邏輯生成 192 圖(2.)8.7b 引入普通假設(shè)為語句“小趙送小明禮物了，媽媽也送了”作類型邏輯生成的第一種嘗試 192 圖(2.)8.7c 引入普通假設(shè)為語句“小趙送小明禮物了，媽媽也送了”作類型邏輯生成的第二種嘗試 193 圖(2.)8.8 引入照應(yīng)假設(shè)為語句“小趙送小明禮物了，媽媽也送了”作類型邏輯生成的嘗試 193 圖(2.)8.9a 使用廣義布爾合取規(guī)則直接作語句“小李走去開門”的類型邏輯分析 194 圖(2.)8.9b 使用廣義布爾合取規(guī)則作語句“媽媽送哥哥參軍”的類型邏輯分析 194 圖(2.)8.9b 引入照應(yīng)假設(shè)作語句“媽媽送哥哥參軍”的類型邏輯分析 195 圖(2.)8.10 受限的強(qiáng)縮并結(jié)構(gòu)規(guī)則W 197 圖(2.)8.11 “媽媽送哥哥參軍”的推演 200 圖(2.)8.12 語句“小明不應(yīng)該來，小趙也是”的加標(biāo)樹模式生成 223 圖(2.)8.13 John loves himself在LLCW'和LLC下的分析 223 圖(2.)8.14 “張三。認(rèn)為李四，知道李麗。喜歡他�！钡念愋瓦壿嬌� 224 圖(2.)8.15 語句“張三說e看見李四了”的類型邏輯語法生成圖 225 圖(2.)8.16 語句“媽媽送哥哥參軍”使用W'規(guī)則的加標(biāo)樹模式生成 226 圖(2.)8.17 語句“小張走去開門”使用W'規(guī)則的加標(biāo)樹模式生成 226 圖(2.)8.18 語句“小李送小趙禮物了，媽媽也送了”使用W'規(guī)則的加標(biāo)樹模式生成 227 圖(2.)9.1 合取復(fù)合公式的形成圖 230 圖(2.)9.2 多分法與二分法的對比圖 230 圖(2.)9.3 <1，1>類型量詞公式的形成圖 232 圖(2.)9.4 Five more… than...，…的生成結(jié)構(gòu) 232 圖(2.)9.5 語句9.3的句法分析樹 235 圖(2.)9.6 語句9.3的語義翻譯樹 235 圖(2.)9.7 語旬John wrote a letter in the room的格語法底層結(jié)構(gòu)圖 236 圖(2.)9.8 語句John wrote a letter in the room的語義結(jié)構(gòu)圖 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對應(yīng)的語義翻譯 238 圖(2.)9.13 語句“張三在餐館用刀叉吃牛排”的格語法句法分析 242 圖(2.)9.14 語句“張三在餐館用刀叉吃牛排”的格語法多分法語義分析 242 圖(2.)9.15 “送李四書”的句法多分分析和兩分分析 243 圖(2.)9.16 語句“張三正在干著活”的句法生成 243 圖(2.)9.17 語句“張三正在干著活”的語義生成 244 圖(2.)9.18 清華樹庫中轉(zhuǎn)換CCG的例句句法分析樹 244 圖(2.)9.19 語句“上海在北京和廣州中間”的多分句法分析樹 245 圖(2.)9.20 語句“鑰匙在桌子上的盒子里”的多分句法分析樹 245 圖(2.)9.21 清華樹庫中轉(zhuǎn)換CCG的例句“這種反映論把認(rèn)識歸結(jié)為一種直觀” 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 關(guān)系從句的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非對稱并列結(jié)構(gòu)的范疇語法分析 275 圖(3.)10.5 CCG實現(xiàn)的主語與及物動詞毗連的推演 277 圖(3.)10.6 CCG實現(xiàn)的賓語提取結(jié)構(gòu)的推演 277 圖(3.)10.7 CCG實現(xiàn)的無界依存結(jié)構(gòu)的推演 278 圖(3.)10.8 CCG實現(xiàn)的右節(jié)點提升語句的推演 278 圖(3.)10.9 CCG實現(xiàn)的論元聚點并列組合推演 278 圖(3.)10.10 CCG實現(xiàn)的重成分NP移位結(jié)構(gòu)的推演 279 圖(3.)10.11 CCG實現(xiàn)的非外圍提取結(jié)構(gòu)的推演 279 圖(3.)10.12 CCG處理離合詞結(jié)構(gòu)推演 279 圖(3.)10.13 CCG處理寄生語缺結(jié)構(gòu)的推演 281 圖(3.)10.14 CCG處理寄生語缺結(jié)構(gòu)的推演 281 圖(3.)10.15 CCG推出不合語法的并列句 283 圖(3.)10.16 CCG推出不合語法的移位句 283 圖(3.)10.17 CCG推出不合語法的雙重關(guān)系句 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阻止不合語法的并列結(jié)構(gòu)的生成 287 圖(3.)10.24 模態(tài)算子層級修訂圖 288 圖(3.)10.25 MMCCG阻止非法移位句的推演 289 圖(3.)10.26 MMCCG阻止非法雙重關(guān)系句的推演 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對賓語提取表達(dá)式的分析 292 圖(3.)10.32不合語法的句子推演失敗 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的對應(yīng)性證明 314 圖(3.)10.40 MMCCG的復(fù)合規(guī)則<B與HCTL的結(jié)構(gòu)規(guī)則LA的對應(yīng)性證明 315 圖(3.)10.41 MMCCG的復(fù)合規(guī)則>Bx與HCTL的結(jié)構(gòu)規(guī)則RP的對應(yīng)性證明 315 圖(3.)10.42 MMCCG的復(fù)合規(guī)則<Bx與HCTL的結(jié)構(gòu)規(guī)則LP的對應(yīng)性證明 315 圖(3.)10.43 多模態(tài)CCG對自然語言的分析 315 圖(3.)10.44 HCTL對自然語言的分析 315 圖(3.)11.1 賓州樹庫樹例示 322 圖(3.)11.2 確定成分類型 322 圖(3.)11.3 構(gòu)造二叉樹 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結(jié)構(gòu)的賓州樹庫樹 328 圖(3.)11.15 修改后的所有格’s結(jié)構(gòu)的賓州樹庫樹 328 圖(3.)11.16 所有格’s結(jié)構(gòu)的CCG樹庫樹 328 圖(3.)11.17 并列關(guān)系結(jié)構(gòu)的CCG樹庫樹模式 328 圖(3.)11.18 UCP結(jié)構(gòu)的賓州樹庫樹 329 圖(3.)11.19 UCP結(jié)構(gòu)的CCG樹庫樹 329 圖(3.)11.20 同位語移位結(jié)構(gòu)的賓州樹庫樹 330 圖(3.)11.21 修改后的同位語移位結(jié)構(gòu)的賓州樹庫樹 330 網(wǎng)(3.)11.22 同位語移位結(jié)構(gòu)的CCGbank樹 330 圖(3.)11.23 小句輔助成分的CCG樹庫樹 330 圖(3.)11.2.4 關(guān)系從句的賓州樹庫樹 331 圖(3.)11.25 使用成分類型標(biāo)注的關(guān)系從句的二叉樹 332 圖(3.)11.26 補(bǔ)語語跡彌散的關(guān)系從句樹庫樹 332 圖(3.)11.27 給樹庫樹進(jìn)行范疇指派的分解步驟 333 圖(3.)11.28 給樹庫樹進(jìn)行范疇指派的分解步驟二 333 圖(3.)11.29 給樹庫樹進(jìn)行范疇指派的分解步驟三 333 圖(3.)11.30 給樹庫樹進(jìn)行范疇指派的分解步驟四 333 圖(3.)11.31 關(guān)系從句的CCG樹庫樹 334 圖(3.)11.32 wh疑問句的賓州樹庫樹 334 圖(3.)11.33 wh疑問句的CCG樹庫樹 334 圖(3.)11.34 tough類形容詞移位結(jié)構(gòu)的賓州樹庫樹 335 圖(3.)11.35 tough類形容詞移位結(jié)構(gòu)的CCG樹庫樹 335 圖(3.)11.36 名詞短語話題化賓州樹庫樹 335 圖(3.)11.37 名詞短語話題化CCG樹庫樹 336 圖(3.)11.38 焦點為名詞的分裂結(jié)構(gòu)的賓州樹庫樹 336 圖(3.)11.39 焦點為名詞的分裂結(jié)構(gòu)的CCG樹庫樹 336 圖(3.)11.40 焦點為副詞的分裂結(jié)構(gòu)的賓州樹庫樹 336 圖(3.)11.111 焦點為副詞的分裂結(jié)構(gòu)的CCG樹庫樹 337 圖(3.)11.42 中心語右節(jié)點提升結(jié)構(gòu)的賓州樹庫樹 337 圖(3.)11.43 把圖(3.)11.42轉(zhuǎn)換成CCG樹庫樹的分解步驟 337 圖(3.)11.44 把圖(3.)11.42轉(zhuǎn)換成CCG樹庫樹的分解步驟二 338 圖(3.)11.45 把圖(3.)11.42轉(zhuǎn)換成CCG樹庫樹的分解步驟三 338 圖(3.)11.46 論元聚點并列組合結(jié)構(gòu)的賓州樹庫樹 338 圖(3.)11.47 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫樹的分解步驟 339 圖(3.)11.48 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫樹的分解步驟二 339 圖(3.)11.49 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫樹的分解步驟三 339 圖(3.)11.50 把圖(3.)11.46轉(zhuǎn)換咸CCG樹庫樹的分解步驟四 340 圖(3.)11.51 把圖(3.)11.46轉(zhuǎn)換成CCG樹庫樹的分解步驟五 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ù)合名詞的賓州樹庫樹..349 圖(3.)12.2 內(nèi)含聯(lián)結(jié)詞的復(fù)合名詞的賓州樹庫樹 349 圖(3.)12.3 內(nèi)含聯(lián)結(jié)詞的復(fù)合名詞的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移位結(jié)構(gòu)的賓州樹庫樹 352 圖(3.)12.11 CCG對重型NP移位句中的to PP的分析 352 圖(3.)12.12 CCG對話題成分NP的分析 352 圖(3.)12.13 UCP作論元的并列關(guān)系結(jié)構(gòu)的賓州樹庫樹 352 圖(3.)12.14 UCP作論元的并列關(guān)系結(jié)構(gòu)的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 語缺結(jié)構(gòu)的賓州樹庫樹 355 圖(3.)12.23 斯蒂德曼借助分解規(guī)則對語缺結(jié)構(gòu)的分析 355 圖(3.)12.24 CCG對語缺結(jié)構(gòu)的分析 356 圖(3.)12.25 CCG對作輔助成分的謂詞的分析 356 圖(3.)12.26 起條件作用的倒裝句的賓州樹庫樹 357 圖(3.)12.27 CCG對起條件作用的倒裝句的分析 358 圖(3.)12.28 from-PP… to-PP結(jié)構(gòu)的賓州樹庫樹 358 圖(3.)12.29 被動句的賓州樹庫樹 360 圖(3.)12.30 動詞提前語句的賓州樹庫樹 360 圖(3.)12.31 CCG財動詞提前語句的分析 360 圖(3.)12.32 針對并列關(guān)系的非組合規(guī)則圖示 361 圖(3.)12.33 CCG對并列關(guān)系的處理 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對復(fù)合名詞的處理 364 圖(3.)12.39 CCG對UCP的處理 364 圖(3.)12.40 CCG使用特殊的并列組合規(guī)則處理語缺 364 圖(3.)12.41 周強(qiáng)對賓語前置句的分析圖 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 復(fù)雜主語修飾成分話題化語句的推演 377 圖(3.)13.14 復(fù)雜賓語修飾成分話題化語句的推演 378 圖(3.)13.15 復(fù)雜主語中心成分話題化語句的推演 378 圖(3.)13.16 語句“手機(jī)我喜歡用華為的”的推演 378 圖(3.)13.17 連動句的生成模式 379 圖(3.)13.18 復(fù)雜謂詞并列結(jié)構(gòu)句推理 380 圖(3.)13.19 復(fù)雜謂詞并列結(jié)構(gòu)句推理二 380 圖(3.)14.1 主語是專名的光桿形容詞謂語句的CCG分析 382 圖(3.)14.2 主語是限定摹狀調(diào)的光桿形容詞謂語句的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對“形容詞十補(bǔ)語”的形容詞謂語句的邏輯生成圖 385 圖(3.) 14.11 CCG對“形容詞十補(bǔ)語”的形容詞謂語句的邏輯生成圖 385 圖(3.)14.12 “李四高興得不得了”的CCG分析 386 圖(3.)14.13 加“得”的形補(bǔ)謂語句的CCG分析 386 圖(3.)14.14 加“得”的形補(bǔ)謂語句的CCG分析 386 圖(3.)14.15 形容詞短語作補(bǔ)語的形補(bǔ)謂語句的CCG分折 387 圖(3.)14.16 動詞短語作補(bǔ)語的形補(bǔ)謂語句的CCG分析 387 圖(3.)14.17 動詞短語作補(bǔ)語的形補(bǔ)謂語句的CCGI分析 387 圖(3.)14.18 小句作補(bǔ)語的形補(bǔ)謂語句的CCG1分析 388 圖(3.)15.1 S1和S2是領(lǐng)屬關(guān)系的主謂謂語句在CCG中的邏輯生成圖 390 圖(3.)15.2 S1為受事、S2為施事的主謂謂語句在CCG中的邏輯生成圖 391 圖(3.)15.3 S1為施事、S2為受事的主謂謂語句在CCG中的邏輯生成圖 391 圖(3.)15.4 S1為施事、S2為受事且?guī)аa(bǔ)語的主謂謂語句的在CCG中的生成圖 392 圖(3.)15.5 P的受事與S1構(gòu)成復(fù)指關(guān)系的主謂謂語句在CCG中的生成圖 392 圖(3.)15.6謂語是主謂短語的主謂謂語句在CCG中的邏輯生成圖 393 圖(3.)15.7 S1是時間詞語的主謂謂語句在CCG中的邏輯生成圖 394 圖(3.)15.8 S1是P的工具的主謂謂語句在CCG中的邏輯生成圖 394 圖(3.)15.9謂語是計量關(guān)系的主謂謂語句在CCG中的邏輯生成圖 395 圖(3.)15.10 S1是謂語部分的關(guān)涉對象的主謂謂語句在CCG中生成圖 396 圖(3.)16.1 CCG處理復(fù)雜的交叉依存現(xiàn)象 408 圖(3.)16.2 “我愛真理”的基于CCG的移位歸約分析示意 409 圖(3.)18.1 “中韓經(jīng)貿(mào)研討會即將在北京舉行”的短語結(jié)構(gòu)與組合范疇語法 444 圖(3.)18.2 漢語CCGbank轉(zhuǎn)換系統(tǒng)的框架 450 圖(3.)18.3 語料庫處理的核心流程 451 圖(3.)18.4 轉(zhuǎn)換系統(tǒng)的數(shù)據(jù)處理模塊核心類圖 452 圖(3.)18.5 語料庫讀取的基類 452 圖(3.)18.6 短語結(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 漢語CCGbank轉(zhuǎn)換算法管道 457 圖(3.)18.15 預(yù)處理階段算法 458 圖(3.)18.16 PCTB中中綴粘合生成圖 458 圖(3.)18.17 光桿動詞并列 458 圖(3.)18.18 外國人名的預(yù)處理 459 圖(3.)18.19 從詞標(biāo)記到短語標(biāo)記的一元投射 461 圖(3.)18.20 標(biāo)點的二分處理 161 圖(3.)18.21 成對符號的提升 462 圖(3.)18.22 賦范疇算法 463 圖(3.)18.23 語跡消去算法 464 圖(3.)18.24 “喝啤酒的人”范疇解析 465 圖(3.)18.25 “被逮捕的犯人”范疇解析 165 圖(3.)18.26 范疇修復(fù)的算法流程圖 466 圖(3.)18.27 使用類型提升進(jìn)行范疇修復(fù)的舉例 467 圖(3.)18.28 泛化修飾語范疇算法 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 邏輯語義學(xué)系統(tǒng)的語言構(gòu)造機(jī)制特征對比 5 表0.2 詞條頻率前10名 8 表0.3 “學(xué)”的范疇 9 表0.4 匹配語義表達(dá)的CCG規(guī)則 11 表0.5 英漢空代詞使用情況對比 13 表(1.)1.1 意義與語言形式的對應(yīng) 32 表(1.)1.2 語義類型 44 表(1.)1.3 英語中廣義量詞的語義類型 45 表(1.) 2.1 CCG的詞條 66 表(1.)2.2 斜線算子的模態(tài)下標(biāo) 67 表(2.)3.1 范疇語法的基礎(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 直覺主義邏輯公式對應(yīng)入詞項的類型 148 表(2.)6.3 直覺主義邏輯自然演繹規(guī)則對應(yīng)類型化入演算項規(guī)則 148 表(2.)7.1 邏輯系統(tǒng)與結(jié)構(gòu)規(guī)則對照表 162 表(2.)8.1 英漢空代詞使用對比 190 表(3.)10.1 四種模態(tài)算子的定義 285 表(3.)10.2 多模戀組合范疇語法與范疇類型邏輯系統(tǒng)對比圖 302 表(3.)10.3 子結(jié)構(gòu)邏輯系統(tǒng) 303 表(3.)10.4 蘭貝克演算的聯(lián)結(jié)詞 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基于人工標(biāo)注測試語料的評價結(jié)果 348 表(3.)13.1兩種非連續(xù)結(jié)構(gòu)的比較 370 表(3.)16.1文法形式化與計算復(fù)雜性的關(guān)聯(lián) 405 表(3.)16.2 CCG中范疇與語義規(guī)則嚴(yán)格對應(yīng) 410 表(3.)16.3 常用的CCG軟件 414 表(3.) 16.4 OpenCCG中xml語義標(biāo)簽一覽表 415 表(3.)17.1 漢語CCG的規(guī)則 421 表(3.)17.2 漢語的基本動詞類 424 表(3.)17.3 與漢語名詞短語相關(guān)的原子范疇 428 表(3.)17.4 與漢語名詞相關(guān)的形容詞、數(shù)詞的范疇指派 428 表(3.)17.5 與漢語名詞短語相關(guān)的補(bǔ)充規(guī)則 428 表(3.)17.6 動詞復(fù)合策略 430 表(3.)17.7 漢語中主要的并列詞及并列項類型 435 表(3.)17.8 漢語中候選的吸收范疇 438 表(3.)17.9 關(guān)系從句的構(gòu)造 442 表(3.)18.1 通過CCG分析過的語言片段 449 表(3.)18.2 為PCTB節(jié)點增加的標(biāo)記 459 表(3.) 18.3 一元投射的模式表 461 表(3.)18.4 漢語中的成對符號表 462 表(3.) 18.5 PCTB中根節(jié)點的映射規(guī)則 462 表(3.)18.6 PCTB中其他標(biāo)記的映射規(guī)則 462 表(3.)18.7 節(jié)點及子節(jié)點的標(biāo)記匹配模式 464 表(3.)18.8 轉(zhuǎn)換過程中所用的語跡消去過程 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
你還可能感興趣
我要評論
|
