Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
shpory_po_kitu.doc
Скачиваний:
0
Добавлен:
01.03.2025
Размер:
605.7 Кб
Скачать

32.Экспертная оболочка esWin.

ESWin — программная оболочка-интерпретатор для работы с продукционно-фреймовыми экспертными системами. Описываемая программная оболочка предназначена для решения задач обратного логического вывода на основе фреймов и правил-продукций. В пакете ESWin используются фреймы трех типов: фрейм-класс, фрейм-экземпляр и фрейм-шаблон. В общем виде фрейм-класс выглядит следующим образом:

FRAME Имя фрейма

Имя слота 1: (значения слота 1)

Имя слота 2: (значения слота 2)

Имя слота n: (значения слота n)

ENDFR

При конкретизации фрейма ему и слотам присваиваются конкретные имена, и происходит заполнение слотов. Таким образом, из фреймов-классов получаются фреймы-экземпляры.. Фреймы-экземпляры составляют базу данных. База данных предназначена для временного хранения фактов или гипотез, являющихся промежуточными решениями или результатом общения экспертной системы с внешней средой, в качестве которой обычно выступает человек, ведущий диалог с экспертной системой.

В пакете ESWin правило выглядит как:

RULE Номер правила

Условие 1

.....

Условие n

DO

Заключение 1

......

Заключение m

ENDR

где условие — это образец, по которому осуществляется поиск в базе знаний, а заключение — действия или процедуры, выполняемые при успешном исходе поиска (могут быть промежуточными, выступающими далее как условия, или целевыми, завершающими работу системы и являющимися результатом решения задачи).

База знаний содержит набор фреймов и правил-продукций.

Формат внешнего представления базы знаний пакете ESWin:

TITLE = ‹название экспертной системы›

COMPANY = ‹название предприятия›

FRAME

‹описание фрейма›

ENDF

FRAME

‹описание фрейма›

ENDF

RULE 1

‹описание условий правила›

DO

‹описание заключений правила›

ENDR

RULE n

‹описание условий правила›

DO

‹описание заключений правила›

ENDR

Интерпретация правил начинается с выбора цели логического вывода. В качестве цели логического вывода используются целевые слоты, содержащиеся во фрейме-классе со специальным именем "Цель".

Далее определяется правило, в заключении которого присутствует выбранный целевой слот.

После определения правила начинается его интерпретация (перебор и проверка условий). При проверке условия ищется соответствующий слот. Первоначальный поиск выполняется в базе данных. Если слот имеет значение, то оно используется при проверке условия. Если значения нет, то значение слота запрашивается у пользователя, с использованием меню выбора символьных значений, или окна для ввода численного значения, или того и другого в случае слота лингвистического типа.

База знаний состоит из двух частей: постоянной и переменной. Переменная часть базы знаний называется базой данных (или базой фактов) и состоит из фактов, полученных в результате логического вывода. Факты в базе данных не являются постоянными. Их количество и значение зависит от процесса и результатов логического вывода.

До начала работы с экспертной оболочкой база знаний находится в текстовом файле. В файле с расширением *.klb (KnowLedge Base) хранятся фреймы и правила-продукции (база знаний).

При работе с программной оболочкой (после загрузки в оперативную память базы знаний) фреймы и правила-продукции, находившиеся в файле с расширением *.klb, остаются неизменными. Факты, находившиеся в файле с расширением *.dtb, могут изменяться в процессе логического вывода (появляться, удаляться или менять свое значение в результате срабатывания правил-продукций или диалога с пользователем).

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]