Professional Documents
Culture Documents
:
,
080801 - ( )
., 2008
.. :
, 080801 - (
)/ . . .. . .1. .: , 2008. -
, ,
.
:
- , ,
..
, .
..
.
1. .
1.1.
1.2. .
1.3.
1.4.
1.5. .
1.6. , , .
1.7. ( )
1.8. .
() .
...
2. .
2.1. , ,
2.2.
2.3. ..
2.4. .....
.
5
19
22
23
27
30
36
39
44
46
46
50
55
58
66
3. , 68
3.1. . 70
3.2. - . 75
3.3. .. 81
3.4. - 85
3.5. ..... 89
91
4. , 92
4.1. .. 92
4.2. .. 96
4.3. .. 100
4.4. .
106
4.5.
. 116
.. 120
,
....
, ,
( ).
-
,
- ,
,
.
...
.
,
( 1, 7, 10 )
, 1 5
7 .
, 20
, ,
. ,
,
.
2 . 1 4
: 3 , , .
,
.
, .
, ,
. , ,
, ,
.
. ,
.
1. .
.
1.1 .
intellectus (,
, , , )
.
,
.
,
(artificial intelligence)
. ,
()
, .
"" ,
. ,
. ,
,
. ,
(
),
. ,
, ,
, " ".
, "
".
( )
.
,
,
.
,
,
,
,
.
, -
,
,
..02
.
, ,
,
. ( 3, 2000.,
.4,5) ..
:
. , ,
- .
, , , . ,
,
, .
XVII . (1),
, : ,
. .
, ,
, .
, , ,
, ,
,
( ) , .
,
, , -,
, ,- . ,
,
, ,
.
,
, ,
,
. ,
.
, ,
. ,
, ,
,
, . ,
. ,
, ,
.
, ,
. , ,
, (
)
. , . (3) , ,
, , ,
. ( .)
, , ,
, ,
.
,
.
, ,
- .
..
(2) ,
,
, ,
, .
, , . .
,
10
.
, , ,
, ,
,
().
,
. ,
, , ,
.
,
, ,
, , .
. ,
,
,
.
,
- ().
(),
.
, , ,
,
. ,
. ,
(
) . ,
,
. ,
(, , ,
),
( ) .
,
, , ,
.
.
, , , ,
"".
.
() .
, ,
.
.
,
.
11
,
,
. ,
, ,
. (5), " ,
"". , , ,
, ,
( ) ,
. , ,
, ,
, , ,
. ( ),
, .
, .
:
- ;
- ;
- ..
,
,
.
, , ,
(, ),
. .,
, .
, ,
,
.
( ),
, ,
. ,
, , , ,
. ,
, , ,
( )
. , ,
. , ,
, ,
, .
, , ()
. , . . ,
, ,
, .
- .
. " , - , -
,
. , ,
, ,
?
12
, . ,
, , . ,
: "-"
"" ".
, ,
. ,
, .
,
, ..
, ( )
,
.
. ,
(, ,
.), . 50- .
"
". .
.
? ,
( )
, - , ,
. , ,
, , ..
.
,
. , ,
,
, .
,
.
, , ,
,
.
,
. .
,
, .
.
, .
,
,
. ,
. , ,
.
? -
, - ,
. ,
13
(, ,
).
,
, : ? ,
, ,
, ,
. (
)
, . , ,
( ) .
? ? ? ,
?
" " (). - , ,
. :
, ,
.
-
, , .
- ,
.
() - ,
. ,
, , , , .
, . ,
. ,
, , ,
, . ,
-
. ,
"". . , . ,
, .
.
, .
. , ,
, .
. ,
.
, ,
.
. -, ,
. , ,
, "
".
, ,
, , ,
14
,
? , ?
, , (
) ...
? , , , ,
, ,
.
: ,
, ,
? , , ,
...
,
,
,
.
,
, - .
.. (2)
.
,
.. ,
.
: , .
, , ,
. :
,
.
, , - ,
. ,
, ,
.
60 ?
? , ( )
.
(6), ,
,
: (
) .
(
) ,
- ,
. ,
,
.
,
.
.
, , ,
15
.
. ( , ).
. ., 18 -
. .. .
1982 . .., , ,
, ()
, , ,
. ,
.
. -
,
. (
), ( ,
) (, ,
).
(6) . ,
. , ( ) , ,
, .
, 18 .
, , 20- , ,
.
, ..
,
(8) (1902-1994).
-
. ,
, ,
. .,
,
, .
, , .
. ,
.
, :
, ?
- .
, .
, , ,
, . ,
.
.
16
, ,
? , ,
(, ). .
,
.
. 1974 . ,
. , ,
( ,
),
, , . ,
, , .,
256 , 4 128
.
,
. , ,
.
,
, .
.
,
, .
- , , , .
: ,
, , . .,
, .
1957 . . , .
, ,
,
.
.
, -
. ,
, ,
,
. ,
,
. , ,
.
(2), ..
.
,
. 1960 .,
,
. . ,
17
., - ,
, , ,
.
3 IBM-704 220
, , ,
10 , 130 ,
.
,
, . ,
. ..
:
- . ,
.
.
, ,
,
.
, ,
.
,
, .
,
, .
.., ,
. , ,
, ,
.
. ,
, ,
, ,
. :
, ; ,
;
, .
:
-
( , ,
..);
-
;
- .
, ,
(),
. , ,
, .
.
, .
18
,
, ,
.
. ,
, ,
, .
(),
.
,
, .
, ( ).
,
, . ,
, .
, ()
, ,
.
,
,
.
() , , .
, ,
, ,
.
,
,
, ,
,
.
,
,
. ,
, ( )
, ,
.
,
. ,
,
.
(
)
.
(
) .
19
,
, ,
.
,
, .
,
,
.
, ,
, ,
,
, .
2005 .
(2). . ..
, , ,
,
.
,
:
(Conference on Data System Languages),
(Information Management System) IBM ,
...
, ,
,
. , ,
,
, ,
( )
. ,
, ,
,
.
.. .. (4), ..
(7) ,
.
, ,
.
-
- ( , )
(). , ,
() (,
, , .),
, ,
.
, -
20
, .
, ,
: , , , ..
, (
) ()
.
,
, , ,
.
P(X,Y,Z)
(1.1.1)
, (,
),
() , X,Y,Z.
.
. ,
- , . ,
, .
()
, .
, X , Y , Z
.
( ) .
( )
- ,
,
. (1 0)
, . ,
, .
, , ,
,
() - ()
. (1.1.1)
(, ) ,
( )
( ). ,
(1.1.1) () X,Y,Z,
,
,
.
() ()
. :
- , ,
,
? ,
. X,Y,Z
,
.
21
() : - ,
.
,
.
,
, : .
().
, .
.
( ).
. ,
,
.
, .
, ,
( ) .
, ,
,
.
()
. , :
,
,
. ,
, .
,
,
, ()
.
, ,
,
. ()
, ,
. ()
() , .
, (,
), -.
1.2. .
,
() .
( ) ( ).
.
. ,
22
.
,
. ,
.
()
, ,
. ()
,
. ,
, .
. ,
() . , ,
. , ?
, .
.
, ,
,
.
,
, .
, - ,
.
.
,
,
. ,
.
( ) ,
.
, . . ,
(, ) ..
,
.
: ;
;
; ()
.
.
,
.
.
- ,
-.
,
( , ,
.).
23
.
.
.
, , .
. , ,
. ( )
,
. ,
.
. , ,
, ,
.
, ,
.
- (-)
.
( )
.
() -
.
, ,
. ,
. ,
, - , ,
. - ,
, , ,
.
,
. ,
, ,
, , .
?
, .
,
.
10 15
. ,
. ,
. Internet
,
- . , Internet ,
() ,
. . ,
24
, , Internet . ,
,
, - .
,
.
,
. .
,
. : ?, ?, ?,
?, .. ,
, ,
, .
,
.
1.3. .
, ,
, , , (
).
: .
, (
25
) .
, , .
,
.
, , , ,
. ,
.
()
(). ,
. , ,
.
( )
.
.
(
),
.
,
. ()
()
. ,
, ,
.
, (
) .
,
(), , -
.
.
. ,
,
. cognition
, .
,
, ,
, , ,
, .
1.4. .
:
, ,
( , ) -
; ; .
.
,
26
.
,
- ,
.
.
,
. ,
. ,
. ,
.
,
.
, , , .
,
, .
,
,
.
, , ,
.
.
(), .
, ,
, , ,
. ,
, .
,
.
.
() ,
X, Y, M :
= { X, Y, M }
(1.4.1).
(1.4.1) X ,
, Y ,
X, M
, X
Y.
.
Y. ,
( )
Z G:
= { Z, G }
(1.4.2),
G ,
, Z ,
27
()
, .
( )
, .
, ,
.
,
, -
.
. , .
,
.
, .
() (G)
(Z) . , ,
. ,
(, , , , .)
.
.
.
1 -
, ( ),
, Y.
,
,
.
2 - .
. ( D )
( ), , , ,
..
.
.
3
.
,
.
.
4 .
, ,
,
,
.
( ),
. (
)
28
( )
. ,
( )
, .
5 .
,
,
.
,
(, , , .) .
6 , (1.4.2).
,
,
(1.4.1)
. ()
(
)
Y. .
, ,
.
,
.
,
,
.
( ) ,
( ), ,
,
, .
().
: ,
, .
,
, .
,
; , ; ,
; ,
. ,
, .
: (, ,
) (, ,
, ..).
. ,
(),
. ,
.
29
, ,
. (),
.
, ()
.
,
. , ,
(, , ,
.). ()
(, , ,
, ) .
() .
, , .
.
,
.
.
, , .
, .
() (
) .
, .
,
.
. , ( )
, ,
.
, .
, () .
,
, ,
. , ,
(, - )
.
1.5. .
,
:
(),
(), ().
.
30
, ,
, -
, .
, ,
. ,
,
,
, . , ,
( ) ,
.
, -
.
, - .
, ,
,
. .
.
.
,
, .
-, ,
, ,
.
, ,
.
. ,
( )
. , ,
- .
.
,
.
,
. , ,
.
, ,
, .
, ,
.
. ,
( ), (
31
) .
( ),
, .
( ).
,
,
: , ,
, .
,
, .
(, )
, ( , - , , .).
,
.
,
.
.
.
.
( )
. ,
" " ().
, .
,
.
,
, ,
- .
. , , -
.
.
.
, .
( ) .
.
. . ,
()
,
,
. ,
. ,
,
. , ,
32
,
,
, .
,
. ,
- " " (). ,
,
. , ,
" ". , , ,
.
,
, , .
, .
,
.
. ,
, , , ()
( ) .
, , ,
,
, . - ,
,
.
.
, ,
, ,
. , ,
.
1.6. , , .
.
,
, .
-
, .
,
33
.
.
, (
) , ,
, .
, ,
, .
:
- ,
() () ;
-
, );
- , ;
-
( ) ,
, , , , ,
, , ,
;
- ,
;
-
;
- ;
- ;
- ;
- .
,
. ,
,
.
.
, .
, .
,
.
,
, ,
, .
, .
,
(
)
. , ,
34
,
.
() ()
. , , :
() ? ,
, 20
190 . (2),
, ,
.
.
.
. ,
,
- .
,
.
.
,
(,
, ), ,
( ) (, , )
. ,
.
,
,
.
. .. (2)
(, -
)
- .
,
-
.
,
, .
, -
, ,
. ,
,
,
. .
. ( ) ,
. ,
,
35
, ( ).
.
,
( , )
, .
, .
,
. ,
, ,
.
.
,
.
, ,
,
. ,
, , ,
.
,
() (
) . ,
() .
,
. ,
,
, ,
(
,
.). ,
,
. ,
. ()
() .
,
.
.
,
.
. .
36
, ()
.
,
.
,
, . . , .
, , ,
, ,
, . ,
,
. ,
. -
, , ,
, .
, .
, ,
. : , , ,
, ..
. ,
.
, ,
. ,
, , ,
, ,
.
()
. , ,
, .
- , , -
.
,
.
-, .
, , ,
. ,
, , -
.
"" "",
( )
. .
"" "". ,
,
.
.
37
( ) , ,
, . ,
, ,
, ,
.
, . :
; ,
() (
) ; ,
; , ;
. , ,
. ,
, ,
(
) ()
. -
. , ,
.
.
,
. , ,
.
, ,
.
,
,
:
, . ,
,
,
.
(10), ,
, , :
,
,
,
. (
) , , ,
.
.
,
. , -
, ,
.
38
, .
-
,
.
1.7. ( ) .
,
,
. ,
39
.
,
, ,
.
, .
Expert System ,
,
- .
, ,
, ,
, , .
, ,
(, ),
( ),
. 60-
, .
.. , , ,
,
, , .
,
(, , ,
.). ,
.
,
, .
() ,
:
, () .
() ,
.
.
,
.
-. ,
. ,
.
,
. ,
.
,
.
, ,
40
41
, ,
(
) ,
, .
.
, ,
, ,
()
.
.
, .
,
- .
1.8. .
() .
, ,
, , ,
42
, .
(, )
, , (
) : , ,
, , .
,
:
,
;
- ,
, ;
- ,
;
- ()
( - ) .
,
. ,
, ,
.
. ,
,
.
. ,
( , ,
), .
(
) ( ).
,
. , (-),
(
), - ( ),
. ,
. ,
, .
,
, : ,
, , .
, .
,
,
( )
.
(
, )
. ,
43
.
,
, - ,
. ,
,
. - ,
, () ,
, .
.
, -.
, ,
,
,
. - , (),
.
,
,
, , .
,
.
, , -
, ,
,
:
-
;
- ,
( )
( ,
) ,
.
.
,
,
, .
.1.8.1
. ()
.
, ,
(), ()
().
44
(
)
.1.8.1. .
() () .
,
- ,
, .
45
() -
- .
()
, .
- .
,
,
,
( ) .
,
.
-
, .
, ,
, ,
, -.
, ,
:
- ;
-
() ;
- ;
-
() .
.
:
- ,
(), ,
( ; ,
;
- );
- ,
;
;
- (
, ,
);
- ( ,
, ,
, ).
,
,
.
.
, ,
(2,7,13,19,23) -
46
() .
, ,
()
, ,
, ,
.
1. .
2.
?
47
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. .
48
41.
?
42.
?
43. .
44. .
45. ?
2. .
2.1. , ,
, ,
, ,
.
, .
,
,
. ( ),
, ,
. : ,
-
-
. ,
.
.
, :
- ;
- ,
;
- ;
- (, )
;
- ,
.
-
,
, ,
,
-,
-
-
.
, () ,
(),
, .
49
, - .
(
), .
.
() ().
, () - ,
( ) .
, .
-
,
, .
:
- () ;
- ;
- ;
- .
() () ,
, ,
, .
()
( ,
,
).
() ,
, ,
.
.
() - -
,
.
, .
,
. , -
.
.
,
(, , , ,
- , ..).
, (, , )
. , ,
- .
50
.
,
, .
, (
) .
()
( )
( ) . ,
, ,
.
( ,
), ,
, . ,
, , .
,
, . ,
, ,
. , .
,
.
,
, ,
. ,
,
- .
, . ,
,
, . ,
,
- . ( ,
) (
), , .
( ),
.
- ,
,
. , ,
.
,
. .
-
,
(. 1.6).
(), , ,
, .
51
.
.
.
. , ,
,
,
.
.
( )
(, ,
) , . ,
, , ,
.
, (
)
. , ,
, ,
( 5).
: , ,
.
,
, ,
. ,
, . , ,
.
. ,
, ,
().
. ( ,
) .
(),
, .
,
: , (), ()
().
, .
, ,
, - . , .
, ,
(),
,
, . ,
, -
(). , .
52
. ,
, ,
. . ,
(
), , .
,
. ,
, , , - ,
.
.
2.2.
( )
. 2.2.1.
,
,
.
. ,
, ,
, . .
.
. .
. , , , .
, , ()
. , ,
,
.
()
() .
.
(),
( ).
, , , ,
, , ,
(, .).
( )
53
(
) .
( )
- .
,
.
,
, ,
-
. ,
. - ,
.
54
,
-
-
()
-
-
55
.2.2.1. .
, , -.
, ,
, (, )
. ,
, .
, - ,
, .
-
(, ).
.
(). , ,
,
. ,
( ) , ,
.
,
.
, ,
. (
), .
, ,
() ,
() .
. ,
( )
. ,
() ,
.
, ,
.
, , ,
, .
, ( ),
, -
.
. ,
, .
, .
, .
, , (
)
.
(
) ,
. .
.
56
(), .
.
, ,
.
,
. ,
. (
), ,
,
, .
:
. ,
, .
, ,
.
, , ,
,
.
( )
, .
1.6. , , (
), ,
.
.
, (
) .
,
. ,
.
, , ..
.
, ,
, ,
.
().
( ),
.
()
( ) .
( )
( , )
.
. 2.2.2.
,
,
, .
- .
,
. -
.
57
. 2.2.2. .
, (-)
(
). .
,
, (
, -)
.
(-
).
58
2.3. .
, , ,
.
,
() . ,
- ,
.
, , ,
. ,
,
, ( )
.
().
- .
( )
, .
:
- (. 1.6);
- (
,
,
, );
- () (
3);
- (, );
- (, );
- (,
, ).
(20,23,24)
:
- (
), ;
-
,
;
- ,
;
- , ,
(,
);
- ,
,
;
- , ,
.
59
() ,
,
. ,
() ,
.
. ,
- .
.
()
(), . ().
( )
,
, , ,
.
, , .
, ,
.
, .
,
, . ,
. , ()
, ,
. ,
,
.
, ,
. , ,
, ,
,
.
3.1.
,
, - .
.
,
. ,
, , , .
. ,
, ,
. , ,
.
,
,
.
, ,
. , ,
.
60
. ,
, .
: .
.
.
61
2.4.
.
() .
,
, ( )
.
, , , , ,
,
. ,
.
.
: ( ) ,
, .
,
, ,
, , .
: .
, ,
( )
.
, ,
,
.
()
, .
, ,
.
.
. :
- ;
- ;
- ,
;
- ;
- .
(21) .
62
1)
.
2)
.
3) ( ,
, , , ,
.
4) ,
.
. :
- ;
- ;
- ;
-
;
- ,
,
,
;
- ,
;
- ,
;
.
5) () .
6) () ,
.
7) ,
.
8)
,
.
9) ,
.
10) , (
) .
11) ,
, .
12) ,
, .
,
.
.
, ,
, .
, ( ).
63
,
.
,
.
, ,
.
.
, , . ,
,
. ,
, ,
, ( ) ,
.
, ,
,
. ,
, .
.
, , ,
,
. ,
, .
, , ,
.
,
.
( ).
.
. ( ), ,
, ,
.
.
.
, ,
, .
,
.
(
) ,
( , ,
.), (, , ,
..). , , ,
64
.
, .
, , , ,
.
, , ,
( , .).
,
,
-
.
.
, . ,
,
, , . , ,
, .
,
.
. :
- ;
- ( );
- .
. .
.
,
.
( ) .
() .
.
:
- (+, , , PROLOG,
SMALLTALK, .);
- (OPS 5, KRL, FRL);
- (KE, ARTS, GURU, G2);
- (BUILD, EMYCIN, EXSYS Prof.,
.).
:
- ;
65
- ;
- .
.
.
, ( ) ..
()
, :
- ( , );
- , ;
- , ;
- .
.
, ,
. , ,
.
, ,
.
,
, .
, ,
, - ,
, .
, ,
, ( 5 ).
,
,
.
.
,
, .
,
.
,
.
() ().
( ) ,
( ,
) .
( ), ,
, , ,
. ,
()
.
, " " (machine learning).
. ,
( ),
66
.
.
,
.
, ( ),
.
:
1. .
2. .
3. .
4. .
,
:
- ;
- (, , ..) ;
- (
);
- ( ).
.
.
(). ,
,
, .
, ( ) ,
(M) (N)
. M/N
.
, (,
) ,
. , ,
, .
,
. , ,
- . ,
, , ,
,
. ,
,
, .
,
, .
, ,
67
,
.
, ,
. ,
.
,
() ,
. ,
( ) .
, ,
" " .
, ,
.
. .
,
. ,
.
.
,
, ,
. 20 .
. 20 ,
.
.
.
() .
5.
.
(
) .
( ),
.
.
,
" ".
. ,
.
, .
200 : " ", " ",
" ", , .
68
, , ,
.
( )
, . ,
,
.
1 - - 2.
, , 1 2
( ). , ,
.
, ,
, .
, .
( ), ,
.
.
( ).
, , ,
.
, , .
,
.
, ,
, .
7.
.
, ,
. ,
,
( ),
, , ,
.
, ,
.
, ,
. ,
, (, ),
( )
,
. ,
, ,
69
(, , ) ,
, .
, ,
, .
,
.
1. ?
.
2. .
3.
.
4. ?
5. , ?
6. ?
7.
.
8. ?
9. () ?
10. ?
11. ?
12. .
13. ?
14.
?
15. ?
16.
?
17. ?
70
18. ( )
?
19. ?
20.
?
21. ,
?
22. ?
23. ?
24.
() ?
25. ?
26. ?
27. ?
28.
?
29.
?
30.
?
31.
?
32.
?
33. ,
?
34. ?
35. ?
36. ?
37. .
38. ?
3. ,
.
- ()
.
,
. () .
()
.
, -
.
, , ,
.
, ,
:
- ;
- ;
- ;
- .
71
() () .
, ()
,
. , ,
() , .
()
(),
-
, .
() .
(
) .
(
).
. .
(
) () .
( , , )
, () ,
, - .
:
- ;
- - ;
- ;
- - .
,
, ( ) .
,
.
72
3.1. .
() ,
, ( )
. ,
() , .
()
, .
, .
, .
. ,
(), , ,
. . ,
, ,
, .
, .
:
() ().
,
, , ,
. - ,
. .
- , .
, ,
, , .
. , , ,
(), , ,
, , (,
- ). , ,
()
.
,
, . ,
, , (
, ).
.
1. ( ) ( ).
2.. ( ) (
).
73
3. ( ) (
).
4. ( ) ( ).
(), ,
, . ,
, ,
- .
( ) ,
( )
. ,
. ,
, () (),
.
:
- () ,
, ;
- () ,
, ,
;
- ( )
.
,
: .
-
- .
,
, .
.
,
(.3.1.1).
11
12
13
21
14
22
15
23
.3.1.1 .
, ,
- () - ().
, - ,
74
. ,
, ,
. - -. ,
: 1i , 2 j . ,
( -) ( ). , , 12 ,
12
22 , 22 .. 1 2 ,
, - .
.
. , .
( 1 ) . 21
21
23 . , - 1
23
1 . , .
.
, .
, , , ,
() 11 13 ?
() 1 , .
, , , (
) , .
, , 2 ?,
: , 11 21 . ,
, , .
, , . ,
, ,
. , , .
.
?
,
. ,
1 2 ,
, .
.
,
, . ,
, .
() .
.
, ,
. ,
. , ,
.
. . -
() .
() ,
() , . ,
, .
.
, ,
.
,
. ,
75
, , .
:
- ( , )
;
-
,
.
, ,
. , ?
.
( ,
), , ,
. ,
, .
, .
, , .
, () .
,
, , . ,
. -
, .
, ,
. .
, (
, , ,
, , ,
).
,
. , ,
, . ,
,
.
, ,
, , .
. , , -
- - , .
. : .. ?.
, . ,
, , .
, ... , ,
, ?
, . ,
,
.
, 80% ,
, , .
,
.
, ,
PROLOG, CLIPS, OPSS, EXSYS, GURU, ., KEE, ARTS, PIES
.
76
3.2. - .
()
( ).
, ,
. ( )
- , , ,
.
.
.
,
, .
() (). ,
( - , - , - , - , - ).
.
, (),
1 () 0 ().
(), ()
. .
,
. (),
( ,
). - ,
- - , ()
.
(),
(), :
(-);
();
( , );
77
( , );
( ).
.
( , ), , , ,
. .
1. , ( ),
, ( ,
).
2. (),
() .
3. ( , )
( ) ().
( ) ,
. .
. ,
, ( ,
),
. , =; =; =; =; =; =; =; = ..
.
, ,
. , .
,
,
, .
, .
, , .
- , , ( ),
: (). ,
: , ().
,
. ( )
, .
: , , , , , , .
( )
, , , .,
. ,
:
n- , T 1 , T 2 , , T n ( ), (T 1 , T 2 , ,
T n ) () .
1.
.
2.
1 2 , 12, 12, 12, 1, 2 .
3.
, () ,
, () () ().
.
.
.
, .
,
. ,
. .
:
- ( );
- ( );
- ( ).
78
, , . 3.2.1
.
. 3.2.1.
. ,
, , , ,
.
1. : .
- (, , ,
), ,
. : ,
( ).
:
(((,))).
, , ,
.
((,)),
, ,
.
-
,
,
.
(10),
, .
,
.
(): , .
(): - .
(): - .
(,): .
1(): .
2(): .
, ,
, ,
(, ,
).
: .
( )(( ( ) ( )) ( 1( ))) .
79
: , ,
, - . :
.
( )( ( ) ( 1( ))).
, ,
. ,
,
. , .
: ,
, .
( )( ( ) 2( )).
:
, . ,
, ,
, , - .
-
, , ,
. .
.
.
.
- (odus onendo Ponens).
- (odus ollendo Tollens).
- (odus onendo ollens).
- (odus ollendo
onens).
() ,
, ,
.
, ,
.
,
, . :
,
, . : ( )
, ,
, .
,
. , ,
, .
- ,
, .
,
- , .
, ( )
. , ,
. ,
( ),
() (
). :
- ;
- :
- .
,
.
.
, (,
80
), .
.
, , ,
, .
, , .
, . ,
.
.
.
(),
(() (()))().
( ) .
().
, ,
. , ,
.
.
3.2.2
()
()(()
,
.
: , , .
-
, PROLOG.
:
- ;
- , ;
- .
- ,
, .
- , -
,
, .
81
3.3. .
-. frame
, , , , .
(70- )
() ,
, (5). ,
.
,
, .
, :
,
,
,
,
0.6 ,
,
,
1.2 .
, ,
, , - .
,
. , , .
. ,
, .
(). ,
- .
. ( )
82
,
- .
(
) .
: ()
().
,
() , ( )
( ). .
. (
) , .
.
. ( )
( ), ,
. () ,
()
.
-, .
( , ,
).
, .
, . ,
, ,
( ) .
, ,
.
. ,
.
.
.
,
.
, .
.
() . , ,
- (, ,
), .
-.
-:
- -;
- () , (,
, -);
- , ;
- ;
- ;
- , .
, -.
, ()
. ,
:
U , ;
S ;
R , , -;
,
, .
, .
(, ,
83
, , , ..) , ,
.
.
, . ,
. ,
- ,
-. IF-NEEDED
. IF-ADDED ,
IF-REMOVED .
, , ,
. ,
.
.
.
: , (- ), ,
-.
,
, . ,
, . ,
, ,
.
- ,
-. - ,
, -.
, - ,
, - .
, - .
,
. ,
, (), ,
.
, .
, (
). , ,
, .
.
. 3.3.1 ,
. , -
() , .
, ( ), ,
1, , 5. , ,
, . ,
1, 2 3
(, , ), -
, .
84
1
2
3
4
5
..
1855
1858
.3.3.1. .
. ,
(), :
, . ,
, , - ,
.
, .
, ,
. , ,
,
.
-
, , .
. FRL (Frame
Representation Language), KRL (Knowledge Representation Language) .
3.4. .
85
semantikos . ,
, - , ( ).
,
, .
. ,
, ,
() ,
. () ,
, .
, .
- ()
(), .
, .
, , ,
. () .
.
(, ) .
() , .
( ) N ( N ) . ( , )
, . .
.
, . , ,
, () .
, ,
, ,
.
.. (13).
{j},( j = 1,,r) - ,
(, ) () , {Ri },(i = 1,,m) .
R i
INT (Ri) = {[Aj , DOM (Aj)]},
R i - , DOM (A j ) - Aj Ri,
Aj.
{Ri} ,
.
Ri EXT (Ri) = {F 1 FkFp},
Fk k- (k=1,,p) Ri,
.
.
-
() () . -
, , -
, .
- .
, . ,
. -
, .
: .
, , .
:
- ;
- ;
86
- ;
- ;
- ;
- .
, , -
,
, :
- (, , );
- (, , );
- (, , , , );
- , (,
, ).
- . ,
,
, , .
- ( 2, 4, 7)
-
.
.
,
, , ,
.
,
, .
- . ,
,
- -, ,
-
.
.
87
6
1
. 3.4.1. - .
, ,
: ,
, ,
.
. 3.4.1. - .
. ,
(, ), 1-- 2-.
7 , 6 - , 5
88
, .
. , 4
- ,
7 .
.
-
, NET SIMER+MIR.
3.5. .
.
:
- ( , ,
, );
- ;
- , ( ,
, , .);
89
- (,
, , (), ).
.
, .
, .
- , , , .
,
.
,
, :
.
,
. ,
, .
- .
.
, :
- ;
- , ;
-
;
-
;
-
;
- , ,
, ;
-
;
-
.
:
- ,
;
- , ;
- ,
() .
(13),
, .
. ,
. :
- ;
- ;
- -
;
-
.
, ,
, ,
.
, , , ,
,
, .
. ,
.
90
1. .
1.1.
1.2. .
1.3.
1.4.
1.5. .
1.6. , , .
1.7. ( )
1.8. .
() .
...
14
14
19
22
23
27
2. .
2.1. , ,
2.2.
2.3. ..
2.4. .....
.
46
46
50
55
58
66
30
36
39
44
3. , 68
3.1. . 70
3.2. - . 75
3.3. .. 81
3.4. - 85
3.5. ..... 89
91
4. , 92
4.1. .. 92
4.2. .. 96
4.3. .. 100
4.4. .
106
4.5.
. 116
.. 120
5. . 122
5.1. . 122
5.2. . 128
5.3.
130
5.4. ,
. 133
5.5. 138
5.6. .. 143
...
154
122
6. ,
6.1. .
.
6.2. ,
6.3. ....
..
156
156
164
177
180
7. ,
. 182
7.1. .. 182
7.2. .
. 188
7.3. .. 190
7.4. ...... 193
7.5. , .. 199
7.5.1. .......... 199
7.5.2. . 200
7.5.3. 208
7.5.4. 212
7.5.5. 218
7.5.6.
221
224
,
....
227
-
,
- ,
,
.
( )
.
, ,
.
, ,
,
,
.
, -
,
,
..02
. 2 . 1
123
4 : 3 , ,
. ,
.
, .
, ,
. ,
,
, ,
.
.
.
5.
5.1. .
, ,
,
. ,
. ,
, ( )
, .
,
, . ,
,
, ,
.
, ,
, .
.
,
.
, ,
.
124
(
)
( 4, 4.3). ,
,
, ,
.
, ,
. ,
(
). .
, , .
,
,
(),
.
,
. , ,
, , , ..,
. :
- ;
- ;
- ;
- ;
- .
. (
)
.
.
:
- ;
- ,
,
.
( ) :
,
.
{Ai}, (i=1,,n), (n),
- 1.
1 n .
n
Ri =
i =1
n(n 1)
,
2
(5.1.1)
Ri i- ; n .
.
,
, .
,
.
125
.
, . ,
, ,
. , :
10, 9, (8, 7, 6), 5, (4, 3), 2, 1.
, .
. (i=3, i=4, i=5),
(8,7,6). (i=7, i=8),
(4 3). R Gi ( i )
:
i + ( k 1)
Rj
G
i
R =
j =i
(5.1.2)
j = i , a j + (k-1) i- ;
k .
(8+7+6)/3=7 (4+3)/2=3,5.
(5.1.1).
,
-
. .
:
Pi,j = 2, Ai>Aj ;
Pi,j = 0, Ai<Aj ;
(5.1.3)
Pi,j = 1, Ai=Aj ,
(n=4) i,j (i =1,..,n; j=1,..,n)
:
i A(i=1) A(i=2) A(i=3) A(i=4)
j
A(j=1)
1
2
0
0
A(j=2)
A(j=3)
A(j=4)
. 5.1.1.
, (5.1.3).
126
(5.1.3) 1. ,
.
. ,
,
, ,
(, ).
.
. ,
.
. ,
, .
,
. ,
, .
:
- ;
-
[01], , (i - ) ,
, :
F(Ai)=
R( Ai )
n
R( Ai)
(5.1.4)
i =1
Ri i- ; n .
- () (i=1)- (
)
. :
n
F(Ai) >
F ( Aj ) ,
(5.1.5)
j = i +1
, .
(5.1.5) , .
. (
), (
) . ,
(5.1.5), ,
(5.1.5). .5.1.1
.
127
BEGIN
i=1
j = i +1
i=i +1
Fi >
Fi ?
i < N?
i= j
END
Fi = Fi + F N
FN = 0
N=N-1
.5.1.1. - .
,
,
.
.
()
:
- ;
- ;
- .
,
, .
. ,
128
,
.
( )
:
- (
) ,
;
- ( )
,
;
- (, , ,
) , ;
-
;
- ,
.
, ,
.
,
. ,
, , ,
.
() .
, ,
.
, , ,
.
. ,
. ,
, , ,
. ,
, .
.
.
.
,
, , ,
, (
). ,
( ) .
, . ,
. ,
.
,
( ) .
.
,
129
,
,
. , ,
,
. , ,
.
,
() .
, ,
,
.
,
, .
.
, .
, , ,
, , . ,
, , ,
, .
, (
) ,
,
.
(, ,
), .
.
, ,
, ,
. , ,
, .
,
( ).
5.2. .
,
. , (
) ,
, ,
, .
.
.
130
( (i = 1,
2, , M.)) N Aj (j = 1, 2, ,N).
{Qj}.
(),
. ,
(k =
1, 2, ,K). k-
{Qj} Wk (k=1,,K).
Aj
St, (t = 1,,T), ,
Pt, ( t = 1,,T).
, ,
Ci, ( i = 1,,M ).
:
M
Ci = 1;
Wk = 1;
Pt = 1;
i =1
k =1
t =1
(5.2.1)
,
,
, ,
, .
,
.
,
i
k- ()Wk
{Qj}.
,
( ), .
,
. .
()
, .
.
( )
() .
. ( i = 1,,M ) ( j =
1,,N) ij ,
, .
, , , .
Xij
M
G (Aj) =
CiXij ,
(5.2.2)
i =1
i i- .
131
.
Xi j, ,
St (t = 1,,T).
(Xij) t
(5.2.3)
, ,
Pt (t = 1,,T)
i,
:
N
G (Aj,St) =
Ci Pt (Xij)
(5.2.4)
j =1
i =1
.
(Xij), ,
St (t=1,,T) k- () (k=1,,K).
(Xij) tk
(5.2.5)
, ,
() , ,
,
:
M
G(Aj,St,Qk) =
i =1
Ci Pt Wk (Xij)
tk
(5.2.6)
j =1
5.3.
.
,
,
() .
, ()
(),
.
,
.
132
Rj, (j=1,,N).
, , .
.
,
.
, ,
1.. () ,
.
v, j.
Zjv. Zjv
: j- (j=1,,N) ( ) v-
(v=1,,N), Zjv = 1,
Zjv = 0.
Rj(N) ,
. ,
.
Rj(N) = 5, 3.5, 3.5, 2, 1.
V
V=1
V=2
V=3
V=4
V=5
J=1
J=2
J=3
J=4
Ziv Zvi :
- Rj Rv , Zjv = 1;
- Rj > Rv , Zjv = 0.
.
,
,
.
iv
i- v-
(i=1,,M; v =1,,M).
N
iv =
ABS (Z
j =1
J=5
i
jv
Z ujv ) , (5.3.1)
v =1
- Z ijv - (j,v) i-
j- v- ;
- Z ujv - (j,v)- u-
j- v- .
, ,
,
, . ,
,
. .
Z MED
, :
jv
133
ABS (Z
i =1
j =1
i
jv
Z MED
)
jv
(5.3.2)
v =1
: - Z ijv - (j,v) i-
j- v- ;
- Z ujv - (j,v)- u-
j- v- ;
- Z MED
- - ,
jv
.
.
1. Z ijv ,
( 5.2),
,
. .
,
, , ,
.
( Ci), :
M
[
i =1
C
j =1
(5.3.3)
v =1
Z MED
,
jv
(5.3.3) :
Z MED
=1, D jv 12
jv
Z MED
=0, D jv <
jv
1
2
(5.3.4)
D jv = C i Z ijv
(5.3.5)
i =1
D jv
(Ci) ,
j- v-.
2. ,
( 5.2).
Z itjv .
, ,
Pt St (5.3.3) :
T
(5.3.6)
t =1 i =1 j =1 v =1
134
: Z MED
-
jv
, (5.3.6).
Z MED
:
jv
Z MED
=1, D jv 12
jv
D jv =
t =1
Z MED
=0, D jv <
jv
P C
t
1
2
(5.3.7)
Z itjv .
(5.3.8)
i =1
D jv Ci
, j- v-
Pt St (t=1,,T).
3.
( 5.2) ,
() Qk (k=1,,K) {Q}
. ,
,
K
MED
[ Pt C i Wk ABS ( Z itk
) ]MIN,
jv Z jv
(5.3.9)
k =1 t =1 i =1 j =1 v 1
: - Z itkjv - , i-
j- v- k-
t- ;
- Z MED
-
jv
, (5.3.9).
Z MED
:
jv
Z MED
=1, D jv 12
jv
Z MED
=0, D jv <
jv
1
2
(5.3.10)
D jv = Pt C i Wk Z itk
jv
(5.3.11)
k =1 t =1 i =1
- , j-
v- k- t-
.
5.4. ,
.
,
( )
.
. , ( 4)
. ,
,
.
. ()
135
() (, ,
.),
. ,
.
,
.
, ( )
,
.
.
( 4.3),
. ,
,
( )
.
.
. . -,
, - ,
. -,
,
.
. ,
:
- ( 0.80.9);
- ( );
- ( 100 150 ..).
:
:
- 0,8 0,85 0,9;
- , , ;
- 100 .. 125 .. 150 ..
333=27
,
, .
,
,
. (n) :
Ki
n=
(5.4.1)
k =1
: Dk k - ;
K , .
, {j}
(j=1,,N), , ( Zj )
, Aj ,
136
. (m)
:
N!
,
(5.4.2)
2!( N 2)!
: C N2 - N 2, ! - (
1 , !).
m = C N2 =
j Av, (j=1,,N; v=1,,N):
- Zj Zv (, , j ,
, Av, j v);
- Zj Zv (, , ,
- j Av ;
- Zj Zv (, , ,
- Aj Av
).
,
,
() ,
.
,
- .
,
.
,
.
,
.
, ,
.
. , ,
() NN ( N
). ,
.
.
, .
(
).
,
1,
1. , j ( j =1,,N )
j , :
N
= 1.
(5.4.3)
j =1
, ,
.
137
(NN) -
Aj Av, , ,
. .
:
- ;
- ;
- ;
- ;
- .
.
( -)
,
( , )
.
.
, .
.
,
( Zj Zv ) Aj Av,
(Xjv) :
Xjv =1, Zj Zv;
Xjv =0, Zv Zj ( jv);
Xjv = 12 , Zj Zv.
(5.4.4)
,
( Zj Zv ) Aj Av,
(Xjv) :
Xjv = 2, Zj Zv;
Xjv = 1, j = v;
(5.4.5)
Xjv =0, Zv Zj.
(Xjv)
.
(-) ,
( {Aj})
( ),
. T (t=1,,T),
, , (5.4.4),
:
T
(X
t
jv
+ X vjt ) = T;
t =1
T
t
jv
= 0 ( j = v);
t
jv
0,
(5.4.6)
t =1
T
X
t =1
: X tjv -
138
j - v - t - ;
X -
v - j - t - .
(-) ,
(Xjv )
(Zj Zv) ,
Xjv (Zj Zv)
, , -.
( (Xjv)
) j-
v- .
(Xjv Xvj) , :
Xjv Xvj = 1;
Xjv > 0;
(5.4.7)
Xjv = 1 j = v.
(-) ,
( ) (Xjv Xvj)
, , j-
v- .
, -
:
Xjv + Xvj = 0;
Xjv = Xvj = 0 , j = v.
(5.4.8)
t
vj
(-) ,
().
, j- v-.
,
. (Xjv Xvj)
, :
Xjv Xvj = 1, j v ;
0 Xjv 1;
(5.4.9)
Xjv = Xvj = 0, j = v.
(Xjv Xvj)
, ( .
.- .: , 1963). ,
-,
(Xjv Xvj), . 5.4.1.
Xjv, , 2,4,6 8.
,
.
.
1
3
j- v-
j-
5.4.1.
j-
139
5
7
9
j-
j-
j-
j- v-
j-
j-
,
,
.
. ,
. . 5.4.2.
.
-
-
-
-
-
4.5.2.
- - - - -
4.5.2 , ,
, . , -
(), , ( ).
,
.
5.5. .
,
.
,
,
, .
,
.
.
, (A 5 ,A 9 ) 5- ,
(A 5 ,A 15 ) 15- .
140
(A 9 , A 15 ), 9- .
, .
.
, ,
.
, . ,
,
.
.
, (
) ,
.
, ,
. ,
, ,
,
. ,
.
. .
,
- ( ,
(5.4.5)).
.
1. j-
N
S j = X jv .
v =1
2. S j ( ),
,
, .
3. :
- ,
, 0,
1, 2,
( );
- (.5.5.1. ),
, 0, 2,
. 5.5.1
,
. .
2
1
3
0
1
1
0
1
0
0
? ? ?
2
2
2
2
1
2
1
3
1
1
0
3
2
1
4
2
2
2
2
2
2
141
1
2
3
1
1
0
0
2
2
1
2
3
2
0
1
4
2
0
2
,
.
. 5.5.1. .
, , ,
, , (
) ,
.
,
, ,
.
,
.
.
, ,
.
.
:
- ;
- - -.
:
N
1. S j = X jv ;
v =1
2. ( j ) ;
3. N,
1.
,
,
..
, ,
5.1.
142
,
.
.
:
- ;
- - -.
:
N
1. S j = X jv ;
v =1
2. ( j ) ;.
3. N;
( ),
,
..
, ,
5.1
4. (N-1) 0. (N-1)=0,
, , . N
1 (N=N-1) . 3.
.
:
- ;
- -, - -.
,
.
,
. ( )
- -
, .
, .
:
1. .
, , -
.
2. W ( ) 1. W=1. ()
NN,
Aj , A W . X jv X Wjv .
N
3. S Wj = X Wjv .
v =1
4. N =
W
j
S Wj
W
j
j =1
5. : W = 1? , 6.
7.
143
6. W, 1(W = W + 1), W
5.
7.
. (, 2,
A W ),
A W +1 . .
- A W : X Wjv = X Wjv1 Wj 1 S Wj 1 .
8. W , 9, 3.
9. ABS( Wj - Wj 1 ) j=1,,N,
, 3.
.
1. ,
. ,
(
).
2. 7 .
, .
,
.
3.
( ) .
.
:
- ;
- -, - -
:
1. . .
2. W ( ) 1. W=1.
NN, Aj ,
A W . X jv X Wjv .
N
3. S Wj = X Wjv
v =1
N
LW =
W
j
j =1
4. Wj =
S Wj
.
LW
5. : W = 1? , 6.
7.
6. W, 1(W = W + 1), W
5.
7. ( )
.
(, 2, A W ),
A W +1 .
A W :
X Wjv = X Wjv1 L W 1 .
144
8. W , 9, 3.
9. ABS( Wj - Wj 1 ) j=1,,N, , Wj
,
.
3.
Wj .
.
, ,
, 1
.
.
.
,
.
,
.
,
,
. ,
,
.
5.6. .
,
, , .
,
.
-
145
, ,
,
. ,
,
, ,
.
,
.
.
,
,
.. , ,
, -
.
.
() ,
.
()
,
(),
. ,
,
.
( 5.1 ),
,
, ,
. ,
.
() . ( Ch.
Spearman) . (M. Kendall).
1904
- .
X Y
,
(X 1 ,Y 1 ),,(X i ,Y i ),,(X N ,Y N ).
iX (i=1,,N),
Y Yi (X i ,Y i ), i ,
( R S )
N
6 ( Pi X PiY ) 2
RS= 1 -
i =1
N ( N 2 1)
(5.6.1)
: - iX Yi - i-
;
- N X Y.
R S [-1, +1].
146
R S = +1, X Y
. R S = -1, X Y
.
.
, X Y
i (i=1,,N):
(X 1 ,Y 1 ),,(X i ,Y i ),,(X N ,Y N ).
, X Y,
{ iX , vX } { Yi , Yv } (i=1,,N-1; v=2,,N; i< v).
R K ,
,
, , .
R K
RK =
S
,
0,5 N ( N 1)
(5.6.2)
N 1 N
S =
iv
- D iv
i =1 v = i +1
(), X Y.
D iv :
D iv = 1 ( P iX > P vX P Yi > P Yv ) ( P iX < P vX P Yi < P Yv ),
D iv = -1 ( P iX > P vX P Yi < P Yv ) ( P iX < P vX P Yi > P Yv ) i < v;
(5.6.3)
( ,
,
) N
2,
N!
2N =
.
2 ( N 2)!
R K [-1, +1].
.
, ,
() N
.
,
N , 1
. ,
, .
,
147
R K R S , ,
.
, ( X Y),
, iX Yi .
. , ,
,
,
M!
. 2M =
2!( M 2)!
2, , .
(
) .
, X Y,
. D iv (i =
1,,N; v = 1,,N; i < v) (5.6.3).
, D iv = -1,
, X Y.
, S, (5.6.2)
D iv , (5.6.3), - ,
(+1), , (-1). T,
Q. S
(5.6.4),
(i v) (i < v)
.
1
S = T Q , T + Q = N ( N 1) .
2
(5.6.2)
T Q T Q +Q Q
2Q
4Q
RK =
=
= 1
= 1
.
(5.6.5)
T +Q
T +Q
0,5 N ( N 1)
N ( N 1)
, R K
.
(Q=0; )
R K = 1,
R K = -1.
N ( N 1)
Q Q = Q MAX =
,
2
R K
2Q
R K = 1(5.6.6)
.
QMAX
,
, , ,
. ,
, , , R K
.
148
R K ,
, . ,
,
. .
, .
{ iX } X
Z i (i = 1,,N), 1,
N, { iX }
{ Yi } ,
i- Y,
:
N 1
Z i ( Pi X PiY ) .
(5.6.7)
i =1
(i-) ( )
ABS ( Pi X PiY ) MAX = N - i. , ,
N 1
N 1
i =1
i =1
(5.6.6)
N 1
2 Z i ABS ( Pi X PiY )
R BK = 1
i =1
N 1
(5.6.8)
( N i)
i =1
,
, ,
. ,
1
i 1
, Z i = Z i = 1
.
i
N
Y ,
( i ), ,
.
X Y
R BK
. ( )
( ) . 5.6.1.
. 5.6.1., (5.6.8),
2 (1 2 + 0.5 0 + 0.33 2 + 0.25 1)
2.91
R BK = 1= 1= 1- 0.45 = 0.55.
(1 4 + 0.5 3 + 0.33 2 + 0.25 1)
6.41
,
? -,
. , . -,
1,
Y. ,
,
, .
149
A2
5.6.1
3
4 5
ABS( Pi X - PiY )
Zi
Pi X
Pi
(
) .
P iX P Yi ,
Y A i (i=1,,N).
, ,
(5.6.1).
,
, , R S = -1.
(5.6.1), ,
N
N3 N
X
Y 2
(
P
P
)
=
.
(5.6.9)
i
i
3
i =1
,
R S = 1,
N
(P
Pi Y ) 2 = 0.
i =1
, , Pi X = P Yi (i), -
.
(5.6.9) ,
, Y,
N
N3 N
(5.6.10)
.
[ ( Pi X PiY ) 2 ] max =
3
i =1
(5.6.1) .
. 5.6.1 Y
R S (5.6.1):
6 (4 + 0 + 4 + 1 + 1)
RS = 1
= 1 0,5 = 0,5.
125 5
Pi X
Pi
( Pi X - PiY )
A2
5.6.2
3 4 5
150
( Pi X - PiY ) 2
Y (.5.6.3),
.
5.6.3
1 A2 3 4 5
1
2
3
4
5
Pi X
PiY
( Pi X - PiY )
( Pi X - PiY ) 2
16
16
(N)
(5.6.10). ,
.
, (5.6.9) (5.6.10),
N
3 ( Pi X PiY ) 2
[R S ] MAX = 1 =
i =1
N3 N
(5.6.11)
R S , ,
(i-) (v-) ,
Z iv .
, , (
) D iv
. Z iv ( Pi X P Yv i < v)
Z iv = D iv ( Pi X - P Yv )
(5.6.12)
D iv = 1,
Pi X > P Yv
D iv = 0,
Pi X < P Yv .
(5.6.13)
N 1 N
V=
iv
(5.6.14)
i =1 v =i +1
C R S
12 V
R S = 1- 3
(5.6.15)
N N
N3 N
V=V MAX =
6
Y. R S
2 V
RS = 1 .
(5.6.16)
VMAX
151
,
,
.
,
,
.
, ,
, ,
.
,
T Q
RK =
,
(5.6.17)
[0,5 ( N 2 N ) X ] [0.5 ( N 2 N ) Y ]
X Y - ,
Y .
,
.
X
X = 0,5 t j (t j 1)
j =1
Y
Y = 0,5 q k ( q k 1) ,
(5.6.17)
k =1
: - X (j = 1,,X ) Y ( k = 1,,Y )
X Y , ;
- t j - j ;
- q k - k Y.
, X Y,
0,5 ( N 2 N ) = T + Q + X + Y - XY ,
XY - ,
( XY ,
).
T = 0,5 ( N 2 N ) Q ( X + Y - XY ).
R K
RK =
0,5 {N 2 N ) 2Q ( X + Y XY )
0. 5 ( N 2 N ) X 0. 5 ( N 2 N ) Y
(5.6.18)
,
,
.
152
( i ) A1 A2 A3
A4
A5 A6 A7
A8
A9
A10
RS=
1
(N 3 N ) X
6
1
(N 3 N ) 2 X
6
(5.6.19)
1 X 3
- X = (t j t j ) - ;
12 j =1
1 Y 3
(qk qk ) - Y.
12 k =1
- X (j = 1,,X ) Y ( k = 1,,Y )
X Y , ;
- t j - j ;
- Y =
- q k - k Y.
(5.6.19) ,
.
. X Y
.
Q
Y.
D iv , (5.6.3).
, , D iv
(D iv = 0).
. .5.6.4
Y (N=10) . (X=2)
: 3,5 3- 4- ,
8 7,8 9-. Y
(Y=2) : 4
(2,3 4-), 7,5 (7,8,9 10-).
. R S R K ,
, .
1 2
1
R S . X = (t 3j t j ) =
[(2 3 2) + (33 3) ] = 2,5 ;
12 j =1
12
Y =
1 2 3
1
(q k q k ) = [(33 3) + (4 3 4)] = 7;
12
12 k =1
(P
PiY ) 2 = 44,5.
1
(10 3 10) 2,5 7 44,5
6
RS=
= 0,714.
1
1
3
3
[ (10 10) 2 2,5] [ (10 10) 2 7]
6
6
X
i
3,5
3,5
5.6.4
8
8
10
153
Yi
10 7,5
7,5
7,5
7,5
Pi X - PiY
-1
-2
-0,5
-0,5
-4
0,5
0,5
0,5
2,5
( Pi X - PiY ) 2
0,25 0,25 16
16
,
,
Y.
D iv (5.6.3).
, , D iv -
,
Y .
, , ,
1 (D iv =1 i =
1,N-1; v = i+1,N). Y,
D iv ,
( Y) .
, ,
D iv 1. ,
Y ,
, 5.6.3 D iv
(-1).
. , 1 7
7, , 5.6.3, D 17
1. (
, ),
D 17 (-1).
,
, ( ).
- D iv 0,
( XY ) ,
.
.5.6.4
. 5.6.5.
5.6.5.
154
1 1 1 -1
0 0 -1
0 -1
-1
1
1
1
1
1
1
1
1
1
1
-1
1
1
1
1
1
-1
0
1
1
1
1
1
-1
0
0
1
1
1
1
1
-1
0
0
0
, D iv .
,
,
, ,
Y. , 5.6.4
5.6.3 ,
, (
), 5.6.6 ( ) 5.6.7 (
Y).
5.6.6
1 2 3.5
1
* 1 1
2
*
1
3.5 *
3.5 *
5
*
6
*
8
*
8
*
8
*
10 * * *
3.5
1
1
0
5
1
1
1
1
6
1
1
1
1
1
8
1
1
1
1
1
1
8
1
1
1
1
1
1
0
8
1
1
1
1
1
1
0
0
10
1
1
1
1
1
1
1
1
1
* * * * * *
5.6.7
2
4
4
4
1
10
7.5
7.5
7.5
7.5
2 4 4 4 1 10
* 1 1 1 -1 1
*
0 0 -1 1
*
0 -1 1
*
-1 1
*
1
*
*
*
*
* * * * * *
7.5
1
1
1
1
1
-1
7.5
1
1
1
1
1
-1
0
7.5
1
1
1
1
1
-1
0
0
7.5
1
1
1
1
1
-1
0
0
0
*
(.5.6.5) ,
5.6.3 ,
( i < v ).
(*). (
), 5.6.6 .
.
5.6.7.
, , Y,
, .
.
,
, (5.6.18). Q, X , Y , XY .
5.6.5.
155
, Q=8 - ()
Y () .
X = 0,5 (2 1 + 3 2) = 4.
Y = 0,5 (3 2 + 4 3) = 9.
XY = 4 ,
, ( 5.6.6 5.6.7
).
0,5 (100 10) 2 8 ( 4 + 9 4)
20
R K =
=
= 0,52.
[0,5 (100 10) 4] [0,5 (100 10) 9] 38,4
, ,
,
, .
,
,
.
156
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. ?
?
157
30.
.
31.
.
32. () ?
.
?
33. ?
.
?
34.
?
35. .
?
6. ,
6.1. .
.
,
,
,
.
1943 . . . ,
.
()
().
,
.
, ,
.
- ,
. ,
. ,
.
.
. ,
,
.
. , 1958
158
. ,
. ,
, .
70- ,
,
(, ). 1982 .
,
.
. ..
.
.
, ,
. (, , , , )
. , ,
( ) .
, .
(
, ..)
.
, , ,
.
, , ,
- .
, , , ,
, , ,
,
.
.
, ,
,
,
, .
,
,
.
, ,
.
, ,
,
.
.
159
, , :
.
( )
. -
, , , ,
, .
,
. , ,
,
. , ,
, ,
() .
,
. ,
,
.
,
: ?
-
,
, ?
- , (
,
,
),
. , ,
- .
,
(), . 1.6,
,
, , ,
, ,
.
()
.
, , ,
. - ,
, - .
,
() .
-,
.
, ,
, , -
, .
.
,
160
, . ,
, ,
.
. ,
, .
. ( )
, ,
,
. ,
, , ,
, .
.
,
.
, ,
,
( ) - .
.
,
, .
(. 6.1.1) ()
. , , -
. ,
(), .
.
- ( ),
.
,
. .
,
( ),
, , ,
.
, ,
,
.
,
(), (
) ,
.
161
B
C
. 6.1.1 .
, . ,
.
,
.
,
. , ,
, ,
. .6.1.1
.
,
D C D,
- .
(
)
,
.
. ,
,
.
.
. , , ,
()
(
) .
, , ,
162
,
, .
, , .
, ,
, . ,
, .
. ,
. ,
.
,
, .
. ,
,
.
().
, ,
, . , , ,
. ,
.
.
, ,
, , ,
- , .
. :
-
.
, ,
, .
( ), ,
.
()
S ,
,
S.
, S ,
.
S.
.
, ,
,
,
163
, ( )
.
, . . .
, -, .
, ,
, , ,
.
, .
, .
,
.
, , ,
. ,
.
.
.
.
,
.
.
.
, - ,
()
, -
.
, (),
()
.
,
.
, . ,
.
- , .
(. 6.1.2)
() (S-),
. S-
(-), ,
S-, -.
- (R-) ,
( v )
. R-
164
,
.
S-
A-
R-
v A-R
. 6.1.2 .
,
R-,
. , , , (n)
, R- (n-1),
A-:
n
R j = j + vi j xi ,
(6.1.1)
i =1
Rj j- R-;
xi i- A-;
vij i- A- j- R
R ;
j j- R- .
, .
.
(6.1.1)
( ) .
i- A-:
S
xi = i + y ki ,
(6.1.2)
k =1
165
y ki - c, k- S- i- -.
y ki ,
: 0 1. S- -
, , -
S-.
, , R, V1 V2. (R1)
V1, (R2) V2.
( V1
V2), R1 R2,
V1, , V2.
R. , .
V1 , , R-,
V2 ( ).
,
,
V1 V2. vi -.
, ,
( ).
, -, R-,
, , -
. -,
.
, .
( ) .
,
S- A- A- R, -.
,
. , .
1 ,
-,
(6.1.1).
n
R j = j + vi j xi
i =1
2 ,
-,
(6.1.1), .
. ,
.
-
- S-.
,
- .
,
, ,
, , .
166
, -
. ,
,
.
6.2. ,
.
1986 .
,
.
,
.
, (),
().
(w),
, , . ,
,
() .
,
( , , ,
..) (1 0).
,
= F(d) ,
.6.2.1.
y=F(d)=1/(1+e d )
N
d=
Xi
i =1
. 6.2.1 .
= F(d).
i, .
, i,
Wi.
. ,
() ()
. ,
.
, i ()
Wi. ,
167
,
. ,
. , (
) ,
F(d),
, , ,
.
F(d) , , .
: , S-,
( ) .
.
,
(, ),
. , ,
.
F(d) = d . ,
.
.
S- .
F(d) = 1/(1+ e d )
. , , ,
() . (
) ,
, 1.
.
S-
. ,
,
.
.6.2.2.
F (d )
a)
F (d )
F (d )
.6.2.2. :
; - ; S- ( ).
168
( ), (
), .
, -.
- ,
( ) . ,
, .
,
,
. ,
, ( ) . ,
, ( ) .
. ,
,
( )
(). ,
,
, , .
,
,
.
. ,
.
. ,
( )
.
, ,
. , ,
.
, , , . ,
.
.
, ,
. .
, (
).
,
, . ,
, .
, .
.
, , ,
.
,
, , .
.
,
.
, , :
169
Kn
1 N 1 M j
E ( w) = ( y nj , p d nj , p ) 2
2 n =1 j =1 p =1
(6.2.1)
y nj, p j- n-
,
p- ;
n
d j , p ( )
;
n - n- ( );
K nj - , j- n- ;
(N-1) - () .
. ,
, ,
.
.
, ,
:
1.
, ,
:
M n 1
( n)
j
( n 1)
i
wij( n )
(6.2.2)
i =1
M n 1 n-1.
2. s (jN ) (N)
( N). , (N)
, .
3. ,
, 4.
4. (N)
() , (N-1)-
.
5. 1 3.
,
.
.
, [0,1]
[-0.5,+0.5], S , ( .6.2.2-),
170
f ( x ) = 0.5 +
1
1 + e d
(6.2.3)
, ,
, . ,
, . ,
- , Cd
:
Nw/Ny<Cd<Nw/Nylog(Nw/Ny)
(6.2.4)
: Nw , ;
Ny .
, :
- Nx -
Nh
Nx+Nh>Ny;
- Nw/Ny>1000.
. ,
(6.1.4), .
,
, Nx .
, ,
. ,
, . ,
, . ,
. ,
,
.
,
. , , ,
. 1 0
. 22 = 4
.
, ,
.
.
. ,
,
, : ,
.
,
( ) .
.
, .
-, ,
(
171
S- ).
,
.
-,
.
, ,
, E(w).
,
( ),
() . ,
,
()
. ,
(N), ( , ),
,
.
, ,
(N),
() .
.
() ,
,
.
,
, (
), .
,
. , ,
.
,
, .
, :
? ,
, , . ,
, ,
. , ,
, ,
. ,
, - .
,
, , ).
,
, . ,
, .
.
. ,
172
, . ,
,
,
.
,
.
, , ,
,
() .
()
.
.
.
( )
.
, ,
, :
wij (t ) = wij (t 1) + yi( n1) y (j n ) .
(6.2.5)
: - y i( n 1) y nj i- j- (n-1)- (n)-
;
- w ij (t) w ij (t-1) - ,
i- (n-1) j (n) (t) (t-1)
;
- , .
(n) () ( 1 n N1), N .
( ).
.
, , :
wij (t ) = wij ( t 1) + yi( n1) (t ) yi( n1) ( t 1) y (j n ) ( t ) y (j n ) ( t 1) .
][
(6.2.6)
, (6.2.6), , c
. (6.2.5)
,
.
.
1.
.
2. , ,
,
. , ,
(i-) (n-) ( ,
) ,
173
() ,
y i(n ) .
( ) .
3. (1)
(2)
.
4. 2, ,
(
).
,
, . ,
,
.
,
. , ,
, ,
. .
,
, . ,
. , ,
,
, .
.
, ,
-,
.
, .
()
,
.
, ,
:
(n-) . S-
,
.
,
. , ,
, .
( )
.
, ( )
- .
.
- ,
, ,
.
, (n)
(6.2.7), ,
. , , (
) .
,
.
, , .
-
.
. ,
,
, ,
.
,
.
.6.2.3 .
, , .
,
, . ,
, .
175
. 6.2.3. .
, ( ,
,
), .
(, , ,
),
. ,
, ( ) (
) ,
. ,
{}= x 1 , ,x i ,,x N , N
{Y} . x i (+1), (-1).
, k- , {X K }.
x 1k ,,x ik ,,x kN , k = 1,,M ( ,
). -
, N- ,
() k- , ,
{Y K }{X K }. , -
,
.
, ,
.
:
w ij =
k
i
x kj i j
w ij = 0 i = j ,
176
i j , ,
();
x ik x kj - i- j- {X K }.
, .
1. {}.
(i-x) :
y i (p = 0) = x i , i = 1,,N.
.6.2.3 ( )
. y i = 0
.
2. (
(+1) ) s j (p+1),
, (
) - y j (+1) (
):
N
s j (p+1) =
ij
y i ( p)
i =1
3. , .
2, ( )
.
( ,
),
.
,
, .
. , ()
:
0,15N
, ,
, , ,
.
(
) , (. 6.2.4).
177
. 6.2.4. .
,
. -
. ,
, , .
( )
. , ,
,
.
. (m) ,
m . (n)
( ),
, (n). (n)
, ,
. (k-)
() (n) ,
(1 0) (n) . ()
.
() (-) .
( ) .
(k) ,
(k-) .
.
().
(+1)
. .6.2.4
. ,
, ()
() ( )
. (
w) , .
178
, .
: {X}
, (k-) .
, .
,
(k) , .
, , ,
.
k (k-) -
:
x
wik = i ;
Tk = n / 2.
2
x i ( i- ) {X} ;
n - ( i = 1,,n);
( k ).
,
, .
.6.2.2- .
()
0 < < 1/,
.
() () w k = +1.
.
1. X = {xi: i = 1,,n}.
(k-)
,
(n) {X} (
):
n
- ;
s k - (k-) ;
w ik - (i-) {X}
(k-)
.
:
y k(1) ( =0) = y k( 2) (=0).
2. (p+1) .
:
179
s (j2) ( p + 1) = y j ( p ) y k( 2) ( p ),
( k j )
k =1
():
- , .6.2.2-.
( ).
,
: ( 1)
, ,
(, ).
. ,
,
. ,
.
, .
, ,
, .
. ,
,
.
.
.
,
, ,
- .
,
,
.
180
6.3. .
,
. , ,
(
) .
,
, .
,
, , . -
, ,
.
,
, .
181
.
,
. , , Hitachi, Micro Devices, Texas Instruments,
Adaptie Solutions . , ,
, . ,
,
,
.
CSS (California Scientific Software) BrainMaker.
,
( , , .),
,
, .
BrainMaker,
MS DOS MS Windows. CSS
,
. ,
.
Ward Systems Group
NeuroDimension.
NeuroShell,
. ,
NeuroShell,
Shell Petroleum,
2003 , 1,8%.
- NeuroSolutions (
NeuroDimension Inc.),
.
.
-
.
.
. , , ,
.
(), ,
.
. , ,
, ,
,
,
.
,
, :
- , ,
,
;
182
- , (,
.) ,
.
,
, ,
.
,
,
.
-,
, .
,
() . ,
,
.
-, ,
.
, ,
,
.
-, , ,
. 1995
,
(22).
, ,
,
.
. , ,
.
. ,
.
- ,
, .
:
- ;
- ( ,
);
- ,
;
- ,
183
.
,
? ,
( .., ..
. .: , 1997. -12.
, . 17.07.97 . 2434-97) ,
,
.
, . ,
.
, .
.
:
- ( ,
);
- (
, );
- -
;
-
.
.
.
, ,
,
,
, .
,
- - .
.
, .
184
1.
()?
2. ?
..
3. ,
().
4. ?
?
5. .
?
6. ?
7. ()?
?
8. ?
9. ?
10. ,
? ?
11. ?
. ?
12. ?
13. .
?
14. ?
15. , ?
. ?
16. ?
?
? .
17. ?
18. .
?
19. .
?
20.
?
21.
.
?
22. ? ?
23. ,
?
24.
?
.
185
25. ?
?
26. .
27. ?
?
28. , (
).
29.
. ?
30. ?
.
31.
?
32.
?
33. ,
?
?
34. .
?
35.
?
7. ,
7.1. .
, 80 .
,
, ? ,
, -
, , .
, ,
,
.
, , -
,
. , ,
(Computer machinery and intelligence),
, , 2000
. , , ,
, ,
, , ,
.
186
.
. ,
-
.
.
,
.
- .
.
( Speigel Inc.,
Neural-Ware Corp., $1
). Promised Land Tech.
, .
.
, ,
. ,
, . -
- - Chemical Bank,
Citibank, JP Morgan.
(, ),
.
- Optical
Character Recognition (OCR), .
"" ,
.
, -
,
. ,
.
.
, ,
.
, ( )
, ,
. .
MICIN - , .
-
. ,
. ,
500 .
PUFF - .
MICIN,
.
DENDRAL -
, - -.
PROSPECTOR - ,
.
188
, ,
.
DEC ( Compaq)
$70 XCON/XSEL,
VAX.
30% 1%.
, ,
.
,
:
. ,
.
.
.
.
.
( ),
() ().
,
.
,
,
. ,
. ,
,
(. ). ,
,
.
,
, ,
, , ,
.
, ,
-
, .
: ,
. - .
, ,
. , , . iRobot Corporation
,
Robot-LE. ,
, -. Internet.
. ,
189
, ,
,
,
.
90-
2050 ,
. ? -, -
, ,
100 .
, (, ,
) . ,
. , , , ,
. ,
.
(
)
,
.
,
. , ,
. ,
, -
, ,
.
(
) .
, , ,
. . ,
, ,
, . ,
. -
,
. , -
() ,
.
-
.
. , ,
, - Internet.
-
SQL- .
Symantec - Q&A.
:
,
, .
, .
190
, ,
(Natural Language Text Retrieval
and Contents Scanning Systems). ,
() .
,
. , ,
.
(Large-Vocabulary Talkwriter),
, .
,
(Voice Input and Control Products and Data Collection Systems).
,
- . Large-Vocabulary Talkwriter, ,
50 , , ,
, .
,
.
, .
,
, . ,
.
90-
,
.
RETRANS, .
.. .
, (2), ..
( 7.5.5).
. - ,
,
, , , ( )
( ). ,
, ,
- .
191
7.2. .
.
, tchn
- , , .
,
.
.
( ,
) .
,
( ,
) .
, ,
, , (
-) .
. ,
.
:
- ;
- () ;
- ;
- ( ).
:
- ;
- (
)
;
- ;
- (
).
192
:
-
,
.
( ),
()
.
,
, , ,
.
.
,
( ),
:
- ()
( , ,
);
-
(
, , - );
- , ,
() ,
;
- (
,
,
)
-
;
-
( );
-
( , , .),
.
,
.
193
7.3.
, ,
.
,
, .
,
, .
- , ,
,
.
(,
). .
(). , ,
,
.
( ).
-
(, 0-9 ).
,
: , ,
, .
,
.
, - (, , )
.
,
,
. , , ,
.
. , ,
, ,
.
,
194
. ,
.
:
- ,
,
;
(
);
- ,
.
, , ,
(m) () (n)
.
,
, , .
,
,
.
.
()
.
( ) ,
.
:
- ,
;
- ()
;
-
.
,
.
, ,
, .
( ) ,
( ). ,
:
- ;
-
;
- ,
.
, ,
.
195
. () ,
.
,
-. -
,
. ,
,
, , -
,
. -
.
,
. ,
()
.
. ,
, ,
-, .
(
),
( , , )
-, .
. ,
,
.
. ,
, .
, .
.
196
7.4.
.
()
.
, .
. .
,
, ,
,
. , ,
, .
,
.
( ).
( )
.
, , .
,
, ( ,
, .)
. ()
: ,
, , .
, , ,
, ,
().
. .
. ,
, .
, ,
, , .
, ,
197
, . ,
:
.
.
,
.
, , ,
(),
().
.
()
- (Knowledge Management).
()
.
:
- ;
- Internet ( ),
,
;
- ;
- Internet;
- .
, .
,
- ,
, ,
.
:
- , ;
- (
) ;
-
(
);
- (
);
-
( ).
(
) :
; () ;
.
, . , ,
SHOE. ,
Internet-, ,
198
.
:
- ;
- .
: ,
, ,
.
:
( ),
, ,
.
,
- , . ,
, ()
,
.
OMIS (Organisational Memory Information Systems). ,
(, , , , ,
..), ,
, .
( )
, -.
() ,
, , ,
. ,
( ), ().
Internet.
,
,
:
- ,
,
( , );
- ( ) ,
,
.
80- (13).
( )
. ,
, , ,
.
:
- ();
- ;
- ( ).
199
,
.
, , - , (), , ,
, , , , , .
,
() .
,
.
.
,
. ,
(
) , ( )
( ).
,
. ,
,
, .
.
()
( ),
, . ,
,
( , ,
).
,
.
( , ,
)
:
- ;
- HTML- ;
- XML- .
.
( ).
, ,
( )
, . ,
-, KIF.
HTML - ,
Internet . 60%
HTML
.
HTML .
,
,
.
200
HTML- - Web ,
Internet.
XML , HTML , .
,
Internet
. , XML
.
.
,
.7.4.1.
.
.7.4.1. XML.
,
.
,
. ,
Computer Aided
Software Engineering ( ). CASE :
- se-Tool Kits;
- Case-Work Benches.
,
, ,
.
:
-
;
201
- ,
;
- ( ),
,
, .
. 80-
.
-,
.
, ,
.
(, ).
, KRL
FRL. (
Case-Tool Kits) OPS.5 (Official Production Systems),
, -
.
.
() : EXYS, GURU, ART,
KEE, J2. R, ,
- ,
, , - .
J2
, ,
( ).
Work Bench
,
.
Work Bench :
- ()
;
-
;
-
, ;
- ()
, , ,
.
7.5. ,
202
, ( 7.2)
.
. ,
,
, ,
, .
1.5 ( 1)
, :
-
;
-
;
- ,
;
,
.
.
7.5.1. .
, ,
.
.
,
,
() .
.
, ( )
,
.
. , ,
, , .
Ni
, ,
,
. Ni .
, , (
- m) . ,
(m 1000) ,
. ,
, , ,
. ,
, ,
,
.
203
. (m = 1000),
150 195 .,
(, ).
, ()
150 172 ., - 170-182 .
- 180-195 . ,
200, 700 200 . , ,
,
, , .
,
( - )
. .
,
, , ,
.
.
, , ,
:
.
() ,
10 7 .
, ,
.
7.5.2. .
1.5 ( 1),
,
.
,
, , ,
. ,
,
.
, .
, ,
. ,
, ,
, , - . ,
, ,
.
,
, :
204
- (
) (
, );
- ,
(
, ,
).
,
.
, :
, - ,
, , .
(
). , ,
, .
.
() ,
( ,
, -
).
.
()
.
.
.
,
( ).
, .
, .
, .
,
.
, , . 7.5.2..
.
, .
.
205
S4
S2
S
.7.5.2. :
- ( )
;
- ( )
() ,
.
.
= f(x1,x2,x3,,xm),
f - (, n- ),
.
, (),
(y). (z)
..:
1- : y1= f(x1x2), y2= f(x1x3),..., ys= f(xm-1xm),
2- : z1= f(y1y2), z2= f(y1y2),..., zp= f(ys-1ys), c
, s = c2, p = cs2 ..
,
(
),
.
.
( ) .
, .
, , "", .
206
, , (
) .
. .
1. () N
. .
2. ( ) 1.
3.
N 2
.
(-
) C .
4. C .
, (N=M =+1)
5 1 (
).
5. , ( = C ) 3 (
), , ,
C , .
, ()
.
,
.
,
, .
,
:
f(x 1 , x 2 ,, x N ),
i ,
, N- ,
.
, -
()
. .
.
.
,
, . ()
.
.
,
() .
, .
,
. ,
.
( )
()
.
207
,
,
.
. (
) ()
. .
, ()
.
(
)
.
.
()
.
( )
.
,
:
- ;
- ;
- .
, .
,
, 0 1 .
.
, .
.
. ,
.
:
110010101011
101010011111
101010101011
110010011111
(
). ,
- ,
, .
111001010101
111001010100
( ).
.
110010101011
100110101011
,
, , .
1. - N.
N . :
( i , i =1,,N) ; F({x i })
[0,R].
:
.
208
: ,
,
z - ( , )
- 2 z R.
2. =1 ( ).
3. ( N
) ().
, , ,
, ( )
( ). , ,
, ( i j ).
4. - .
(i,j).
F ( xi )
pi = N
F ( xi )
i =1
, , ,
- ; ( i )
( i).
5. - ,
( j ), ()
( j ) ( j ).
6. - ( j ) ,
( ).
7. -
.
8. ()
, ,
= + 1 3.
() { i }: F({ i }) =
(2x i +1),
i =1
N ,
(N=4) .
[0,14]. , (z)
( 2 z 15 ) , , -
14 (1 1 1 0).
, : 0101, 1010, 1101,
0011. : 5, 6, 9, 3. ,
.
, (.7.5.2-1).
7.5.2-1
F(x i ) =
()
F
(
x
)
i
2x i + 1
N
(i)
F ( xi )
i =1
0101
11
0,22
0,22*N=0,88
1
209
2
3
4
0110
6
13
0,26
0,26*N=1,04
1
1001
9
19
0,38
0,54*N=1,52
2
0011
3
7
0,14
0,14*N=0,56
1
: 50
1,0
4,0
5
: 12.5
0,25
1,0
1.25
: 19
0,38
1,52
2
,
( ). ,
- (
), 0, .
-
, .
, (N=4) (
, N).
,
, , ,
( 6 7).
3
. . ,
()
3- ,
(,
).
.
7.5.2-2
(i=3; j=2)
1
3-1
1 0. 0 1
2
1010
10
2
0 1. 1 0
0101
5
2
3-2
1. 0 0 1
1
1110
14
32
0. 1 1 0
0001
1
4
3-4
1 0. 0 1
2
1011
11
26
0 0. 1 1
0001
1
5
21
0 1 1. 0
3
0111
7
24
0 1 0. 1
0100
4
6
24
0 1 1. 0
3
0111
7
20
0 0 1. 1
0010
2
7
1-4
0 1. 0 1
2
0111
7
18
0 0. 1 1
0001
1
. 1 N1 ,
. ,
, 1, ,
2.
. .
, ,
. ( )
. ,
210
(1-6) (2-7).
7.5.2-3.
7.5.2-3
1010
(10)=21 1 0 1 0
10
(10)= 21
(1-6)
0101
(5)= 11 1 1 0 1
13
(13)= 27
0111
(7)= 15 0 1 1 1
7
(7)= 15
0010
(2)= 5 0 0 1 0
2
(2)= 5
14
1110
(14)=29 1 1 1 0
(14)= 29
0001
(1)= 3 1 0 0 1
9
(9)= 19
(2-7)
0111
(7)= 15 0 1 1 1
7
(7)= 15
0001
(1)= 3 0 0 0 1
1
(1)= 3
,
(1-6), (2-7)
, . ,
(1-6). ,
7, ,
. . ,
(
(53-50) = 3, (68-66) = 20. ,
.
,
. ,
(
) . ,
, ,
(
- ). ,
,
(
, ).
, (,
, ).
, ,
, ,
.
,
()
. ,
.
.
, , .
.
:
211
-
( ) (
);
- , ,
(,
( ),
( 0,001).
, ,
, ,
.
EnGENEer. Game,
.
(. Web-c).
7.5.3. .
.
. , ,
( ),
, , .
, ,
.
(,
- ,
,
, ""
.
, , . ,
"" .
, .
"" "" , , , ,
, .
""
( )
(), "" ,
, , , .
, ,
,
.
, ,
.
. , - .
- -
, ,
212
,
.
,
" ". ,
,
, .
,
. ,
, . . , .
,
,
, . ,
(, , ) (
10*10).
, .
, .
,
, , ,
, , , .
, .
.
, .
, ,
( ) .
, ,
, ,
, . ,
, . , (
,
) , ,
, .
1-2 .
, , , .
.
( ) , .
, ,
. ,
, .
, ,
. , ,
. ,
, , , ,
.
, . ,
(, ,
..),
213
.
( ) .
.
,
. .
. , ,
. ,
, ,
. ,
, , " "
, .
, ,
, 200
, , , .
,
,
. (
) , , .
,
.
, , , .
,
. , (
, , ,
) ,
.
, ,
. ,
, . ,
, ,
,
.
, . ,
.
. (18) ,
, ,
:
- ,
;
-
.
()
. -
( )
.
.
,
.
214
,
,
.
,
. , -
- ,
.
,
.
, . ,
, , ,
,
.
,
. (28,29)
, ,
.
, , .
(17) (22) ,
. ,
,
, .
.
1. .
. , ,
.
2. , .
.
3. ,
.
4. ,
,
.
, , .
7.5.4 .
70-
().
.
215
(),
.
, ,
,
Internet,
.
.
,
, ,
.
,
, , ,
, . ,
.
() ( ), , ,
,
( ) .
, , , ,
. ,
( )
.
-
, , ,
..
, ,
. ,
.
:
- ,
;
- ( )
(
);
- ( ) ;
- , (
) (),
;
- ( -
,
,
);
- (,
, ,
216
, ,
);
- (
, );
- () (
);
-
(, ,
,
);
- (
).
,
,
, .
.
:
- , ;
- , ;
- ,
.
, ,
( ). ,
, ,
.
,
, , .
, ,
.
,
,
.
.
, ,
, ,
() .
. ,
,
.
,
.
(
), .
. ,
,
( )
,
217
Internet, :
- ;
- - ;
- ;
- , .
,
:
- - ( ,
);
- - (
, ).
, .
, ,
.
,
, ,
,
() .
.
, :
- , ()
, ;
- , ,
;
- (, ), ;
- , ;
- , ;
- , .
:
- ();
- ();
- ().
, ,
.
- (. 4.1 4.2).
.
,
.
, , ()
, .
. ,
,
218
,
.
.
,
,
.
, ,
:
-
;
- ;
-
.
, ,
, .
.
:
- -
;
-
;
- ,
;
- ,
.
,
.
(, ).
( , ).
,
,
( )
. ,
,
()
, .
: (),
, , ,
.
,
,
.
,
.
,
.
219
.
,
,
,
() .
,
:
- ( , );
- ( , );
- ( , );
- ( , ).
, , ,
, , ,
, ,
( ,
).
.
, ,
, .
:
- ( ,
);
- ( , ,
, , ..);
- (
, );
- ( );
- ( ,
).
.. (16)
. ,
,
. :
;
- () ;
- , ,
.
, , ,
, .
, ,
, ,
. ,
. ,
. .
. , 4,
.
220
, ,
,
() (
) : , .
.
,
.
, ,
.
. ,
(,
; , ) ,
, ( )
.
BDI (Belief-Desire-Intention).
,
, .
,
,
.
, .
,
, ,
( -
), .
-
. , .. (16),
, :
-
;
- , (,
) , ;
- ()
;
- ;
- .
7.5.5. .
,
, .
() :
- ( ,
(),
);
- (
).
221
( 1.8)
( 2.7),
,
-
() . .. (2)
:
- ;
- ;
- -;
- ;
- -
.
, ,
.
, ,
.
.
. ,
-
, .
,
, 1954 . (.
, ). ..,
.., .., .., .., ..
,
.
. ,
.
, ,
..
. ,
, ..
1993 .
RETRANS, ()
. .. 1974
28.
() , -
, .
, ,
. ,
.
1984 . ()
. (30) ,
. . example based translation (,
222
), , - ,
(rule based translation). . ,
, ,
(translation memory).
,
. ,
.
, .
.
, RETRANS
.
. ,
.
,
.
()
( 2 17 1
) ()
.
, .
RETRANS
(). .
, ,
, ,
, -, , , - -.
()
RETRANS
. ,
, .
RETRANS ..
, .
, , , ,
. ,
.
, RETRANS
1993 . ,
, . 1998 .
MS DOS, 2000 .
Windows 9x/NT UNIX. ( 2001 .)
MS Word ( ),
Web- MS Internet Explorer Windows-,
(Clipboard).
.
223
,
Word, .
, .
Internet
, . Web, .
MS Notepad, MS Wordpad, MS Paint .
- -
, , , ,
( ,
).
, ,
, .
, .
4-
, 80% 17 .
400 .
RETRANS
. ,
,
,
,
. (
) , .
.
RETRANS
. ,
.
. (
) .
. -
.
. ,
.
7.5.6.
.
2003 ,
.
.
(11,12):
- ;
- .
: , ,
. 10-12 2003
224
,
,
, ,
, ,
.
(), -,
.
.
, .
.
.
,
( )
, .
,
.
.
, ,
. ,
( , )
.
( )
. ,
.
.
.. ,
. ( . )
,
. (
) ,
( ),
.
.
( )
. . ,
,
.
, ,
.. (2), ,
.
.
, , , .
225
,
. ,
.
. , , ,
() .
( ) ,
.
.
, (
) .
.
.
( )
,
.
.
,
.
.
, .
:
.
,
(rule based approach),
(example based approach).
, .
226
1. -
()?
?
2. ,
,
?
3. ()
?
4. , ?
5. ,
? ,
?
6. ?
?
7. , ()
? ?
8.
?
9. ()?
10. ?
11.
()?
?
12. ?
13. ?
14. ?
15. ? ,
?
227
16. , () ?
?
17. .
18.
()? ?
19.
?
20. .
21. ?
?
22.
?
23.
L L Internet?
24.
? Case-Tool Kits
Case Book Benches?
25. ,
?
26.
?
27. , .
28.
.
.
29. ?
?
?
30. .
?
31. ,
.
32.
?
33.
()?
34. ,
?
35. ?
?
36. .
()?
37. .
.
38. -?
-?
39. ?
.
228
40. ,
Internet?
?
41. .
?
42.
(). ?
43.
()?
44. .
?
. ? ()
() ().
45. ?
46. ?
47. ?
48.
()?
49.
?
?
50. ?
?
51. , ,
RETRANS.
?
52.
?
?
53.
, ?
:
1. .., .. .
. - .: , 2004.-424.
2. .., .., .. .
. . .: -, 2003. 270 .
3. . / . .: ,
2001 624 .
4. .., ..
; ; : , 2005.- 246.
:
1. . . .
. 2. .: , 1978.
2. .., .., ..
. .: , 2004. - 248.
3. . ( . ), .:
, 1977.-. 31-269.
229
230
1934 . 1952 .
, ,
. ...
1957 . 1958 1982 . 1966 .
,
1966 1982 - - ,
(). 1974
. (1975 .)
.
1982 . 1983 . 2006 .
()
, ,
. 1990 . 1998 . -
, 1992 .
.
- -
, : ,
( , . .
, .:1967; , . / 01168, . 18108, .: 1971;
, . / 01168, . 18793, .: 1972;
-397, . .., , .: 1982;
, , .: 1988), (
, . , .:1988),
.
( ,
, ,
) 18 .
.
231
232