-
:. -, . ,
-
TEKNOW LEDGE SE R IES IN KNOWLEDGE ENG IN EERIN G
Building Expert Systems
E dited byFrederick Hayes-RothTeknowledge Inc.Palo Alto,
California
Donald A. W aterm anThe Rand Corporation Santa Monica,
California
Douglas B. LenatDepartment of Computer Science Stanford
University Stanford, California
1983
ADDISO N-W ESLEY PU BLISH IN G COMPANY, INC.ADVANCED BOOK
PROGRAM READING , MASSACHUSETTSLONDON AMSTERDAM DON MILLS, ONTARIO
. SYDNEY TOKYO
-
: . -, . , .
. . , . . . .
. J1.
1987
-
32.973 63
681 32
: . ./ . 63 . -, . , . . .: ,
1987. 441 ., . ,
, . , . , .
, .
1702050000216 , _041 (01)87 4287 * 1 32-973
1983 by Addison-Wesley Publishing Company, inc. , , 1987
-
, 80- . DENDRAL, MYCIN HEARSAY-II. , , . , 1977 (: .: , 1980), .
, 1981 , , (1983 ., ) .
, . , .
? . . (), 1981 : ! , ?!. , , .
. 1971 (. , , . .: , 1973) : , ( ) , , , , . , , , , , . . ,
.
.
. , . (. . , . .: , 1976) -,
-
6
. , , , , : ? , , .
, , , , , , , - . . , , , .
, , . ?
, , , , , , . , , .
, 500 . - , . - , 100 . . - VAX, DEC 10 . .
, , , , , , !
, , . (50 ) . , ,
-
7
, , . , , , .
, . , .
, , . .
, Teknowledge, , . -, , Addison-Wesley. , , . . -, , , . -, , ,
, , . , , .
, , , , , .
, , - , , . . , , . , , , (. -
-
8
) 5 . .
, , , . , , , , , , . , .
, - . . ., . .: , - , 9, 1985. . .: , 1986. . : . . .: , 1986. .
., . . , 2 , 1986.. . . .: , 1985. . . . . 714, - , 1985. . ., . .
. , , 5 , . 153 167, 1984. - , - , , . . . . .: , , 1984. . . .: ,
1985
. . , . . . . , , .
, . . . . . (. ) . . . . . (. ), .. . . 26.V.86
-
, .
1979 . . , 1977 . , , , , , ( 1978 . -). , , , , , , , , .
, -. . , . . , . .
, . , - .
-
10
( ), ( . 10 ). , , , .
. , , . , , , . . . - , , . - . . . . , , . SAI . , .
.
, , . , . , , , . , , , .
, . , , ,
-
11
, , , (. 1).
, , , , , (. 2).
, (. 3).
, , (. 4).
, (. 5).
, , (. 6).
, , , (. 7).
, (. 8).
, (. 9).
, , (. 10).
, , , ().
. ,
-
12
. , , . , .
, , . , , , . , , .
, , ' . , , , , , .
, , -, , , . , . : , , , , .
, , , , -, . , , , . . , . ,
-
13
. , - , , . , .
1983 . - , ,
-
I.
1
. -, . , .
, , , , . , , , . , , , -. ; , .
60- () . , , , , , , - . , , .
- , . , . , , : . , , . , , , . , . , .
-
1. 15
, . .
, , . -, , , . , , , , . , , , , , , , . . .
, , : - . , . . : [58, 85]; [133, 134]; [27, 74, 124]; [139];
[226, 227]; [38, 39, 69, 113, 164, 170, 171, 184, 219, 222, 223];
[192, 199].
. , . . , , , . , .
-
16 I.
, . , : , ; , ; .
, , . , , , , . , , , , . . -, . - , - [153]. -, , , , . , , : ,
, , , , , , , . - , , .
[73, 57, 142, 233, 97, 218, 63]. , . , : PROSPECTOR ,
, , 100 . ( . , .)
R 1 VAX
-
1. 17
DEC, , [135].
DENDRAL, , , [124].
CADUCEUS , , , - [170, 171].
PUFF - - ; [73].
, . - . , , - . , . , , .
1.1.
1977 . , . , , , . , . , , . , . ,
-
18 I.
[153, 158]. , , .
70- . , , , [18, 20, 145, 202]. , , , . , . , , . , , , : , , .
, .
, , . , .
. 1.1 . , , . . , , .
DENDRAL . , DENDRAL META-DENDRAL [28, 27, 74, 124]. DENDRAL , -
. . , , , , .
-
1. 19
HEARSAY-I-------------- HEARSAY-
,------------------------------------> HEARSAY-111------------I
I'----------- - > HARPY --------------------------------A G E
------------------------------ -5
MYCIN j-------------------------EM YC/N -------------- ->PU
FF
---------------------^ T E IR E S IA S
---------------- ^ P R O S P E C T O R ---------- ^ K A S
-----------
L --------------------------------- > / T A ----------ROSIE -
4
IN T E R N IST
------------------------------------------------------------ *
------------ C A S N E T -------------------------------E X P E
R T --------------------------- >
P S G ---------------------- ^ OPS------------------^ OPS4
------>- PS 5
---
S A IN T ----------------- ^ S IN -------------- ^ MATHLAB
-----------^ MACSYMA-
------------D E N D R A L-------------------------- M ETA -D EN
D R A L-----------------------------
1965 1970 1975 1980
. 1.1. . ( )
. , .
META-DENDRAL DENDRAL , . , , . , , . DENDRAL , .
, SAINT [187], MACSYMA [139] , , . DENDRAL, MACSYMA - -. .
-
20 / .
, , . , , , .
EX PE R T [222, 223, 219] , CASNET, . E X PE R T , .
CADUCEUS . , [171, 169] , h MYCIN [184] . MYCIN , . 1982 100 ,
85% . , , . .
MYCIN . 400 , . MYCIN - . MYCIN . -, MYCIN, , .
MYCIN TEIRESIAS, . [46, 48]. - TEIR ESIA S () .
MYCIN . PROSPECTOR, - , [58, 57], ,
-
1. 21
. . MYCIN, PROSPECTOR , . , .
- MYCIN, EMYCIN [205]. EMYCIN MYCIN, . EMYCIN , PUFF [83]. ROSIE
), RAND, , [70, 72]. ROSIE , RITA ( Rand Intelligent Terminal
Agent, . e. RAND) [5, 6]. MYCIN, . ROSIE, , , , . ROSIE , .
PSG [154, 157] , , OPS [81, 79], R1 [132, 133] VAX DEC. R1 .
. 1.1 , HEARSAY-II [66]. H EA R SA Y -II, , , . , ,
1} RAND.
-
22 I.
. , , , . , , HEARSAY-II, ([66]; . 4 ; [161]). HEARSAY-II , ( ),
, . HEARSAY-II, . AGE [160] HEARSAY-III (Inform ation Sciences
University of Southern California) [9].
. [38,39, 48, 11, 13, 14, 17, 34, 36, 46, 41, 43, 87, 173, 193,
214, 230]. , . -, , , , : . , , . -, , , , , , . , , . .
1.2. , ,
, , . () : , . -, .
-
1. 23
1.2.1.
- ? , , , . , , , . . , . , . , . , , , .
- , . , , - - . . , , . . , . , , , [216, 217]. , , , , [69, 24,
23, 19, 53, 50, 177, 200, 231]. , : (1) , , (2) , .
, -, . , , . , , ( ), ( ). , ().
-
24 L
[12].
, , -, , , -, , . , , .
1.2.2.
, . 1.1
1.1.
,
, ,
. , , , , . , , , .
. , , , . , .
-
]. 25
. , .
. , , . , . , , - . , , , .
, , . , . , [62, 75, 82, 90]. , , . , .
. , , . , , , , [195, 196, 95, 179, 181]. , .
( ) , . , , . . , . , ,
-
26 / .
, , . . , , , , , , , .
. , . (. . 5), .
. , . , , , .
[24, 23, 38, 39, 188]. , . , , . . , , .
, , . . , , , , , . , , , , . , .
-
1. 27
. 1.2. .
1.2.3.
. 1.2 . , . .
- ; ; , ,
-
28 I.
; ; ; , ( ), ; , .
- , , . -. , , , . , , , , . - , IM TERLISP [204], , , .
, . - , (. 1.2). , : , . , , , , . , , , , , , , , , . . , , , ,
. , , , . .
-
1. 29
. , . , , , , . , , . .
. , , , . LISP - . .
. , [184, 57, 66]. , , [130]. - . , , .
, . , , . . , () , , , , . . . ... . ,
-
30 I.
, , , . , , , .
, , , . , .
1.2.4.
, . 1.2, 1.2
1. = + -f- 2. =
3. 4. -
. , . . . . .
5. :. . . .
. , , . , , , .
, , .
-
1. 31
, . , , . , , .
1.2.5.
, . , . , .
MYCIN [184] HEARSAY-II [66] . , MYCIN, , , . , , . MYCIN , , , .
, , .
MYCIN . , , , . ( ). . , , .
-
32 I.
, HEARSAY-II , . , , . MYCIN HEARSAY-II , , . , , , , , , , , ,
, .
HEARSAY-II - , . , [161], [95], [195, 196], [9, 12], [160]
[92].
. 1.3 . 4. , . . . 2, 3 4. , , , . , , 5, 9 . , , , -
-
21182
NJ
. 1.3. , .
.
-
34 1.
. 9 10 , - . 11 , ([120]; . . 7).
. , , , , . , .
1.3.
, , . , , : .
1.3.1.
, . . . .
. , ( ) , , , . (. . 5, . 5.4), .
. 1.3 (. . 5).
-
1. 35
. (, ), (, ) , . , , .
1.3.
: : : : , : ,
, , . , , .
, . .
, . -, .
, - , -, . , .
, . , . , , 2*
-
36 I.
. , . , , .
. , . , , . . , , . , .
, , . , - . - . , . . , , , .
, , , . , , , .
1.3.2.
. 1.4 , , . OPS, INTERLISP. ROSIE
-
1. 37
. EMYCIN, KS 300 KAS . KAS , EMYCIN, , EMYCIN. KS 300 , EMYCIN.
OPS , . AGE , . IN TERLISP LISP, . 1.4.
ROSIE Rand ,
,
OPS5 ,
EMYCIN ,
KAS ,
AGE LISP,
INTERLISP Xerox LISP
, - , . , , , , .
. 1.5 . ( . 6.) , .
. 1.4 . ,
-
38 I.
1.5.
:
:
:
:
, , , ,
, . - .
\/ \ \ -
\ \ -------\ / ) /- ____ / SGS wJnonm/ / /
emu----------\ / / ____ ) /
. 1.4. .
, , (. . ). , , .
1.4.
. , .
, , . -, , .
-
1. 39
, . , . , , . . .
, , . , , , , . , , . , (. . 2). , . , , , , . , , (. . 7
[98]).
, , . , . , . , , , . . , , , , .
1. ? , ?
2. - , -
-
40 1.
, . ?
3. , . ?
4. , , . , , ?
5. , - . , ?
-
2
?. , . , . ,. , . ,.
, , . , , , , . , , , .
60- DENDRAL, . DENDRAL , - -. DENDRAL , , : , , .
, , . , .
, . , , , , . . : . ,
() .
-
42 /.
. .
. . .
, . ,
. .
.
2.1.
2.1.1.
, , . , - . , . . , , , PUFF.
, , PUFF , , . ( , ; . PUFF , v .)
19--79 14 : 41 : 28
( PU FF , , , .)
-71) :
** 7446
1) . 2.1. . .
-
2. 43
2) :** (0 0 , , . . )
3) /-:** 261
4) () / ** 139
5) ( ) /: ** 1 1 1
6) /-:** 81
7) 1/:** 4Q
8) 5025:* * g
9) 0 1/ :* *
10) /-:** 12
11) /-:** 117
12) 1 ( ):** 31
13) ( ):** 2,0
14) :**
15) - :* * 17(- = , , .)
16) :**
PUFF :
: : - : 17 : /-: 261/-: 81 /: 139 1/: 40
-
44 1.
/-: 12 /-: 117 5025: 9
, PUFF :
. () , 1/ , . . , . , . , . . . . . .
, PUFF, , , , , - ; , , .
, , . - (), . , . PUFF [114] . 95% - . , , , .
-
2. 45
, PUFF, , , , . (. . 2.1) , 7999, -, 94120 40.8 . 161 , 65 , .
5.12.76
- (. .)
(% .) .(% .)
( ), 2.7 (0.6) 2 .3 (83) (), 2.0 (0.1) 3 .8 (193) 3.1 (154) 2 .9
(0.3)
-
46 I.
, 7999, -, 94120 40.8 , 161 , 69 , . 13.5.80
~ . . . - ,
(.) (% .) (/ 0 .)
( ), (), (), /,% 1 (1), ( ), 1/, % (), / 2575%, / ( = 6 ) ( = =
4.8)
2.7 2.3 (86) 2 .4 (90)
2.0 3.8 (188) 3 .0 (148)4.7 6.1 (130) 5.4 (115)
43. 62. 56.2.2 1.5 (68) 1.6 (73)
2.7 2.3 (86) 2.4 (90)
73. 65. 67.7.1 1.8 (25) 1.9 (26)
1.8 0.7 (39) 0.7 (39)
0 .0 (0.0) 1.5 2.2
24. 17.4 (72) (74%, = 4.7)
. ,
/ , . . 1/ , , . . . .
: . , .
: 1. , .
. 2.2. , PU FF PDP-11.
. , ,
-
2. 47
. , (), . . , . 129% , . . .
, PUFF, . 2.2. , . , , . PUFF , , .
2.1.2.
, PUFF, , , . . , , , , .
DENDRAL [32, 271 1965 . , . . , , . , - . , . - DENDRAL , , . .
, , -. .
-
48 1.
DENDRAL , [190] , -.
CASNET (Causal Associational Network ) 70- [221, 222]. , , , . ,
. . EX PE R T [219], , , .
, MYCIN DENDRAL, , . , , . , , , .
MACSYMA [139] , . . MACSYMA , [94, 232, 112], SAINT , [187].
SAINT, SIN [149], . . -, , . -, , . , , X 2 * 2- \ - * + ( , ),
. SIN SAINT , SIN ,
-
2. 49
, , , . , .
, MATHLAB [64], , [137]. , , , . , DENDRAL. , . . , .
MYCIN [184] , , , -. , CASNET. MYCIN , , , . , MYCIN , , .
MYCIN . , MYCIN , , . , , , TEIRESIAS [42], , . CASNET, ( EMYCIN
[205]) , .
TEIRESIAS [42] MYCIN. , MYCIN, , TEIRESIA S
-
50 / .
, , , . , MYCIN. , TEIRESIA S , . , , , - . TEIRESIAS . , , . ,
, .
70- , , , , HEARSAY-II [66], . HEARSAY-II ( ), . , , . (), , .
HEARSAY-II , . , .
GADUCEUS, IN TER NIST [169], , . 85% , . , , - . CASNET,
-
2. 51
CADUCEUS , , .
CADUCEUS , . , , . CADUCEUS , , , . , , , , . .
SOPHIE [23] , , - . , , , . SOPHIE , , , . (, ), SOPHIE , , , .
, , . , , , .
PROSPECTOR [58], MYCIN, . PROSPECTOR . , , . KAS (knowledge
acqusition system), , PROSPECTOR. KAS , .
-
52 / .
, , KAS PROSPECTOR. KAS , , PROSPECTOR. , .
2.2.
. , -, , . , , . , , , , DENDRAL . , , ?
, . , , . , , , . , , , . , , , , , , , . , , , - , , , . , , .
, , , . , , , . , . . . ,
-
2. 53
, , .
, , . , - (, - ), , . , -- , : . .
, , , . , , , , , . . , , . , . , , , . , , , . , .
2.2.1.
. , 2.
, , . , . , , .
-
54 I.
. , . , , .
, . , , , . , , , -. , , , -, .
2.2.2.
, . , , (), .
2.2.2.1,
, , . , . , , , . , , . , , .
-
2. 55
2.2.2.2.
, , . , . , . -, .
, , , . - , , , , . , DENDRAL , , . , -, .
, DENDRAL, , - , . , DENDRAL, , , , - . (. . ) , , , 3.
, , , , . . . , . , - . , .
-
56 I.
2.2.2.3.
. , , . - . . , , . , , , .
2.2.3.
, . . (. ) , , . . , , , , [156].
. , . , , . [22] , .
, , . . . . ,
-
2. 57
4). TaKHiM , , , , , , .
2.2.4.
, , , . . . , , . , . . , , , . , .
, , , . , , , . , . . - , , . , , .
, . , , . . , , -, . , ,
-
58 / .
, , , , , .
, , , . , [83]. , , -. , , , , .
2.2.5.
. , , , , , ! , , , . , , .
, , , . , -, , . .
2.2.6.
, , ,
-
2. 59
, , . , , , . , . .
. : , .
( MACSYMA), . [138] 1151].
2.2.7. ,
, , . . , , . 7.
. , , , . -, , , , .
() , . , , , , . , , , , . (,
-
60 I.
. , .) . ( , , . .) , . , , . , , ' . , . , , , . .
, , . , , . , , , .
. , . , , - - . , , . , , , . , , . .
-
2. 61
2.2.8.
, . . , , , : , , , , , .
, , , . 3 4. , , , , , (. 8) .
2.2.9.
, . , , , , , , .
, , , - : (
); ; ; , ; .
2.2.10.
, , , , , , . , , , ( ),
-
62 I.
, . ( , ) , , , , , , .
2.3.
, . , : , , , , , , , , , , .
2.3.1. DENDRAL
DENDRAL . , - . , . , . , , .
DENDRAL , , . , . , . DENDRAL , .
DENDRAL , . , , .
, ,
-
2. 63
, . , , , , .
DENDRAL , , , , . . - , .
2.3.2. CASNET/GLAUCOMA
CASNET/GLAUCOMA , . , . , .
, , , . . ( ) . , .
. : .
: , , .
, , , , . .
-
64 1.
.
CASNET/GLAUCOMA . . , .
2.3.3. MACSYMA
MACSYMA , . .
. , , -. MACSYMA , . , . .
MACSYMA ( ) , , , . .
MACSYMA : . , .
2.3.4. MYCIN
MYCIN . , MYCIN, .
-
2. 65
. MYCIN , . , , , , , . TEIRESIAS , . MYCIN.
MYCIN , . .
MYCIN , . , EMYCIN KS300, . , , , .
MYCIN. 1 ( ) + 1 ( ), , .
, MYCIN, , . , .
MYCIN , . . [26]. MYCIN , PUFF, MYCIN .
-
/.
2.3.5. CADUCEUS
CADUCEUS . ( ), , . . . , , . . , .
, , 500 , 350 100 000 . , , . .
, , ( ). () .
- - . , . , , . CADUCEUS .
, CADUCEUS, . , , , . () . .
CADUCEUS . , -
-
2. 67
. , , .
2.3.6. PROSPECTOR PROSPECTOR
. , .
, . , , , .
(KAS), .
PROSPECTOR . , ; , 100 . . .
PROSPECTOR -. KAS. .
2.4. , ,
, . , (1980) [93] ?, :
( ), , .
3
-
68 1.
- .
.
, , . , - -.
, [26], : . .
( ). . .
. ,
. .
, , . .
1. , 1980. . .
2. , , , , (1982) [26], , . , . , , ; , ; .
3. , -, , . , -
-
2. 69
, . , .
4. (1979) [21] , . . , , .
1. , , , . , ?
2. . , ?
3. ? ?
4. ? ? ? ?
5. ? , , ?
-
3
,
. , . , . , . , J1. , . -, .
, , . , , . . , , . , . .
1962 , . , , . , , . , , , . , .
(., , [162]), [37]. , , . , . , . , , , . ,
-
3 . , 71
. , , , . , .
3.1. 1975
. . : . , , , , . , . , .
, , , . , . , , .
3.1.1.
, 459] , - , , . , - , , . :
-13
-
72 I.
3.14159
:( 1 2)( 5 X)(-- ( ) ( ( )))
, , , . , , [37].
3.1.1 .
, . , , ,
X I( )
( ) ( )
( D) ( D) ( G D)
( D )( F -) ( G - )
( A D )( CD)( )
. 3.1. .
. , ([110], [198]).
. 3.1 , . , , . ( ), . ,
-
3. , 73
. , , , D, , F, G, , , -, - , , , . , . 3.1, .
, . . , ,
( D)
D. ( . , , , .) , (), V () (). , D, :
( D )V H A(A )
:(( A D)(HA ))
~ () , , .
, , .
(V*) ( ()- ())
(() ( * ) ()))
(() (( )-( )))
V (), , , . , . 3 ().
-
74 1.
, . , , .
, , (). .
. , . , , , , . . , , . 3.1, , . ( D) , (. . ) D (. . ).
, . , . ,
(( ))
(( )( ))
.
(()((^)( ))) (()(()( * )))
-, , .
3.1. 1.2.
, , , .
-
3. , 75
. . , , . 3.1, , :
((;)((*/)(( ; )- ( )))) ; , ; . ((*)((^)(()(( )( )+(
?)))) , . . 3.1,
, , , , . .
( A D)( D)( )
,
( D).
, , . . . 3.1. , . , . :
: , -> q : , (V*) W (x) q W(A)
q . , -> . . , . W(A) (Vx) W(jc), . , .
, , ,
-
76 L
. , . , , , . , ,
A q \/ , , , . D, F ,
D V E D V F E V F
, D V D D V E V Ed v e v d v eD V E V E V E V E V E V E V E V
E
. , . , . ( , .)
. , . , , . , , . ( [162], , .) , , , , .
, , , . , . , , . , , -- ,
-
3. , 77
, , , . , . , . .
3.1.2.
([84], [162]). , , , . , . .
.2.1.
. . , . . , , , , .
, , . , , 1 8. , . 3.2. , , .
. , , . , , , , , . . 3.2 . . , . -
-
78 I.
1 4 37 65 8 2
1 31 4 65 8 2
1 4 37 6
5 8 2
1 4 37 0 65 2
1 4 37 65 8 2
1 37 4 65 2
1 4 37 Q 65 2
i
\ 11 3 6i 4 25 8
. 3.2. . , , , .
, , , . . .
-
3. , 79
3.1.2.2.
, . . , , . , , - .
. , . , , , . . . , , . . , , . . , .
3.1.2.3.
, . , , , . , , , .
, . ,
-
80 1.
. .
. , , , , . , , [162] :
f(n )= d(n)+ W (n),
d(n) , a W(n) , . , . /. / . 3.2 5, 7, 7 6, .
, . , , . , , , . [162].
. , ( ). , , , , , . , . , .
, . , , , , . . ,
-
3. , 81
3.1 .2 .
, . , . .
, -, -. , , (, ) . , -, , , -. - , - - , . , -, , , . , , ,
-.
. . , . , . , , , ( - ).
, . . , : . , 40, . , , . , ,
-
82 / .
15 40 -, , -. , .
. 1963 . [144]:
10 , , 20- 1020 , , , , 5 104 , . , . , , , , 106 , 1010. , , .
, . , , , .
. , , .
3.1.2.5.
. : , , . , , . , . .
. , .
-
3. , 83
. , (, ). , , (. 3.3). , .
. 3.3. .
: (
, , );
, ( );
( ).
, . , , .
3 .1 ,3 .
, . .
-
84 I.
. , . , , . . , .
3.1.3.1.
, , , . , , . , , , .
. , - . , . , , , . . , , , . , , . , ( ), , . , , . , , . ,
.
. , , . . . , , . , . , . , ,
-
3. , 85
, , , . . . : ( ), , . , , , , .
, . . . . , - [228].
, , , :
~ /",/
. , . , , , . , , . , :
, .
.
6 .
.
.
-
$6 I.
, , , . , . , .
, , , . , .
3.1.3.2.
, , . , . , , .
() . , , , , . , , . , , , , . . , :
. , . , ! . ...
. , .
-
3. , 87
, . , , , , , .
, . : . , , :
1: . 2: , . 3: .
:
4: .
. , , , :
1 : 4 : 3: ( 1, 2)
, . [55] ( ). , , . , , ( ) .
, , . , , , , :1. .2. .3. .4. .5. , .
-
88 1.
6. , , .
7. , , .
, . , , . , : , . ,
.
, , . . , , , , . - , , , , . , . , : . , : , . . , , . , , . ,
, . .
. , . , , . , - , . . [55] ,
-
3. , 89
. , . , . (. [172] [98]).
, . , , ( ), . [54] [127], .
3.1.3.3.
. , , . , , .
( ( ))
, . . , , .
. , , , :
( - ).
, -. , . , , . -
-
90 I.
--1
Oapi-1
-2
--1
. 3.4. .
.
. , , , . , .
. . 3.4 . , , . , ; , , . . 3.4 , . , . , , ,
-
8. , 91
. . , , , .
, . , . , . , . , , , .
: . , , ( ) . , , . , , . , . , , . , .
. , . , . , , . , , , , , . , . ,
-
92 1.
, . , , . , , . , , . , , . , . , , , . , . ; .
, , [76]. , [200]. [195].
3.1.3.4.
, . . , . , , , .
. :
, .
. , , , , , , . :
-
3. , 93
. , .
( , , ), . . ,
, .
. , . , . , . , . :
, .
, , .
. ; : , , .
, [95]. [196] (MOLGEN), , . . , . [225] , , , .
-
94 I.
, . [50] [224] , . , .
3.1.4.
, , . . , , , . . : , , , .
. , , . , . . , . . . .
. , . . , , . , * . , .
-
3. , 95
3.2.
, . , . , - .
. - , , , [27]. . , , . . . , , . . , . (1) , . (2) , , . (3) .
, . (4) - , , .
( ), , . ( [184].) , . ( ), . : (1) . , , . (2) , , , . (3)
;
-
% / .
. (4) , . , . (5) , , . .
, . . , , . , . , . , , .
. . ( . .) - . , , , . , . : (1) . , (, , ). (2) ( ) . (3) , .
(4) , , .
-
3. , 97
, . [195, 196]. , , . . , , , , , , . - , , , . : (1) , . , .
(2) , . (3) , . . (4) , , , . , . (5) , .
, , . , [197], [122]. . : (1) , . (2) , , , . (3) , , , . (4) ,
,
-
8 / .
, , . , , , , . , . (5) , . , , . (6) . , . , , .
: , , , , . - [27] . . . () , . . , . , . - (). , , . () , , , .
, , , . , -
-
3. , 99
, , . .
1. . , .
2. ?
3. : , , , , , , , ? ?
4. , , ?
5. ? , ?
. , . . , . -, . - , . , . , . , . . , . . . , , , .
4 *
-
II.
4
. , . , . , . , JI. ,. -, .
, . . .' , !N H E A R S A Y - I I , , , - .
. . [73] :
, . , , , ... , , , . , , , .
. , . , , . , , (, [37]).
. ,
-
4. 101
. 4.1. 1, , . .
, . , ,
-
102 11.
, . , .
, . , , . , . . 4.1 , , . , , . , . , , . . . ( 5 8) , . , - . ,
.
4.1. ,
, , , , . , . , :
1. .2. .3. .
. , , , , .
-
4. 103
. , ( . 3 ).
, , . . . , (, - ). . , . , . , . . , . . , . . , . - , .
, . , , .
, - . , , . , , . , . , , (10!). 25 , 10! (24 )). . , - .
, 24 , 24 . . .
-
104 .
, , : . (). ,
( 1 2)( ( 2 1)).
. , [18] () . , , .
.
4.2.
, . , , , , . . .
- MYCIN [46, 184] . MYCIN , , , , . MYCIN , , , . , :
, , - - ,
(0,7), .
-
4. 105
0,7 , (0,7 ), . , , , , . , .
, . MYCIN , . , , - . , . ,
( -2 KLEBSIELLA 0,25)
: -2 0,25 Klebsiella. , . MYCIN . , 1 1 ( 1 ). MYCIN , . 1 1. ,
0,2, , . , , , , . MYCIN , [184].
: ? , - MYCIN , . , ( ) , , . , , . ,
-
106 I I .
. , . , , , [60], , [165].
, , , [238] . X , . , v :
: X . :
( , ), 0.1]( (, ], .2]({ >1000}, 0.7)
X , X , 10, 0,1 10 1000 0,2 . , .
. [238] . .
. . , , , . . .
) , ={} F | (), 0,1 . . .
-
4. 107
GA1 [193]. GA1 , .
GA1 . , . , . , , . . , , . ( , .)
: , , . , , . , , . , , , . GA1 .
GA1 . , , , . GA1 , , . GA1 , . GA1 ( , ). , .
.
-
108 11.
. , , , . , . , , . . .
4.3. ,
, . , , , [129] . , , . ,
( -1 -2 -2)
, -2 -1 -2. , , . , , . . , . .
, . (. . ), . , .
-
4. 109
, , , .
, , . , . VM ( Ventilator Manager) (. [68,69]) , , . VM , . , .
, , . VM . , .
VM , . VM : , , . VM . , , . :
, 20 , I/EW 20 ,
().
. , VM . . VM , ( ,
-
110 II.
, ). . :
,
(. 4.1):
4.1
. .
110 150 60 95 60 75 110 120 60 12002 22 28 30 40 45 50
VM . . , , . VM . , , . , , , , , . VM , .
, , . , . , , .
-
4. 111
, , , .
4.4. , ,
(. 4.1), , , . . .
, . , , . , , . , , . , .
DENDRAL [27] , , , ( ). , . , , , , , . , DENDRAL, , GA1
[193].
DENDRAL, GA1 , , . . 4.2 , GA1 . , . , , , . , GA1, , , , .
-
1 1 2 I I .
, , . , , .
. 4.2. , . , .
: 5 5 : 7 :1 23 4
, , ( ). GA1 , . 4.2. GA1 , , -- . , , , . , , . , ( ) .
4.2:
(1 2 3 4 )(2 3 4 1 )(1 4 3 2 )
,
-
4. 113
. . , , . , ( ) . GA1 . :
,
.
, , . , , :
(1 2 )
GA1 ,
(1 2
-
114 .
(. . ) , . , , , . GA1 . , . , .
, , , . , , . .
4.5. ,
. , , . . , . , .
, . (. . 3), , . , , . , .
R1, [133]. R1 VAX P ig ita l Equipm ent Corporation. R1
-
4 . 115
, , , . . , (. . , ), R1 , , .
, . R1 :
1. , - ( , . .).
2. .
3. UNIBUS .
4. .5. .6. .
. , . R1 . :
, UNIBUS , ( ) , , , 7101,
7101 .
R1 800 , VAX. , . , . R1 , ( )
-
116 .
, . , 400 VAX. , . ( VM, , R1.)
R1 (Match), [154] . R1 , . , . . R1 ; - . , R 1 .
, , , . , . , R1 , . , , , , .
R1 . UNIBUS , , , , . (). R1 .
, , , . R1 , . . , , . ,
-
4. 117
, , , - .
4.6.
, , , . . , , [95], . , , .
, . : (
) , .
, .
, .
, . . .
, , .
, . ( .)
, , ABSTRIPS ( [180]). ABSTRIPS , , () . ABSTRIPS , , , . .
-
118 I I .
ABSTRIPS , , , , (). ( ), , . , :
, . . , . , .
ABSTRIPS . , . . . , , , , , . , . . , - . , . , -.
ABSTRIPS STRIPS, . , . ABSTRIPS , STRIPS, . .
()- -
432
-
4. 119
.
, . , . , . , . , , , ( ) . , . , , .
4.7. ,
, . , (. . ) . , . , , , .
, : ,
; ,
; ,
; .
. 4.3 , NOAH, [182]. NOAH , , .
-
120 I I .
3
'. 3
. 4.3. NOAH. , . , () . , NOAH . - , .
. NOAH , .
. 4.3 NOAH , : . , . , . , - (, ) -
-
4. 121
/
. 4.4. MOLGEN. , .
. NOAH . , , , , , . .
MOLGEN [195]. MOLGEN . MOLGEN , . MOLGEN (
-
122 I I .
, ) (. 4.4). MOLGEN - .
MOLGEN , . , . . MOLGEN . , ABSTRIPS, MOLGEN .
. 4.5. . , . , ( ). , MOLGEN , .
MOLGEN , . . ,
-
4. 123
, . . , (. 4.5). . . , , . , .
, . , . . , , .
4.8.
. , , . , , , . , :1.
- . . , , , .
2. . , , .
-
124 I I .
3. . ( .) , , .
. , , EL ( [199]). ( ) . EL , , , , , , , , . EL , , , .
4.6.
. 4.6 -. . , . , , . /5 R6. , R5 /5, 2 R5. , , R4. , . 8=10 ,
=5/4 .
. : . ( ). , , , , . , . EL .
-
4. 125
+ 10
R1 R3 R5
R1 5 0
50 2
R550/
V V v |----------W v -------- 1 V W 4 /5 2/5 /5
> R2> 10
2/5
> R4 > 1 0 /
/5 /5
. 4.6. . . .
, , . , , , . , . . EL .
- . , . EL (, ) ( , , ). -
-
126 I I .
EL , .
, EL , , . , . , . , . , , .
, EL , . . , . , , , .
EL . . , , - . . , . , . , .
EL . EL (), . . , , . . 4.7 , . A l, 1 1 , . , 1 2 . , , 1.
,
-
4. 127
6. 4.7. EL. : 1 , . : 1 , 2 .
2, , , , . . , , 1 , 2 . , .
EL . EL , . :1. EL ,
-
128 .
. , , . EL , , .
2. EL - . (, ). EL , , .
3. , , .
, EL , . . EL . , , . , , .
4.9.
, , , , , . . . . , , .
HEARSAY-II [66].
-
4. 129
, HEARSAY-I1 . , .
SYN ([200]; [51]). SYN , . . . EL , , , . SYN (, ) , .
SYN , EL. , , , , , . , , , , : , . SYN , . , , SYN . , . .
, , , SYN , . , . , . .
, . ( ) . , , .
5 2282
-
130 .
4.10.
. HEARSAY-II, , , . HEARSAY-II, , , . , , . HEARSAY-II .
HEARSAY-II, , , (), . 4.8. , , , , , . :
.
SEC , ,
.
MOW , .
- , .
- .
- , - -. ,
.
.
, -.
RPOL .
-
4. 131
- *
-
-.
--. R P0LM OW
. 4.8. HEARSAY-II.
. 4.8, , , , HEARSAY-II . -: , . . . , , , . , , , .
-
132 IL
HEARSAY-II , , . 4.54.8. . , , , . , , . HEARSAY-II , , .
: , , , . , , , . , , , . , . . , . ,
till Bob rings tell Bob rings till Bob brings tell Bob
brings
. HEARSAY-II . , , .
, , . ., . . , .
-
4. 133
HEARSAY-II , .
, HEARSAY-II , , . . , . , , , . , . HEARSAY-II , , . , , , ,
.
, HEARSAY-II, , GA1, . 4.4. . GA1 , . . HEARSAY-II -. , , . ,
HEARSAY-II .
, HEARSAY-II , . . , , . , , .
-
134 I I .
4.11.
- , . , , . , .
, , . , .
. , (, [111]). , (DENDRAL, GA1, HEARSAY-II) . , , , , , .
, . , . , GA1, , , . , , . , , .
, . . , , . [40],
-
4. 135
. , [16] .
, , . , . , . , , , .
1. [35] . , , .
2. [47]. , , , , , , . , . , . , OPS2, [81]. [78, 80]. : . , . ,
, , . RETE, , , . , * . - , , , , HEARSAY-I1 [103.]
3. , EMYCIN, , ,
-
136 11.
[206]. EMYCIN , , , : , , . , EMYCIN , EMYCIN . EMYCIN , ,
LISP.
4. HARPY , - [126], , . HARPY ( ), . , HARPY, . HARPY , . . . .
, HARPY . . , , H ARPY, . , (13 PDP-10 ).
. , , , . , .
-
4. 137
, , , . , , , , , , . , .
, , , , , . , - [120] , , , , ( ) . , , . , . , , .
4.12.
, , , . .
(. 4.2) . , . , . ( - ) . . . , . . 4.10 , , , ,
-
138 II .
, .
, . , , . -, , , .
, , . , . , , .
. , . - , . . , , . , , . , .
(. 4.5) - , . , , , , . : , . , .
. . (. 4.6)
-
4. 139
, .
. , , . . , , . , , , , , .
( ) . , , , , . , . . 4.8 , , , , .
, . , ( ), .
, . , , . , .
, . . ,
-
140 / / .
, , . , .
. , , .
, , . , .
1. ? ?
2. ? ?3. ? ?4.
. , () , ?
5. . ? ?
-
5
. , . , . , . , . ,
. , . , .
. . , . , , , . ; . , .
. , , , , , . , , , , . , . ( ) ( ) . . , , , .
. , : . , .
. , ,
-
142 11.
. - , . , . , , .
. , . , - . .
, , DENDRAL MACSYMA. , , , , : .
. 10 . . , , . .
5.1.
. , , . . , , - . , , , , , .
-
5. 143
, , . , .
5 .1 .1 .
. , . , , , . , , ; , . , .
, , , . , , , . .
5060- , , . , . , , , - . , . , , , , .
. , -
-
144 I I .
5-----
(
)
(
)
. 5.1. .
------
( )'
(
)
. 5.2. .
-
( )
( /
)
. 5.3. .
,
( )
- ( /
")
. 5.4. , ,
-
5. 145
. . 5.1 .
, , , . : , , .
, , , . 5.2. , . . ( ) ( ). , Advice Taker [128]; , -, T EIR
ESIA S [40].
, , , , . 5.3.
, - , . , .
, , , [8], . . 5.4. . , . , , , , , .
5 .1 .2 .
, .
-
146 / / .
, . 10.
. , . 200 200 . 93 . . , .
, , , , . , , .
. (, ) . , , . , , .
, (. . 3). , . , , . , , .
, , . . ,
-
5. 147
. ( ), , : , , . , , : 1) , 2) , 3) , 4) .
, , . , , , . , , , . . ( , , , , .)
: , . ?
: . , ; , . , .
: ?: .
, , . , . , , , .
-
148 11.
, , . , , ( , ), , , , . , , , , . , . , ( , ). , . , , - .
, , , . ? ? -, ? , , ? ?
, , . , , , .
, , . , . , , .
, , , , , . , , , ,
-
5. 149
, . : :
: , : ( } : ( )
: , . .: , . . ? : ( ) : ( )
, , ( ).
, . . . , . , . , . , / . EMYCIN, KAS, E X PE R T , . , ROSIE
OPS5, ROSIE [99, 70, 71], , .
ROSIE , ROSIE, . , ROSIE , .
, 3023 3024 .
, s6-l 3023., s6-2 3024., s6-l 2000 ., s6-2 50 ., d6-l d6-2
.
-
160 I I .
, -1 -2 . ,
.
, , , .
, , .
, -- .
, [ , , , ].
, [, /, ].
, [, ]. , [ ,
]., [, ] . ,
ROSIE, , . . : . :
[1] , , .
[2] , , .
[3] , , :
, , 0.9, , , 0.8.
[4] , , : / , , 0.7, , , 0.8.
.
-
5. 151
, , . , - . , ROSIE , . , , ROSIE , . , , , , .
. .
: , , , . ?
: - ( ). , . , , .
: . , , .
, , , . , , . , . . , ( ROSIE) :
: , [, , ].
: , [, ] .
-
152 / / .
: 11] , , .
: [1.5] , , - 0.6.
: [2] , , .
, , . , , , . , - . , , . , , , . , .
(. . 5.5). . , . , . , , . . . .
-
/
, 5.5.
S
.
-
154 11.
5.2. ,
, , . , , , (. . 5.5). , . , . , , , . , .
5 .2 .1 .
. , , . .
5.2.1.1.
, . . , . , . . , , , , .
. , . , , , .
-
5. 155
, . .
5.2.1.2.
, . , , , . , . , , .
:
? ? ? ? ?
?
? ,
? , ? ?
. , . , , . , . , , , .
-
156 II .
5.2.1.3.
, . , , .
, . , , . , , , .
. , , . , - .
, , . . , , , , .
5.2.1.4.
, . , , . , , , .
, . , , - .
5 .2 .2 .
, , .
-
5. 157
, .
, : ? ? ? ? ,
? ? ? -
- , , . .? ?
? ? ? ,
, , ?
, , . . , , , . , .
, , - , , - . - . , .
, , , .
5 .2 .3 .
, , ,
-
158 I I .
, . , , , , , , . , , . , , .
: , . , , , . : , ? - - ? , , , - , , , .
, , . , , , . , . ( ) , , . - .
. , , -, (. . ) . , ,
-
5. 159
, , . .
? ?
? ? ?
, ?
; ?
, , () , , ()?
?
. .
, , . , , , - , . ; , (. . 6).
5 .2 .4 .
, . , , .
-
160 II .
.
- , , , . . , , , - . , .
. , .
, ( , , ). , . , , , .
5 .2 .5 .
, . - , , ( ). , . , - , /, , , . .
! (/) . - ,
-
5. 161
. , , . , , .
. . , . ( ) /.
. , . , ( , , ).
. , . , , , . , , . . , . , , .
, . , , , , . , , , . , .
- . , , , . ,
6 2 282
-
162 / / .
: , . , X Y V . : DENDRAL, , , . , . .
, - . , . , - . , , , , , ( ) , .
, , . 8.
5 .2 .6 .
, , , (. . 5.5). , , , , , , . , , , , ( , , , ).
, , . , . ,
-
5. 163
- - , , . , , .
, , (, , ). , . , , .
5.3.
: , , . , . , , . : , , .
5 .3 .1 .
, . . , , , . , (1) , (2) , (3) . , . 6 *
-
164 11.
( ) , .
, . , EMYCIN IN T ER LISP , , , . EMYCIN , , , , .
, - (EMYCIN, STAMMER, ROSIE), . , , . , , , , , , , .
(UNITS, KAS, AIMDS, AGE, ONCOCIN, RLL) , . , , .
, ( ) UNITS . , , , , , , . , , , , , . , . , ;
-
5. 165
. UNITS, , , .
5 .3 .2 .
, , . , , , , .
, . IN TER LISP, , . , .
, , , , , . - ( EMYCIN, KAS, EX PER T).
, , . , . : , , , . EMYCIN , , .
, , . :
-
166 I I .
? , , Y . , , .
. , , , X? Y ?.
5 .3 .3 .
, . , .
(. ) . , TEIR ESIA S [41], [42], , , , , , , , . , , . ,
TEIRESIA S , , , , . , , , TEIRESIA S , . , , . .
, , , . , , . EX PER T EMYCIN . EX PER T.
-
5. 167
, . , , .
, , , . , , EX PER T [167], , , . , . , ( , . .) .
5 .3 .4 .
. , . . , , , . , , .
. . , - [128]. , , -. , . ( ) , , ( ). , ( ), ([150], [151]).
[101] .
-
168 11.
. , . ROSIE [70], [71]. , , KLAUS [91], , , .
, . . . , , . , : .
. , . , . , [215], , . , , , , , .
- , . , , . , . , , , , .
.
-
5. 169
. , , , . , , , , . , , , , , . , , , , [40, 167], [191, 195],
198].
5.4. ,
, . , , . , . . , , . , , ( ) . , , , . , , . EU RISK O [119],
RLL, . , -
-
170 II .
, .
, , , . . . META-DENDRAL [27], , , , -. -. META-DENDRAL , [31].
, AQ11 [141], . , , ( - , , ).
, META-DENDRAL AQ11, , . ( ) , ( ). , , , AQ11 , , , . , ([25],
[166], [215], [229], [96], [209], [146], [115]).
. , , , , , , . , . .
, , [210]. , (, , ) . , , . , .
-
5. 171
, . [4, 117, 147, 148, 151].
, , . -, , , , . -, , , . , .
, . , , . , (, , KAS, E X PE R T , EMYCIN), . , , , (
[122]).
( ) , . , . , , , , [186] .
-
172 I I .
: (1) , , ; (2) , . , , , .
5 .4 .1 .
, , , . , . , ( , ). , - (, , -), , . , : (1) , ; (2) , , , , .
, , : , . , , , .
5.4.2.
, , , (
-
5. 173
). , . : , , .
, , , - . , , , . , - - . , .
, , , , , . , META- DENDRAL, [27], - . - , , . META-DENDRAL ,
DENDRAL, . : , . , . : .
, - .
-
174 I I .
. , , , . , , .
, . , . , .
5.5. ( )
, , , . . , .
5.5.1.
, , .
, . , , , .
, , .
, , . , .
-
5. 175
, , , 3 . .
.
, . , . .
, , .
, , , .
5.5.2. -I,
, .
, . .
.
, , .
.
. .
- , .
, ,
-
176 II .
. . , .
, .
, , . , . , . , -I , .
.
- , , . , , . , . .
, .
, -I. , , - , , , , , .
.
, . , , , .
- .
.
-
ff. 177
.
, . , . , , .
.
, . , .
, .
, . , , , .
.
-I - , .
, , .
, . , . , , , .
/, , , .
, , . , , . , . , .
-
178 II .
5.5.3. -1
-I .
-I , , - I I . , .
-1.
. .
.
, . , .
.
, , , , . , -I , , .
5.5.4.
, , .
. , , , (, , ) .
, .
. .
-
5. 179
, , , , , . ; , , .
, .
, . , , , , .
, .
, . , , .
, .
, . -. , , .
5,5.5.
.
. , , , , .
- .
-
180 II .
, . .
, , .
, , . .
.
, , . : .
5.5.6. -
-1.
-I . - I I , , .
- I I .
? ? ? (), ?
.
? ? ?
.
, . , , .
-
5. 181
5.5.7.
, .
? ? , ?
, .
? , . ,, .
.
, , , , . , .
5.5.8.
.
, , , . .
.
. ; .
.
, . , . .
-
182 II .
1. , ? ?
2. ? ?
3. , .
4. , . , ?
5. . , , .
.
-
6
,
. , . -
: - , . , , , , , .
. , , , . , , . , , (. . 2). -, . , . -, . , - . -, . , , . , .
-, , . .
-
184 I I .
, . , .
, , , , , . , , , . .
. , - [212]. , . , .
. , ( [230]), , EMYCIN [208], . , , .
, : EMYCIN, KAS, E X PE R T , OPS5, ROSIE, RLL, H E A R SAY-II I
AGE. , , , , ( . 10). , , : . 6.1 , , . 6.2 , . , , , . . 6.3 , . ,
. 6.4 .
-
6. 18S
6.1.
, (. [65]). , . : (1) , , , ; (2) .
. (ORNL). ORNL - , 200 . , 200 , . , . , , . - , - . , , , , ,
.
. , . . , -. , , .
-
186 II .
(. . 10).
. , , - . , . , , -, . , , , .
, . , , , , ; , .
, , , , . , . , .
6 .2.
, ORNL. , , , , .
-
6. 187
. 9, , .
, . , , , . , , . . , .
, . , , , . ( ) . , , . , , , . , , . , , , . . , , , , . ,
EMYCIN, E X PER T KAS, , -, , .
6.2.1. EMYCIN
6.2.1.1. EMYCIN
EMYCIN [207] - MYCIN [184], , . MYCIN , EMYCIN
-
188 II .
, . - EMYCIN () (), () , . . EMYCIN , 1 () + 1 (). , , (, 0.2),
, (, 0.2). . , [185].
EMYCIN . , , (, ), , , , . , EMYCIN .
6.2.1.2.
, EMYCIN, , EMYCIN. , . , . , :
, , . .
, EMYCIN, , ;
-
6. 189
, , , , .
6.2.1.3.
EMYCIN . : ; , , . , , , . EMYCIN , .
EMYCIN, , , -, . , , .
- ( ), , . . .
1) , , {-, , -, -}
2) , (1.0),
: . .
, EMYCIN, . EMYCIN:
-
190 I I .
1) , , ,
2) 3) ,
, , , .
, , : . , 13. , , , . , , , . 1.1 , EMYCIN. ( , , . , , , . 1 ,
.)
6.2.1.4. EMYCIN
EMYCIN , . , , . , , .
EMYCIN : . , , . - , EMYCIN.
-
6, 191
EMYCIN . ( ). , EMYCIN . , , , . , , , -. , , , , . , EMYCIN, .
, EMYCIN, , . , .
- , , .
6 .2 .2 . KAS
6.2.2.1. AS
KAS PROSPECTOR, , , [58]. KAS PROSPECTOR, EMYCIN MYCIN:
PROSPECTOR , .
KAS , , . : (1) : () (-> (-) (- ) (2) [105.]
-
192 / / .
, , () , , .
KAS , , , , - . KAS ( ); , , , , , , . , . , :
- 1 1 1 - - /
1 . , , . -- . . , :
Ls Ln ) - * ' )
Ls Ln , , , .
6.2.2.2.
KAS , , , KAS, .
-
6. 193
, . .
, , , , .
6.2.2.3.
AS : . : (1) ; (2) ; (3) ; (4) . . , , : (1) ? (2) ? (3) ? , , .
.
, KAS, , , . .
- , ; , ^, . KAS 1.2. .
6.2.2.4. AS
EMYCIN, KAS /, . ,
7 ?282
-
194 II .
, . - .
KAS . KAS , , , , . , , . , , , , .
KAS . , , . , KAS , , .
( ) AS. - . KAS , , , , , .
, EMYCIN, KAS, EX PE R T , , , . , , , . .
6.2.3. EXPERT
6.2.3.1. EX PE R T
E X PER T ,
-
6. 195
[219, 220]. , , .
, E X PE R T , , . , . , . , . , , . , . , , , EX PER T. . E X
PE R T ; FF, EH, . FF , :
1 , 2 .
FH , *
2 , 0.8.
, ! 0.4 1 2 0.6 1, 3 1.
EX PE R T , , EMYCIN. , , .
6.2.3.2.
, E X PE R T , . , , , . , , , ( , , , , ), -
7*
-
196 11.
, .
, , , , , , . EMYCIN : E X PE R T , .
6.2.3.3.
, E X PE R T , : , . E X PE R T , ( ), ( ) ( , ). .
+ + VIOL ORO-DOE .+ +
ORO ORO-DOE .+ + (
) ORO-DOE
ORO-DOE 0.9.
. . ( ) . , , DEM ( ) , ( DEM) , DEM .
-
6. 197
EX PE R T , , . , , . , , , . 1.3. EX PER T.
6.2.3.4. E X P E R T
, E X PE R T , EMYCIN KAS, . . , . EX PE R T . , .
EX PE R T () . . , EX PER T , , . . . E X PER T , , . , , E X P
E R T .
EX PER T . , E X PE R T , , . E X PER T, .
-
198 I I .
6.2.4. 0PS5
6.2.4.1. 0PS5
0P S5 , [79]. OPS, [81]. OPS5 , . , , , , :
(- - -)
, , :
( " H2S04 " " )
~ , . . () (), , , , . , , ,
( -6( " "
) () - > ( )).
OPS5 ; , , ( ) . , OPS5, , . , , . OPS5; . , , , ,
-
6. 199
. . , .
6.2.4.2.
, OPS5, , . , , . , , (, ) , . , , .
, OPS5 : , , , . .
6.2.4.3.
OPS5 - , . , . , , . , . (, ) . , , . , . , , , , . , .
-
200 I I .
OPS5 , . , . (, , ), .
, , , OPS5. OPS5, , 1.4.
6.2.4.4. OPS5
EMYCIN, KAS, EX PER T, OPS5 . , ( , ) . , .
OPS5 , , .
![SLEEN Corporate Presentation[1]600dpi](https://img.pdfslide.us/doc/110x75/577d25bb1a28ab4e1e9f7a72/sleen-corporate-presentation1600dpi.jpg)
