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

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

Третье правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, наречие)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, наречие)) ∧

)),(,(

1)2(2

наречиеvtxP

ii ++

↔ (∃х

:X) (∃x

i+1

:X) Р

(ОЧН, t(x

, x

i+1

));

= add [P

(ОЧН, t(х

, x

i+1

)]; elim [(X, {х

i+1

}].

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

i+1

, х

i+2

и х

i+3

образуют синтаксическую группу

ОЧИнф (однородные члены глаголы в форме инфинитив) тогда и только тогда, когда имеет место

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

1) х

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

∈V

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

:X) Р(x

, t(v

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

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

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

, инфинитив))↔ (∃х

:X) (∃x

i+1

:X) (∃x

i+3

:X) Р

(ОЧИнф, t(x

i+1

, х

i+3

));

= add [P

(ОЧИнф, t(х

, x

i+1

, x

i+3

)]; elim [(X, {х

i+1

, x

i+2

, x

i+3

}].

Второе правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

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

↔ (∃х

:X) (∃x

i+2

:X) Р

(ОЧИнф, t(x

, x

i+2

));

= add [P

(ОЧИнф, t(х

, x

i+2

)]; elim [(X, {х

i+1

, x

i+2

}].

Третье правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, инфинитив)) ∧

)),(,(

1)2(2

инфинитивvtxP

ii ++

↔ (∃х

:X) (∃x

i+1

:X) Р

(ОЧИнф, t(x

, x

i+1

));

= add [P

(ОЧИнф, t(х

, x

i+1

)]; elim [(X, {х

i+1

}].

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

i+1

, х

i+2

и х

i+3

образуют синтаксическую

группу ОЧГП (однородные члены глаголы прошедшего времени) тогда и только тогда, когда имеет

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

1) х

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

∈V

со значением «глагол прошедшего времени» - (∃х

:X) Р(x

t(v

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

2) х

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

∈V

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

:X) Р(x

, t(v

, v

));

3) х

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

∈V

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

:X) Р(x

, t(v

, v

));

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

));

100

6) х

i+1

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

(i+1)4

∈V

i+1

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

i+1

:X) Р(x

i+1

t(v

(i+1)4

, v

(i+1)4

));

7) х

i+2

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

(i+2)1

∈V

i+2

со значением «союз» - (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

союз));

8) х

i+3

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

(i+3)1

∈V

i+3

со значением «глагол прошедшего времени» -

(

∃х

i+3

:X) Р(x

i+3

, t(v

(i+3)1

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

9) х

i+3

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

(i+3)3

∈V

i+3

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

i+3

:X) Р(x

i+3

, t(v

(i+3)3

));

10) х

i+3

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

(i+3)4

∈V

i+3

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

i+3

:X) Р(x

i+3

t(v

(i+3)4

, v

(i+3)4

));

11) v

, v

(i+1)4

и v

(i+3)4

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

, v

(i+1)4

, v

(i+3)4

);

12) v

, v

(i+1)3

и v

(i+3)3

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

, v

(i+1)3

, v

(i+3)3

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

, v

), t(v

, v

)) ∧ (∃х

i+1

:X) Р(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

))∧ (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

союз))

∧ (∃х

i+3

:X) Р(x

i+3

, t(v

(i+3)1

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

(i+3)3

, v

(i+3)3

), t(v

(i+3)4

, v

(i+3)4

)) ∧ Р

(i+1)4

, v

(i+3)4

) ∧ Р

, v

(i+1)3

, v

(i+3)3

) ↔ (∃х

:X) (∃x

i+1

:X) (∃x

i+3

:X) Р

(ОЧГП, t(x

, x

i+1

, х

i+3

));

= add [P

(ОЧГП, t(х

, x

i+1

, x

i+3

)]; elim [(X, {х

i+1

, x

i+2

, x

i+3

}].

Второе правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

, v

), t(v

, v

)) ∧ (∃х

i+1

:X) Р(x

i+1

t(v

(i+1)1

, союз)) ∧ (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

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

(i+2)3

, v

(i+2)3

), t(v

(i+2)4

, v

(i+2)4

))

∧

)),(,(

1)3(3

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

ii ++

∧ Р

, v

(i+2)4

) ∧ Р

, v

(i+2)3

) ↔ (∃х

:X) (∃x

i+2

:X)

(ОЧГП, t(x

, x

i+2

));

