第一章 引言 1
1.1 相关的研究现状 1
1.2 研究意义和研究基础 7
1.2.1 研究意义 7
1.2.2 研究基础 9
1.3 本书的结构安排 11
第二章 形式语义的基本理论及其自动分析的原理 13
2.1 形式语义研究的基本理论思想 13
2.1.1 模型理论 13
2.1.2 规则对规则假设 15
2.1.3 逻辑翻译理论 17
2.1.4 类型理论 19
2.2 Prolog语言环境下的自动分析原理 20
2.2.1 基于定子句语法的Prolog语言的基本概念 20
2.2.2 分析的策略和本书算法的选择 23
第三章 一种扩充的逻辑语义分析法 28
3.1 “中国需要进口钢材”的语义分析实例 28
3.2 扩充的逻辑语义分析法的含义及理论内涵 31
3.2.1 类重设原则与逻辑谓词原则 31
3.2.2 扩充的逻辑语义分析法的解释力：可预测性 37
3.2.3 扩充的逻辑语义分析法的理论内涵 39
3.3 扩充的逻辑语义分析法的应用特点 41
第四章 论元控制谓词与非论元控制谓词的逻辑语义分析与计算 49
4.1 动词后续成分问题的研究背景 49
4.2 句法格式的分化：我们的观点 53
4.2.1 “NP1+V1(+NP2)+V2”格式小类分化的汉、英对比 53
4.2.2 三类动词的统计分布 57
4.3 论元控制谓词与非论元控制谓词 60
4.3.1 论元控制谓词与非论元控制谓词的真值语义条件 60
4.3.2 “让”类谓词的次类的语义分析 64
4.4 逻辑语言Lt和汉语部分语句系统Ct 68
4.5 Prolog语言的个案实现示例 71
第五章 量化句的逻辑语义分析与计算 78
5.1 量化句的研究方案 78
5.1.1 及物动词的类提升方案 80
5.1.2 动词词组的类提升方案 82
5.1.3 宾语的类提升方案 84
5.1.4 及物动词的类重设方案 85
5.1.5 我们的选择及Prolog语言的个案实现示例 88
5.2 汉语中的量词与量化句 91
5.2.1 对量词辖域歧义的初步分析 91
5.2.2 汉语中的存在量词 94
5.2.3 汉语中的量化句和量化歧义句 99
5.3 量词辖域歧义的逻辑语义分析 110
5.3.1 句法的单层次分析与库柏储存 110
5.3.2 库柏储存在Prolog语言中的实现 112
5.4 逻辑语言Lq和汉语部分语句系统Cq 118
第六章 “NP＋在＋处所＋VP”句式的事件语义分析 121
6.1 研究对象和研究背景 121
6.2 Parsons的事件语义学 128
6.3 句式“NP＋在＋NP_loc＋Vt＋NP”事件语义类型的分化 134
6.4 Prolog语言对个案语义自动分析的实现 142
6.5 逻辑语言Le和汉语部分语句系统Ce 147
第七章 再谈若干句式的事件语义分析 149
7.1 句式的事件语义类型 149
7.2 论元控制谓词句和命题谓词句的事件语义分析 156
7.3 “在＋处所”句的事件语义再分析 167
第八章 结语 172
8.1 本书研究工作的小结 172
8.2 存在的问题和下一步研究工作的设想 173
参考文献 177
附录一 本书执行Prolog语言的主要算法 195
附录二 汉-英术语对照表 199
附录三 问卷调查表 211