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

перебран весь список синонимов текущей лексемы.
           ~
     Граф G ′ , полученный в результате доказательства гипотез, будет гомеоморфен графу
G и будет содержать в вершинах термины логической модели данных или термины языка
SQL, с приписанными к каждой вершине g~ ′ векторами η.

3.2.1.2. Описание системы продукций
     Доказательство гипотез связано с проверкой условий применимости каждой
отдельной гипотезы. Для удобства разобьем все множество предикатов Г на подмножества,
которые будут использоваться в процедуре доказательства вышеописанных гипотез.
     1. Подмножество Г1 включает в себя множество предикатов типизации и перевода,
составляющих вторую группу знаний проблемной среды.
     2. Подмножество Г2 включает в себя множество предикатов типизации,
составляющих первую группу знаний метаописания базы данных.
     3. Для доказательства третьей гипотезы формируются следующие подмножества:
          а) подмножество Г3 - множество предикатов тождества, входящих в состав
третьей группы знаний проблемной среды;
          b) подмножество Г4 - множество предикатов агрегации первой группы знаний
проблемной среды;
          с) подмножество Г5 - множество предикатов номинации первой группы знаний
проблемной среды;
          d) подмножество Г6 - множество предикатов, задающих отношение подобия,
третьей и четвертой групп знаний проблемной среды.
                                               ~
     Система продукций формирования графа G ′ , гомеоморфного графу G, включает в
себя множество продукций трансляции Pr1tr = pri         {   Tr
                                                                      }
                                                                 i =1,13 , которые проверяются при
доказательстве описанных выше гипотез.
     Система продукций для доказательства первой гипотезы
     Доказательство первой гипотезы связано с проверкой условий применимости
                Tr    Tr     Tr
продукций pr1 , pr2 , pr3 . Для доказательства предположения, что лексема в вершине g
является специальным понятием проблемной среды, формируется множество Γ1′ = Γ1 ∧ q i =
                r
{ Ps ( x, y, t tip ) }∧{ Ps ( x, y, t trr ) }∧qi, где qi∈pri ( i = 1,3 ) - условие применимости. Методом
линейной резолюции доказывается выражение Г 1 ∧ d 0 , где d0 задается предикатом вида
                 r
Ps ( x i , y, t tip ) , в котором хi – понятие, находящееся в вершине g.
      При доказательстве первой гипотезы рассмотрим три ситуации, которые зависят от
значения элемента z2 вектора η.
      Первая ситуация. Лексема xi является операндом, имеет вектор ηi с элементами z1, z2,
z3 и ее можно заменить на соответствующее понятие из множества специальных понятий
проблемной среды тогда и только тогда, когда имеет место закономерность, описываемая
конъюнкцией следующих фактов:
      1) лексема xi находится в отношении типизации с понятием y1 - PS(xi, y1, trtip);
      2) понятие y1 имеет значение «операнд» - PE(y1, операнд);
      3) лексема xi находится в отношении перевода с понятием y2 - PS(xi, y2, trtr).
      Утверждению о том, что существует лексема xi, которая находится в отношении
                                                   65