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

UptoLike

3) х
i
имеет характеристику v
i5
со значением сорта «падеж» - (х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
4) х
i+1
имеет характеристику v
(i+1)1
V
i+1
со значением «существительное» - (x
i+1
:X) Р(x
i+1
,
t(v
(i+1)1
, существительное));
5) х
i+1
имеет характеристику v
(i+1)4
со значением сорта «число» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)4
,
v
(i+1)4
));
6) х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)5
,
v
(i+1)5
));
7) х
i
лексема входит в состав синтаксической группы ОЧП - Р
3
(ОЧС, t(х
i
, x
j
)) или Р
4
(ОЧС, t(х
i
,
x
j
, x
k
));
8) v
(i+1)5
должна быть эквивалентна v
i5
- Р
Е
(v
i5
, v
(i+1)5
);
9) v
(i+1)4
имеет значение «единственное» или «множественное» - Р
Е
(v
(i+1)4
, множественное)
или Р
Е
(v
(i+1)4
, единственное);
10) v
i4
имеет значение «множественное» - Р
Е
(v
i4
, множественное).
Тогда продукции можно представить в виде пары: pr
50
s
=<q
50
s
, r
50
s
>, где
q
50
s
= (х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) (x
i+1
:X) Р
par
(x
i+1
, t(v
(i+1)1
,
существительное), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) Р
3
(ОЧC, t(х
i+1
, x
j
)) Р
Е
(v
i5
, v
(i+1)5
) (Р
Е
(v
(i+1)4
,
множественное)
Р
Е
(v
(i+1)4
, единственное)) Р
Е
(v
i4
, множественное) (х
i+1
:X) (x
j
:X) Р
1
(ОЧСП,
t(х
i+1
, x
j
));
r
50
s
= add [L
4
(D, (x
i+1
, x
j
)) L
4
(D, (x
i+1
, x
i
)) L
1
(x
i+1
) L
2
(x
j
) L
2
(x
i
)].
И в виде пары pr
51
s
=<q
51
s
, r
51
s
>, где
q
51
s
= (х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) (x
i+1
:X) Р
par
(x
i+1
, t(v
(i+1)1
,
существительное), t(v
(i+1)4
, v
(i+1)4
), t(v
(i+1)5
, v
(i+1)5
)) Р
4
(ОЧC, t(х
i
, x
j
, x
k
)) Р
Е
(v
i5
, v
(i+1)5
) (Р
Е
(v
(i+1)4
,
множественное)
Р
Е
(v
(i+1)4
, единственное)) Р
Е
(v
i4
, множественное) (х
i+1
:X) (x
j
:X) Р
1
(ОЧСП,
t(х
i+1
, x
j
)) (х
i+1
:X) (x
k
:X) Р
1
(ОЧСП, t(х
i+1
, x
k
));
r
51
s
= add [L
4
(D, (x
i+1
, x
j
)) L
4
(D, (x
i+1
, x
i
)) L
4
(D, (x
i+1
, x
k
)) L
1
(x
i+1
) L
2
(x
j
) L
2
(x
k
) L
2
(x
i
)].
4. Правило для построения словосочетания ОЧCC (существительное + однородные члены
существительные). Правило ищет два слова х
i
и х
i+1
, где х
i
и х
i+1
существительные, а х
i+1
существительное, которое входит в группу ОЧС и стоит в родительном или предложном падежах,
например, список студентов и преподавателей. Тогда правило представим в виде ситуации: пара
лексем х
i
и х
j
через х
i+1
лексему (х
j
,
х
i+1
ОЧС) образует словосочетание ОЧСС тогда и только тогда,
когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
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
, родительный) или
Р
Е
(v
(i+1)5
, предложный);
5) х
i+1
лексема входит в состав синтаксической группы ОЧС - Р
3
(ОЧС, t(х
j
, x
i+1
)) или Р
4
(ОЧС,
113
        3) хi имеет характеристику vi5 со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5));
        4) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «существительное» - (∃xi+1:X) Р(xi+1,
t(v(i+1)1, существительное));
        5) хi+1 имеет характеристику v(i+1)4 со значением сорта «число» - (∃хi+1:X) Р(xi+1, t(v(i+1)4,
v(i+1)4));
        6) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1, t(v(i+1)5,
v(i+1)5));
        7) хi лексема входит в состав синтаксической группы ОЧП - Р3(ОЧС, t(хi, xj)) или Р4(ОЧС, t(хi,
xj, xk));
        8) v(i+1)5 должна быть эквивалентна vi5 - РЕ(vi5, v(i+1)5);
        9) v(i+1)4 имеет значение «единственное» или «множественное» - РЕ(v(i+1)4, множественное)
или РЕ(v(i+1)4, единственное);
        10) vi4 имеет значение «множественное» - РЕ(vi4, множественное).
        Тогда продукции можно представить в виде пары: pr50s =, где
        q50 s = (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Рpar(xi+1, t(v(i+1)1,
существительное), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ Р3(ОЧC, t(хi+1, xj)) ∧ РЕ(vi5, v(i+1)5) ∧ (РЕ(v(i+1)4,
множественное) ∨ РЕ(v(i+1)4, единственное)) ∧ РЕ(vi4, множественное) ↔ (∃хi+1:X) (∃xj:X) Р1(ОЧСП,
t(хi+1, xj));
        r50 s = add [L4(D, (xi+1, xj)) ∧ L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xj) ∧ L2(xi)].
        И в виде пары pr51s =, где
        q51 s = (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X) Рpar(xi+1, t(v(i+1)1,
существительное), t(v(i+1)4, v(i+1)4), t(v(i+1)5, v(i+1)5)) ∧ Р4(ОЧC, t(хi, xj, xk)) ∧ РЕ(vi5, v(i+1)5) ∧ (РЕ(v(i+1)4,
множественное) ∨ РЕ(v(i+1)4, единственное)) ∧ РЕ(vi4, множественное) ↔ (∃хi+1:X) (∃xj:X) Р1(ОЧСП,
t(хi+1, xj)) ∧ (∃хi+1:X) (∃xk:X) Р1(ОЧСП, t(хi+1, xk));
        r51 s = add [L4(D, (xi+1, xj)) ∧ L4(D, (xi+1, xi)) ∧ L4(D, (xi+1, xk)) ∧ L1(xi+1) ∧ L2(xj) ∧ L2(xk) ∧ L2(xi)].
        4. Правило для построения словосочетания ОЧCC (существительное + однородные члены
существительные). Правило ищет два слова хi и хi+1, где хi и хi+1 –существительные, а хi+1 –
существительное, которое входит в группу ОЧС и стоит в родительном или предложном падежах,
например, список студентов и преподавателей. Тогда правило представим в виде ситуации: пара
лексем хi и хj через хi+1 лексему (хj, хi+1∈ОЧС) образует словосочетание ОЧСС тогда и только тогда,
когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
        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, родительный) или
РЕ(v(i+1)5, предложный);
        5) хi+1 лексема входит в состав синтаксической группы ОЧС - Р3(ОЧС, t(хj, xi+1)) или Р4(ОЧС,

                                                         113