= add [P

(ОЧГП, t(х

, x

i+2

)]; elim [(X, {х

i+1

, x

i+2

}].

Третье правило – pr

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

, v

), t(v

, v

)) ∧ (∃х

i+1

:X) Р(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

)) ∧

)),(,(

1)2(2

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

ii ++

∧ Р

, v

(i+1)4

) ∧ Р

, v

(i+1)3

) ↔ (∃х

:X) (∃x

i+1

:X)

(ОЧГП, t(x

, x

i+1

));

= add [P

(ОЧГП, t(х

, x

i+1

)]; elim [(X, {х

i+1

}].

4. Правило для построения синтаксической группы ДАТА. Правило ищет два, три или четыре

контактно стоящих слова х

, х

i+1

, х

i+2

, х

i+3

, при этом х

может быть числом (1,2, …, 31), названием

месяца (январь, февраль, …, декабрь) или годом (10 … 2010), х

i+1

– числом месяца (01,02, …, 12),

названием месяца, годом или словоформой лексемы «год», х

i+2

– годом или словоформой лексемы

«год», х

i+3

- словоформой лексемы «год», например, 2003 года, 1 сентября, 1.04.2003 года, с

сентября 2003 года, 1 марта 2002 года. В результате может быть сформирована синтаксическая

группа ДАТА по схемам:

- число-месяц (5 сентября) – 05.09.04 (в качестве года ставится число текущего года);

- год-словоформа (2003 года) - 01.01.03;

101

- месяц-год-словоформа (сентября 2003 года) - 01.09.03;

- число-месяц-год-словоформа (6 сентября 2002 года) - 06.09.02.

В результате группа ДАТА заносится как лексема х

в исходное множество лексем Х,

осуществляется обновление вектора V

, в котором элементу v

присваивается значение «дата», а все

остальные лексемы х

i+1

, х

i+2

, х

i+3

удаляются из множества Х.

Для распознавания элементов группы дата введем сорт b

={b

, b

}, где

= {январь, февраль, … , декабрь} - множество названий месяцев;

= {01, 02, … ,12} - множество идентификаторов месяцев;

= {1, 2, … ,31} - множество значений дней;

= {1900, 1901, … ,2010} - множество значений года;

= {год, г., году, годах, годом} - множество словоформ слова «год».

Тогда правило построения синтаксической группы ДАТА можно представить в виде четырех

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

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

, х

i+1

образуют синтаксическую группу ДАТА тогда и только

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

1) х

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

∈V

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

:X) Р(x

, t(v

числительное));

2) х

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

- P

), y

, f

);

3) сорт b

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

- P

, b

);

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

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

- P

i+1

), y

, f

);

6) сорт b

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

- P

, b

7) х

i+2

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

(i+2)1

∈V

i+2

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

i+2

:X) Р(x

i+2

t(v

(i+2)1

, числительное));

8) х

i+2

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

- P

i+2

), y

, f

);

9) сорт b

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

- P

, b

);

10) х

i+3

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

(i+3)1

∈V

i+3

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

i+3

:X) Р(x

i+3

t(v

(i+3)1

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

11) х

i+3

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

- P

i+3

), y

, f

);

12) сорт b

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

- P

, b

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ P

), y

, f

)∧ P

, b

)∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

∧ P

i+1

), y

, f

)∧ P

, b

) ∧(∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

, числительное)) ∧

i+2

), y

, f

)∧ P

, b

)∧ (∃х

i+3

:X) Р(x

i+3

, t(v

(i+3)1

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

i+3

), y

, f

)∧ P

)↔ (∃х

:X) (∃x

i+1

:X) (∃x

i+2

:X) Р

(ДАТА, t(х

, x

i+1

, x

i+2

));

= add [(x

, «x

i+1

i+2

») ∧ P

(ДАТА, x

) ∧ (v

, дата)]; elim [(X, {х

i+1

, х

i+2

, х

i+3

}].

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

=<q

, r

>, где

= (∃x

:X) Р(x

, t(v

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

), y

, f

)∧ P

, b

) ∧(∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

числительное))

∧ P

i+1

), y

, f

)∧ P

, b

)∧ (∃х

i+2

:X) Р(x

i+2

, t(v

(i+2)1

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

102

i+2

), y

, f

)∧ P

, b

)↔ (∃х

:X) (∃x

i+1

:X) Р

(ДАТА, t(х

, x

i+1

));

= add [(v

, дата) ∧ (x

, «01.x

i+1

»]; elim [(X, {х

i+1

, х

i+2

}].

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ P

), y

, f

)∧ P

, b

)∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

