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

UptoLike

ВУЗ: 

ВСГУТУ | Улан-Удэ

Составители: 

Рубрика: 

Рис. Е.1. Схема взаимодействия программных блоков
Для доказательства истинности условия применимости и для активации программы r
i
t
продукции Pr
i
t
полученное в результате приведения множество дизъюнктов
Γ
, входная
ситуация
0
d
и множество предикатов Г
w
поступают на вход системы логического вывода,
которая осуществляет построение дерева вывода и в качестве результата выдает ответ
«истина» или «ложь», который далее поступает на вход модуля управления продукционными
правилами. В случае отрицательного ответа модуль запрашивает следующую продукцию для
доказательства исходной ситуации d
0
, а в случае положительного ответа передает текущему
анализатору команду на активацию процедур программы r
i
t
.
Описание вычислительных экспериментов
Морфологический
анализатор
База правил
системы продукций
МА
База знаний
МА
Синтаксический
анализатор
Pr
i
M
Модуль управления
продукционными
правилами
Преобразователь q
i
в
стандартную форму
Система логического
вывода
Результат
вывода
S=Г
j
∧
q
i
t
∧
0
d
q
i
t
и d
0
База правил
системы продукций
РА
Проблемный анализатор
База знаний
ПА
Множество
лексем Х с МИ
Множество
пар D
ЕЯ - запрос
База правил
системы продукций
CА
База знаний
CА
SQL - запрос
Входные данные
Продукция - Pr
i
t
Pr
i
S
Pr
i
T
r
Лексема - x
j
Пара лексем – x
l
, x
h
Дуга – {x
e
, x
r
}
q
i
ложно
q
i
истинно - r
i
t
143 
                                           Множество                                             Множество
           ЕЯ - запрос                                                                                                                SQL - запрос
                                          лексем Х с МИ                                            пар D


                    Морфологический                                       Синтаксический                                 Проблемный анализатор
                      анализатор                                            анализатор


                       База знаний                                            База знаний                                      База знаний




                                                  Пара лексем – xl, xh
                           МА                                                     CА                                               ПА
    Лексема - xj




                                                                                                       Дуга – {xe, xr}
                          База правил                                           База правил                                      База правил
                      системы продукций                                     системы продукций                                системы продукций
                              МА                                                    CА                                               РА

                        PriM                                                        PriS                                         PriTr




                                           t                             Модуль управления         qi ложно
                          Продукция - Pri
                                                                          продукционными
                                                                             правилами             qi истинно - rit
                     Входные данные


                                                                                                                    Результат
                                      qit и d0                                                                        вывода

                               Преобразователь qi в                          S=Гj∧ qit ∧ d 0    Система логического
                               стандартную форму                                                      вывода



                                 Рис. Е.1. Схема взаимодействия программных блоков

     Для доказательства истинности условия применимости и для активации программы rit
продукции Prit полученное в результате приведения множество дизъюнктов Γ, входная
ситуация d 0 и множество предикатов Гw поступают на вход системы логического вывода,
которая осуществляет построение дерева вывода и в качестве результата выдает ответ
«истина» или «ложь», который далее поступает на вход модуля управления продукционными
правилами. В случае отрицательного ответа модуль запрашивает следующую продукцию для
доказательства исходной ситуации d0, а в случае положительного ответа передает текущему
анализатору команду на активацию процедур программы rit .




                   Описание вычислительных экспериментов

                                                                                  143

Страницы