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

     Модуль Dizn предназначен для преобразования условия применимости продукции во
множество дизъюнктов, для осуществления которого введены следующие процедуры:
     - rename – ассоциированная процедура замены
                                              140    исходных данных на промежуточные
переменные;
     - knf – ассоциированная процедура приведения условия применимости к
конъюнктивной нормальной форме (КНФ);
     - pnf – ассоциированная процедура приведения условия применимости из КНФ в
предваренную нормальную форму (ПНФ);
     - ssf – ассоциированная процедура приведения условия применимости из ПНФ в
скулемовскую стандартную форму (ССФ);
     - dename – ассоциированная процедура обратной замены промежуточных данных на
исходные.
     Модуль Unif осуществляет построение логического вывода на основе множества
дизъюнктов и входной ситуации. Данный программный модуль включает в себя следующие
основные процедуры:
     - rezolution - ассоциированная процедура построения дерева вывода методом поиска в
ширину;
     - newroute - ассоциированная процедура вычисления последовательности дизъюнктов
(маршрута), которую необходимо проверять на следующем шаге поиска в ширину;
      - provres - ассоциированная процедура проверки поиска решения в процессе
прохождения очередного маршрута;
     - delsamelit - ассоциированная процедура удаления в промежуточном дизъюнкте,
выводимом на очередном шаге поиска в ширину, повторно повторяющейся литеры;
     - unification - ассоциированная процедура выполнения алгоритма унификации для
текущей пары предикатов, проверки необходимости продолжения алгоритма унификации или
необходимости выполнения операции «композиция».

      Описание функционирования программ

     Схема функционирования программ показана на рисунке Е.1 и заключается в
следующем.
     На вход морфологического анализатора подается естественно-языковой запрос
пользователя. Морфологический анализатор осуществляет разбиение запроса на множество
лексем Х. Далее хi лексема подается для доказательства на вход модуля управления
продукционными правилами вместе с PrjM продукцией. В случае успешного доказательства
истинности qjM условия применимости на текущей исходной ситуации морфологический
анализатор активизирует процедуры программы rjM и осуществляет переход к рассмотрению
следующей лексемы. В случае, когда все множество лексем рассмотрено, морфологический
анализатор передает на вход синтаксического анализатора множество лексем Х с
соответствующими им векторами морфологической информации, представленными в виде
множества векторов V.
     Синтаксический анализатор для нормализации лексем естественно-языкового
предложения подает на вход модуля управления продукционными правилами пару или тройку
лексем и продукцию Pr1S, которая относится к первой группе синтаксических связей. Далее
после перебора всех лексем и доказательства всех продукций первой группы осуществляется



                                            141