Введение
Глава 1. Теория аргументации: обзор 13
1.1. Основные понятия и определения теории аргументации 13
1.2. Подходы к построению аргументационных систем 17
1.3 Системы абстрактной аргументации 18
1.3.1. Понятие конфликта и его свойства 20
1.3.2. Приемлемость аргументов в системах аргументации 24
1.4. Системы аргументации на основе многозначных логик 29
1.5. Системы аргументации на основе пересматриваемых рассуждений 31
1.5.1. Общий критерий адекватности для систем пересматриваемой аргументации 40
1.6 Выводы по главе 1. 40
Глава 2. Методы и алгоритмы аргументации на основе пересматриваемых рассуждений 42
2.1. Методы монотонного вывода в системах аргументации 42
2.1.1. Система монотонного вывода для логики высказываний 43
2.1.2 Расширение системы для поддержки логики предикатов первого порядка 50
2.2 Алгоритмы монотонного вывода 53
2.2.1. Алгоритм прямого вывода 53
2.2.2. Алгоритм обратного вывода 56
2.2.3. Алгоритм подтверждения интересов 58
2.3 Методы пересматриваемого вывода. Обоснование и поражение аргументов 59
2.3.1 Множественное поражение 61
2.3.2 Самопоражение 62
2.3.3 Поражение собственного базиса 63
2.3.4. Обнаружение конфликтов 65
2.3.5. Пересматриваемый вывод, основанный на системе флажков 68
2.4 Алгоритмы пересматриваемого вывода 70
2.4.1. Алгоритм применения пересматриваемых правил 70
2.4.2. Алгоритм поиска конфликтов 73
2.4.2. Алгоритм вычисления статусов поражения 75
2.5. Степени обоснования в системах аргументации 76
2.5.1. Алгоритм вычисления степеней обоснования. 81
2.6. Выводы по главе 2. 83
Глава 3. Применение системы аргументации для задачи обобщения 84
3.1. Постановка задачи обобщения 84
3.1.1. Алгоритм С4.5 88
3.1.2. Алгоритм GIRS 89
3.1.3 Модели шума 91
3.2. Применение аргументации для задачи обобщения 92
3.3. Формализация проблемы индуктивного формирования понятий в терминах
аргументации 93
3.4. Алгоритм индуктивного формирования понятий с применением аргументации 96
3.5. Выводы по главе 3. 99
Глава 4. Программная реализация системы аргументации и результаты экспериментов 101
4.1 Программная реализация системы пересматриваемых рассуждений 101
4.1.1 Структура разработанной системы 101
4.1.2. Системные требования и основные показатели 107
4.1.3 Программная реализация системы для решения задачи обобщения с применением аргументации 109
4.2. Результаты экспериментов по улучшению точности классификации для задачи обобщения с помощью реализованной системы 111
4.2.1 Методика проведения экспериментов 111
4.2.2. Тестовые наборы данных 113
4.2.3. Результаты экспериментов 115
4.2.4. Выводы по результатам проведённых экспериментов 120
4.3. Внедрение разработанной системы 121
4.3.1. Постановка задачи 121
4.3.2. Предложенное решение и реализация системы с помощью аргументации 122
4.4. Примеры моделирования и решения некоторых задач аргументации с помощью
реализованной системы 126
4.5. Выводы по главе 4 136
Заключение 138
Список литературы 141
