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

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