句式語義的形式分析與計算

序
致謝
內容提要
Abstract
第一章 引言
1.1 相關的研究現狀
1.2 研究意義和研究基礎
1.2.1 研究意義
1.2.2 研究基礎
1.3 本書的結構安排

第二章 形式語義的基本理論及其自動分析的原理
2.1 形式語義研究的基本理論思想
2.1.1 模型理論
2.1.2 規則對規則假設
2.1.3 邏輯翻譯理論
2.1.4 類型理論
2.2 Prolog語言環境下的自動分析原理
2.2.1 基於定子句語法的Prolog語言的基本概念
2.2.2 分析的策略和本書演算法的選擇

第三章 一種擴充的邏輯語義分析法
3.1 “中國需要進口鋼材”的語義分析實例
3.2 擴充的邏輯語義分析法的含義及理論內涵
3.2.1 類重設原則與邏輯謂詞原則
3.2.2 擴充的邏輯語義分析法的解釋力：可預測性
3.2.3 擴充的邏輯語義分析法的理論內涵
3.3 擴充的邏輯語義分析法的應用特點

第四章 論元控制謂詞與非論元控制謂詞的邏輯語義分析與計算
4.1 動詞後續成分問題的研究背景
4.2 句法格式的分化：我們的觀點
4.2.1 “NP1+V1（+NP2）+V2”格式小類分化的漢、英對比
4.2.2 三類動詞的統計分佈
4.3 論元控制謂詞與非論元控制謂詞
4.3.1 論元控制謂詞與非論元控制謂詞的真值語義條件
4.3.2 “讓”類謂詞的次類的語義分析
4.4 邏輯語言Lt和漢語部分語句系統Ct
4.5 Prolog語言的個案實現示例

第五章 量化旬的邏輯語義分析與計算
5.1 量化句的研究方案
5.1.1 及物動詞的類提升方案
5.1.2 動詞片語的類提升方案
5.1.3 賓語的類提升方案
5.1.4 及物動詞的類重設方案
5.1.5 我們的選擇及：Prolog語言的個案實現示例
5.2 漢語中的量詞與量化句
5.2.1 對量詞轄域歧義的初步分析
5.2.2 漢語中的存在量詞
5.2.3 漢語中的量化句和量化歧義句
5.3 量詞轄域歧義的邏輯語義分析
5.3.1 句法的單層次分析與庫柏儲存
5.3.2 庫柏儲存在Prolog語言中的實現
5.4 邏輯語言Lq和漢語部分語句系統Cq

第六章 “NP+在+處所+VP”句式的事件語義分析
6.1 研究物件和研究背景
6.2 Parsons的事件語義學
6.3 句式"NP+在+NP_loc+Vt+NP"事件語義類型的分化
6.4 Prolog語言對個案語義自動分析的實現
6.5 邏輯語言Le和漢語部分語句系統Ce

第七章 再談若干句式的事件語義分析
7.1 句式的事件語義類型
7.2 論元控制謂詞句和命題謂詞句的事件語義分析
7.3 “在+處所”句的事件語義再分析

第八章 結語
8.1 本書研究工作的小結
8.2 存在的問題和下一步研究工作的設想
參考文獻
附錄一 本書執行Prolog語言的主要演算法
附錄二 漢一英術語對照表
附錄三 問卷調查表

序
致謝
內容提要
Abstract
第一章 引言
1.1 相關的研究現狀
1.2 研究意義和研究基礎
1.2.1 研究意義
1.2.2 研究基礎
1.3 本書的結構安排

第二章 形式語義的基本理論及其自動分析的原理
2.1 形式語義研究的基本理論思想
2.1.1 模型理論
2.1.2 規則對規則假設
2.1.3 邏輯翻譯理論
2.1.4 類型理論
2.2 Prolog語言環境下的自動分析原理
2.2.1 基於定子句語法的Prolog語言的基本概念
2.2.2 分析的策略和本書演算法的選擇

第三章 一種擴充的邏輯語義分析法
3.1 “中國需要進口鋼材”的語義分析實例
3.2 擴充的邏輯語義分析法的含義及理論內涵...