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

существительное, х

i+1

– словоформа слова «который», а х

i+2

– глагол в любой форме, например,

выпускников, которые закончили, студенты, которые учатся. При этом существительное и глагол

должны стоять в одном и том же числе. В результате формируется словосочетание (х

i

, х

i+2

) с

главным словом х

i

. Для распознавания словоформы слова «который» введем сорт b

6

={который,

которая, которое, которые, которых, которым, которыми, которую, которого, которого, котором,

которой}. Представим правило в виде ситуации: тройка лексем х

i

и х

i+1

и х

i+2

образует пару ГС2

тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией следующих

фактов:

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+1

принадлежит сорту b

k

- P

f

(t

in

(x

i+1

), y

1

, f

1

);

4) сорт b

k

имеет значение b

5

- P

E

(y

1

, b

6

);

5) х

i+2

имеет характеристику v

(i+2)1

∈V

i+2

со значением «глагол» в любой форме - (∃x

i+2

:X)

Р(x

i+2

, t(v

(i+2)1

, глагол)), или Р(x

i+2

, t(v

(i+2)1

, глагол прошедшего времени)), или Р(x

i+2

, t(v

(i+2)1

, глагол-

отрицание)), или Р(x

i+2

, t(v

(i+2)1

, глагол прошедшего времени-отрицание)), или Р(x

i+2

, t(v

(i+2)1

,

инфинитив-отрицание)), или Р(x

i+2

, t(v

(i+2)1

, инфинитив));

6) х

i+2

имеет характеристику v

(i+2)4

со значением сорта «число» - (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)4

, v

i4

));

7) v

i4

должна быть эквивалентна v

(i+2)4

- Р

Е

(v

i4

, v

(i+2)4

).

Тогда продукция для данного правила представляется в виде пары: pr

43

s

=<q

43

s

, r

43

s

>, где

q

43

s

= (∃х

i

:X) Р(x

i

, t(v

i1

, существительное), t(v

i4

, v

i4

)) ∧ P

f

(t

in

(x

i+1

), y

1

, f

1

) ∧ P

E

(y

1

, b

6

) ∧ (∃х

i+2

:X)

(Р(x

i+2

, t(v

(i+2)1

, глагол), t(v

(i+2)4

, v

i4

)) ∨ Р(x

i+2

, t(v

(i+2)1

, глагол прошедшего времени), t(v

(i+2)4

, v

i4

)) ∨

Р(x

i+2

, t(v

(i+2)1

, глагол-отрицание), t(v

(i+2)4

, v

i4

)) ∨ Р(x

i+2

, t(v

(i+2)1

, глагол прошедшего времени-

отрицание), t(v

(i+2)4

, v

i4

)) ∨ Р(x

i+2

, t(v

(i+2)1

, инфинитив-отрицание), t(v

(i+2)4

, v

i4

)) ∨ Р(x

i+2

, t(v

(i+2)1

,

инфинитив), t(v

(i+2)4

, v

i4

))) ∧ Р

Е

(v

i4

, v

(i+2)4

) ↔ (∃х

i

:X) (∃x

i+1

:X) Р

1

(ГС, t(х

i

, x

i+1

));

r

43

s

= add [L

4

(D, (x

i

, x

i+2

)) ∧ L

1

(x

i

) ∧ L

2

(x

i+2

)]; elim [(X, {x

i+1

})].

Третья подсистема правил:

1. Правило для построения словосочетания ОЧНГ (однородные члены наречия + глагол).

Правило ищет два контактно стоящих слова х

i

и х

i+1

, где х

i

– наречие, которое должно входить в

синтаксическую группу ОЧН, а х

i+1

– глагол в любой форме или наоборот, например, усердно и

внимательно слушать. В результате для каждого элемента синтаксической группы должно быть

сформировано словосочетание (х

i+1

, х

j

), где х

i+1

– это слово, с частью речи глагол, а х

j

- элемент

синтаксической группы ОЧН, кроме исходного х

i

. Так как слова х

i

и х

i+1

могут быть как наречием,

так и глаголом, то данное правило можно представить в виде двух ситуаций.

Ситуация первая: пара лексем х

i

и х

j

через х

i+1

лексему (х

j

,

х

i+1

∈ОЧН) образует словосочетание

ОЧНГ тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией

следующих фактов:

1) х

i

имеет характеристику v

