ВУЗ:
Составители:
Рубрика:
51
закономерность, описываемая конъюнкцией следующих фактов:
1)
х
i
имеет характеристику v
i1
∈V
i
со значением «предлог» - (∃х
i
:X) Р(x
i
, t(v
i1
,
предлог));
2)
х
j
имеет характеристику v
j1
со значением «существительное» - (∃x
j
:X) Р(x
j
, t(v
j1
,
существительное));
3)
х
j
имеет характеристику v
j5
со значением сорта «падеж» - (∃x
j
:X) Р(x
j
, t(v
j5
, v
j5
));
4) лексема
х
i
принадлежит сорту b
1
∈B - P
f
(t
in
(х
i
), y
1
, f
8
), где f
8
– ссылка на процедуру
F
8
определения названия категории предлога х
i
, а переменная y
1
может принимать значение
«родительный», «дательный», «винительный», «творительный» или «предложный»;
5)
у
1
равен v
j5
- Р
Е
(у
1
, v
j5
);
6) лексема
х
i
стоит раньше х
j
лексемы - P
f
(t
in
(i,j), y
2
, f
9
), где f
9
– ссылка на процедуру
F
9
проверки условия i>j, а переменная y
2
может принимать значения «раньше» или
«позже»;
7)
у
2
имеет значение «раньше» - Р
Е
(у
2
, раньше).
Предикат (∃
х
i
:X) (∃x
j
:X) Р
1
(ПС, t(х
i
, x
j
)) соответствует утверждению, что существуют
лексемы
х
i
и x
j
, которые образуют синтаксическую группу с именем ПС, а областью
значений переменных
х
i
, x
j
является множество Х лексем запроса g (х
i
, x
j
∈Х).
Необходимо также отметить, что факты 2) и 3) можно описать в одном предикате, т.к.
рассматривается одна и та же лексема
x
j
, следовательно, имеет место параметрический
предикат
Р
par
(x
j
, t(v
j1
, существительное), t(v
j5
, v
j5
)).
В этом случае продукция записывается в виде:
pr
1
s
=<q
1
s
, r
1
s
>, где
q
1
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, предлог) ∧ (∃x
j
:X) Р
par
(x
j
, t(v
j1
, существительное), t(v
j5
, v
j5
)) ∧
P
f
(t
in
(х
i
), y
1
, f
1
) ∧ Р
Е
(у
1
, v
j5
) ∧ P
f
(t
in
(i, j), y
2
, f
2
) ∧ Р
Е
(у
2
, раньше) ↔ (∃х
i
:X) (∃x
j
:X) Р
1
(ПС, t(х
i
,
x
j
));
r
1
s
= add [P
3
(ПС, t(x
i
, x
j
))]; elim[(X, {x
i
})].
2 подсистема правил. Нахождение связи между парой лексем на примере построения
правила формирования пары СущП (существительное и прилагательное): пара лексем
х
i
и
х
i+1
образуют пару СущП тогда и только тогда, когда имеет место закономерность,
описываемая конъюнкцией следующих фактов:
1)
х
i
имеет характеристику v
i1
∈V
i
со значением «прилагательное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
прилагательное));
2)
х
i
имеет характеристику v
i3
со значением сорта «род» - (∃х
i
:X) Р(x
i
, t(v
i3
, v
i3
));
3)
х
i
имеет характеристику v
i4
со значением сорта «число» - (∃х
i
:X) Р(x
i
, t(v
i4
, v
i4
));
4)
х
i
имеет характеристику v
i5
со значением сорта «падеж» - (∃х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
5)
х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «существительное» - (∃x
i+1
:X)
Р(x
i+1
, t(v
(i+1)1
, существительное));
6)
х
i+1
имеет характеристику v
(i+1)3
со значением сорта «род» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)3
,
v
(i+1)3
));
7)
х
i+1
имеет характеристику v
(i+1)4
со значением сорта «число» - (∃х
i+1
:X) Р(x
i+1
,
t(v
(i+1)4
, v
(i+1)4
));
8)
х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (∃х
i+1
:X) Р(x
i+1
,
t(v
(i+1)5
, v
(i+1)5
));
9)
v
i3
должна быть эквивалентна v
(i+1)3
- Р
Е
(v
i3
, v
(i+1)3
);
закономерность, описываемая конъюнкцией следующих фактов:
1) хi имеет характеристику vi1∈Vi со значением «предлог» - (∃хi:X) Р(xi, t(vi1,
предлог));
2) хj имеет характеристику vj1 со значением «существительное» - (∃xj:X) Р(xj, t(vj1,
существительное));
3) хj имеет характеристику vj5 со значением сорта «падеж» - (∃xj:X) Р(xj, t(vj5, vj5));
4) лексема хi принадлежит сорту b1∈B - Pf(tin(хi), y1, f8), где f8 – ссылка на процедуру
F8 определения названия категории предлога хi, а переменная y1 может принимать значение
«родительный», «дательный», «винительный», «творительный» или «предложный»;
5) у1 равен vj5 - РЕ(у1, vj5);
6) лексема хi стоит раньше хj лексемы - Pf(tin(i,j), y2, f9), где f9 – ссылка на процедуру
F9 проверки условия i>j, а переменная y2 может принимать значения «раньше» или
«позже»;
7) у2 имеет значение «раньше» - РЕ(у2, раньше).
Предикат (∃хi:X) (∃xj:X) Р1(ПС, t(хi, xj)) соответствует утверждению, что существуют
лексемы хi и xj, которые образуют синтаксическую группу с именем ПС, а областью
значений переменных хi, xj является множество Х лексем запроса g (хi, xj∈Х).
Необходимо также отметить, что факты 2) и 3) можно описать в одном предикате, т.к.
рассматривается одна и та же лексема xj, следовательно, имеет место параметрический
предикат Рpar(xj, t(vj1, существительное), t(vj5, vj5)).
В этом случае продукция записывается в виде: pr1s =, где
q1s = (∃хi:X) Р(xi, t(vi1, предлог) ∧ (∃xj:X) Рpar(xj, t(vj1, существительное), t(vj5, vj5)) ∧
Pf(tin(хi), y1, f1) ∧ РЕ(у1, vj5) ∧ Pf(tin(i, j), y2, f2) ∧ РЕ(у2, раньше) ↔ (∃хi:X) (∃xj:X) Р1(ПС, t(хi,
xj));
r1s = add [P3(ПС, t(xi, xj))]; elim[(X, {xi})].
2 подсистема правил. Нахождение связи между парой лексем на примере построения
правила формирования пары СущП (существительное и прилагательное): пара лексем хi и
хi+1 образуют пару СущП тогда и только тогда, когда имеет место закономерность,
описываемая конъюнкцией следующих фактов:
1) хi имеет характеристику vi1∈Vi со значением «прилагательное» - (∃хi:X) Р(xi, t(vi1,
прилагательное));
2) хi имеет характеристику vi3 со значением сорта «род» - (∃хi:X) Р(xi, t(vi3, vi3));
3) хi имеет характеристику vi4 со значением сорта «число» - (∃хi:X) Р(xi, t(vi4, vi4));
4) хi имеет характеристику vi5 со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5));
5) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X)
Р(xi+1, t(v(i+1)1, существительное));
6) хi+1 имеет характеристику v(i+1)3 со значением сорта «род» - (∃хi+1:X) Р(xi+1, t(v(i+1)3,
v(i+1)3));
7) хi+1 имеет характеристику v(i+1)4 со значением сорта «число» - (∃хi+1:X) Р(xi+1,
t(v(i+1)4, v(i+1)4));
8) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1,
t(v(i+1)5, v(i+1)5));
9) vi3 должна быть эквивалентна v(i+1)3 - РЕ(vi3, v(i+1)3);
51
Страницы
- « первая
- ‹ предыдущая
- …
- 49
- 50
- 51
- 52
- 53
- …
- следующая ›
- последняя »
