Универсальные грамматические приложения
Аппликативная универсальная грамматика , или АУГ , — универсальный семантический метаязык, предназначенный для изучения семантических процессов в отдельных языках. [1] Это лингвистическая теория, которая рассматривает формирование структуры фразы по аналогии с применением функций в аппликативном языке программирования . Среди нововведений в этом подходе к обработке естественного языка — идеи функциональной суперпозиции и стратифицированных типов. [2] [3]
Пример
[ редактировать ]В статье под названием « Использование типов для анализа естественного языка» Марка П. Джонса , Пола Худака и Себастьяна Шаумяна , в которой описывается реализация синтаксического анализа AUG в Haskell , есть краткое введение в AUG. Здесь это перефразировано на одном из примеров: [4]
В AUG есть только два примитивных типа: T для терминов и S для «предложений» (хотя AUG, очевидно, допускает, чтобы фрагменты предложений имели тип S). Существует один непримитивный тип, который возвращает функцию: Oxy. O сводит x и y к другому типу xy, который объединяет типы x и y, xy. Слова могут быть функциями этого типа. Тип слова «мой» (вещь) — OTT: оно берет что-то типа Т и дает что-то типа Т. «Мой друг» имеет такую структуру:
Правила могут преобразовать p типа Oxy в q типа x:
Обратите внимание, что использование префиксного оператора O устраняет необходимость в круглых скобках (как в более традиционной математической орфографии) и обеспечивает более компактное представление на странице.
Вот как сокращается в АУГ "мой друг живет в Бостоне".
AUG допускает как прямое, так и обратное применение O. Вот правило обратного применения:
Слово «жить» сокращается до более конкретного «жить в Бостоне». AUG различает фенотип и грамматику генотипа ; фенотип близко соответствует реальному языку, как на предыдущем рисунке. Генотип является более универсальной смысловой структурой. Чтобы лучше сосредоточиться на вопросах генотипа, порядок ветвей дерева можно отобразить так, чтобы функции находились слева от их аргументов. Более генотипическое дерево разбора выглядит так:
Непереходное слово «жизни» имеет тип OTS: подлежащее — это буква Т, но результирующим типом должна быть буква S — фраза-предложение. Почему «in» имеет тип OTOOTSOTS? «В» как трехзначная функция требует местоположения («Бостон»; тип T), чего-то происходящего («живет»; тип OTS), а в этом примере — субъекта, того, кто живет, также типа T.
См. также
[ редактировать ]- Прикладные вычислительные системы
- Комбинаторная логика
- Комбинаторная категориальная грамматика
- Функциональное программирование
- Лямбда-исчисление
- Универсальная грамматика
Ссылки
[ редактировать ]- ^ Шаумян, Себастьян (1987). Семиотическая теория языка (1-е изд.). Блумингтон и Индианаполис: Издательство Университета Индианы. ISBN 978-0253304728 .
- ^ Бернард П., Сыпневски (2009) [1997], «Функциональная суперпозиция» (PDF) , Форум LACUS ( Лингвистическая ассоциация Канады и США ) , 23 , Университет Бригама Янга : 279–287, doi : 10.3115/991250.991285
- ^ Себастьян, Шаумян ; Сегонд, Фредерик (1994), «Зависимости на больших расстояниях и аппликативная универсальная грамматика» (PDF) , COLING '94: Материалы 15-й конференции по компьютерной лингвистике , 2 : 853–858, doi : 10.3115/991250.991285
- ^ Джонс, Марк П .; Худак, Павел ; Шаумян, Себастьян (1995), «Использование типов для анализа естественного языка» (PDF) , Тернер, Дэвид (ред.), Труды семинара в Глазго по функциональному программированию , Серия семинаров по компьютерным наукам. (IFIP), Springer-Verlag , doi : 10.14236/ewic/FP1995.0 , ISBN 978-3540145806
Дальнейшее чтение
[ редактировать ]- Шаумян, Себастьян (1 января 1977 г.). Аппликативная грамматика как семантическая теория естественного языка . Издательство Эдинбургского университета. ISBN 978-0852240762 .
- Сыпневски, Бернард П. «Введение в аппликативную универсальную грамматику» . pdfslide.net . Проверено 29 апреля 2021 г.