- •Основные понятия и определения
- •Понятие искусственного интеллекта
- •1.2. История развития искусственного интеллекта за рубежом
- •1.3. История развития искусственного интеллекта в России
- •1.4. Цели и задачи искусственного интеллекта
- •1.5. Основные направления исследований по ии
- •1.6. Контрольные вопросы и упражнения
- •2. Истоки формальных рассуждений
- •2.1. Левополушарное и правополушарное мышления
- •2.2. Контрольные вопросы и упражнения
- •3.Формальные системы
- •3.1. Понятие формальной системы
- •3.2. Разрешимость формальной системы
- •3.3. Интерпретация формальной системы
- •3.4. Доказательство и истинность
- •3.5. Контрольные вопросы и упражнения
- •4.1. Основные принципы силлогистики
- •4.2. Решение силлогизмов
- •4.3. Расширенная силлогистика
- •4.4. Моделирование силлогистики
- •4.5. Контрольные вопросы и упражнения
- •5. Исчисление высказываний
- •5.1. Синтаксис исчисления высказываний
- •5.2. Семантика исчисления высказываний
- •5.3. Классы формул исчисления высказываний
- •5.4. Понятие семантического дерева
- •5.5. Алгоритм Куайна
- •5.6. Алгоритм редукции
- •5.7. Алгебраический подход к определению класса формул
- •5.7.1. Нормальные формы и алгоритм нормализации
- •5.7.2. Алгоритм Куайна для днф
- •5.7.3. Принцип резолюций
- •5.7.4. Хорновские дизъюнкты
- •5.8. Применение исчисления высказываний
- •5.8.1. Пример базы знаний на основе логических высказываний
- •5.8.2. Применение исчисления высказываний в конструировании релейно-контактных схем
- •5.9. Контрольные вопросы и упражнения
- •6. Исчисление предикатов
- •6.1. Определение исчисления предикатов первого порядка
- •6.1.1. Операции над предикатами
- •6.1.2. Общезначимость и выполнимость формул исчисления предикатов
- •6.2 Исчисление предикатов как формальная система
- •6.4. Сколемовские стандартные формы исчисления предикатов
- •6.5. Процедура вывода Эрбрана
- •6.6. Принцип резолюции для логики предикатов
- •Контрольные вопросы и упражнения
- •7. Индуктивные рассуждения
- •7.1. Схема индуктивных рассуждений
- •7.2. Индукция Милля
- •1. Принцип единственного различия
- •2. Принцип единственного сходства
- •3. Принцип единственного остатка
- •7.3. Особенности индуктивных схем рассуждений
- •7.4. Индуктивные методы и алгоритмы
- •7.4.2. Метод пятизначной логики
- •7.4.3. Алгоритм древ
- •7.4.4. Алгоритм амх (алгоритм, основанный на метрике Хемминга)
- •7.4.5. Индукция решающих деревьев (id3)
- •7.4.6. Метод фокусирования
- •7.5. Контрольные вопросы и упражнения
- •8. Рассуждения по аналогии
- •8.1. Виды аналогий и приемы работы с ними
- •8.2. Простая аналогия
- •8.3. Другие виды аналогии
- •8.4. Аналогия в доказательстве теорем
- •8.5. Формализация аналогии
- •8.7. Методы реализаций рассуждений по аналогии
- •8.8. Проблемы рассуждений по аналогии
- •8.9. Контрольные вопросы и упражнения
- •9. Автоматизация нечетких рассуждений
- •9.1. Модальные логики
- •9.2. Применение нечеткой математики
- •9.3. Нечеткая силлогистика
- •9.5. Контрольные вопросы и упражнения
- •10. Представление задач в пространстве состояний
- •10.1. Примеры представления задач в пространстве состояний
- •10.2. Методы поиска в пространстве состояний
- •10.3. Контрольные вопросы и упражнения
- •11. Распознавание образов
- •Выделяются следующие основные типы задач распознавания образов:
- •11.1. Искусственный нейрон
- •11.2. Искусственные нейронные сети
- •Персептроны
- •11. 3.1. Персептронная представляемость
- •11.3.2. Преодоление ограничения линейной разделимости
- •11.3.3. Обучение персептрона
- •11.4. Процедура обратного распространения
11. Распознавание образов
Образ – это структурированное приближенное описание объекта или ситуации. Описания служат для установления соответствия между образами, т.е. установления их идентичности, аналогичности и т. д. В классических моделях образ описывается вектором признаков объекта. В структурных моделях образ – это высказывание, порождаемое грамматикой, соответствующей классу образа. Понятие «распознавание образов» включает два основных процесса: процесс восприятия сознания, свойственный живым организмам; создание механических систем восприятия и познания.
Целью автоматизированных систем распознавания образов является поиск, выделение, идентификация, классификация при описании образов на основе реальных объектов. В общем случае разработка автоматизированных систем распознавания образов состоит из трех этапов: анализ объекта; выбор набора признаков; анализ и классификация.
Основная цель распознавания образов – построение на основе систематических, теоретических и экспериментальных исследований вычислительных средств для отнесения формализованных ситуаций и объектов к соответствующим классам. Задачам распознавания образов присущи следующие характерные особенности:
Эти задачи решаются применением двух процедур: приведение исходного объекта к стандартному виду; указание принадлежности или непринадлежности объекта к определенному классу.
В этих задачах можно вводить понятие подобия между описаниями объекта, на основе этого формулировать понятия близости объектов.
В этих задачах часто оперируют прецедентами, т.е. примерами классификаций, которые известны. Эти примеры предъявляются алгоритму распознавания образов для настройки в процессе обучения.
Выделяются следующие основные типы задач распознавания образов:
Классическая задача – распознавание или обучение с учителем, т. е. отнесение предъявленного объекта по его описанию к определенному классу.
Автоматическая классификация (обучение без учителя), т. е. разбиение множества объектов по их описаниям на непересекающиеся подмножества – классы;
Задача выбора информативного набора признаков объекта, т. е. выбор признаков для описания объекта и оценка их информативности.
Задача формализации исходного объекта для построения формализованного описания объекта.
Классическая задача с учетом динамики объекта.
Задача автоматической классификации с учетом динамики объекта.
Задача прогнозирования.
Формы задания исходного объекта для задач могут быть различны: изображения, полученные в различных частях спектра и различными способами и преобразованные в цифровую форму; сигналы; серии изображений (фильмы).
Разработаны различные модели распознавания:
Р-модели, основанные на принципе разделения, т.е. задаются классы поверхностей, среди них выбирается такая, которая лучше всего разделяет классы объектов;
С-модели (статистические модели). В них используется аппарат математической статистики, такие модели применяются, если известны вероятностные характеристики классов;
П-модели (потенциальные модели) основаны на методе потенциальных функций. В качестве функции принадлежности некоторого объекта к классу используется функция потенциальной принадлежности;
Г-модели, модели голосования или вычисления оценок. Анализируется близость между описаниями ранее классифицированных объектов и объекта распознавания по набору оценок близости, вырабатывается общая схема распознавания объектов данного класса;
Л-модели, основанные на алгебре логики. В них классы и признаки – логические переменные, а описание классов производится на языке булевой алгебры.
