句式语义的形式分析与计算【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

句式语义的形式分析与计算PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章　引言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和汉语部分语句系统Ct68

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和汉语部分语句系统Cq118

第六章 “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和汉语部分语句系统Ce147

第七章　再谈若干句式的事件语义分析149

7.1　句式的事件语义类型149

7.2　论元控制谓词句和命题谓词句的事件语义分析156

7.3　“在＋处所”句的事件语义再分析167

第八章　结语172

8.1　本书研究工作的小结172

8.2　存在的问题和下一步研究工作的设想173

参考文献177

附录一　本书执行Prolog语言的主要算法195

附录二　汉-英术语对照表199

附录三　问卷调查表211