5. Стратегии управления

Один из важных вопросов для ЭС - какое правило рассматри­вать следующим. Этим процессом управляет машина логических вы­водов.

При выборе правила нужно пользоваться двумя основными стратегиями управления: прямым и обратным выводами.

5.1. Прямой вывод

Данный метод действует от посылки до действия до тех пор, пока переменной не будет присвоено значение. Машина логических выводов (МЛВ) начинает просматривать набор правил сначала и проводит просмотр его до тех пор, пока переменной не будет присвоено значение. Сначала ищется первое правило, в котором определено и истинно значение посылки. Это правило будет выполнено и полученный результат можно будет использовать для тести­рования других правил. Далее система ищет следующее правило с определенным и истинным значением посылки. Это продолжается до тех пор, пока не будет выполнено правило для переменной цели.

Пример:

RULESET: EASYCALC

GOAL: INTRATE

RULE: R1

IF: RERIOD > 90

THEN: INTRATE = 12.5

RULE: R2

IF: MOMTHPAY < 50

THEN: PERIOD = 120

RULE: R3

IF: MOHTHPAY > 50

THEN: PERIOD = 60

RULE: R4

IF: PERIOD < 90

THEN: INTRATE = 11.0

Пусть первоначально переменной MONTHPAY присвоено значение 42. МЛВ ищет в наборе правил то правило, где определено и истинно значение посылки (это R2). Тогда переменной PERIOD присваивается значение 120. Вслед за тем, начиная вновь с первого правила, ищется правило, в котором определено и истинно значение посылки (это R1). Переменной цели присваивается значение 12.5. Цель достигнута, система закончила работу.

Попробуйте объяснить, что получится, если MONTHPAY = 70.

2. Обратный вывод

Этот вывод - наиболее часто используемый метод управления. При этом МЛВ начинает с цели и, просматривая набор правил, на­ходит первое правило, с помощью которого можно достичь цели. Если посылка этого правила определима и верна, то система вы­полняет соответствующие действия. Если посылка неопределима, то МЛВ временно меняет цель - устанавливает в качестве цели пере­менную, которая позволит определить истинность первой найденной посылки и ищет первое правило, определимое и верное для новой поставленной цели.

Воспользуемся примером из 5.1. В этой ЭС цель (GOAL) -найти INTRATE. Ищем первое правило, в котором вычислялась бы переменная цели (это R1). Но его нельзя выполнить, пока неизвестна PERIOD. Ищем правило, где находится PERIOD (это R2). Допустим, что MONTHPAY задано и равно 42. Тогда выполняется R2 и затем R1. Цель достигнута.

Но теперь предположим, что MONTHPAY = 70. Тогда цепочка R2 -R1 не приводит к нахождению цели (PERIOD не определима И, следовательно, не определима в этой цепочке и INTRATE).

Начинаем сначала и ищем следующее правило, где находится цель INTRATE (это R4). Теперь необходимо определить PERIOD (но­вую переменную цели). PERIOD находится в правиле R3. Т.к. MONTHPAY = 70, то РЗ - верно, тогда PERIOD = 60. Далее проверяется R4. Онo верно. Следовательно, INTRATE = 11.0.

6. Переменные

6.1. Рабочие переменные

Рабочая переменная (РП) – это обычная переменная, анало­гичная переменным в ЯВУ.

Первоначально все РП имеют значение UNKNOWN. Им можно присвоить значения любого типа.

А = 12.5 - пример числовой переменной;

В = "это строковая переменная" - пример строковой переменной;

С = TRUE,

D - FALSE - логические переменные.