i1

∈V

i

со значением «наречие» - (∃x

i

:X) Р(x

i

, t(v

i1

, наречие));

2) х

i

лексема входит в состав синтаксической группы ОЧН – Р

3

(ОЧН, t(х

i

, x

j

)) или Р

4

(ОЧН, t(х

i

,

110

x

j

, x

k

));

3) х

i+1

имеет характеристику v

(i+1)1

со значением «глагол» в любой форме - (∃х

i+1

:X) Р(x

i+1

,

t(v

(i+1)1

, глагол)) и другие предикаты, подобные предикатам первого факта правила 11 предыдущей

группы правил.

Продукция для данной ситуации записывается в виде пары: pr

44

s

=<q

44

s

, r

44

s

>, где

q

44

s

= (∃x

i

:X) Р(x

i

, t(v

i1

, наречие)) ∧ Р

3

(ОЧН, t(х

i

, x

j

)) ∧ (∃x

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+1

:X) (∃x

j

:X) Р

1

(ОЧНГ, t(х

i+1

, x

j

));

r

44

s

= add [L

4

(D, (x

i+1

, x

j

)) ∧ L

1

(x

i+1

) ∧ L

2

(x

j

)].

Для второй ситуации продукция представляется парой: pr

45

s

=<q

45

s

, r

45

s

>, где

q

45

s

= (∃x

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

, инфинитив))) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, наречие)) ∧ Р

3

(ОЧН, t(х

i+1

, x

j

)) ↔

(

∃х

i

:X) (∃x

j

:X) Р

1

(ОЧНГ, t(х

i

, x

j

));

r

45

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

1

(x

i

) ∧ L

2

(x

j

)].

Так как синтаксическая группа ОЧН может быть представлена в форме предикатов двух

типов, то каждая ситуация может быть также разбита надвое, тогда добавляется еще две продукции

pr

46

s

=<q

46

s

, r

46

s

> и pr

47

s

=<q

47

s

, r

47

s

>, в которых:

q

46

s

= (∃x

i

:X) Р(x

i

, t(v

i1

, наречие)) ∧ Р

4

(ОЧН, t(х

i

, x

j

, x

k

)) ∧ (∃x

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+1

:X) (∃x

j

:X) Р

1

(ОЧНГ, t(х

i+1

, x

j

)) ∧ (∃х

i+1

:X) (∃x

k

:X) Р

1

(ОЧНГ, t(х

i+1

, x

k

));

r

46

s

= add [L

4

(D, (x

i+1

, x

j

)) ∧ L

4

(D, (x

i+1

, x

k

)) ∧ L

1

(x

i+1

) ∧ L

2

(x

j

) ∧ L

2

(x

k

)];

q

47

s

= (∃x

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

, инфинитив))) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, наречие)) ∧ Р

4

(ОЧН, t(х

i+1

, x

j

, x

k

)) ↔

(

∃х

i

:X) (∃x

j

:X) Р

1

(ОЧНГ, t(х

i

, x

j

)) ∧ (∃х

i

:X) (∃x

k

:X) Р

1

(ОЧНГ, t(х

i

, x

k

));

r

47

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

4

(D, (x

i

, x

k

)) ∧ L

1

(x

i

) ∧ L

2

(x

j

) ∧ L

2

(x

k

)].

2. Правило для построения словосочетания ОЧПС (однородные члены прилагательные +

существительное). Правило ищет два слова х

i

и х

i+1

, где х

i

– это существительное, а х

i+1

–

прилагательное, которое входит в группу ОЧП. Морфологические характеристики - падеж и род -

этих слов должны совпадать, но прилагательное должно стоять в единственном числе или

множественном числе, а существительное – во множественном, например, электротехнического и

экономического факультетов. В результате для каждого элемента синтаксической группы должно

быть сформировано словосочетание (х

i+1

, х

j

), где х

i+1

– это слово, с частью речи существительное, а

х

j

- элемент синтаксической группы ОЧП, кроме исходного х

i

.

Представим правило в виде ситуации: пара лексем х

i

и х

j

через х

i+1

лексему (х

j

,

х

i+1

∈ОЧП)

образует словосочетание ОЧПС тогда и только тогда, когда имеет место закономерность,

111

описываемая конъюнкцией следующих фактов:

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 [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

)].

3. Правило для построения словосочетания ОЧСП (прилагательное + однородные члены

существительные). Правило ищет два слова х

