СОДЕРЖАНИЕ
ВВЕДЕНИЕ
РАЗДЕЛ
СОСТОЯНИЕ ВОПРОСА И ПОСТАНОВКА ЗАДАЧ
ИССЛЕДОВАНИЯ
1.1. Алгебра предикатов как формальный аппарат для описания естественного языка
1.2. Логическая сеть как аппаратное средство решения логических уравнений
1.3. Обзор основных достижений в области разработки логических
сетей
1.4. Бинарная декомпозиция предикатов как способ построения моделей логических сетей
1.5. Постановка задач исследования
РАЗДЕЛ
РЕЛЯЦИОННАЯ АЛГЕБРА И АЛГЕБРА ПРЕДИКАТОВ
2.1. Алгебры предикатов
2.2. Реляционная алгебра
2.3. Реляционные и цилиндрические алгебры
2.4. Кванторы существования как операции цилиндрификации
2.5. Реляционные алгебры и алгебры предикатов
2.6. Реляционный анализ решения уравнений алгебры предикатов и работы логической сети
Выводы по второму
разделу
РАЗДЕЛ
РАЗРАБОТКА РЕЛЯЦИОННЫХ СРЕДСТВ ДЕКОМПОЗИЦИИ ПРЕДИКАТОВ
3.1. Декомпозиция отношений и предикатов
3.2. Элементы теории зависимостей
3.3. Разработка предикатных утверждений о зависимостях
3.4. Модифицированная теорема о дизъюнктивном разложении предиката
Выводы по третьему
разделу
РАЗДЕЛ
РАЗРАБОТКА МЕТОДА БИНАРНОЙ ДЕКОМПОЗИЦИИ ФУНКЦИОНАЛЬНЫХ ПРЕДИКАТОВ
4.1. Анализ имеющихся методов бинарной декомпозиции конечных предикатов
4.2. Разработка способов декомпозиции при наличии определенной зависимости конъюнкции
4.3. Разработка способа декомпозиции при отсутствии определенной зависимости конъюнкции
4.4. Разработка алгоритма бинарной декомпозиции функциональных предикатов
Выводы по четвертому
разделу
РАЗДЕЛ
РАЗРАБОТКА ЛОГИЧЕСКОЙ СЕТИ ДЛЯ МОРФОЛОГИЧЕСКОЙ МОДЕЛИ
5.1. Модель флективной обработки глаголов русского языка
5.2. Декомпозиция модели глагольной флексии
5.3. Логическая сеть на кристаллах программируемой логики
5.4. Сравнение разработанного метода с аналогом
Выводы по пятому
разделу
ВЫВОДЫ ПО РАБОТЕ
ПРИЛОЖЕНИЯ
Приложение А
Приложение Б
Приложение В
Приложение Г
Приложение Д
Приложение Е
Приложение Ж
Приложение З
Список
- Київ+380960830922