《语言学导论》式语义学简介.pptVIP

形式语义学简介 主要内容 一、基于一阶谓词逻辑的自然语言分析（Cp系统） 二、存在的问题 三、基于类型论的自然语言分析 一、Cp系统 1. 部分语句系统Cp 1.1 Cp的句法 1.2 Cp的翻译规则 2. Cp的语义解释 1. 部分语句系统Cp 1.1 Cp的句法 句法规则 句法范畴 词库 1.2 Cp的翻译规则 从Cp到逻辑语言 -组合原则：句子的语义是其组成成分的语义按一定方式组合的结果。 -规则对应假设：每一条句法规则均对应一条翻译规则 注意：普通名词N在Cp无对应的逻辑范畴。根据（1i），NP可扩展成光杆的N，但我们不能把它简单地看成一个普通名词，而应把它看成是前面带有零形位的名词，即 ，其语义上有时可被理解成有定的（definite）单数名词组，有时也可被理解成类指名词组（generic NP）. 2. Cp的语义解释 二、基于一阶谓词逻辑的自然语言分析存在的问题 1. 一阶逻辑语言的表达力 John runs quickly. Most students like running. The house which was empty was available. The dog which John abandoned was gray. 2. 一阶逻辑语言无法刻画自然语言生成过程的层次性 3. 词组结构语法无法刻画表面结构有差异的句子之间的联系，如“把”字句、话题句及焦点句之间的联系，又如陈述句与名词修饰句之间的联系。 （1）张三打了李四。 张三把李四打了。 李四，张三打了他。 （2）John abandoned the dog. the dog which John abandoned 4. 词组结构语法生成能力太弱，不能生成非连续体结构（discontinuous constituents）。 三、基于类型论的自然语言分析 举例： Defining functions in the λ-notation A further extension (i): Generalized Quantifiers Further extension (ii): the interpretation of relative clause * GCp表示Cp的句法规则，其中S表示句子，NP表示名词组，V表示谓语动词，V不表示不及物动词，V及表示带单宾语的及物动词，V双表示带双宾语的及物动词，N专表示专有名词，N为普通名词（common noun），w数表示汉语的数词，w单位表示汉语中的表单位的量词，（）表可选， 表零形位。 Cp中的句法范畴跟一阶谓词逻辑中的语义类型的对应关系如下： 一阶谓词逻辑语言中的三个范畴（t，e，Pred）之间的关系： 每条句法规则对应的翻译规则： 注意：谓词后的论元的排列次序反映了语义解释的组合性原则；另外，[]里的成为作为一个词项来翻译，并在语义解释时作为一个词项来解释。 举例： 注意：汉语词项翻译成逻辑词项时，都取其汉语拼音的形式加右上角一撇，谓词以大写字母开头，论元以小写字母开头。 注意：Cp中的一些常项词“把”、“给”和“被”在逻辑式中并不出现，因为它们本身并不对逻辑命题的真值条件的内容直接做出贡献，而仅仅指示命题结构中论元的排列顺序。 举例 *