形式语义学简介主要内容一、基于一阶谓词逻辑的自然语言分析（Cp系统） 二、存在的问题 三、基于类型论的自然语言分析一、Cp系统1. 部分语句系统Cp1.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 Cp的翻译规则• 从Cp到逻辑语言 -组合原则：句子的语义是其组成成分的语 义按一定方式组合的结果 -规则对应假设：每一条句法规则均对应一 条翻译规则Cp中的句法范畴跟一阶谓词逻辑中的语义类型的 对应关系如下：• 注意：普通名词N在Cp无对应的逻辑范畴 根据（1i），NP可扩展成光杆的N，但我们 不能把它简单地看成一个普通名词，而应 把它看成是前面带有零形位的名词，即 ，其语义上有时可被理解成有定的（definite ）单数名词组，有时也可被理解成类指名 词组（generic NP）.一阶谓词逻辑语言中的三个范畴（t，e，Pred ）之间的关系：每条句法规则对应的翻译规则：注意：谓词后的论元的排列次序反映了语义解释的组合性原则；另外，[]里 的成为作为一个词项来翻译，并在语义解释时作为一个词项来解释。
举例：注意：汉语词项翻译成逻辑词项时，都取其汉语拼音的形式加右上角一 撇，谓词以大写字母开头，论元以小写字母开头注意：Cp中的一些常项词“把”、“给”和“被”在逻辑式中并不出现，因为它 们本身并不对逻辑命题的真值条件的内容直接做出贡献，而仅仅指示命题 结构中论元的排列顺序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 abandoned4. 词组结构语法生成能力太弱，不能生成非 连续体结构（discontinuous constituents）。
三、基于类型论的自然语言分析举例：• Defining functions in the λ-notationA further extension (i): Generalized QuantifiersFurther extension (ii): the interpretation of relative clause。