Найханова Л.С. Методы и алгоритмы трансляции естественно-языковых запросов к базе данных в SQL запросы
Подождите немного. Документ загружается.
31
2.3.1.1. Словари и таблицы совместимости
Лингвистическое обеспечение, необходимое для выполнения морфологического
анализа, описано в Приложении А. В разработанном алгоритме морфологического анализа
используются словари окончаний, словарь флективных классов, словарь готовых
словоформ и словарь основ.
Произвольная форма слова может сильно отличаться от своей исходной формы (ШЕЛ
- ИДТИ), поэтому основная проблема при решении этой задачи - поиск исходной формы в
словаре. Эта проблема решается с помощью рабочих словарей, в число которых входят
словари основ, словари окончаний и словари флективных классов.
Словари окончаний включают окончания существительных, прилагательных, кратких
прилагательных, глаголов, глаголов в прошедшем времени и имеют структуру: [номер
окончания] [окончание]. Под окончанием понимается изменяющаяся часть слова, которые
определяют переменные морфологические параметры слова (например, для
существительного – число и падеж). Словарь окончаний существительных имеет
структуру, показанную в таблице 2.
Таблица 2 - Словарь окончаний существительных
№ Окончание № Окончание № Окончание № Окончание
1 о 11 ей 21 ев 31 ого
2 а 12 ов 22 й 32 ому
3 у 13 ы 23 ью 33 ый
4 ом 14 ой 24 ий 34 ым
5 е 15 ем 25 его 35 ые
6 _ 16 я 26 ему 36 ых
7 ам 17 ю 27 им 37 ыми
8 ами 18 ям 28 ие 38 ое
9 ах 19 ями 29 их 39 ее
10 и 20 ях 30 ими 40 ая
41 ую
Структура словарей окончаний прилагательных, кратких прилагательных, глаголов и
глаголов в прошедшем времени аналогична структуре словаря окончаний
существительных.
Словарь основ имеет структуру вида: [номер основы] [основа] (табл. 3).
Таблица 3 - Словарь основ
Номер основы Основа
1 абсолютн
2 абстрактн
3 автономн
… …
Часть речи представляет собой классы слов языка, выделяемые на основании
сходства их синтаксических, морфологических и логико-семантических свойств. Каждой
части речи свойствен свой набор грамматических категорий, причём этим набором
охватывается абсолютное большинство слов данной части речи. Многие слова,
относящиеся к одной и той же части речи, могут быть сгруппированы в отдельный
32
флективный класс (ФК), который описывает закон их словообразования. По флективному
классу при морфологическом анализе определяют постоянные параметры слова (для
существительного - род и одушевленность, для других частей речи – часть речи). Словари
флективных классов содержат флективные классы для существительных (табл. 4),
прилагательных, кратких прилагательных, глаголов, глаголов в прошедшем времени,
неизменяемых слов и для каждой части речи имеют различную структуру. Словарь
флективных классов для глаголов в личной форме, существительных, кратких
прилагательных, прилагательных, причастий и порядковых числительных имеет структуру
вида: [номер флективного класса] [список окончаний].
Таблица 4 - Флективные классы существительных
ФК Окончания Пример ФК Окончания Пример
неодушевленный, мужской род
1101 _,_,ом,ы,ов,ы ? телефон 1110 _,_,ем,и,ей,и ? путь
1102 _,_,ом,и,ей,и ? тираж 1111 й,й,ем,я,ев,я ? край
1103 _,_,ем,и,ей,и ь огонь 1112 _,_,ом,я,ев,я ? брус
1104 й,й,ем,и,ев,и ? перебой 1113 _,_,ом,а,_,а ? глаз
1105 й,й,ем,и,ев,и и санаторий 1114 _,_,ем,и,ей,ей ? зародыш
1106 _,_,ом,и,ов,и ? бланк 1115 _,_,ом,ы,_,ы ? волос
1107 _,_,ом,и,_,и ? сапог 1116 _,_,ем,я,ей,я ь лагерь
1108 _,_,ом,а,ов,а ? лес 1117 _,_,ю,и,ев,и ? ложь
1109 _,_,ем,ы,ев,ы ? колодец
одушевленный, мужской род
1118 а,_,ами,а,_,_ ? ребята 1208 _,а,ом,и,ов,ов ? сапожник
1200 _,а,ом,ы,ов,ов ? кузнец 1209 _,а,ем,ы,ев,ев ? испанец
1201 _,а,ом,ы,_,_ ? солдат 1210 а,у,ей,и,ей,ей ? юноша
1202 _,а,ом,и,ей,ей ? сосед 1211 а,у,ой,ы,_,_ ? мужчина
1203 _,а,ом,и,ов,ов ж враг 1212 я,ю,ей,и,ей,ей ь судья
1203 _,а,ом,и,ов,ов ч враг 1213 _,а,ем,и,ей,ей ? товарищ
1203 _,а,ом,и,ов,ов ш враг 1214 _,а,ом,е,_,_ ? гражданин
1203 _,а,ом,и,ов,ов щ враг 1215 _,а,ом,а,ов,ов ? профессор
1204 й,я,ем,и,ев,ев ? пролетарий 1216 _,а,ем,я,ей,ей ? муж
1205 ей,я,ем,и,ев,ев ? воробей 1217 _,а,ым,ы,ых,ых ? Иванов
1206 _,я,ем,и,ей,ей ь конь 1218 _,а,ом,я,ей,ей ? сын
1207 _,я,ем,я,ей,ей ь учитель 1219 _,а,ом,а,_,_ ? хозяин
1220 _,а,ом,я,ев,ев ? брат
одушевленный, женский род
1300 а,у,ой,ы,_,_ ? женщина 1305 а,у,ой,и,_,_ ? санитарка
1301 а,у,ей,ы,_,_ ? переводчица 1306 _,_,ю,и,ей,ей ь мышь
1302 я,ю,ей,и,й,й и нутрия 1307 а,у,ой,ы,ых,ых ? Иванова
1303 я,ю,ей,и,й,й е швея 1308 _,_,ью,и,ей,ей ь дочь
1304 я,ю,ей,и,_,_ ? цапля 1309 а,у,ей,и,_,_ ? билетерша
неодушевленный, женский род
1400 _,_,ю,и,ей,и ч речь 1405 я,ю,ей,и,й,и н линия
1400 _,_,ю,и,ей,и ж ложь 1406 я,ю,ей,и,й,и е галерея
1400 _,_,ю,и,ей,и ш вошь 1407 я,ю,ей,и,ь,и ? земля
1400 _,_,ю,и,ей,и щ мощь 1408 я,ю,ей,и,ий,и ? эскадрилья
1401 _,_,ю,и,ей,и ь грань 1409 я,ю,ей,и,ей,и ь статья
1402 а,у,ой,ы,_,ы ? колба 1410 я,ю,ей,и,_,и ? башня
33
Продолжение таблицы 4
1403 а,у,ей,и,_,и ? задача 1411 а,у,ей,ы,_,ы ? улица
1404 а,у,ой,и,_,и ? заготовка 1412 и,и,ями,и,ей,и ? бигуди
неодушевленный, средний род
1500 о,о,ом,а,_,а ? место 1507 е,е,ем,я,ий,я ? побережье
1501 о,о,ом,а,ов,а ? облако 1508 о,о,ом,и,ей,и ? окно
1502 е,е,ем,я,ей,я ? поле 1509 о,о,ом,и,ов,и ? очко
1503 е,е,ем,я,й,я ? сомнение 1510 е,е,ем,я,ей,я ? ружье
1504 е,е,ем,а,_,а ? жилище 1511 о,о,ом,и,_,и ? колено
1505 о,о,ом,я,ев,я ? перо 1512 е,е,ем,я,ев,я ? платье
1506 я,я,ем,а,_,а ? время 1513 е,е,ем,а,ев,а ? блюдце
одушевленный, средний род
1514 и,ей,и,и,ей,ей ? дети 1603 ое,ое,ым,ые,ых,ых ? животное
другие ФК
1600
ый,ого,ым,ые,ых,ых
?
бездомный 1605 ая,ую,ой,ые,ых,ые ? ванная
1601 ий,его,им,ие,их,их ? нищий 1606 ая,ую,ой,ие,их,ие ? мастерская
1602
ой,ого,ым,ые,ых,ых
?
больной 1607 ий,ий,им,ие,их,ие ? английский
1604 ее,ее,им,ие,их,их ? болеутоляющее
Особым образом морфологическая подсистема обрабатывает слова-исключения, то
есть слова, у которых неизменной основы нет. Такие слова хранятся в отдельном словаре
готовых словоформ. Словарь имеет следующую структуру: [номер ФК], [словоформа]
(табл. 5), и включает в себя слова, относящиеся к служебным частям речи (наречия,
предлоги, союзы, неизменяемые существительные, неизменяемые прилагательные,
неизменяемые глаголы, инфинитив, сравнительную степень прилагательного, вводные
слова, междометия, деепричастия, цифры т.д.).
Таблица 5 - Словарь готовых словоформ
ФК Слово ФК Слово
7100 точь-в-точь 7203 эскимо
7100 по-татарски 7203 амплуа
7100 по-польски 7203 манто
…. …. … …
При морфологическом анализе необходимо отображать элементы одного множества в
элементы другого множества: Основа → ФК; (ФК ∧ Окончание) → МИ. Для
интерпретации отображений будем использовать таблицы совместимости, с помощью
которых устанавливается соответствие отображаемых элементов.
2.3.1.2. Алгоритм морфологического анализа
Входной информацией морфологического анализа является множество лексем
предложения запроса, словари основ, окончаний, готовых словоформ, флективных классов,
а также таблицы совместимости Основа → ФК и (ФК ∧ Окончание) → МИ. Ниже приведем
основные фазы морфологического анализа.
Шаг 1. Поиск лексемы в словаре готовых словоформ.
Шаг 2. Если словоформа найдена, то извлекаем код ФК и переходим на Шаг 6, в
34
противном случае переходим на следующий Шаг.
Шаг 3. Выделение основы и окончания.
Шаг 4. Поиск окончания в словаре окончаний и основы в словаре основ.
Шаг 5. Если окончание и основа найдены, то отображение основы на флективный
класс (Основа → ФК) и переход на следующий Шаг, в противном случае - переход на
Шаг3.
Шаг 6. Поиск морфологической информации по таблице совместимости «(ФК ∧
Окончание) → МИ».
Шаг 7. Если набор МИ найден, то осуществляем формирование кортежа с итоговой
морфологической информацией о лексеме, в противном случае переходим на Шаг3.
2.3.2. База правил морфологического анализа
Для всех видов анализа потребуется лингвистическое обеспечение, состоящее из
различных словарей. Структуру словарей будем представлять в виде сортов. Структура
словарей, необходимых для построения системы продукций морфологического анализа,
описана в следующем разделе.
2.3.2.1. Сорта морфологического анализа
На основе содержательного описания морфологического анализа выделены
следующие сорта:
s
1
– сорт, содержащий окончания словоформ и s
1
={окончания существительных,
окончания прилагательных, окончания глаголов, окончания кратких прилагательных,
окончания глаголов в прошедшем времени}={
s
11
,
s
12
,
s
13
, s
14
, s
15
}, где
s
11
- словарь окончаний
существительных и s
11
={х
111
,
х
112
,
х
113
, …, х
1142
};
s
12
- словарь окончаний прилагательных и s
12
={х
121
,
х
122
,
х
123
, …, х
1257
};
s
13
- словарь окончаний глаголов и s
13
={х
131
,
х
132
,
х
133
, …, х
1315
};
s
14
- словарь окончаний кратких прилагательных и s
14
={х
141
,
х
142
,
х
143
, х
144
, х
145
, х
146
};
s
15
- словарь окончаний глаголов в прошедшем времени s
15
={х
151
,
х
152
,
х
153
, х
154
}.
s
2
– сорт, содержащий коды флективных классов словоформ и s
2
={коды флективных
классов существительных, коды флективных классов прилагательных, коды флективных
классов глаголов, коды флективных классов кратких прилагательных, коды флективных
классов неизменяемых слов}={
s
21
,
s
22
,
s
23
, s
24
, s
25
}, где
s
21
- множество кодов флективных классов существительных и s
21
={х
211
,
х
212
,
х
213
, …,
х
2191
};
s
22
- множество кодов флективных классов прилагательных и s
22
={х
221
,
х
222
,
х
223
, …,
х
2212
};
s
23
- множество кодов флективных классов глаголов и s
23
={х
231
,
х
232
,
х
233
, …, х
237
};
s
24
- множество кодов флективных классов кратких прилагательных и s
24
={х
241
,
х
242
,
х
243
}.
s
25
- множество кодов флективных классов неизменяемых слов и s
25
={х
251
,
х
252
,
х
253
…,
х
258
}.
s
3
– сорт, содержащий словоформы и лексемы и s
3
={основы словоформ,
неизменяемые слова, имена собственные}={
s
31,
s
32
, s
33
}, где
s
31
- словарь основ и s
31
={х
311
,
х
312
,
х
313
, …, х
31n
}, где n – количество основ в словаре
основ;
35
s
32
- словарь неизменяемых слов и s
32
={х
321
,
х
322
,
х
323
, …, х
32k
}, где k – количество
неизменяемых слов;
s
33
- словарь имен собственных и s
33
={х
331
,
х
332
,
х
333
, …, х
33f
}, где f – количество имен
собственных.
s
8
– сорт, содержащий множество морфологических признаков числа словоформы и
s
8
={единственное, множественное}={х
81,
х
82
};
s
9
– сорт, содержащий множество морфологических признаков падежа словоформы и
s
9
={именительный, родительный, дательный, винительный, творительный,
предложный}={
х
91,
х
92
, х
93
, х
94
, х
95
, х
96
};
s
70
– сорт, содержащий множество морфологических признаков рода словоформы и
s
70
={ мужской, женский, средний}={х
701,
х
702
, х
703
};
s
71
– сорт, содержащий множество морфологических признаков одушевленности
словоформы и
s
71
={одушевленный, неодушевленный}={х
711,
х
712
};
s
72
– сорт, содержащий множество морфологических признаков лица словоформы и
s
72
={первое, второе, третье}={х
721,
х
722
, х
723
};
s
73
– сорт, содержащий множество морфологических признаков времени глаголов и
s
73
={настоящее, прошедшее, будущее}={х
731,
х
732
, х
733
};
s
74
– сорт, содержащий множество частей речи и s
74
={s
741
, s
742
}, где
s
741
– множество изменяемых частей речи и s
741
={существительное, прилагательное,
глагол, краткое прилагательное, глагол в прошедшем времени}={
х
7411,
х
7412,
х
7413
, х
7414
,
х
7415
};
s
742
–множество неизменяемых частей речи и s
75
={наречия, предлоги, союзы,
числительное, частицы, неизменяемые существительные, неизменяемые прилагательные,
неизменяемые глаголы, инфинитив, сравнительная степень прилагательного, вводные
слова, междометия, деепричастия, цифры}={
х
7421,
х
7422,
х
7423, …,
х
74212
};
s
75
– сорт, содержащий множество наборов переменной морфологической
информации и
s
75
={s
751
, s
752
, s
753
, s
754
}, где s
751
={< s
71
, s
70
, s
8
, s
9
, s
72
>, …} – множество
наборов морфологической информации существительных;
s
752
- множество наборов
морфологической информации прилагательных;
s
753
- множество наборов морфологической
информации глаголов; s
754
- множество наборов морфологической информации
неизменяемых частей речи.
Морфологическая информация (МИ) должна быть представлена в виде вектора
V =
<
v
1
, v
2
, v
3
, v
4
, v
5
, v
6
, v
7
, v
8
>, где v
1
– часть речи, v
2
– признак одушевленности, v
3
– род, v
4
–
число
, v
5
– падеж, v
6
– лицо, v
7
– время, v
8
– признак для имени собственного. Тогда х
i
лексеме в результате морфологического анализа будет приписан V
i
= <v
i1
, v
i2
, v
i3
, v
i4
, v
i5
, v
i6
,
v
i7
, v
i8
> вектор морфологической информации. При этом v
i1
соответствует значение
постоянной МИ, а элементам
v
i2
, v
i3
, v
i4
, v
i5
, v
i6
, v
i7
, v
8
– переменные характеристики
морфологической информации.
2.3.2.2. Типовые предикаты условий применимости продукций морфологического
анализа
Для описания морфологического анализа в работе использованы предикаты
функционального типа (табл. 6), имеющие тернарный кортеж термов. Первый терм
описывает входную информацию, второй – выходную и третий – ссылку на
36
функциональную процедуру, действие которой совпадает с назначением предиката.
Кроме функциональных предикатов необходим предикат эквивалентности,
позволяющий устанавливать тождество значений заданных переменных. В продукционных
правилах для проверки некоторого факта текущей ситуации зачастую результат
у
i
выполнения процедур
F
i
(i=1..5) должен сравниваться на равенство с некоторой
переменной
y, для этого и используется предикат эквивалентности P
E
(y, y).
Таблица 6 - Типовые предикаты морфологического анализа
Термы (аргументы) кортежа
N
п/п
Предикат Назначение
Входная информация
Выходная
информация
Ссыл-
ка
1 P
f
(x, y, f
1
) Определение сорта x- входная переменная
y – сорт ∈ S
f
1
2 P
f
(t
in
(x,с), y, f
2
) Выделение окончания
x - лексема
с-
длина окончания
y
– окончание f
2
3 P
f
(t
in
(x
1
,с), y, f
3
) Выделение основы
x – лексема
с- длина окончания
y
– основа f
3
Определение
соответствий:
1) основа
→
флективный класс
2) неизменяемое
слово
→ флективный
класс
x – основа или
неизменяемое слово
Н -
бинарное отношение
между флективным
классом
u и основой
(неизменяемым словом)
x
(таблица)
4 P
f
(t
in
(x,Н(х,u)), y, f
4
)
Определение
соответствия:
флективный класс
→
постоянная часть
набора
морфологической
информации
x – флективный класс
Н - бинарное отношение
между флективным
классом
x и постоянной
частью набора
морфологической
информации
u (таблица)
y – значение v
таблицы Н
f
4
5
P
f
(t
in
(x
1
,х
2
,Н(u,v,z)),
y, f
5
)
Определение
соответствия:
флективный класс +
окончание
→
переменная часть
набора
морфологической
информации
x
1
- флективный класс
х
2
– окончание
Н - бинарное отношение
между флективным
классом
u, окончанием v и
набором морфологической
информации
z (таблица)
y
– значение v
таблицы Н при
x
1
=u и х
2
=v
f
5
На основе этих типов предикатов разработана база правил морфологического анализа,
представленная в виде системы продукций.
2.3.2.3. Система продукций морфологического анализа
Согласно описанию формального аппарата, приведенного в разделе 2.2.2, решение
задач представляется в виде преобразований в пространстве ситуаций. Каждая ситуация
описывается продукционным правилом вида <
q, r>, где q – условие применимости, r -
программа. Поэтому по каждой, разрабатываемой в работе модели строится система
продукций (база правил). Условие применимости записывается как правильно построенная
формула логики предикатов первого порядка. В формуле предикаты, описывающие
отдельные факты, связываются между собой посредством логических операторов ∧, ∨, ↔,
¬, ⊃.
Описание правил осуществляется в три этапа. На первом этапе правило описывается в
содержательной форме в виде множества высказываний. На втором этапе каждое
37
высказывание представляется в виде соответствующего предиката, а на последнем –
строится формула для условия применимости
q продукции. Программа r продукции pr
представляется в виде операций добавления и/или удаления фактов.
База правил морфологического анализа включает в себя продукционные правила по
распознаванию ситуаций, связанных с идентификацией слов, относящихся к неизменяемым
и изменяемым частям речи. Входная информация представляется в виде результатов
предварительного лексического анализа, т.е. на вход системе продукций подается лексема
х
i
∈Х, где Х – множество лексем естественно-языкового запроса.
Таким образом, рассмотрим возможные ситуации, возникающие при проведении
морфологического анализа, описанные в виде продукционных правил в три этапа.
Правило рr
1
М
касается ситуации, описывающей принадлежность лексемы к
неизменяемой части речи:
х
i
лексема относится к неизменяемым частям речи тогда и
только тогда, когда имеет место ситуация, представляющая собой конъюнкцию следующих
фактов:
1) лексема
х
i
принадлежит сорту s
i
∈S;
2) сорт
s
i
имеет значение s
32
(множество неизменяемых слов);
3) лексема
х
i
отображается во флективный класс y
1
;
4) флективный класс
y
1
принадлежит сорту s
2j
∈s
2
;
5) сорт
s
2j
имеет значение s
25
(множество флективных классов неизменяемых слов);
6) флективный класс
s
2j
отображается в набор морфологической информации y
2
;
7) набор морфологической информации
y
2
принадлежит сорту s
74k
(множество
неизменяемых частей речи);
8) сорт
s
74k
имеет значение s
742
(множество частей речи неизменяемых слов).
Утверждениям данной ситуации соответствуют следующие предикаты:
- основному утверждению «существует лексема
х
i
∈Х, которая находится в
отношении квалификации с сортом
s
32
» соответствует предикат - (∃х
i
:X) P
s
(х
i
, s
32
,
r
t
2
);
- фактам соответствует следующий набор предикатов:
1)
P
f
(t
in
(x
i
), y
1
, f
1
);
2)
P
E
(y
1
, s
32
);
3)
P
f
(t
in
(x
i
, Н
1
(u, v)), y
2
, f
4
);
4)
P
f
(t
in
(y
2
), y
3
, f
1
);
5)
P
E
(y
3
, s
25
);
6)
P
f
(t
in
(y
4
, Н
2
(u, v)), y
4
, f
4
);
7)
P
f
(t
in
(y
4
), y
5
, f
1
);
8)
P
E
(y
5
, s
742
).
Таким образом, элементы продукции
pr
1
М
имеют следующий вид:
q
1
М
= P
f
(t
in
(x
i
), y
1
, f
1
) ∧ P
E
(y
1
, s
32
) ∧ P
f
(t
in
(x
i
, Н
1
(u, v)), y
2
, f
4
) ∧ P
f
(t
in
(y
2
), y
3
, f
1
) ∧ P
E
(y
3
, s
25
)
∧
P
f
(t
in
(y
4
, Н
2
(u, v)), y
4
, f
4
) ∧ P
f
(t
in
(y
4
), y
5
, f
1
) ∧ P
E
(y
5
, s
742
) ↔ (∃х
i
:X) P
s
(х
i
, s
32
,
r
t
2
);
r
1
М
= add [v
i1
, y
5
].
Программа
r
1
М
присваивает элементу v
i1
вектора V
i
∈V название полученной части
речи.
При описании следующих правил совместим содержательное и формальное описание
утверждений.
38
Правило рr
2
М
касается ситуации, описывающей принадлежность лексемы к части речи
существительное:
х
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
11
(множество окончаний существительных) - P
E
(y
2
, s
11
);
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
11
(множество окончаний существительных) - P
E
(y
2
, s
11
);
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
);
или
1) лексема
х
i
имеет окончание y
1
мощностью |е|=1 - P
f
(t
in
(x
i
,1), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт
s
1j
имеет значение s
11
(множество окончаний существительных) - P
E
(y
2
, s
11
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,1), 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
мощностью |е|=0 - P
f
(t
in
(x
i
,0), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт
s
1j
имеет значение s
11
(множество окончаний существительных) - P
E
(y
2
, s
11
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,0), 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
21
(множество ФК существительных) - P
E
(y
6
, s
21
);
10) флективный класс
y
3
отображается в постоянную морфологическую информацию
y
4
- P
f
(t
in
(y
5
, Н
1
(u, v)), y
6
, f
4
);
11) МИ
y
4
имеет значение х
7411
(часть речи существительное) - P
E
(y
6
, х
7411
);
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
751
(множество наборов переменной МИ
существительных) -
P
E
(y
8
, s
751
).
Тогда продукция
pr
2
М
может быть представлена в виде пары <q
2
M
, r
2
M
>, где:
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
(множество наборов переменной МИ прилагательных)
40
- P
E
(y
8
, s
752
).
Тогда продукция
pr
3
М
может быть представлена в виде пары <q
3
M
, r
3
M
>, где:
q
3
М
= ((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
12
) ∧ 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
12
) ∧ 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
(y
3
, Н
1
(u, v)), y
5
, f
4
) ∧ P
f
(t
in
(y
5
), y
6
, f
1
) ∧ P
E
(y
6
, s
22
)∧ P
f
(t
in
(y
5
,
Н
1
(u, v)), y
6
, f
4
)∧ P
E
(y
6
, х
7412
) ∧ 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
752
) ↔
(∃
х
i
:X) P
s
(х
i
, х
7412
,
r
t
2
);
r
3
М
= add [(V
i
, v
i1
, y
6
) ∧ V(V
i
, (v
i3
, l
1
(y
8
)), (v
i4
, l
2
(y
8
)), (v
i5
, l
3
(y
8
))].
Правило
рr
4
М
касается ситуации, описывающей принадлежность лексемы к части
речи глагол:
х
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
13
(множество окончаний глаголов) - P
E
(y
2
, s
13
);
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
13
(множество окончаний глаголов) - P
E
(y
2
, s
13
);
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
);
или
1) лексема
х
i
имеет окончание y
1
мощностью |е|=1 - P
f
(t
in
(x
i
,1), y
1
, f
2
);
2) окончание
y
1
принадлежит сорту s
1j
∈S - P
f
(t
in
(y
1
), y
2
, f
1
);
3) сорт
s
1j
имеет значение s
13
(множество окончаний глаголов) - P
E
(y
2
, s
13
);
4) лексема
х
i
имеет основу y
2
- P
f
(t
in
(x
1
,1), 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
23
(множество ФК глаголов) - P
E
(y
6
, s
23
);
10) флективный класс
y
3
отображается в постоянную морфологическую информацию
y
4
- P
f
(t
in
(y
5
, Н
1
(u, v)), y
6
, f
4
);
11) МИ
y
4
имеет значение х
7413
(часть речи глагол) - P
E
(y
6
, х
7413
);
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
753
(множество наборов переменной МИ глаголов) - P
E
(y
8
,