Введение
Глава 1. Основы теории LP-структур 14
1.1. Базовые сведения о бинарных отношениях и решетках 14
1.2. Понятие LP-структуры. Логические отношения 17
1.3. Логическое замыкание и эквивалентные преобразования 19
1.4. Структура логических связей 26
1.5. Логическая редукция 29
1.6. Продукционно-логические уравнения 35
Глава 2. Релевантный обратный вывод 42
2.1. Продукционная система и ее представление LP-структурой 42
2.2. Обратный вывод на основе решения уравнений 46
2.3. Алгоритмы релевантного вывода 51
2.4. Стратегии подсчета релевантности 55
2.5. Использование параллельных вычислений 63
Глава 3. Компьютерная реализация 73
3.1. Общие принципы реализации 74
3.2. Кодирование LP-структур 76
3.3. Архитектура класса ParallelLPStructure 78
3.4. Основная функциональность LP-структуры 80
3.5. LPExpert – новая версия IDE 90
Глава 4. Статистический анализ 96
4.1. Основные теоретические сведения 97
4.2. Исследование алгоритма релевантного LP-вывода 104
4.2.1. Сравнение дисперсий генеральных совокупностей 104
4.2.2. Сравнение средних генеральных совокупностей 105
4.2.3. Исследования в пакете Statistica 6 106
4.3. Исследование кластерно-релевантного LP-вывода 111
4.4. Применение пропорционального подсчета релевантности 118
4.5. Исследование выполнения параллельных алгоритмов 123
4.5.1. Сравнение дисперсий генеральных совокупностей 124
4.5.2. Сравнение средних генеральных совокупностей 125
4.5.3. Исследования в пакете Statistica 6 126
4.6. Выводы 130
Заключение 131
Приложение A. Таблицы результатов тестов 133
A.1. Тесты релевантного вывода 133
A.2. Тесты кластерно-релевантного вывода 135
A.3. Тесты пропорционального подсчета релевантности 136
A.4. Тесты параллельных алгоритмов 137
Приложение B. Некоторые тексты программ 139
B.1. Модули класса ParallelLPStructure 139
B.2. Подсчет релевантности 143
Литература 149
