应用性通用语法

应用性通用语法，或AUG，是一种通用语义金属语言，旨在研究特定语言的语义过程。这是一种语言学理论，通过类比应用性编程语言中的功能应用来看待短语结构的形成。在这种自然语言处理方法的创新中，有功能叠加和分层类型的思想。

在题为《使用类型解析自然语言》的论文中，MarkP.Jones、PaulHudak和SebastianShaumyan描述了AUG解析在Haskell中的实现，对AUG有一个简单的介绍。这里用他们的一个例子转述一下。AUG只有两种原始类型。T代表术语，S代表句子（尽管AUG显然允许句子片段是S类型的），有一个非原始类型，返回一个函数。Oxy。O将x和y还原成另一个类型，xy，它将x和y的类型结合起来，即xy。词可以是这种类型的函数。像我的（thing）这样的词的类型是OTT：它接收类型为T的东西并产生类型为T的东西。我的朋友有一个这样的结构。请注意，让O成为一个前缀运算符，就不需要括号了（就像在更传统的数学正字法中那样），而且在页面上的表述也更紧凑。下面是我住在波士顿的朋友如何用AUG减少的。AUG允许O的前向和后向应用，以下是后向应用的规则。

生活这个词被简化为更具体的生活在波士顿。AUG区分了表征型和基因型语法；表征型与实际的语言密切相关，如前面的图形。基因型是一个更普遍的意义结构。为了更清晰地关注基因型问题，树的分支顺序可以呈现为函数在其参数的左边。一个更符合基因型的解析树看起来像这样。不及物生命的类型是OTS：主语是一个T，但S--一个句子短语--必须是结果类型。为什么in的类型是OTOTSOTS？In作为一个三位置函数需要一个位置，即发生了T的东西（即使它只是在别的东西里面），以及在这个例子中，一个主语，即生活的人，也是T的类型。