
- •1 Основные направления искусственного интеллекта.
- •1.1 История развития искусственного интеллекта
- •1.2 Современное состояние искусственного интеллекта.
- •1.3 Классификация систем искусственного интеллекта.
- •1.3.1 Системы с интеллектуальным интерфейсом
- •1.3.2 Экспертные системы
- •1.3.3 Самообучающиеся системы
- •1.3.4 Адаптивные системы
- •1.4 Характеристики знаний.
- •1.5 Модели представления знаний.
- •2 Логическое программирование и аксиоматические системы.
- •2.1 Общие положения
- •2.2 Исчисление высказываний.
- •2.2.1 Понятие высказывания
- •2.2.2 Алфавит исчисления высказываний
- •2.2.3 Правила построения формул
- •2.2.4 Интерпретация формул
- •2.2.5 Определение логического следствия
- •2.2.6 Система аксиом исчисления высказываний
- •2.2.7 Правила вывода исчисления высказываний
- •2.3 Исчисление предикатов первого порядка.
- •2.3.1 Основные определения
- •2.3.2 Правила построения формул в исчислении предикатов
- •2.3.3 Интерпретация формул в логике предикатов первого порядка.
- •2.3.4 Системы аксиом логики предикатов.
- •2.3.5 Правила вывода в исчислении предикатов.
- •2.3.6 Законы эквивалентных преобразований логики предикатов.
- •2.3.7 Теоремы о логическом следствии
- •2.3.8 Предваренные (пренексные) нормальные формы исчисления предикатов.
- •2.4 Автоматизация доказательства в логике предикатов.
- •2.4.1 История вопроса
- •2.4.2 Скулемовские стандартные формы.
- •2.4.3 Метод резолюций в исчислении высказываний.
- •2.4.4 Правило унификации в логике предикатов.
- •2.4.5 Метод резолюций в исчислении предикатов
- •3 Введение в язык логического программирования пролог
- •3.1 Теоретические основы
- •3.2 Основы языка программирования Пролог
- •3.2.1 Общие положения
- •3.2.2 Использование дизъюнкции и отрицания
- •3.2.3 Унификация в Прологе
- •3.2.4 Правила унификации
- •3.2.5 Вычисление цели. Механизм возврата
- •3.2.6 Управление поиском решения
- •3.2.7 Процедурность Пролога
- •3.2.8 Структура программ Пролога
- •3.2.9 Использование составных термов
- •3.2.10 Использование списков
- •3.2.11 Поиск элемента в списке
- •3.2.12 Объединение двух списков
- •3.2.13 Определение длины списка
- •3.2.14 Поиск максимального и минимального элемента в списке
- •3.2.15 Сортировка списков
- •3.2.16 Компоновка данных в список
- •3.2.17 Повторение и рекурсия в Прологе
- •3.2.18 Механизм возврата
- •3.2.19 Метод возврата после неудачи
- •3 2 19 Метод повтора, использующий бесконечный цикл
- •3.2.20 Методы организации рекурсии
- •3.2.21 Создание динамических баз данных
- •3 2 22 Использование строк в Прологе.
- •3.2.23 Преобразование данных в Прологе
- •3.2.24 Представление бинарных деревьев
- •Представление графов в языке Пролог
- •Поиск пути на графе.
- •Метод “образовать и проверить”
- •4 Основные стратегии решения задач. Поиск решения в пространстве состояний
- •4.1 Понятие пространства состояния
- •Основные стратегии поиска решений
- •4.2.1 Поиск в глубину
- •4.2.2 Поиск в ширину
- •Сведение задачи к подзадачам и и/или графы.
- •Решение игровых задач в терминах и/или- графа
- •Минимаксный принцип поиска решений
- •5 Введение в экспертные системы
- •5.1 Основные понятия
- •5.2 Проектирование экспертных систем
- •5.3 Типы решаемых задач
- •5.4 Инструментальные средства разработки экспертных систем
- •5.5 Нечёткие знания в экспертных системах
- •5.6 Продукционные правила для представления знаний.
- •5.7 Формирование ответа на вопрос «почему»
- •5.8 Формирование ответа на вопрос «как»
- •5.9 Работа с неопределенностью
1.3.3 Самообучающиеся системы
Системы данного класса основаны на методах автоматической классификации ситуаций из реальной практики, или на методах обучения на примерах. Примеры составляют так называемую обучающую выборку. Элементы обучающей выборки описываются множеством классификационных признаков.
Стратегия обучения «с учителем»предполагает задание для каждого примера эталонных значений признаков, показывающих его принадлежность к определенному классу. При обучении«без учителя»система должна самостоятельно выделять классы ситуаций по степени близости значений классификационных признаков.
В процессе обучения проводится автоматическое построение обобщающих правил или функций, описывающих принадлежность ситуации к классам, которыми система будет впоследствии пользоваться при определении незнакомых ситуаций. При этом из обобщающих правил автоматически формируется БЗ, которая периодически корректируется.
Индуктивные системы позволяют обобщать примеры на основе принципа индукции «от частного к общему». Процедура обобщения сводится к классификации примеров по значимым признакам.
Нейронные сети – обобщенное название группы математических моделей и алгоритмов, обладающих способностью обучаться на примерах, «узнавая» впоследствии черты встреченных образцов и ситуаций. Нейронные сети используются для решения задач аппроксимации и идентификации функций, классификации и распознавания образов, обработки сигналов, сжатия данных, прогнозирования и адаптивного управления.
Нейронная сеть – это кибернетическая модель нервной системы, которая представляет собой совокупность большого числа нейронов, топология соединения которых зависит от типа сети. Нейроны соединяются в слои. Различают сети прямого распространения и рекурентные сети (с обратными связями). Чтобы создать нейронную сеть для решения какой-либо задачи, необходимо выбрать тип сети и определить параметры сети в процессе ее обучения.
В системах, основных на прецедентах, БЗ содержит описания конкретных ситуаций (прецеденты). Поиск решений осуществляется на основе аналогий по значениям соответствующих признаков. В отличие от индуктивных систем допускается нечеткий поиск с получением множества допустимых альтернатив, каждая из которых может оцениваться некоторым коэффициентом уверенности.
Информационные хранилища отличаются от БЗ. Хранилище данных – это предметно-ориентированное, интегрированное, привязанное ко времени, неизменяемое собрание данных, применяемых для поддержки процессов принятия управленческих решений.
Технологии извлечения знаний из хранилища данных основаны на методах статистического анализа и моделирования, ориентированных на поиск моделей и отношений, скрытых в совокупности данных.
Для извлечения значимой информации используются специальные методы (OLAP– анализ,DATAMiningилиKnowledgeDiscovery), основанные на применении методов математической статистики, нейронных сетей, индуктивных методов и других методах.
1.3.4 Адаптивные системы
Адаптивные системы должны удовлетворять ряду требований:
адекватно отражать знания проблемной области в каждый момент времени;
быть пригодными для легкой и быстрой реконструкции при изменениях проблемной среды.
Ядром систем данного класса является модель проблемной области, поддерживаемая в специальной БЗ – репозитории.Ядро системы управляет процессами генерации или переконфигурирования программного обеспечения. При разработке адаптивных систем используется типовое или оригинальное проектирование.
Реализация оригинального проектирования основана на использовании CASE- технологий(Designer2000,SilverRun,NaturalLightStromи др.).
При типовом проектировании осуществляется адаптация типовых разработок к особенностям проблемной области. При этом используются инструментальные средства компонентного (сборочного) проектирования(R/3,BAAN,Prodisи др.).
При использовании CASE- технологий при изменении проблемной области каждый раз применяется генерация программного обеспечения, а при использовании сборочной технологии – конфигурирование программ или их переработка.