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

UptoLike

существительное));
2) х
i+1
имеет характеристику v
(i+1)1
со значением «числительное» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
числительное)).
Тогда продукцию можно представить в виде: pr
33
s
=<q
33
s
, r
33
s
>, где
q
33
s
= (х
i
:X) Р(x
i
, t(v
i1
, существительное)) (х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, числительное)) (х
i
:X)
(
x
i+1
:X) Р
1
(СЧ, t(х
i
, x
i+1
));
r
33
s
= add [L
4
(D, (x
i
, x
i+1
)) L
1
(x
i
) L
2
(x
i+1
)]; elim [(X, {x
i+1
})].
Ситуация вторая: пара лексем х
i
и х
i+1
образует пару СЧ тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
V
i
со значением «числительное» - (х
i
:X) Р(x
i
, t(v
i1
,
числительное));
2) х
i+1
имеет характеристику v
(i+1)1
со значением «существительное» - (х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
существительное)).
Тогда продукцию можно представить в виде: pr
34
s
=<q
34
s
, r
34
s
>, где
q
34
s
= (х
i
:X) Р(x
i
, t(v
i1
, числительное)) (х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, существительное)) (х
i
:X)
(
x
i+1
:X) Р
1
(СрП, t(х
i
, x
i+1
));
r
34
s
= add [L
4
(D, (x
i+1
, x
i
)) L
1
(x
i+1
) L
2
(x
i
)]; elim [ (X, {x
i
})].
8. Правило для построения словосочетания НГ (наречие + глагол). Правило ищет два
контактно стоящих слова х
i
и х
i+1
, где х
i
наречие, а х
i+1
глагол или глагол прошедшего времени
или глагол-отрицание или глагол прошедшего времени-отрицание или инфинитив или инфинитив-
отрицание, или, наоборот, х
i
глагол и т.п., а х
i+1
наречие, например, хорошо учиться. В
результате формируется словосочетание (х
i
, х
i+1
), где х
i
- одна из форм глагола и главное слово, х
i+1
наречие и зависимое слово или наоборот. Правило можно представить в виде двух ситуаций,
подобных предыдущему случаю. Поэтому продукции можно представить в виде: pr
35
s
=<q
35
s
, r
35
s
> и
pr
36
s
=<q
36
s
, r
36
s
>, где
q
35
s
= (х
i
:X) Р(x
i
, t(v
i1
, наречие)) (х
i+1
:X) (Р(x
i+1
, t(v
(i+1)1
, глагол)) Р(x
i+1
, t(v
(i+1)1
, глагол
прошедшего времени))
Р(x
i+1
, t(v
(i+1)1
, глагол-отрицание)) Р(x
i+1
, t(v
(i+1)1
, глагол прошедшего
времени-отрицание))
Р(x
i+1
, t(v
(i+1)1
, инфинитив-отрицание)) Р(x
i+1
, t(v
(i+1)1
, инфинитив)))
(
х
i
:X) (x
i+1
:X) Р
1
(НГ, t(х
i
, x
i+1
));
r
35
s
= add [L
4
(D, (x
i+1
, x
i
)) L
1
(x
i+1
) L
2
(x
i
)]; elim [(X, {x
i
})];
q
36
s
= (х
i
:X) (Р(x
i
, t(v
i1
, глагол)) Р(x
i
, t(v
i1
, глагол прошедшего времени)) Р(x
i
, t(v
i1
, глагол-
отрицание))
Р(x
i
, t(v
i1
, глагол прошедшего времени-отрицание)) Р(x
i
, t(v
i1
, инфинитив-
отрицание))
Р(x
i
, t(v
i1
, инфинитив))) (х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, наречие)) (х
i
:X) (x
i+1
:X) Р
1
(СЧ,
t(х
i
, x
i+1
));
r
36
s
= add [L
4
(D, (x
i
, x
i+1
)) L
1
(x
i
) L
2
(x
i+1
)]; elim [(X, {x
i+1
})].
9. Правило для построения словосочетания СущП (существительное + прилагательное).
Правило ищет два слова х
i
и х
i+1
, где х
i
существительное, а х
i+1
прилагательное или наоборот. Их
морфологические характеристики - число, падеж и род - должны совпадать, например,
электротехнического факультета, студент спортивный. Представим правило в виде двух
107
существительное));
        2) хi+1 имеет характеристику v(i+1)1 со значением «числительное» - (∃хi+1:X) Р(xi+1, t(v(i+1)1,
числительное)).
        Тогда продукцию можно представить в виде: pr33s =, где
        q33s= (∃хi:X) Р(xi, t(vi1, существительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, числительное)) ↔ (∃хi:X)
