Материал: informatika_uchebnik_Makarova

511

. 

, 

: 

 (Knowledge Engineering Environment), FRL (Frame Representation Language), KRL (Knowledge

Represantation Language), ARTS 

. [1,4,7,8,10], 

, 

.

"

 "

" (shells) 

 "

" 

, 

.

. 

 EMYCIN

(Empty MYCIN – 

 MYCIN) [8], 

MYCIN. 

, 

. 

) 

. 

, 

, 

.

16.3. 

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 

,  

, 

. 

, 

, 

, 

.

, 

, 

.

, 

[4,8,10], 

 (

. 16.7), 

.

. 16.7.

512

. 

,

. 

, 

. 

. 

, 

,

, 

.

, 

, 

:

;

;

;

.

, 

, 

, 

, 

, 

.

 1: 

, 

.

:

;

, 

, 

;

;

;

.

, 

, 

.

, 

 "

" 

, 

, 

. 

, 

, 

. 

, 

, 

, 

. 

, 

, 

.

, 

, 

, 

, 

, 

, 

, 

.

,

, 

. 

, 

, 

,

, 

.

, 

:

,  

;

, 

;

, 

, 

 (

) 

;

;

, 

, 

513

.

:

;

;

, 

 (

, 

, 

);

;

, 

.

. 

. 

,

 – 

.

. 

, 

, 

.

, 

. 

, 

.

.

, 

. 

, 

. 

.

, 

. 

. 
, 

.

, 

,

. 

, 

, 

. 

, 

, 

, 

.

, 

, 

.

, 

:

;

;

;

;

, 

.

, 

.

 2: 

, 

, 

. 

, 

, 

.

 – 

, 

. 

. 16.8 

, 

514

 (

 [10]). 

, 

.

. 16.8.

, 

. 

, 

, 

) 

. 

.

, 

.

, 

, 

:

 (

, 

, 

.);

 (

, 

, 

);

;

 (

, 

.);

.

– 

, 

.

 1 - 2 

.

:

;

;

;

;

;

;

.

515

– 

.

 1-3 

.

, 

. 

:

;

;

;

;

;

.

– 

, 

,

, 

.

.

 2-4 

.

 (

). 

:

 (

 I 

.);

 (

);

;

;

, 

, 

.

– 

,

, 

, 

, 

 – 

.

, 

, 

 [7] – 

 + 

 + 

. 

 1 - 2 

.

, 

, 

:

, 

.;

, 

: LISP [14], FRL [1], SmallTalk [7] 

.;

 [3], 

 [11];

 "

" 

 "

" 

 [2], 

 [7] 

.

- 

,

.