You are on page 1of 443

:

. -, . ,

TEK N OW LEDG E S E R IE S IN KNOWLEDGE E N G IN E E R IN G

Building Expert Systems

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

A D D ISO N -W E SL E Y P U B L IS H IN G COM PANY, INC.


ADV A NC ED BOOK PROGRAM
R E A D IN G , M ASSACHUSETTS
LONDON AM STERDAM DON M ILLS, O N TARIO . SY D N E Y TOKYO

: . -, . , .


. . , . . . .

. J1.

1987

32.973
63
681 32

: . ./ .
6 3 . -, . , . . .: ,
1987. 441 ., .
,
,
. ,

. ,
.
,
.

1702050000216 ,
041 (01)87 4287 * 1

_
32-973

1983 by Addison-Wesley Publishing Company, inc.

, , 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

H E A R S A Y -I-------------- HEARSAY- ,------------------------------------> HEARSAY-111 ------------

'----------- - > HARPY

-------------------------------- A G E ------------------------------ -5

MYCIN j------------------------- EM YC /N -------------- -> P U F F

---------------------^ 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 --------------------------- >

P S G ---------------------- ^ OPS ------------------^ O PS4 ------>- PS 5

--S A IN T ----------------- ^ S I N -------------- ^

MATHLAB

----------- ^ M ACSYM A-

------------D E N D R A L -------------------------- M E T A -D E N D R A L -----------------------------

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

. EMYCIN, KS 300 KAS


.
KAS ,
EMYCIN,
, EMYCIN. KS 300
,
EMYCIN. OPS
,
. AGE
,
.
IN T E R L IS P
LISP,
.
1.4.

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*) ( ( )- ( ))


(() ( * ) ()))

(() (( )-( )))


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

. ,
.
,
, , . , ,

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 RSAY -II.

. 4.8,
,
, ,
H EA R SA Y -II
.
-: ,
. . .
,
,
, . ,


,
,
.

I L

132

HEA RSA Y -II ,


, . 4.54.8.
.
, ,
,
. ,
, .
HEARSAY-II ,
,
.

:
, ,

, .
, ,
, .
, ,
,
.

,
.
.
,
. ,
till
tell
till
tell

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 :

:
:

(SAME CNTXT HF)


( CNTXT
( ))

:
:
:
:

:
:
:

( 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 .

232 , 216. V A X -11/780


, (
), .
,
,
,
.
. - ,
,
VAX .
, ,
... -,
, .
,

, , ,
, ( ),
/ .
-, ,


. ,
( )
, :
.
... ,
,
. VAX 420
. 3300
, .
, R1 ,

.
, ,
.
.
, ,
: (1) ,
.
,

. (2)
, ,
,
, ,

. 480 . 96

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 :
(
( (

CORYNEBACTERIUM N O N -D IPH TH ER IA E))


(
(-
))
( (
))))
:
, ,
(nebacterium non-diphtheriae)
(. . ),
- .
(
EMYCIN ) ,
.
, .
, MYCIN
-1, -1, -1 -2,
,
, .

