《语言学导论》形式语义学简介

1、? ?语言学导论语言学导论? ?形式语义形式语义学简介学简介主要内容一、基于一阶谓词逻辑的自然语言分析Cp系统二、存在的问题三、基于类型论的自然语言分析一、Cp系统1. 局部语句系统Cp 1.1 Cp的句法 1.2 Cp的翻译规那么2. Cp的语义解释1. 局部语句系统Cp1.1 Cp的句法句法规那么句法范畴词库GCp表示Cp的句法规那么，其中S表示句子，NP表示名词组，V表示谓语动词，V不表示不及物动词，V及表示带单宾语的及物动词，V双表示带双宾语的及物动词，N专表示专有名词，N为普通名词common noun，w数表示汉语的数词，w单位表示汉语中的表单位的量词，表可选， 表零形位。1.2

2、Cp的翻译规那么从Cp到逻辑语言-组合原那么：句子的语义是其组成成分的语义按一定方式组合的结果。-规那么对应假设：每一条句法规那么均对应一条翻译规那么Cp中的句法范畴跟一阶谓词逻辑中的语义类型的对应关系如下： 注意：普通名词N在Cp无对应的逻辑范畴。根据1i，NP可扩展成光杆的N，但我们不能把它简单地看成一个普通名词，而应把它看成是前面带有零形位的名词，即 ，其语义上有时可被理解成有定的definite单数名词组，有时也可被理解成类指名词组generic NP.一阶谓词逻辑语言中的三个范畴一阶谓词逻辑语言中的三个范畴t t，e e，PredPred之间的关系：之间的关系：每条句法规那么对应的翻

3、译规那么：注意：谓词后的论元的排列次序反映了语义解释的组合性原那么；另外，里的成为作为一个词项来翻译，并在语义解释时作为一个词项来解释。举例：举例：注意：汉语词项翻译成逻辑词项时，都取其汉语拼音的形式加右上角一撇，谓词以大写字母开头，论元以小写字母开头。注意：Cp中的一些常项词“把、“给和“被在逻辑式中并不出现，因为它们本身并不对逻辑命题的真值条件的内容直接做出奉献，而仅仅指示命题结构中论元的排列顺序。2. Cp的语义解释举例举例二、基于一阶谓词逻辑的自然语言分析存在的问题1. 一阶逻辑语言的表达力 John runs quickly. Most students like running.

4、The house which was empty was available. The dog which John abandoned was gray. 2. 一阶逻辑语言无法刻画自然语言生成过程的层次性 3. 词组结构语法无法刻画外表结构有差异的句子之间的联系，如“把字句、话题句及焦点句之间的联系，又如陈述句与名词修饰句之间的联系。1张三打了李四。 张三把李四打了。 李四，张三打了他。2John abandoned the dog. the dog which John abandoned 4. 词组结构语法生成能力太弱，不能生成非连续体结构discontinuous constituents。三、基于类型论的自然语言分析举例： Defining functions in the -notationA further extension (i): Generalized Quan