Войти
В лингвистика, грамматика пар дуги (APG ) представляет собой теорию синтаксиса , цель которой формализовать и расширить реляционную грамматику. В первую очередь он основан на концепции реляционной грамматики дуги, но также использует более формально сформулированные идеи из теории моделей и теории графов. Он был разработан в конце 1970-х годов Полом Постал и Дэвидом Э. Джонсоном и формализован в 1980 году в одноименной книге Arc Pair Grammar.
Ранняя синтаксическая теория занималась прежде всего грамматическими отношениями. Сторонники трансформационной грамматики отказались от этой тенденции, за исключением семантической интерпретации. В начале 1970-х годов некоторые лингвисты, такие как Эдвард Кинан, начали оспаривать это понятие с точки зрения трансформации, отмечая, например, образование относительных придаточных предложений в малагасийском и английскую пассивизацию (см. chômeur ). Сама по себе реляционная грамматика никогда не была формализована в одном месте; вместо этого Кинан, Джонсон и другие начали писать аспекты концепции в серии диссертаций примерно в это время. Недовольные результатами и отсутствием формализации в RG, Дэвид Джонсон и Пол Постал попытались изложить его версию, используя математическую логику. Эта попытка переросла в новую теорию, известную теперь как APG. Сам APG был разработан Джонсоном и Постал в конце 1970-х, но впервые был формализован в 1980 году. APG принимает грамматические отношения, понятие дуги в теории графов и две операции (SPONSOR и ERASE) как примитивы, а все остальные правила выводятся. (многие из них математически, а не эмпирически).
В отличие от порождающе-перечислительного (теоретико-доказательного) подхода к синтаксису, предполагаемому трансформационной грамматикой, грамматика дуговых пар использует теоретико-модельный подход. В парной грамматике дуги лингвистические законы и специфические для языка правила грамматики формализованы как аксиоматические логические утверждения. Предложения языка, понимаемые как структуры определенного типа, подчиняются набору лингвистических законов и специфичных для языка утверждений. Это снижает грамматичность до логически выполнимого понятия теоретико-модельного удовлетворения.
Парная сеть (PN) является основным методом представления предложений в APG. Это математическая модель, состоящая из узлов (для каждого слова и предложения в целом) и соединяющей их дуги, причем операции действуют на дуги, а не на узлы. Это в некоторой степени аналогично представлению TG о дереве, но с несколькими существенными отличиями. Во-первых, PN - это формальные математические объекты, а деревья в TG - это математические объекты, которые формально не определены. Во-вторых, идея ветвей на деревьях не действует; в то время как ветви присоединяют узлы на разных уровнях структуры, при этом общая сеть ветвей определяет грамматические роли, дуги кодируют грамматические роли в своих головах, причем их единственная структурная роль - присоединение слов к их предложению. В-третьих, операции между дугами (т.е. внутриструктурные операции) создают порядок слов, тогда как структура TG кодирует порядок слов на всех уровнях.
Парная сеть состоит из четырех компонентов: «реляционный граф», «логический» -graph, 'поверхностный-граф' (R-, L-, S-графы) и две операции Sponsor и Erase. R-граф - это просто набор всех элементов в парной сети, то есть структура в целом всех дуг, меток (R-знаков ) и операций между ними. S-граф состоит из тех членов R-графа, о которых действительно говорят. Одиночный фразовый элемент и слово рассматриваются как имеющие один корень для S-графа, хотя структура APG теоретически применима к лексическим статьям. L-граф представляет семантику парной сети и логические отношения между ее элементами. L-графы также содержат понятие «логических дуг», которые представляют собой именно те дуги в R-графе, которые заканчиваются в узлах, помеченных логическими и семантическими отношениями дуги.
Спонсорские операции используются между уровнями в R-графе для установления различных языковых состояний (то есть определенного набора грамматических отношений). Вообще говоря, более низкие уровни спонсируют более высокие уровни, а более высокие уровни стирают более низкие уровни. Спонсор можно разделить на два случая: заменить и успешно . Succeed является более основным из двух, поскольку дуга A является преемником другой дуги B тогда и только тогда, когда B спонсирует A, A и B перекрываются, и B ≠ A. То есть каждая дуга, спонсируемая другой дугой, кроме самой себя, является преемником этой дуги. Между тем замена происходит исключительно между соседними дугами (дугами с общей головой, но с разными хвостами). Как следствие, замена может выполняться только между дугами с одинаковым знаком R. Дуги, которые являются частью операций замены, также не могут быть частью операций Succeed. Таким образом, Replace значительно более ограничен, чем Succeed. Хотя они в конечном итоге имеют одинаковый эффект установления спонсорства, Replace и Succeed подчиняются другим правилам и законам. Это различие помогает определить, когда именно может происходить спонсорство, и поэтому, хотя это и не является технически необходимым, оно полезно для краткости.
Операции стирания выполняются между дугами, когда возникает необходимость указать, какой лингвистический уровень подтверждается фонологически. Если две дуги имеют одно и то же грамматическое отношение к одному и тому же корневому узлу, одна на уровне поверхности стирает другую на более низких уровнях. Преемники всегда стирают своих предшественников, за исключением одного случая.
Очень мало синтаксистов, которые считают себя практикующими APG или его потомками. На это есть несколько причин. Во-первых, хотя он пытается обрабатывать все аспекты языка с использованием парных сетей и пар дуг, подходящего APG-описания фонологии нет. Во-вторых, сложность структуры APG в целом возрастает экспоненциально с увеличением сложности предложения. Например, в предложениях с до- дополнениями узлы в дополнении имеют дуговые отношения с узлами за его пределами, что создает математически представленные, но трудные для понимания структуры.