, . ,
, , ,
-2 -1,
-1,
-2.
, EMYCIN
--
(. [185]).
, 1
( ) + 1 (

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

(U.S. Governm ent P rinting Office):


,
,
, . ,

, ,
. .
,
,
. NFPA CHEM TREC, OHMTADS CH RIS
,
.
10.3.6.
,
,
,
. . 10.1
10.1.
( )
MIN: FLOW
1. (
)
MIN :EM ER
2.
M INrH ARM
3.

MIN: VIOL
4.
M IN :TIM E
5. (
)
M IN:COST
6. (
)

G OAL: DISCOV
1.
2.
GOAL :EMER
2.1. ,
GOAL :SRCE
2.2.
GOAL :MAT
2.3.
GOAL :FLO W
2.4.
GOAL : VIOL
3.
GOAL :N O T IF
4.
GOAL :CMEAS
5.

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 .
.

1. Aikins, J . S. 1980. Prototypes and production rules: A knowledge representation


for computer consultations. Ph. D. Diss., R ept. STAN-CS-80-814, Computer
Science D epartm ent, Stanford U niversity, Stanford, Calif.
2. Amarel, S. 1982. E xpert behavior and problem representations. R ept. CBM-TR126, Laboratory for Computer Science Research, Rutgers U niversity, New
Brunswick, N. J.
3. Anderson, J . 1976. Language, memory, and thought. H illsdale, N. J.: Lawrence
Erlbaum Associates.
4. . 1983. A general learning theory and its application to the acquisition of
proof skills in geometry. In R. S. M ichalski, J. Carbonell, and . M. M itchell,
eds., Machine learning: An artificial intelligence approach. Palo Alto, Calif.:
Tioga Press.
5. Anderson, R. H ., and J . J . G illogly. 1976a. Rand intelligent term inal agent
(RITA): Design philosophy. Rand paper R-1809-ARPA, Rand Corp., Santa
Monica, Calif.
6. . 1976b. The R and intelligent term inal agent (RITA) as a network design
access aid. In Proceedings of the A FIPS N ational Computer Conference, pp.
501509.
7. A rm itage, P. 1971. S tatistical m ethods in medical research. New York: John.
W iley and Sons.
8. Badre, N. A. 1973. CLET: A com puter program th at learns arithm etic from an
elem entary textbook. IBM Research R ept. RC 4235.
9. Balzer, R ., L. D. Erm an, P. London, and C. W illiam s. 1980. H EA RSAY -III:
A dom ain-independent framework for expert systems. In AAAI1, pp. 108 110.
10. B arnett, J . A., and . I. Bernstein. 1977. Knowledge-based systems: A tu to ri
al. Rept. TM-(L)-5903/000/00 (NTIS: AD/A-044 833), System Development
Corp., Santa Monica, Calif.
11. Barr, A., and E. A. Feigenbaum , eds. 1981. The handbook of artificial intelli
gence, vol. 1 (see also vol. 2, 1982). Los Altos, Calif.: W illiam Kaufman.
12. Barstow, D. R. 1977. A knowledge-based system for autom atic program const
ruction. In IJCAI 5, pp. 382-388.
13. . 1979. An experim ent in knowledge-based autom atic programming. A rtifici
al Intelligence 12:7-119.
14. Bennett, J. S., and R. S. Engelmore. 1979. SACON: A knowledge-based con
sultant for structural analysis. In IJCAI 6, pp. 4749.
15. Bjerregaard, B., S. B rynitz, J . Holst-Christensen, E . K alaja, J . Lund-Kristensen, J . H ilden, F. T. deDombal, and J. C. Hurrocks. 1976. Computer aided diag
nosis of the acute abdomen: A system from Leeds used on Copenhagen patients.
In F. Gremy and F. T. de Dombal, eds., Decision making and medical care.
Amsterdam: N orth-H olland, pp. 165 171.
16. Bobrow, D. G. 1975. Dimensions of representation. In D. G. Bobrow and A. Col
lins, eds., Representation and understanding: Studies in cognitive science. New
York: Academic Press, pp. 134.
17. Bobrow, D. G., and A. Collins, eds. 1975. R epresentation and understanding:
Studies in cognitive science. New York: Academic Press.
18. Bobrow, D. G., and T. W inograd. 1977. An overview of KRL, a knowledge
representation language. Cognitive Science 1 : 346.

416

19. Borning, . . 1979. TH1NGLAB: A constraint-oriented sim ulation labora


tory. Ph. D. D iss., R ept. STAN-CS-79-746, Computer Science D epartm ent,
Stanford U niversity, Stanford, Calif.
20. Brachman, R. J . 1977. W h ats in a concept: Structural foundations for semantic
networks. International Journal of Man-Machine Studies 9 : 127 152.
21. . 1979. On the epistemological status of sem antic networks. In N. V. Findler,
ed., Associative networks: The representation and use of knowledge by compu
ters. New York: Academic Press.
22. Brachman, R. J ., and . C. Sm ith. 1980. SIGART 70 (special issue on knowledge
representation.
23 Brown, J. S., and R. R. Burton. 1975. M ultiple representation of knowledge
for tutorial reasoning. In D. G. Bobrow and A. Collins, eds., Representation
and understanding: Studies in cognitive science. New York: Academic Press,
pp. 3 1 1 -3 4 9 .
24. Brown, J . S., R. R. Burton, and A. G. Bell. 1974. SO PH IE : A sophisticated
instructional environm ent for teaching electronic troubleshooting [an example
of AI in 1]. BBN Rept. 2790, Bolt Beranek and Newman, Cambridge, Mass.
25. Bruner, J. S., J . J . Goodnow, and G. A. A ustin. 1956. A study of thinking.
New York: John Wiley and Sons.
26. Buchanan, B. G. 1982. New research on expert systems. In J. E. Hayes, D.
Michie, and Y. H. Pao, eds., Machine intelligence, vol. 10. Edinburgh: E din
burgh U niversity Press, pp. 269299.
27. Buchanan, B. G., and E. A. Feigenbaum. 1978. DENDRAL and Meta-DENDRAL: Their applications dimension. A rtificial Intelligence 11 : 524.
28. Buchanan, B. G., and T. M. M itchell. 1977. Model directed learning of produc
tion rules. Rept. STAN-CS-77-597, Computer Science D epartm ent, Stanford
U niversity, Stanford, Calif.
29. Buchanan, B. G. , and Shortliffe, E. H. 1983 (in press). Rule-based expert sys
tems: The MYCIN experim ents of the H euristic Programming Project, Reading,
Massachusetts: Addison-Wesley.
30. . 1978. Model-directed learning of production rules. In D. A. W aterm an and
F. H ayes-Roth, eds., Pattern-directed inference systems. New York: Academic
Press, pp. 297312.
31. Buchanan, B. G., D. H. Sm ith, W. C. W hite, R. J . G ritter, E. A. Feigenbaum,
J . Lederberg, and C. Djerassi. 1976. A pplications of artificial intelligence for
chemical inference X X II: A utom atic rule formation in mass spectrometry by
means of the m eta-DENDRAL program. Journal of the American Chemical
Society 98 : 61686178.
32. Buchanan, B. G ., G. L. Sutherland, and E. A. Feigenbaum. 1969. Heuristic
DENDRAL: A program for generating explanatory hypotheses in organic che
m istry. In B. Meltzer and D. Michie, eds., Machine intelligence, vol. 4. E din
burgh: Edinburgh U niversity Press, pp. 209254.
33.. 1970. Rediscovering some problems of artificial intelligence in the context
of organic chem istry. In B. Meltzer and D. Michie, eds., Machine intelligence,
vol. 5. Edinburgh: E dinburgh U niversity Press, pp. 253280.
34. Bundy, A., L. Byrd, G. Lager, C. Mellish, and M. Palm er. 1979. Solving mecha
nics problems using meta-level inference. In IJCAI 6, pp. 1071 1027.
35. Burton, R. R. 1976. Semantic grammar: An engineering technique for construc
ting natural language understanding systems. BBN Rept. 3453, Bolt Beranek
and Newman, Cambridge, Mass.
36. Carbonell, J. R. 1970. AI in CAI: An artificial intelligence approach to compu
ter assisted instruction. IEEE Transactions on Man-Machine Systems, MMS-11 :
190-202.
37. Charniak, .E., . K. Riesbeck, and D. V. M cDermott. 1979. Artificial intelli
gence programming. H illsdale, N. J.: Lawrence Erlbaum Associates.
38. Clancey, W. J . 1979. T utoring rules for guiding a case method dialogue. In
ternational Journal of Man-Machine Studies 11 : 2549.
39. Clancey, W. J ., E. H. Shortliffe, and B. G. Buchanan. 1979. Intelligent com

40.

41.
42.

43.
44.
45.
46.

47.
48.
49.
50.
51.
52.
53.

54.
55.
56.
57.
58.

59.

60.

14

417

puter-aided instruction for medical diagnosis. In Proceedings of the Third


Annual Symposium on Computer A pplications in Medical Care, pp. 175 183.
Davis, R. 1976. A pplications of meta-level knowledge to the construction, m ain
tenance and use of large knowledge bases. Ph. D. Diss. Rept. STAN-CS-76-564,
Computer Science D epartm ent, Stanford U niversity, Stanford, Calif. Reprinted
in R. Davis and D. B. Lenat, eds., Knowledge-based systems in artificial in
telligence. New York: McGraw-Hill, 1980.
. 1977. Interactive transfer of expertise: A cquisition of new inference rules.
In IJCAI 5 : 321328.
. 1978. Knowledge acquisition in rule-based systems: Knowledge about
representation as a basis for system construction and m aintenance. In D. A.
W aterm an and F. Hayes-Roth, eds., Pattern-directed inference systems.
New York: Academic Press, pp. 99 134.
. 1980. Meta-rules: Reasoning about control. A rtificial Intelligence 15 : 179
222 .
. 1982. E xpert systems: Where are we? And where do we go from here? AI
Magazine 3, no. 2 : 3 22.
Davis, R ., and B. G. Buchanan. 1977. Meta-level knowledge : Overview and
applications. IJCAI 5 : 920928.
Davis, R ., B. G. Buchanan, and E. Shortliffe. 1977. Production rules as a
representation for a knowledge-based consultation program. A rtificial Intelli
gence 8 : 1545.
Davis, R ., and J . King. 1976. An overview of production systems. In E. W.
Elcock and D. Michie, eds., Machine intelligence, vol. 8. New York: John
W iley and Sons, pp. 300332.
Davis, R., and D. Lenat. 1980. Knowledge-based systems in artificial intelli
gence. New York: McGraw-Hill.
de Kleer, J . 1979. Causal and teleological reasoning in circuit recognition. Ph. D.
Diss. Massachusetts Institute of Technology, Cambridge, Mass.
de Kleer, J ., J . Doyle, G. L. Steele, and G. J . Sussman. 1979. E xplicit control
of reasoning. In P. H. W inston and R. H. Brown, eds., A rtificial intelligence:
An MIT perspective, vl. 1. Cambridge, Mass.: MIT Press, pp. 93 116.
de Kleer, J ., and G. J . Sussman. 1980. Propagation of constraints applied to
circuit synthesis. C ircuit Theory and A pplications 8 : 127 144.
Denning, P. J . 1981. Performance analysis: Experim ental computer science
at its best. Comm unications of the ACM, 24 : 725727.
D irector, S. W ., A. C. Parker, D. P. Siewiorek, and D. E. Thomas. 1981. A de
sign methodology and computer aids for digital VLSI systems. IE E E Transac
tions on Circuits and Systems.
Doyle, J . 1979. A truth m aintenance system. A rtificial Intelligence 12:231272.
. 1980. A model for deliberation, action, and introspection. Ph. D.Diss. Tech.
R ept. AI-TR-581. A rtificial Intelligence Laboratory, Massachusetts Institute
of Technolcgy, Cambridge, Mass.
Doyle, J ., and P. London. 1980. A selected descriptor-indexed bibliography
to the literature on belief revision. SIGART Newsletter 71:723.
Duda R. O., and J . G. Gaschnig. 1981. Knowledge-based expert systems coming
of age. BYTE 6, no. 9 : 238281.
Duda, R. O., J . G. Gaschnig, and P. E. H art. 1979. Model design in the PROS
PECTOR consultant system for mineral exploration. In D. Michie, ed., E xpert
systems in the micro-electronic age. Edinburgh: Edinburgh U niversity Press,
pp. 153 167.
Duda, R. ., P. E. H art, P. B arrett, J . Gaschnig, K. Konolige, R. Reboh, and
J. Slocum. 1978. Development of the PROSPECTOR consultation system for
mineral exploration. Final Rept. SRI Projects 5821 and 6415, A rtificial In tel
ligence Center, SRI International, Menlo Park, Calif.
Duda, R. ., P. E. H art, and N. J. Nilsson. 1976. Subjective Bayesian m ethods
for rule-based inference systems. In Proceedings of the A FIPS 1976 N ational
Computer Conference, vol. 45, pp. 1075 1082.

2282

418

61. Duda, R. ., P. E. H art, N. J. Nilsson, and G. Sutherland. 1978. S em antic


network representations in rule-based inference systems. In D. A. W aterm an
and F. H ayes-R oth, eds., Pattern-directed inference systems. New York:
A cadem ic Press, pp. 203221.
62. E astm an, C. 1981. Recent developments is representation in the science of
design. In Proceedings of the 18th Design A utom ation Conference, IE E E Com
puter Society and ACM.
63. Edelson, E. 1982. E xpert systemscomputers that think like people. Popular
Science Sept.: 4852.
64. Engelm an, C. 1971. The legacy of MATHLAB 68. In Proceedings of the Second
Symposium on Symbolic and Algebraic M anipulation, Los Angeles.
65 Ennis, S. P. 1982. E xpert systems: A users perspective on some current tools.
In AAAI 2, 1982, pp. 319321.
66. E rm an, L. D., F. H ayes-R oth, V. Lesser, and D. Reddy. 1980. The HEARSAYII speech-understanding system: Integrating knowledge to resolve uncertainty.
C om puting Surveys 12, no. 2 : 213253.
67. E rm an, L. D., P. E. London, and S. F. Fickas. 1981. The design and an example
use of H EA R SA Y -III. In IJCAI 7, pp. 409415.
68. Fagan, L. M. 1980. VM: Representing tim e-dependent relations in a medical
setting. Ph. D. Diss. Com puter Science D epartm ent, Stanford U niversity, Stan
ford, Calif.
69. Fagan, L. ., J . C. Kunz, E. A. Feigenbaum , and J. Osborn. 1979. Represen
tation of dynam ic clinical knowledge: M easurement interpretation in the inten
sive care unit. In IJCAI 6 : 260262.
70. Fain, J ., D. G orlin, F. H ayes-R oth, S. J. Rosenschein, H. Sowizral, and D. W a
term an. 1981. The ROSIE language reference m anual. Tech. R ept. N-1647ARPA, R and Corp., Santa Monica, Calif.
71. Fain, J ., F. H ayes-R oth, H. Sowizral, and D. W aterm an. 1982. Programming
in ROSIE: An introduction by m eans of examples. Tech. Rept. N-1646-ARPA,
Rand Cor., Santa Monica, Calif.
72. Faught, W. S., P. Klahr, a n d G . R. M artins. 1980. An artificial intelligence app
roach to large-scale sim ulation. In Proceedings of the 1980 Summer Sim ulation
Conference, Seattle, Wash. pp. 231236.
73. Feigenbaum, E. A. 1977. The art of artificial intelligence: Themes and case
studies of knowledge engineering. In IJCA I 5, pp. 1014 1029.
74. Feigenbaum, E. A., B. G. Buchanan, and J . Lederberg. 1971. On generality
and problem solving: A case study using the DENDRAL program . In B. Meltzer
and D. Michie, eds., Machine intelligence, vol. 6. Edinburgh* Edinburgh U ni
versity Press, pp. 165 190.
75. Fenves, S. J . and T. N orabhoom pipat. 1978. P oten tials for artificial intelli
gence applications in structural engineering design and detailing. In J . C. Latombe, ed., A rtificial intelligence and pattern recognition in com puter aided
design. Proceedings, IF IP W orking Conference, Grenoble, France, pp. 105 119.
76. Fikes, R. E. 1975. REF-ARF: A system for solving problems stated as procedu
res. A rtificial Intelligence 1 : 27 120.
77. Forgy, C. L. 1979a. The OPS4 users m anual. Technical R ept. CMU-CS-79-132,
D epartm ent of Computer Science, Carnegie-Mellon U niversity, P ittsburgh, Pa.
78. . 1979b. On the efficient im plem entation of production systems. Ph. D. Diss.
Computer Science D epartm ent, Carnegie-Mellon U niversity, P ittsburgh, Pa.
79. . 1981. The OPS5 users m anual. Technical R ept. CMU-CS-81-135, Computer
Science D epartm ent, Carnegie-Mellon U niversity, P ittsburgh, Pa.
80. . 1982. RETE: A fast algorithm for the many pattern/m any object p attern
match problem. A rtificial Intelligence 19 : 1738.
81. Forgy, C., and J. M cDermott. 1977. OPS: A dom ain-independent production
system language. In IJCAI 5, pp. 933939.
82. Freeman, P., and A. Newell. 1971. A model for functional reasoning in design.
In IJCAI 2, pp. 621640.
S3. Freiherr, G. 1980. The seeds of artificial intelligence. N1H no. 80-2071.SUMEXAIM, W ashington, D. C.

419

84. Gardner, . 1981. Search. In A. B arr and E. A. Feigenbaum, eds., Handbook


of artificial intelligence, vol. 1. Los Altos, Calif.: W illiam Kaufman, pp. 19
139.
85. Gaschnig, J . 1980a. Development of uranium exploration models for the PROS
PECTOR consultant system. Final rept. SRI Project 7856, Artificial Intelli
gence Center, SRI International, Menlo Park, Calif.
86. . 1980b. An application of the PROSPECTOR system to the DOEs national
uranium resource evaluation. In AAAI 1, pp. 295297.
87. G elvernter, H. L., A. F. Sanders, D. L. Larsen, . K. Agarwal, R. H. Boivie,
G. A. Spritzer, J . E. Searleman. 1977. Em pirical explorations of SYNCHEM,
Science 197 : 1041 1049.
88. Goldm an, N. 1978. AP3 users guide. Unpublished memorandum, Information'
Sciences Institute, U niversity of Southern California, Los Angeles.
89. Greiner, R., and D. Lenat. 1980. A representation language language, In AAAI
1, pp. 165 169.
90. Grinberg, M. R. 1980. A knowledge-based design system for digital electronics.
In AAAI 1, pp. 283285.
91. Haas, N., and G. H endrix. 1980. An approach to acquiring and applying know
ledge. In AAAI 1, pp. 235239.
92. Hanson, A. R., and E. M. Riseman, eds. 1978. Computer vision systems. New
York:
Academic Press.
93. H art, P. E. 1980. W h ats preventing the widespread use of expert systems? Posi
tion paper, E xpert Systems W orkshop, San Diego, Calif., pp. 11 14.
94. H art, T. 1961. Sim plify. Memo 27, A rtificial Intelligence Group, Project MAC
Massachusetts Institute of Technology, Cambridge, Mass.
95. H ayes-Roth, B., and F. H ayes-R oth. 1978. Cognitive processes in planning.
Rand Paper R-2366-ONR, Rand Corp., Santa Monica, Calif.
96. H ayes-R oth, F. 1974. Schematic classification problems and their solution. P a t
tern Recognition 6 : 105 113.
97. . 1981. B uilding expert systems: P u ttin g knowledge to work. Invited tutorial
presented at IJCAI 7.
98. . 1983. Using proofs and refutations to learn from experience. In R. S. Michalski, J . Carbonell, and . M. M itchell, eds., Machine learning: An artificial
intelligence approach. Palo Alto, Calif: Tioga Press.
99. H ayes-Roth, F., D. Gorlin, S. Rosenchein, H. Sowizral, and D. W aterman.
1981. R ationale and m otivation for ROSIE. Tech. Note N-1648-ARPA, Rand
Corp., Santa Monica, Calif.
100. H ayes-Roth, F., P. Klahr, J . Burge, and D. J . Mostow. 1978. Machine m ethods
for acquiring, learning, and applying knowledge. R ept. P-6241, Rand Corp.,
Santa Monica, Calif.
101. H ayes-Roth, F., P. Klahr, and D. J. Mostow. 1980a. A dvice-taking and know
ledge refinement: An iterative view of skill acquisition. In J . Anderson, ed .r
Learning and cognition. H illsdale, N. J .: Lawrence Erlbaum Associates.
102. . 1980b. Knowledge acquisition, knowledge programming, and knowledge
refinem ent. Rand Paper R-2540-NSF. Rand Corp., Santa Monica, Calif.
103. Hayes-Roth, F., D. J . Mostow, and M. S. Fox. 1978. U nderstanding speech in
the H EA RSAY -II system. In L. Bole, ed., Speech com m unication w ith compu
ters. Munich: Carl Hansen Verlag.
104. H ayes-Roth, F., D. A. W aterm an, and D. B. Lenat. 1978. Principles of p at
tern-directed inference systems. In D. A. W aterm an and F. Hayes-Roth,
eds., Pattern-directed inference systems. New York: Academic Press, pp. 577
601.
105. H endrix, G. G. 1975. Expanding the u tility of sem antic networks through
partitioning. In IJCAI 4, pp. 115 121.
106. . 1979. Encoding knowledge in partitioned networks. In N. V. Findler, ed.,
Associative networks: The representation and use of knowledge in computers.
New York: Academic Press, pp. 5192.
107. H ew itt, . E. 1972. Description and theoretical analysis (using schemata) of
PLAN NER: A language for proving theorems and m anipulating models in a
14*

420

robot. Tech. Rept. TR-258. A rtificial Intelligence Laboratory, M assachusetts In


stitu te of Technology, Cambridge, Mass.
108. Kant, E. 1979. A knowledge-based approach to using efficiency estim ation in
program synthesis. In IJCAI 6, pp. 457 462.
109. Kelly, B. A., and T. W. Oakes. 1980. The spill prevention control and counter
measures plan for Oak Ridge N ational Laboratory. ORNL/TM-7677.
110. Kleene, S. C. 1967. M athem atical logic. New York: John W iley and Sons.
111. Knuth, D. E. 1973. The art of computer programming, Vol. 1. Fundam ental
algorithm s. Reading, Mass.: Addison-W esley.
112. Korsvold, K. 1965. An on-line algebraic sim plification program. A rtificial
Intelligence Project, Memo 37, Stanford U niversity, Stanford, Calif.
113. Kulikowski, C. A. 1980. A rtificial intelligence methods and system s for medical
consultation. In IEEE Transactions on P attern A nalysis and Machine In te lli
gence, pp. 464476.
114. Kunz, J . C., R. J . F allat, D. H. McClung, J . J . Osborn, R. A. V otteri, H. P.
N ii, J . S. Aikins, L. M. Fagan, and E. A. Feigenbaum . 1978. A physiological
rule-based system for interpreting pulm onary function test results. R ept. H PP78-19, H euristic Program m ing Project, Computer Science D epartm ent, S tan
ford U niversity, Stanford, Calif.
115. Lenat, D. B. 1976. AM: An artificial intelligence approach to discovery in m at
hem atics as heuristic search. Ph. D. Diss. Memo AIM-286, A rtificial In telli
gence Laboratory, Stanford U niversity, Stanford, Calif.
116. . 1977. Autom ated theory formation in m athem atics. In IJCAI 5, pp. 833
842.
117. . 1980a. On autom ated scientific theory formation: A case study using h>
AM program. In R. D avis and D. B. Lenat, Knowledge-based systems in a rti
ficial intelligence. New York: McGraw-Hill.
118. . 1980b. The nature of heuristics. R ept. HPP-80-26, H euristic Programming
Project, Computer Science D epartm ent, Stanford U niversity, Stanford, Calif.
119. . 1982. The nature of heuristics. A rtificial Intelligence 19: 189249.
120. Lenat, D. B., F. H ayes-R oth, and P. Klahr. 1979a. Cognitive economy. R ept.
HPP-79-15, H euristic Program m ing Project, Computer Science D epartm ent,
Stanford U niversity, Stanford, Calif.
121. . 1979b. Cognitive economy in artificial intelligence systems. In IJCAI 6,
pp. 531536.
122. Lenat, D. B., W. R. Sutherland, and J . Gibbons. 1982. H euristic search for
new m icrocircuit structures: An application of artificial intelligence. AI Maga
zine 3 : 1733.
123. Lesser, V. R., and L. D. Erm an. 1977. A retrospective view of the H EARSAY-II
architecture. In IJCAI 5, pp. 790800.
124. Lindsay, R. ., B. G. Buchanan, E. A. Feigenbaum, and J . Lederberg. 1980.
A pplications of artificial intelligence for organic chem istry: The DENDRAL
project. New York: McGraw-Hill.
125. Low, J. R. 1976. A utom atic coding: Choice of data structures, in Interdiscip
linary Systems Research, vol. 16. Basel: Birkhaeuser.
126. Lowerre, . T. 1976. The HARPY speech recognition system. Ph. D. Diss. Com
puter Science D epartm ent, Carnegie-Mellon U niversity, Pittsburgh, Pa.
127. McAllester, D. A. 1980. An outlook on tru th m aintenance. Memo no. 551, A rti
ficial Intelligence Laboratory, M assachusetts Institute of Technology, Camb
ridge, Mass.
128. McCarthy, J . 1968. Program s w ith common sense. In M. Minsky, ed., Semantic
information processing. Cambridge, Mass.: MIT Press, pp. 403409.
129. McCarthy, J ., and H ayes, P. J . 1969. Some philosophical problems from the
standpoint of artificial intelligence. In B. Meltzer and D. Michie, eds., Machine
intelligence, vol. 4. Edinburgh: E dinburgh U niversity Press, pp. 463502.
130. McDermott, D., and J . Doyle. 1980. Non-monotonic logic, J. Artificial Intelli
gence. 13 : 4172.
131. McDermott, D., and G. J . Sussman. 1974. The CONNIVER reference m anual.

132.
133.
134.
135.
136.
137.
138.
139.
140.
141.
142.
143.
144.

145.

146.
147.
148.

149.
150.
151.
152.

421

Memo 259, A rtificial Intelligence Laboratory, Massachusetts Institute of


Technology, Cambridge, Mass.
M cDerm ott, J . 1980a. R 1: A rule-based configurer of com puter systems. Techni
cal Rept. CMU-CS-80-119. D epartm ent of Com puter Science. Carnegie-Mellon
U niversity, P ittsburgh, Pa.
. 1980b. R l: An expert in the computer systems domain. In AAA I 1, pp. 269
271.
. 1980c. R l: An expert configurer. R ept. no. CMU-CS-80-119, Computer
Science D epartm ent. Carnegie-Mellon U niversity, P ittsburgh, Pa.
. 1981. R l: The formative years. AI Magazine 2, no. 2 : 2 1 29.
M cDerm ott, J ., and C. Forgy. 1978. Production system conflict resolution stra
tegies. In D. A. W aterm an and F. Hayes-Roth, eds., Pattern-directed inference
systems. New York: Academic Press, pp. 177 199.
Manove, ., S. Bloom, and C. Engelm an. 1968. R ational functions in MATHLAB. In D. G. Bobrow, ed., Symbol and m anipulation languages and techni
ques. Amsterdam: N orth-H olland, pp. 86 102.
M ark, W . S. 1976. The reformulation model of expertise. Ph. D. Diss. Rept.
MIT-LCS-TR-172, Laboratory for Computer Science, M assachusetts Institute
of Technology, Cambridge, Mass.
M artin, W. A., and R. J. Fatem an. 1971. The MACSYMA system. In Procee
dings of the Second Symposium on Symbolic and Algebraic M anipulation, Los
Angeles, pp. 5975.
Michalski, R. S. 1977. A system of programs for :om puter-aided induction:
A sum mary. In IJCAI 5, pp. 319320.
. 1980. P attern recognition as rule-guided inductive inference. IEEE T ran
sactions on P attern Analysis and Machine Intelligence 2, no. 4 : 349361.
Michie, D., ed. 1979. E xpert systems in the micro-electronic age. E dinburgh:
Edinburgh U niversity Press.
Miller, R. A., H. E. Pople, and J . D. Myers. 1982. IN T ER N IST -I, an ex p eri
m ental computer-based diagnostic consultant for general internal m edicine.
New England Journal of Medicine (August 19): 468476.
Minsky, M. 1963. Steps toward artificial intelligence. In E. A. Feigenbaum and
J . Feldm an, eds., Computers and thought. New York: M cGraw-Hill, pp. 406
450. [ : .
, . 402458. : /
. . . . .: , 1967.]
. 1975. A framework for representing knowledge: In P. W inston, ed., The
psychology of computer vision. New York: McGraw-Hill. [ :
. , . 249338. :
/ . . . .: , 1978.]
M itchell, . . 1978. Version spaces: An approach to concept learning. Ph. D.
Diss. Rept. STAN-CS-78-711, Computer Science D epartm ent, Stanford U niver
sity, Stanford, Calif.
. 1982. Generalization as search. A rtificial Intelligence 18 : 203226.
M itchell, . ., P. E. Utgoff, and R. B. Banerji. 1983. Learning problem-sol
ving heuristics by experim entation. In R. S. M ichalski, J . Carbonell, and . M.
M itchell, eds., Machine learning: An artificial intelligence approach. Palo Alto,
Calif.: Tioga Press.
Moses, J . 1967. Symbolic integration. Ph. D. Diss. R ept. MAC-TR-47, D epart
m ent of Computer Science, Massachusetts Institu te of Technology, Cambridge,
Mass.
Mostow, D. J . 1981. Mechanical transform ation of task heuristics into operatio
nal procedures. Ph. D. diss. Computer Science D epartm ent, Carnegie-Mellon
U niversity.
. 1983. Machine transform ation of advice into a heuristic search procedure.
In R. S. M ichalski, J . Carbonell, and . M. M itchell, eds., Machine learning:
An artificial intelligence approach. Palo Alto, Calif.: Tioga Press.
Newell, A. 1962. Some problems of basic organization in problem-solving pro
grams. In . C. Yovits, G. T. Jacobi, and G. D. Goldstein, eds., Proceedings

422

of the Second Conference on Self-Organizing Systems. W ashington D. C.:


Spartan Books, pp. 393 423.
153. . 1969. H euristic programming: Ill-structured problems. In A. Aronofsky,
ed., Progress in operations research, vol. 3. New York: John Wiley and Sons,
pp. 360414.
154. . 1973. Production systems: Models of control structures. In W. G. Chase,
ed., Visual information processing. New York: Academic Press, pp. 463526.
)55. . 1975. A tutorial on speech understanding systems. In D. R. Reddy, ed.,
Speech recognition: Invited Papers of the IE E E Symposium. New York: Aca
demic Press, pp. 354.
16. . 1980. Physical symbol systems. Cognitive Science 4 : 135 183.
157. Newell, A., and J . M cDerm ott. 1976. PSG m anual. D epartm ent of Computer
Science, Carnegie-Mellon U niversity, P ittsburgh, Pa.
158. Newell, A., and H. A. Simon. 1963. GPS: A program th at sim ulates human
thought. In E. A. Feigenbaum and J . A. Feldm an, eds., Computers and thought.
New York: M cGraw-Hill. [ : ., . C P S
, , . 283301
(. I).]
159. . 1976. C om puter science as em pirical enquiry: Symbols and search. The
1975 ACM Turing Lecture. Comm unications of the ACM 19, no. 3 : 113 126.
160. Nii, H. P ., and N. Aiello. 1979. AGE (A ttem pt to Generalize): A knowledgebased program for building knowledge-based programs. In IJCAI 6, pp. 645
655.
161. N ii, H. P ., and E . A. Feigenbaum . 1978. Rule-based understanding of signals.
In D. A. W aterm an and F. H ayes-Roth, eds., Pattern-directed inference systems.
New York: Academic Press, pp. 483501.
162. Nilsson, N. J . 1980. Principles of artificial intelligence. Palo A lto, Calif.:
Tioga Press. [ : H .
. .: , 1985.]
163. Oakes, . W ., J . . Bird, . . Shank, . A. Kelly, . R. Clark, and F. R od
gers. 1980. Waste oil management at Oak Ridge N ational L aboratory. O R N L/
TM 7712.
164. P auker, S. G., G. A. Gorry, J . P. Kassirer, and W . B. Schwartz. 1976. Towards
the sim ulation of clinical cognitiontaking a present illness by computer.
American Journal of Medicine 60 : 981996.
165. P ednault, E. P. D., S. W. Zucker, and L. V. Muresan. 1981. On the independen
ce assumption underlying subjective Bayesian updating. A rtificial Intelligence
16 : 213222.
166. P lotkin, G. D. 1971. A further note on inductive generalization. In B. Meltzer
;md D. Michie, eds., Machine intelligence, vol. 6. Edinburgh: Edinburgh U ni
versity Press, pp. 101 124.
167. Politakis, P ., and S. M. Weiss. 1981. A system for em pirical experim entation
with expert knowledge. Technical R ept. CBM-TM-091, Computer Science De
partm ent, Rutgers U niversity, New Brunswick, N. J.
168 Polya, G. 1954. M athem atics and plausible reasoning, vol. 2. New York: John
Wiley and Sons. [ : .
. .: , 1957.]
169 Pople, . ., J r. 1977. The form ation of composite hypotheses in diagnostic
problem solving: An exercise in synthetic reasoning. In IJCAI 5, pp. 1030
1037.
170. . 1981. H euristic m ethods for imposing structure on ill-structured problems:
The structuring of medical diagnostics. In P. Szolovitz, ed., A rtificial in telli
gence in medicine. American Association for the Advancement of Science. Boul
der Colo: Westview Press, pp. 119 185.
171. Pople, H. E ., J r ., J . D. Myers, and R. A. Miller. 1975. DIALOG: A model of
diagnostic logic for internal medicine. In IJCAI 4, pp. 848855.
172. Q uinlan, J. R. 1982. INFERNO: A cautious approach to uncertain inference.
Rand Note N-1898-RC, Rand Corp. Santa Monica, Calif., Septem ber.

423

173. Reboh, R. 1979. The knowledge acquisition system. In R. O. Duda, P. E. H art,


K. Konolige, and R. Reboh, A computer-based consultant for mineral explora
tion. Final R ept. SRI Project 6415, Artificial Intelligence Center, SRI Inter
national, Menlo Park, Calif.
174. Reddy, D. R., L. D. Erm an, R. D. Fennell, and R. B. Neely. 1973. The H EA R
SAY speech understanding system: An example of the recognition process. In
IJCAI 3, pp. 185 193.
175. Reiter, J. E. 1981. AL/X: An inference system for probabilistic reasoning. M. S.
Thesis. Computer Science D epartm ent, U niversity of Illinois, Urbana.
176. Rich, C., and H. E. Schrobe. 1976. Initial report on a LISP program m ers
apprentice. Rept. TR-354, A rtificial Intelligence Laboratory, Massachusetts
Institute of Technology, Cambridge, Mass.
177. Rieger, C., and M. Grinberg. 1977. The declarative representation and procedu
ral sim ulation of causality in physical mechanisms. In IJCAI 5, pp. 250256.
178. Rulifson, J . F., R. J . W aldinger, and J . A. Derksen. 1972. A language for w ri
ting problem-solving programs. In IF IP S 71. Amsterdam: N orth-H olland,
pp. 201205.
179. Sacerdoti, E. D. 1973. P lanning in a hierarchy of abstraction spaces. In
IJCAI 3, pp. 4 1 2 -4 2 2 .
180. . 1974. Planning in a hierarchy of abstraction spaces. A rtificial Intelligence
5, no. 2 : 115 135.
181. . 1975. The nonlinear nature of plans. In IJCAI 4, pp. 206214.
182. . 1977. A structure for plans and behavior. New York: American Elsevier.
183. Scott, A. C., W. J . Clancey, R. Davis, and E . H. Shortliffe. 1977. E xplanation
capabilities of knowledge-based production systems. American Journal of Com
putational Linguistics, Microfiche 62.
184. Shortliffe, E. H. 1976. Computer-based medical consultation: MYCIN. New
York: American Elsevier.
185. Shortliffe, E. H ., and B. G. Buchanan. 1975. A model of inexact reasoning in
medicine. M athem atical Biosciences 23 : 351379.
186. Simon, H. A. 1983. W hy should machines learn? In R. S M ichalski, J. Carbo
nell, and . M. M itchell, eds., Machine learning: An artificial intelligence app
roach. Palo Alto, Calif.: Tioga Press.
187. Slagle, J . R. 1961. A heuristic program th at solves symbolic integration prob
lems in freshman calculus. Symbolic A utom atic Integrator (SAINT). Ph. D.
Diss. R ept. 5G0001, Lincoln Laboratory, M assachusetts In stitu te of Techno
logy.
188. Sleeman, D., and J . S. Brown. 1982. Intelligent tutoring systems. New York:
Academic Press.
189. Sm ith, D. E. 1980. CORLL. A demand paging system for units. Rept. HPP-80-8
(W orking Paper), H euristic Program m ing Project, Computer Science D epart
m ent, Stanford U niversity, Stanford, Calif.
190. Sm ith, D. H ., B. G. Buchanan, R. S. Engelmore, J . Adlercreutz, and C. Djerassi. 1973. A pplications of artificial intelligence for chemical inference IX .
Analysis of m ixtures w ithout prior separation as illustrated for estrogens.
Journal of American Chemical Society 95 : 6078.
191. Sridharan, N. S. 1980. R epresentational facilities of AIMDS: A sam pling. Rept.
CBM-TM-86, Computer Science D epartm ent, Rutgers U niversity, New Brun
swick, N. J.
192. Stallm an, R ., and G. J . Sussman. 1977. Forward reasoning and dependency
directed backtracking in a system for com puteraided circuit analysis. A rtifi
cial. Intelligence 9 : 135 196.
193. Stefik, M. 1978a. Inferring DNA structures from segm entation data. Artificial
Intelligence 11 : 85 114.
194. . 1978b. An exam ination of a frame-structured representation system. Rept.
HPP-78-13, H euristic Program m ing Project, Computer Science D epartm ent,
Stanford U niversity, Stanford, Calif.
195. . 1981a. Planning w ith constraints (MOLGEN: P art 1). A rtificial Intelli
gence 16 : 111 139.

424

196. . 1981b. P lanning and m eta-planning (MOLOGEN: P a rt 2). A rtificial In


telligence 16 : 141 169.
197. Stefik, ., J . A ikins, R. Balzer, J . Benoit, L. B irnbaum , F. H ayes-R oth, and
E. Sacerdoti. 1982. The organization of expert systems: A tu to ria l. A rtificial
Intelligence 18 : 135 173.
198. Suppes, P. 1957. Introduction to logic. Princeton, N. J.: D. Van N ostrand
Reinhold.
199. Sussman, G. J . 1977. E lectrical design: A problem for artificial intelligence
research. In IJCAI 5, pp. 894900.
200. Sussman, G. J ., and G. L. Steele, J r. 1980. CONSTRAINTS: A language for
expressing alm ost hierarchical descriptions. A rtificial Intelligence 14 : 139.
201. Sw artout, W. R. 1977. A d igitalis therapy adviser w ith explanations. In IJCAI
5, pp. 819825.
202. Szolovits, P ., L. B. Hawkinson, and W . A. M artin. 1977. An overview of OWL,
a language for knowledge representation. R ept. LCS-TM-86, A rtificial Intelli
gence L aboratory, M assachusetts In stitu te of Technology, Cambridge, Mass.
203. Teitelm an, W . 1978. IN T E R L IS P reference m anual. Zerox Palo Alto Research
Center, Palo A lto, Calif.
204. Teitelm an, W ., and M asinter, L. 1981. The IN T E R L IS P program m ing envi
ronm ent. Computer 14, no. 4 : 2533.
205. van Melle, W. 1979. A domain-independent production-rule system for consul
tation programs. In IJCAI 6, pp. 923925.
206. . 1980. A dom ain-independent system th at aids in constructing knowledgebased consultation programs. Ph. D. Diss. R ept. STAN-CS-80-820, Computer
Science D epartm ent, Stanford U niversity, Stanford, Calif.
207. . 1981. System aids in constructing consultation programs. Ann Arbor, Mic
higan: UMI Research Press.
208. van Melle, W .f E . H . Shortliffe, and B. G. Buchanan. 1981. EMYCIN: A dom ain-independent system th at aids in constructing knowledge-based consultati
on programs. Machine Intelligence, Infotech State of the A rt R eport 9, no. 3.
209. Vere, S. A. 1975. Induction of concepts in the predicate calculus. In IJCAI 4,
pp. 281287.
210. W aterm an, D. A. 1970. G eneralization learning techniques for autom ating the
learning heuristics. A rtificial Intelligence 1 : 121 170.
211. . 1979. User-oriented systems for capturing expertise: A rule-based approach.
In D. Michie, ed., E xpert systems in the m icroelectronic age. E dinburgh: E d in
burgh U niversity Press, pp. 2634.
212. . 1981. Rule-based expert systems. Machine Intelligence, Infotech State of
the A rt R eport 9, no. 3.
213. W aterm an, D. A., and F. H ayes-Roth, eds. 1978. Pattern-directed inference
systems. New York: Academic Press.
214. W aterm an, D. A., and B. Jenkins. 1979. H euristic m odeling using rule-based
com puter systems. In R. Kupperman and D. Trent, eds., Terrorism, threat,
reality, response. Stanford U niversity: Hoover In stitution Press.
215. W aterm an, D. A., and A. Newell. 1971. Protocol analysis as a task for artifi
cial intelligence. A rtificial Intelligence 2 : 285318.
216. . 1980. Rule-based models of legal expertise. In AAAI 1, pp. 272275.
217. W aterm an, D. A., and M. Peterson, 1981. Models of legal decision-m aking.
Rand Report R-2717-ICJ. Rand Corp., Santa Monica, Calif.
218. W ebster, R. and L. Miner. E xpert systems: Program m ing problem solving.
Technology 2 : 6273.
219. Weiss, S. M. and C. A. Kulikowski. 1979. E X P E R T : A system for developing
consultation models. In IJCAI 6, pp. 942947.
220. . 1981. E xpert consultation systems: The E X P E R T and CASNET projects.
Machine Intelligence, Infotech State of the A rt Report 9, no. 3.
221. Weiss, S. ., . A. Kulikowski, and A. Safir. 1977. A model-based consultation
system for the long-term management of glaucoma. In IJCAI 5, pp. 826832.
222. . 1978a. A model-based method for com puter-aided medical decision-m aking.
A rtificial Intelligence 11 : 145 172.

425

223. . 1978b. Glaucoma consultation by com puter. Computers in Biology and Me


dicine 8 : 2540.
224. W eyhrauch, R. W. 1980. Prolegomena to a theory of mechanized formal reaso
ning. A rtificial Intelligence 13 : 12.
225. W ilensky, R. 1981. M eta-planning: Representing and using knowledge about
planning in problem solving and natural language understanding. Cognitive
Science 5 * 197_233
226. W ilkins, D. E. 1979. Using plans in chess. In IJCAI 6, pp. 960967.
227. . 1980. Using patterns and plans in chess. A rtificial Intelligence 14 : 165203.
228. W inograd, T. 1980. Extended inference modes in reasoning by com puter sys
tems. A rtificial Intelligence 13 : 526.
229. W inston, P. H. 1970. Learning structural descriptions from examples. Ph. D.
Diss. Rept. TR-76, A rtificial Intelligence Center, M assachusetts In stitu te of
Technology, Cambridge, Mass.
230. W inston, P. H ., and . K. P. Horn. 1981. LISP. Reading, Mass.: AddisonWesley.
231. W ipke, W. T. 1976. Com puter planning of research in organic chem istry. In
E. V. Ludena, N. H . Sabelli, and A. C. W ahl, eds., Computers in chemical edu
cation and research. New York: Plenum Press, pp. 381391.
232. W ooldridge, D. 1963. An algebraic Sim plify program in L ISP. Memo AIM-11,
A rtificial Intelligence Laboratory, Stanford U niversity, Stanford, Calif.
233. Y asaki, E. K. 1981. AI: More than science. D atam ation Septem ber 27 : 6364.
234. Yu, V. L., B. G. Buchanan, E. H. Shortliffe, S. M. W raith, R. Davis, A. C.
Scott, and S. N. Cohen. 1979a. E v alu atin g the performance of a com puter-ba
sed consultant. Computer Program s in Biom edicine 9 : 95 102.
235. Yu, V. L., L. M. Fagan, S. M. W raith, W. J . Clancey, A. C. Scott, J . F. H anigan, R. L. Blum, B. G. Buchanan, and S. N. Cohen. 1979b. A ntim icrobial
selection by a computer: A blinded evaluation by infectious disease experts.
Journal of the American Medical Association 242 : 1279 1282.
236. Zadeh, L. A. 1965. Fuzzy sets. Inform ation and Control 8 : 338353.
237. 1979a. A theory of approxim ate reasoning. In J . E . Hayes, D. M ichie, and
L. I. M ikulich, eds., Machine intelligence, vol. 9. New York: John W iley and
Sons.
238. . 1979b. Possibility theory and soft data analysis. R ept. U CB /ER L M79/66,
E lectronics Research L aboratory, U niversity of C alifornia at Berkeley.
A ho, A. V., J . E. Hopcroft, and J. D. U llm an. 1974. The design and analysis of com
puter algorithm s. Reading, Mass.: Addison-W esley.
Alan, B. G., A. Bundy, L. Byrd, G. Luger, C. Mellish, and M. P alm er. 1979. Solving
mechanics problems using meta-level inference. In D. Michie, ed., E xpert systems
in the micro-electronic age. Edinburgh: E dinburgh U niversity Press, pp. 5064.
Amarel, S. 1978. Basic themes and problems in current AI research. In Proceedings
of the 4th AIM Workshop, Rutgers U niversity, New Brunswick, N . J . Also avai
lable as R ept. CBM-TR-91, D epartm ent of Computer Science, Rutgers U niversity.
Anderson, J . R., and G. H. Bower. 1973. H um an associative memory. W ashington
D. C.: W inston-W iley.
Anderson, J . R., and P. J . W ine. 1977. Design of a production system for cognitive
modeling. Proceedings of the W orkshop on P attern-D irected Inference Systems.
SIGART N ewsletter 63 : 6065.
Barbacci, ., and D. Siewiorek. 1974. The CMU RT-CAD system: An innovative
approach to com puter aided design. CMU Computer Science Research Review
1974 1975, pp. 3953.
B ennett, J . S., L. A. Creary, R. S. Engelm ore, and R. E. Melosh. 1978. A knowledgebased consultant for structural analysis. R ept. HPP-78-23, H euristic Program m ing
Project, Computer Science D epartm ent, Stanford U niversity, Stanford, Calif.
Bierm ann, A. W. 1976. Regular LISP program s and their autom atic synthesis from
examples. R ept. CS-1976-12, Computer Science D epartm ent, Duke U niversity,
D urham, N. C.
Bobrow, D. G., and B. Raphael. 1974. New program m ing languages for AI research.
ACM C om puting Surveys 6 : 153 174.

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

G orry, G. A., J . P. Kassirer, A. Essig, and W. B. Schwartz. 1973. Decision analysis


as the basis for com puter-aided m anagement of acute renal failure. American
Journal of Medicine 55 : 473484.
Green, C. 1976. The design of the PSI program synthesis system. In Proceedings of
the Second International Conference on Software Engineering, pp. 4 18.
Green, C., R. W aldinger, D. Barstow, R. Elschlager, D. Lenat, B. McCune, D. Shaw,
and L. Steinberg. 1974. Progress report on program -understanding systems. Memo
AIM 240, A rtificial Intelligence Laboratory, Stanford U niversity, Stanford, Ca
lif. Also in R ept. STAN-CS-74-444, Computer Science D epartm ent, Stanford
U niversity.
H art, P. E. 1975. Progress on a computer-based consultant. In IJCAI 4, pp. 831
841.
H art, P. E ., R. O. Duda, and . T. E inaudi. 1979. Computer-based consultation
system for m ineral exploration. In A. Weiss, ed., Computer m ethods for the 80s.
New York: American Institute of Mining, M etallurgical, and Petroleum E ngi
neers, pp. 127 140.
H ayes-Roth, B., and F. H ayes-R oth. 1979. A cognitive model of planning. Cogni
tive Science 3 : 275310.
H ayes-R oth, F., P. Klahr, and D. Mostow. 1980. A dvice-taking and knowledge
refinement: An iterative view of skill acquisition. R ept. P-6518, Rand Corp.,
Santa Monica, Calif.
Hempel, C. G. 1952. Fundam entals of concept formation in em pirical science,
Chicago: U niversity of Chicago Press.
H ew itt, C. 1975. How to use w hat you know. In IJCAI 4, pp. 189 198.
K lahr, P. 1978. Planning techniques for rule selection in deductive question-answer
ing. In D. A. W aterm an and F. H ayes-R oth, eds., P attern-directed inference sys
tems. New York: Academic Press, pp. 223239.
. 1979. Conditional answers in question-answering systems. In IJCAI 6, pp. 481
483.
K lahr, P ., and W. S. Faught. 1980. Knowledge-based sim ulation. In AAAI 1, pp.
181 183.
Langley, P. 1977. Rediscovering physics w ith BACON 3. In IJCAI 6, pp. 505507.
L arkin, J ., J . M cDermott, D. P. Simon, and H. A. Simon. 1980. E xpert and novice
performance in solving physics problems. Science 20 : 208.
Lenat, D. B. 1975. Beings: Knowledge as interacting experts. In IJCAI 4, pp. 126
133.
. 1977. A utom ated theory formation in m athem atics. In IJCAI 5, pp. 833842.
. 1977. On autom ated scientific theory formation: A case study using the AM
program. Ph. D. Diss. Rept. STAN-CS-76570, Computer Science D epartm ent,
Stanford U niversity, Stanford, Calif. R eprinted in R. D avis and D. B. Lenat,
Knowledge-based systems in artificial intelligence. New York: McGraw-Hill, 1980.
London, P. E. 1978. Dependency networks as a representation for m odelling in gene
ral problem solvers. R ept. TR-698 NSG-7253, Computer Science D epartm ent,
U niversity of M aryland, U niversity P ark.
Mark, W. S. 1977. The reform ulation approach to building expert systems. In IJCAI
5, pp. 329335.
M artin, N ., P. Friedland, J . King, and M. Stefik. 1977. Knowledge-base managem ent
for experim ent planning in molecular genetics. In IJCAI 5, pp. 882887.
McCorduck, P. 1979. Machines who think: A personal inquiry into the history and
prospects of artificial intelligence. San Francisco: W. H. Freem an.
Millen, J . K- 1968. CHARYBDIS, a LISP program to display m athem atical expres
sions on typew rite-like devices. In M. Klerer and J . Reinfelds, eds., Interactive
systems for experim ental and applied m athem atics. New York: Academic Press,
pp. 7990.
Minsky, M. L. 1967. Com putation: F inite and infinite machines. Englewood Cliffs,
N. J.: Prentice-H all.
Model, M. L. 1979. M onitoring system behavior in a complex com putational envi
ronm ent. Ph. D. Diss. Rept. STAN-CS-79-701, Computer Science D epartm ent,
Stanford U niversity, Stanford, Calif.

428

Newell, . 1973. A rtificial intelligence and the concept of m ind. In R. C. Schank


and . M. Colby, eds., Computer models of thought and language. San Francisco:
W. H. Freeman.
Newell, A., and H. A. Simon. 1972. H um an problem solving. Englewood Cliffs,
N. J.: Prentice-H all.
Nilsson, N. J. 1971. Problem -solving methods in artificial intelligence. New York:
M cGraw-Hill. [ : H. .
: . . .: , 1973.]
Reboh, R. 1980. Using a m atcher to make an expert consultation system behave in
telligently. In AAAI 1, pp. 231234.
Rosenberg, S. 1980. An intelligent support system for energy resources in the U nited
States. In Proceedings of the Third Biennial Conference of the Canadian Society
for C om putational Studies of Intelligence, pp. 3440.
R ubin, A. 1975. The role of hypotheses in medical diagnosis. In IJCAI 4, pp. 856
862.
Rychener, M. D. 1979. A semantic network of production rules in a system for desc
r i b in g computer structures. In IJCAI 6, pp. 738743.
Shortliffe, E. H. 1978. Medical consultation systems: Designing for doctors. R ept.
H PP-7829, H euristic Program m ing Project, Computer Science D epartm ent,
Stanford U niversity, Stanford, Calif.
Shortliffe, E. H ., B. G. Buchanan, and E. A. Feigenbaum . 1979. Knowledge enginee
ring for medical decision making: A review of computer-based clinical decision
aids. Proceedings of the IE E E 67 : 1207 1224.
Simon, H. A. 1969. The sciences of the artificial. Cambridge, Mass.: MIT Press.
. 1983. Why should machines learn? In R. S. M ichalski, J . Carbonell, and . M.
M itchell, eds., Machine learning: An artificial intelligence approach. Palo Alto,
Calif.: Tioga Press.
Stansfield, J . L. 1977. COMEX: A support system for a com m odities expert. R ept.
423, A rtificial Intelligence Laboratory, M assachusetts Institu te of Technology,
Cambridge, Mass.
. 1980. Q ualitative reasoning about tim e series. In Proceedings of the Third Bien
nial Conference of the Canadian Society for C om putational Studies of Intelligence,
pp. 4148.
Stefik, M. 1980. P lanning w ith constraints. Ph. D. Diss. R ept. HPP-80-2, H euristic
Program m ing Project, Computer Science D epartm ent, Stanford U niversity, Stan
ford, Calif. Also R ept. STAN-CS-80-784, Computer Science D epartm ent, Stanford
U niversity.
Stolfo, S. 1980. A utom atic discovery of heuristics for nondeterm inistic programs from
sample execution traces. Ph. D. Diss. Institu te of M athem atical Sciences, New
York U niversity, New York. Also Courant Computer Science R ept. 18, 1979.
Sussman, G. J ., and R. Stallm an. 1975. H euristic techniques in com puter-aided cir
cuit analysis. IEEE Transactions on Circuits and Systems CAS-22, no. 11 : 857
865.
Vere, S. A. 1979. Induction of reliable productions in the presence of background
inform ation. In IJCAI 5, pp. 349355.
W aterm an, D. A. 1976. An introduction to production systems. Rept. P-5751, Rand
Corp., Santa Monica, Calif. Also in AISB N ewsletter 25.
. 1978. A rule-based approach to knowledge acquisition for man-machine interface
programs. International Journal of Man-Machine Studies 10 : 693 711.
W aterm an, D. A., W. S. Faught, P. Klahr, S. J . Rosenschein, and R. Wesson. 1980.
Design issues for exemplary programming. R ept. Note N-1484-RC, Rand Corp.,
Santa Monica, Calif. Also ]r\ A. Biermann, G. Guiho, and Y. Kordratoff, eds.,
A utom atic program construction techniques. New York: M acm illan, 1983.
Wesson, R. B. 1977. Planning in the world of the air traffic controller. In IJCAI 5
pp. 473479.
W inston, P. H. 1977. A rtificial intelligence. Reading, Mass.: Addison-W esley.

(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

5.1. ......................................................... ......142


5.2. ......................................... ......154
5.3.

................. ......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

7.1. : ......................................... ......237


7.2. :
,

................................................................... ......240

7.3. : ................................. ......241


7.4.

. . .

7.5.
7.6.

244
245

................ ......246

7 .7.
.................................................................................. ......249
7.8.

................. ......250

7.9. ..................................................................... ......251


7.10. ..................................................................................................253
8. :

. .

256

8.1. :
............................................................................................... ...... 256
8.2.

? ...................................... ......259

8.3.
8.4. :
8.5. :

269

R 1 ...................................... ...... 283


.................................................................. ........ 289


8.6. ............................................................. ...... 295

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.

E X P E R T .................................. ..... 401

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.