2008(№7) - Санкт-Петербургский государственный ...

где rhet_rel(R, S, N) обозначает риторическое отношение R между ЭТЕ S и N, причем S –
сателлит, а N – ядро. Примером дизъюнктивного исключающего множества риторических
отношений являются первый и третий элементы множества RR.
Тогда задача построения структуры текста формулируется следующим образом: дана
последовательность ЭТЕ U = u 1 , u 2 , …, u n и множество RR простых риторических отношений
и дизъюнктивных исключающих отношений, которые лежат между элементами
из U. Требуется найти все корректные структуры из линейной последовательности U.
Данный подход предполагает построение дерева снизу вверх. Идея алгоритма состоит в
следующем. Изначально каждая ЭТЕ i ассоциирована с элементарным деревом, которое имеет
статус NUCLEUS (ядро) либо SATELLITE (сателлит), тип LEAF (лист) и множество наиболее
важных ЭТЕ-потомков {i}. Вначале любое отношение из множества RR может быть
использовано при связи двух элементов в более сложные деревья. После построения всех
элементарных деревьев риторическая структура может быть получена соединением смежных
деревьев в бóльшие при условии, что на каждом шаге получается корректная древовидная
структура. С каждым шагом связано множество риторических отношений, которые могут
быть использованы на следующих шагах. В самом начале элементарное дерево может быть
преобразовано в большее с использованием всего набора RR. Но как только одно из отношений
было использовано, оно становится недоступным для дальнейших преобразований.
Параметрами алгоритма построения риторической структуры являются:
• множество ЭТЕ U = u 1 , u 2 , …, u n ;
• множество констант NUCLEUS, SATELLITE, LEAF, NULL;
• имена всех риторических отношений;
• объекты типа tree (status, type, promotion, left, right) – будут описаны далее.
Объекты, имеющие форму tree (status, type, promotion, left, right), обеспечивают
функциональное представление корректных деревьев. Переменная status может иметь значения
NUCLEUS или SATELLITE; type содержит имя риторического отношения; promotion
представляет собой подмножество элементов из U; left и right могут быть либо NULL,
либо рекурсивным определением через объект tree. Например, отношение rhet_rel (JUSTI-
FICATION, A 1 , B 1 ) может быть представлено следующим образом:
30
tree(NUCLEUS, JUSTIFICATION, {B 1 },
tree(SATELLITE, LEAF, {A 1 }, NULL, NULL),
tree(SATELLITE, LEAF, {B 1 }, NULL, NULL))
Объект tree(status, type, promotion, left, right) соответствует корректной текстовой
структуре тогда и только тогда, когда аргументы status, type, promotion имеют такие же
значения, как у корня текстовой структуры, и если аргументы left и right соответствуют
левому и правому поддеревьям корректной структуры соответственно.
Определим следующие предикаты:
• position (u i , j) равен истине, если u i стоит на j-й позиции в U = u 1 , u 2 , ..., u n ;
• hold (rr) равен истине для данного текста тогда и только тогда, когда риторические
отношения в rr лежат между ЭТЕ текста.