ВУЗ:
Составители:
Рубрика:
68
В случае успешного доказательства понятие x
i
, расположенное в вершине g
i
, будет
заменено на тождественное понятие z
j
и осуществлен переход на продукцию pr
4
Tr
для
доказательства второй гипотезы верхнего уровня. Для него входная ситуация
переопределяется как d
0
=d
1
.
Вторая гипотеза нижнего уровня. Доказывается аналогично доказательству,
описанному выше. При доказательстве гипотезы необходимо рассмотреть две ситуации,
которые зависят от типа вершины.
Первая ситуация касается случая, когда лексема x
i
является обобщенным или
агрегированным понятием и будет иметь вектор
η
i
с элементами z
1
, z
2
, z
3
тогда и только
тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
- лексема х
i
принадлежит терму z - P
f
(t
in
(х
i
), y, f
23
), где f
23
– ссылка на процедуру,
которая осуществляет поиск лексемы х
i
в терме ),...,(
1 k
yyt предикатов, задающих
отношение агрегации
)),,...,(,(
1
r
agrks
tyytxP , и возвращает в качестве y – имя
агрегированного понятия;
- терм z является агрегированным понятием - P
S
(y, t(y
1
, …, y
k
), t
r
agr
);
- вершина не имеет вектор η
i
- ¬ P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null), t(z
4
, null)).
Для данного случая входная ситуация d
0
задается в виде:
d
0
= )),(,(
r
agris
txtyP ∨
)),(,(
r
obis
txtyP
.
(3.9)
А множество
Γ
включает в себя предикаты, задающие отношения агрегации
r
agr
t и
обобщения
r
ob
t , а также условие применимости продукции q
7
Tr
:
Г =
Γ
4
∧ q
7
Tr
={ )),,...,(,(
1
r
agrks
tyytxP }∧ {)),,...,(,(
1
r
obcs
tyytxP }∧q
7
Tr
.
(3.10)
Данной ситуации соответствует продукция pr
7
Tr
=<q
7
Tr
, r
7
Tr
>, в которой:
q
7
Tr
= P
f
(t
in
(х
i
), y, f
23
) ∧ P
S
(y, t(y
1
, …, y
k
), t
r
agr
) ∧ ¬ P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null)) ↔
(
∃ x
i
:X) P
S
(y, t(х
i
), t
r
agr
) ∧ P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null));
r
7
Tr
= add[P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null)) ∧ ( g
′
~
, y)].
Вторая ситуация. Эту ситуацию рассмотрим на примере, когда имеется три случая:
первый - лексема x
i
является фамилией, второй – именем, третий - отчеством. Рассмотрим
подробнее каждый из них.
Для первого случая утверждение предполагает, что лексема x
i
является значением
атрибута фамилия тогда и только тогда, когда имеет место закономерность, описываемая
конъюнкцией следующих фактов:
- лексема x
i
входит в синтаксическую группу y
1
- P
f
(t
in
(х
i
), y
1
, f
24
), где f
24
– ссылка на
процедуру, которая осуществляет проверку вхождения лексемы x
i
в терм ),...,(
1 k
yyt (в
состав синтаксической группы) предикатов, задающих отношение характеризации, а y
возвращает имя синтаксической группы;
- y
1
имеет значение «ФИО» - P
E
(y
1
, ФИО);
- лексема x
i
является y
2
элементом в синтаксической группе ФИО - P
f
(t
in
(х
i
, ФИО),
y
2
, f
25
), где f
25
– ссылка на процедуру, которая определяет положение лексемы х
i
в
синтаксической группе ФИО и возвращает в качестве переменной y
2
ее порядковый номер;
- y
2
имеет значение 1 - P
E
(y
2
, 1);
- вершина не имеет вектор η
i
- ¬ P
par
(η
i
, t(z
1
, null), t(z
2
, 6), t(z
3
, null)).
В случае успешного доказательства понятие xi, расположенное в вершине gi, будет
заменено на тождественное понятие zj и осуществлен переход на продукцию pr4Tr для
доказательства второй гипотезы верхнего уровня. Для него входная ситуация
переопределяется как d0=d1.
Вторая гипотеза нижнего уровня. Доказывается аналогично доказательству,
описанному выше. При доказательстве гипотезы необходимо рассмотреть две ситуации,
которые зависят от типа вершины.
Первая ситуация касается случая, когда лексема xi является обобщенным или
агрегированным понятием и будет иметь вектор ηi с элементами z1, z2, z3 тогда и только
тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
- лексема хi принадлежит терму z - Pf(tin(хi), y, f23), где f23 – ссылка на процедуру,
которая осуществляет поиск лексемы хi в терме t ( y1 ,..., y k ) предикатов, задающих
r
отношение агрегации Ps ( x, t ( y1 ,..., y k ), t agr ) , и возвращает в качестве y – имя
агрегированного понятия;
- терм z является агрегированным понятием - PS(y, t(y1, …, yk), tragr);
- вершина не имеет вектор ηi - ¬ Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null), t(z4, null)).
Для данного случая входная ситуация d0 задается в виде:
r
d0 = Ps ( y, t ( xi ), t agr ) ∨ Ps ( y, t ( xi ), t ob
r
). (3.9)
А множество Γ включает в себя предикаты, задающие отношения агрегации t agr
r
и
r
обобщения t ob , а также условие применимости продукции q7Tr:
Г = Γ4 ∧ q7Tr ={ Ps ( x, t ( y1 ,..., y k ), t agr
r
) }∧ { Ps ( x, t ( y1 ,..., y c ), t ob
r
) }∧q7Tr. (3.10)
Tr Tr Tr
Данной ситуации соответствует продукция pr7 =, в которой:
q7Tr = Pf(tin(хi), y, f23) ∧ PS(y, t(y1, …, yk), tragr) ∧ ¬ Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null)) ↔
( ∃ xi:X) PS(y, t(хi), tragr) ∧ Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null));
r7Tr = add[Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null)) ∧ ( g~ ′ , y)].
Вторая ситуация. Эту ситуацию рассмотрим на примере, когда имеется три случая:
первый - лексема xi является фамилией, второй – именем, третий - отчеством. Рассмотрим
подробнее каждый из них.
Для первого случая утверждение предполагает, что лексема xi является значением
атрибута фамилия тогда и только тогда, когда имеет место закономерность, описываемая
конъюнкцией следующих фактов:
- лексема xi входит в синтаксическую группу y1 - Pf(tin(хi), y1, f24), где f24 – ссылка на
процедуру, которая осуществляет проверку вхождения лексемы xi в терм t ( y1 ,..., y k ) (в
состав синтаксической группы) предикатов, задающих отношение характеризации, а y
возвращает имя синтаксической группы;
- y1 имеет значение «ФИО» - PE(y1, ФИО);
- лексема xi является y2 элементом в синтаксической группе ФИО - Pf(tin(хi, ФИО),
y2, f25), где f25 – ссылка на процедуру, которая определяет положение лексемы хi в
синтаксической группе ФИО и возвращает в качестве переменной y2 ее порядковый номер;
- y2 имеет значение 1 - PE(y2, 1);
- вершина не имеет вектор ηi - ¬ Ppar(ηi, t(z1, null), t(z2, 6), t(z3, null)).
68
Страницы
- « первая
- ‹ предыдущая
- …
- 66
- 67
- 68
- 69
- 70
- …
- следующая ›
- последняя »
