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

UptoLike

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
10
s
=<q
10
s
, r
10
s
>, где
q
10
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
10
s
= add [P
4
(ОЧЧ, t(х
i
, x
i+1
, x
i+3
)]; elim [(X, {х
i+1
, x
i+2
, x
i+3
}].
Второе правилоpr
11
s
=<q
11
s
, r
11
s
>, где
q
11
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
11
s
= add [P
3
(ОЧЧ, t(х
i
, x
i+2
)]; elim [(X, {х
i+1
, x
i+2
}].
Третье правилоpr
12
s
=<q
12
s
, r
12
s
>, где
q
12
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
12
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
13
s
=<q
13
s
, r
13
s
>, где
q
13
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
13
s
= add [P
4
(ОЧН, t(х
i
, x
i+1
, x
i+3
)]; elim [(X, {х
i+1
, x
i+2
, x
i+3
}].
Второе правилоpr
14
s
=<q
14
s
, r
14
s
>, где
q
14
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
14
s
= add [P
3
(ОЧН, t(х
i
, x
i+2
)]; elim [(X, {х
i+1
, x
i+2
}].
99
        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, числительное)).
        Тогда продукция записывается в виде: pr10s =, где
        q10s= (∃х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));
        r10s = add [P4(ОЧЧ, t(хi, xi+1, xi+3)]; elim [(X, {хi+1, xi+2, xi+3}].
        Второе правило – pr11s =, где
        q11s= (∃х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));
      r11s = add [P3(ОЧЧ, t(хi, xi+2)]; elim [(X, {хi+1, xi+2}].
      Третье правило – pr12s =, где
      q12s= (∃х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));
     r12s = 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,
наречие)).
     Тогда продукция записывается в виде: pr13s =, где
     q13s= (∃х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));
     r13s = add [P4(ОЧН, t(хi, xi+1, xi+3)]; elim [(X, {хi+1, xi+2, xi+3}].
     Второе правило – pr14s =, где
     q14s= (∃х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));
      r14s = add [P3(ОЧН, t(хi, xi+2)]; elim [(X, {хi+1, xi+2}].
                                                               99