, .
: ; .
, , , , , .
. 13.1.
.
. . . , .
.
, (, ) .
. ; . production , . , .
( ), :
1 2 ... n, B 1 2... ,
i Bj , . ( , ) , ( ).
( ) . , , .
( ) ():
1: , ;
2: , ;
3: , .
( 1) , :
1 ( ) ; 2 ( ) .
|
|
, , (, ) .
; .
, ( ) . , .
. . (. frame , , , , ..) 1975 . . (M.Minsky, ).
, , , , . , (: ) , . . , ; ; . : , , , . : ; ; . . 13.2 [21].
X Y Z W.
, , : . .
, . . 13.2 .
. 13.3 , .
[21]:
-;
-;
.
- . , , , , , .., , , , ..
- . . , , , .., .
, , .., . . , ( -).
|
|
. : -; -.
- ( , , ).
1. (IF ADDED) , .
2. (IF REMOVED) , .
3. (IF NEEDED) , .
- ( ). . , , .
. , .
( ). , , [21]. , ( , ). .
:
- ( );
- ( );
- (, , ).
( ) :
(, , );
(, , );
- ( , , );
( ).
( , , c ).
.
. 13.4 () 2002 . .
. 13.5 .
, .
, , . :
, ;
, .
. , . : . . ( , .), , .. , .
|
|
. 50- . . .
, . P(x 1, x 2 ,..., n), 1... xn , 0 1, , .
( 1, 2,..., n) 1 2,..., n , 1, 2 ,..., n л. , , () , () = 1 > 0 () = 0 £0.
, . , , , , .
n -.
() . , .
, () 2- n - .
.
1. () 1, = , 0, = .
2. x 1 2 1 0 1 2. 1 , .
( f, g, h ..), , .
3. , : P{g[f(x),f(y)],f(z)}, З , g(x, ) = + ; f() = 2.
:
[ ((), (y)), (z)].
1, , , z .
, (, ..). ( ) . , . , , , ( , ).