現(xiàn)代漢語動詞語義計算理論

定　價：￥16.00

作　者：	靳光瑾著
出版社：	北京大學(xué)出版社
叢編項：
標(biāo)　簽：	詞義

購買這本書可以去

ISBN：	9787301049938	出版時間：	2001-07-01	包裝：	簡裝本
開本：	20cm	頁數(shù)：	244	字?jǐn)?shù)：

內(nèi)容簡介

　　漢語語義分析研究是中文信息處理提出的新挑戰(zhàn)，也是自然語言理解的關(guān)鍵難題。本書借鑒了國內(nèi)外針對這一問題提出的種種理論與方法的成功與不足之處，并充分考慮了漢語的特點，提出了“函子理論”。該理論將漢語語句轉(zhuǎn)換為高階邏輯謂詞公式這一至今無從入手的難題分解為兩步，插入了“邏輯函子”這一中介，從漢語句子生成函子，從函子生成邏輯式，使得整修語義計算成為可能。同時強(qiáng)調(diào)區(qū)分詞語的內(nèi)涵義和外延義，有效地解決了計算語言學(xué)中的不少問題，并設(shè)計了一個計算機(jī)實現(xiàn)系統(tǒng)。本書的出版，有望為中文信息處理打開了一個新的局面。<

作者簡介

暫缺《現(xiàn)代漢語動詞語義計算理論》作者簡介

圖書目錄

0 緒論
1 自然語言處理與語言理論的研究和發(fā)展
1.1 理性主義和經(jīng)驗主義
1.2 概率統(tǒng)計和規(guī)則分析
1.3 自然語言處理與語法理論的研究和發(fā)展
1.4 自然語言理解與Montague語義理論
2 漢語研究與中文信息處理
2.1 計算機(jī)理解漢語需要漢語語法、語義理論的支撐
2.2 漢語語法理論研究
2.3 漢語語義理論研究
3 語義計算形式化描述
3.1 形式化描述例證（Ⅰ）
3.2 形式化描述例證（Ⅱ）
3.3 形式化描述和邏輯語義解釋
3.4 語義計算形式化方法討論
3.5 虛詞的形式化方法
4 自然語言理解的應(yīng)用及中文信息處理的前景
4.1 自然語言理解的應(yīng)用
4.2 中文信息處理面臨的難題
4.3 中文信息處理項目例析
5 數(shù)學(xué)抽象與語義計算
5.1 動詞配價與論元
5.2 函子的定義以及函子的提取
5.3 缺省及其求解
5.4 句外求解函子缺省成分
5.5 句外求解函子缺省成分（續(xù)）
5.6 句內(nèi)求解函子缺省成分
5.7 句內(nèi)求解函子缺省成分（續(xù)）
5.8 多項NP競爭價位
6 計算機(jī)實現(xiàn)系統(tǒng)HYLJ
6.1 HYLJ系統(tǒng)實現(xiàn)目標(biāo)
6.2 形式化語法體系
6.3 語言模型
6.4 系統(tǒng)輸入形式和預(yù)處理
6.5 系統(tǒng)輸出形式
6.6 系統(tǒng)功能
6.7 系統(tǒng)用戶輸入
6.8 系統(tǒng)組成
6.9 動詞形式規(guī)范庫
6.10 結(jié)束語
參考文獻(xiàn)
后記