Geum.ru

Системное автоматизированное проектирование

Информация - Компьютеры, программирование

Другие материалы по предмету Компьютеры, программирование

ой на рис.3, определены связи между компонентами этой подсистемы в соответствии с принципами функционирования машины Поста. Согласно наименованию, подсистема порождает правило на основе импликации вида:

Ri : Ii Ri, где Ri - правило продукции, извлекаемое из базы знаний, Ii - условие применения правила Ri,

R - порождаемое правило, которое может быть помещено либо не помещено в базу знаний.


















Рис.3. Структура и принцип функционирования интерпретатора

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

Разрешение конфликтного набора осуществляется специальной процедурой, называемой селектором. В селекторе заложена определенная стратегия.

Для оперативного хранения промежуточных данных по условиям Ii, во многих системах предусматривается РАБОЧАЯ ПАМЯТЬ.

Например, в системе ИНТЕРЭКСПЕРТ, а точнее, в ее инструментальной среде, логический вывод осуществляется либо с помощью процедур, разработанных на уровне языка структурного программирования, либо с использованием эвристик, реализованных в среде.

Различают прямую и обратную аргументацию.

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

Во втором случае в машине логического вывода распознается то правило, в заключении которого содержится наиболее близкое к проблеме решение.

Если посылка правила не определена, производится перебор неизвестных переменных в посылке правила применительно к новым условиям. Операции повторяются циклически до нахождения решения либо до определения неразрешимости задачи.

Посылки к правилам формируются с помощью нечетких множеств, причем допускается использование нечетких чисел и лингвистических переменных. В инструментальной среде ИНТЕРЭКСПЕРТ вводятся в рассмотрение "факторы уверенности". Для них определена шкала в диапазоне от 0 до 100 . Допускается формулировка посылок четкими переменными, полями базы данных, статистическими переменными, переменными с индексами.

Доступ к машине логического вывода осуществляется двумя основными путями: путем предложения правила и путем запроса на консультацию.

Первый путь реализуется предложением, имеющим форму:

правило: "имя правила"

ЕСЛИ :

ТОГДА:

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

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

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

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

Основные типы переменных, определенные в среде: символьные, числовые, логические и неизвестные. Основные виды: ячейки, поля, рабочие переменные, фиксированные переменные среды.

Отдельный вид составляют нечеткие переменные, определяемые в рассматриваемой среде как и переменные набора. Последние имеют нечеткие подмножества значений любого сочетания перечисленных типов. Каждое значение нечеткой константы определяется соответствующим значением функции принадлежности, определяемым в среде как "фактор уверенности".

Например, переменная набора

Y = {1/0.5; 2/0.5; 3/0.5}

в инструментальной среде записывается таким образом:

Y = {1 cf50, 2cf50, 3cf50}.

C использованием факторов уверенности осуществляется и формирование набора правил. Учет этих факторов выполняется путем введения факторов уверенности: посылки, заключения и переменной заключения.

Основные операторы, принятые в инструментальной среде операторы отношений:

  1. = - проверка на равенство ,
  2. <> - проверка на неравенство,
  3. >= - проверка на превышение или равенство,
  4. < - проверка на превышение,
  5. <= - проверка на нестрогое равенство,
  6. > - проверка на превышение,
  7. IN - проверка на соответствие одного элемента другому.

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

  1. операция "И" и группируемые вокруг нее
    min (a, b), ab, (ab+ min(a,b)/2), ab(2-max(a,b))
  2. либо операция "ИЛИ" и группируемые вокруг не