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

Предположим, что существуют два текстовых элемента: [l, b], характеризуемый структурой
tree 1 (…) и риторическими отношениями rr 1 , и [b + 1, h], который характеризуется
структурой tree 2 (…) и риторическими отношениями rr 2 . Предположим также, что риторическое
отношение rhet_rel (name, s, n) лежит между элементом s, содержащимся во множестве
promotion элемента [l, b], и элементом n, который содержится во множестве promotion элемента
[b + 1, h] (rhet_rel (name, s, n) может быть использовано для соединения [l, b] и [b + 1, h]),
и допустим, что отношение асимметрично. В таком случае элементы [l, b] и [b + 1, h] могут
быть соединены в [l, h], который представляет собой корректную структуру, чей статус NU-
CLEUS или SATELLITE, тип name, promotion равно promotion второго элемента. Множеством
риторических отношений, которые могут быть использованы для дальнейших преобразований,
является rr1∩
rr2 \ ⊕ {rhet_rel (name, s, n)
. Набор аксиом для этого случая представлен ниже:
[ S( l, b, tree 1(SATELLITE, type q, p1,left 1,right 1), rr1
) ∧
S( b + 1, h, tree 2(NUCLEUS, type 2, p2,lef t2, right 2), rr2
) ∧
rhet_rel(name, s, n) ∈⊕
rr1 ∧ rhet_rel(name, s, n)
∈⊕
rr2
∧
s ∈ p1 ∧ n ∈ p2
∧ hypotactic(name)] →
→ S( l, h, tree(NUCLEUS,name, p2, tree 1(...), tree 2(...)),
rr1 ∩ rr2
\ ⊕ {rhet_rel(name, s, n)})
(5)
[ S( l, b, tree 1(SATELLITE,type q, p1,left 1, right 1), rr1
) ∧
S( b + 1, h, tree 2(NUCLEUS, type 2, p2,left 2, right 2), rr2
) ∧
rhet_rel(name, s, n) ∈⊕
rr1 ∧ rhet_rel(name, s, n)
∈⊕
rr2
∧
s ∈ p1 ∧ n∈ p2
∧ hypotactic(name)] →
→ S( l, h, tree(SATELLITE,name, p2, tree 1(...), tree 2(...)),
rr1 ∩ rr2
\ ⊕ {rhet_rel(name, s, n)}).
(6)
Аналогично определяются аксиомы для остальных возможных случаев: N, S → S;
N, S → N; N, N → S; N,
N → N (аксиомы 7–10). В итоге получается шесть аксиом.
Алгоритм построения всех возможных корректных деревьев может быть описан следующим
образом.
Входные данные: текст T из n ЭТЕ и множества RR риторических отношений между
ЭТЕ.
Выходные данные: все корректные деревья.
Вначале для набора риторических отношений RR применяется аксиома (1). Далее в
случае успеха для каждой из ЭТЕ применяем аксиомы (2)–(4), которые дадут листья будущего
дискурсного дерева. Затем, используя критерий определения корректного дерева
для всех размеров текстовых элементов от 1 до (N–1), для всех связанных риторическим
отношением применяем все аксиомы (5)–(10). В итоге на выходе получим набор результирующих
аксиом с S (l, h, tree, RR), где l и h являются первой и последней ЭТЕ соответственно,
покрывающий весь текст.
32