i

и х

i+1

, где х

i

– прилагательное, а х

i+1

–

существительное, которое входит в группу ОЧС. Прилагательное должно стоять во множественном

числе, а существительное – в единственном или множественном числе, например, лучшим

студенту и преподавателю. Тогда правило можно представить в виде ситуации: пара лексем х

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

));

112

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

t(х

j

, x

i+1

, x

k

)).

Тогда продукции можно представить в виде пары: pr

52

s

=<q

52

s

, r

52

s

>, где

q

52

s

= (∃х

i

:X) Р(x

i

, t(v

i1

, существительное)) ∧ (∃x

i+1

:X) Р

par

(x

i+1

, t(v

(i+1)1

, существительное),

t(v

(i+1)5

, v

(i+1)5

)) ∧ (Р

Е

(v

(i+1)5

, родительный) ∨ Р

Е

(v

(i+1)5

, предложный)) ∧ Р

3

(ОЧC, t(х

i+1

, x

j

)) ↔ (∃х

i

:X)

(

∃x

j

:X) Р

1

(ОЧCC, t(х

i

, x

j

));

r

52

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

4

(D, (x

i

, x

i+1

)) ∧ L

1

(x

i

) ∧ L

2

(x

j

) ∧ L

2

(x

i+1

)].

И в виде пары pr

53

s

=<q

53

s

, r

53

s

>, где

q

53

s

= (∃х

i

:X) Р(x

i

, t(v

i1

, существительное)) ∧ (∃x

i+1

:X) Р

par

(x

i+1

, t(v

(i+1)1

, существительное),

t(v

(i+1)5

, v

(i+1)5

)) ∧ (Р

Е

(v

(i+1)5

, родительный) ∨ Р

Е

(v

(i+1)5

, предложный)) ∧ Р

4

(ОЧC, t(х

i+1

, x

j

, x

k

)) ↔

(

∃х

i

:X) (∃x

j

:X) Р

1

(ОЧCC, t(х

i

, x

j

)) ∧ (∃х

i

:X) (∃x

k

:X) Р

1

(ОЧCC, t(х

i

, x

k

));

r

53

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

4

(D, (x

i

, x

i+1

)) ∧ L

4

(D, (x

i

, x

k

)) ∧ L

1

(x

i

) ∧ L

2

(x

j

) ∧ L

2

(x

k

) ∧ L

2

(x

i+1

)].

5. Правило для построения словосочетания ОЧСГ (глагол + однородные члены

существительные). Правило ищет два слова х

i

и х

i+1

, где х

i

– глагол, который может стоять в любой

форме, а х

i+1

– существительное, которое входит в группу ОЧС, например, выдать список и

перечень. Тогда правило представим в виде ситуации: пара лексем х

i

и х

j

через х

i+1

лексему (х

j

,

х

i+1

∈ОЧС) образует словосочетание ОЧСГ тогда и только тогда, когда имеет место закономерность,

описываемая конъюнкцией следующих фактов:

1) х

i

имеет характеристику v

i1

∈V

i

со значением «глагол» в любой форме - (∃х

i

:X) Р(x

i

, t(v

i1

,

глагол)) и другие предикаты, подобные предикатам первого факта правила 11 предыдущей группы

правил;

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

лексема входит в состав синтаксической группы ОЧС - Р

3

(ОЧС, t(х

j

, x

i+1

)) или Р

4

(ОЧС,

t(х

j

, x

i+1

, x

k

)).

Тогда продукции можно представить в виде пары: pr

54

s

=<q

54

s

, r

54

s

>, где

q

54

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

, инфинитив))) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, существительное)) ∧ Р

3

(ОЧС, t(х

j

,

x

i+1

)) ↔ (∃х

i

:X) (∃x

j

:X) Р

1

(ОЧСГ, t(х

i

, x

j

));

r

54

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

1

(x

i+1

) ∧ L

2

(x

j

)].

И в виде пары pr

55

s

=<q

55

s

, r

55

s

>, где

q

55

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

, инфинитив))) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, существительное)) ∧ Р

4

(ОЧС, t(х

j

,

x

i+1

, x

k

)) ↔ (∃х

i

:X) (∃x

j

:X) Р

1

(ОЧСГ, t(х

i

, x

j

)) ∧ (∃х

i

:X) (∃x

k

:X) Р

