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

UptoLike

ситуаций.
Ситуация первая: пара лексем х
i
и х
i+1
образует пару СущП тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
V
i
со значением «прилагательное» - (х
i
:X) Р(x
i
, t(v
i1
,
прилагательное));
2) х
i
имеет характеристику v
i3
со значением сорта «род» - (х
i
:X) Р(x
i
, t(v
i3
, v
i3
));
3) х
i
имеет характеристику v
i4
со значением сорта «число» - (х
i
:X) Р(x
i
, t(v
i4
, v
i4
));
4) х
i
имеет характеристику v
i5
со значением сорта «падеж» - (х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
5) х
i+1
имеет характеристику v
(i+1)1
V
i+1
со значением «существительное» - (x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное));
6) х
i+1
имеет характеристику v
(i+1)3
со значением сорта «род» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)3
, v
(i+1)3
));
7) х
i+1
имеет характеристику v
(i+1)4
со значением сорта «число» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)4
,
v
(i+1)4
));
8) х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)5
,
v
(i+1)5
));
9) v
i3
должна быть эквивалентна v
(i+1)3
- Р
Е
(v
i3
, v
(i+1)3
);
10) v
i4
должна быть эквивалентна v
(i+1)4
- Р
Е
(v
i4
, v
(i+1)4
);
11) v
i5
должна быть эквивалентна v
(i+1)5
- Р
Е
(v
i5
, v
(i+1)5
).
Тогда продукцию можно представить в виде пары: pr
37
s
=<q
37
s
, r
37
s
>, где
q
37
s
= (х
i
:X) Р(x
i
, t(v
i1
, прилагательное), t(v
i3
, v
i3
), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) (x
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
существительное), t(v
(i+1)3
, v
(i+1)3
), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) Р
Е
(v
i3
, v
(i+1)3
) Р
Е
(v
i4
, v
(i+1)4
)
Р
Е
(v
i5
, v
(i+1)5
) (х
i
:X) (x
i+1
:X) Р
1
(СущП, t(х
i
, x
i+1
));
r
37
s
= add [L
4
(D, (x
i+1
, x
i
)) L
1
(x
i+1
) L
2
(x
i
)]; elim [(X, {x
i
})].
Для второй ситуации продукция представляется в виде: pr
38
s
=<q
38
s
, r
38
s
>, где
q
38
s
= (х
i
:X) Р(x
i
, t(v
i1
, существительное), t(v
i3
, v
i3
), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) (x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, прилагательное), t(v
(i+1)3
, v
(i+1)3
), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) Р
Е
(v
i3
, v
(i+1)3
) Р
Е
(v
i4
, v
(i+1)4
)
Р
Е
(v
i5
, v
(i+1)5
) (х
i
:X) (x
i+1
:X) Р
1
(СущП, t(х
i
, x
i+1
));
r
38
s
= add [L
4
(D, (x
i
, x
i+1
)) L
1
(x
i
) L
2
(x
i+1
)]; elim [(X, {x
i+1
})].
10. Правило для построения словосочетания CC (существительное+существительное).
Правило ищет два слова х
i
и х
i+1
, где х
i
существительные, а х
i+1
существительное в родительном
или предложном падежах, например, студентов группы, участие в соревнованиях. В результате
формируется словосочетание (х
i
, х
i+1
) с главным словом х
i
:
1) х
i
имеет характеристику v
i1
V
i
со значением «существительное» - (х
i
:X) Р(x
i
, t(v
i1
,
существительное));
2) х
i+1
имеет характеристику v
(i+1)1
V
i+1
со значением «существительное» - (x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное));
3) х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)5
,
v
(i+1)5
));
4) v
(i+1)5
имеет значение «родительный» или «предложный» - Р
Е
(v
(i+1)5
, родительный) или
108
ситуаций.
        Ситуация первая: пара лексем хi и хi+1 образует пару СущП тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
        1) хi имеет характеристику vi1∈Vi со значением «прилагательное» - (∃хi:X) Р(xi, t(vi1,
прилагательное));
        2) хi имеет характеристику vi3 со значением сорта «род» - (∃хi:X) Р(xi, t(vi3, vi3));
        3) хi имеет характеристику vi4 со значением сорта «число» - (∃хi:X) Р(xi, t(vi4, vi4));
        4) хi имеет характеристику vi5 со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5));
        5) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1,
t(v(i+1)1, существительное));
        6) хi+1 имеет характеристику v(i+1)3 со значением сорта «род» - (∃хi+1:X) Р(xi+1, t(v(i+1)3, v(i+1)3));
        7) хi+1 имеет характеристику v(i+1)4 со значением сорта «число» - (∃хi+1:X) Р(xi+1, t(v(i+1)4,
v(i+1)4));
        8) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1, t(v(i+1)5,
v(i+1)5));
        9) vi3 должна быть эквивалентна v(i+1)3 - РЕ(vi3, v(i+1)3);
        10) vi4 должна быть эквивалентна v(i+1)4 - РЕ(vi4, v(i+1)4);
        11) vi5 должна быть эквивалентна v(i+1)5 - РЕ(vi5, v(i+1)5).
        Тогда продукцию можно представить в виде пары: pr37s =, где
        q37s = (∃хi:X) Р(xi, t(vi1, прилагательное), t(vi3, vi3), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Р(xi+1, t(v(i+1)1,
существительное), t(v(i+1)3, v(i+1)3), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ РЕ(vi3, v(i+1)3) ∧ РЕ(vi4, v(i+1)4) ∧
РЕ(vi5, v(i+1)5) ↔ (∃хi:X) (∃xi+1:X) Р1(СущП, t(хi, xi+1));
        r37s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)]; elim [(X, {xi})].
        Для второй ситуации продукция представляется в виде: pr38s =, где
        q38s = (∃хi:X) Р(xi, t(vi1, существительное), t(vi3, vi3), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Р(xi+1,
t(v(i+1)1, прилагательное), t(v(i+1)3, v(i+1)3), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ РЕ(vi3, v(i+1)3) ∧ РЕ(vi4, v(i+1)4)
∧ РЕ(vi5, v(i+1)5) ↔ (∃хi:X) (∃xi+1:X) Р1(СущП, t(хi, xi+1));
        r38s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)]; elim [(X, {xi+1})].
        10. Правило для построения словосочетания CC (существительное+существительное).
Правило ищет два слова хi и хi+1, где хi– существительные, а хi+1 – существительное в родительном
или предложном падежах, например, студентов группы, участие в соревнованиях. В результате
формируется словосочетание (хi, хi+1) с главным словом хi:
        1) хi имеет характеристику vi1∈Vi со значением «существительное» - (∃хi:X) Р(xi, t(vi1,
существительное));
        2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1,
t(v(i+1)1, существительное));
        3) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1, t(v(i+1)5,
v(i+1)5));
        4) v(i+1)5 имеет значение «родительный» или «предложный» - РЕ(v(i+1)5, родительный) или


                                                              108