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