1

(ОЧСГ, t(х

i

, x

k

));

r

55

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

4

(D, (x

i

, x

k

)) ∧ L

1

(x

i+1

) ∧ L

2

(x

j

) ∧ L

2

(x

k

)].

6. Правило для построения словосочетания ОЧГС (однородные члены глаголы +

существительное). Правило ищет два слова х

i

и х

i+1

, где х

i

–глагол, который входит в

синтаксическую группу ОЧГП или ОЧИнф, а х

i+1

– существительное или наоборот, например,

114

выйти и прочитать стихотворение, студенты сдали и закрыли сессию. Тогда правило представим

в виде ситуации: пара лексем х

i

и х

j

через х

i+1

лексему (х

j

,

х

i+1

∈ОЧГП или х

j

,

х

i+1

∈ОЧИнф) образует

словосочетание ОЧГС тогда и только тогда, когда имеет место закономерность, описываемая

конъюнкцией следующих фактов:

1) х

i

лексема входит в состав синтаксической группы ОЧГП или ОЧИнф - Р

3

(ОЧГП, t(х

j

, x

i

))

или Р

4

(ОЧГП, t(х

j

, x

i

, x

k

)) или Р

3

(ОЧИнф, t(х

j

, x

i

)) или Р

4

(ОЧИнф, t(х

j

, x

i

, x

k

));

2) х

i+1

имеет характеристику v

(i+1)1

∈V

i+1

со значением «существительное» - (∃x

i+1

:X) Р(x

i+1

,

t(v

(i+1)1

, существительное)).

Тогда продукции можно представить в виде пары: pr

56

s

=<q

56

s

, r

56

s

>, где

q

56

s

= (Р

3

(ОЧГП, t(х

j

, x

i

)) ∨ Р

3

(ОЧИнф, t(х

j

, x

i

))) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, существительное)) ↔

(

∃х

i+1

:X) (∃x

j

:X) Р

1

(ОЧГС, t(х

i+1

, x

j

));

r

56

s

= add [L

4

(D, (x

j

, x

i+1

)) ∧ L

1

(x

j

) ∧ L

2

(x

i+1

)].

И в виде пары pr

57

s

=<q

57

s

, r

57

s

>, где

q

57

s

= (Р

4

(ОЧГП, t(х

j

, x

i

, x

k

)) ∨ Р

4

(ОЧИнф, t(х

j

, x

i

, x

k

))) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

,

существительное))

↔ (∃х

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

57

s

= add [L

4

(D, (x

j

, x

i+1

)) ∧ L

4

(D, (x

k

, x

i+1

)) ∧ L

1

(x

j

) ∧ L

1

(x

k

) ∧ L

2

(x

i+1

)].

7. Правило для построения словосочетания ГДАТА (глагол + дата). Правило ищет два слова

х

i

и х

j

, где х

i

– глагол в любой форме, кроме формы инфинитив и инфинитив-отрицание, а х

j

– слово

с признаком ДАТА, например, закончили специальность 2204 в 2000 году. Для разработки

продукции представим правило в виде ситуации: пара лексем х

i

и х

j

образует словосочетание

ГДАТА тогда и только тогда, когда имеет место закономерность, описываемая конъюнкцией

следующих фактов:

1) х

i

лексема имеет характеристику v

(i+1)1

∈V

i+1

со значением «глагол» - (∃x

i

:X) Р(x

i

, t(v

i1

,

глагол)) или Р(x

i

, t(v

i1

, глагол прошедшего времени)), или Р(x

i

, t(v

i1

, глагол-отрицание)), или Р(x

i

,

t(v

i1

, глагол прошедшего времени-отрицание));

2) х

j

имеет характеристику v

j1

∈V

j

со значением «дата» - (∃x

j

:X) Р(x

j

, t(v

j1

, дата)).

Тогда продукцию можно представить в виде пары: pr

58

s

=<q

58

s

, r

58

s

>, где

q

58

s

= (∃x

i

:X) (Р(x

i

, t(v

i1

, глагол)) ∨ Р(x

i

, t(v

i1

, глагол прошедшего времени)) ∨ Р(x

i

, t(v

i1

, глагол-

отрицание))

∨ Р(x

i

, t(v

i1

, глагол прошедшего времени-отрицание))) ∧ (∃x

j

:X) Р(x

j

, t(v

j1

, дата)) ↔

