Автор неизвестен - Бионика интелекта информация язык интеллект№ 3 (77) 2011научно-технический журналоснован в октябре 1967 г - страница 30

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77 

Алгоритм состоит из восьми шагов, опишем каждый из них.

HlaeJ. Вводим предикаты эквивалентности E (xt, x) (i = 1, m), характеризующие классифи­каторы предиката P . Вычисление производится по формуле, которая может использоваться для любого конечного числа переменных xm :

E(xt, х{) = Vx1 є A1 Vx2 є A2...Vx,-3 є Aч

Vxi+1 Є A+1Vxm Є Am (P(x^ X2,..., xi-1, (2) xi, xi+1,... xm ) - P(x1, x2,..., xixi, xixm )).

Находим эквивалентность E3(x3,x3) для задан­ного предиката (1) согласно формуле (2):

E3(x1, x1) = Vx2 є{0, 7, 2}Vx3 є{0, 7}

(P(x3, x2, x3) - P(x3, x2, x3)) =

= (71(    -71 (x)) (72 (x1) - 72 (xx)) (73 (x1) - 73 (xx)) =

= (1 -1) (72(-Г2( 'xx))(0 - 0) =

: 7, (x) 7,( x) v 7, (x) 7, (x) =

••

••

=(x10 vx11 )(x10 vx11 )v(x10 vx11 )(x10 vx11 )=

•• ••

=(x10 vx11 )(x10 vx11 )v(x12 vx13 )(x12 vx13 ).

Аналогично , находим эквивалентности E2(x2,x2), E3(x3,x3) для переменных x2, x3:

E2(x2, x2) = Vx1 є{0, 1, 2, 3}Vx3 є{0, 7}

(P(x3, x2, x3)-P(x3, x2, x3)) = (x° vxj)(x2vxj) vx2 E3(x3, x*3) = Vx1 є {0, 1, 2, 3}Vx2 є {0, 1, 2}

••

(P(x1, x2, x3)- P(x1, x2,   x3)) =x30 x30 vx31 x31 .

Шаг 2. Получаем классификаторы предиката P в неявном F (x,, у,) и в явном f (х{) = у, видах (i = 1, m) для исходного предиката:

F (x1, У1) = (v xj)у v (v x3 )y2;

F2 (x2, У2) = (v x2 v     У2;

F3( x3, У3) =   У30 v yj.

[vx1 = y0; [x20 vx2 = y20;

/1(x1) = y1: j   2       3       2    f2(x2) = y2:<

Шаг 3. Строим классифицирующий слой пере­ключательной цепи предиката P (рис. 2).

x22 = y21;

/3(    = У3:

[x3° = У3°;

x31 = y31.

Рис. 2. Переключательная цепь предиката P

Шаг 4. Находим предикат Q(у2, у2,..., ym), ас­социирующий слои переключательной цепи пре­диката P (x1, x2, x3). Его вычисление производится по формуле:

Q ( Уі, У2,..., ym ) = 3x1 є A 3x2 є A2... є ^

(P(x, x2,..., xm)AFi(xi, Уі) ЛІЗ^, У2) Л ... Л Fm(xm, ym)).

Для предиката P(x3, x2, x3) получаем следую­щий результат:

Q(yi, У2,..., ym) = 3x є{0, 1, 2, 3} 3x2 є{0, 1, 2}

3x3 є{0, 1}(P(x3, x2, x3)лF1(x1, y3)лF2(x2, y2)л

лFз(Xз, У3)) = Уі°у°у0 vУі°у°yj vу0yjу0 vу3у°у°.

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77 


Похожие статьи

Автор неизвестен - 13 самых важных уроков библии

Автор неизвестен - Беседы на книгу бытие

Автор неизвестен - Беседы на шестоднев

Автор неизвестен - Богословие

Автор неизвестен - Божественность христа