Combinatory categorial grammar (CCG)

转载请注明出处，谢谢。
质量不佳，请多包涵。

什么是CCG tag？

Combinatory categorial grammar (CCG)是一种有效的可解析的语言学文法。因为它在表层的句法和深层的语义中构建了一种交互关系，通过它可以产生句子的constituency-based的结构（而不是dependency-based的结构），所以它是一种短语结构文法（而不是dependency grammar）。这种文法可以用来表示predicate-argument structure, quantification and information structure。

CCG和lambda表达式的计算相似，同样是基于组合逻辑，但是它的表达形式不同。

运算B(compositor) 在产生长距离依存的句子中很有用(eg: Who do you think Mary is talking about?)(译者：应该是指taking about和who之间的长距离)；运算W(duplicator)在反身代词的使用中很有用(eg: Mary talks about herself)；运算I（identity mapping）；运算C（permutator）等，这些都是不能相互定义的基本运算子。其他算子如Z可以用W和B定义。

CCG文法定义了一系列的算子。通过在语义分割的句子上进行这些操作，我们可以得到一种证明。（Natural deduction style proof）这个证明的目的就是我们通过分割的语义出发，使用CCG算子最终得到原来的句子。
例如
定义以下元素：S, N, NP是基本类型；S\NP, NP/N 是复杂类型。复杂类型X/Y和X\Y的意义是接受参数Y，输出X.
定义Application Combinators运算>(forward)和<(backward).(译者：对基本类型和复杂类型进行结合）

$${\dfrac {\alpha :X/Y\qquad \beta :Y}{\alpha \beta :X}}>$$

$${\dfrac {\beta :Y\qquad \alpha :X\backslash Y}{\beta \alpha :X}}<$$

定义Composition Combinators运算B>(forward)和B<(backward).（译者：对两个复杂类型进行结合）

$${\dfrac {\alpha :X/Y\qquad \beta :Y/Z}{\alpha \beta :X/Z}}B_{>}$$

$${\dfrac {\beta :Y\backslash Z\qquad \alpha :X\backslash Y}{\beta \alpha :X\backslash Z}}B_{<}$$
定义Type-raising Combinators运算T>(forward)和T<(backward).(译者：一元操作）

$${\dfrac {\alpha :X}{\alpha :T/(T\backslash X)}}T_{>}$$

$${\displaystyle {\dfrac {\alpha :X}{\alpha :T\backslash (T/X)}}T_{<}}$$

例子：
句子”the dog bit John” 有很多种证明（这说明了证明是不唯一的），以下是一些示例。

$${\displaystyle the:NP/N\qquad dog:N\qquad John:NP\qquad bit:(S\backslash NP)/NP}$$

$${\displaystyle {\dfrac {{\dfrac {{\dfrac {the}{NP/N}}\qquad {\dfrac {dog}{N}}}{NP}}>\qquad {\dfrac {{\dfrac {bit}{(S\backslash NP)/NP}}\qquad {\dfrac {John}{NP}}}{S\backslash NP}}>}{S}}<}$$
$${\dfrac {{\dfrac {{\dfrac {the}{NP/N}}\qquad {\dfrac {dog}{N}}}{NP}}>\qquad {\dfrac {{\dfrac {bit}{(S\backslash NP)/NP}}\qquad {\dfrac {John}{NP}}}{S\backslash NP}}>}{S}}<$$

加入T算子得到更多证明，

$${\displaystyle {\dfrac {{\dfrac {{\dfrac {{\dfrac {{\dfrac {the}{NP/N}}{\dfrac {dog}{N}}\qquad }{NP}}>}{S/(S\backslash NP)}}T_{>}\qquad {\dfrac {bit}{(S\backslash NP)/NP}}}{S/NP}}B_{>}\qquad {\dfrac {John}{NP}}}{S}}>}$$
$${\dfrac {{\dfrac {{\dfrac {{\dfrac {{\dfrac {the}{NP/N}}{\dfrac {dog}{N}}\qquad }{NP}}>}{S/(S\backslash NP)}}T_{>}\qquad {\dfrac {bit}{(S\backslash NP)/NP}}}{S/NP}}B_{>}\qquad {\dfrac {John}{NP}}}{S}}>$$

注：
CCGs 可以产生以下语言：

$$a^{n}b^{n}c^{n}d^{n}:n\geq 0$$

翻译：
https://en.wikipedia.org/wiki/Combinatory_categorial_grammar#Example
作者：jiaqiang_ruan
转载请注明出处，谢谢。
质量不佳，请多包涵。