Professional Documents
Culture Documents
. -, . ,
E d ited by
Frederick H ayes-R oth
Teknowledge Inc.
Palo A lto, California
Donald A. W aterm an
The Rand Corporation
Santa Monica, California
Douglas B. Lenat
D epartm ent of Computer Science
Stanford U niversity
Stanford, California
1983
: . -, . , .
. . , . . . .
. J1.
1987
32.973
63
681 32
: . ./ .
6 3 . -, . , . . .: ,
1987. 441 ., .
,
,
. ,
. ,
.
,
.
1702050000216 ,
041 (01)87 4287 * 1
_
32-973
, , 1987
,
80- .
DEND RA L, MYCIN H EA R SA Y -II.
, , .
, 1977 (:
.: , 1980), .
, 1981 ,
,
(1983 ., )
.
,
. ,
.
?
. . (), 1981 :
! , ?!.
,
,
.
. 1971 (. , ,
. .: , 1973) :
,
( ) ,
, , ,
. ,
, , ,
, . .
,
.
.
. , . (. . ,
. .: , 1976)
-,
. ,
, , ,
: ?
, , .
,
,
, ,
, ,
, - . .
, ,
,
.
,
,
.
?
, , ,
,
, , .
,
,
.
,
500 .
-
,
. -
, 100 .
. -
VAX, DEC
10 . .
, , ,
, ,
,
!
,
,
.
(50 )
.
, ,
, ,
.
, , ,
.
,
.
, .
, , .
.
,
Teknowledge, ,
. -, ,
Addison-W esley. ,
,
.
. -,
, ,
. -,
, ,
,
, .
,
,
.
, ,
,
, ,
.
, ,
- ,
,
.
. ,
,
. , ,
,
(. -
) 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.
. -, . , .
, ,
,
, .
, , ,
.
, ,
,
-. ;
,
.
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].
DEND RA L,
,
,
[124].
CADUCEUS
, ,
,
- [170, 171].
PU FF
-
;
[73].
,
. -
.
, ,
- .
,
.
,
,
.
1.1.
1977 .
, .
,
,
, .
,
. ,
,
.
,
.
,
18
I.
[153, 158]. ,
,
.
70- .
, ,
,
[18, 20, 145, 202].
, ,
,
.
,
. ,
,
. , ,
,
:
,
,
.
,
.
,
,
. , .
. 1.1
. ,
, .
. ,
, .
DEND RA L
. ,
DEND RA L M ETA-DENDRAL [28, 27, 74, 124].
DEND RA L ,
-
.
.
,
,
,
,
.
1.
19
-------------------------------- A G E ------------------------------ -5
---------------------^ T E IR E S IA S
---------------- ^ P R O S P E C T O R ---------- ^ K A S ----------L --------------------------------- > / T A ---------- RO SIE - 4
IN T E R N IS T ------------------------------------------------------------ *
------------ C A S N E T ------------------------------- E X P E R T --------------------------- >
MATHLAB
----------- ^ M ACSYM A-
1965
1970
1975
1980
. 1.1.
. ( )
.
,
.
M ETA-DENDRAL DENDRAL
,
.
,
, .
, ,
. DENDRAL
,
.
,
SAINT [187], MACSYMA [139]
,
, .
DEND RA L, MACSYMA -.
.
20
/ .
, ,
.
,
,
,
.
E X P E R T [222, 223, 219]
,
CASNET,
. E X P E R T
,
.
CADUCEUS
. , [171, 169] , h MYCIN [184]
.
MYCIN ,
. 1982 100
, 85%
. ,
,
.
.
MYCIN
.
400 ,
. MYCIN
-
.
MYCIN
.
-,
MYCIN,
, .
MYCIN
T E IR E SIA S,
.
[46, 48]. - T E IR E S IA S
()
.
MYCIN
. PRO SPECTOR, , [58, 57],
,
1.
21
.
. MYCIN, PRO SPECTOR
, .
,
.
-
MYCIN, EMYCIN [205]. EMYCIN
MYCIN,
. EMYCIN
,
PU FF [83]. ROSIE ), RAND,
,
[70, 72].
ROSIE ,
R ITA ( Rand Intelligent Term inal Agent,
. e. RAND) [5, 6].
MYCIN,
.
R O SIE, ,
,
,
. ROSIE
,
.
PSG [154, 157] ,
,
OPS [81, 79], R1 [132, 133]
VAX
DEC. R1
.
. 1.1
, HEARSAYII [66]. H E A R S A Y -II, ,
,
.
, ,
1} RAND.
22
I.
.
, , ,
. ,
, H EA R SA Y -II,
([66]; . 4 ; [161]).
HEA RSA Y -II
, (
),
,
.
H EA R SA Y -II,
. AGE [160] H EA R SA Y -III
(Inform ation Sciences U niversity 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
[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] H EA RSA Y -II [66]
. ,
MYCIN,
,
,
.
, ,
.
MYCIN
,
, ,
.
, ,
.
MYCIN
.
, ,
,
.
( ).
. ,
, .
32
I.
, H EA R SA Y -II
,
.
,
,
. MYCIN
H EA RSA Y -II
, ,
.
,
,
,
,
,
,
,
,
,
,
.
HEA RSA Y -II -
,
.
,
[161],
[95], [195, 196],
[9, 12],
[160] [92].
. 1.3
. 4.
,
.
.
.
2,
3 4. ,
, ,
.
,
, 5, 9
.
, ,
, -
NJ
21182
.
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,
IN T E R L ISP. ROSIE
1.
37
ROSIE
OPS5
EMYCIN
KAS
AGE
IN TER LISP
R and ,
,
,
L IS P ,
Xerox L ISP
,
- , . ,
, ,
,
.
. 1.5
. (
. 6.)
, .
. 1.4 .
,
I.
38
1.5.
,
,
,
,
:
:
:
,
.
- .
emu----------\
____ )
\
\\
\ \
/)
//
/ /
/-
-------\
____ /
SGS wJnonm
. 1.4. .
,
,
(. .
).
,
,
.
1.4.
. ,
.
, ,
. -,
,
.
1.
39
,
. ,
.
, ,
.
.
.
,
, . ,
,
, ,
.
,
,
.
,
(.
. 2).
, .
, ,
, ,
.
,
,
(. . 7 [98]).
, ,
.
,
. ,
. , ,
,
.
.
,
,
, ,
.
1. ? ,
?
2. - , -
40
1.
,
. ?
3. ,
.
?
4. ,
, .
,
, ?
5. ,
- .
,
?
?
. , . , . ,
. , . ,
.
,
,
.
,
,
,
,
.
,
, , .
60-
DENDRAL,
. DENDRAL
,
-
-.
DENDRAL
, ,
:
, ,
.
,
,
.
,
.
,
. ,
, , ,
.
.
:
. ,
() .
/.
42
.
.
.
.
.
, .
,
.
.
.
2.1.
2.1.1.
, ,
.
, -
.
,
.
. ,
, ,
PU FF.
, , PU FF
,
,
. (
, ;
. PU FF
,
v .)
19--79 14 : 41 : 28
( P U F F
, ,
,
.)
-7
1) :
** 7446
1)
. 2.1. . .
2.
43
2) :
**
( 0 0 , , . .
)
3) /-:
**
261
4) () /
**
139
5) ( ) /:
**
111
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) :
**
PU FF
:
:
:
- : 17
:
/-: 261
/ -: 81
/: 139
1/ : 40
44
1.
/-: 12
/-: 117
5025: 9
, PU FF
:
.
( ) ,
1/ ,
.
.
,
.
,
.
, .
.
.
.
.
.
,
PU FF, ,
, , , - ;
,
, .
, ,
. - (),
.
,
. PU FF
[114]
.
95% - .
,
, , .
2.
45
, PU FF,
,
,
,
. (. . 2.1)
, 7999, - ,
94120
40.8 . 161 , 65 , . 5.12.76
(. .)
( ),
(),
(),
(),
/ , %
1
(1),
( ),
1/ , %
200 1200, /
2575%, /
, /
( =
- 6 .1 )
( = 4.8)
2 .7
2 .0
2 .9
(% .)
.
(% .)
(0.6)
(0.1)
(0.3)
2 .3
3 .8
<-.6
(0.7)
42.
2 .3
(0.5)
6.1
1 .5
(66)
1.6
(71)
2 .7
(0.6)
2 .3
(85)
2 .4
(88)
3 .6
(0.8)
1 .8
1.9
2 .6
(0.5)
0 .7
0.7
2 .5
(0.5)
2 .5
2 .5
1 .5
3 .4
2 .2
4 .7
(83)
(193)
(158)
3.1
3 .9
(129)
5 .5
62
82.
17.4
(116)
55.
64
23
(154)
(136)
66.
(72)
,
, .
,
1,
. .
,
.
: ,
, .
,
.
:
, .
. 2.1. ,
.
46
I.
, 7999, -,
94120
40.8 , 161 , 69 , . 13.5.80
~
(.)
( ),
(),
(),
/,%
1 (1),
( ),
1/ , %
(), /
2575% , /
( = 6 )
( =
= 4.8)
...
(% .)
(/ 0 .)
2.7
2 .3
(86)
2 .4
(90)
2 .0
4 .7
43.
2 .2
3 .8
6.1
62.
1.5
(188)
(130)
(148)
(115)
(68)
3 .0
5 .4
56.
1.6
2.7
2.3
(86)
2.4
(90)
73.
7.1
65.
1.8
(25)
67.
1.9
(26)
1.8
0.7
(39)
0 .7
(39)
0 .0
(0.0)
24.
1.5
17.4
(73)
2 .2
(72) (74%,
= 4 .7)
. ,
/ ,
. .
1/ ,
,
.
. .
.
:
.
, .
: 1.
, .
. 2.2. ,
P U F F PDP-11.
.
,
,
2.
47
. ,
(), . .
,
.
129%
, .
.
.
, PU FF,
. 2.2. ,
. ,
,
.
PU FF ,
,
.
2.1.2.
, PU FF, ,
,
.
. ,
,
, ,
.
DENDRAL [32, 271 1965 .
, . .
,
,
.
, - .
,
. -
DENDRAL ,
,
.
.
,
, -.
.
48
1.
DENDRAL
, [190] ,
-.
CASNET (Causal Associational Network
) 70- [221, 222].
, ,
, .
,
.
.
E X P E R T [219], ,
,
.
, MYCIN D EN D RA L,
,
. ,
,
.
, , ,
.
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
,
,
. , , ,
T E IR E S IA S [42],
, .
CASNET,
(
EMYCIN [205]) ,
.
T E IR E SIA S [42]
MYCIN.
, MYCIN,
, T E IR E SIA S
50
/.
, ,
,
.
,
MYCIN. , T E IR E S IA S
, .
, ,
, -
.
TE IR E S IA S
.
, ,
.
,
,
.
70- ,
,
, ,
H EA R SA Y -II [66],
. H EA RSA Y -II
( ),
.
,
,
.
(),
, .
HEARSAY-II
,
.
,
.
GADUCEUS, IN T E R
NIST [169],
,
.
85% ,
.
,
, -
. CASNET,
2.
51
CADUCEUS
, ,
.
CADUCEUS ,
.
,
,
.
CADUCEUS , ,
, . ,
, ,
,
.
.
SOPHIE [23]
, ,
- .
,
,
, .
SO PH IE ,
,
, .
(,
), SO PH IE
, ,
,
.
,
,
. ,
,
, .
PROSPECTOR [58],
MYCIN,
.
PROSPECTOR .
,
,
.
KAS (knowledge acqusition system),
, PROSPECTOR.
KAS ,
.
52
/.
,
, KAS
PROSPECTOR. KAS
, ,
PROSPECTOR.
, .
2.2.
.
, -,
,
. ,
,
.
,
, , ,
D END RA L .
, ,
?
,
. , ,
. , ,
,
. , ,
, . ,
, ,
, , ,
, .
,
, , , ,
, .
,
,
. ,
,
,
. ,
, ,
.
, . . .
,
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
DEND RA L
. ,
-
.
,
.
, .
,
,
.
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
,
. ,
, ,
, ,
. T E IR E S IA S ,
.
MYCIN.
MYCIN
,
.
.
MYCIN
,
. ,
EMYCIN KS300,
.
, ,
, .
MYCIN.
1 ( ) + 1 (
),
,
.
, MYCIN,
,
. ,
.
MYCIN
, .
.
[26]. MYCIN
, PU FF,
MYCIN
.
/.
2.3.5. CADUCEUS
CADUCEUS .
( ),
, . .
. ,
,
.
. ,
.
,
, 500 , 350
100 000
.
, ,
.
.
, ,
( ).
()
.
- -
.
,
.
, ,
.
CADUCEUS
.
,
CADUCEUS,
.
, ,
,
.
()
.
.
CADUCEUS
.
, -
2.
67
.
, ,
.
2.3.6. PROSPECTOR
PROSPECTOR
.
,
.
, .
, ,
,
.
(KAS),
.
PRO SPECTOR .
,
; ,
100
.
.
.
PROSPECTOR
-.
KAS.
.
2.4.
, ,
, .
, (1980) [93]
?,
:
(
), ,
.
3
1.
68
-
.
.
,
, .
, -.
,
[26], :
.
.
( ).
.
.
.
,
.
.
,
,
.
.
1.
, 1980. .
.
2. , ,
,
, (1982) [26],
, .
,
. ,
, ;
,
;
.
3. , -, ,
. ,
-
2.
69
,
.
,
.
4. (1979) [21]
, . . ,
,
.
1. , ,
,
.
,
?
2.
. ,
?
3. ?
?
4.
? ?
? ?
5.
?
, ,
?
. , . , . , . , J1. ,
. -, .
,
,
. ,
,
.
.
, ,
.
,
.
.
1962
, .
, ,
. ,
,
.
,
, , .
,
.
(., , [162]),
[37].
,
,
. ,
. ,
. ,
, ,
. ,
3 . ,
71
.
,
, ,
.
,
.
3.1.
1975
. . :
.
,
, ,
,
.
, .
,
.
,
,
,
.
,
. ,
,
.
3.1.1.
,
459] ,
, ,
.
, , , .
:
-13
I.
72
3.14159
:
( 1 2)
( 5 X)
(-- ( ) ( ( )))
, ,
,
.
, ,
[37].
3.1.1 .
,
.
, ,
,
XI
( )
( )
( )
( 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*) ( ( )- ( ))
(() ( * ) ()))
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
. ,
.
,
, , . , ,
A q \/
,
, , . D,
F ,
DVE
DVF
EVF
,
DVD
DVEVE
d v e v d v e
DVEVEVEVEVEVEVEVE
. ,
. ,
. (
,
.)
. ,
. ,
,
. ,
, . (
[162],
, .)
, ,
,
, .
, ,
,
. ,
. ,
, . ,
, -,
3. ,
77
, , ,
.
, .
,
.
.
3.1.2.
([84], [162]).
, ,
, .
, .
.
.2.1.
.
.
,
.
. ,
, ,
, .
,
,
. ,
, 1 8.
,
. 3.2. , ,
.
.
,
,
. , ,
, ,
, . . 3.2
.
. ,
. -
78
I.
1 4 3
7
5 8 2
1 4 3
7 6
1 4 3
1 4 3
1 4 6
7 0 6
7 6
5 8 2
5 8 2
5 8 2
1 4 3
7 Q 6
5 2
1 3
7 4 6
5 2
\1
1 3 6
i 4 2
5 8
. 3.2. .
, ,
, .
,
, ,
. .
.
3. ,
79
3.1.2.2.
,
.
.
, ,
.
, ,
- .
.
,
.
,
,
, . .
.
,
,
. . ,
,
.
.
,
.
3.1.2.3.
, .
,
,
, .
,
,
, .
,
.
,
1.
80
.
.
. ,
,
,
, .
, , [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.
.
, ,
. ,
, .
( ( ))
,
.
. , ,
.
.
, , ,
:
( - ).
,
-.
,
.
,
,
. -
I.
90
--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)
, ,
/ .
, ,
.
,
,
,
, .
,
. (5)
,
.
,
,
. (6)
.
,
. ,
, .
: , ,
, , .
- [27]
.
.
. ()
, .
. ,
.
,
.
-
().
,
,
. (
) ,
, ,
. , ,
, .
, -
3. ,
99
, ,
.
.
1.
. ,
.
2.
?
3.
: , ,
, , , ,
, ? ?
4. ,
,
?
5. ?
,
?
. , . . , . - , . , . , . , . , .
. ,
. .
.
, ,
,
.
4*
II.
. , . , . , . , 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 K LEB SIELLA 0,25)
: -2 0,25 Kleb
siella. ,
. 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 ( V enti
lator Manager) (. [6 8 ,69]) ,
,
. VM ,
.
,
.
,
,
. VM
.
,
.
VM ,
. VM
: ,
, . VM
.
, ,
.
:
,
20 ,
I/EW 20 ,
().
.
, VM
.
. VM
,
( ,
II.
110
,
).
. :
,
(. 4.1):
4.1
02
60
22
110
60
75
60
28
30
40
150
95
110
120
45
120
50
VM .
.
,
,
. VM
.
, ,
.
, , ,
, ,
.
VM ,
.
,
,
. ,
.
,
,
.
4.
111
,
, ,
.
4.4. ,
,
(. 4.1), , ,
.
.
.
, .
,
,
. ,
, .
,
, .
,
.
D END RA L [27] , ,
,
(
). ,
. ,
, ,
,
, .
, D END RA L,
,
GA1 [193].
DEND RA L, GA 1
,
, . . 4.2
, GA1
. ,
.
, , ,
.
, GA1,
, ,
, .
112
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 <> <> <> <,
. , ,
, . 4.2,
2 .
, ,
. ,
, . .
.
GA1 ,
.
,
.
,
.
. GA1
,
.
.
114
(. .
) ,
. ,
,
,
. GA1
.
,
.
,
.
, ,
,
. ,
,
.
.
4.5.
,
. ,
,
.
.
,
.
, .
,
.
(. . 3),
,
.
, ,
.
,
.
R1,
[133]. R1
VAX
P ig ita l E quipm ent C orporation. R1
4 .
115
,
,
, .
.
, (. .
, ),
R1
, , .
,
. R1
:
1. , -
( ,
. .).
2.
.
3. UNIBU S
.
4. .
5. .
6. .
.
, .
R1
.
:
,
UNIBUS ,
( )
,
,
,
7101,
7101 .
R1 800 ,
VAX. ,
. ,
. R1
, (
)
116
, .
, 400
VAX.
, . (
VM,
,
R1.)
R1
(M atch), [154] .
R1
,
.
,
.
. R1
;
- .
, R 1
.
,
, , .
,
. , R1
,
. , ,
,
,
.
R1 .
UNIBU S , ,
, ,
.
().
R1 .
, ,
,
. R1 ,
.
.
, ,
. ,
4.
117
,
, ,
- .
4.6.
, ,
,
.
.
, , [95],
. ,
, .
, .
:
(
) ,
.
,
.
,
.
, . .
.
,
,
.
,
. (
.)
,
,
A B STRIPS ( [180]).
A BSTRIPS
, ,
() . AB STRIPS
,
,
,
.
.
118
I I .
A B STRIPS ,
, ,
,
().
(
), ,
. ,
:
()
-
-
4
3
,
.
.
,
.
,
.
A B STR IPS
.
, . .
. , ,
,
, ,
.
, .
. , -
.
,
.
,
-.
A B STRIPS
S T R IPS ,
. ,
. A B STR IPS
, ST R IPS,
.
.
4.
119
.
,
.
,
.
,
.
,
.
,
, ,
( )
. ,
. , ,
.
4 .7.
,
,
. ,
(. . )
.
,
. ,
,
,
.
,
:
,
;
,
;
,
;
.
. 4.3
, NOAH, [182].
NOAH ,
, .
120
I I .
'. 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
.
,
A B STRIPS, 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= 1 0 , = 5 /4 .
.
:
.
( ). ,
,
, ,
.
,
. EL
.
125
4.
R1
R3
R5
+
10
R1
5 0
50
V V v
4 /5
R5
5 0 /
2
|----------W v -------- 1 V W
2/5
/5
>
R2
> 10
>
R4
> 1 0 /
2/5
/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.
, ,
,
, ,
.
.
.
.
, ,
.
H EA R SA Y -II [66].
4.
129
, HEARSAY-I1
.
,
.
SYN ([200]; [51]). SYN
, . .
. EL
, , ,
. SYN (
, ) ,
.
SYN
, EL. , ,
,
,
, .
, ,
,
, :
, .
SYN ,
. , ,
SYN .
,
.
.
,
, , SYN
,
. ,
. ,
.
.
,
. ( )
. , ,
.
5
2282
130
4.10.
. H EA R SA Y -II,
, ,
.
H E A R SA Y -II, ,
,
.
, ,
. H EA R SA Y -II
.
H E A R SA Y -II,
,
, (),
. 4.8.
,
,
,
, ,
.
:
.
SEC
,
,
.
MOW
,
.
-
,
.
-
.
-
,
-.
,
.
,
-.
RPOL
.
4.
131
*
-
-.
--.
R P0L
M OW
. 4.8,
,
, ,
H EA R SA Y -II
.
-: ,
. . .
,
,
, . ,
,
,
.
I L
132
Bob
Bob
Bob
Bob
rings
rings
brings
brings
.
HEA RSA Y -II
.
,
, .
,
,
. .,
.
.
,
.
4.
133
H EA R SA Y -II
, .
, H EA R SA Y -II
,
, .
.
, . ,
,
,
.
,
.
H EA R SA Y -II ,
,
. ,
,
, ,
.
,
H EA R SA Y -II, ,
GA1, . 4.4.
. GA1
,
.
.
H EA R SA Y -II
-.
, ,
. , H EA R SA Y -II
.
, HEA RSA Y -II
,
.
.
,
, . ,
,
.
134
I I .
4.11.
-
,
. ,
,
.
, .
,
, .
, .
.
,
(, [111]). ,
(DENDRAL, GA1,
H EA R SA Y -II) .
, , ,
, ,
.
, .
,
. , GA1,
,
,
.
, ,
. ,
,
.
,
.
.
, ,
.
[40],
4.
135
. ,
[16] .
, ,
.
,
.
,
.
, , ,
.
1. [35]
.
,
, .
2.
[47].
, , ,
, ,
, .
,
.
, .
, OPS2,
[81].
[78, 80].
: .
,
. ,
,
,
. R E T E ,
, ,
.
, *
. -
, ,
,
, HEARSAY-I1 [103.]
3. , EMYCIN,
, ,
136
11.
[206]. EMYCIN
, , ,
: ,
, .
, EMYCIN
,
EMYCIN
. EMYCIN
, ,
LISP.
4. H A R PY , [126], ,
. H A R PY
( ),
.
, H A R PY ,
.
H A R PY
,
.
.
.
.
, HA RPY
.
.
,
,
H A R PY , . ,
(13
PDP-10 ).
.
,
, ,
. ,
.
4.
137
, , , .
, ,
,
, ,
, .
,
.
, , ,
,
,
. , - [120]
,
,
, ,
( )
. ,
,
.
,
.
, ,
.
4.12.
, ,
,
.
.
(. 4.2)
. ,
.
,
. ( )
.
.
.
,
. . 4.10
, ,
,
,
138
I I .
,
.
,
. ,
,
. -
,
, ,
.
,
,
. ,
.
,
, .
.
,
. ,
.
. ,
,
.
, ,
.
,
.
(. 4.5) , .
, ,
, ,
.
: ,
.
,
.
.
.
(. 4.6)
4.
139
,
.
.
,
,
.
.
,
,
.
, ,
, ,
,
.
( )
. ,
, ,
, .
,
.
. 4.8 , ,
, ,
.
,
.
, (
),
.
,
. ,
,
.
, .
,
.
.
,
/ / .
140
,
, .
, .
.
, ,
.
,
,
.
,
.
1.
?
?
2. ? ?
3. ? ?
4.
.
, (
) , ?
5.
.
?
?
. , . , . , . , . ,
. , . , .
.
.
, . ,
, ,
.
;
.
,
.
.
, ,
,
, ,
. ,
, ,
, .
,
.
( )
( )
.
.
, ,
, .
. ,
:
.
,
.
. , ,
142
11.
.
-
,
.
, .
,
,
.
.
, . ,
- .
.
,
, D END RA L MACSYMA.
, ,
,
,
:
.
. 10 .
.
, ,
.
.
5.1.
.
, , .
.
, ,
- . ,
, , ,
,
.
5.
143
,
,
.
,
.
5 .1 .1 .
.
, .
,
, ,
. ,
,
;
, .
, .
,
, ,
.
, ,
,
.
.
5060- ,
, .
, .
,
, ,
-
.
, .
, ,
,
, .
. , -
I I .
144
5-----
(
)
(
)
. 5.1.
.
------
(
)'
(
)
. 5.2.
.
(
)
( /
)
. 5.3.
.
(
)
-
( /
")
. 5.4.
, ,
5.
145
. . 5.1
.
,
,
, .
:
, ,
.
, ,
, . 5.2.
,
.
.
( ) (
). ,
Advice Taker [128]; , -,
T E IR E S IA 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 P E 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 .
,
.
, , ,
.
, ,
.
, - .
, [ ,
, , ].
, [,
/, ].
, [, ].
, [ ,
].
, [, ] .
,
R O SIE,
,
.
. :
. :
[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.
154
11.
5.2.
,
,
,
.
, , ,
(. . 5.5).
,
.
,
.
,
,
,
.
,
.
5 .2 .1 .
.
, , .
.
5.2.1.1.
,
.
.
,
. ,
.
.
,
, , ,
.
. ,
.
, ,
,
.
5.
155
,
.
.
5.2.1.2.
,
.
, , , .
,
.
,
,
.
:
?
?
?
?
?
?
?
,
?
, ?
?
.
,
.
, ,
.
,
. , ,
,
.
156
I I .
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
.
: DEND RA L, ,
,
.
,
.
.
,
- .
, .
,
- .
,
, ,
,
,
( )
, .
, , . 8.
5 .2 .6 .
,
, ,
(. . 5.5).
, ,
,
,
, ,
.
,
,
, ,
( , , , ).
,
,
. ,
. ,
5.
163
- -
,
, .
,
, .
,
,
(, , ).
,
.
, ,
.
5.3.
: ,
,
.
, .
,
, .
:
,
, .
5 .3 .1 .
, .
. ,
, ,
.
, (1)
, (2)
, (3)
.
,
.
6*
164
11.
( )
,
.
,
. ,
EMYCIN IN T E R L IS P
,
,
, . EMYCIN
,
, ,
,
.
,
- (EMYCIN, STAMMER,
R O SIE),
. ,
, . ,
, ,
,
, , ,
.
(UNITS, KAS, AIMDS,
AGE, ONCOCIN, RLL)
, .
,
,
.
,
( ) UNITS
. ,
, ,
,
,
, .
, ,
,
, ,
.
,
.
,
;
5.
165
. UNITS,
,
,
.
5 .3 .2 .
,
,
.
,
, ,
, .
,
. IN T E R L IS P ,
,
.
,
.
,
,
, ,
,
.
- ( EMYCIN,
KAS, E X P E R T ).
, ,
.
, .
:
, ,
, .
EM YCIN , ,
.
,
,
.
:
166
I I .
?
, ,
Y .
, ,
.
. ,
, , X? Y
?.
5 .3 .3 .
,
.
,
.
(.
)
. , T E IR E S IA S [41], [42],
, ,
,
, ,
, ,
.
, ,
.
, T E IR E S IA S
,
,
,
, .
,
, , T E IR E S IA S
,
. , ,
.
.
,
,
,
. ,
, . E X P E R T
EM YCIN . E X P E R T .
5.
167
,
.
,
,
.
,
, ,
.
, , E X P E R 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.
,
,
. ,
, .
,
.
.
,
,
.
,
,
( )
.
, ,
,
. ,
,
. E U R IS K O [119], RLL,
.
, -
170
II.
,
.
,
, ,
. . . M ETA-DENDRAL
[27], , , ,
-.
-.
M ETA-DENDRAL ,
[31]. ,
AQ11 [141],
. , ,
( -
,
, ).
, M ETA-DENDRAL AQ11,
,
.
( )
,
( ). , ,
, AQ11
, ,
,
.
,
([25], [166], [215], [229], [96], [209], [146], [115]).
.
, ,
, , , ,
.
, .
.
,
,
[210].
, (,
, ) .
, ,
.
,
.
5.
171
,
.
[4, 117, 147, 148, 151].
,
, . -,
,
,
,
. -, ,
,
.
,
.
,
. ,
,
. ,
(,
, KAS, E X P E R T , EM YCIN),
.
,
,
,
(
[122]).
(
)
,
.
,
.
,
,
, ,
[186]
.
172
I I .
: (1)
, ,
; (2)
,
.
,
,
, .
5 .4 .1 .
,
, ,
.
,
.
, ( ,
). ,
(, ,
-), ,
. ,
: (1)
, ; (2) ,
,
,
,
. ,
,
:
,
. ,
,
,
.
5.4.2.
,
, , (
5.
173
). ,
.
:
,
,
.
, ,
,
- .
,
,
,
.
,
-
-
.
,
.
,
,
, ,
, . , METAD EN D RA L, [27],
- .
-
, ,
. M ETA-DENDRAL
,
DEND RA L,
. :
,
.
,
. :
.
,
- .
174
I I .
. ,
,
, . ,
,
.
,
.
,
.
,
.
5.5.
( )
,
,
,
.
.
,
.
5.5.1.
,
,
.
, .
,
, ,
.
, ,
.
,
,
.
,
.
5.
175
,
, , 3
.
.
.
, .
,
.
.
,
, .
,
,
,
.
5.5.2. -I,
,
.
, .
.
.
,
,
.
.
.
.
-
,
.
,
,
176
I I .
.
. ,
.
, .
,
, .
,
.
,
.
,
-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
I I .
,
. .
,
.
,
, . .
.
, ,
. :
.
5.5.6. -
-1.
-I
. - I I
,
,
.
- I I
.
?
?
? (
),
?
.
?
?
?
.
,
. ,
,
.
5.
181
5.5.7.
,
.
?
?
, ?
,
.
?
,
. ,,
.
.
, ,
, ,
.
,
.
5.5.8.
, ,
,
.
.
.
.
;
.
.
,
. ,
.
.
182
I I .
1.
,
? ?
2.
? ?
3. ,
.
4. ,
. ,
?
5. .
, ,
.
,
. , . -
: -
,
.
, ,
, ,
,
.
.
,
,
,
.
,
,
. ,
,
(. . 2). -,
.
,
. -,
. ,
-
. -,
.
,
,
.
,
. -,
, . .
184
I I .
, .
,
.
,
, , , ,
.
,
, ,
.
.
.
,
- [212].
,
.
,
.
.
, ( [230]),
, EMYCIN [208],
.
,
,
.
,
: EMYCIN, KAS, E X P E R T , OPS5, R O SIE, R LL, H E A R
SA Y -II I AGE. ,
,
, ,
(
. 10). ,
, : . 6.1
, ,
. 6.2
, .
, ,
,
. . 6.3
,
. , . 6.4
.
6.
18S
6.1.
,
(. [65]).
,
.
: (1)
, ,
,
; (2)
.
.
(ORNL).
ORNL -
, 200 . , 200 ,
.
, . ,
,
. -
, .
,
,
, ,
,
.
. ,
.
.
,
-.
,
,
.
186
I I .
(. . 10).
. ,
,
- .
,
.
, , -
, .
,
,
,
.
,
.
, , ,
,
;
,
.
, ,
,
,
.
,
. ,
.
6 .2 .
,
ORNL. ,
,
,
,
.
6.
187
. 9, ,
.
, .
, , , .
,
,
.
.
,
.
,
. , ,
,
.
( )
.
, ,
. , ,
,
.
,
,
. ,
, ,
.
.
, ,
, ,
. , EMYCIN, E X P E R 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
. , ,
(,
), ,
,
, .
, EM YCIN
.
6.2.1.2.
, EMYCIN, ,
EMYCIN.
,
.
,
. ,
:
,
,
.
.
, EMYCIN,
, ;
6.
189
, ,
,
,
.
6.2.1.3.
EMYCIN
.
:
;
,
,
.
, ,
,
. EMYCIN
, .
EMYCIN,
,
,
-, .
,
, .
-
( ), ,
.
.
.
1) , ,
{-, ,
-, -}
2) ,
(1.0),
:
.
.
, EM YCIN,
.
EM YCIN:
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
PRO SPEC TO R , ,
,
[58]. KAS
PRO SPECTO R, EMYCIN MYCIN:
PR O SPEC
TOR , .
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
I I .
, .
-
.
KAS
.
KAS ,
,
,
, .
, ,
.
, ,
, ,
.
KAS
.
,
,
. , KAS
,
, .
(
) AS.
-
. KAS ,
,
, ,
,
.
, EMYCIN, KAS, E X P E R T ,
,
,
. , ,
, .
.
6.2.3. EXPERT
6.2.3.1. E X P E R T
E X P E R T ,
6.
195
[219, 220].
, ,
.
, E X P E R T ,
,
. ,
. ,
. ,
.
,
,
.
, .
, ,
, E X P E R T .
. E X P E R T
; FF, EH , . FF
, :
1 , 2 .
FH , *
2 ,
0.8.
,
! 0.4 1
2 0.6 1,
3 1.
E X P E R T ,
,
EMYCIN.
, ,
.
6.2.3.2.
, E X P E R T ,
. ,
, ,
. ,
, ,
( , , , ,
), 7*
196
11.
,
.
, ,
, ,
, ,
.
EMYCIN
: E X P E R T ,
.
6.2.3.3.
, E X P E R T ,
:
,
. E X P E R T
, (
), ( ) (
, ).
.
+ +
VIOL ORO-DOE .
+ +
ORO
ORO-DOE .
+ +
(
)
ORO-DOE
ORO-DOE
0.9.
.
.
(
)
. ,
, DEM (
) ,
( DEM) , DEM
.
6.
197
E X P E R T ,
, .
,
,
. ,
,
,
.
1.3.
E X P E R T .
6.2.3.4. E X P E R T
, E X P E R T ,
EMYCIN KAS,
.
.
,
.
E X P E R T
.
,
.
E X P E R T
() .
.
, E X P E R T
,
, . .
. E X P E R T ,
,
.
, ,
E X P E R T .
E X P E R T
. ,
E X P E R T ,
, .
E X P E R T ,
.
198
I I .
6.2.4. 0PS5
6.2.4.1. 0 P S 5
0 P S 5 ,
[79]. OPS,
[81]. OPS5
,
. , ,
,
, :
( - -
- )
, ,
:
( " H 2S04 "
)
"
~ , .
. ()
(),
,
, ,
. ,
,
,
( -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, E X P E R T , OPS5
.
,
( ,
) .
,
.
OPS5 ,
,
.
.
,
,
. OPS5
, ,
,
, OPS5
, ,
.
OPS5,
OPS5,
. ,
, :
,
. OPS5
,
.
6.
201
. R1,
VAX-11 [132, 133, 134],
, ,
.
OPS5
.
, ,
-.
OPS5
, ,
, , ,
. ,
. ,
,
.
6.2.5. ROSIE
6.2.5.1. R O S I E
ROSIE ,
,
[70, 71]; [99].
,
ROSIE .
-
ROSIE. ,
,
.
:
1.
2.
3.
4.
5.
S11 .
.
S11 .
.
S11 .
.
S11 .
.
S11 .
.
:
6.
S 11 .
.
I I .
202
.
:
1,2
1.2.3
1.2.4
1,2,6
.
S11 ,
.
.
,
.
,
. R O SIE (
, ):
(
, ),
,
( ) ( ).
ROSIE ,
, .
,
.
, (
. I
ROSIE
: ,
; ,
, ,
; ,
. ROSIE
,
,
.
6.2.5.2.
, R O SIE,
,
.
,
,
.
,
(,
6.
203
), ROSIE
,
.
ROSIE
: ,
,
,
, .
,
.
ROSIE ,
: (
) ( ).
6.2.5.3.
, R O SIE,
:
. ,
, .
,
, ,
.
(, ),
. ,
, .
(.
1.6). ,
,
.
, .
- ,
.
:
, s6-8 3518.
, s6-8 32 .
, s6-19 3517.
, s6-19 10 .
- ,
.
204
/ / .
,
,
,
, .
,
-
, ,
, ,
s6-8 3518. (
, ,
.) ,
, ,
,
.
6.2.5.4. ROSIE
, R O SIE,
, /
. ,
^,
, .
ROSIE
.
, ,
.
,
.
.
ROSIE
,
(. . ),
.
, -
.
ROSIE
.
, -
,
. ROSIE
. -
6.
205
,
,
. , ROSIE
,
.
ROSIE
.
(
), -
ROSIE. , R O SIE,
.
ROSIE
,
( [71] ).
1.6.
ROSIE. ,
,
.
,
, 1.5.
6.2.6. RLL
6.2.6.1. RLL
RLL ,
,
[89]. RLL
.
'.
RLL
. RLL
, ,
, ,
,
. RLL
, . ,
,
, ,
. ,
206
I I .
RLL ,
, CASNET,
. RLL
, - .
,
.
6.2.6.2.
, RLL,
,
. ,
, -
, .
.
(, ,
, ,
.)
RLL
, ,
.
6.2.6.3.
, RLL,
:
. ,
.
, ,
, .
RLL
. -
. ,
,
, , , ,
( ,
).
,
, ,
.
RLL 1.7.
25 152 .
6.
207
RLL ,
. ,
, ,
. ,
RLL (,
KRL U N ITS; [18] [193, 194]).
, ,
3504
.
33504
:
()
:
3504.
: ,
:
()
: 33504
:
()
: 33504
: ,
,
.
113
:
: (And (
(
))
: ((Eq
))
:
(Put
)
:
:
368
, ,
,
.
(, )
.
,
,
.
, , ,
208
11.
, .
; ,
.
,
.
, ,
,
.
6.2.6.4. RLL
OPS5 HEARSAY, RLL
/,
.
.
,
, .
RLL
. RLL
. , RLL
,
.
,
,
. RLL
, (. [117, 118, 89]).
,
,
256 IN T E R L ISP DEC 20 [189].
RLL .
RLL. . ,
,
.
RLL
. RLL
,
,
.
6.
209
. ,
,
.
RLL
. ,
,
,
. ,
R LL, , ,
;
[116, 48]. RLL
,
, .
6.2.7. HEARSAY-III
6.2.7.1. H E A R SA Y -III
H E A R SA Y -III -
[9, 67]. ,
. H EA R SA Y -III
([123, 66]),
,
() . HEARSAYIII
,
. :
-
. ,
,
.
,
. , ,
. ,
,
.
,
,
.
210
II.
6 .2 J .2 .
, H E A R S A Y -III,
.
, , ,
,
.
,
.
,
, ,
,
.
6.2.7.3.
, H E A R S A Y -III,
:
. ,
,
( ,
^ ), .
H EA R SA Y -III
,
.
H EA R SA Y -III
, ,
,
.
: ,
(), ,
(), ,
().
.
,
.
.
,
,
.
211
.
,
( ),
.
,
. ,
(, ) ;
,
.
,
.
,
.
,
, .
, .
6.2.7 . H EA R SA Y -III
OPS5 H EA R SA Y -III
/, .
,
.
H EA R SA Y -III
,
.
,
H E A R SA Y -III. , H EA R SA Y -III
;
,
.
H EA R SA Y -III,
, ,
,
.
(
).
H EA R SA Y -III
,
.
212
I I .
(-)
. H EA R SA Y -III
, ,
.
H EA R SA Y -III
, H EA R SA Y -III
. , ,
, HEARSAYIII .
.
, ,
H EA R SA Y -III
, ,
, , , MYCIN -,
.
.
6.2.8. AGE
6.2.8. cucmeMbP'AGE
AGE,
A ttem pt to G Eneralize ( ),
,
[160]. ,
. , AGE
, KAS.
,
EMYCIN, .
AGE
: .
,
;
.
,
.
. ,
, .
6.
213
.
,
.
EMYCIN.
, ,
. ,
H EA R SA Y -III.
6.2.8.2.
, AGE,
:
.
, ,
, ,
, .
, ,
AGE ,
, (
, ),
.
, .
6.2.8.3.
, AGE,
:
.
,
, ,
, .
,
,
. ,
, ,
.
, ,
, .
. ,
3503,
:
-: (MEMB/OF -
( 33503)
214
/ / .
)
(). ,
, ,
:
(VA LUE
) = - ; ( .
- ( -
)
:
, ,
AGE
, ,
,
, . ,
.
( )
, ,
,
.
6.2.8.4.
AGE /,
.
.
.
AGE ,
,
. AGE
:
.
, AGE
.
AGE.
AGE
. AGE
, ,
6.
216
, .
, ,
.
AGE ,
.
.
, .
AGE
.
AGE
, ,
.
,
,
.
,
.
6.3.
.
: ,
.
6 .3 .1 .
, KAS,
.
EMYCIN, E X P E R T , RLL, AGE
,
. OPS5, ROSIE H E A R SA Y -III
,
,
.
H EA R SA Y -III
, ,
. , KAS
,
. ,
,
.
, , EMYCIN
216
11.
, KAS
. E X P E R T
RLL .
AGE ,
. OPS5, ROSIE H EA R SA Y -III
.
6 .3 .2 .
. (EMYCIN, KAS,
E X P E R T , OPS5 ROSIE) ,
, , ,
.
EM YCIN, KAS E X P E R T
( EMYCIN),
. ,
,
,
,
, ,
. EMYCIN
-, ,
E X P E R T
, . KAS
.
,
EM YCIN, KAS E X P E R T
.
,
EMYCIN, KAS E X P E R T , -
.
,
, . .
( ).
, ,
, ,
/
.
OPS5
ROSIE ,
6.
217
,
EM YCIN, KAS E X P E R T .
. ROSIE
OPS5, - . OPS5
, R O SIE,
. ,
OPS5 R O SIE,
,
, ,
.
, /,
EMYCIN, KAS E X P E R T .
OPS5 (
OPS5 /
, R O SIE,
), ROSIE
.
.
; ,
, .
( ),
OPS5 ,
ROSIE
, .
. , H EA R SA Y -III
. AGE
, . , RLL
.
. RLL
,
.
.
/ .
H E A R S A Y -III, AGE
,
21$
11.
. -,
,
,
. RLL ,
,
. ,
,
. - ,
. RLL
,
,
.
, R LL,
.
RLL, H E A R SA Y -III AGE -
.
H E A R S A Y -III,
RLL AGE
,
.
(
) ,
OPS5 RLL. OPS5
, ,
,
. OPS5
-
5~
,
.
6 .3 .3 .
, ,
.
. ,
, .
-
.
6.3.3.1. 1: 6-2 6-1
,
. , 6-2 6-1;
219
.
EM Y C IN . EMYCIN
,
6-2: ([] - () 6-1).
KAS.
KAS , KAS
,
, :
6-1
6-2
6-2 6-1
EX P E R T . EMYCIN KAS,
E X P E R T ,
.
E X P E R T
, ,
,
, .
OPS5.
,
.
( - ' 6-2
6-1).
R O SIE.
, 6-2 6-1.
, 6-1 6-2 .
. ,
, ROSIE
,
, :
-:
-
( , -).
.
6-1.
I I .
220
RLL.
, , 6-1,
6-2 , :
6-2
( )
:
:
(6-1)
6-1
:
:
()
(-2)
:
:
(6-1, 6-2)
.
:
:
()
:
:
(-, ,
, . . ,
).
H E A R S A Y -III.
, ,
,
-. -
-,
H E A R S A Y -III . ,
( 6-2 6-1).
A G E. AGE
,
. ,
6-2 ( 6-1 6-3).
6.3.3.2. 2:
, ,
, ,
, ,
.
EM YCIN.
EMYCIN. , ,
,
,
6.
221
,
.
KAS.
KAS ,
. ,
-
-
-
-
-
E X PER T .
E X P E R T ,
: ,
, 1, .
:
+ +
+ +
.
+ +
f (, t ) - > / (, 1.)
OPS5. E X P E R T ,
OPS5
.
, ,
, :
( -
( " "
- )
( " -
" (
( " () "
)
---- >
( " ()
" ))
ROSIE. ROSIE
,
, , :
I I .
222
, .
RLL.
: -
( ):
.
()
X
:
:
:
:
:
?:
()
( )
(?)
, ,
.
, ,
RLL.
,
. ,
-, .
H E A R S A Y -III. AGE OPS5,
;
( ) -
( ).
,
, ,
.
A G E. AGE, RLL,
!
-
( - )
-( -
)
-( . . .)
-( U - )
6.3.3.3. 3: HF,
,
,
, .
6.
223
EM Y CIN.
1) HF
(1.0),
: H F
.
EMYCIN :
:
:
:
:
:
:
:
:
:
( H F )
( )
( , HF,
- )
( 12 3)
(
H F !)
KAS.
KAS (),
,
HF:
:
:
:
2
2 H F
2
( ,
)
EX PE R T . ,
, H F,
,
:
**
* -
:
HF
HF.
I I .
224
**
.
**
/(h f, t ) - + h (, 1.)
OPS5.
, ,
:
( - -0-H F
( ' " <
( " HF)
( " -- - )
----------
>
( 1 " )
( " () " "
- <>
" - -- ))
( -- -
( " " - -
( " <
--------- >-
( () ,
<>
( ()
))
R O SIE.
(),
, ,
HF:
, HF:
!
.
RLL.
RLL :
332
:
:
:
:
:
()
((EQ HF))
!
H E A R S A Y -III.
,
6.
225
. OHMTADS ,
.
OHMTADS
.
(- OHMTADS- ( )
:
( )
: ( ( OHMTADS
)
( - )))
--, ,
. ,
,
.
(- ----
(
)
(AND ( )
( -
)
( -
)
(
))
:
--
(
:
!))
AGE.
:
(SVALUE -
^ HF
OR
($VALUE - ) =
( . .
**
!**
TTY:)
6.3.3.4.
8
2282
226
/ / .
. ,
,
.
(EMYCIN, KAS, E X P E R T )
, .
,
,
,
.
OPS5 H E A R SA Y -III :
.
AGE RLL ,
, ,
.
, ,
,
. , EMYCIN . KAS
,
, ,
.
, , -
. E X P E R T , OPS5, ROSIE
H EA R SA Y -III
. RLL AGE
, ,
RLL.
,
,
.
,
. ROSIE HEARSAYIII - ,
,
.
-,
ROSIE.
,
. ,
ROSIE ,
.
ROSIE
.
6.
227
6.4.
,
,
,
.
6.4.1. ,
, ,
, ,
. .
,
- -
.
,
. , , ,
.
, ,
.
. ,
. ,
, ,
, ,
.
,
.
,
. ,
,
.
. ,
, .
, .
,
.
8*
228
II.
, ,
.
. ,
.
, .
.
, ,
: ,
, ,
.
, (,
, , , ),
( ,
, ,
).
(, ,
),
( ,
, ), (
, ,
).
(, ,
) (
,
, ).
,
,
,
,
, ,
. ,
.
,
. ,
,
- ;
,
. -
6.
229
,
.
,
.
, ,
.
,
.
,
, ,
,
.
:
,
.
,
.
, .
,
, .
,
.
6.4.2.
, , ,
,
. .
.
,
. ,
,
,
.
,
230
11.
, ,
,
,
.
, (
, ).
, (EM YCIN,
KAS, E X P E R T )
.
.
.
. , ,
.
.
; -
,
. ,
,
, ,
.
.
,
,
.
.
, ,
.
( ) ,
RITA [5,6] ROSIE,6bUia
.
,
,
. ,
.
6.
231
. ,
,
. ,
.
( ),
.
,
(. . )
.
,
,
. ,
.
. ,
, ,
, ( )
.
, ,
( EM YCIN, KAS, E X P E R T ),
, .
, ,
,
.
,
.
, ,
.
, ,
, .
, ,
,
.
,
, :
.
.
.
,
.
232
I I .
,
, .
,
,
.
1. , ,
?
?
2.
,
?
?
3.
.
?
4.
? ,
?
5. , 1 ? ?
, . 6.1,
, - 1980 ,
NSF/DARPA. ,
, ,
. ,
, , , , , , , , ,
, , , ,
,
.
III.
. , . , . , . , . ,
.
.
, ,
.
, , . ,
,
.
,
.
:
, .
.
.
,
.
,
.
.
.
,
.
234
111.
,
, , , ,
:
1 , ,
,
.
2
, pH,
, .
6 ,
,
.
, . .
1, .
- , X X, ,
. ,
,
. (
), .
,
, .
,
.
. , ,
, ,
. . , ,
.
,
. ,
, -
, , 6 . 7.3 (
, - ).
, ,
6 .
, ,
, , , ,
.
.
.
,
(. . 7.1). ,
7.
235
,
(. . 7.2).
,
, ,
,
-, .
. 7.1.
, .
,
.
, .
, .
, , , , ,
, ,
.
*------- 0->-
. 7.2. ,
, ,
.
? ,
.
, ,
.
, , , ,
,
.
, .
,
,
, ,
111.
236
.
: , ,
, .
. , ,
, .
. , : , ,
,
.
.
,
,
,
, ,
, .
( )
.
(, -
, ),
. ,
,
.
,
. , ,
.
, ,
,
. ,
. ,
,
. ,
,
, .
,
:
1
2
,
-.
,
.
,
(. . )
7.
237
. ?
,
,
, . .
. -
,
,
.
.
,
.
, .
,
.
, , -,
.
7.1. :
, 1
2 :
,
, ,
.
, ,
.
, ,
, .
, ,
,
. . ,
1 2. , ,
-,
, ,
, -, 1
,
, 2 - ,
.
, 5 ,
2 1, 4
, 2 1.
1 2 ?
238
I I L
, , 4, 5
.
,
. ,
2 1
( 2
1), , .
, 2
1.
5.
, . :
,
? 5.
. 4
, , ,
5, ,
4 . ,
-. 4,
. . . ,
, , 5 , 4 .
5 4
. , ,
. ,
,
, ,
,
. 4
. , 5 (
-)
4
. 4,
1 2, 1.
, 1,
-
.
,
, ,
.
, ,
. .
,
; ,
7.
23
,
, - .
- ,
( ).
, ,
.
.
,
, ,
, , - . .
,
.
, = 3 :
.
: ,
, .
:
31
,
:
, .
, ?
, , ,
, 31 .
,
,
. .
, 31 .
, ,
,
.
,
.
,
, .
.
,
, .
, :
, X ,
, X - .
, -
X .
240
I I L
,
,
, .
, ,
,
. , ,
, ,
.
, , ,
,
, . ?
, ,
-
,
. , ,
- , , .
, , ,
, ,
-
, , . .
7.2. :
,
, ,
5, ,
. -
( ),
.
4, - ,
, . 5
- ,
, .
,
.
, ?
( ), ,
.
. 7.1 ,
.
, ,
,
. ,
, ,
.
7.
241
, , ,
, , ,
,
, . .
, .
, ,
,
. .
,
, , ,
, . .
, . ,
,
. ,
.
,
,
. ,
,
.
,
,
. ,
? ,
.
, , ,
,
, . 7.1.
,
.
,
. ,
.
7.3. :
,
:
6 ,
.
I I I .
242
,
.
,
.
,
. ,
, ,
, .
68
? ,
, (
) . ?
,
. ,
: , ,
:
6
,
.
: ,
,
* .
,
.
: .
,
.
: .
:
1
,
.
: (
, ).
, ,
68 ,
pH , . . 6. ,
, ,
, .
, ,
(
pH).
,
7.
243
( ),
.
,
- , .
, ,
, ,
? ,
,
() ,
[168].
,
.
:
, ...,
.
, ,
,
. ,
,
, .
: ,
. :
,
,
, ...
, ,
.
, ,
. ,
( ) ,
. ,
?
: ?
, ?
? ,
,
,
.
,
, .
(. . ).
,
.
111.
244
7.4.
, .
( ,
). , ,
-
:
1
1,
(. . ),
, , ,
, .
,
( ) ,
. ,
. 2 :
2
,
, , ,
, ,
.
,
, :
,
, ,
.
,
, .
, ,
,
, , 4:
4
,
, (
) ,
.
1 ,
. , . .
.
, . . .
7.
245
.
,
, ,
, .
,
.
7.5.
,
, . .,
.
,
.
G ET/PU T 1]
? ?
,
?
,
.
, (, )
,
.
,
. ,
7
8.
, 7,
. -
, , (
)
.
.
, (
,
).
, ) ,
, ,
'. . &\
246
111.
,
:
5
-
-- ,
: ,
, .
,
: ,
(--) ,
(--). ,
:
6
--:
.
--:
, ,
()
.
: .
5 ,
. . 5
, --
--
, 6.
, ,
, , ,
, , .
,
--
.
, ,
,
. ,
, ,
.
, ,
.
7.6.
,
,
7.
247
.
, ,
.
?
?
?
? ,
, ?
( ) ,
MACSYMA, H E A R SA Y -II, MYCIN, H A R PY , AM, DENDRAL
.? ,
( ), ?
? ?
?
, ,
,
, .
. 4.
, ,
, .
,
.
:
,
, ,
.
:
9
,
.
10
,
,
.
, ,
33 ...
1000 ...,
, 9,
.
10?
,
248
111.
, ,
, ,
. 10 .
, -
,
.
10 .
-
, ,
,
.
, 9
. , 9
.
,
,
. , ,
: ?.
9.
( )
?.
,
? :
?.
, -
.
, , ,
. : ,
.
?
.
, -
, ,
( ,
).
, 9
: ,
,
, ,
.
,
,
. ,
7.
249
.
9 ,
.
7.7.
, , -
? ,
:
11
-
,
.
12
() s
,
s
.
,
, .
(
), 12
,
: --, --, --, --- . .
, , -
, . ,
, --
, .
12,
: ,
:
.
. , , :
,
,
,
.
, ,
,
.
250
I I I .
,
- .
- (, -
) ,
,
.
, ,
,
, . ,
,
.
7.8.
:
, ?, , , , . , :
-?,
. ? ,
.
, , , ,
, ,
.
, ,
, 13 15:
13
,
.
14
OHMTADS,
.
15
,
.
,
.
14 ,
. 13
, ,
7.
251
,
(, ,
, , ).
15 ,
, , -
, .
, ,
,
, ,
,
.
, , ,
, ,
, ,
.
, ,
,
. ,
,
,
.
7.9.
, ,
. ,
,
, .
: [213],
PLANNER [192],
T E IR E S IA S [44] NASL [130].
-, MYCIN
[184]. , -,
PROSPECTOR [58],
. EU R ISK O [122]
, ,
. . .
,
.
252
I I I .
. , EU R ISK O
, ,
( ).
,
, ,
, .
T E IR E S IA S [44]
: , , ,
,
; ,
- , ?.
,
. [201]
MYCIN.
, ,
,
, .
. - ,
,
.
[125] ,
,
,
.
[13] [108],
. .
, ,
MACSYMA [139]
[176]. AM [116] , ,
: - ,
, E U R ISK O [119]
, 12. ,
,
[55].
, ,
, ,
. .
.
7.
253
7.10.
, :
.
,
, . .
,
. .
.
.
.
,
,
.
.
,
,
,
. ,
, ,
?.
, :
? ( ).
? ( ).
? ( ).
v , ,
? ( ).
,
,
.
,
, . 5, ,
,
,
, ,
:
) ,
. . .
I I I .
254
, ,
, .
,
:
, . . ,
.
, .
.
.
, ,
, .
, ,
.
,
.
.
IN T E R L ISP [204]: :
F1B7? ,
, F1B7.
,
,
.
,
.
, ,
,
.
.
.
,
,
.
, ,
, .
7.
255
1.
?
2. .
?
3.
?
4. , MYCIN, DENDRAL
HEA R SA Y -II?
5.
? ( ?).
-, 1980 . . -, . . .
, ,
.
-, .
:
. , . , . , . , .
,
.
. ?
?
,
? ,
.
.
8.1. :
,
. -,
. ,
,
, -?
,
,
, ,
.
,
?
,
.
, .
, , -
. ,
,
, .
, , :
, .
, :
8.
257
?
?
?
?
?
.
.
, ,
,
.
.
, ,
- , ,
, ,
.
,
, , ,
.
, - .
, .
, ,
, - ,
,
.
,
,
-.
, , ,
. ,
,
, .
,
,
-. ,
' ,
, .
. 8.2
, .
9
2 "82
258
I I I .
-.
,
.
.
,
, , ,
.
.
. 8.3 ,
:
?
?
? . 8.4 8.5
: R1
VAX
.
,
.
8.6 ,
. ,
, , ,
, .
,
,
, ,
.
.
.
, , ,
( , ).
,
,
.
;
,
. ,
,
,
.
,
.
8.
259
8.2. ?
,
.
, ,
, . ,
, ..
,
, ,
, , .
,
.
,
. ,
,
, , ,
, ,
, .
:
,
.
8.2.1. ?
, .
, ,
.
.
,
,
.
8.2.1.1.
,
: ,
, ,
.
,
, .
260
I I I .
8.2.1.2.
,
,
, .
.
,
.
.
, ,
.
(. . 5).
,
.
.
.
.
-,
( ).
;
.
, .
, ,
.
,
.
,
, .
, ,
/ , .
,
.
.
8.
261
,
, .
.
, ,
.
,
.
? .
8.2.1.3.
( ).
. -,
, . -,
. ,
,
.
,
, , .
,
.
-, ,
,
, , ,
, .
. ,
,
.
.
,
, .
,
. ,
.
262
I I I .
, ,
.
.
.
,
.
,
.
,
, ,
, .
,
,
. .
?
,
? ,
,
,
?
. ,
,
,
.
.
8.2.2.
8.2.2.1.
.
,
.
, ( ,
) ?
,
,
, .
8.
263
, ,
: , ,
, , ,
, . ,
,
.
,
(). ,
,
,
.
,
,
, ,
. ,
, ,
. ,
, ,
, . ,
.
, (
) ,
, ,
, ,
. .
.
,
:
1.
.
2.
,
, .
, ,
.
,
, ,
( ), (
,
), ,
.
264
I I I .
3.
.
4. ,
.
8.2.2.2.
.
.
, ,
, - ( ).
,
( ,
).
.
:
,
, ,
.
,
.
,
,
,
.
,
, ,
.
.
,
.
, ,
,
.
,
.
.
,
, .
8.
265
,
.
8.2.2.3. :
,
.
, ,
, ,
. , , ,
- ,
-.
, ,
.
,
,
,
.
, -,
. ,
,
; ,
, ,
, ,
. ,
,
, ;
, ,
.
. [254]
.
, ,
,
.
,
,
,
.
, ,
,
266
111.
. ,
91.8
79.6 ,
77 , ,
65.6 .
[15],
, , .
,
();
. , ,
,
.
,
,
. ,
, ,
.
. ,
, 90%
() .
,
623 ,
. 451
,
.
,
65 .
.
.
. , ,
,
,
.
,
,
.
,
,
,
. ,
8.
267
, ,
,
.
,
( ,
,
)
, .
,
.
, ,
, ,
,
, , .
,
.
. 8.3.
8.2.2.4.
, ,
, ,
,
-,
,
. MYCIN [234]
( ,
MYCIN),
.
,
,
.
,
.
8.2.2.5.
,
,
. ,
(
),
,
268
I I I .
. ,
,
,
,
. , -,
, .
,
,
,
. :
? ,
, ? ,
.
, ,
, . . ,
.
,
,
,
,
.
, , ,
,
, .
.
8.2.2.6.
,
:
# ,
.
# ,
.
#
, ,
# ,
.
#
, .
%
;
8.
269
.
(- -
).
;
.
,
( , ,
, ,
).
,
,
.
.
8.3.
, ,
,
.
,
.
8.3.1. , ,
[52] , (evaluation)
.
, ;
, ,
.
,
.
,
,
270
111.
.
,
, , ,
. ,
, ,
,
. ,
,
,
.
8.3.2.
, ,
.
,
, (1)
, (2) ,
(3) - (
, ), (4)
(5) .
.
.
8.3.2. ,
, ,
MYCIN PRO SPECTOR,
.
,
, , ,
.
,
, .
,
.
,
,
8.
271
,
. , -
.
8.3.2.2.
,
, ,
, , .
MYCIN PROSPECTOR ,
,
, ,
. ,
, ,
, ,
,
,
. -
,
,
. ,
,
.
8.3.2.3. ( !)
,
,
,
.
.
, :
, ,
.
.
,
, ,
- .
272
I I I .
,
.
,
, ,
.
,
.
,
.
8.3.2.4. ( !)
. ,
,
, ,
, ,
.
,
.
.
.
, , ,
.
,
,
. ,
.
8.3.2.5.
. ,
8.
273
, ,
.
,
.
, ,
,
-.
8.3.2.6.
,
,
.
,
.
.
.
,
, AL/X [175].
, AL/X
,
, .
8.3.3.
,
,
,
.
. ,
SIGART News
letter 55 ( 1975), (
).
:
1. ;
.
2. -I,
.
3. , :
274
4.
5.
6.
7.
8.
9.
I I I .
)
- I I;
) -I I
;
)
;
) -I I
36.
.
.
.
,
.
,
.
.
,
.
. , 1 ,
,
,
.
,
,
.
,
.
, ,
,
,
.
,
,
.
2
,
.
, ;
8.
275
,
,
, ,
.
, , ,
,
.
,
.
3 ; ,
,
.
,
.
,
,
.
,
,
. , ,
,
. :
?
;
.
, , .
.
, 4 , ,
, 3,
, , ,
, ,
.
.
P R O SPEC T O R ,
- [85,86], MYCIN
[234].
,
.
,
276
I I I .
3 .
4, .
5 ,
.
, .
R1
VAX (. . 8.4)
. , R1
4 5, , ,
. 5
,
. 4
5.
-
, -
, , 4 -
, ,
5
.
,
,
( 6).
,
,
.
, ,
,
.
, ,
, .
,
,
,
.
,
. ,
,
,
.
, ,
277
,
, ,
.
7 ,
,
- ( 8).
,
.
( 9).
. , ,
,
, .
,
,
.
8.3.4.
,
.
, ,
[7],
.
,
,
, ,
.
.
,
.
,
.
,
,
(
).
, ,
,
.
278
I I I .
, ,
: (1)
; (2)
; (3)
; (4)
; (5) ;
(6)
(7)
.
8.3.4.1.
,
,
.
, ,
.
100- (
, ),
.
, ,
, .
,
.
: ,
,
,
, .
, ,
: (1) ,
(
) (2) ,
( ),
, . , -
,
, .
, , MYCIN [184].
,
, , ,
. ,
,
,
( )
8.
279
. , MYCIN ,
,
, ,
, ,
, .
,
?
,
, MYCIN
,
, MYCIN, ?
, ,
, 100
; ,
, -
; ,
(, , ).
-
MYCIN
,
[234, 235].
,
,
. ,
,
( ,
, ).
, (
)
,
.
, ,
(
, , ,
, ,
. .).
,
.
. ,
,
, .
MYCIN, PROSPECTOR
280
I I I .
,
.
8.3 .2.
, ,
.
, MYCIN,
[234]
[235]. , , ,
.
.
( ,
, . ,
.). ,
(
, -
), .
, ,
,
.
, MYCIN
-.
8.3.4.3.
,
,
,
. ,
, ,
, ,
- ,
.
, .
, MYCIN
,
,
8.
281
, , ,
, .
, -
,
.
8.3.4.4.
,
,
.
, ,
. ,
,
,
.
MYCIN.
[234]
75 ,
.
,
90 ,
.
[235],
, ,
7080
.
90-
, ,
,
.
8.3.4.5.
,
,
, ,
, , ,
. , ,
,
. ,
, , ,
( , )
,
.
282
II I .
,
.
,
MYCIN
,
[185].
[29], MYCIN
,
[235],
,
.
, ,
, ,
.
8.3.4.6.
.
,
.
,
.
,
3 4 3.
,
. ,
4
, ,
,
(,
).
,
.
8.3.4.7.
, ,
,
, ,
.
, ,
, ,
8.
283
.
,
, .
,
,
. MYCIN
,
[234];
,
,
[235].
.
8.4. : R1
-, ,
,
R1,
-, .
,
VAX,
D igital E quipm ent.
,
.
,
.
[132, 133], R1,
R1 [135];
, ,
1980 .
8.4.1.
V A X -11/780 [132]:
V A X -11/780
VAX-11 D igital Equipm ent.
PDP-11,
284
I I I .
8.
285
, .
384 ,
- .
8 .4 .2 . R1
R1 .
D igital E quipm ent
1978 . ,
.
, ,
1979 .
, OPS4 [77], 300 .
,
.
,
.
8.4.2.1.
R1
1 .
,
,
- .
:
(
),
.
,
.
.
,
. ,
,
,
,
, .
.
1979 ,
300 800.
286
111.
, ,
. ,
,
, :
1. ,
,
. , UNIBUS (. . )
, -
.
. ,
.
,
.
2. ,
.
: .
,
, ,
.
, ,
:
, ,
U N IB U S , .
3. ,
.
,
.
,
,
.
(
- ,
),
. ,
,
.
4. ,
,
.
;
,
8.
287
.
-
, ( )
.
,
. ,
,
, .
5.
.
,
.
,
,
.
8,4.2.2.
R1 ,
,
. ,
,
, .
:
; ,
( , ,
), .
,
, ,
-
. ,
,
.
,
. :
,
, .
,
.
,
R 1
. ,
,
288
I I I .
. , ,
, ,
.
1979 ,
, R1
,
.
8.4.2.3. :
,
, ,
R 1
VAX.
, .
,
R1, -
. ,
. ,
, ,
.
, ,
1, ,
(
, ),
. ,
, , R1
,
.
, 4050
R1 ,
.
,
,
,
,
R1. , ,
,
,
, , ,
'
.
8.
289
, ,
R1, [135]
:
R1 ,
,
90%
. , ,
R 1
.
, ,
.
8.4.3.
, ,
,
, ,
,
. ,
R1,
.
, -
.
, ,
.
,
,
, .
8.5. :
8.5.1.
(. 10)
,
.
,
1980 ., .
10 2282
290
I I I .
. 10, ,
.
,
, - -
.
.
.
.
,
.
, ,
, ,
, . ,
, .
8.5.2.
. ,
. -,
, ,
. -,
. ,
.
.
:
,
.
.
.
8.5.3.
- ,
VM
,
V entilator M anager [69]1).
g
1) . , 4 , . 4.3. . .
8.
291
.
,
.
,
, , ,
.
,
,
.
, .
,
, , ,
. ,
, ,
.
,
,
(OHMTADS).
, .
( );
,
, ,
.
8.5.4.
, ,
. ,
,
. ,
,
, .
,
, ,
.
,
.
*
292
I I I .
,
.
,
.
(
)
.
, ,
. ,
,
,
, ,
.
4 5 . ,
,
,
. , .
,
,
.
: .
,
,
, ,
.
,
. 2,
.
,
,
.
,
.
,
. -
.
;
,
.
8 .
293
,
.
, .
,
.
,
.
.
,
. ,
.
,
, . ,
,
,
.
, ,
- .
.
.
, ,
,
. ,
2.
8.5.5. 4
, ,
4. ,
,
,
.
; ,
.
.
,
, , ,
294
I I I .
. ,
(
), , .
, ,
.
,
.
,
.
:
, ,
, - - .
:
, .
.
89
, ,
,
, ,
.
,
. :
? ,
, ,
.
, .
, ,
.
,
.
( )
.
. ,
,
. ,
,
,
.
.
, - ,
, , , ,
.
,
, .
8.
295
8.5.6.
, ,
: .
- , .
.
,
,
.
8 .6 .
.
, . ,
, , ,
, .
,
. ,
( )
, , ,
, ,
( ).
, ,
, ,
.
,
.
(
), .
,
,
.
,
,
. ,
,
.
.
1.
.
296
I I I .
, ,
.
, ,
,
.
.
,
.
,
.
,
,
.
2.
.
?
.
; ,
.
,
. ,
; .
, ,
, , ,
.
,
.
, ( )
.
3.
.
,
, .
.
, ( ) .
8.
297
,
. ,
,
,
. ,
. ,
.
.
,
.
,
, , ,
, .
1. , .
. ,
,
,
.
2. , .
, .
,
, -
, ,
?
3. ,
.
4. ;
, ,
, .
5. , .
,
, ,
. (, , ,
,
.)
6 , ,
, ,
.
7.
,
.
298
111.
, .
,
.
. , ,
, ,
,
. , ,
, ,
, ,
, .
1.
? ?
2.
? ?
3. , ,
?
, ?
4. .
,
?
?
5.
? ?
?
IV. ,
. . , . , . . , JI. . , . . ,
. , . . , . . , . . , .
, X. . , . , . , . ,
. . , . , . .
,
.
,
,
.
,
.
.
,
.
,
.
.
,
: EMYCIN, KAS/PROSPECTOR, E X P E R T ,
R O SIE, OPS5, H E A R SA Y -III AGE.
,
.
, , ,
,
.
300
IV. ,
9.1.
,
.
.
. -, :
,
.
, -
.
-
, . ,
(
),
.
.
.
, ( -
), ,
, .
, :
, . . ,
. , ,
, .
, ,
. ,
, ,
:
(
( )
( ))
,
, ,
.
:
() : : = ( {()}+
() : : = ( )
{()}+)
9.
301
() : : = ( )
( )
(() () (
(), () ()
. ,
,
.
.
. ,
:
, X :
X
X
- ,
X, :
X
, X , X
X
,
.
.
, .
(
)
/
,
[37].
9.2.
,
.
,
, EMYCIN ( MYCIN), KAS (
PROSPECTOR) E X P E R T ( CASNET).
302
IV. ,
, .
,
. ,
, .
1.
.
, .
2. , ,
.
3. .
4. ,
.
,
1]. ,
P U FF (. [69])
MYCIN
. ,
,
(,
, )
.
9 .3 .
,
,
,
. R O SIE ,O PS5, RLL H E A R SA Y -III.
(
),
. ,
,
, .
, AGE,
,
.
1}
(- shell). . .
9.
303
.
,
.
.
KAS.
9.4. EMYCIN
9.4.1. EMYCIN
EMYCIN, -
MYCIN,
,
.
,
,
(, ), ,
, .
EMYCIN
MYCIN ,
MYCIN.
EMYCIN MYCIN
(, ),
,
.
EMYCIN ( .
[2051).
9.4.2. EMYCIN
EMYCIN .
EMYCIN
:
()
()
()
(-)
()
()
::= ( () ()
( ()))
:: = ( {()}4-)
:: = ( {()}+) | (()
(-))
:: = (() () ())
:: = { () }+ | { ()}4*
= ( ( -)
(-)).
304
/V . ,
,
, ( )
, .
. (1)
, (2) , --.
,
,
.
,
MYCIN :
(
( (
9.
305
), 0
- . ,
, (
) (, 0,2 1)
,
.
, ,
[236].
,
( 0,2),
,
( 0,2).
,
.
,
,
.
(1) , (2)
(3) ,
[185].
,
,
.
9.4.3. EMYCIN
,
EMYCIN .
( )
. EM YCIN
.
,
, .
EMYCIN
,
, .
( , , ,
), EMYCIN
, .
EMYCIN
,
.
,
. ,
306
IV. ,
. ,
EMYCIN
1]:
V :
, V (P , );
R
V (P , 0 ) < 1 ,
R
- ( \ ),
,
V ( P \ O )
( \ );
,
;
,
V (, ) ,
, ?.,
.
,
.
,
. EMYCIN
,
, , ,
.
9.4.4. EMYCIN
. ,
,
.
EMYCIN
, ,
.
,
,
1)
. E M Y C I N 9 . 4 . 2 .
. .
9. ,
307
,
,
[183].
EMYCIN
.
, , .
,
, ,
. ( ,
.
,
,
.) ,
, ,
,
.
, EMYCIN
. ,
, T E I
RESIA S,
[40].
.
9.5. KAS
9.5.1. KAS
PROSPECTOR
, ,
[58]. K A S 1*
PRO SPEC TO R , ,
. KAS
PRO SPECTOR , EMYCIN
MYCIN;
PROSPECTOR
,
KAS.
PROSPECTOR/KAS -
, EMYCIN.
, PROSPECTOR
Knowledge Acquisition System, . . . .
.
308
IV. ,
,
. ,
KAS PROSPECTOR
EMYCIN ,
.
. ,
, KAS
.
KAS
. EMYCIN
--, KAS
, ,
, , .
KAS
.
.
KAS
, , ,
.
KAS . ,
,
[58] [59].
9.5.2. KAS
, EMYCIN
KAS, .
KAS .
<>
*: = ( <>
< -> <->
<>)
<> : : = <>
<> = <->
<>
<-> | <->
^ ) : : = ( {<>}+)|
( {<>}+)|
( <>)
, , -
9.
309'
. ,
, .
, .
. ,
.
,
- (. [61], [105]).
, -
.
, ,
,
:
(( 01 )
( 01 - )
( 02 )
(- 01 02)).
, -
, ,
. 01 02 .
,
, ,
, ,
. , , :
(
(
( ...)
(
( - ))...)
( ...)
(
( ...)
(
( -
...))...)...)
(
( - ...)...)...)
.310
IV. ,
KAS
.
-- EM Y
CIN, AS .
EMYCIN
, , KAS
. ,
, EMYCIN :
01?, KAS :
?
01, 02,
.
KAS
. ,
,
.
( [236]).
[60].
KAS
, ,
.
, , ,
, .
, -
,
. ,
, ,
. ,
,
,
.
, ,
KAS
, . ,
EMYCIN
, ,
. KAS
.
,
.
9.
311
,
. , ,
(
EMYCIN)
. , ,
, . ,
, ,
, .
9.5.3. KAS
KAS ,
.
. ,
,
,
.
KAS
, ,
, ,
.
,
.
,
.
,
.
.
.
,
,
. ( [58])
, (
) ,
.
, ,
,
.
.
312
IV. ,
,
. ,
, ,
, , ,
. S .
S , . . ,
S,
. , S
,
. S
, S
,
.
, ,
,
. , -
,
.
( )
,
.
,
,
.
, -.
. ,
, ,
. (
-)
, ,
. ,
[58],
, , .
-,
- ,
,
.
, ,
,
.
,
KAS
.
9.
-:
- ;
;
;
;
-;
;
S - ;
S
S
S
S - S;
S
S' - - (S);
-
S
S - S'
S
R - - (S);
- ,
S
S - S
314
IV. ,
S;
S
S ;
$ .5 .4 . AS
KAS
,
.
: (1)
, (2)
(3)
,
, .
.
,
. KAS
. ,
, .
KAS .
,
,
, .
,
, ,
. KAS, , ,
,
, .
,
, .
,
.
.
9.
,
.
,
.
,
, .
,
1}.
,
.
9 .6 . EXPERT
9.6.1. EXPERT
E X P E R T (. [219, 220])
.
-
,
, .
, , ,
, .
E X P E R T
,
, .
PROSPECTOR EMYCIN
,
.
E X P E R T
. :
.
-
.
.
.
.
.
, ,
.
1} ,
.
(bre
ak). . .
316
IV . ,
9.6.2. EXPERT
E X P E R T
: ,
. EM YCIN
PRO SPECTOR E X P E R T
. ,
, ,
, E X P E R T ,
:
, , .
, ,
. .
:
(), (),
().
-, ,
,
.
, .
- ,
.
(. . 6, . 6.2.3).
E X P E R T
. , :
{(, t) & f (, f)-^h (., 9)
: ,
(), , ,
0,9, () .
-
. EM YCIN P R O S P E
CTOR E X P E R T ,
,
.
.
,
(, .2 : 1) & h (,. 1 : 1)- 1 (, 1)
:
( 0,2 ~ 1) ,
9.
317
( 0,1 -- 1),
, .
- . ,
.
. ()
,
,
.
1. :
1)
2)
3)
:
*3
2. :
1)
2)
:
*
3. ,
:
*d
.
,
.
.
,
.
. , ,
.
.
4. ,
:
*5
5. :
1)
2)
:
*1
318
IV. ,
9.6.3. EXPERT
E X P E R T
,
. E X P E R T
, ,
,
.
. ,
E X P E R T
. ,
.
,
.
,
-.
.
, EM YCIN,
E X P E R T ,
. -
E X P E R T , , PROSPECTOR/KA S,
. ,
, ,
E X P E R T ,
(
1 + 1 ).
,
EM YCIN PRO SPECTOR. ,
,
.
.
.
(
, ).
, ,
, .
,
, .
,
.
9.
319
9 .6.4. EXPERT
E X P E R T
. , ,
, .
.
.
,
; ,
IBM DEC.
E X P E R T ,
,
, ,
, .
E X P E R T
, , ,
.
E X P E R T ,
,
,
,
, .
9.7. OPS5
9 .7.1. OPS5
OPS5
.
OPS R1
VAX [134].
OPS5
.
,
. OPS5
,
.
, .
OPS5
, ,
320
IV . ,
. , ,
. ,
,
,
.
9.7.2. OPS5
OPS5 ,
,
.
: (1) (2)
().
:
( > :: = (-) | -
(- > : : = ( { ()}+)
(-> :: = (() {"( ) ()}+).
-:
( - -
)
,
(. . 6, . 6.2.4), ,
.
- ( "
OPS 5,
):
( " H 2S 0 4 " "
)
,
H 2S 0 4 .
.
, -
.
, OPS5 ,
. ,
,
OPS5,
, , .
OPS5 (
9.
321
, ,
, -
):
() : : = ( (-) ()-())
() :: = { ()}+
() : : = ()| ()
( ) : : = (() {"() ()}+)
()
{()}*
() : : = ( () {"() ()}+)I
( (-) {~ (
) ()}+) |
( (-))!
( {()}+)
,
. OPS5 ,
, (X ) ( ).
. ,
,
.
: (1)
, (2)
,
,
.
, ,
. , ,
( " " ( ))
( " H 2S 0 4 " "
),
( ) (H2S 0 4). (,
.)
( -
( ))
( -
- ),
( ) (-
).
OPS5
. :
{ }
11
2 282
322
IV. ,
.
. ,
.
{ } ,
.
,
" { (X )=NIL}
,
N IL , (X ). ,
<< , ,
,
.
(),
.
, ,
,
, ,
. , :
( "
"
) ( ' " ()) (
" <> )
:
,
, ,
...
: [],
[ ], [] []. []
.
,
( " H 2S 0 4 '
" )
( " H 2S 0 4 " "
)
[]
.
1)
,
. []
9.
323
.
( 1 " )
( " " -- )
( " "
- - ).
[] .
( (CRLF)
:)
(CRLF , )
:
:
OPS5,
. (
, .
,
.)
,
. ,
,
. , ,
,
.
( -
(
"
"
(-)
;
;
;
;
---- >
(
" -
"
11*
;
;
,
324
IV. ,
(
1
"
))
;
,
;
9.7.3. OPS5
OPS5 ,
:
1. ,
. ( .)
2. .
,
. ( .)
3. . (
.)
4. 1. ( .)
,
, OPS5
,
.
, . . ,
.
, ,
,
. ,
-
, ,
,
.
,
. ,
-, -
,
.
,
,
,
.
.
, ,
, -
9.
325
, ,
. (
. [136].)
9.7.4. OPS5
OPS5
, ,
. OPS5
, ,
. .
.
, ,
. ,
, (1)
, , (2)
.
, ,
.
P P W M ),
.
,
, . , ,
(PPW M " )
.
,
. ,
,
.
,
, .
, ,
.
,
2).
) P rints P arts of W orking Memory. . .
2)
,
. . .
326
IV. ,
9.8. H EARSAY-III
9.8.1. HEARSAY-III
H EA R SA Y -III
,
. H EA R SA Y -III
,
( ,
, ),
HEARSAY-I [174]
HEA RSA Y -II [661.
,
, H EA R SA Y -II,
H E A R SA Y -III. ( [67]
H EA R SA Y -III
.)
H EA R SA Y -III
,
.
. :
1.
.
- ,
, ,
,
.
2. .
,
.
3. ,
, .
H EA R SA Y -III
, KAS, EMYCIN
EXPERT.
4. .
H EA R SA Y -III
,
.
5. -
.
, ,
.
9.
327
6.
,
,
.
,
H EA R SA Y -III
,
.
.
, H EA R SA Y -III
, . .
.
.
9.8.2. HEARSAY-III
9.8.2.1.
H EA PSA Y -III
.
[88] [203].
, H E A R SA Y -III
, .
,
[107], , ,
,
.
H E A R SA Y -III,
H EA R SA Y -III .
) H EA R SA Y -III (. 9.8.2.2)
.
,
, .
,
(
. 9.8.3).
H EA R SA Y -III
, ,
,
QA4 [178] CONNIVER [131]. H EA R SA Y -III
,
, .
, 1) ,
(blackboard),
, . . .
328
IV. ,
. ,
H E A R S A Y -III,
,
,
.
.
H EA R SA Y -III
-
. ,
, ,
.
: ( ( )
( ))
-> ( - - )
H EA R SA Y -III
, , -
, , ,
, .
9.8.2.2.
,
H E A R S A Y -III,
,
() . H EA R SA Y -III
,
, ,
, .
:
.
(. .
),
(. .
).
.
H E A R SA Y -III.
: -.
. ,
- ( ).
9.
329
.
.
.
,
,
. .
( ).
,
(
). ,
, ,
, -
.
. , ,
,
.
,
.
,
, H EA R SA Y -III .
. .
,
,
,
,
.
(
) , .
, -
, ,
.
. ,
.
,
, .
,
. -
,
. ,
,
,
330
IV . ,
.
, H EA R SA Y -III
.
.
( )
,
. ,
,
.
, ,
.
,
.
,
.
, .
,
.
,
. ,
, .
, , ,
, , *:
.
9.8.3. HEARSAY-III
9.8.3.1.
,
H EA R SA Y -III,
().
,
, -
, .
,
,
. ,
, H EA R SA Y -III
.
,
,
.
.
9.
331
1. .
, ,
, . ,
(
H E A R SA Y -III
),
, .
, ,
, ,
( ),
, .
2. , ,
. ,
,
,
,
.
.
-
.
.
3. (.
)
.
. ,
,
,
.
, ,
.
,
.
.
,
- , ,
.
9.8.3.2.
. , ,
,
332
IV . ,
,
. H EA R SA Y -III
,
.
,
, ,
,
H EA R SA Y -III
.
, H EA R SA Y -III
.
, ,
.
,
, .
,
,
.
, ( )
.
,
,
,
.
,
,
. , ,
(,
)
(
, ,
).
.
, ,
,
H EA R SA Y -III
.
,
. ,
9.
333
,
,
, .
, ,
, .
9.9. RLL
.
( ,
,
,
), .
,
. - ,
. RLL [89] ,
, ,
() . RLL
.
9.9.1. RLL
,
, RLL
: ,
.
, RLL
, ,
,
,
. RLL
).
,
RLL. ,
. RLL ,
,
. , .
Representation-language language. . .
334
IV . ,
,
, ,
.
RLL
. RLL
,
MYCIN
.
9.9.2. RLL
RLL.
, , ,
. ,
, ,
. . , RLL
, ,
,
( ) RLL (
RLL) (. . 9.1).
, 6-3,
.
, ,
: .
.
: ,
,
. .
,
m2. m2
m l
. ,
, ,
,
(, ).
0 , . .
.
. .
. , ,
( )
.
(
9.
335
)
, .
RLL
. ()
6-3
:
:
:
6-2
(- )
-2
:
:
:
(6-3)
(- )
(, , )
:
(6-2, 6-3, . . . )
:
:
.
:
:
(, , )
:
:
:
:
:
:
()
( )
:
:
:
:
:
:
:
:
:
. 9.1. RLL,
( )
(:
)
(lam bda (m)
(( m ((
m ) ) ) ) )
336
IV . ,
?
, .
,
. ,
.
RLL ,
, RLL
. . 9.2,
, RLL
,
. RLL
.
4332
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
:
,
.
(
?)
(
( )?)
!!
(
)
900
0,1
985 , 4
( 4899, ^45)
( 44= 336)
&
9 81 17.30
. 9.2. RLL.
,
.
.
, ,
(
), ,1
, ,
. ,
, ,
.
9.
337
, ,
, ,
( ) ,
(, ), , ,
,
.
,
, ,
, . .
( )
,
RLL.
,
,
.
() ,
. ,
, ,
.
.
,
,
, .
, X,
X .
, , (,
).
RLL
.
(, ,
)
(, ),
, ,
. ,
.
, - ,
# 4 0 6 # 3 1 7 ,
# 3 1 6 , .
# 4 0 6 , ,
338
IV . ,
# 3 1 6
# 3 1 7 .
, RLL ,
,
# 3 1 6 # 3 1 7 ,
.
,
.
,
, .
,
. (
, ) .
RLL . ^
, , ,
,
, .
, RLL
:
,
,
, . .
9.9.3. RLL
, ,
,
. ,
(,
)
(, 30 ). ,
.
.
(
).
, ,
R LL, ,
.
RLL
, , ,
( ) .
RLL
9.
339
,
RLL.
(. . 6.2.6 . 6). .
,
, ( ) .
,
.
, , , ,
, . ,
, RLL , ( )
. -
.
, ,
;
. ,
, .
( , ,
)
, ( ,
, ),
, (
, , ).
,
.
,
, , .
,
, ,
RLL.
, ().
, , ,
.
, (
?
X?), (
),
.
RLL
, .
,
RLL ,
,
.
340
IV . ,
.
, .
9.9.4.
RLL
E U R ISK O [119].
,
,
,
.
.
,
.
(,
,
,
.) ,
E U R ISK O ,
.
.
, . ,
,
,
.
. ,
, , -,
, ,
, ,
, .
,
.
,
. .
,
. RLL
.
9.
341
9.10. ROSIE
9.10.1. ROS1E
.
,
AS EMYCIN.
,
. ROSIE [70, 71]
,
.
, ROSIE ,
, ,
.
ROSIE
.
ROSIE , ,
,
. ,
, ROSIE
.
,
, ROSIE
, ,
(,
, ).
, ,
, .
ROSIE ,
,
.
,
.
9.10.2. ROSIE
ROSIE ,
PLA N N ER .
,
.
342
I V . ,
,
. ,
, ,
.
ROSIE .
, .
-
Q.
ROSIE
. ,
ROSIE
:
JO H N will be flying to HAW AII in 1982.
JO H N does live in HAW AII during MAY.
SAM did not see MARY on TUESDAY.
,
(
,
):
is
was
will
is
was
will
does
did
will
[not]
[not]
[notlbe
[not]
[not]
[not]be
[not] []
[not] []
[not] []
{
{
{
{
{
{
{
{
{
}
}
}
}
}
}
}
}
}
,
.
, FO O (x, , z)
:
x
x
does FOO at z
will FOO to during z
is a FOO of in z
was FOO at over z
, FOO,
, , z.
Jo h n does THROW w ater at B ill.
Jo h n will D E F E R to Bill during M EETIN G 33.
Jo h n is an O PPO N EN T of H O U SE-BILL #
Jo h n was ANGRY at B ILL over salaries.
343
335 in Congress.
ROSIE
-
; ,
,
,
,
( ).
, ,
ROSIE .
(), (4,2), 1 , 2 <, )
( ). , ROSIE
. ,
,
.
,
.
ROSIE
.
.
,
, .
.
,
.
.
,
.
( , ),
( ) .
, (
, ), /
(, , ),
( , ,
) .
, .
9.10.3. ROSIE
ROSIE
, ,
.
,
344_______ IV . ,
,
,
.
(, ),
,
, .
,
, .
,
.
.
, .
.
,
.
,
, ,
, ,
, ,
,
. , ,
,
,
.
ROSIE
,
, ,
.
,
. ,
,
, ,
, (
), , .
, ,
.
:
9.
345
[ ] {
} [ ].
:
w ho/w hich/that
( ),
such th a t
().
( ):
does live in NEW YORK.
,
. ,
big mean kid from Brooklyn who does terrorize the neigborhood
:
x
x
is a kid
is big
is mean
does terrorize the neighborhood
the neighborhood, , ,
neigborhood,
.
ROSIE ,
.
(, ).
,
: ,
, , . .
, . .
,
(
).
().
.
.
9.10.4. ROSIE
ROSIE
,
. ROSIE
346
IV . ,
,
,
, (,
- ),
ROSIE .
, ,
, ROSIE
, . , , R O SIE
.
ROSIE
.
ROSIE ,
,
, . . ^
ROSIE
.
9.11. AGE
AGE [160]
, ,
, .
AGE
. ,
. ,
AGE ,
,
EMYCIN ,
H E A R S A Y -III. AGE ,
,
,
.
9.11.1. AGE
AGE
,
. ,
, . ,
: (1) ,
, AGE, (2)
9.
347
.
,
,
.
AGE ,
,
.
,
.
,
, AGE
.
.
,
.
,
.
,
,
. ,
,
, EMYCIN. EMYCIN
AGE ,
, ,
,
,
, . . ,
AGE ,
. AGE
,
,
.
,
,
HEA RSA Y -II [66].
,
, ,
,
. AGE
.
348
IV . ,
-
,
.
,
,
.
, ,
.
,
,
.
9.11.2.
, AGE
, :
, .
, ,
.
,
.
,
, .
.
,
- ,
UNITS [194].
,
, .
().
,
, ,
.
,
.
.
, ,
, ,
.
,
.
,
9.
349
,
.
.
.
,
,
. (
, ) .
()
, (,
, , )
. -,
.
.
, ( ),
.
, ,
. ,
,
, ,
. ,
, .
,
.
,
:
1. ( );
2.
( );
3. ,
. ;
() ( ) ()
.
, ,
.
.
,
.
,
EMYCIN. ,
,
350
IV . ,
[160].
,
. ,
, ;
, ,
, .
, , .
. ,
.
,
,
.
, ,
, . ,
()
. ( ),
. ,
, (),
( ).
, () . ,
,
.
,
, ,
.
( ,
, ), ,
,
.
.
,
.
,
,
,
.
()
().
.
,
9.
351
. -
, AGE
,
.
, ----. ,
. ,
,
. ,
UNITS.
,
, :
1. , UNITS.
,
. ,
,
.
2. ,
UNITS. .
( )
.
.
3. UNITS.
.
,
,
,
, ,
.
--
.
,
, .
.
EM YCIN, KAS.
AGE
,
. AGE
.
:
1.
.
,
. ,
,
352
IV . ,
,
0 .
2. ,
, ,
.
3.
, .
.
4. ,
,
.
5.
,
.
, ,
,
. ,
,
.
: (1) UNITS, (2)
, , (3)
, ,
. , ,
.
^
(, ),
.
, ( ,
), ;
.
, ,
. ,
.
, .
,
.
,
,
.
, ,
9.
353
AGE
, .
, ,
.
, ,
,
.
, , .
, . (
, , .)
( ),
, ,
.
, ,
, : (1)
UNITS
. (2). ,
, ,
.
(1).
, ,
,
.
, ,
.
, ,
UNITS .
,
, .
,
. ,
( )
( )
( 0 0 > 2 0 ) /
( 0 0 / 0 > > 20)
. ,
UNITS.
UN ITS, ,
12
354
IV . ,
U NITS,
.
,
,
.
AGE
, ,
.
, ,
: (1)
(). (2) ,
UNITS .
. (3)
,
. (1).
AGE
. ,
$AND AGE,
.
,
N IL.
$ IN IT IA L IZ E ,
,
,
( ).
, ,
. ,
$ IN IT IA L IZ E -
, .
,
.
9.11.3. AGE
AGE
,
.
AGE , ,
, AGE
. ,
9.
355
, AGE
.
AGE :
,
;
,
;
;
.
9.12.
9.12.1.
,
. ,
.
.
,
.
. 10 ,
.
,
(. . 6, . 6.2.2). ,
,
,
.
,
.
,
, ,
.
,
,
,
(. . ) .
, ,
12*
356
IV . ,
,
, .
(
),
.
,
,
, ,
. ,
(,
, ),
(,
), ,
.
:
---,
------ -
- -
---
-
--
----.
,
,
,
, .
, .
.
,
.
.
, ,
, .
.
,
,
EM Y C IN /K A S/EX PER T,
9.
357
.
,
KAS, , ,
.
9.12.2.
,
KAS
.
,
. .
1
2
.
.
.
.
,
. (
),
, .
, , ,
,
:
1
2
.
.
.
, .
,
,
, .
2 ,
1 :
1
1
1
.
.
.
, 1 1,
2 1 1, 1 1.
358
IV . ,
, .
(1), - 1, 2
,
1 ( 1 2 ).
,
.
,
, . , ,
2 , ,
, . . 1 .
1.
,
1
1. ( ,
2 . ,
. : ( 1 2 )
.)
1
2
(
(
(
1 t l fl 1)
2 t2 f2 2)
t3 f3 )
( ) 1. , 1 t l , , fl
, , ,
,
.
.
, .
, , ( ),
,
1, ,
.
,
, 1
,
. ,
,
, [60].
, 1, 2
. 1,
2, 2, .
9.
359
, , , t2
2 11.
.
2 , 1,
2 , 1
. , ,
KAS, 2 1,
2.
,
. .
,
6 ,
, .
1 ,
,
1 ,
?
, ,
.
. ,
1 2
1
(( 01 )
( 01 ))
(( 02 )
( 02 01))
, 1 (
01, , ), 2
. ,
1
2.
,
. ,
, .
,
(( 03 )
( 03 )
( 03 ))
,
, -
360
IV. , .
, 1
. ,
,
1 (,
),
1 .
,
.
9.12.3. AS
KAS, ,
.
, ,
,
, KAS.
KAS.
KAS
. (
KAS) , KAS
. -
, 1 1, :
1
-
1
2
-
-
1 -
16 -
1 -
1, 1, 2 1, 2
(
):
** ( - - )
, 1,
1 1 1 (
, ),
, :
** (
- )
,
. 9.3, . -
9.
361
. 9.3 K.AS.
, ,
, (
):
** ( )
:
-
(
)
(
)
-
(
)
-
(
)
-
(
)
-
(
)
362
I V . ,
:
: -
(LAMBDA LAMBDABAR)
- : -
(LAMBDA LAMBDABAR)
- : -
(LAMBDA LAMBDABAR)
,
(:
(- - )). ,
,
:
,
- ,
-
- ,
(LAMBDA) (LAMBDABAR) .
1 (
) (AND) 1, 1 1
.
:
** (CTYPE AND )
:
** ( - - )
:
.
,
. ,
, ,
,
.
- -
,
, ,
( ). ,
, ,
KAS,
, . 9.4.
- KAS -
9.
363
** <>
-
/*
*/
0 .2
tl 3.0 fl 0.001
t2 9.0 f2 0.001
t3 4.0 f3 0.001
/*
* /
0 .2
AND -
-
-
-
/ * ( )
,
?
0 .2
/ *
*/
0 .2
-
/ *
*/
0 .2
-
/ *
( ,
) */
0 .2
-
/ *
*/'
0 .2
. 9.4. KAS.
364
I V . ,
.
, KAS
, ,
- , ,
, , :
** (RUN - )
1 ,
?
(Q U IT)
, ,
.
Q UIT (. . ) ,
KAS. :
** ( - )
** (
-
)
.
5 5,
. (
) ,
. , ,
,
,
.
** (RUN - )
1 ,
?
2 ,
? (3)
3 ,
(
)? (4)
(*
) 0,0 3,0.
(*
)
0,0 0,86.
4 - ,
?
(5)
(*
)
0,86 3,88.
9.
365
5 ( )
,
? ( )
: , :
1.
3.88
? <>
,
1 (*
) (3.88)
:
1. 3 .0
2. ,
5.0** **
:
3. ( )
, 0 .0
, ,
? <1>
5 5 ,
1.1 (* )
3 .0
:
1. ,
5 .0
2. ,
( ,
) 4 .0
3. ,
3 .0 ** **
, ,
?
< )
5 (
,
)
? <>
(*
) 3.83 4.68
,
(*
) (4.68)
? <>
. 9.5. KAS.
,
,
,
.
,
(. . 9.5).
366
IV . ,
9.12.4.
.
, ,
-, .
.
,
. ,
, ,
.
,
. ,
,
, , .
, ,
,
: ,
.
.
, , ,
,
.
(
) , , ,
,
.
1. ,
, ?
2.
?
3. ,
,
.
4.
?
5.
?
?
9.
367
1.
(DARPA)
DAHC15 72 0308. ,
*
DARPA,
-
, .
V.
10
. . , . .
,
,
. ,
.
,
, ,
,
,
. ,
,
. , ,
.
,
,
.
,
,
,
, - .
,
.
.
. ,
, . ,
10.
369
, ,
,
. ,
, ,
, , 100
.
.
,
, ),
110 40 .
: , ,
,
,
,
. ,
, 0,001
, , 1
100 X 100 . ,
, .
.
,
.
, [1091.
10.1.
10.1.1.
. 10.1 ,
, ,
.
,
. ,
,
Environm ental Protection Agency (). . .
V.
L -J
370
. 10.1.
.
10.
371
, ,
, .
.
,
, ,
, , ,
, .
, , ,
. ,
, ,
,
,
.
(DEM) 1] ,
.
,
DEC-20 DEC-VAX;
.
,
;
.
,
.
, -
.
.
,
,
.
10.1.2.
, ,
.
10 ( )
D epartm ent of E nvironm ental M anagem ent. . .
372
V.
200
.
200 , 5800
;
1},
.
. ,
, , ,
,
2). ,
,
,
. ,
, .
.
.
, 0,6 1,2 ,
10 25 .
,
, , 0,34 3 (90
), ,
0,04 8.
93
.
,
,
.
.
,
.
,
(-),
.
l) U.S. D epartm ent of Energy (DOE). . .
*> Tennessee Valley A uthority (TVA). . .
10.
373
10.1.3.
,
,
. . 10.1
,
. ,
, . 10.1,
, ,
. ,
,
. ,
.
.
.
.
,
, , ,
, , .
, . 110.3 40
,
:
() ,
()
,
,
.
,
() (2) . 311 .
(),
(. 110, 117 40
), 299
, , X, ,
, , D, 1, 10, 100,
1000 5000 . 23
X
, ,
, , ,
374
V.
.
, ,
,
, ,
D.
1000 10
,
.
10 000
,
.
5 5 . I
. II
. III . IV
, , . , V
.
.
, .
.
,
.
, .
,
.
, .
10.1.4.
, .
,
, .
, ,
10.
375
,
, .
,
,
,
(. [163]).
,
1000
. , , ,
4500-N -8
10 .
247
50 000
.
10.2.
10.2.1.
,
.
- ,
,
, ,
, .
,
,
- ,
. ,
,
,
. ,
, ,
.
,
.
,
.
,
, . .
, .
, : ,
, .
376
V .
, ,
. .
,
, ,
.
, ( )
.
,
, . ,
,
.
,
.
10.2.2.
, ,
. ,
,
. ,
,
,
- .
-
.
,
,
,
(Oak Ridge O perations. .)
(ORO). ,
,
ORO. , -
,
.
(
)
.
. ,
- ,
10.
377
( )
. (. ).
,
.
, ,
,
,
, .
, . ,
,
, ,
.
,
,
, ,
, .
:
10 ., 1 ,
.
: (1) ,
, ; (2)
; (3) ;
(4) ; (5) ; (6)
; (7) ; (8)
, ; (9) ,
.
,
,
.
, -25, ;
.
, , ,
,
,
378
V.
.
, .
-25
15 .
- ,
,
, .
,
.
.
,
.
,
, :
1)
;
2)
- ;
3) -
;
4)
.
10.3.
10.3.1.
; ,
,
, . ,
, ,
, , .
, :
(1) , (2)
, (3) , (4)
( ), (5)
10.
379
(6) ,
.
.
. , ,
. ,
,
,
.
,
,
,
-
,
, .
,
.
,
, ,
.
,
,
.
.
,
,
, .
.
: ,
.
. ,
,
,
.
,
. ,
,
.
380
V.
10.3.2.
, , ,
, .
,
,
. , ,
.
, .
,
,
. ,
.
, 93
, ,
. ,
,
,
.
.
,
, ,
,
.
,
.
. ,
, ,
, .
, ,
. ,
, ,
,
.
. 10.2.
,
,
. ,
,
,
10.
381
. 10.2.
.
382
V.
. 10.3. ,
.
,
.
,
, ,
.
,
. ,
,
.
10.
383
. ,
30
.
,
. . 10.3
.
,
,
, .
10.3.3.
,
, ,
.
,
.
,
.
,
,
. , ,
.
,
, .
.
.
.
.
,
,
,
, , , .
,
-
, ,
. -
384
V.
. 10.4.
.
,
. .
10.4
.
10.3.4.
, . ,
10.
385
,
.
,
, ,
,
,
, .
,
,
.
,
. ,
, . ( *
)
, ,
, . ,
,
,
.
, 1962 ,
. , 4500
7,3 0,5 .
,
- .
,
.
,
,
.
,
.
.
,
( )
.
,
hjjh .
13 2?82
386
V.
10.3.5.
: ,
.
(NFPA)
, 704.
,
().
4 (
) 0 ( ),
.
NFPA
.
,
, ,
.
, ,
- .
- , -
,
.
.
(CHEMTREC)
,
. ,
-
, -.
(OHMTADS),
1000 . -
-
(N IH -EPA ),
(ISC).
,
-
.
-
CH R IS;
- .
, ,
,
10.
387
GOAL :CMEAS/TRAP
5.1.
GOAL :CMEAS/CLEAN
5.2.
GOAL :CMEAS/MITIG
5.3.
,
. . 10.2
,
.
13*
388
10.2.
MAT/NAME
MAT/NAME/CHEM *
M AT/NAM E/TRADE
M AT/NAM E/INV
M AT/PHYS
M AT/PHYS/STATE
/P H Y S/COLOR
MAT/PHYS/ODOR
/P H Y S/SOLUB
M A T /PH Y S/SP GR
M A T/PH YS/M ELT
M A T/PH YS/BO IL
M A T/PH Y S/FLA SH
MAT/HAZ
M A T/H AZ/N FPA
M A T /H A Z /N F P A /H E L T H *
M A T /H A Z /N F P A /F IR E *
M A T/H A Z/N FPA /R EA C T *
M A T/H A Z/N FPA /O TH ER *
M AT/HAZ/EPA INDEX
M AT/HAZ/PCB
SRCE
SRCE/LOC
SRCE/LOC/BLDG *
SRCE/LOC/BLDG/ROOM *
SRCE/LOC/BLDG/GRDS *
SRCE/LOC/AREA
SRCE/LOC/CONST
SRCE/CONT
SRCE/CONT/TYPE
SRCE/CONT/L ABEL
SRCE/CONT /LABEL/NAM E *
SRCE/CONT/L A BEL/IN V -NO
SRCE/CONT/L ABEL/CAPAC
SRCE/CO NT/LA BEL/HA Z-NPFA
SRCE/CONT/VOL *
SRCE/CO N T/V O L/B EFO R E
SRCE/CONT/VOL/AFTER
SRCE/CONT/FLOW -RATE *
SR C E /PEO PL E *
SR C E /PEO PL E/SU PE R
SRCE/PEO PLE/U SER
SRCE/REC
10.
389
. 10.2
(
)
(,
)
1
2
FLOW
FLOW /EDGE
FLOW /EDGE/FRONT-LOC@ T
FLOW /ED G E/REA R-LO C@ T
FLOW/CONC
FLOW/CONC/SMPL(LOC,T
FLOW /CONC/SMPL-RESULT,T
FLOW /VOL
FLOW /VOL/SEC-CONT@ LOC,T
FLO W /V O L/G RN D -PO O t@ LO C ,T
FLOW/VOL/GRND-ABSOR@)LOC,T
FLOW / VOL /SUMP@LOC, T
FLOW /VOL/PIPE-ABSOR@ LOC,T
FLOW /VOL/STREAM@ LOC,T
FLOW /VOL/STREAM -ABSOR@ LOC,l
FLOW /VO L/LAK E@ LOC,T
FLOW/VOL/TOTAL<g)T
FLOW /OBS@ LOC,T
FLOW /DET@ LOC,T
CMEAS
CM EAS/TRAP@ LOC,T
CME AS/CL EANLOC,T
CMEAS/DISP
CMEAS/MITIG(LOC,T
RT
RT/SUR
RT/SUR/SRCE
RT/SUR/SECNT
RT/UND
RT/UN D /IN
RT/UND/ACCESS
RT/UND/SUMP
RT/UN D /O UT
RT/W AT
RT/W AT/W OC
RT/W AT/W OC/FALL
RT/W AT/W OC/W EIR1
RT/W AT/W OC/W EIR2
RT/W AT/W OL
RT/W AT/W OL/W OD
RT/W AT/CLNCH
R T/W AT/CLN CH /G AS D IF
RT/W AT/CLN CH /K IN G
390
V.
. 10.2
(10 /)
(15 /)
(69)
,
.
(30 /)
EMER
E M E R /F IR E
EM ER/A IR
EM ER/W ATER
EM ER/CHRONIC
VIOL
V IOL/FW PCA
V IOL/FW PCA /N PDES
V IOL/FW PCA /N PDES/AV G
VIOL/FW PCA/NPDES/M AX
V IO L/FW PC A /N PD ES/PH
V IOL/FW PCA /O IL-D IS
V IO L/FW PCA /O IL-D IS/FILM
VIOL/FW PCA/OIL-DIS/DISCOL
V IOL/FW PCA /O IL-D IS/SLU DG E
VIOL/TN-WQC
VIOL/TN-W QC/IM P-USE
V IOL/TN -EFF-LM
V IOL/TN -EFF-LM /M AX
V IO L/TN -EFF-LM /V ISIB
N O TIF
N OTIF/REG -CHN
NOT IF/REG -CHN /SU PER
N OTIF/REG-CHN/DEM
N O T IF/R E G -C H N /SH IFT -SU P
N O TIF/REG -C H N /O RO
NOTIF/REG-CHN/DOE
N OTIF/REG -CHN /N SRC
N OTIF/REG-CHN/NSRC
N OTIF/REG-CHN/TNQC
N OTIF/W -USER
N OTIF/W -USER/G AS-DIF
N OTIF/W -USER/KINGSTON
N OTIF/W -USER/TV A
N OTIF/LOGIS
N O TIF/LO GIS/O P-DIV
NOT IF/LO G IS/P-AN D-E
10.
391
. 10.2
N O TIF/LO G IS/EN G
NOTIF/LOGIS/AN-CHEM
BKGRND
BKGRND/CAUSE *
BKG RND /W EATH ER *
BKG RND /LIA BLE-D EPT
BKGRND/T-SPILL *
BKGRND/T-CALL-DEM
BKGRND/OSC
BKGRND/OSC/NAME
BKGRND/OSC/DEPT
BKGRND/OSC/START
DISCOV
DISCOV/BY
DISCOV/BY/NAME
DISCOV/BY/DEPT
DISCOV/TYPE *
DISCOV/LOC *
DISCOV/TIME
*) , :
.
,
,
.
,
.
10.4.
16
1979 2 ,
, WOC-3
.
, 2 2 0
.
.
WOC-6
392
V.
6-4,
3513. .
W E IR 1, ,
, .
, 4 ,
87
WOC-6 8
-.
, 17 ,
6-45, 3025.
, ,
, 3025,
.
3025
. ,
.
5 .
.
.
.
-, WOC-6,
- WOC-6
.
10.5.
,
.
,
.
-.
GOAL:
DISCOV
DISCOV/BY/NAME
DISCOV/BY/DEPT
DISCOV/TYE
DISCOV/LOC
DISCOV/TIME
WOC-3
16.3.79, 14.00
10.
GOAL:
M AT/PHYS/STATE
M AT/PHYS/SP-GR
M AT/PHYS/SOLUB
FLOW /VOL/STREAM
393
()
1,0 ()
()
WOC-3
WOC-3, 16.3.79, 14.00
.
GOAL:
N O TIF/REG-CHN
N O T IF /R E G -C H N /S U P E R , 16.3.79, 1 4 : 0 0 +
,
(DEM)
GOAL:
N O T IF
N O TIF/R EG -C H N /D EM ,
16.3.79,
14 : 20
. ,
.
, ,
,
,
.
GOAL: SRCE
FLOW /OBS
WOC-3 @ 16.3.79, 14 : 00
WOC-3,
W E1R-1,
, .
, ,
WOC-6.
R T/W AT/W O C/FALL
WOC-6
.
R T/U N D /O U T
WOC-6
WOC-6
.
,
. 6-1 -
3513.
6-2, 6-4
.
V.
394
RT/UND/ACCESS
FLOW/OBS
CM ES/TRAP
- -4
6-4@ 16.3.79, 1 4 : 2 0 +
@6-4, 16.3.79, 14 : 20
,
, ,
,
. , ,
, , .
,
.
GOAL:
VIOL
SM PL-1, WOC-6,
16.3.79,16.00
FLOW/CONC/SMPL
SMPL-2,
WOC-6, 16.3.79,16:00
FLOW /CONC/SM PL-RESULT SMPL-1, 87 /
16.3.79, 16 : 00
VIOL/FW PCA/NPDES/AVG < 1 0 ()
VIOL/FW PCA/NPDES/MAX UNK
, ,
.
GOAL:
NOTIF/REG-CHN
NOTIF/REG-CHN /O RO 16.3.79
NOTIF/REG-CHN /D OE 16.3.79
16 : 00
16 : 00
,
GOAL : MIN : COST
.
GOAL:
SRCE/LOC
RT/UND/ACCESS 6-11
FLOW/OBS
M 6-ll@ 17.3.79, 08 : 30
RT/UND/ACCESS FLOW/OBC
-
-45
6-45@ 17.3.79,
0 9 :3 0
6-45.
. 10.2 ,
3025. , 3025,
, ,
3025,
10.
395
,
.
.
FLOW/OBS
3025 17.3.79, 1 0 :0 0
RT/UND/SUM P
3025
SRCE/LOC/BLDG 3025
(, 32)
GOAL:
MAT/NAME/TRADE
MAT/NAME/INV
-
SRCE/REC
, ,
,
().
,
. , ,
.
GOAL:
EMER
FLOW/CONC/SMPL
SMPL-3, 3025,
17.3.79 10 : 30
FLOW /CONC/SMPL-RESULT SMPL-3,
,
18.3.79
MAT/HAZ/PCB
EM ER/W ATER
, ,
.
, ,
. ,
,
.
,
.
GOAL:
FLOW
FLOW /VOL/TOTAL
SRCE/CONT/VOL/BEFOR
SRCE/CONT/FLOW -RATE
1 5 , 17.3.79
5
1
V.
396
,
, .
GOAL:
GOAL:
GOAL:
CMEAS/CLEAN
AS/MI TIG
N O TIF
,
,
.
,
, ,
.
1. ,
.
2. ,
. ?
3.
, ?
?
4. ,
?
5. ,
. ?
,
?
. ,
.
-
. , ,
.
1. ,
,
1.1.
EMYCIN
EMYCIN
.
. , ,
.
10.
397
27 80 16 : 35 : 13 [ 25 80 23 57]
.....................................................S PIL L 1 0 0 ......................................................
1) ,
?
*
?
: ,
H E L P
**
2) ?
**
3) ?
**
4) , , , ,
. , ,
, .
** [. . ,
?]
[1.011 .
,
[1.1]
,
[1.2] , , ,
(1.0), , ,
.
[ 001]
** WOC-6 [ 4]
5) , , 6-1.
?
**
6) 6-1 3513?
**
7) , , 6-2.
?
**
8) , , 6-4.
?
**
9) , , 6-5.
?
**
10) , , 6-11.
?
**
398
V.
11) , , 3504,
?
**
12) , , 6-6.
?
**
13) , , 6-7.
?
**
14) ,
?
**
:
, .
:
,
6-6 .
.
.
1.2. KAS
KAS PRO S
PECTOR .
.
:
..... p r o s p e c t o r
..............................
SRI International
27 . 80 21 : 57 : 29
1
? .
,
.
- ? .
, ( ) ? .
, , ().
( , H E L P ,
DONE)
6 * " 0 1 .............................................................
- - -? .
!! ,
.
10.
399
.
(-) (5.0)
2: DONE....................................................................................................................
1 -
? .
2 ? .
3 ( ,
)?
0.5 1.5
? 4
4 , ? 4
5 ,
? 4
6 , ? .
,
( ) (
), ( ).
,
( ) (
), ( ).
[:
]
7 ,
? 5
.
.
5 5 , (*
) 4.718.
( ):
1.
4.718
** **
2.
1.875.
3.
1.875.
,
:
4.
0.0,
400
V.
0
?
( ? ) 1 2
,
1 (*
) (4.718)
(
):
1: 1. ,
4.0
1: 2.
5.0
1: 3. , , ,
5.0.
?
.
,
2 (*
)
(1.875)
:
2:
1. , ,
, 5.0.
,
, ,
( ):
2:
**
2:
**
2. 1.895
, **
3. 4,0.
, **.
,
( ):
2: 4. , ,
0.0
2: 5. 0.0.
?
2
5 5 , 2.2 (**
) 1.895.
401
:
2.2: 1. 1.89 **
**.
, -
:
2.2: 2. 0.0.
?
2 (*
)?
( * )?
PROSPECTOR.
1.3. EXPERT
E X P E R T
.
. , ,
.
:
?
, .
: .
: (1) (2) * 2
: 26.8.80
( ,
R ETU R N ):
1. :
1)
2)
3)
:
* 3
2. :
1)
2)
:
* [ ,
]
402
3. ,
.
* dx [ ]
.
, .
.
,
.
.
, ,
.
.
3. ,
:
* fix 2
FIX : :
1)
2)
.
:
* 1 [ ,
]
3. ,
:
* 5
4. :
1)
2)
:
*
5. :
1) ,
2)
3)
4) ,
*
6.
1)
2) /
403
:
* 1
7. :
* dx [ ]
,
.
,
,
. RUN ().
,
.
.
,
.
. ,
,
.
.
7. :
* fix 2
F IX :
1)
2) ,
:
*1, 2 [ ,
]
* run ()
6-11 (/):
6-6 (/):
6-8 (/):
D RAIN 6-5
/ 3595 ... [DONE]
8. :
* 508
9. :
* 50
404
10.
:
* 7
11.
1)
2)
3)
4)
5)
:
*
: . [HYP]
: 1: 1. : 26.8.80
:
:
,
: 5
:
:
: 5
/ , : 3695
: 568
: 50
: 7
. ,
,
405
( )
1.4. OPS5
OPS5 ,
, ,
,
, ( ),
,
, ,
. ,
WOC-6,
, .
.
OPS5 :
, NIL
, :
*
* 18--80
, :
* 20: 30
, ?
*
-
--
:
* -1
*
:
*
:
* 30
:
* nil
:
* nil
:
*
,
:
*
li
*
2*
*
406
3:
*
[6] :
[10] : ,
[12] :
NIL
( 10 WOC-6)
[15] : , 6-1
N IL
( 15 )
[16] : , 6-2
N IL
( 16 )
[17] : , 6-4
N IL
( 17 )
[18] : , 6-3
NIL
( 18 )
:
BLDG-3518
[20] : , BLDG-3518
,
30
1.5.
. .1
,
ROSIE.
1.6.
1.6. ROSIE
RO SIE,
. , ,
,
. ,
,
.
:
407
. .1. .
.
[1] -.
[2] , --.
[3] , --.
[4] , -.
[5] ,
--,
408
-- --.
, ,
.
,
.
: (1) ,
(2)
, ,
.
--
, ,
.
,
, .
( ),
( ,
( ), (
)),
. ,
, ,
, .
,
.
ROSIE [711.
ROSIE
SPILLS.
. ,
SPILLS, . 1.5 1. ,
6-1 M l, 6 ,
WOC-6.
[R O SIE 1.1 6--82 10 : 09 : 27]
(1) .
:
WOC-6
.
pH
8.
,
409
.
# 1 WOC-
# 1
PH # 1 8
.
- # 1
.
#
>
# 1
# 1
# 1
.
.
,
( ):
S6-64 S6-65 S6-66 S6-8
S6-9
S6-5
S6-10 S6-11 S6-16
S6-3
S6-17 S6-67 S6-70 S6-59 S6-60
S6-18 S6-19 S6-20 S6-21 S6-22
S6-49 S6-48 S6-S7 S6-58 S6-24
S6-35 S6-36 S6-43 S6-44 S6-45
S6-46 S6-41 S6-42 S6-32 S6-33
S6-34 S6-31
?
, , :
, ,
, ,
.
( )?
, , 6-15.
:
-15.
.
.
.
# 1 6-15
# 1
.
410
# 1
# 1
.
.
,
(
):
S6-63
D6-1
S6-6
S6-13
D6-10
-9
-12
-14
6-2
D6-6
D6-2
S6-7
D6-8
S6-68
S6-61
S6-53
-13
6-1
6-3
S6-1
S6-4
D6-3
D6-5
D6-7
S6-14 S6-15
6-7
-
S6-62 -10
S6-54 D6-11
-11 6-5
S6-2
D6-4
S6-12
D6-9
S6-69
6-8
D6-12
-4
,
( ):
S6-1
S6-61
S6-39
S6-2
S6-62
S6-40
S6-4
S6-47
S6-29
S6-6
S6-23
S6-30
S6-7
S6-25
, , :
, ,
, ,
.
( )?
, , 6-29.
:
-29.
.
78 00 vi**2.
.
.
# 1 6-29
# 1
# 1 78 000 ** 2
.
.
# 1 20,592 .
.
411
,
(
):
S6-55
6-17
S6-26
-23
6-24
S6-56
-16
S6-27
-25
6-22
S6-50
-19
S6-28
-26
-21
S6-51
-18
D6-14
-27
-15
S6-52
-20
D6-13
-28
,
( ):
S6-63
S6-68
S6-56
S6-38
S6-12
S6-69
S6-51
S6-13
S6-53
S6-28
S6-14
S6-54
S6-27
S6-15
S6-55
S6-28
, , -34.
-34.
.
.
# 1 -34 .
.
.
,
(
):
-32 -31 -30 -33 -29
, , -40.
:
-40.
.
.
# 1 -40 .
.
.
,
( ):
-40 -41 -42 -43 -44
, , -35.
:
-3 5 .
.
, , .
-35.
.
412
.
# 1 6-35 .
.
.
,
( ):
, , 6-46.
:
6 -4 6 .
.
.
# 1 6-46 .
.
.
,
(
).
-15
6-45
-34
, , S6-37
:
S6-37.
.
# 1 S6-37 .
.
.
,
(
):
6-46
S6-37.
.
3024.
1.7. RLL
RLL
. ,
, ,
.
34 _ ( )
.
413
? .
, 7
, 7
? .
*** SpillC har 1
SpillC har 1
*** : (, *
, )
, 1.
, 1
*** : (, #
)
, 1.
?
*** 1
, 1.
, 1.
, 1.
, 1.
, 1.
, !.
, 1.
? WOC-6
,
? .
: .
*** !.
, 1.
- ,
.
, 1.
, 1.
[ :
7 : --1
TWQC-!, 0 0-0 1, FW PCA-!
1]
, -1
?
.
, -1.
, TWQC-!.
?
414
.
TWQC-!.
, 1.
?
FW PCA-!.
, 1.
* * * , 1.
, 1.
, 1.
, !.
, !.
, 1.
? .
? 3 : 45
.
, 1.
, !.
,
.
?
, !.
*** : ().
, 1.
, !.
, !.
, !.
(2 ).
, 2 .
(SW 3513 6-2)
? -2.
(4 ).
(6-3 6-5) ?
6-3.
: SW 3518.
, !.
, 7.
? .
1 .
.
416
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
14
417
2282
418
419
420
132.
133.
134.
135.
136.
137.
138.
139.
140.
141.
142.
143.
144.
145.
146.
147.
148.
149.
150.
151.
152.
421
422
423
424
425
426
Boden, . . 1977. A rtificial intelligence and natural man. New York: Basic Books.
Brooks, R. A., R. Greiner, and T. O. Binford. 1979. The ACRONYM model-based
vision system. In IJCAI 6, pp. 105 113.
Buchanan, B. G. 1979. Issues of representation in conveying the scope and lim itations
of intelligent assistant programs. In J . E. Hayes, D. Michie, and L. I. M ikulich,
Machine intelligence, vol. 9. New York: W iley, pp. 407425.
Burstall, R., and J . D arlington. 1977. A transform ation system for developing recur
sive programs. Journal of the ACM 24 : 4467.
Callero, ., D. Gorlin, F. H ayes-R oth, and L. Jam ison. 1981. Toward an expert
aid for tactical air targeting. R ept. N-1645, Rand Corp., Santa Monica, Calif.
Coles, L. S. 1975. Methodologies for heuristic m odeling. R ept. 3372, A rtificial In
telligence Center, SRI International, Menlo Park, Calif.
Cooke, S., C. H afner, T. McCarty, M. Meldman, M. Peterson, J. Sprowl, N. Sridharan, and D. A. W aterm an. 1981. The applications of artificial intelligence to law:
A survey of six current projects. A FIPS Conference Proceedings 50 : 689696.
de Dombal, F. ., D. J. Leaper, J. R. Staniland, et al. 1972. Computer-aided diag
nosis of acute abdominal pain. British Medical Journal, pp. 9 13.
D ietterich, T. G., and R. S. M ichalski. 1979. Learning and generalization of charac
teristic descriptions: E valuation criteria and com parative review of selected m et
hods. In Proceedings of the Sixth International Jo in t Conference on AI, pp. 223
231.
Duda, R. O. 1980. The PROSPECTOR system for mineral exploration. Final R ept.,
SRI Project 8172, A rtificial Intelligence Center, SRI International, Menlo Park,
Calif.
Duda, R. O., and P. E. H art. 1980. Rule-based modeling of ore deposits for mineral
exploration. Presented at AAAS Symposium, Machine Intelligence and Perception:
The Past, Present, and Future.
Duda, R. ., P. E. H art, K. Konolige, and R. Reboh. 1979. A computer-based con
su ltan t for mineral exploration. Final R ept., SRI Project 6415, A rtificial Intelli
gence Center, SRI International, Menlo Park, Calif.
E astm an, C. 1978. The representation of design problems and maintenance of their
structure. In J . C. Latom be, ed., A rtificial intelligence and pattern recognition
in com puter aided design. New York: N orth-H olland, pp. 335373.
Engelmore, R ., and A. Terry. 1979. Structure and function of the CRYSTALS sys
tem. In IJCAI 6, pp. 250256.
Erm an, L. D., and V. R. Lesser. 1978. System engineering techniques for artificial
intelligence systems. In A. Hanson and E. Riseman, eds., Computer vision sys
tems. New York: Academic Press, pp. 3745.
Faught, W ., D. A. W aterm an, S. Rosenschein, D. Gorlm , and T. Tepper. 1980.
EP-2: An exemplary programming system. Rand Report R-2411-ARPA, Rand
Corp., Santa Monica, Calif.
Freeman, P., and A. Newell. 1971. A model for functional reasoning in design. In
IJCAI 2, pp. 6 2 1 -6 4 0 .
Garvey, T. D., and M. A. Fischler. 1979. M achine-intelligence-based multisensor
ESM system. Technical Rept. AFAL-TR-79-1162, Artificial Intelligence Center,
SR I International, Menlo P ark, Calif.
Gaschnig, J. 1979. Prelim inary performance analysis of the PROSPECTOR consul
tant system for mineral exploration. In IJCAJ 6, pp. 308310.
. 1981. PROSPECTOR: An expert system for mineral exploration. Machine In
telligence, Infotech State of the Art Report 9, no. 3.
Genesereth, M. R. 1977. An autom ated consultant for MACSYMA. In IJCAI 5, p. 789.
. 1979. The role of plans in autom ated consultation. In IJCAI 6, pp. 311319.
. 1980. Metaphors and models. In Proceedings of the AAAI Conference 1980,
pp. 208211.
Goldberg, R., and S. M. Weiss. 1980. An experim ental transform ation of a large ex
pert system knowledge-base. W orking Paper, Computer Science D epartm ent, R u t
gers U niversity, New Brunswick, N . J .
Gorry, G. A. 1974. Research on expert systems. MAC Technical Memorandum 56>
Project MAC, Massachusetts Institute of Technology, Cambridge, Mass.
427
428
(A rchitecture).
1) ,
.
2) ,
.
HEARSAY-II (HEARSAY-II architecture).
,
,
,
.
(A ttribute). . .
(Knowledge base).
.
(B acktracking).
,
,
, ,
.
, (Inference, data directed). .
.
, . . ,
.
(D ata-directed inference). . .
(Blackboard).
,
HEA RSA Y -II ,
. ,
.
430
(N atural language).
:
,
(
,
,
. .).
(Dependency).
,
.
,
.
(Knowledge).
, .
(Knowledge Engineering).
,
; , .
(Tools for knowledge
engineering).
,
,
, EMYCIN,
, R O SIE.
(IN T E R L ISP).
,
LISP.
(Knowledge source).
,
. ,
, . .
.
(Concept).
,
,
, .
(LISP).
, , , .
.
431
- (Meta- ).
,
.
(Metaknowledge).
.
(M etacognition).
.
(Metarule).
, , .
, (Problem -solving methods, weak
and strong).
.
, ,
.
() (ruleset).
,
.
(MACLISP).
L ISP,
, .
(Learning).
.
(E xplanation).
,
, ,
,
, ()
.
(In stan tiation).
,
, , , ,
.
(Back-chaining, backward-chaining).
,
, ,
,
.
(Truth m aintenance).
,
.
432
(Rule).
,
,
.
(Inferential rule).
,
.
(Knowledge A cquisition).
,
, .
, (Rule-based program).
,
.
(H euristic Program m ing
Project).
,
( .
.).
(Forward-chaining).
,
, ,
, .
,
.
(Agenda).
,
.
, (G oal-directed reasoning).
. .
, (Expectation-driven rea
soning).
,
,
.
(VLSI; very large system integration).
;
,
.
433
(Property). . .
(Semantic).
,
, (. . ).
(Syntactic).
,
.
(Slot).
.
, , ,
, , ,
.
(Scheduling).
,
(. ).
(Specialist).
,
,
H EA R SA Y -II.
(Property list).
, ,
, ,
.
(Schema). . .
(Belief).
1) , .
2)
.
(C ertainty).
,
,
.
(Satisfice).
,
( ).
( ) (Control).
,
;
.
(Fact).
, .
(Facet). . .
434
(Frame).
,
.
, , , .
(E volutionary
developm ent of software).
, ,
,
.
() (H euristic rule).
- .
(Expertise).
,
-,
, ,
, ,
(),
.
(Human engineering).
- ,
.
(Expert system).
,
,
.
81
117
166
281
300
217
327
341
27, 145
332
105
300
161
168
86
167
112
344
352
311
, 353
196, 316
218
98
98
102
107
231
134
314
228
300
324
223
95
231, 271
28
27, 131, 217, 237
87
282
34
38
134
56, 214, 228
134
141, 145, 190
14, 17, 30, 19
251
100
14
218
218
170
20
118
84
53, 1^2
155
82
23, 47, 100, 143,
319
42
28, 355
24, 44, 95
215
354
354
280
16, 319
35
330, 348
72
436
281
282
52, 54, 142
73
315
328
351
352
352
28
28
346
352
352
352
301
355
331
310
35, 152
251
273
27
329
74
353
23
92
234
93
251
116
117,
138
173
329
330
158
24, 96
119
106
106
301,
305
24
53, 231
89, 208, 288
337
156
156
83
24
23
251
83
269
267
267
277
267
210
163
127
24, 97, 209, 331
247
137
82,
112,
138
31, 36
79
79, 99, 228
31
353
82, 112, 138
218
342
223
245
251
76
316
196, 202, 300
161
107
112
303, 316, 319, 350
344
328
329
196
24
307
24, 97
272
158
81
77
106
319
331
251, 324
129
111
98
35
281
355
24
156
23, 55, 57
328, 330
316
28
*314
314
371
353
50, 326
- 209
56
25
24
437
16
25
25
25
25
82
24
25, 97
141
25, 270
91
91
251
108
280
334, 337
324
247
351
351
251
351
351
133
346
348
347
148
347
231
314
106
84
329
328
230
24, 351
228, 232
211
35
245
330
311
438
86
311
89
319
14, 170
311
79
129
38, 53
41
230
273
35, 36
41, 53
56
18
334
278
30
23, 30, 55, 231
307
303
211
231
333
300
..........................................................................................
..............................................................................................................
I.
...............................................................................
14
1. .....................................................
14
1.1.
...................................................................................
17
1.2. ...............................................................
22
1.3. .............................................
34
1.4. ..............................................
38
2. ? .....................................................
41
2.1. .....................................................................................................
42
2.2.
.....................
2.3.
52
. .
62
2.4. ..........................................................................
67
3. ,
...........................................................................................................
70
3.1. ..........................................................
71
3.2. .................................................
95
II. ..................................
100
4. .....................................................
100
4.1. ,
102
. .
4.2. .....................................................
104
4.3. , ..............................................
108
4.4. ,
. . . .
111
4.5. .....................................
114
4.6. . . . .
4.7. ........................................................
117
119
4.8. .....................................................
4.9. .....................
123
128
4.10.
130
.....................
440
4.11.
..............................................................................................................134
4.12
..................................................................................................... ......137
5.
141
................. ......163
5.4. ...................................................169
. 5.5.
........................................174
6. ,
.............................................................................183
6.1. .................................................................................................185
6.2. ................................................................................186
6.3. ..........................................215
6.4. ......................................... ......227
III.
7.
.... 233
.................... ....
......233
................................................................... ......240
. . .
7.5.
7.6.
244
245
................ ......246
7 .7.
.................................................................................. ......249
7.8.
................. ......250
. .
256
8.1. :
............................................................................................... ...... 256
8.2.
? ...................................... ......259
8.3.
8.4. :
8.5. :
269
441
IV. ,
299
9.
299
9.1. ..........................................300
9.2. .....................................................................................301
9.3. ...................................302
9.4. E M Y C I N ................................................................................................... ......303
9.5. K A S .................................................................................................307
9.6. E X P E R T .................................................................................................. ......315
9.7. O P S 5 .................................................................................................................319
9.8. H E A R S A Y - I I I ........................................................................................ ......326
9.9. R L L ............................................................................................................ ......333
9 .10. R O S I E ..................................................................................................... ......341
9.11. A G E ................................................................................................................346
9.12
.....................................................................................355
V. ............... .....^63
10.
.............................................................................................368
10.1. ........................................................369
10.2. ............................................................. ..... 375
10.3. ................................................................................. ..... 378
10.4. ................................................................................... ..... 391
10.5. ...................................................................... ..... 392
1 ................................................................................................................ ......396
1.1.
1.2.
E M Y C I N .................................. ......396
K A S .................................................... 398
1.3.
1.4.
O P S 5 .......................................... ......405
1.5.
............................................................................................ ..... 406
1.6. R O S I E
1.7.
. .
406
R L L ................................................ 412
......................................................................................................................415
......................................................................................................................... 429
........................................................................................... 435
, ,
129820,
1-
.,
2,
. .
. . .
. .
. . . .
. .
5917
2 4 .0 6 .8 6 . 8 .0 1 .8 7 .
6 0 9 0 1/ 1. . . . .
. 14 . . . . . 28. . .-. 28.
.-. . 2 6 ,4 5 . . 1 /4 5 6 4 . 12000 . . 2282
2 . 20 .
1 2 9 8 2 0 , , , -110, 1- ., 2
>
. .
, . 113054, , , 28
4
.
*
, . 191126, ,
., 14.