ВВЕДЕНИЕ .............................................................................................................4
ГЛАВА 1. АНАЛИЗ СУЩЕСТВУЮЩИХ РЕШЕНИЙ В ОБЛАСТИ
ЛОГИЧЕСКОГО ВЫВОДА С АКЦЕНТОМ НА МЕТОД РЕЗОЛЮЦИЙ......12
1.1 АКТУАЛЬНОСТЬ И АНАЛИЗ ПОДХОДОВ К ПОСТРОЕНИЮ СИСТЕМ ИИ НА
ОСНОВЕ ЛОГИЧЕСКОГО ВЫВОДА ..........................................................................12
1.2 ОПИСАНИЕ МЕТОДА РЕЗОЛЮЦИЙ ..............................................................15
1.3 ПРИМЕРЫ ПРАКТИЧЕСКОГО ПРИМЕНЕНИЯ МЕТОДА РЕЗОЛЮЦИЙ..............26
1.4 ЦЕЛЬ И ЗАДАЧИ ИССЛЕДОВАНИЯ ...............................................................31
1.5 ВЫВОДЫ ....................................................................................................33
ГЛАВА 2. НОВЫЕ СТРАТЕГИИ УПРАВЛЕНИЯ ВЫВОДОМ В
КЛАССИЧЕСКОЙ ЛОГИКЕ...............................................................................35
2.1 СТРАТЕГИИ УПРАВЛЕНИЯ ВЫВОДОМ .............................................................35
2.2 РАЗРАБОТКА НОВЫХ СТРАТЕГИЙ И ИХ АЛГОРИТМИЧЕСКАЯ РЕАЛИЗАЦИЯ.....39
2.2.1 Алгоритмы, реализующие рейтинговую стратегию управления
выводом...........................................................................................................39
2.2.2 Алгоритм, реализующий стратегию на основе минимального
дизъюнкта .......................................................................................................44
2.2.3 Алгоритм, реализующий стратегию управления выводом на основе
поиска похожих предложений ......................................................................46
2.2.4 Алгоритм, реализующий стратегию управления выводом на основе
весов предложений.........................................................................................48
2.3 ИЛЛЮСТРАТИВНЫЕ ПРИМЕРЫ........................................................................51
2.4 СРАВНИТЕЛЬНЫЙ АНАЛИЗ НОВЫХ СТРАТЕГИЙ УПРАВЛЕНИЯ ВЫВОДОМ.......59
2.5 ВЫВОДЫ.........................................................................................................65
ГЛАВА 3. СТРАТЕГИИ УПРАВЛЕНИЯ ВЫВОДОМ В НЕЧЕТКОМ
МЕТОДОМ РЕЗОЛЮЦИЙ ..................................................................................67
3.1 ОСНОВНЫЕ ПОНЯТИЯ НЕЧЕТКОЙ ЛОГИКИ......................................................67
3.2 ПОНЯТИЕ НЕЧЕТКОЙ РЕЗОЛЬВЕНТЫ И ЕЕ СВОЙСТВА......................................71
3.3 АЛГОРИТМЫ РЕЗОЛЮТИВНОГО ВЫВОДА........................................................79
НА ОСНОВЕ НЕЧЕТКОЙ РЕЗОЛЬВЕНТЫ ..................................................................79
3.3.1 Алгоритм резолютивного вывода на основе резольвенты Lee.........79
3.3.2 Алгоритм резолютивного вывода на основе резольвенты Mukaidono
..........................................................................................................................81
3.3.3 Стратегия, основанная на степени сходства.......................................83
3.3.4 Анализ сложности алгоритмов приведенных стратегий...................92
3.4 ИЛЛЮСТРАТИВНЫЕ ПРИМЕРЫ........................................................................94
3.4.1 Пример решения задачи алгоритмом в интерпретации Lee .............94
3.4.2 Пример решения задачи алгоритмом в интерпретации Mukaidono .95
3.4.3 Пример решения задачи алгоритмом сходства ..................................97
3.5 ВЫВОДЫ.......................................................................................................100
3
ГЛАВА 4. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ СТРАТЕГИЙ ПОИСКА
РЕШЕНИЙ МЕТОДОМ РЕЗОЛЮЦИЙ В КЛАССИЧЕСКОЙ И НЕЧЕТКОЙ
ЛОГИКЕ...............................................................................................................102
4.1 ПРОГРАММНАЯ РЕАЛИЗАЦИЯ МЕТОДА РЕЗОЛЮЦИЙ В КЛАССИЧЕСКОЙ ЛОГИКЕ
...........................................................................................................................104
4.1.1 Реализация стратегии поиска минимального дизъюнкта................106
4.1.2 Реализация рейтинговой стратегии ...................................................108
4.1.3 Реализация стратегии, основанной на весах предложений.............111
4.2 ПРОГРАММНАЯ РЕАЛИЗАЦИЯ МЕТОДА РЕЗОЛЮЦИЙ В НЕЧЕТКОЙ ЛОГИКЕ...113
4.2.1 Реализация стратегии, основанной на интерпретации Lee .............113
4.2.2 Реализация стратегии, основанной на интерпретации Mukaidono.115
4.2.3 Реализация стратегии, основанной на сходстве...............................117
4.3 ВЫЧИСЛИТЕЛЬНЫЙ ЭКСПЕРИМЕНТ, .............................................................118
АНАЛИЗ РЕЗУЛЬТАТОВ И РАЗРАБОТКА РЕКОМЕНДАЦИЙ.....................................118
4.3.1 Эксперименты со стратегиями классической логики......................119
4.3.2 Эксперименты со стратегиями нечеткой логики .............................125
4.4 РАЗРАБОТКА МОБИЛЬНОГО ПРИЛОЖЕНИЯ ДЛЯ ПОЛУЧЕНИЯ ЭФФЕКТИВНЫХ
РЕКОМЕНДАЦИЙ ПО УЛУЧШЕНИЮ КАЧЕСТВА ТЕСТИРОВАНИЯ..........................127
4.4.1 Инструменты и технологии для разработки приложения...............129
4.4.2 Интеграция C++ библиотеки в SwiftUI.............................................130
4.4.3 Архитектура и процесс работы приложения....................................132
4.5 ВЫВОДЫ.......................................................................................................138
ЗАКЛЮЧЕНИЕ...................................................................................................140
СПИСОК ЛИТЕРАТУРЫ ..................................................................................143
