МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
им. М. В. ЛОМОНОСОВА
Факультет вычислительной математики и. кибернетики
В. Б. Кудрявцев, Э. Э. Гасанов, А. С. М. В. Ломоносова
Рецензенты:
Алексеев В. Б. профессор, д. ф. -м. н. Козлов В. Н. , профессор, д. ф. -м. н. Кудрявцев В. Б. , Гасанов Э. Э. , Подколзин А. С. К88 Введение в теорию интеллектуальных систем: Учебное
пособие. - М: Издательский отдел факультета ВМиК МГУ
им. М. В. Ломоносова (лицензия ИД N 05899 от 24. 09. 2001 г. );
МАКС Пресс, 2006. - 208 с. ISBN 5-89407-272-7
ISBN 5-317-01743-2
Учебное пособие написано на основе специального курса «Теория
интеллектуальных систем», читаемого на кафедре математической
теории интеллектуальных систем механико-математического
факультета МГУ им. М. В. Ломоносова. В книге дается представление
об основных разделах теории интеллектуальных систем, таких как
распознавание образов, теория баз данных и математическая логика. Для студентов, аспирантов, специализирующихся в области
математической кибернетики, дискретной математики и математической
информатики. М. В. Ломоносова, 2006
Оглавление
Введение 5
1 Распознавание образов 10
1. 1 Моделирование зрительного восприятия 11
1. 1. 1 Кодирование изображений 12
1. 1. 2 Теорема Козлова об аффинной
эквивалентности изображений 21
1. 1. 3 Распознавание и восстановление объемных
изображений 26
1. 2 Алгебро-геометрические методы распознавания 33
1. 2. 1 Некоторые эвристические методы
распознавания 35
1. 2. 2 Модель персептрона Розенблатта 39
1. 2. 3 Теорема Новикова 41
1. 3 Статистический подход к распознаванию 47
1. 3.
1 Качество и надежность решающего правила 47
1. 3. 2 Байесовское решающее правило 50
1. 3. 3 Метод минимизации эмпирического риска . 52
1. 4 Тестовый подход к распознаванию 56
1. 4. 1 Понятие теста ¦». . . . 57
1. 4. 2 Линейные тестовые алгоритмы
распознавания 58
1. 4. 3 Алгоритм Кудрявцева голосования по тестам 60
1. 4. 4 Теорема Анселя о числе монотонных
функций 63
1. 4. 5 Расшифровка монотонных функций ... . 68
3
2 Базы данных 73
2. 1 Модели логической организации данных 75
2. 2 Реляционная модель данных 78
2. 2. 1 Реляционная алгебра 78
2. 2. 2 Функциональные зависимости 81
2. 2. 3 Полнота системы аксиом вывода 84
2. 3 Информационно-графовая модель данных ... . 88
2. 3. 1 Критерий допустимости ИГ 102
2. 3. 2 Полнота для информационных графов . . . 107
2. 3. 3 Сложность информационных графов ... . 109
2. 3. 4 Мощностная нижняя оценка 118
2. 4 Поиск идентичных объектов 121
2. 4. 1 Бинарный поиск 123
2. 4. 2 Константный в среднем алгоритм поиска . 126
2. 5 Одномерный интервальный поиск 133
2. 5. 1 Логарифмический поиск 134
2. 5. 2 Сверхлогарифмический поиск . 137
2. 5. 3 Мгновенное решение 143
3 Автоматизация решения задач.