(

∃х

i

:X) (∃x

j

:X) Р

1

(ГДАТА, t(х

i

, x

j

));

r

58

s

= add [L

4

(D, (x

i

, x

j

)) ∧ L

1

(x

i

) ∧ L

2

(x

j

)].

8. Правило для построения словосочетания СФИО (существительное + ФИО). Правило ищет

два слова х

i

и х

i+1

, где х

i

– существительное, а х

i+1

– слово, с признаком ФИО, например, сведения

Иванова Ивана. Для разработки продукции представим правило в виде ситуации: пара лексем х

i

и х

j

образует словосочетание СФИО тогда и только тогда, когда имеет место закономерность,

описываемая конъюнкцией следующих фактов:

1) х

i

лексема имеет характеристику v

(i+1)1

∈V

i+1

со значением «существительное» - (∃x

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

, фио)).

Тогда продукцию можно представить в виде пары: pr

59

s

=<q

59

s

, r

59

s

>, где

115

q

59

s

= (∃x

i

:X) Р(x

i

, t(v

i1

, существительное)) ∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, фио)) ↔ (∃х

i

:X) (∃x

i+1

:X)

Р

1

(СФИО, t(х

i

, x

i+1

));

r

59

s

= add [L

4

(D, (x

i

, x

i+1

)) ∧ L

1

(x

i

) ∧ L

2

(x

i+1

)].

116

Приложение В. Предикаты метаописания базы данных

Группа 1. Предикаты, составляющие знания о понятиях логической модели данных

1. P

s

( студент, сущность,

r

tip

t )

2.

P

s

( t(образовательный, учреждение), сущность,

r

tip

t )

3.

P

s

( человек, сущность,

r

tip

t )

4.

P

s

( фамилия, атрибут,

r

tip

t )

5.

P

s

( имя, атрибут,

r

tip

t )

6.

P

s

( отчество, атрибут,

r

tip

t )

7.

P

s

( t(смена, фамилия), атрибут ,

r

tip

t )

8.

P

s

( t(индивидуальный, номер, налогоплательщик),

атрибут,

r

tip

t )

9.

P

s

( t(дата, рождение), атрибут,

r

tip

t )

10.

P

s

( t(место, рождение), атрибут,

r

tip

t )

11.

P

s

( фото, атрибут,

r

tip

t )

12.

P

s

( t(год, поступление), атрибут,

r

tip

t )

13.

P

s

( t(число, дети), атрибут,

r

tip

t )

14.

P

s

( адрес, сущность,

r

tip

t )

15.

P

s

( t(населенный, пункт ), сущность,

r

tip

t )

16.

P

s

( t(вид, улица), сущность,

r

tip

t )

17.

P

s

( улица, сущность,

r

tip

t )

18.

P

s

( t(номер, дом), атрибут,

r

tip

t )

19.

P

s

( t(номер, квартира), атрибут,

r

tip

t )

20.

P

s

( t(номер, строение), атрибут,

r

tip

t )

21.

P

s

( t(номер, корпус), атрибут,

r

tip

t )

22.

P

s

( t(домашний, телефон), атрибут,

r

tip

t )

23.

P

s

( t( электронный, почта), атрибут,

r

tip

t )

24.

P

s

( t( признак, прописка), атрибут,

r

tip

t )

25.

P

s

( t( признак, дополнительный, образование), атрибут,

r

tip

t )

26.

P

s

( t(изучение, иностранный, язык), сущность,

r

tip

t )

27.

P

s

( t(иностранный, язык), атрибут,

r

tip

t )

28.

P

s

( национальность, атрибут,

r

tip

t )

29.

P

s

( t(старый, фамилия), сущность,

r

tip

t )

30.

P

s

( t(текущий, запись), атрибут,

r

tip

t )

31.

P

s

( t(общий, социальный, признак), сущность,

r

tip

t )

32.

P

s

( t(социальный, признак), атрибут,

r

tip

t )

33.

P

s

( t(социальный, положение), атрибут,

r

tip

t )

34.

P

s

( взыскание, сущность,

r

tip

t )

35.

P

s

( t(название, взыскание), атрибут,

r

tip

t )

36.

P

s

( t(срок, взыскание), атрибут,

r

tip

t )

37.

P

s

( t(отметка, снятие, взыскание), атрибут,

r

tip

t )