∧ P

i+1

), y

, f

)∧ P

, b

)↔ (∃х

:X) (∃x

i+1

:X) Р

(ДАТА, t(х

, x

i+1

));

= add [(v

, дата) ∧ (x

, «01.01.x

»∧ P

(ДАТА, x

)]; elim [(X, {х

i+1

}].

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

, х

i+1

образуют синтаксическую группу ДАТА тогда и только

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

1) х

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

∈V

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

:X) Р(x

, t(v

числительное));

2) х

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

- P

), y

, f

);

3) сорт b

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

- P

, b

);

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

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

- P

i+1

), y

, f

);

6) сорт b

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

- P

, b

Тогда предикат (

∃х

:X) (∃x

i+1

:X) Р

(ДАТА, t(х

, x

i+1

)) соответствует утверждению, что

существуют лексемы х

, x

i+1

, которые могут образовать синтаксическую группу с именем ДАТА, а

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ P

), y

, f

)∧ P

, b

)∧ (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

∧ P

i+1

), y

, f

)∧ P

, b

) ↔ (∃х

:X) (∃x

i+1

:X) Р

(ДАТА, t(х

, x

i+1

));

= add [(v

, дата) ∧ (x

, «x

i+1

.год(сегодня)» ∧ P

(ДАТА, x

)]; elim [(X, {х

i+1

}].

5. Правило для построения группы ОГ (частица «не»+глагол). Правило ищет два контактно

стоящих слова х

и х

i+1,

при этом х

- частица «не», а х

i+1

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

инфинитив, например, не учатся, не сдала, не уметь. В результате формируется группа ОГ через

объединение двух слов, которая становится единой в семантическом смысле, и удаляется слово х

из исходного множества лексем:

1) х

имеет значение «не» - P

(х

, не);

2) х

i+1

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

(i+1)1

∈V

i+1

со значением «глагол» или со значением «глагол

прошедшего времени» или со значением «инфинитив» - (

∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, глагол)) или

(

∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, инфинитив)).

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

=<q

, r

>, где

= P

(х

, не) ∧ ((∃х

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) (∃x

i+1

:X) Р

(ОГ, t(х

, x

i+1

));

= add [(v

(i+1)1

, v

-отрицание)]; elim [(X, {х

}].

Программа r

удаляет частицу «не» из исходного множества лексем Х и осуществляет

обновление вектора V

i+1

, в котором элементу v

(i+1)1

приписывается запись «-отрицание».

Вторая подсистема правил

1. Правило построения словосочетания МП (модифицированное прилагательное). Правило

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

и х

i+1

, где х

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

103

i+1

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

по роду, числу и падежу, например, самый лучший.

В результате формируется словосочетание МП, которая указывает на синтаксическую связь между

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

={такой, такая,

такие, такую, такое, такого, таким, таком, самый, самая, самое, самую, самым, самыми}.

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

и х

i+1

образует пару МП тогда и только тогда,

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

1) х

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

∈V

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

:X) Р(x

, t(v

прилагательное));

2) х

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

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

:X) Р(x

, t(v

, v

));

3) х

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

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

:X) Р(x

, t(v

, v

));

4) х

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

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

:X) Р(x

, t(v

, v

));

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)3

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

(i+1)

:X) Р(x

(i+1)

, t(v

(i+1)3

));

7) х

(i+1)

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

(i+1)4

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

(i+1)

:X) Р(x

(i+1)

, t(v

(i+1)4

));

8) х

(i+1)

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

(i+1)5

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

(i+1)

:X) Р(x

(i+1)

, t(v

(i+1)5

));

9) v

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

(i+1)3

- Р

, v

(i+1)3

);

10) v

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

(i+1)4

- Р

, v

(i+1)4

);

11) v

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

(i+1)5

- Р

, v

(i+1)5

);

12) х

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

- P

), y

, f

);

13) сорт b

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

- P

, b

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, прилагательное), t(v

, v

), t(v

, v

), t(v

, v

))∧ (∃x

(i+1)

:X) Р(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

(i+1)3

) ∧ Р

, v

(i+1)4

) ∧ Р

(i+1)5

)∧ P

), y

, f

)∧ P

, b

) ↔ (∃х

:X) (∃x

i+1

:X) Р

(МП, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})].

2. Правило построения словосочетания НП (наречие + прилагательное или краткое

прилагательное). Правило ищет два контактно стоящих слова х

, х

i+1

, при этом у наречия х

должна

