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

形式语义学简介 主要内容 一、基于一阶谓词逻辑的自然语言分析（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. 一阶逻辑语言无法刻画