38.

P

s

( t(вид, взыскание), атрибут,

r

tip

t )

39.

P

s

( t(общий, остронуждающийся), сущность,

r

tip

t )

40.

P

s

( t(вид, остронуждающийся), атрибут,

r

tip

t )

41.

P

s

( пол, атрибут,

r

tip

t )

42.

P

s

( t(, дети), сущность,

r

tip

t )

43.

P

s

( t(номер, ребенок), атрибут,

r

tip

t )

44.

P

s

( здоровье, сущность,

r

tip

t )

45.

P

s

( t(признак, инвалидность), атрибут,

r

tip

t )

46.

P

s

( t(номер, обосновывающий, документ), атрибут,

r

tip

t )

47.

P

s

( t(номер, регистрационный, документ), атрибут,

r

tip

t )

48.

P

s

( t(название, папка), атрибут,

r

tip

t )

49.

P

s

( заболевание, сущность,

r

tip

t )

50.

P

s

( t(название, заболевание), атрибут,

r

tip

t )

51.

P

s

( t(признак, целесообразность, учет), атрибут,

r

tip

t )

52.

P

s

( приказ, сущность,

r

tip

t )

53.

P

s

( t(номер, приказ), атрибут,

r

tip

t )

54.

P

s

( t(дата, приказ), атрибут,

r

tip

t )

55.

P

s

( t(социальный, пособие), сущность,

r

tip

t )

56.

P

s

( t(дата, назначение, пособие), атрибут,

r

tip

t )

57.

P

s

( t(протокол, заседание, профком), атрибут,

r

tip

t )

58.

P

s

( t(процент, тариф), атрибут,

r

tip

t )

59.

P

s

( t(тип, документ), атрибут,

r

tip

t )

60.

P

s

( t(состояние, документ), атрибут,

r

tip

t )

61.

P

s

( t(основание, издание, документ), атрибут,

r

tip

t )

62.

P

s

( t(статус, мероприятие), атрибут,

r

tip

t )

63.

P

s

( t(спортивный, достижение), сущность,

r

tip

t )

117

64. P

s

( t(сумма, премия), атрибут,

r

tip

t )

65.

P

s

( t(место, спортивный, состязание), атрибут,

r

tip

t )

66.

P

s

( t(название, спортивный, состязание), атрибут,

r

tip

t )

67.

P

s

( t(дата, спортивный, состязание), атрибут,

r

tip

t )

68.

P

s

( t(вид, состязание), атрибут,

r

tip

t )

69.

P

s

( t(вид, достижение), атрибут,

r

tip

t )

70.

P

s

( t(спортсмен), сущность,

r

tip

t )

71.

P

s

( t(вид, мастерство), атрибут,

r

tip

t )

72.

P

s

( t(общественный, деятельность), сущность,

r

tip

t )

73.

P

s

( t(протокол, собрание, группа), атрибут,

r

tip

t )

74.

P

s

( t(дата, собрание, группа), атрибут,

r

tip

t )

75.

P

s

( t(общественный, работа), атрибут,

r

tip

t )

76.

P

s

(t(факультет, общественный, профессия), сущность,

r

tip

t )

77.

P

s

( t(дата, начало, обучение), атрибут,

r

tip

t )

78.

P

s

( t(дата, конец, обучение), атрибут, )

r

tip

t )

79.

P

s

( t(общественный, профессия), атрибут,

r

tip

t )

80.

P

s

( t(общий, архив ), сущность,

r

tip

t )

81.

P

s

( t(регистр, архив), сущность,

r

tip

t )

82.

P

s

( t(идентификатор, архив), атрибут,

r

tip

t )

83.

P

s

( t(период, архив), атрибут,

r

tip

t )

84.

P

s

( t(метка, том), атрибут,

r

tip

t )

85.

P

s

( t(начало, учебный, год,), атрибут,

r

tip

t )

86.

P

s

( t(конец, учебный, год), атрибут,

r

tip

t )

87.

P

s

( t(история, поступление, обучение), сущность,

r

tip

t )

88.

P

s

( t(номер, группа), атрибут,

r

tip

t )

89.

P

s

( t(сфера, деятельность), атрибут,

r

tip

t )

90.

P

s

( t(студенческий, документ), сущность,

r

tip

t )

91.

P

s

( серия, атрибут,

r

tip

t )

92.

P

s

