Введение
Глава 1: Теория решеток и анализ формальных понятий 8
1.1 Частично упорядоченные множества и решетки 8
1.2 Операторы замыкания 13
1.3 Операторы замыкания и системы замыкания в полурешетке 14
1.4 Импликации 20
1.5 Анализ формальных понятий 22
Глава 2: Решетки формальных понятий в автоматическом порождении гипотез 27
2.1 Импликации и ассоциативные правила 29
2.2 ДСМ-метод 34
2.2.1 ДСМ-метод в терминах анализа формальных понятий: Основные определения 34
2.2.2 О пользе итерации 36
2.2.3 Варианты ДСМ-гипотез 50
Глава 3: Алгоритмы построения решеток формальных понятий и их применение для порождения гипотез 59
3.1 О принципах сравнения 60
3.2 Обзор алгоритмов 66
3.2.1 Борда 66
3.2.2 Следующее замыкание 77
3.2.3 Замыкай по одном) 80
3.2.4 Лпнднг 85
3.2.5 Шен 87
3.2.6 Нурпн 90
3.2.7 Норрпс 91
3.2.8 Годан 93
3.2.9 Добавь атом 96
3.2.10 Другие алгоритмы 103
3.3 Эксперименты 105
3.4 Алгоритмы порождения понятий в машинном обучении 115
Глава 4: Алгоритмы построения базиса импликаций 118
4.1 Алгоритм Гантера вычисления базиса Дгокенна-Гига 118
4. 2 Пошаговый алгоритм вычисления базиса Дюкенна—Гита 120
4.2.1 Типы импликаций 121
4.2.2 Описание алгоритма 126
4.2.3 Экспериментальное сравнение 132
Глава 5: Рассуждение в условиях частичной информации: Неполные контексты 134
5.1. Постановка задачи 134
5.2 Оценка формул с помощью логики Клини 138
5.3 Модальная логика для неполных контекстов 139
5.3.1 Модальная логика бессмыслицы 140
5.3.2. Применение модальной логики бессмыслицы для оценки формул в неполных контекстах 147
Заключение 151
Литература 153