быть помета, сообщающая, что этим словом может управлять прилагательное (эта информация

берется из словаря готовых словоформ), например, очень способный, весьма полезный, особенно

талантлив. В результате формируется словосочетание НП, которая указывает на синтаксическую

связь между словами. Представим правило в виде следующей ситуации: пара лексем х

и х

i+1

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

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

1) х

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

∈V

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

:X) Р(x

, t(v

, наречие));

2) х

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

со значением сорта «дополнительный признак» - (∃x

:X) Р(x

t(v

, v

));

104

3) характеристика v

имеет значение «от прилагательного» - Р

, от прилагательного);

4) х

i+1

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

(i+1)1

со значением «прилагательное» или «краткое

прилагательное» - (

∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, прилагательное)) или (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, краткое

прилагательное)).

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

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

, наречие), t(v

, v

))∧ Р

, от прилагательного) ∧ ((∃x

i+1

:X)(Р(x

i+1

t(v

(i+1)1

, прилагательное)) ∨ Р(x

i+1

, t(v

(i+1)1

, краткое прилагательное))) ↔ (∃х

:X) (∃x

i+1

:X) Р

(НП, t(х

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})].

3. Правило построения словосочетания НН (наречие + наречие). Правило ищет два контактно

стоящих слова х

, х

i+1

, которые имеют часть речи наречие, например, гораздо выше, значительно

больше. Тогда пара лексем х

и х

i+1

образует пару НН тогда и только тогда, когда имеет место

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

1) х

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

∈V

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

:X) Р(x

, t(v

, наречие));

2) х

i+1

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

(i+1)1

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

наречие)).

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

=<q

, r

>, где

= (∃х

:X) Р

par

, t(v

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

i+1

, t(v

(i+1)1

, наречие))↔(∃х

:X) (∃x

i+1

:X) Р

(НН, t(х

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})].

4. Правило для построения словосочетания НС (наречие+существительное). Наречие имеет

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

падеже, например, много студентов, мало очень хороших студентов. В результате формируется

словосочетание НС, которое указывает на синтаксическую связь между словами. Представим

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

и х

i+1

образует пару НС тогда и только тогда,

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

1) х

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

∈V

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

:X) Р(x

, t(v

, наречие));

2) х

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

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

:X) Р(x

, t(v

));

3) х

i+1

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

(i+1)1

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

i+1

:X)Р(x

i+1

, t(v

(i+1)1

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

4) х

i+1

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

(i+1)4

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

i+1

:X) Р(x

i+1

, t(v

(i+1)4

));

5) х

i+1

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

(i+1)5

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

i+1

:X) Р(x

i+1

, t(v

(i+1)5

));

6) v

(i+1)4

имеет значение «множественное» - P

(i+1)4

, множественное);

7) v

(i+1)5

имеет значение «родительный» - P

(i+1)5

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

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, наречие), t(v

, v

)) ∧(∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

(i+1)4

), t(v

(i+1)5

, v

(i+1)5

)) ∧ P

(i+1)4

, множественное)∧ P

(i+1)5

, родительный) ↔ (∃х

:X) (∃x

i+1

:X)

105

(НС, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})].

5. Правило для построения словосочетания ГГ (глагол + инфинитив глагола). Правило ищет

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

и х

i+1,

при этом х

- глагол, а х

i+1

– инфинитив глагола, например, не

могут учиться. Для этого представим правило в виде следующей ситуации: пара лексем х

и х

i+1

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

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

1) х

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

∈V

со значением «глагол», или «глагол-отрицание», или

«глагол прошедшего времени», или «глагол прошедшего времени-отрицание» - (

∃х

:X) Р(x

, t(v

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

∃х

:X) Р(x

, t(v

, глагол-отрицание)), или (∃х

:X) Р(x

, t(v

, глагол прошедшего

времени)), или (

∃х

:X) Р(x

, t(v

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

2) х

i+1

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

(i+1)1

со значением «инфинитив» или «инфинитив-отрицание» -

(

∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, инфинитив)) или (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, инфинитив-отрицание)).

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

=<q

, r

>, где

