Методы и алгоритмы трансляции естественно-языковых запросов к базе данных в SQL-запросы. Найханова Л.В - 30 стр.

UptoLike

30
функция
fF, то необходимо их вычислить до начала унификации.
Шаг 3. Если
W
k
единичный дизъюнкт, то
σ
k
НОУ для W и остановка, иначе
найдем множество рассогласований для
W
k
.
Шаг 4. Формирование множества рассогласований
Φ
k
. В множество
Φ
k
включаются
термы
t
k
С и переменные v
k
В, стоящие в соответствующих позициях в С и В, их выбор
осуществляется последовательно слева направо.
Шаг 5. Если существуют такие элементы
v
k
и t
k
в
Φ
k
, что v
k
переменная, не входящая
в
t
k
, то перейдем к шагу 5. В противном случае остановка: W не унифицировано.
Шаг 6. Композиция унификаторов
σ
k+1
=
σ
k
{t
k
/v
k
} и постановка в множество
выражений
W
k+1
=W
k
{t
k
/v
k
}.
Шаг 7. Присвоить значение
k+1 и перейти к шагу 3.
При разработке систем продукций формальных моделей для описания условия
применимости продукции и представления закономерностей предметной области будем
использовать четыре типа предикатов.
Параметрический предикат: P
par
(х, t(p
1
,v
k1
1
), …, t(p
i
,v
j
i
), …, t(p
m
,v
k2
m
)),
где химя понятия; t(p
i
,v
j
i
) – терм, задающий соответствие между p
i
именем i-того
показателя понятия и его
j-тым значением v
j
i
; mколичество показателей понятия х.
Предикат эквивалентности: P
E
(y, y). Этот предикат определяет равенство значений
левого и правого элементов кортежа.
Составной предикат: P
s
(x,y,t
r
),
где
xпервое понятие; yвторое понятие; t
r
тип отношения r.
Функциональный предикат: P
f
(t
in
(x
1
, …,x
n
), y, f),
где
t
in
(x
1
, …,x
n
) – терм, задающий n входных переменных x
i
; yвыходная переменная;
f ссылка на функциональную процедуру F.
Каждая функциональная процедура
F реализует некоторый вычислительный
алгоритм для определения связанной с ней переменной
y через значения других n
переменных, входящих в функциональную зависимость, которая содержит некоторые
утверждения об их взаимосвязи. Таким образом, функциональная процедура
F описывает
некоторую функцию. При этом каждая функциональная процедура ориентирована на
определение значений одного конкретного параметра и всегда активизируется
функциональным предикатом
P
f
через ссылку f при выполнении алгоритма унификации
[83, 84].
2.3. Модель морфологического анализа
2.3.1. Содержательное описание модели морфологического анализа
В результате проведенного анализа методов и подходов морфологического анализа
был разработан алгоритм, в основе которого лежит комбинированный метод
морфологического анализа и подход, описанный в разработках группы Г. Г. Белоногова
[29,30], базирующийся на делении словоформ на морфы и разбиении слов внутри
определенной части речи на флективные классы. Отличие разработанного алгоритма
состоит в том, что у словоформы выделяются только основа и окончание, а количество
флективных классов превышает количество, приведенное в подходе Г. Г. Белоногова. Это
позволило повысить эффективность и упростить процедуру морфологического анализа.
функция f∈F, то необходимо их вычислить до начала унификации.
       Шаг 3. Если Wk – единичный дизъюнкт, то σk – НОУ для W и остановка, иначе
найдем множество рассогласований для Wk.
       Шаг 4. Формирование множества рассогласований Φk. В множество Φk включаются
термы tk ∈ С и переменные vk∈ В, стоящие в соответствующих позициях в С и В, их выбор
осуществляется последовательно слева направо.
       Шаг 5. Если существуют такие элементы vk и tk в Φk, что vk – переменная, не входящая
в tk, то перейдем к шагу 5. В противном случае остановка: W не унифицировано.
       Шаг 6. Композиция унификаторов σk+1=σk•{tk/vk} и постановка в множество
выражений Wk+1=Wk•{tk/vk}.
       Шаг 7. Присвоить значение k+1 и перейти к шагу 3.
       При разработке систем продукций формальных моделей для описания условия
применимости продукции и представления закономерностей предметной области будем
использовать четыре типа предикатов.
       Параметрический предикат: Ppar(х, t(p1,v k11), …, t(pi,vji), …, t(pm,v k2 m)),
       где х – имя понятия; t(pi,vji) – терм, задающий соответствие между pi – именем i-того
показателя понятия и его j-тым значением vji; m – количество показателей понятия х.
       Предикат эквивалентности: PE(y, y). Этот предикат определяет равенство значений
левого и правого элементов кортежа.
       Составной предикат: Ps(x,y,tr),
       где x – первое понятие; y – второе понятие; tr – тип отношения r.
       Функциональный предикат: Pf(tin(x1, …,xn), y, f),
       где tin(x1, …,xn) – терм, задающий n входных переменных xi; y – выходная переменная;
f – ссылка на функциональную процедуру F.
       Каждая функциональная процедура F реализует некоторый вычислительный
алгоритм для определения связанной с ней переменной y через значения других n
переменных, входящих в функциональную зависимость, которая содержит некоторые
утверждения об их взаимосвязи. Таким образом, функциональная процедура F описывает
некоторую функцию. При этом каждая функциональная процедура ориентирована на
определение значений одного конкретного параметра и всегда активизируется
функциональным предикатом Pf через ссылку f при выполнении алгоритма унификации
[83, 84].
2.3. Модель морфологического анализа
2.3.1. Содержательное описание модели морфологического анализа
      В результате проведенного анализа методов и подходов морфологического анализа
был разработан алгоритм, в основе которого лежит комбинированный метод
морфологического анализа и подход, описанный в разработках группы Г. Г. Белоногова
[29,30], базирующийся на делении словоформ на морфы и разбиении слов внутри
определенной части речи на флективные классы. Отличие разработанного алгоритма
состоит в том, что у словоформы выделяются только основа и окончание, а количество
флективных классов превышает количество, приведенное в подходе Г. Г. Белоногова. Это
позволило повысить эффективность и упростить процедуру морфологического анализа.


                                            30