. 6.6. , (1974)
:
1 P .
:
1) , ;
2) .
:
1) ;
2) ;
3) .
1977 (Roger Schank; Robert P. Abelson) .
. :
.
, , , .
, , .
:
, , , , 625 2.
(, , , ), , , , , .
.
, :
1) - ( );
2) - ( ).
, , :
1) - ( ). , .
2) - ( , - ). , , .
3) - ( , , ). , - .
4) - ( , , ). , , , , .
.
, , .
, . : ? - , .
|
|
, , .
AKO IS-A. ( ), .
:
:
, , . , .
, , , .
:
1)
2) ( ).
: IS-A, HASPART .
3) (, ).
U (Unique) ;
S (Same) ;
R (Range) , ;
O (Override) .
4) ( ). , , , , , .
5) ( ).
6) . , - .
:
IF-NEEDED (, , ).
IF-ADDED ( ).
IF-REMOVED ( ).
IF-DEFAULT ( ).
7) ( , ). .
, ,
, ; .
" " (. 2.1) .
. 2.1. " "
(frame (name (Cube))
(isa (Block World))
(length (NULL))
(width (IF-DEFAULT (use length)))
(height (IF-DEFAULT (use length))))
(frame (name (B1))
(isa (Cube))
(color (red))
(length (80)))
(frame (name (B2))
(isa (Cube))
(color (green))
(length (65))
(who_put (value (NULL))
(IF_NEEDED (askuser))))
isa , B1 B2 Cube , , length = width = height.
|
|
IF_NEEDED , , B2 . who_put.
:
;
;
.
:
;
;
.
, , .
, , , .
,
. ,
, . . , :
( ) .
, , - .