ВУЗ:
Составители:
Рубрика:
Р
Е
(v
(i+1)5
, предложный).
Тогда продукция записывается в виде: pr
39
s
=<q
39
s
, r
39
s
>, где
q
39
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, существительное)) ∧ (∃x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, существительное), t(v
(i+1)5
,
v
(i+1)5
)) ∧ (Р
Е
(v
(i+1)5
, родительный) ∨ Р
Е
(v
(i+1)5
, предложный)) ↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(СС, t(х
i
, x
i+1
));
r
39
s
= add [L
4
(D, (x
i
, x
i+1
)) ∧ L
1
(x
i
) ∧ L
2
(x
i+1
)].
11. Правило для построения словосочетания ГС1 (глагол + существительное). Правило ищет
два слова х
i
и х
i+1
или х
i+2
, где х
i
–глагол в любой форме, а х
i+1
или х
i+2
– существительное или
наоборот, например, выдать список, участвует в соревнованиях, выдать студентам, стали
отличниками, провели преподаватели, закончили специальность в 2000 году. В результате
формируется словосочетание (х
i
, х
i+1
) или (х
i
, х
i+2
) с главным словом х
i
, которое должно относиться
к части речи глагол. Тогда представим правило в виде трех ситуаций. Для первой ситуации
утверждение касается случая, когда пара лексем х
i
и (х
i+1
или х
i+2
)
образует пару ГС1 тогда и только
тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «глагол» в любой форме - (∃х
i
:X) Р(x
i
, t(v
i1
,
глагол)), или Р(x
i
, t(v
i1
, глагол прошедшего времени)), или Р(x
i
, t(v
i1
, глагол-отрицание)), или Р(x
i
,
t(v
i1
, глагол прошедшего времени-отрицание)), или Р(x
i
, t(v
i1
, инфинитив-отрицание)), или Р(x
i
, t(v
i1
,
инфинитив));
2) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «существительное» - (∃x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное)).
Продукция для данного правила представляется в виде пары: pr
40
s
=<q
40
s
, r
40
s
>, где
q
40
s
= (∃х
i
:X) (Р(x
i
, t(v
i1
, глагол)) ∨ Р(x
i
, t(v
i1
, глагол прошедшего времени)) ∨ Р(x
i
, t(v
i)1
, глагол-
отрицание))
∨ Р(x
i
, t(v
i1
, глагол прошедшего времени-отрицание)) ∨ Р(x
i
, t(v
i1
, инфинитив-
отрицание))
∨ Р(x
i
, t(v
i1
, инфинитив)))∧ (∃x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, существительное)) ↔ (∃х
i
:X)
(
∃x
i+1
:X) Р
1
(ГС1, t(х
i
, x
i+1
));
r
40
s
= add [L
4
(D, (x
i
, x
i+1
)) ∧ L
1
(x
i
) ∧ L
2
(x
i+1
)].
Для второй ситуации правило описывается продукцией pr
41
s
=<q
41
s
, r
41
s
>, где
q
41
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, существительное)) ∧ (∃x
i+1
:X) (Р(x
i+1
, t(v
(i+1)1
, глагол)) ∨ Р(x
i+1
, t(v
(i+1)1
,
глагол прошедшего времени))
∨ Р(x
i+1
, t(v
(i+1)1
, глагол-отрицание)) ∨ Р(x
i+1
, t(v
(i+1)1
, глагол
прошедшего времени-отрицание))
∨ Р(x
i+1
, t(v
(i+1)1
, инфинитив-отрицание)) ∨ Р(x
i+1
, t(v
(i+1)1
,
инфинитив)))
↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(ГС1, t(х
i
, x
i+1
));
r
41
s
= add [L
4
(D, (x
i+1
, x
i
)) ∧ L
1
(x
i+1
) ∧ L
2
(x
i
)].
Для третьей ситуации правило описывается продукцией pr
41
s
=<q
42
s
, r
42
s
>, где
q
42
s
= (∃х
i
:X) (Р(x
i
, t(v
i1
, глагол)) ∨ Р(x
i
, t(v
i1
, глагол прошедшего времени)) ∨ Р(x
i
, t(v
i)1
, глагол-
отрицание))
∨ Р(x
i
, t(v
i1
, глагол прошедшего времени-отрицание)) ∨ Р(x
i
, t(v
i1
, инфинитив-
отрицание))
∨ Р(x
i
, t(v
i1
, инфинитив))) ∧ (∃x
i+2
:X) Р(x
i+2
, t(v
(i+2)1
, существительное)) ↔ (∃х
i
:X)
(
∃x
i+2
:X) Р
1
(ГС1, t(х
i
, x
i+2
));
r
42
s
= add [L
4
(D, (x
i
, x
i+2
)) ∧ L
1
(x
i
) ∧ L
2
(x
i+2
)].
12. Правило для построения словосочетания ГС2 (существительное + словоформа слова
«который»+глагол). Правило ищет три контактно стоящих слова х
i
, х
i+1
и х
i+2
, где х
i
–
109
РЕ(v(i+1)5, предложный).
Тогда продукция записывается в виде: pr39s =, где
q39s = (∃хi:X) Р(xi, t(vi1, существительное)) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное), t(v(i+1)5,
v(i+1)5)) ∧ (РЕ(v(i+1)5, родительный) ∨ РЕ(v(i+1)5, предложный)) ↔ (∃хi:X) (∃xi+1:X) Р1(СС, t(хi, xi+1));
r39s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)].
11. Правило для построения словосочетания ГС1 (глагол + существительное). Правило ищет
два слова хi и хi+1 или хi+2, где хi –глагол в любой форме, а хi+1 или хi+2 – существительное или
наоборот, например, выдать список, участвует в соревнованиях, выдать студентам, стали
отличниками, провели преподаватели, закончили специальность в 2000 году. В результате
формируется словосочетание (хi, хi+1) или (хi, хi+2) с главным словом хi, которое должно относиться
к части речи глагол. Тогда представим правило в виде трех ситуаций. Для первой ситуации
утверждение касается случая, когда пара лексем хi и (хi+1 или хi+2) образует пару ГС1 тогда и только
тогда, когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
1) хi имеет характеристику vi1∈Vi со значением «глагол» в любой форме - (∃хi:X) Р(xi, t(vi1,
глагол)), или Р(xi, t(vi1, глагол прошедшего времени)), или Р(xi, t(vi1, глагол-отрицание)), или Р(xi,
t(vi1, глагол прошедшего времени-отрицание)), или Р(xi, t(vi1, инфинитив-отрицание)), или Р(xi, t(vi1,
инфинитив));
2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1,
t(v(i+1)1, существительное)).
Продукция для данного правила представляется в виде пары: pr40s =, где
q40 s = (∃хi:X) (Р(xi, t(vi1, глагол)) ∨ Р(xi, t(vi1, глагол прошедшего времени)) ∨ Р(xi, t(vi)1, глагол-
отрицание)) ∨ Р(xi, t(vi1, глагол прошедшего времени-отрицание)) ∨ Р(xi, t(vi1, инфинитив-
отрицание)) ∨ Р(xi, t(vi1, инфинитив)))∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1, существительное)) ↔ (∃хi:X)
(∃xi+1:X) Р1(ГС1, t(хi, xi+1));
r40 s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)].
Для второй ситуации правило описывается продукцией pr41s =, где
q41 s = (∃хi:X) Р(xi, t(vi1, существительное)) ∧ (∃xi+1:X) (Р(xi+1, t(v(i+1)1, глагол)) ∨ Р(xi+1, t(v(i+1)1,
глагол прошедшего времени)) ∨ Р(xi+1, t(v(i+1)1, глагол-отрицание)) ∨ Р(xi+1, t(v(i+1)1, глагол
прошедшего времени-отрицание)) ∨ Р(xi+1, t(v(i+1)1, инфинитив-отрицание)) ∨ Р(xi+1, t(v(i+1)1,
инфинитив))) ↔ (∃хi:X) (∃xi+1:X) Р1(ГС1, t(хi, xi+1));
r41 s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)].
Для третьей ситуации правило описывается продукцией pr41s =, где
q42 s = (∃хi:X) (Р(xi, t(vi1, глагол)) ∨ Р(xi, t(vi1, глагол прошедшего времени)) ∨ Р(xi, t(vi)1, глагол-
отрицание)) ∨ Р(xi, t(vi1, глагол прошедшего времени-отрицание)) ∨ Р(xi, t(vi1, инфинитив-
отрицание)) ∨ Р(xi, t(vi1, инфинитив))) ∧ (∃xi+2:X) Р(xi+2, t(v(i+2)1, существительное)) ↔ (∃хi:X)
(∃xi+2:X) Р1(ГС1, t(хi, xi+2));
r42 s = add [L4(D, (xi, xi+2)) ∧ L1(xi) ∧ L2(xi+2)].
12. Правило для построения словосочетания ГС2 (существительное + словоформа слова
«который»+глагол). Правило ищет три контактно стоящих слова хi, хi+1 и хi+2, где хi –
109
Страницы
- « первая
- ‹ предыдущая
- …
- 108
- 109
- 110
- 111
- 112
- …
- следующая ›
- последняя »
