Вы находитесь на странице: 1из 197

..

:

,
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

(rule based artificial intelligence). ,


,
.
,
, , , .
, NASA
,
, -
. General Dynamics
.
, ,
- . , , ,
() .
.

.

, ,
,
(), .
() , ,
, .
.
,
. , ,
.
,
,
,
.
. , , ,
.
, ,
, .
,

.
, .
,
. , , ,
:
?
,
.
, . ,
(, )
, .
,
, , .

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

: N, F(N)=F 1 ,..,F i ,..,F N

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

ABS (Z ijv Z MED


) ]MIN
jv

(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

[ Pt Ci ABS ( Z itjv - Z MED


)]MIN
jv

(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

Q = Z i ABS ( Pi X PiY ) , Q MAX = Z i ( N i ) .

(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

1.00 0.50 0.33 0.25 0.20

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

0,25 0,25 0,25 6,25

,
,
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, ,


(
).
,
, . ,
,
.
,
. , ,
, ,
. .
,
, . ,

. , ,
,
, .

.
, ,
-,
.
, .
()

,
.
, ,
:

wij (t ) = wij (t 1) + MIN (n){ y i( n1) wij (t 1) } .


(6.2.7)

(6.2.7) , (6.2.5), (6.2.6).


, ,
, , ,
3 .
,
, ,
. ,
.
( )
174

(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

y j (p+1) = f [ s j ( p + 1)] , f (.6.2.2 -).

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

y k(1) ( p = 0) = f ( s k(1) ( p = 0)) = f ( wik xi + Tk ) ,


i =1

- ;
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

():

y (j2) ( p + 1) = f s (j2 ) ( p + 1) , j = 0...m 1


3. ,
. , - .
:

- , .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

8 14 2000 Web- BBC on-line,


.
,
, , ,
. ( )
.
, (. 4.5) ,

,
. , , ,
- ,
. ,
,
,
.
, , ,
.
80-
, ,
. (2,16,17,18
.) , ,
,
.
.
.
- ,
,
,
, .

().
(), -,

. , .
,
, .
-
:
- ,
,
;
- -
,
- .
, , ,
.
,
(IBM, ATT, Texas Instruments, Nippon Electric, Fujitsu,
Tomson .).
.
.
187


.

. ,
-
.

.
,
.
- .
.
( 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

4. .., .. . ..: 1984.


5. . . .: , 1979.
6. .., .. . .-, , 2003.
7. .. : . .:
, 1989.
8. . .
- , ., 2000.
9. .. . ;
: , 2004.- 168.
.
11.
WSIS-03/GENEVA/DOC/4-E., 12 2002.
12. .
WSIS-03/GENEVA/DOC/5-E., 12 2002.
13. . 18
.( . ..). .: , 1984.- 261.
14. .. ( ). .:
, 1980. 168.
15. .., .., .-, .
.., .-, .
. www.shiiran.ru.
16. .. .//
.- 1998.- 1.
17. .. (
).- .: , , 2004. 512.
18. .. . . .:,
, 1986.
19. ., .
. . . / ... .:
, 1990.- 330.
20. . / ..
. .: , 1996. -194.
21. .. /
. .: , , - .: 1996. 166.
22. . / .., ..-, .. .
: , , 1998. 234.
23. .. .. . .:
, 2001. 384.
24. .. . .:
, 2004. 320.
25. .. . -.: , 1988.232.
26. / . .
.., -.: , 1983. -416.
27. Nagao M. A framework of a mechanical translation between Japanese and English by
analogy principle, in Artificial and Human Intelligence, ed. A.Elithorn and R.Banerji. p. 173180, North Holland, 1984.

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

Оценить