Аппликативная универсальная грамматика , или АУГ , — это универсальный семантический метаязык , предназначенный для изучения семантических процессов в конкретных языках. [1] Это лингвистическая теория, рассматривающая формирование структуры фразы по аналогии с применением функций в аппликативном языке программирования . Среди нововведений в этом подходе к обработке естественного языка — идеи функциональной суперпозиции и стратифицированных типов. [2] [3]
В статье под названием « Использование типов для синтаксического анализа естественного языка» Марка П. Джонса , Пола Худака и Себастьяна Шаумяна , в которой описывается реализация синтаксического анализа AUG в Haskell , есть краткое введение в AUG. Это перефразировано здесь, используя один из их примеров: [4]
В AUG есть только два примитивных типа: T для терминов, S для «предложений» (хотя AUG, по-видимому, допускает фрагменты предложений типа S). Существует один непримитивный тип, который возвращает функцию: Oxy. O сводит x и y к другому типу, xy, который объединяет типы x и y, xy. Слова могут быть функциями этого типа. Тип такого слова, как «мой» (вещь), — это ОТТ: оно берет что-то типа Т и дает что-то типа Т. «Мой друг» имеет такую структуру:
Обратите внимание, что использование префиксного оператора O устраняет необходимость в круглых скобках (как в более традиционной математической орфографии) и обеспечивает более компактное представление на странице.
Слово «жить» сокращается до более конкретного «жить в Бостоне». AUG различает грамматику фенотипа и генотипа ; фенотип точно соответствует реальному языку, как на предыдущем рисунке. Генотип является более универсальной структурой значения. Чтобы лучше сосредоточиться на проблемах генотипа, можно отобразить порядок ветвей дерева так, чтобы функции располагались слева от их аргументов. Более генотипическое дерево разбора выглядит так:
Непереходное слово «lives» имеет тип OTS: подлежащее — T, но S — фраза-предложение — должно быть результирующим типом. Почему "в" имеет тип ОТООЦОЦ? «В» как трехместная функция требует местонахождение, что-то происходящее Т (даже если оно просто находится внутри чего-то другого), и в этом примере субъект, кто-то живущий, тоже типа Т.