. , , ,

,,,

.

. .

. :

1)      . , . , , , , , .

2)      .

3)      , , .

4)      . .

, :

1) . , 堠 . , , . ( ) .

2)      - ( ). .

3)      . :

-         

-          .

4)      . , , , .

5)      . .

6)      . .

C .

, , , . , . SPRUT.

, , SPRUT. SIGI. . . . :

1)      ( , , )

2)      -

3)     

4)      SIGI SPRUT

5)     

6)      ( , , , , )

7)      : DXF, DOC, DAT.

.

1)      ( , )

2)      ( , , )

3)      .

.

:

. , : . , . . - . , . . , , , . , , . .

.

:

, - ( )

, , . .

. . - . - .

, . .

- . ,

1)     

2)     

3)      .

.

:

1)      , ( , ). .

2)      , . , . , , . - .

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

4)      . . , . , , . , , . , .

.

( ) ( ).

. , .

, . :

1)      . .

2)      , .

3)      .

4)      - , .

5)      , , .

.

, : .

- , .

. , , .

, , . : -.

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

( )

1)      .

2)      .

3)      ( ).

4)      .

5)      ( ).

6)      .

7)      .

8)      .

9)      , .

10)  .

11)  .

( ).

. .

, , . .

.

. :

1)      .

2)      .

3)      .

4)      .

5)      .

, , :

1)      , ( LISP, SMALLTALK ). . .

2)      ( , : PROLOG, OPS 5 ). , , . .

3)      , : ART, TIMM. , , .

4)      : EMYCIN, . 50 - 60% . , . , .

.

,

,

,


. . ( ) . :

1)      ( , , ).

2)      . . .

, , , . , .

.

,

,

,


:

1)      -

2)      -

3)      .

, .

, , , .

, . . :

1)      .

2)      .

. , .

:

-         

-         

-         

-         

. : =< , , , > ,

.

. . () , .

- , . () .

. , , . () , . .

. . , , , .

. , : H= < I, C1, C2, ..Cn, G >,

I .

C1,Cn - .

G .

I1

I2

I3

C1

C2

CK

G


:

         ,

         ,

         .

. . . , , .

. . , , - . . .

. , . , . :

 

( )

.

.

.

( ).

.

. , . : i ; Q ; P ; A => B ; N , :

I - . , . : .

Q , . , .

=> - , . : , . :

, 1 , 2.

- . . - , .

Р => 

㠠 ,

.

N - . , . : .

. , .

.

. : .

=> .

- , .

. :

W

R

K


1. AW => BR (. => . -)

2. AW => BK

3. AK => BW

4. AR => BK

5. AK => BR

1)      .

2)      .

3)      . .

4)      . .

5)      .

6)      Aw =>Bw . . . .

7)      AR => BW. , .

8)      AR => BR. . . , .

9)      AK => BK. . .

.

1.      , .

2.      1 , 2 .

3.      , .

4.      , D.

. . : .

. - . :

1. . , . , . . .

2. .

򠠠 ,

頠 { , ,

蠠 , L.

, . . , . , .

3.      . , .

4.      . . , , , , . , , , .

5.      . . , .

6.      . : . , ( ). ( ).

7.      . , .

.

:

  1. .
  2. . .
  3. .
  4. , .
  5. .
  6. ( ).

: ( > 1000 ) ; .

.

, . rules, :

  1. .

.

.

1:

=

2: ( 13 20 )

.

( ) = , , , .

( ) = , .

.

( ) = ?

.

.

. , , . , . , , . , .


, , , . , . . , , . , , . , , .


, . .

< 1 >

< 2 >

40


, .

, .

, , .

,

, , .

: 2 1 1972 1983 .

1983

1972

< 1 >

< 2 >

< >


.

( ) . 1975. , . : . , . , ( ). , . , , . . . . . , .

1. .

, .

2. .

. :

1) ;

2) - , () ;

3) , , .

3. , .

4. , .

堠 . -


. .

ࠠ .


렠 򠠠 蠠

. - , , .

IS-A -

PART-OF - -

PART-OF . , IS-A.

()

1

2

- - -

- . - .

.

:

U -

S -

R -

O -

, .

.

- , . .

. .

:

-

-

:

1) ;

2) , ;

3) .

, , , .

, , .. .

:

1. .

2. ( ).

3. - .

:

1)

2)

3)

4) ( )

5) ( )

6) ( )

, , , , , . :

1)

, , . ( 3 )

2)

, .

( 1-2 )

3)

.

( 2-3 )

4)

.

(2-4 )

5)

.

(6 )

. :

1. - .

2. - .

3. - .

4. - , .

5. - , .

6. - .

, . , , .


Ѡ


堠 ࠠ


. - , . , .

. .

Ѡ Ѡ


, , ( 5-6 ). (, , ..).

. - , .

( - )

60- -. , .

: -

-

-

-

.

, :

1. - .

2. - .

3. - .

4. - .

. 3- :

-

-

-



ࠠ .


. 砠 ࠠ

2- :

1.

2.

.

3- :

1) -

2) -

3) -

:

-

-

-

-

-

-

-

.

. 3 .

1.

2.

3.

, .

, - , .

:

1

2

3

4

-

5

6

.

: , .

, .

. .

. .

, , . .

. 3 :

1.

2.

3.

.

( ) , .

. .

:

-

-

. - , .

2- :

1.

2.

1- . :

- ,

- ,

- .

:

-

-

, .. , .

, . . 2 :

-

-

.

. .

- - :

1. -

2. -

:

- -

- -

. .

. - () . :

- - -

- - -

60- . 70- . , .

- . 42 : 6 36 . 44 : 20 24 . : .

, . : . 480 8880 .

, . . :

, , , . : , , , , .

. 2- : , . , .

S(x) -

x -

p - ,

c -

, . , ().

2- : .

- , , .

2 :

-

-

. (, , ), .

. .

, . .

- , . , .

- . 2 :

- ()

-

.

, . , - . :

1)

2)

, .

3 :

1. .

.

I


II III


2. , . , - , .

3. .

( ), - .

3 .

, , ..

, , .

. , .

, . , . , .

, , . . - , , : , , , .

.

.


堠 堠

3 :

1)

2)

3)

. : . .

. .

. , . , , .. :




-

-蠠


- . .

, , .. . .

, .. , .

: , , , .

堠 砠 堠

(, ). , , , - .

:



ࠠ 


. , . .

, , . 3-.

3- (, ). .

.

, . , 3- (, , , , ..).

:

-

-

. , . , . , .

. 3- 32- .

. . . .

 

 

 

! , , , .
. , :