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

Автор В. Б. Кудрявцев

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М. В. ЛОМОНОСОВА Факультет вычислительной математики и. кибернетики В. Б. Кудрявцев, Э. Э. Гасанов, А. С. М. В. Ломоносова Рецензенты: Алексеев В. Б. профессор, д. ф. -м. н. Козлов В. Н. , профессор, д. ф. -м. н. Кудрявцев В. Б. , Гасанов Э. Э. , Подколзин А. С. К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 Автоматизация решения задач.