Введение в формальный анализ естественных языков - Ляпунова А.А.
Скачать (прямая ссылка):
Необходимо, далее, обобщить формулировку области определения трансформации н собственного анализа трансформи-
Формальный анализ естественных языков
269
руемой цепочки. Во-первых, нет необходимости требовать, чтобы элементами структурного индекса были отдельные символы. Во-вторых, можно допустить, чтобы область определения трансформации зядниилась конечным множеством структурных индексов. Более того, можно задавать область определения трансформации просто некоторым структурным условием, основанным на предикате «быть анализируемым», введенном выше. С помощью этого понятия можно определить разложение терминальных цепочек на элементы собственного анализа, после чего влементы структурного индекса могут оставаться неопределенными. С помощью этого и некоторых других обобщений можно построить эксплицитное и точное обоснование трансформационной грамматики.
5.3. Структура составляющих в трансформированных цепочках
Грамматическая трансформация задается структурным условием, выраженным с помощью предиката «быть анализируемым» и элементарной трансформации. Как было, однако, замечено, трансформации должны порождать не только предложения, но и их С-маркеры. Поэтому нужно показать, каким образом терминальной цепочке, полученной в результате трансформации, приписывается структура составляющих. Лучше всего было бы получать производные С-маркеры с помощью набора правил, которые составляют часть общей лингвистической теории, а не с помощью дополнительного пункта в определении каждой трансформации. Точная формулировка этих правил потребовала бы внализа исходных понятий, который выходит далеко за рамки настоящего неформального изложения (см. в этой связи Chomsky, 1955; Matthews, 1962; Postal, 1962). Тем не меиее некоторые подходы к общему решению этой проблемы кажутся достаточно ясными. Прежде всего все трансформации можно разделить на небольшое число классов в соответствии с элементарной трансформацией, на которой они основаны. Для каждого класса можно задать общее правило, приписывающее трансформу производный С-маркер, вид которого зависит фиксированным образом от С-маркеров «сходных терминальных цепочек. Приведем несколько примеров для иллюстрации тех общих принципов, которых необходимо при этом придерживаться.
Основным рекурсивным устройством в грамматике являются обобщенные трансформации, которые порождают новую цепочку из пары исходных. (Ясно, что число сингулярных
270
И. Хомский, Дж. Миллер
трансформаций, которые могут применяться к одному и тому же предложению, ограниченно.) Большинство обобщенных трансформаций основано на элементарных трансформациях, которые нодстанлиют трапсформиронашіий иарнапт нюрого члена мары исходных терминальных цепочек нместо некоторого элемента соОилишюго анализа нериого члена нары. (IJ терминах,
# S *
ek) end sad
F и с. 5. С-маркер, возникающий при интерпретации предложений с союзом and как полученных в результате трансформации присоединения.
предложенных Лизом (Lees, 1960), это соответственно цепочка-составляющая и цепочка-матрица.) В этом случае для определения производной структуры составляющих трансформа достаточно, по-видимому, единого общего правила. Пусть трансформация заменяет символ а из сгі (цепочки-матрицы) на сг2 (цепочку-составляющую). Тогда С-маркер результирующей цепочки есть С-маркер ai, где а заменен на С-маркер
Все остальные обобщенные трансформации — это трансформации присоединения, которые состоят в том, что берется некоторый элемент собственного анализа а вместе с элементом структурного индекса р, который опосредствованно подчиняет а .(и всеми промежуточными звеньями С-маркера, которые подчиняются элементу P и подчиняют а), и присоединяются (быть может, с добавлением некоторой константной цепочки) к некоторому другому элементу собственного анализа. Таким способом, например, фраза John is old and sad («Джон стар н печален») с С-маркером, представленным на рлс. 5, получается из фраз John is old, John in sad («Джои стар>, «Джон печален»)
Формальний анализ естественных языков
271
с помощью трансформации со структурным индексом (Ar/3, is, А, tttt , NP, is, А).
Спнгулярпые трансформации часто являются простыми перестановками элементов собственного анализа. В частности, такая трансформация превращает рис. 6, а в рис. 6, б. Общий принцип построения производного С-маркера состоит в этом случае
Verb NP Verb /VP Prt
/\ /\ І /\ I
V Prt Determ N V Determ N our
I I /\ I I /\ I
turn out Quant Art lights turn Quant Art lights
/\ I /\ I
some of the Some of the
(а) \6)
Рис. 6. Сингулярная трансформация, переводящая (а) в (?), — это перестановка; результатом ее применения является сокращение «количества структуры», приписываемой предложению,
в том, что в С-маркере исходной цепочки производятся минимальные изменения, совместимые с требованием о том, чтобы получившийся С-маркер также был деревом. Трансформация, которая дает предложение Turn some of the lights out («Выключи некоторые лампы»), основана на элементарной трансформации, меняющей местами второй и третий элементы трехэлементного собственного анализа; эта трансформация имеет структурный индекс (V, Prt, NP) (разумеется, здесь приводится частный случай некоторого более общего правила).
