ВУЗ:
Составители:
Рубрика:
39
q
2
М
= ((P
f
(t
in
(x
i
,3), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
11
) ∧ P
f
(t
in
(x
1
,3), y
3
, f
3
) ∧ P
f
(t
in
(y
3
), y
4
,
f
1
)∧ P
E
(y
4
, s
31
)) ∨ ((P
f
(t
in
(x
i
,2), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
11
) ∧ P
f
(t
in
(x
1
,2), y
3
, f
3
) ∧
P
f
(t
in
(y
3
), y
4
, f
1
)∧ P
E
(y
4
, s
31
)) ∨ ((P
f
(t
in
(x
i
,1), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
11
) ∧ P
f
(t
in
(x
1
,1), y
3
,
f
3
) ∧ P
f
(t
in
(y
3
), y
4
, f
1
)∧ P
E
(y
4
, s
31
)) ∨ ((P
f
(t
in
(x
i
,0), y
1
, f
2
) ∧ P
f
(t
in
(y
1
), y
2
, f
1
) ∧ P
E
(y
2
, s
11
) ∧
P
f
(t
in
(x
1
,1), y
3
, f
3
) ∧ P
f
(t
in
(y
3
), y
4
, f
1
)∧ P
E
(y
4
, s
31
))) ∧ P
f
(t
in
(y
3
, Н
1
(u, v)), y
5
, f
4
) ∧ P
f
(t
in
(y
5
), y
6
, f
1
)∧ ∧
P
E
(y
6
, s
21
)∧ P
f
(t
in
(y
5
, Н
1
(u, v)), y
6
, f
4
)∧ P
E
(y
6
, х
7411
) ∧ P
f
(t
in
(y
5
, y
1
, Н(u, v, z)), y
7
, f
5
)∧ P
f
(t
in
(y
7
), y
8
,
f
1
)∧ P
E
(y
8
, s
751
) ↔ (∃х
i
:X) P
s
(х
i
, х
7411
,
r
t
2
);
r
2
М
= add [(V
i
, v
i1
, y
6
) ∧ V(V
i
, (v
i2
, l
1
(y
8
)), (v
i3
, l
2
(y
8
)), (v
i4
, l
3
(y
8
)), (v
i5
, l
4
(y
8
)))].
Программа
r
2
М
присваивает элементу v
i1
вектора V
i
∈V название полученной части
речи,
v
i2
– признак одушевленности посредством функции l
1
, которая выделяет первый
элемент кортежа переменной МИ, элементу
v
i3
присваивает значение рода посредством
функции
l
2
, которая выделяет второй элемент кортежа переменной МИ, элементу v
i4
присваивает значение числа через функцию l
3
, которая выделяет третий элемент кортежа
переменной МИ, и элементу
v
i5
присваивает значение падежа через функцию l
4
, которая
выделяет четвертый элемент кортежа переменной МИ.
Правило рr
3
М
касается ситуации, описывающей принадлежность лексемы к части речи
прилагательное:
х
i
лексема относится к части речи прилагательное тогда и только тогда,
когда имеет место ситуация, составляющая конъюнкцию следующих фактов:
1) лексема
х
i
имеет окончание y
1
мощностью |е|=3 - P
f
(t
in
(x
i
,3), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт s
1j
имеет значение s
12
(множество окончаний прилагательных) - P
E
(y
2
, s
12
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,3), y
3
, f
3
);
5) основа
y
2
лексемы х
i
принадлежит сорту s
3k
∈S - P
f
(t
in
(y
3
), y
4
, f
1
);
6) сорт
s
3k
имеет значение s
31
(множество основ) - P
E
(y
4
, s
31
);
или
1) лексема
х
i
имеет окончание y
1
мощностью |е|=2 - P
f
(t
in
(x
i
,2), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт
s
1j
имеет значение s
12
(множество окончаний прилагательных) - P
E
(y
2
, s
12
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,2), y
3
, f
3
);
5) основа
y
2
лексемы х
i
принадлежит сорту s
3k
∈S - P
f
(t
in
(y
3
), y
4
, f
1
);
6) сорт
s
3k
имеет значение s
31
(множество основ) - P
E
(y
4
, s
31
);
и для всех предыдущих фактов:
7) основа
y
2
отображается во флективный класс y
3
- P
f
(t
in
(y
3
, Н
1
(u, v)), y
5
, f
4
);
8) флективный класс
y
3
лексемы х
i
принадлежит сорту s
2p
∈S - P
f
(t
in
(y
5
), y
6
, f
1
);
9) сорт s
2p
имеет значение s
22
(множество ФК прилагательных) - P
E
(y
6
, s
22
);
10) флективный класс
y
3
отображается в постоянную морфологическую информацию
y
4
- P
f
(t
in
(y
5
, Н
1
(u, v)), y
6
, f
4
);
11) МИ
y
4
имеет значение х
7412
(часть речи прилагательное) - P
E
(y
6
, х
7412
);
12)флективный класс
y
3
и окончание y
1
отображаются в набор переменной
морфологической информации
y
5
- P
f
(t
in
(y
5
, y
1
, Н(u, v, z)), y
7
, f
5
);
13) набор МИ
y
5
имеет сорт s
75t
(множество наборов переменной МИ) - P
f
(t
in
(y
7
), y
8
,
f
1
);
14) сорт
s
75t
имеет значение s
752
(множество наборов переменной МИ прилагательных)
q2М = ((Pf(tin(xi,3), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s11) ∧ Pf(tin(x1,3), y3, f3) ∧ Pf(tin(y3), y4, f1)∧ PE(y4, s31)) ∨ ((Pf(tin(xi,2), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s11) ∧ Pf(tin(x1,2), y3, f3) ∧ Pf(tin(y3), y4, f1)∧ PE(y4, s31)) ∨ ((Pf(tin(xi,1), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s11) ∧ Pf(tin(x1,1), y3, f3) ∧ Pf(tin(y3), y4, f1)∧ PE(y4, s31)) ∨ ((Pf(tin(xi,0), y1, f2) ∧ Pf(tin(y1), y2, f1) ∧ PE(y2, s11) ∧ Pf(tin(x1,1), y3, f3) ∧ Pf(tin(y3), y4, f1)∧ PE(y4, s31))) ∧ Pf(tin(y3, Н1(u, v)), y5, f4) ∧ Pf(tin(y5), y6, f1)∧ ∧ PE(y6, s21)∧ Pf(tin(y5, Н1(u, v)), y6, f4)∧ PE(y6, х7411 ) ∧ Pf(tin(y5, y1, Н(u, v, z)), y7, f5)∧ Pf(tin(y7), y8, f1)∧ PE(y8, s751) ↔ (∃хi:X) Ps(хi, х7411 , t 2r ); r2М = add [(Vi, vi1, y6) ∧ V(Vi, (vi2, l1(y8)), (vi3, l2(y8)), (vi4, l3(y8)), (vi5, l4(y8)))]. Программа r2М присваивает элементу vi1 вектора Vi∈V название полученной части речи, vi2 – признак одушевленности посредством функции l1, которая выделяет первый элемент кортежа переменной МИ, элементу vi3 присваивает значение рода посредством функции l2, которая выделяет второй элемент кортежа переменной МИ, элементу vi4 присваивает значение числа через функцию l3, которая выделяет третий элемент кортежа переменной МИ, и элементу vi5 присваивает значение падежа через функцию l4, которая выделяет четвертый элемент кортежа переменной МИ. Правило рr3М касается ситуации, описывающей принадлежность лексемы к части речи прилагательное: хi лексема относится к части речи прилагательное тогда и только тогда, когда имеет место ситуация, составляющая конъюнкцию следующих фактов: 1) лексема хi имеет окончание y1 мощностью |е|=3 - Pf(tin(xi,3), y1, f2); 2) окончание y1 принадлежит сорту s1j∈S - Pf(tin(y1), y2, f1); 3) сорт s1j имеет значение s12 (множество окончаний прилагательных) - PE(y2, s12); 4) лексема хi имеет основу y2 - Pf(tin(x1,3), y3, f3); 5) основа y2 лексемы хi принадлежит сорту s3k ∈S - Pf(tin(y3), y4, f1); 6) сорт s3k имеет значение s31 (множество основ) - PE(y4, s31); или 1) лексема хi имеет окончание y1 мощностью |е|=2 - Pf(tin(xi,2), y1, f2); 2) окончание y1 принадлежит сорту s1j∈S - Pf(tin(y1), y2, f1); 3) сорт s1j имеет значение s12 (множество окончаний прилагательных) - PE(y2, s12); 4) лексема хi имеет основу y2 - Pf(tin(x1,2), y3, f3); 5) основа y2 лексемы хi принадлежит сорту s3k ∈S - Pf(tin(y3), y4, f1); 6) сорт s3k имеет значение s31 (множество основ) - PE(y4, s31); и для всех предыдущих фактов: 7) основа y2 отображается во флективный класс y3 - Pf(tin(y3, Н1(u, v)), y5, f4); 8) флективный класс y3 лексемы хi принадлежит сорту s2p∈S - Pf(tin(y5), y6, f1); 9) сорт s2p имеет значение s22 (множество ФК прилагательных) - PE(y6, s22); 10) флективный класс y3 отображается в постоянную морфологическую информацию y4 - Pf(tin(y5, Н1(u, v)), y6, f4); 11) МИ y4 имеет значение х7412 (часть речи прилагательное) - PE(y6, х7412 ); 12)флективный класс y3 и окончание y1 отображаются в набор переменной морфологической информации y5 - Pf(tin(y5, y1, Н(u, v, z)), y7, f5); 13) набор МИ y5 имеет сорт s75t (множество наборов переменной МИ) - Pf(tin(y7), y8, f1); 14) сорт s75t имеет значение s752 (множество наборов переменной МИ прилагательных) 39
Страницы
- « первая
- ‹ предыдущая
- …
- 37
- 38
- 39
- 40
- 41
- …
- следующая ›
- последняя »