
| 本书致力于运用当代形式语言学的理论对一部分汉语句式做出语义解释,并在Prolog语言的环境下演示个案实现的过程。本书研究工作的主体理论框架是定义三种逻辑语言Lt、Lq和Le,并在这三种逻辑语言中分别建立起汉语部分语句系统Ct、Cq和Ce。在这三种逻辑语言的范围内,书中分别着重讨论了汉语中的“NP1+V1(+NP2)+V2”的句式、量化句句式和“NP+在+NP_locc+Vt+NP”句式。从研究方法来说,作者提出了语义类重设原则和逻辑谓词原则。此外,书中不仅应用到了形式语言学理论的经典理论思想,而且也充分借鉴了形式化的事件语义学这一新的理论框架。作者试图对不同句式的事件语义类型做出统一模式的归纳,并在此基础上对这些语义类型的语义性质做深入的分析。 |
| 吴平,北京语言大学教授,文学博士。曾受国家留学基金委资助先后在英国约克大学和美国加州州立大学长滩校区作访问学者。研究领域是理论语言学和计算语言学。现阶段主要从事基于形式化分析和句法和语义的接口问题研究。 |
| 序 致谢 内容提要 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.2Prolog语言环境下的自动分析原理 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.5Prolog语言的个案实现示例 第五章 量化旬的逻辑语义分析与计算 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.2Parsons的事件语义学 6.3句式"NP+在+NP_loc+Vt+NP"事件语义类型的分化 6.4Prolog语言对个案语义自动分析的实现 6.5逻辑语言Le和汉语部分语句系统Ce 第七章 再谈若干句式的事件语义分析 7.1句式的事件语义类型 7.2论元控制谓词句和命题谓词句的事件语义分析 7.3“在+处所”句的事件语义再分析 第八章 结语 8.1本书研究工作的小结 8.2存在的问题和下一步研究工作的设想 参考文献 附录一 本书执行Prolog语言的主要算法 附录二 汉一英术语对照表 附录三 问卷调查表 |
商品评论(0条)