ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования “Московский государственный институт радиотехники, электроники и автоматики
(технический университет)”
Подлежит возврату
№
Системы искусственного интеллекта
Методические указания
по выполнению лабораторных работ
для студентов, обучающихся
по специальностям 230102 и 230201
МОСКВА 2007
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение высшего профессионального образования “Московский государственный институт радиотехники, электроники и автоматики
(технический университет)”
Подлежит возврату
№
Системы искусственного интеллекта
Методические указания
по выполнению лабораторных работ
МОСКВА 2007
Составитель Г.Д. Потресова
Редактор А.И. Семенов
Методические указания к лабораторным работам по дисциплине «Системы искусственного интеллекта» предназначены для студентов 4-го курса дневного отделения специальностей 230102 и 230201.
Печатается по решению редакционно-издательского совета университета.
Рецензенты: И.И. Холкин,
А.П. Свиридов
©МИРЭА, 2007
Введение
Экспертные системы (ЭС) являются одним из наиболее значительных практических достижений в области искусственного интеллекта. В настоящее время экспертные системы нашли широкое применение в различных областях. ЭС используются для решения задач интерпретации, прогнозирования, диагностики, проектирования, планирования, управления и др.
При создании ЭС могут использоваться различные типы инструментальных средств: языки программирования, языки представления знаний, оболочки экспертных систем, интегрированные гибридные инструментальные среды и комплексы.
Преимуществом оболочек по сравнению с другими типами инструментальных средств является то, что оболочка содержит все программные компоненты ЭС в готовом виде, и разработка экспертных систем на основе оболочки сводится лишь к заполнению базы знаний. Поэтому использование оболочки является самым быстрым и наименее трудоемким способом создания ЭС. Еще одним достоинством оболочки является то, что на ее основе ЭС может разрабатывать специалист в некоторой области, не владеющий программированием.
Данный лабораторный практикум предназначен для изучения оболочки ЭС и получения практических навыков разработки ЭС на базе этой оболочки.
Программная реализация оболочки ЭС, которая используется в этих лабораторных работах, выполнена студентами МИРЭА. Принципы построения этой оболочки взяты из книги Б. Сойера и Д.Л. Фостера «Программирование экспертных систем на Паскале» [1].
Лабораторная работа № 1 Построение базы знаний экспертной системы на основе продукционной модели представления знаний.
Цель работы
Изучение взаимосвязи правил в базе знаний, построенной на основе продукционной модели представления знаний.
Задание
Изучите базу знаний ЭС, указанную преподавателем.
Постройте граф И/ИЛИ, взяв в качестве корневой вершины графа правило, указанное преподавателем.
Методические указания
Изучение базы знаний ЭС лучше всего начать с анализа концептуальной схемы, поскольку концептуальная схема дает наиболее общее представление о структуре базы знаний. Рассмотрим в качестве примера базу знаний ЭС прогнозирования продолжительности жизни человека. На рис. 1 представлена концептуальная схема этой ЭС. На этой схеме показаны связи между объектами, которые используются в процессе логических выводов. Терминальные объекты выделены на схеме жирными рамками.
«Продолжительность» жизни, являющаяся целью консультации, определяется «основной продолжительностью» и некоторым «фактором», который может привести к увеличению или сокращению «продолжительности» жизни по сравнению с «основной продолжительностью» в зависимости от того, будет значение этого «фактора» положительным или отрицательным.
Рис. 1. Концептуальная схема ЭС
Как видно из рис. 1, концептуальная схема дает представление не только о структуре базы знаний, но и о подходе к решению задач ЭС. Однако на концептуальной схеме указываются только имена объектов и не указываются их значения, поэтому для более полного представления процесса решения задач необходимо использовать граф И/ИЛИ.
На рис. 2 представлен фрагмент графа И/ИЛИ, соответствующего концептуальной схеме, показанной на рис. 1. На рис. 2 в кружках указаны номера правил, а в прямоугольниках – условия и заключения правил. На графе И-вершины помечены дугой.
Для построения графа И/ИЛИ найдите в базе знаний правило, указанное преподавателем, и представьте его в виде графа. Затем выберите одно из условий этого правила и найдите в базе знаний такие правила, у которых в заключении стоит та же пара <объект> = <значение>, что и в условии исходного правила. Добавьте граф этого правила к исходному графу.
После этого возьмите второе условие исходного правила и аналогичным образом продолжите другую ветвь графа И/ИЛИ. Продолжение каждой из ветвей строится до тех пор, пока в условиях правил не встретятся объекты, значения которых запрашиваются у пользователя в процессе консультации. Эти условия соответствуют терминальным вершинам графа И/ИЛИ.
Содержание отчета о работе
Концептуальная схема базы знаний.
Граф И/ИЛИ для одной из гипотез.
Контрольные вопросы
В каких случаях при представлении продукционных правил в виде графа образуются вершины «ИЛИ»?
Какую информацию о базе знаний можно получить из анализа ее концептуальной схемы?
Какая связь существует между концептуальной схемой и графом И/ИЛИ?
Лабораторная работа № 2 Выполнение логических выводов в ЭС
Цель работы
Практическое освоение методов выполнения логических выводов при решении задач ЭС.
Задание
Составьте и выполните тестовый пример в режиме консультации с ЭС, отслеживая процесс его выполнения по графу И/ИЛИ, построенному при выполнении лабораторной работы №1.
Составьте таблицу, показывающую последовательность шагов, выполненных ЭС при решении тестового примера.
Методические указания
В оболочке Expert используются обратные выводы. Цель задается пользователем в виде имени объекта. ЭС, используя имеющиеся в БЗ правила, пытается получить значение указанного объекта-цели. Вывод начинается с поиска правила, которое содержит объект-цель в своей правой части (заключение правила). Поскольку заключение правила представлено в виде <объект> = <значение> КД = <коэффициент доверия>, то выбор правила, содержащего объект-цель в заключении этого правила, по существу является выдвижением гипотезы о значении объекта-цели. Количество возможных гипотез определяется количеством имеющихся в БЗ правил, которые содержат в правой части объект-цель.
Для проверки гипотезы рассматривается каждая из составляющих посылки выбранного правила. Эти составляющие посылки сопоставляются с заключениями других правил и в случае успешного сопоставления аналогично рассматривается посылка следующего выбранного правила (см. рис. 3). Если на некотором шаге выводов не оказывается правила, заключение которого можно было бы сопоставить с проверяемой посылкой, то посылка сопоставляется с имеющимися фактами. Если имеющихся фактов недостаточно для подтверждения или опровержения посылки, то пользователю задается вопрос о значении объекта, указанного в посылке.
В начале консультации с ЭС, построенной на базе оболочки EXPERT, система просит пользователя ввести цель. Цель задается пользователем в виде имени объекта, например, «продолжительность».
В БЗ имеется 15 правил, содержащих объект “продолжительность” в заключении правила:
Правило 63: ЕСЛИ основная_продолжительность=72 И
фактор=ноль
ТО продолжительность=72_года.
Правило 64: ЕСЛИ основная_продолжительность=67 И
фактор=ноль
ТО продолжительность=67_лет.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Правило 77: ЕСЛИ основная_продолжительность=60 И
фактор=минус_12
ТО продолжительность=48_лет.
Первая составляющая посылки правила 63 может быть сопоставлена с заключением правила 6:
Правило 6: ЕСЛИ возраст=25_или_меньше И
пол=женский
ТО основная_продолжительность=72.
Поскольку правил, имеющих в правой части объект “возраст” нет и значение этого объекта не было введено пользователем раньше в процессе диалога, то ЭС задает пользователю вопрос
Сколько лет испытуемому?
1. 25_или_меньше
2. 25-55
3. 55_или_больше
Если пользователь выберет ответ 1, то ему будет задан вопрос
Какого пола испытуемый?
1. мужской
2. женский
Если пользователь выберет ответ 2, то правило 6 будет выполнено и, следовательно, первая составляющая посылки правила 63 будет истинной.
Если же пользователь выберет ответ 1 (мужской), то поскольку правило 6 не выполняется, система будет искать другое правило с тем же заключением, что и правило 6 (т.е. основная_продолжительность=72). Но такого правила в БЗ нет, поэтому правило 63 не может быть выполнено и система ищет новое правило, в правой части которого стоит объект “продолжительность”. Это правило 64, которое представляет новую гипотезу (продолжительность=67_лет), и ЭС вновь выполняет логические выводы, пытаясь подтвердить эту гипотезу.
Представьте последовательность шагов, которые были выполнены ЭС в процессе консультации в виде таблицы, содержащей следующие графы:
1) номер шага;
2) текущая гипотеза (подцель), которую ЭС пытается подтвердить на данном шаге;
3) конфликтное множество правил (правила, которые могут быть выполнены на данном шаге);
4) правило, выбранное из конфликтного множества и выполненное на данном шаге;
5) список подцелей, которые были сформированы в процессе логических выводов и которые нуждаются в подтверждении;
6) факт, который подтвердил или опроверг текущую подцель.