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

UptoLike

79
Заключение
В работе рассмотрены методы и алгоритмы, позволяющие осуществлять трансляцию
естественно-языкового запроса к структурированному источнику в SQL-запросы. При этом
предложенный в работе аппарат для построения формального описания лингвистических
моделей, основанный на описании модели знаний предметной области в виде множества
подразумеваемых ситуаций, что позволяет создавать формальные модели решаемой задачи
в виде декларативной базы правил. Правила формально описывают ситуации в виде
продукций, что позволяет представлять модели в виде системы продукций, а решение задач
строить как доказательство теорем, используя метод линейной резолюции. Условия
применимости продукции и закономерности предметной области описываются четырьмя
типами предикатов:
- параметрическим предикатом, позволяющим задать интенсионал понятий
физической модели данных и построить взаимосвязь между понятиями;
- составным, необходимым для задания отношений абстрагирования и отношений
биноминативных предложений;
- эквиваленции, необходимым для задания тождественных понятий;
- функциональным, позволяющим вводить ассоциированные функциональные
процедуры.
Модель лингвистического транслятора, описанная в работе, основывается на модели
контекстного фрагментирования и включает в себя лингвистическую модель, базовые
механизмы обработки предложений и ассоциированные процедуры. Лингвистическая
модель содержит информацию о морфологии, синтаксисе и семантике проблемной среды,
для описания которых используются составные и параметрические предикаты. Методы
морфологического, синтаксического и проблемного анализов представляют собой базовые
механизмы обработки предложений и реализуют последовательное отображение
результатов анализа.
Программная реализация метода линейной резолюции и ассоциированных процедур
позволила проверить основные положения работы.
                                   Заключение
     В работе рассмотрены методы и алгоритмы, позволяющие осуществлять трансляцию
естественно-языкового запроса к структурированному источнику в SQL-запросы. При этом
предложенный в работе аппарат для построения формального описания лингвистических
моделей, основанный на описании модели знаний предметной области в виде множества
подразумеваемых ситуаций, что позволяет создавать формальные модели решаемой задачи
в виде декларативной базы правил. Правила формально описывают ситуации в виде
продукций, что позволяет представлять модели в виде системы продукций, а решение задач
строить как доказательство теорем, используя метод линейной резолюции. Условия
применимости продукции и закономерности предметной области описываются четырьмя
типами предикатов:
     - параметрическим предикатом, позволяющим задать интенсионал понятий
физической модели данных и построить взаимосвязь между понятиями;
     - составным, необходимым для задания отношений абстрагирования и отношений
биноминативных предложений;
     - эквиваленции, необходимым для задания тождественных понятий;
     - функциональным, позволяющим вводить ассоциированные функциональные
процедуры.
     Модель лингвистического транслятора, описанная в работе, основывается на модели
контекстного фрагментирования и включает в себя лингвистическую модель, базовые
механизмы обработки предложений и ассоциированные процедуры. Лингвистическая
модель содержит информацию о морфологии, синтаксисе и семантике проблемной среды,
для описания которых используются составные и параметрические предикаты. Методы
морфологического, синтаксического и проблемного анализов представляют собой базовые
механизмы обработки предложений и реализуют последовательное отображение
результатов анализа.
     Программная реализация метода линейной резолюции и ассоциированных процедур
позволила проверить основные положения работы.




                                         79