( номер, атрибут,

r

tip

t )

93.

P

s

( t(кто, выдал), атрибут,

r

tip

t )

94.

P

s

( t(дата, выдача), атрибут,

r

tip

t )

95.

P

s

( t(срок, действие), атрибут,

r

tip

t )

96.

P

s

( t(унифицированный, поток), сущность,

r

tip

t )

97.

P

s

( t(форма, обучение), атрибут,

r

tip

t )

98.

P

s

( t(вид, поток), атрибут,

r

tip

t )

99.

P

s

(t(категория, дополнительный, поступление), сущность,

r

tip

t )

100.

P

s

( t(название, документ), атрибут,

r

tip

t )

101.

P

s

( t(проживание, общежитие), сущность,

r

tip

t )

102.

P

s

( t(дата, регистрация), атрибут,

r

tip

t )

103.

P

s

( t(срок, регистрация), атрибут,

r

tip

t )

104.

P

s

( t(признак, оплата), атрибут,

r

tip

t )

105.

P

s

( общежитие, сущность,

r

tip

t )

106.

P

s

( t(номер, общежитие), атрибут,

r

tip

t )

107.

P

s

( t(номер, комната), атрибут,

r

tip

t )

108.

P

s

( t(число, место), атрибут,

r

tip

t )

109.

P

s

( документ, атрибут,

r

tip

t )

110.

P

s

( t(аббревиатура, документ), атрибут,

r

tip

t )

111.

P

s

( стипендия, сущность,

r

tip

t )

112.

P

s

( t(вид, стипендия), атрибут,

r

tip

t )

113.

P

s

( t(тариф, стипендия), атрибут,

r

tip

t )

114.

P

s

( t(признак, категория, допуск), атрибут,

r

tip

t )

115.

P

s

( t(шифр, категория, допуск), атрибут,

r

tip

t )

116.

P

s

( t(категория, допуск), атрибут,

r

tip

t )

117.

P

s

( t(подразделение), сущность,

r

tip

t )

118.

P

s

(t(название, подразделение), атрибут,

r

tip

t )

119.

P

s

(t(аббревиатура, подразделение), атрибут,

r

tip

t )

120.

P

s

(t(вид, подразделение), атрибут,

r

tip

t )

121.

P

s

(t(аббревиатура, вид, подразделение), атрибут,

r

tip

t )

122.

P

s

(t(название, образовательный, учреждение), атрибут,

r

tip

t )

123.

P

s

(t(аббревиатура, образовательный, учреждение),

атрибут,

r

tip

t )

124.

P

s

( руководитель, атрибут,

r

tip

t )

125.

P

s

( факс, атрибут,

r

tip

t )

126.

P

s

( профиль, атрибут,

r

tip

t )

127.

P

s

( t(название, министерство), атрибут,

r

tip

t )

128.

P

s

( t(аббревиатура, министерство), атрибут,

r

tip

t )

129.

P

s

( t(вид, образовательный, учреждение), атрибут,

r

tip

t )

130.

P

s

(t(аббревиатура,вид,образовательный,учреждение),

атрибут,

r

tip

t )

131.

P

s

( t(специальный, направление), сущность,

r

tip

t )

118

132. P

s

( t(номер, специальный, направление), атрибут,

r

tip

t )

133.

P

s

( t(специальность), сущность,

r

tip

t )

134.

P

s

( t(шифр, специальность), атрибут,

r

tip

t )

135.

P

s

( t(название, специальность), атрибут,

r

tip

t )

136.

P

s

( t(аббревиатура, специальность), атрибут,

r

tip

t )

137.

P

s

( t(вид, деятельность), атрибут,

r

tip

t )

138.

P

s

( t(общественный, значимость), атрибут,

r

tip

t )

139.

P

s

(t(выпускник, общественная, значимость), сущность,

r

tip

t )

140.

P

s

( t(вид, спортивный, поток), атрибут,

r

tip

t )

141.

P

s

( t(поток), сущность,

r

tip

t )

142.

P

s

( t(шифр, поток), атрибут,

r

tip

t )

143.

P

s

( t(выпускник), сущность,

r

tip

t )

144.

P

s

( t(признак, потенциальный, спонсор), атрибут,

r

tip

t )

145.

P

s

( комментарий, атрибут,

r

tip

t )

146.

P

s

( t(признак, красный, диплом), атрибут,

r

tip

t )

