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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Третье правило – pr
15
s
=<q
15
s
, r
15
s
>, где
q
15
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, наречие)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, наречие)) ∧
)),(,(
1)2(2
наречиеvtxP
ii ++
↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(ОЧН, t(x
i
, x
i+1
));
r
15
s
= add [P
3
(ОЧН, t(х
i
, x
i+1
)]; elim [(X, {х
i+1
}].
Ситуация пятая - правило первое: лексемы х
i,
х
i+1
, х
i+2
и х
i+3
образуют синтаксическую группу
ОЧИнф (однородные члены глаголы в форме инфинитив) тогда и только тогда, когда имеет место
закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «инфинитив» - (∃х
i
:X) Р(x
i
, t(v
i1
,
инфинитив));
2) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «инфинитив» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
,
инфинитив));
3) х
i+2
имеет характеристику v
(i+2)1
∈V
i+2
со значением «союз» - (∃х
i+2
:X) Р(x
i+2
, t(v
(i+2)1
,
союз));
4) х
i+3
имеет характеристику v
(i+3)1
∈V
i+3
со значением «инфинитив» - (∃х
i+3
:X) Р(x
i+3
, t(v
(i+3)1
,
инфинитив)).
Тогда продукция записывается в виде: pr
16
s
=<q
16
s
, r
16
s
>, где
q
16
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, инфинитив)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, инфинитив)) ∧ (∃х
i+2
:X) Р(x
i+2
,
t(v
(i+2)1
, союз)) ∧ (∃х
i+3
:X) Р(x
i+3
, t(v
(i+3)1
, инфинитив))↔ (∃х
i
:X) (∃x
i+1
:X) (∃x
i+3
:X) Р
2
(ОЧИнф, t(x
i
,
x
i+1
, х
i+3
));
r
16
s
= add [P
4
(ОЧИнф, t(х
i
, x
i+1
, x
i+3
)]; elim [(X, {х
i+1
, x
i+2
, x
i+3
}].
Второе правило – pr
17
s
=<q
17
s
, r
17
s
>, где
q
17
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, инфинитив)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, союз)) ∧ (∃х
i+2
:X) Р(x
i+2
, t(v
(i+2)1
,
инфинитив))
∧
)),(,(
1)3(3
инфинитивvtxP
ii ++
↔ (∃х
i
:X) (∃x
i+2
:X) Р
1
(ОЧИнф, t(x
i
, x
i+2
));
r
17
s
= add [P
3
(ОЧИнф, t(х
i
, x
i+2
)]; elim [(X, {х
i+1
, x
i+2
}].
Третье правило – pr
18
s
=<q
18
s
, r
18
s
>, где
q
18
s
= (∃х
i
:X) Р(x
i
, t(v
i1
, инфинитив)) ∧ (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, инфинитив)) ∧
)),(,(
1)2(2
инфинитивvtxP
ii ++
↔ (∃х
i
:X) (∃x
i+1
:X) Р
1
(ОЧИнф, t(x
i
, x
i+1
));
r
18
s
= add [P
3
(ОЧИнф, t(х
i
, x
i+1
)]; elim [(X, {х
i+1
}].
Ситуация шестая - правило первое: лексемы х
i,
х
i+1
, х
i+2
и х
i+3
образуют синтаксическую
группу ОЧГП (однородные члены глаголы прошедшего времени) тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
1) х
i
имеет характеристику v
i1
∈V
i
со значением «глагол прошедшего времени» - (∃х
i
:X) Р(x
i
,
t(v
i1
, глагол прошедшего времени));
2) х
i
имеет характеристику v
i3
∈V
i
со значением сорта «род» - (∃х
i
:X) Р(x
i
, t(v
i3
, v
i3
));
3) х
i
имеет характеристику v
i4
∈V
i
со значением сорта «число» - (∃х
i
:X) Р(x
i
, t(v
i4
, v
i4
));
4) х
i+1
имеет характеристику v
(i+1)1
∈V
i+1
со значением «глагол прошедшего времени» -
(
∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)1
, глагол прошедшего времени));
5) х
i+1
имеет характеристику v
(i+1)3
∈V
i+1
со значением сорта «род» - (∃х
i+1
:X) Р(x
i+1
, t(v
(i+1)3
,
v
(i+1)3
));
100 
      Третье правило – pr15s =, где
      q15s= (∃хi:X) Р(xi, t(vi1, наречие)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, наречие)) ∧ P( xi + 2 , t (v( i + 2)1 , наречие))