(∃xi+1:X) Р1(СЧ, t(хi, xi+1));
        r33s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)]; elim [(X, {xi+1})].
        Ситуация вторая: пара лексем хi и хi+1 образует пару СЧ тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
        1) хi имеет характеристику vi1∈Vi со значением «числительное» - (∃хi:X) Р(xi, t(vi1,
числительное));
        2) хi+1 имеет характеристику v(i+1)1 со значением «существительное» - (∃хi+1:X) Р(xi+1, t(v(i+1)1,
существительное)).
        Тогда продукцию можно представить в виде: pr34s =, где
        q34s= (∃хi:X) Р(xi, t(vi1, числительное)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, существительное)) ↔ (∃хi:X)
(∃xi+1:X) Р1(СрП, t(хi, xi+1));
        r34s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)]; elim [ (X, {xi})].
        8. Правило для построения словосочетания НГ (наречие + глагол). Правило ищет два
контактно стоящих слова хi и хi+1, где хi –наречие, а хi+1 – глагол или глагол прошедшего времени
или глагол-отрицание или глагол прошедшего времени-отрицание или инфинитив или инфинитив-
отрицание, или, наоборот, хi – глагол и т.п., а хi+1 –наречие, например, хорошо учиться. В
результате формируется словосочетание (хi, хi+1), где хi- одна из форм глагола и главное слово, хi+1
– наречие и зависимое слово или наоборот. Правило можно представить в виде двух ситуаций,
подобных предыдущему случаю. Поэтому продукции можно представить в виде: pr35s = и
pr36s =, где
        q35s = (∃хi:X) Р(xi, t(vi1, наречие)) ∧ (∃хi+1:X) (Р(xi+1, t(v(i+1)1, глагол)) ∨ Р(xi+1, t(v(i+1)1, глагол
прошедшего времени)) ∨ Р(xi+1, t(v(i+1)1, глагол-отрицание)) ∨ Р(xi+1, t(v(i+1)1, глагол прошедшего
времени-отрицание)) ∨ Р(xi+1, t(v(i+1)1, инфинитив-отрицание))∨ Р(xi+1, t(v(i+1)1, инфинитив))) ↔
(∃хi:X) (∃xi+1:X) Р1(НГ, t(хi, xi+1));
        r35s = add [L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xi)]; elim [(X, {xi})];
        q36s= (∃хi:X) (Р(xi, t(vi1, глагол)) Р(xi, t(vi1, глагол прошедшего времени)) ∨ Р(xi, t(vi1, глагол-
отрицание)) ∨ Р(xi, t(vi1, глагол прошедшего времени-отрицание)) ∨ Р(xi, t(vi1, инфинитив-
отрицание))∨ Р(xi, t(vi1, инфинитив))) ∨ (∃хi+1:X) Р(xi+1, t(v(i+1)1, наречие)) ↔ (∃хi:X) (∃xi+1:X) Р1(СЧ,
t(хi, xi+1));
        r36s = add [L4(D, (xi, xi+1)) ∧ L1(xi) ∧ L2(xi+1)]; elim [(X, {xi+1})].
        9. Правило для построения словосочетания СущП (существительное + прилагательное).
Правило ищет два слова хi и хi+1, где хi –существительное, а хi+1 – прилагательное или наоборот. Их
морфологические характеристики - число, падеж и род - должны совпадать, например,
электротехнического факультета, студент спортивный. Представим правило в виде двух

                                                           107