147.

P

s

( t(средний, балл, выпускник), атрибут,

r

tip

t )

148.

P

s

( t(спонсор, выпускник), сущность,

r

tip

t )

149.

P

s

( t(сумма, спонсирование), атрибут,

r

tip

t )

150.

P

s

( повод, атрибут,

r

tip

t )

151.

P

s

( t(вид, спонсирование), атрибут,

r

tip

t )

152.

P

s

( t(вид, территориальный, единица), атрибут,

r

tip

t )

153.

P

s

( t(аббревиатура, вид, территориальный, единица),

атрибут,

r

tip

t )

154.

P

s

( t(территориальный, единица), атрибут,

r

tip

t )

155.

P

s

(t(аббревиатура, территориальный, единица), атрибут,

r

tip

t )

156.

P

s

( страна, атрибут,

r

tip

t )

157.

P

s

( t(аббревиатура, страна), атрибут,

r

tip

t )

158.

P

s

( район, атрибут,

r

tip

t )

159.

P

s

( t(аббревиатура, район), атрибут,

r

tip

t )

160.

P

s

( t(название, населенный, пункт), атрибут,

r

tip

t )

161.

P

s

( t(аббревиатура, населенный, пункт), атрибут,

r

tip

t )

162.

P

s

( t(вид, населенный, пункт), атрибут,

r

tip

t )

163.

P

s

( t(аббревиатура, вид, населенный, пункт), атрибут,

r

tip

t )

164.

P

s

(предприятие, сущность,

r

tip

t )

165.

P

s

( t(название, предприятие), атрибут,

r

tip

t )

166.

P

s

( t(аббревиатура, предприятие), атрибут,

r

tip

t )

167.

P

s

( улица, атрибут,

r

tip

t )

168.

P

s

( t(аббревиатура, улица), атрибут,

r

tip

t )

169.

P

s

( t(вид, улица), атрибут,

r

tip

t )

170.

P

s

( t(аббревиатура, вид, улица), атрибут,

r

tip

t )

171.

P

s

( сотрудник, сущность,

r

tip

t )

172.

P

s

( должность, атрибут,

r

tip

t )

173.

P

s

( t(аббревиатура, должность), атрибут,

r

tip

t )

174.

P

s

( t(динамический, сведение), сущность,

r

tip

t )

175.

P

s

(движение, атрибут,

r

tip

t )

176.

P

s

( t(дополнительный, образование), сущность,

r

tip

t )

177.

P

s

( t(год, поступление, дополнительное, образование),

атрибут,

r

tip

t )

178.

P

s

( t(базовый, образование), сущность,

r

tip

t )

179.

P

s

( t(год, окончание), атрибут,

r

tip

t )

180.

P

s

( t(средний, балл, абитуриент), атрибут,

r

tip

t )

181.

P

s

( t(отношение, ВО), атрибут,

r

tip

t )

182.

P

s

( t(семейный, положение), атрибут,

r

tip

t )

183.

P

s

( прописка, сущность,

r

tip

t )

184.

P

s

( t(учебная, награда), сущность,

r

tip

t )

185.

P

s

( t(дата, награждение), атрибут,

r

tip

t )

186.

P

s

( t(основание, награда), атрибут,

r

tip

t )

187.

P

s

( t(учебный, мероприятие), атрибут,

r

tip

t )

188.

P

s

( родитель, сущность,

r

tip

t )

189.

P

s

( t(место, работы), атрибут,

r

tip

t )

190.

P

s

( t(рабочий, телефон), атрибут,

r

tip

t )

191.

P

s

( t(родственный, отношение), атрибут,

r

tip

t )

192.

P

s

( t(оплата, договор), сущность,

r

tip

t )

193.

P

s

( t(номер, оплата), атрибут,

r

tip

t )

194.

P

s

( t(номер, бухгалтерский, документ), атрибут,

r

tip

t )

195.

P

s

( t(сумма, оплата), атрибут,

r

tip

t )

196.

P

s

( t(дата, оплата), атрибут,

r

tip

t )

197.

P

s

( t(остаток, оплата), атрибут,

r

tip

t )

198.

P

s

( t(бухгалтерский, документ), атрибут,

r

tip

t )

199.

P

s

( t(вид, оплата), атрибут,

r

tip

t )

119

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

Подождите немного. Документ загружается.