- •Тема 1. Информационный процесс представления знаний.
- •1.1 Основные понятия дисциплины.
- •1.2 Классификация знаний.
- •I группа.
- •II группа.
- •III группа.
- •IV группа.
- •Тема 2.
- •2.1 Модели представления знаний в ис
- •2.2 Продукционная модель знаний.
- •Пример 2.1
- •2.3 Фреймы.
- •Пример 2.3.
- •2.4 Семантические сети
- •2.5 Формальные логические модели на основе исчисления предикатов
- •Пример 2.5
- •Пример 2.6
- •Пример 2.7
- •Пример 2.8
- •Тема 3. Язык Пролог.
- •3.1 Пролог с процедурной точки зрения.
- •Пример 3.1
- •Пример 3.2
- •Пример 3.3
- •3.2 Передача параметров и возврат значений в предикат.
- •Пример 3.4
- •Тема 4. Вычислительная модель Пролога.
- •4.1 Факты, запросы, переменные и правила.
- •4.1.1 Факты.
- •4.1.2 Запросы.
- •4.1.3 Переменные.
- •4.1.4 Правила.
- •Пример 4.1
- •Пример 4.2
- •4.2 Сравнение термов на равенство.
- •Тема 5. Дедуктивные системы. Логический вывод и логическое программирование.
- •5.1 Исчисления и дедуктивные системы.
- •5.2 Общая схема построения формальной системы.
- •5.3 Основные понятия логического программирования.
- •5.4 Простой абстрактный интерпретатор логических программ.
- •Пример 5.2
- •Пример 5.3
- •Тема 6. Экспертные системы (эс).
- •6.1 Понятие эс. Основные характеристики.
- •6.2 Области применения эс. Типы эс и подходы к их реализации.
- •6.3 Типы задач, решаемых эс.
- •6.4 Отличие эс от традиционных программ.
- •6.5 Типовая структура эс.
- •6.6 Инструментальные средства эс.
- •Тема 7. Технологии проектирования и разработки экспертных систем (эс).
- •1. Выбор проблемы.
- •2. Разработка прототипа эс.
- •3. Доработка коммерческой версии.
- •4. Оценка эс.
- •5. Стыковка системы.
- •6. Поддержка системы.
- •Тема 8. Вывод на знаниях.
- •8.1 Основные положения.
- •8.2 Стратегии управления выводом.
- •Пример 8.1
- •Тема 9. Представление нечетких знаний в ис.
- •Пример 9.1
- •Тема 10. Инженерия знаний.
- •10.1 Поле знаний.
- •10. 2 Стратегии получения знаний.
- •10.3 Теоретические аспекты извлечения знаний.
- •10.4 Структурирование знаний.
3. Доработка коммерческой версии.
Для получения коммерческой версии созданный прототип дорабатывают, дополняя БЗ и совершенствуя стратегии принятия решений.
Здесь существенное влияние на качество создаваемой ЭС оказывает правильный выбор инструментального средства для разработки и используемой модели представления знаний.
В процессе доработки получают несколько версий системы:
1. Демонстративный прототип: ЭС решает только часть задач на ограниченном наборе правил и фактов БЗ и демонстрирует жизнеспособность выбранной технологии разработки.
2. Исследовательский прототип решает большинство задач, однако не полностью проверена правильность работы этой ЭС, либо она неустойчива.
3. Действующий прототип правильно решает все задачи на реальных примерах, но при решении сложных задач работает долго.
4. Промышленная система решает все задачи достаточно быстро, но при этом, возможно, потребуется перенос прототипа на другие языки программирования.
5. Коммерческая ЭС представляет собой хорошо документированную, готовую к продаже и поддерживающую сервис для пользователей ЭС.
4. Оценка эс.
На этом этапе тестируется коммерческая версия ЭС с привлечением различных программных средств сторонних фирм для тестирования, а также других независимых экспертов.
Тестирование проводится по следующим критериям:
1 – критерии пользователей:
понятность;
простота работы;
удобство интерфейса.
2 – критерии независимых экспертов, которые оценивают работу системы на основе собственных знаний и опыта.
3 – критерии разработчиков:
производительность;
дизайн;
работа в условиях противоречивых и неправильных данных.
5. Стыковка системы.
Здесь происходит интеграция разработанной ЭС с другими программами и техническими средствами, используемыми в предметной области, а также обучение пользователей.
6. Поддержка системы.
Перенос прототипа ЭС с одного языка разработки на другой проводится с целью повышения быстродействия, но при этом система должна сохранять все свои функциональные возможности.
По требованиям заказчика возможен также перенос системы на другие платформы, работающие под управлением различных ОС.
Поддержка разработанной ЭС подразумевает:
обновление версии ЭС для всех покупателей;
устранение неисправностей в работе ЭС, возникших в процессе эксплуатации заказчиком.
Тема 8. Вывод на знаниях.
8.1 Основные положения.
Машина вывода (интерпретатор правил) выполняет две функции:
1 – просмотр существующих фактов из рабочей памяти (базы данных) и правил из базы знаний и добавление (по мере возможности) в рабочую память новых фактов;
2 – определение порядка просмотра и применения правил.
Машина вывода управляет процессом консультации пользователя, сохраняя для него информацию о полученных заключениях, и запрашивает информацию, когда для срабатывания очередного правила в рабочей памяти оказывается недостаточно данных.
Машина вывода реализуется в виде подпрограммы, содержащей два компонента:
1 – компонент вывода, который находит заключение в соответствии с запросом;
2 – компонент управления, который определяет последовательность применения правил и перебора фактов в рабочей памяти.
Компонент управления определяет порядок применения правил и выполняет четыре функции:
сопоставление образца правила с имеющимися фактами;
выбор правила, наиболее подходящего по заданному критерию, в случае, если возможны несколько альтернативных правил;
срабатывание правила;
изменение содержимого рабочей памяти, т.е. удаление ненужных фактов и правил и добавление новых правил, требующих доказательства.
Алгоритм работы машины вывода – циклический. В каждом цикле здесь просматриваются все факты и правила рабочей памяти, причем на каждой итерации цикла должно срабатывать только одно правило.
Наборы альтернативных правил, готовых к срабатыванию на каждой итерации цикла, образуют конфликтное множество. Выбор лучшего правила машины вывода согласно некоторому критерию называется решением конфликта.
Работа машины вывода зависит только от состояния рабочей памяти и от состава базы знаний. Цикл работы повторяется до тех пор, пока не сработают все правила, инициируемые входным запросом, и не будет получено заключение, либо (если решение не найдено) не будет выдано сообщение о невозможности выполнения запроса. При этом в рабочей памяти сохраняется протокол работы машины вывода.