
- •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 Работа с неопределенностью
5.4 Инструментальные средства разработки экспертных систем
Классификация инструментальных средств разработки ЭС обычно производится по следующим параметрам [2]:
уровень используемого языка;
парадигмы программирования и механизмы реализации;
способ представления знаний;
механизмы вывода и моделирование;
средства приобретения знаний;
технологии разработки.
Уровень используемого языка:
традиционные (в том числе и объектно-ориентированные) языки программирования;
специальные языки программирования (LISP,PROLOG, РЕФАЛ);
инструментальные средства, содержащие часть компонентов ЭС (предназначены для разработчиков ЭС);
среды разработки общего назначения, содержащие все компоненты ЭС, но не имеющие описания конкретных проблемных сред;
проблемно-ориентированные среды разработки (для решения определённого класса задач или имеющие знания о типах предметных областей).
Парадигмы программирования:
процедурное программирование;
программирование, ориентированное на данные;
программирование, ориентированное на правила;
объектно-ориентированное программирование;
логическое программирование.
Способ (модели) представления знаний:
продукционные правила;
фреймы (объекты);
логические формулы;
семантические сети;
нейронные сети.
Механизмы вывода и моделирования:
Моделирование процесса получения решения:
построение дерева вывода на основе обучающей выборки и выбор маршрута на дереве вывода в режиме решения задачи;
компиляция сети вывода из специфических правил в режиме приобретения знаний и поиск решения на сети в режиме решения задачи;
генерация сети вывода и поиск решения в режиме решения задачи, при этом генерация сети вывода осуществляется в ходе выполнения сопоставления, определяющей пары «правило-совокупность данных», на которых условия этого правила удовлетворяются;
в режиме решения задачи ЭС осуществляет выработку правдоподобных предположений (при отсутствии достаточной информации для решения), выполнение рассуждений по обоснованию предположений, генерацию альтернативных сетей вывода, поиск решения в сетях вывода;
построение сети вывода на основе обучающей выборки и поиск решения на выходах сети в режиме решения задачи;
Механизмы поиска решения:
двунаправленный поиск, поиск от данных к целям, поиск от целей к данным;
«поиск в ширину», «поиск в глубину».
Механизмы генерации предположений и сети вывода:
генерация в режиме приобретения знаний, генерация в режиме решения задачи;
операция сопоставления применяется ко всем правилам и всем типам сущностей в каждом цикле механизма вывода, используются различные средства сокращения правил и/ или сущностей.
Механизм вывода для динамических сред дополнительно содержит планировщик, управляющий деятельностью ЭС в соответствии с приоритетами; средства получения оптимального решения в условиях ограниченности ресурсов; систему поддержания истинности значений переменных, изменяющихся во времени.
Средства приобретения знаний:
Уровень приобретения знаний:
формальный язык;
ограниченный естественный язык;
язык пиктограмм и изображений;
естественный язык и язык изображений;
Тип приобретаемых знаний:
данные в виде таблиц, содержащих значения входных и выходных атрибутов, по которым индуктивными методами строится дерево вывода;
специализированные правила;
общие и специализированные правила;
данные в виде таблиц, содержащих значения входных и выходных векторов, по которым строится сеть вывода.
Тип приобретаемых данных:
атрибуты и значения;
объекты;
классы структурированных объектов и их экземпляры, получающие значения атрибутов путём наследования.