Прямой вывод

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

Пример:

GOAL: HOWREST

RULE: R1

IF: (finance/acount)> =5000 and (finance/acount)< =10000

THEN: howrest=" Vi mozhete neploho otdohnut na materike."

howrest= howrest+" Poezhaite k rodstvennikam."

RULE: R2

IF: (finance/acount)> 10000 and (finance/acount)< 70000

THEN: howrest=" Vi mozhete neploho otdohnut za granicei."

howrest= howrest+" Nu, razumeetsja po putevke."

RULE: R3

IF: (finance/acount)> =70000

THEN: howrest=" Vi mozhete chast sredstv vlozhit v SKV ili"

howrest= howrest+" akcii, a otpusk provesti kak pozhelaete."

RULE: R4

IF: (finance/acount) < 5000 and (finance/acount)> 3000

THEN: howrest=" Vam stoit podumat ob otdihe v lesu."

howrest= howrest+" U nas takaja krasivaja priroda. Vam ponravitsja."

RULE: R5

IF: (finance/acount)< =3000

THEN: input zarabot using " u" with " U vas est vozmozhnost podarabotat (y/n)? "

RULE: R6

IF: zarabot=" Y"

THEN: input skolko num with " Skolko? "

RULE: R7

IF: skolko > =5000

THEN: howrest=" Vi mozhete otdohnut neploho."

howrest= howrest+" Orientiruites na summu, "

howrest= howrest+" nakoplennyu v otpusknom periode."

RULE: R8

IF: skolko < 5000

THEN: howrest=" Etogo budet nedostatochno."

howrest= howrest+" Pridetsja otpusk otlozhit."

RULE: R9

IF: zarabot< > " Y"

THEN: howrest=" Ochen zhal, no Vam pridetsja podozhdat."

howrest= howrest+" Vashi finansovie vozmoznosti ne"

howrest= howrest+" pozvoljaut Vam poehat v otpusk"

howrest= howrest+" v etom godu. Viezhaite na prirodu."

Пусть первоначально переменным FINANCE и ACOUNT присвоены значения 30000 и 3 соответственно, тогда результатом вычисления отношения (FINANCE/ACOUNT) будет 10000. Машина логического вывода ищет в наборе правил то правило, где определено и истинно значение посылки (это R1). Тогда переменной HOWREST присваивается значение " Vi mozhete neploho otdohnut na materike. Poezhaite k rodstvennikam.". Цель достигнута, система закончила работу.

Попробуйте объяснить, что получится, если FINANCE = 72000, ACOUNT=1.

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