Предыдущая страница реферата | 13  14  15  16  17  18  19  20  21  22  23 | Следующая страница реферата

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

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

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

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

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

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

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

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

ЕСЛИ : < предложение>

ТОГДА: < заключение >

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

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

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

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

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

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

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

Y = {1/0.5; 2/0.5; 3/0.5} в инструментальной среде записывается таким образом:

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

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

Основные операторы, принятые в инструментальной среде операторы отношений:
- = - проверка на равенство ,
- - проверка на неравенство,
- >= - проверка на превышение или равенство,
- < - проверка на превышение,
- - проверка на превышение,
- IN - проверка на соответствие одного элемента другому.

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

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

max(a,b), (a+b-ab), (max(a,b (a+b-ab))/2).

Таким образом, в инструментальной среде можно реализовывать арифметику нечетких чисел и алгебру нечетких высказываний.

Рекомендуем скачать другие рефераты по теме: доклад по географии, правильный реферат.





Предыдущая страница реферата | 13  14  15  16  17  18  19  20  21  22  23 | Следующая страница реферата