(LISP) (Prolog) [8] , . , , . , , , . (, -), . .
. , : (Knowledge Engineering Environment), FRL (Frame Representation Language), KRL (Knowledge Represantation Language), ARTS . [1,4,7,8,10], , .
""
"" (shells) "" , .. . EMYCIN (Empty MYCIN MYCIN) [8], MYCIN. , . () . , , .
1:
2:
3:
4:
5:
6:
, , . , , , . , , .
, [4,8,10], (. 16.7), .
|
|
. 16.7.
. , . , . . , , , .
, , :
;
;
;
.
, -, , , -, .
1:
, . :
;
, , ;
;
;
.
, , . , "" , , . , , . , , , . , , .
, , , , , , , .
, , . , , , , .
, :
, ;
, ;
|
|
, , ( ) ;
;
, , .
:
;
;
, (, , );
;
, .
. . , .
. , , .
, . , . .
, . , . .
, . . , .
, , . , , . , , , .
, , .
, :
;
;
;
;
, .
, .
2: