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

UptoLike

ВУЗ: 

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

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

Рубрика: 

52
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) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i3
, v
i3
), 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)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
})].
3 подсистема правил.
Нахождение связи между лексемой и синтаксической группой
на примере построения правила формирования ОЧПС (существительное и прилагательное,
входящее в синтаксическую группу однородные члены прилагательных ОЧП): пара лексем
х
i
и х
j
через х
i+1
лексему (х
j
,
х
i+1
∈ОЧП) образуют словосочетание ОЧПС тогда и только тогда,
когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
1)
х
i
имеет характеристику v
i1
∈V
i
со значением «прилагательное» - (∃х
i
:X) Р(x
i
, t(v
i1
,
прилагательное));
2)
х
i
имеет характеристику v
i4
со значением сорта «число» - (∃х
i
:X) Р(x
i
, t(v
i4
, v
i4
));
3)
х
i
имеет характеристику v
i5
со значением сорта «падеж» - (∃х
i
:X) Р(x
i
, t(v
i5
, v
i5
));
4)
х
i
лексема входит в состав синтаксической группы ОЧП - Р
3
(ОЧП, t(х
i
, x
j
)) или
Р
4
(ОЧП, t(х
i
, x
j
, x
k
));
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)4
со значением сорта «число» - (∃х
i+1
:X) Р(x
i+1
,
t(v
(i+1)4
, v
(i+1)4
));
7)
х
i+1
имеет характеристику v
(i+1)5
со значением сорта «падеж» - (∃х
i+1
:X) Р(x
i+1
,
t(v
(i+1)5
, v
(i+1)5
));
8)
v
(i+1)5
должна быть эквивалентна v
i5
- Р
Е
(v
i5
, v
(i+1)5
);
9)
v
(i+1)4
имеет значение «множественное» - Р
Е
(v
(i+1)4
, множественное);
10)
v
i4
имеет значение «единственное» или «множественное» - Р
Е
(v
i4
, единственное)
или
Р
Е
(v
i4
, множественное).
Тогда продукции можно представить в виде пары:
pr
48
s
=<q
48
s
, r
48
s
>, где
q
48
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ Р
3
(ОЧП, t(х
i
, x
j
)) ∧
(∃
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
)) ∧ Р
Е
(v
i5
, v
(i+1)5
) ∧
Р
Е
(v
(i+1)4
, множественное) ∧ (Р
Е
(v
i4
, единственное) ∨ Р
Е
(v
i4
, множественное)) ↔ (∃х
i+1
:X)
(∃
x
j
:X) Р
1
(ОЧПС, t(х
i+1
, x
j
));
r
48
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
49
s
=<q
49
s
, r
49
s
>, где
q
49
s
= (∃х
i
:X) Р
par
(x
i
, t(v
i1
, прилагательное), t(v
i4
, v
i4
), t(v
i5
, v
i5
)) ∧ Р
4
(ОЧП, t(х
i
, x
j
, x
k
)) ∧
(∃
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
)) ∧ Р
Е
(v
i5
, v
(i+1)5
) ∧
Р
Е
(v
(i+1)4
, множественное) ∧ (Р
Е
(v
i4
, единственное) ∨ Р
Е
(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
49
s
= add [M
4
(D, (x
i+1
, x
j
)) ∧ M
4
(D, (x
i+1
, x
i
)) ∧ M
4
(D, (x
i+1
, x
k
)) ∧ M
1
(x
i+1
) ∧ M
2
(x
j
) ∧
M
2
(x
k
) ∧ M
2
(x
i
)].
Активация продукционных правил осуществляется аналогично активации продукций
морфологического анализа. 
        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) Рpar(xi, t(vi1, прилагательное), t(vi3, vi3), t(vi4, vi4), t(vi5, vi5)) ∧ (∃xi+1:X)
Рpar(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})].
        3 подсистема правил. Нахождение связи между лексемой и синтаксической группой
на примере построения правила формирования ОЧПС (существительное и прилагательное,
входящее в синтаксическую группу однородные члены прилагательных ОЧП): пара лексем
хi и хj через хi+1 лексему (хj, хi+1∈ОЧП) образуют словосочетание ОЧПС тогда и только тогда,
когда имеет место закономерность, описываемая конъюнкцией следующих фактов:
        1) хi имеет характеристику vi1∈Vi со значением «прилагательное» - (∃хi:X) Р(xi, t(vi1,
прилагательное));
        2) хi имеет характеристику vi4 со значением сорта «число» - (∃хi:X) Р(xi, t(vi4, vi4));
        3) хi имеет характеристику vi5 со значением сорта «падеж» - (∃хi:X) Р(xi, t(vi5, vi5));
        4) хi лексема входит в состав синтаксической группы ОЧП - Р3(ОЧП, t(хi, xj)) или
Р4(ОЧП, t(хi, xj, xk));
        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)4 со значением сорта «число» - (∃хi+1:X) Р(xi+1,
t(v(i+1)4, v(i+1)4));
        7) хi+1 имеет характеристику v(i+1)5 со значением сорта «падеж» - (∃хi+1:X) Р(xi+1,
t(v(i+1)5, v(i+1)5));
        8) v(i+1)5 должна быть эквивалентна vi5 - РЕ(vi5, v(i+1)5);
        9) v(i+1)4 имеет значение «множественное» - РЕ(v(i+1)4, множественное);
        10) vi4 имеет значение «единственное» или «множественное» - РЕ(vi4, единственное)
или РЕ(vi4, множественное).
        Тогда продукции можно представить в виде пары: pr48s =, где
        q48 s = (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ Р3(ОЧП, t(хi, xj)) ∧
(∃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)) ∧ РЕ(vi5, v(i+1)5) ∧
РЕ(v(i+1)4, множественное) ∧ (РЕ(vi4, единственное) ∨ РЕ(vi4, множественное)) ↔ (∃хi+1:X)
(∃xj:X) Р1(ОЧПС, t(хi+1, xj));
        r48 s = add [L4(D, (xi+1, xj)) ∧ L4(D, (xi+1, xi)) ∧ L1(xi+1) ∧ L2(xj) ∧ L2(xi)].
        И в виде пары pr49s =, где
        q49 s = (∃хi:X) Рpar(xi, t(vi1, прилагательное), t(vi4, vi4), t(vi5, vi5)) ∧ Р4(ОЧП, t(хi, xj, xk)) ∧
(∃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)) ∧ РЕ(vi5, v(i+1)5) ∧
РЕ(v(i+1)4, множественное) ∧ (РЕ(vi4, единственное) ∨ РЕ(vi4, множественное)) ↔ (∃хi+1:X)
(∃xj:X) Р1(ОЧПС, t(хi+1, xj)) ∧ (∃хi+1:X) (∃xk:X) Р1(ОЧПС, t(хi+1, xk));
        r49 s = add [M4(D, (xi+1, xj)) ∧ M4(D, (xi+1, xi)) ∧ M4(D, (xi+1, xk)) ∧ M1(xi+1) ∧ M2(xj) ∧
M2(xk) ∧ M2(xi)].
        Активация продукционных правил осуществляется аналогично активации продукций
морфологического анализа.
                                                      52

Страницы