= (∃х

:X) (Р(x

, t(v

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

, t(v

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

, t(v

, глагол прошедшего

времени))

∨ Р(x

, t(v

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

i+1

:X) (Р(x

i+1

, t(v

(i+1)1

инфинитив))

∨ Р(x

i+1

, t(v

(i+1)1

, инфинитив-отрицание)))↔ (∃х

:X) (∃x

i+1

:X) Р

(ГГ, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)].

6. Правило построения словосочетания СрП (сравнительного прилагательного). Правило ищет

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

и х

i+1

, где х

– это слова «более» или «менее», а х

i+1

– полное или

краткое прилагательное, например, более способный. Представим правило в виде ситуации: пара

лексем х

и х

i+1

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

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

1) х

имеет значение «более» или «менее» - P

(х

, более) или P

(х

, менее);

2) х

i+1

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

(i+1)1

∈V

(i+1)

со значением «прилагательное» или со значением

«краткое прилагательное» - (

∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, прилагательное)) или (∃x

i+1

:X) Р(x

i+1

, t(v

(i+1)1

краткое прилагательное)).

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

=<q

, r

>, где

= (P

(х

, более) ∨ P

(х

, менее)) ∧ (∃х

i+1

:X) (Р(x

i+1

, t(v

(i+1)1

, прилагательное)) ∨ Р(x

i+1

t(v

(i+1)1

, краткое прилагательное)))↔ (∃х

:X) (∃x

i+1

:X) Р

(СрП, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})].

7. Правило для построения словосочетания СЧ (существительное + числительное). Правило

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

и х

i+1

, где х

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

i+1

– числительное, или,

наоборот, х

– числительное, а х

i+1

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

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

, х

i+1

), где х

- существительное и главное

слово, х

i+1

– числительное и зависимое слово или наоборот. Тогда представим правило в виде двух

ситуаций.

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

и х

i+1

образует пару СЧ тогда и только тогда, когда имеет

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

1) х

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

∈V

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

:X) Р(x

, t(v

106

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

2) х

i+1

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

(i+1)1

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

числительное)).

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, числительное)) ↔ (∃х

:X)

(

∃x

i+1

:X) Р

(СЧ, t(х

, x

i+1

));

= add [L

(D, (x

, x

i+1

)) ∧ L

) ∧ L

i+1

)]; elim [(X, {x

i+1

})].

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

и х

i+1

образует пару СЧ тогда и только тогда, когда имеет

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

1) х

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

∈V

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

:X) Р(x

, t(v

числительное));

2) х

i+1

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

(i+1)1

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, числительное)) ∧ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

:X)

(

∃x

i+1

:X) Р

(СрП, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [ (X, {x

})].

8. Правило для построения словосочетания НГ (наречие + глагол). Правило ищет два

контактно стоящих слова х

и х

i+1

, где х

–наречие, а х

i+1

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

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

отрицание, или, наоборот, х

– глагол и т.п., а х

i+1

–наречие, например, хорошо учиться. В

результате формируется словосочетание (х

, х

i+1

), где х

- одна из форм глагола и главное слово, х

i+1

– наречие и зависимое слово или наоборот. Правило можно представить в виде двух ситуаций,

подобных предыдущему случаю. Поэтому продукции можно представить в виде: pr

=<q

, r

> и

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, наречие)) ∧ (∃х

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

, инфинитив))) ↔

(

∃х

:X) (∃x

i+1

:X) Р

(НГ, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})];

= (∃х

:X) (Р(x

, t(v

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

, t(v

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

, t(v

, глагол-

отрицание))

∨ Р(x

, t(v

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

, t(v

, инфинитив-

отрицание))

∨ Р(x

, t(v

, инфинитив))) ∨ (∃х

i+1

:X) Р(x

i+1

, t(v

(i+1)1

, наречие)) ↔ (∃х

:X) (∃x

i+1

:X) Р

(СЧ,

t(х

, x

i+1

));

= add [L

(D, (x

, x

i+1

)) ∧ L

) ∧ L

i+1

)]; elim [(X, {x

i+1

})].

9. Правило для построения словосочетания СущП (существительное + прилагательное).

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

и х

i+1

, где х

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

i+1

– прилагательное или наоборот. Их

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

электротехнического факультета, студент спортивный. Представим правило в виде двух

107

ситуаций.

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

и х

i+1

образует пару СущП тогда и только тогда, когда имеет

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

1) х

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

∈V

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

:X) Р(x

, t(v

прилагательное));

2) х

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

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

:X) Р(x

, t(v

, v

));

3) х

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

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

:X) Р(x

, t(v

, v

));

4) х

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

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

:X) Р(x

, t(v

, v

));

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)3

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

i+1

:X) Р(x

i+1

, t(v

(i+1)3

, v

(i+1)3

));

7) х

i+1

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

(i+1)4

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

i+1

:X) Р(x

i+1

, t(v

(i+1)4

));