↔ (∃хi:X) (∃xi+1:X) Р1(ОЧН, t(xi, xi+1));
        r15s = add [P3(ОЧН, t(хi, xi+1)]; elim [(X, {хi+1}].
        Ситуация пятая - правило первое: лексемы хi, хi+1, хi+2 и хi+3 образуют синтаксическую группу
ОЧИнф (однородные члены глаголы в форме инфинитив) тогда и только тогда, когда имеет место
закономерность, описываемая конъюнкцией следующих фактов:
        1) хi имеет характеристику vi1∈Vi со значением «инфинитив» - (∃хi:X) Р(xi, t(vi1,
инфинитив));
        2) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «инфинитив» - (∃хi+1:X) Р(xi+1, t(v(i+1)1,
инфинитив));
        3) хi+2 имеет характеристику v(i+2)1∈Vi+2 со значением «союз» - (∃хi+2:X) Р(xi+2, t(v(i+2)1,
союз));
        4) хi+3 имеет характеристику v(i+3)1∈Vi+3 со значением «инфинитив» - (∃хi+3:X) Р(xi+3, t(v(i+3)1,
инфинитив)).
        Тогда продукция записывается в виде: pr16s =, где
        q16s= (∃хi:X) Р(xi, t(vi1, инфинитив)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, инфинитив)) ∧ (∃хi+2:X) Р(xi+2,
t(v(i+2)1, союз)) ∧ (∃хi+3:X) Р(xi+3, t(v(i+3)1, инфинитив))↔ (∃хi:X) (∃xi+1:X) (∃xi+3:X) Р2(ОЧИнф, t(xi,
xi+1, хi+3));
        r16s = add [P4(ОЧИнф, t(хi, xi+1, xi+3)]; elim [(X, {хi+1, xi+2, xi+3}].
        Второе правило – pr17s =, где
        q17s= (∃хi:X) Р(xi, t(vi1, инфинитив)) ∧ (∃хi+1:X) Р(xi+1, t(v(i+1)1, союз)) ∧ (∃хi+2:X) Р(xi+2, t(v(i+2)1,
инфинитив)) ∧ P ( xi +3 , t (v (i +3)1 , инфинитив )) ↔ (∃хi:X) (∃xi+2:X) Р1(ОЧИнф, t(xi, xi+2));
      r17s = add [P3(ОЧИнф, t(хi, xi+2)]; elim [(X, {хi+1, xi+2}].
      Третье правило – pr18s =, где
      q18s= (∃хi:X) Р(xi, t(vi1, инфинитив)) ∧ (∃хi+1:X)                            Р(xi+1,   t(v(i+1)1,   инфинитив))   ∧
P ( xi + 2 , t (v ( i + 2 )1 , инфинитив )) ↔ (∃хi:X) (∃xi+1:X) Р1(ОЧИнф, t(xi, xi+1));
        r18s = add [P3(ОЧИнф, t(хi, xi+1)]; elim [(X, {хi+1}].
        Ситуация шестая - правило первое: лексемы хi, хi+1, хi+2 и хi+3 образуют синтаксическую
группу ОЧГП (однородные члены глаголы прошедшего времени) тогда и только тогда, когда имеет
место закономерность, описываемая конъюнкцией следующих фактов:
        1) хi имеет характеристику vi1∈Vi со значением «глагол прошедшего времени» - (∃хi:X) Р(xi,
t(vi1, глагол прошедшего времени));
        2) хi имеет характеристику vi3 ∈Vi со значением сорта «род» - (∃хi:X) Р(xi, t(vi3, vi3));
        3) хi имеет характеристику vi4 ∈Vi со значением сорта «число» - (∃хi:X) Р(xi, t(vi4, vi4));
        4) хi+1 имеет характеристику v(i+1)1∈Vi+1 со значением «глагол прошедшего времени» -
(∃хi+1:X) Р(xi+1, t(v(i+1)1, глагол прошедшего времени));
        5) хi+1 имеет характеристику v(i+1)3 ∈Vi+1 со значением сорта «род» - (∃хi+1:X) Р(xi+1, t(v(i+1)3,
v(i+1)3));
                                                                   100

Страницы