1 自然语言处理与语言理论的研究和发展 5
1.1 理性主义和经验主义 5
1.2 概率统计和规则分析 6
1.3 自然语言处理与语法理论的研究和发展 7
1.3.1 GB理论 8
1.3.2 广义短语结构语法 10
1.3.3 词汇功能语法 11
1.3.4 系统功能语法 13
1.3.5 链语法 13
1.4 自然语言理解与Montague语义理论 14
1.4.1 国外语义学流派 14
1.4.2 Montague语义理论 17
2.1.1 推动与制约 29
2.1 计算机理解汉语需要汉语语法、语义理论的支撑 29
2 汉语研究与中文信息处理 29
2.1.2 句法关系与语义关系 31
2.1.3 形式主义与功能主义 33
2.2 汉语语法理论研究 34
2.2.1 借鉴与探索 34
2.2.2 对语法理论研究的期望 37
2.3 汉语语义理论研究 39
2.3.1 起步与发展 39
2.3.2 面向计算机处理的语义研究 39
2.3.3 对现有语义研究的思考 40
3 语义计算形式化描述 46
3.1 形式化描述例证（I） 46
3.2 形式化描述例证（II） 49
3.3.1 N1+的+N2 结构分析 59
3.3 形式化描述和逻辑语义解释 59
3.3.2 他的篮球打得好 的逻辑语义分析 61
3.3.3 他的老师当得好 与 他的老师教得好 的逻辑语义分析 65
3.4 语义计算形式化方法讨论 68
3.4.1 并行性 68
3.4.2 数学抽象 69
3.4.3 转换文法 70
3.5 虚词的形式化方法 71
4 自然语言理解的应用及中文信息处理的前景 85
4.1 自然语言理解的应用 85
4.2 中文信息处理面临的难题 88
4.3 中文信息处理项目例析 91
5.1.1 格语法 102
5.1 动词配价与论元 102
5 数学抽象与语义计算 102
5.1.2 动词配价 109
5.1.3 语义格同现 118
5.1.4 语义网络 120
5.1.5 题元、语义函数、θ理论 122
5.2 函子的定义以及函子的提取 125
5.2.1 函子的定义 125
5.2.2 函子的提取 129
5.3 缺省成分的求解 133
5.3.1 缺省成分的种类 133
5.3.2 从 管约 理论到缺省求解 135
5.3.3 空语类变元取值 136
5.3.4 缺省成分语义所指 137
5.3.5 缺省分布句型结构 138
5.3.6 求解缺省与添补 139
5.3.7 差分方法 141
5.4 句外求解函子缺省成分 142
5.4.1 情景模型 142
5.4.2 情景模型的求解 143
5.4.3 语言环境描述 144
5.4.4 信息子 147
5.4.5 上下文对照求合一代换 149
5.5 句外求解函子缺省成分（续） 152
5.5.1 VP主语句配价成分缺省求解 152
5.5.2 动词主语句与泛指性指称 155
5.5.3 存现句与任指性指称 156
5.5.4 复合句及上下文对应 157
5.6.1 存现句的结构分类特征及语义特征 163
5.6 句内求解函子缺省成分 163
5.6.2 二价动词与主语后移 177
5.6.3 重置动词及补语 179
5.6.4 紧缩句与照应 180
5.7 句内求解函子缺省成分（续） 181
5.7.1 进行 打算 类动词 181
5.7.2 递系类动词 182
5.7.3 陪同 类动词 184
5.7.4 补语结构 184
5.7.5 边动式 185
5.7.6 得 字句 186
5.7.7 得 字句中有 把 字句 187
5.7.8 策略 187
5.8 多项NP竞争价位 189
6 计算机实现系统HYLJ 201
6.1 HYLJ系统实现目标 201
6.2 形式化语法体系 201
6.2.1 复杂特征的合一与伪合一 202
6.2.2 语法规则及其实现 204
6.3 语言模型 206
6.3.1 基本概念定义 206
6.3.2 词组的句法关系类型 206
6.3.3 短语规则 207
6.3.4 歧义结构 207
6.4 系统输入形式和预处理 210
6.5 系统输出形式 210
6.6 系统功能 211
6.7 系统用户输入 212
6.8 系统组成 213
6.8.1 动词形式规范库管理模块 214
6.8.2 动词形式规范库应用接口模块 215
6.8.3 函子提取总控模块 215
6.8.4 信息库填充模块 220
6.9 动词形式规范库 221
6.9.1 动词形式规范库的组成 221
6.9.2 动词形式规范库的生成 225
6.9.3 动词形式规范库的维护 229
6.9.4 动词形式规范库的查询 229
6.10 结束语 230
参考文献 233
后记 245