8) х

i+1

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

(i+1)5

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

i+1

:X) Р(x

i+1

, t(v

(i+1)5

));

9) v

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

(i+1)3

- Р

, v

(i+1)3

);

10) v

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

(i+1)4

- Р

, v

(i+1)4

);

11) v

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

(i+1)5

- Р

, v

(i+1)5

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, прилагательное), t(v

, v

), t(v

, v

), t(v

, v

)) ∧ (∃x

i+1

:X) Р(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

(i+1)3

) ∧ Р

, v

(i+1)4

) ∧

, v

(i+1)5

) ↔ (∃х

:X) (∃x

i+1

:X) Р

(СущП, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)]; elim [(X, {x

})].

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

, v

), t(v

, v

), t(v

, v

)) ∧ (∃x

i+1

:X) Р(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

(i+1)3

) ∧ Р

, v

(i+1)4

)

∧ Р

, v

(i+1)5

) ↔ (∃х

:X) (∃x

i+1

:X) Р

(СущП, t(х

, x

i+1

));

= add [L

(D, (x

, x

i+1

)) ∧ L

) ∧ L

i+1

)]; elim [(X, {x

i+1

})].

10. Правило для построения словосочетания CC (существительное+существительное).

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

и х

i+1

, где х

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

i+1

– существительное в родительном

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

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

, х

i+1

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

1) х

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

∈V

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

:X) Р(x

, t(v

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

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

));

4) v

(i+1)5

имеет значение «родительный» или «предложный» - Р

(i+1)5

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

108

(i+1)5

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

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

(i+1)5

)) ∧ (Р

(i+1)5

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

(i+1)5

, предложный)) ↔ (∃х

:X) (∃x

i+1

:X) Р

(СС, t(х

, x

i+1

));

= add [L

(D, (x

, x

i+1

)) ∧ L

) ∧ L

i+1

)].

11. Правило для построения словосочетания ГС1 (глагол + существительное). Правило ищет

два слова х

и х

i+1

или х

i+2

, где х

–глагол в любой форме, а х

i+1

или х

i+2

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

наоборот, например, выдать список, участвует в соревнованиях, выдать студентам, стали

отличниками, провели преподаватели, закончили специальность в 2000 году. В результате

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

, х

i+1

) или (х

, х

i+2

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

, которое должно относиться

к части речи глагол. Тогда представим правило в виде трех ситуаций. Для первой ситуации

утверждение касается случая, когда пара лексем х

и (х

i+1

или х

i+2

)

образует пару ГС1 тогда и только

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

1) х

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

∈V

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

:X) Р(x

, t(v

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

, t(v

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

, t(v

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

t(v

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

, t(v

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

, t(v

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

2) х

i+1

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

(i+1)1

∈V

i+1

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

i+1

:X) Р(x

i+1

t(v

(i+1)1

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

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

=<q

, r

>, где

= (∃х

:X) (Р(x

, t(v

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

, t(v

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

, t(v

i)1

, глагол-

отрицание))

∨ Р(x

, t(v

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

, t(v

, инфинитив-

отрицание))

∨ Р(x

, t(v

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

i+1

:X) Р(x

i+1

, t(v

(i+1)1

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

:X)

(

∃x

i+1

:X) Р

(ГС1, t(х

, x

i+1

));

= add [L

(D, (x

, x

i+1

)) ∧ L

) ∧ L

i+1

)].

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

=<q

, r

>, где

= (∃х

:X) Р(x

, t(v

, существительное)) ∧ (∃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

инфинитив)))

↔ (∃х

:X) (∃x

i+1

:X) Р

(ГС1, t(х

, x

i+1

));

= add [L

(D, (x

i+1

, x

)) ∧ L

i+1

) ∧ L

)].

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

=<q

, r

>, где

= (∃х

:X) (Р(x

, t(v

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

, t(v

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

, t(v

i)1

, глагол-

отрицание))

∨ Р(x

, t(v

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

, t(v

, инфинитив-

отрицание))

∨ Р(x

, t(v

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

i+2

:X) Р(x

i+2

, t(v

(i+2)1

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

:X)

(

∃x

i+2

:X) Р

(ГС1, t(х

, x

i+2

));

= add [L

(D, (x

, x

i+2

)) ∧ L

) ∧ L

i+2

)].

12. Правило для построения словосочетания ГС2 (существительное + словоформа слова

«который»+глагол). Правило ищет три контактно стоящих слова х

, х

i+1

и х

i+2

, где х

–

109