Введение в теорию интеллектуальных систем

Обложка ......Page 1
Титульная страница ......Page 2
Аннотация и выходные данные ......Page 3
Оглавление ......Page 4
Введение ......Page 6
1 Распознавание образов ......Page 11
1.1 Моделирование зрительного восприятия ......Page 12
1.1.1 Кодирование изображений ......Page 13
1.1.2 Теорема Козлова об аффинной эквивалентности изображений ......Page 22
1.1.3 Распознавание и восстановление объемных изображений ......Page 27
1.2 Алгебро-геометрические методы распознавания ......Page 34
1.2.1 Некоторые эвристические методы распознавания ......Page 36
1.2.2 Модель персептрона Розенблатта ......Page 40
1.2.3 Теорема Новикова ......Page 42
1.3.1 Качество и надежность решающего правила ......Page 48
1.3.2 Байесовское решающее правило ......Page 51
1.3.3 Метод минимизации эмпирического риска ......Page 53
1.4 Тестовый подход к распознаванию ......Page 57
1.4.1 Понятие теста ......Page 58
1.4.2 Линейные тестовые алгоритмы распознавания ......Page 59
1.4.3 Алгоритм Кудрявцева голосования по тестам ......Page 61
1.4.4 Теорема Анселя о числе монотонных функций ......Page 64
1.4.5 Расшифровка монотонных функций ......Page 69
2 Базы данных ......Page 74
2.1 Модели логической организации данных ......Page 76
2.2.1 Реляционная алгебра ......Page 79
2.2.2 Функциональные зависимости ......Page 82
2.2.3 Полнота системы аксиом вывода ......Page 85
2.3 Информационно-графовая модель данных ......Page 89
2.3.1 Критерий допустимости ИГ ......Page 103
2.3.2 Полнота для информационных графов ......Page 108
2.3.3 Сложность информационных графов ......Page 110
2.3.4 Мощностная нижняя оценка ......Page 119
2.4 Поиск идентичных объектов ......Page 122
2.4.1 Бинарный поиск ......Page 124
2.4.2 Константный в среднем алгоритм поиска ......Page 127
2.5 Одномерный интервальный поиск ......Page 134
2.5.1 Логарифмический поиск ......Page 135
2.5.2 Сверхлогарифмический поиск ......Page 138
2.5.3 Мгновенное решение ......Page 144
3.1.1 Язык логики высказываний ......Page 148
3.1.2 Полнота исчисления высказываний ......Page 151
3.1.3 Алгоритмы распознавания общезначимости формул логики высказываний ......Page 157
3.2.1 Язык логики предикатов ......Page 166
3.2.2 Полнота исчисления предикатов ......Page 170
3.2.3 Доказательство общезначимости с помощью правила резолюции ......Page 171
3.2.4 Связь с теоремой Геделя о полноте ......Page 184
3.2.5 Неполнота формальной арифметики ......Page 186
3.2.6 Эвристики в управлении выводом ......Page 192
Литература ......Page 202