组合分类语法

编辑
本词条由“匿名用户” 建档。
组合分类语法(CCG)是一种高效的可解析的、具有语言表达能力的语法形式。它在表面语法和底层语义表示之间有一个透明的接口,包括谓语-参数结构、量词和信息结构。该形式主义产生了基于成分的结构(而不是基于依赖的结构),因此是一种短语结构语法(而不是依赖语法)。CCG依赖于组合逻辑,它具有与λ微积分相同的表达能力,但以不同的方式构建其表达。这些组合器与I(身份映射)和C(置换器)一起构成了一组原始的、不可...

组合分类语法

编辑

组合分类语法(CCG)是一种高效的可解析的、具有语言表达能力的语法形式。它在表面语法和底层语义表示之间有一个透明的接口,包括谓语-参数结构、量词和信息结构。该形式主义产生了基于成分的结构(而不是基于依赖的结构),因此是一种短语结构语法(而不是依赖语法)。CCG依赖于组合逻辑,它具有与λ微积分相同的表达能力,但以不同的方式构建其表达。这些组合器与I(身份映射)和C(置换器)一起构成了一组原始的、不可定义的组合器。

形式主义的部分

编辑

CCG形式主义定义了许多组合器(应用、组合和类型提升是最常见的)。这些组合器通过自然演绎风格的证明,对句法类型化的词条进行操作。证明的目标是找到某种方式,将组合器应用于一连串的词汇项,直到证明中没有词汇项未被使用。证明完成后的结果类型是整个表达的类型。因此,证明某个词的序列是某种语言的句子,相当于证明这些词还原为类型S。

句法类型

编辑

词条的句法类型可以是原始类型,如S、N或NP,也可以是复杂类型,如S/NP,或NP/N。复杂的类型,可以用X/Y和X/Y来表示,表示接受Y类型的参数并返回X类型的对象的漏斗类型,正斜杠表示参数应该出现在右边,而反斜杠表示参数应该出现在左边。任何类型都可以代替这里的X和Y,使得CCG中的语法类型成为一个递归类型系统

应用组合器

编辑

应用组合器,通常用>表示正向应用,用<表示反向应用,将一个具有漏斗类型的词条应用于具有适当类型的参数。应用的定义如下。

组合范畴文本

类型提升组合器

编辑

类型提升组合器,通常表示为用于后向类型提升,将参数类型(通常是原始类型)带入漏斗类型,漏斗类型将在类型提升之前将它们作为参数的漏斗作为其参数。

内容由匿名用户提供,本内容不代表vibaike.com立场,内容投诉举报请联系vibaike.com客服。如若转载,请注明出处:https://vibaike.com/170692/

(2)
词条目录
  1. 组合分类语法
  2. 形式主义的部分
  3. 句法类型
  4. 应用组合器
  5. 类型提升组合器

轻触这里

关闭目录

目录