| 致谢 | 第1-9页 |
| 中文内容提要 | 第9-11页 |
| 英文内容提要 | 第11-14页 |
| 第一章 引言 | 第14-24页 |
| ·相关的研究现状 | 第14-19页 |
| ·研究意义和研究基础 | 第19-22页 |
| ·研究意义 | 第19-21页 |
| ·研究基础 | 第21-22页 |
| ·本文的结构安排 | 第22-24页 |
| 第二章 形式语义的基本理论及其自动分析的原理 | 第24-38页 |
| ·形式语义研究的基本理论思想 | 第24-30页 |
| ·模型理论 | 第24-26页 |
| ·规则对规则假设 | 第26-27页 |
| ·逻辑翻译理论 | 第27-29页 |
| ·类型理论 | 第29-30页 |
| ·Prolog语言环境下的自动分析原理 | 第30-38页 |
| ·基于定子句语法的Prolog语言的基本概念 | 第30-33页 |
| ·分析的策略和本文算法的选择 | 第33-38页 |
| 第三章 一种扩充的逻辑语义分析法 | 第38-56页 |
| ·“中国需要进口钢材”的语义分析实例 | 第38-40页 |
| ·扩充的逻辑语义分析法的含义及理论内涵 | 第40-50页 |
| ·类重设原则与逻辑谓词原则 | 第40-46页 |
| ·扩充的逻辑语义分析法的解释力：可预测性 | 第46-48页 |
| ·扩充的逻辑语义分析法的理论内涵 | 第48-50页 |
| ·扩充的逻辑语义分析法的应用特点 | 第50-56页 |
| 第四章 论元控制谓词与非论元控制谓词的逻辑语义分析与计算 | 第56-84页 |
| ·动词后续成分问题的研究背景 | 第56-59页 |
| ·句法格式的分化：我们的观点 | 第59-66页 |
| ·“NP_1＋V_1(＋NP_2)十V_2”格式小类分化的汉、英对比 | 第59-64页 |
| ·三类动词的统计分布 | 第64-66页 |
| ·论元控制谓词与非论元控制谓词 | 第66-74页 |
| ·论元控制谓词与非论元控制谓词的真值语义条件 | 第66-70页 |
| ·“让”类谓词的次类的语义分析 | 第70-74页 |
| ·逻辑语言L_t和汉语部分语法系统C_t | 第74-77页 |
| ·Prolog语言的个案实现示例 | 第77-84页 |
| 第五章 量化句的逻辑语义分析与计算 | 第84-121页 |
| ·量化句的研究方案 | 第84-96页 |
| ·及物动词的类提升方案 | 第86-87页 |
| ·动词词组的类提升方案 | 第87-89页 |
| ·宾语的类提升方案 | 第89-91页 |
| ·及物动词的类重设方案 | 第91-93页 |
| ·我们的选择及Prolog语言的个案实现示例 | 第93-96页 |
| ·汉语中的量词与量化句 | 第96-112页 |
| ·对量词辖域的初步分析 | 第96-100页 |
| ·汉语中的存在量词 | 第100-104页 |
| ·汉语中的量化句和量化歧义句 | 第104-112页 |
| ·量词辖域歧义的逻辑语义分析 | 第112-119页 |
| ·句法的单层次分析与库柏储存 | 第112-114页 |
| ·库柏储存在Prolog语言中的实现 | 第114-119页 |
| ·逻辑语言L_q和汉语部分语法系统C_q | 第119-121页 |
| 第六章 “NP+处所+VP句式的事件语义分析与计算 | 第121-146页 |
| ·研究对象和研究背景 | 第121-127页 |
| ·Parsons的事件语义学 | 第127-133页 |
| ·句式“NP+在+NP_loc+Vt+NP”事件语义类型的分化 | 第133-140页 |
| ·Prolog语言对个案语义自动分析的实现 | 第140-144页 |
| ·逻辑语言L_e和汉语部分语句系统C_e | 第144-146页 |
| 第七章 再谈若干句式的事件语义分析 | 第146-168页 |
| ·句式的事件语义类型 | 第146-152页 |
| ·论元控制谓词句和命题谓词句的事件语义分析 | 第152-163页 |
| ·“在+处所”句的事件语义再分析 | 第163-168页 |
| 第八章 结语 | 第168-172页 |
| ·本文研究工作的小节 | 第168-169页 |
| ·存在的问题和下一步研究工作的设想 | 第169-172页 |
| 参考文献 | 第172-188页 |
| 附录一 本文执行Prolog语言的主要算法 | 第188-191页 |
| 附录二 汉、英术语对照表 | 第191-202页 |
| 附录三 汉语部分语料问卷调查表 | 第202-205页 |
