–
, , ),
.
:
;
( , );
- ,
, ;
, ( ,
, – . );
.
:
– , , .
.
. –
. .
,
. , .
16.1. " ".
: " – ,
$2000 - 3000".
: " – Mac, IBM PC, Sinkler...".
(
), –
, ). –
.
:
–
;
- , , ,
.
.
, , .
, .
, . , " " .
. .
,
( , , ), .
.
, . ,
,
.
( )
. :
;
;
;
.
, , ,
:
), ).
,
, – , (
, , ,
).
. ,
, .
) – ). –
, – ,
.
16.2. :
1: " – " " – ", " ".2: " ", " ".
, – " "
".
– , .
1- .
1. 1, ( " –
").
2. 2, , " –
".
2- .
3. 1, , " ",
, .
–
.
1- .
1. – " ": 1 – " – "
, , ,
.
2. " – ": 2
.
2- .
3. 1, .
.
, ,
.
, ( OPS 5 [8]; " " " " – EXSYS [10], [2]; [11]
[3] .), ( [8]) .
, – ,
, , . ,
.
– ,
– , – .
, – :
" ("is"), " " ("has part"), " ", " ".
:
– ;
– ;
.
. ,
:
( );
( ).
:
( );
n- ( , ).
:
" (" ", " " .);
( " ", " "...);
( , , ...);
( , , , , ...);
( , , ...);
( , ...);
( , , ) .
, , .
16.3. . 16.1 .
– : , , , ,
, .
. 16.1.
–
. –
.
, NET[12]. ,
– PROSPECTOR, CASNET, TORUS [8, 10].
. frame – ) . 70- .
. , ,
.
.
. , " " :
, , , , 6-20 2 ".
( , , , ),
" ", " ", – – ,
, , .
.
.
:
, .
; .
:
, ( , , );
, , );
, , );
, , ) .
. ,
(A-Kind-Of = ). ,
, . , .
16.4. , . 16.2 " "
" " " ",
. , : "
?" : " ", ,
" ".
, , " ",
.
[13], .
FRL (Frame Representation Language) [1]
. -
, ANALYST, [3, 8].
:
( , CRAY, CONVEX
.);
( , mainframe);
(SUN, APOLLO);
- (VAX, micro-VAX .);
(IBM PC, MAC II ).
" " ,
( , .).
) .
.
, ,
, , .
, ( )
.
( , C++, Basic, SmallTalk, Fortran .),
.
.
,
. ,
( ,
) .
(SmallTalk, C++). ,
. ,
.
(LISP) (Prolog) [8] – ,
.
, , .
, ,
,
.
( , ),
. –
.