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

 

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

значениям - функции принадлежности элементов нечеткого множества , соответствующего найденному значению лингвистической переменной.

Зная =10, из (10.6) находим = , а из (10.7) по аналогии с имеем = наивысшее = 0/0+0.1/1+0.2/2+0.3/3+0.4/4+0.5/5+0.6/6+0.7/7+ +0.8/8+0.9/9+1/10. Полученные частные значения , позволяют строить матрицу нечетких бинарных отношений ( () ()) по (10.5), где = , ()= () – табл. 10.5.

Таблица 10.5. Матрици отношений ( () ())

 

		0.1	0.2	0.3	0.4	0.5	0.6	0.7	0.8	0.9
		0.1	0.2	0.3	0.4	0.5	0.6	0.7	0.8
		0.1	0.2	0.3	0.4	0.5	0.6	0.7		0.1
		0.1	0.2	0.3	0.4	0.5	0.6		0.2	0.1
		0.1	0.2	0.3	0.4	0.5		0.3	0.2	0.1
		0.1	0.2	0.3	0.4		0.4	0.3	0.2	0.1
		0.1	0.2	0.3		0.5	0.4	0.3	0.2	0.1
		0.1	0.2		0.6	0.5	0.4	0.3	0.2	0.1
		0.1		0.7	0.6	0.5	0.4	0.3	0.2	0.1
			0.8	0.7	0.6	0.5	0.4	0.3	0.2	0.1
		0.9	0.8	0.7	0.6	0.5	0.4	0.3	0.2	0.1

 

Пример расчета:

0⁰. = =0, = =0; из ранее определенных нечетких множеств и находим по их первым элементам ()=1, ()=0. Тогда из (10.5) получаем (, )= ()=0;

1⁰. = =1, = =0; для второго элемента из имеем () =

= 0.9, для первого элемента из сохраняется () =0; (, ) = = () =0;

…………………………………………………………………………………..

10⁰. = =10, = =0; ()=0, ()=0; (, )=1;

0¹. = =0, = =1; ()=1, ()=0.1;

(, )= ()=0.1;

Ø ()Ú Ø (, )Ú (, )Ú (),

Ø ()Ú Ø (, )Ú ()Ú Ø (, (, ))Ú (, ).

Символы переменных в соответствии с законом немых переменных можно изменить так, чтобы они появлялись не более, чем в одном из обособленных предложений, что дает формальное разделение (независимость) переменных в предикатах одного предложения относительно других предложений:

Ø ()Ú Ø (, )Ú (, )Ú (),

Ø ()Ú Ø (, )Ú ()Ú Ø (, (, ))Ú (, ).

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

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