Professional Documents
Culture Documents
Tεχνητή Nοημοσύνη Και Έμπειρα Συστήματα
Tεχνητή Nοημοσύνη Και Έμπειρα Συστήματα
HPOOPIKH
T N
EIA KEPAYNOY
K T
K
ATPA 2000
HPOOPIKH
TEXNHTH NOHMOYNH EAPMOE
A'
T N
EIA KEPAYNOY
K T
K
IANNH ZAXAPAKH
M
EPIO NIKHOPIH
T I
ANATAIO TPIANTH
TEANO OYNTZH
...
TYPORAMA
/ 19972001
ISBN: 9605381818
K : H 31/1
Copyright 2000
& , 26222 : (0610) 314094, 314206 : (0610) 317244
. 2121/1993,
.
K 1
, ,
E ............................................................................................................... 15
1.1
1.2
1.3
1.4
T ........................................................................................... 17
1.1.1 Turing ......................................................... 21
I ................................................................................................................ 22
E ..................................................................................................... 25
A ................................................................................................... 26
..............................................................................................................................................................
31
B ..................................................................................................................... 32
K 2
, ,
E ............................................................................................................... 33
2.1
2.2
2.3
............................................................................................. 35
M ..................................................................................................... 40
2.2.1 T ...................................................................................................... 41
2.2.2 E ........................................................................................... 46
............................................................ 50
..............................................................................................................................................................
55
B ..................................................................................................................... 56
K 3
, ,
E ............................................................................................................... 57
3.1
3.2
................................................................................................................................................ 60
3.1.1 , ............................................................. 60
3.1.2 E: ............................................................... 62
E ......................................... 66
3.2.1 ................................................................................................ 67
T N
3.2.2
3.3
.............................................................................................
69
A
......................................................................................................................... 71
.............................................................................................................................................. 74
B ..................................................................................................................... 75
K 4
, ,
E ............................................................................................................... 77
4.1
4.2
4.3
4.4
4.5
4.6
............................................................................................. 82
4.1.1 ........................................................... 82
4.1.2 ............................................. 84
4.1.3 ......................................................................................................... 85
4.1.4 K ....................................................................... 86
I ................................................................ 88
4.2.1 I ..................................................................................................................... 89
4.2.2 K ........................................................................................... 90
M .................................. 91
.................... 94
4.4.1 A ................................................................................ 95
4.4.2 E .......................................................................................... 95
4.4.3 A ........................................................ 96
4.4.4 ............................................................................................. 96
E ....................................................................................................... 101
Horn clauses ............................................................... 104
4.6.1 ........................................................................................... 104
4.6.2 Y ............................................................................ 105
...........................................................................................................................................................
106
B .................................................................................................................. 107
K 5
, ,
E ............................................................................................................ 109
5.1 T ....................................................................... 112
EPIEXOMENA
5.2
5.3
5.4
............................................................................................................... 114
5.2.1 A ..................................................................................................... 115
5.2.2 ............................................................. 116
.......................................................................................................................................... 120
5.3.1 ................................................................................................... 120
5.3.2 ................................................................... 124
5.3.3 ........................................................................................... 125
K .......................................................................................................................... 130
5.4.1 A .............................................................................................. 130
5.4.2 ................................................................................. 132
...........................................................................................................................................................
137
B .................................................................................................................. 138
K 6
, ,
E ............................................................................................................ 138
6.1 .......................................................................................................... 140
6.1.1 K ............................................................................................. 140
6.1.2 A ............................................. 144
6.2 O ................................................................................................................... 147
6.2.1 K .............................................................. 147
6.2.2 ............................................................................................................. 151
6.3 A ..................................................................................................... 153
6.3.1 ............................................................................................ 153
6.3.2 E ..................................................................................... 156
6.3.3 E ; ; .............................................................. 159
6.3.4 T ........................................................... 162
6.4 M ...................................................................................................... 162
...........................................................................................................................................................
165
B .................................................................................................................. 167
K 7
H T
, ,
E ............................................................................................................ 169
T N
7.1
7.2
, , ................ 171
B ................................................................................... 177
7.2.1 .................................................................................................................. 178
7.2.2 A ........................................................................................................................ 178
7.2.3 E ......................................................................................................................... 179
...........................................................................................................................................................
181
B .................................................................................................................. 182
K 8
, ,
E ............................................................................................................ 183
8.1 Mycin ............................................................. 186
8.1.1 .................................................................................. 186
8.1.2 ....................................................................................... 197
8.1.3 ........................................................................ 198
8.1.4 .................................................................................................. 202
8.1.5 M .................................................................................. 205
8.2 Prospector .................................................................................................................................... 209
8.2.1 Y ................................................................................. 209
8.2.2 M ................................................................................................ 210
8.2.3 M ..................................................................................... 213
8.3 Internist1 ................................................................................................................................... 217
8.3.1 B .............................................................................................................. 217
8.3.2 .................................................................................. 219
8.3.3 A ................... 221
...........................................................................................................................................................
223
B .................................................................................................................. 224
K 9
, ,
E ............................................................................................................ 225
9.1 ..................................................................................... 227
9.2 Neomycin ...................................................................................................................................... 229
9.2.1 T ..................................................... 230
EPIEXOMENA
9.3
...........................................................................................................................................................
248
B .................................................................................................................. 248
K 10
, ,
E ............................................................................................................ 251
10.1 O ........................................................... 255
10.2 .............................................................................. 258
10.3 T ................................................................................................... 261
10.4 M CommonKADS.................................................................................... 265
10.4.1 ............................................................................................ 267
10.4.2 M ................................................ 272
........................................................................................................................................................... 281
B .................................................................................................................. 282
K 11
...........................................................................................
283
B .................................................................................................................. 287
A A A ..................................................................... 289
E A ..................................................................... 318
.......................................................................................................... 341
............................................................................................................. 372
B ............................................................................................................................................ 383
, , () ( 16) ( 710).
.
. , ,
.
, ,
, .
. . , 1
.
, . 2
, . 3
,
,
.
, ( 4),
( 5) ( 6).
,
,
(knowledge engineering), .
, 7 ,
.
, ,
. 8 , , MYCIN, PROSPECTOR,
INTERNIST1,
12
T N
, .
,
.
,
,
. 9
, NEOMYCIN MDX.
10,
,
( ) CommonKADS,
.
11, ,
. 200
, .
, ,
:
, , ,
, , ,
, , , ,
.
, ,
.
, AbuRumman
, . ,
13
, 1999/2000 443 ,
. ,
, , . ,
. ,
, ,
(8, 7 11 )
. , ,
,
.
. .
,
, 2000
()
.
,
(symbolic processing) (heuristic).
:
,
,
,
Turing ,
.
Turing
. .
, , . ,
. ,
, , -
16
KEAAIO 1: EIAH
.
,
, , .
,
() . , , ,
, , , .
() .
.
,
.
.
. 1.1
. . , Turing
. 1.2
, . . . 1.3
,
Newell
Simon. 1.4,
.
1.1 T
.
.
John
McCarthy,
1969 .
,
,
.
. ,
, Sir James Lighthill ,
80,
.
(fifthgeneration computer), . ,
,
.
, ,
, , George Boole. Alan
Turing, ,
, , , , .
(Cybernetics),
,
,
17
18
KEAAIO 1: EIAH
. ,
(, , , , .),
,
(, , , , , , , .).
, ( )
.
,
, ,
. ,
.
.
. , , , ,
. .
,
.
Luger Stubblefield (1998) :
1: ,
.
Luger Stubblefield
,
, , . , ,
,
. , Luger
Stubblefield, :
2:
,
.
1.
. 2
. ,
, 1.
2 .
,
, , ,
1 2, :
3:
,
.
, , ,
, .
, . 3
,
, .
. E, . B,
.
3
1 2,
, ,
.
,
(commonsense reasoning). , , ,
.
19
KEAAIO 1: EIAH
20
Rich
Knight (1991) :
4:
.
4, 3,
. , 3, 4
. , .
, , , , , , .
A , . , . , , , .,
.
.
1.1
;
1. .
2. .
3. .
4. .
5. .
6.
.
7.
.
1.1.1 Turing
1.1
.
. , 80, . ,
1950, Alan Turing, .
Turing
. ,
. .
. ,
. ,
.
, ,
. , ,
.
,
,
. ,
Turing, , . ,
. ,
-
21
KEAAIO 1: EIAH
22
.
() ,
,
, .
, , ,
, .
.
,
, Turing .
1.2 I
,
, ,
checkers .
1996, Deep Blue , Garry Kasparov. , . ,
.
Deep Blue
.
. , .
Logic
Theorist, Newell Simon 1963.
, ,
(
, )
. () .
.
, Newell Simon,
E (General Problem Solver GPS), . ,
,
. ,
,
. .
.
36.
, .
,
70. ,
, .
,
, , ,
.
.
,
.
(knowledgebased system),
.
23
24
KEAAIO 1: EIAH
(knowledge discovery) , ( )
.
, .
(automated reasoning). (belief revision),
, ,
, , , .
, , , (intelligent data analysis IDA) (data mining DM)
(knowledge discovery in databases KDD). , .
(reinforcement learning), , , , .
(Distributed AI),
. . ,
,
(blackboard model). 70.
6.
(intelligent
agents), ,
, .
, ()
. .
, . , . , ,
.
, .
1.3
25
KEAAIO 1: EIAH
26
, . , .
.
,
.
.
/ . .
1.4 A
. .
1.1
, ,
.
. , ,
, . ()
, .
() . ,
,
.
-
/
(problem space) .
(uncertainty)
(incompleteness) . ,
, ,
. ,
( ), ( ). .
. (rules of thumb), . O
, ,
, ,
.
, (
).
,
, .
, ' , . (universal truths)
.
.
. , . ,
,
.
.
.
1.1. -
27
KEAAIO 1: EIAH
28
,
() (
,
):
1.
, .
2. , , , , .
1.
, .
29
1 ,
. ,
, , , :
, .
, .
, .
;
1. .
1.2
2. .
3.
.
4. .
5. .
6. .
7. .
.
. , .
: .
;
:
1.1
30
KEAAIO 1: EIAH
.
;
: .
V: .
V:
.
VI: .
, . .
VII: , , ,
, , . (..,
10 .., 1 ..
) / , .
.
,
. ;
.
.
, .
. ,
,
(, , , , .)
(, , , , .).
, ' . , ,
. , .
, . ,
Alan Turing,
, ,
.
, , .
, ,
.
,
. ,
, ,
Newell Simon. , 46 ,
.
,
, , .
.
31
KEAAIO 1: EIAH
32
, .
, (search or
problem space). (problem states).
.
:
, ,
,
(depthfirst search), , (breadthfirst search),
,
* ,
(frame problem),
.
( *)
K E A A I O 2 : E
34
:
() ,
() ( ),
,
() ,
.
(representation problem) .
,
.
, .
. , ,
.
2.1 , . ,
, 2.2. , ,
, .
2.3
,
.
,
, 2.2 .
2.1
, , . , , .
, ,
. .
, .
.
. , .
,
,
.
, .
,
.
(
)
(representation problem). ()
.
( ) ,
.
. . -
35
K E A A I O 2 : E
36
. , ,
. .
( )
.
. .
2.1
(, , .)
.
., . (initial state) ,
(final states)
. , (goal states)
. , ,
.
,
.
2.2
1.1
.
, .. ,
.
, , , . 2.1,
,
.
2.3
VI 1.1,
,
.
, .
. (, ),
, = (1, 2, , n) () , i, .
:
, , . . , (, ()) , .
.
5 3
, 15
.
. , , .
= {1, 2, , n}, , = {}.
.
= {}, = {(1, 1), }. i
i , ,
.
,
. ,
. . ,
, ,
37
38
K E A A I O 2 : E
( ) .
.
, ,
. .
,
. ,
, ' . , .
(recognition problems), (classification problems).
. .
(
).
, , () .
' , ' . , ,
. ,
, .
, .
( )
39
,
.
:
,
,
. .
, . , , ,
. O .
,
, , .
,
. ,
, (frame problem).
, :
1. .
2. . .
3. .
K E A A I O 2 : E
40
2.1
, ;
. .
. .
. .
. .
. .
. .
2.1
VII 1.1.
2.2 M
.
, , .
, .
, .
:
: M .
: K
.
s: H s', ,
, s s s', .
s: O s
.
: M .
( ) . ,
, . , ,
. .
( )
2.2.1
41
K E A A I O 2 : E
42
.
,
, . ( ), . 2.1()
,
s1. , .
s1
s1
s2
2.1
s4
s3
s5
s6
s2
s7
s4
s3
s5
s6
s7
() A
() A
, , .
, +1,
1 [ 2.1()].
, .
.
, ', ' < . M
' .
,
(combinatorial explosion).
. , , .
,
, (),
(branching factor) , -
. ,
.
, (
). ,
,
.
, ,
().
so sg
,
. .
1. := [ so ], := [ ]
2. = [ ], . .
3. , si,
.
4. si,
,
si. si, .
5. sg si,
sg so.
2.
'
,
.
, , , ,
.
43
K E A A I O 2 : E
44
2.4
8 (8puzzle),
1 8 33
. . , , ,
.
, 2.2.
2.2
1 7 4
6 3
5 8 2
2 3 5
6 7
4 8 1
.
33. ,
:
1 , 1
. 32 . ,
, , :
8
U:
D:
L:
R:
45
T .
.
U, D, L R. 2.3 .
1 7 4
6 3
5 8 2
7 4
1 6 3
5 8 2
1 7 4
5 6 3
8 2
1 7 4
6 3
5 8 2
1 7 4
6 3
5 8 2
7 4
1 6 3
5 8 2
7 6 4
1 3
5 8 2
7 4
1 6 3
5 8 2
7 6 4
1 8 3
5 2
7 6 4
1 3
5 8 2
7 4
1 6 3
5 8 2
1 7 4
5 6 3
8 2
7 4
1 6 3
5 8 2
1 7 4
5 6 3
8 2
1 4
6 7 3
5 8 2
1 7 4
6 3
5 8 2
1 7 4
6 8 3
5 2
1 7 4
6 3
5 8 2
R
L
R
L
A
7 6 4
1 3
5 8 2
2.3
R
A
K E A A I O 2 : E
46
2.2
2.2
( 4)
;
2.2.2
, ,
. ,
(heuristic search)
.
, . , . , si, so
sg , 2.4.
so
47
si
g(si)
sg
h(si)
f(si)
(evaluation function), f,
:
f (si) = g(si) + h(si)
H g so si.
,
. ,
. so si ,
.
, (heuristic function), h. h
si sg. M h
si,
si. f h. g .
h
. ,
si. , .
,
(admissible). , ,
h(s) = 0,
. .
, .
2.4
K E A A I O 2 : E
48
h . , . H
, , . , .[1]
f , , f. , f(so) = h(so) f(sg) = g(sg). . ,
, (
g ),
( h ).
, *,
. ANOIKTE ,
.
(ordered list).
(s, f(s)), , ,
s .
: *
1. := [so], := [ ]
2. = [ ], . .
3. , si, ,
f(si) f(sj) sj
KEITE.
4. si si, .
[1]
(greedy search),
h, g(s) = 0 .
. , , , g
[h(s) = 0 ].
49
5. sg si,
sg so.
6. , sj, si:
f(sj).
sj , , sj ,
f(sj).
sj ,
, , ,
. , sj. , (sj, )
( ) (sj, ) .
7. 2.
* ,
, ;
2.3
8.
.
2.4
, ,
k
, k = 1, , 9, k.
. . , .
. ,
.
2.3
K E A A I O 2 : E
50
2.4
2.5
. (
s1 s14),
.
. . ,
* ,
,
.
s5
s16
s2
s6
s10
s15
s1
s3
s7
s4
2.5
s14
s8
s9
s11
s13
s12
,
, ,
.
2.3
(classification problems)
(constructive problems),
. , (monitoring), (single point of failure assumption), '
,
51
52
K E A A I O 2 : E
. , , .1 .2
:
S , .1
S , .2
S
. , ,
.
.
(topdown refinement) (test and select).
() ,
. (decision trees) ,
, . , .
.
,
, ,
. .
. ,
,
, , .
,
, ( ) .
() , ,
. , , .
' , .
. , ,
, (temporal),
(structural) . , (constraint
satisfaction problems). , . ,
8,
. 8 ,
. ,
,
2.3,
.
, ,
, . ,
, . .
53
K E A A I O 2 : E
54
,
.
,
, .
.
.
.
,
, .
2.5
,
,
, minimax.
Luger Stubblefield ( 4.3), Rich
Knight (. 12).
2.6
, (decision trees)
(classification spaces).
.
. . . , -
. ,
, (elicited)
.
(machine learning). Luger Stubblefield ( 13.3), Rich Knight ( 17.5).
2 () ,
.
, .
,
,
, , . ,
.
, , ,
. , , ,
. h,
.
. ,
' ,
' .
55
K E A A I O 2 : E
56
.
.
. ,
,
, .
.
, . , (knowledge representation)
. ,
, .
46 , , ,
.
:
,
,
, ,
,
,
.
,
K E A A I O 3 : A
58
. , .
, /
(logics) (formalisms),
.
.
.
, (knowledge representation languages).
,
CLIPS (Giarratano and Riley, 1994), NASA.
CLIPS
OPS5,
. ,
CLIPS OPS5,
.
.
,
. , PROLOG
, LISP,
. LISP . . ,
OPS5 LISP. OPS5,
CLIPS, LISP.
.
.
,
,
, , ( 3.1). ( 3.2)
(
3.3).
, ( 4), ( 5), ( 5)
( 6). , .
. ,
, ,
. , 46 .
59
K E A A I O 3 : A
60
3.1
, . ,
, .
3.1.1 ,
, , . ,
, . ,
. .
1998 . , 1998 1997 ,
. , .
. ,
. , .
. ,
. , .
, (truth scope).
.
.
, , . ,
.
,
, .
, .
, ,
61
( ).
, ,
. O (universal truths),
, , ,
. (beliefs) .
, () .
, (knowledge bases)
( )
, . . ,
.
, , .
(data mining), .
,
: , ,
.
: , ,
.
: , , .
. , .
3.1
62
K E A A I O 3 : A
3.1.2 :
, , , , . ,
. :
: ,
, . ,
(first principles), .
: , .
:
. (..
), ,
(compiled)
(compressed) . .
. , , , (
)
. ,
,
.
. ,
,
.
(operational) , .. ( ),
( ). ,
. . ,
(assumptions)
.
.
,
, ,
. (
) , ,
.
:
.
. . ,
, . ,
,
,
.
:
.
.
:
() (strategic view),
.
() (reflective view),
,
.
,
, -
63
64
K E A A I O 3 : A
, ,
.
, , :
(background knowledge),
,
. , , , .
,
.
, . ,
, .
(commonsense knowledge). , , , , , . ( )
, , . , .
.
(causal relation) (reasoning about change),
. , .
, , , , .
. (
). , .
, , , -
65
, (
3.1). ( ,
). .
A
E
(B )
Y
T
A
(Knowledge Engineering),
CommonKADS,
, (elicitation) ,
. (knowledge level) .
(ontology) (
), .
. (symbol level).
46 .
3.1
66
3.2
K E A A I O 3 : A
. .
, , 3.1.2.
3.1 ,
,
. .
3.2 E
,
. (power of expression) , ,
(semantic distinctions)
. , ,
, .
, , .
. , , ,
. , ( ) (
).
, .
3.2.1
(logical adequacy),
,
, . , .
,
.
.
, ,
.
, , .
, ,
. ,
, ,
. ,
, ,
.
.
,
, . .
, ,
, ,
. -
67
K E A A I O 3 : A
68
,
. , .
(notational
convenience or acquisitional efficiency)
.
,
. ,
, , . (mediating representation),
. ,
( ),
.
.
.
(heuristic adequacy)
() , ,
. . ,
.
.
.
, , .
: ,
; ;
:
;
:
,
;
,
.
3.2.2
,
. (
), , . , ,
. . .
(soundness)
,
. ,
, .. p p (~p).
.
69
K E A A I O 3 : A
70
(completeness), ,,
,
, .
(decidability), , . ,
.
. ,
. , ,
. ,
. ,
.
, .
.
(). .
.
.
: p ~p.
: p , ,
, .
: .
3.3 A
, (declarative/procedural controversy).
.
,
, , ,
. , ,
.
.
, ,
modus ponens. PROLOG,
.
, , . ,
. ,
, , , .
,
, ,
, .
. , ,
(
) ,
(
71
72
K E A A I O 3 : A
). ,
.
,
,
. , .
,
( ), , , , , .
, , .
.
, . , , , .
.
. ,
(howto knowledge)
, . , ,
. ,
. , -
73
.
,
, .
, .
(reasoning or control knowledge).
. .
.
. , , . , ,
. ,
( )
, (
) .
,
, , . , . .
3.1
K E A A I O 3 : A
74
, . ,
, , ,
, .
. ,
PROLOG, .
, .
. ( ,
, , -
, , , ,
)
.
.
.
, (
;), ( ;)
( ;). , .
( ;), ( ;)
( ;).
, , , ,
,
.
75
4 ,
. ,
( ).
. , ,
. PROLOG,
, Horn clauses. ,
, Horn clauses PROLOG.
:
,
,
(conjunctive normal form), (disjunctive
normal form) clausal form,
(, De
Morgan, , , , ),
, modus
ponens ( ), (universal specialization)
(resolution),
,
(unification of sentences),
K E A A I O 4 : K
78
,
(resolution refutation),
, [
(setofsupport) (unitpreference)]
,
,
, Horn
clauses, ,
, Horn clauses
PROLOG.
( )
clausal form
horn clauses
modus ponens (
)
(predicate logic) .
.
,
() (Conjunctive Normal Form
CNF) , .
.
, (resolution). (
) .
, ,
, , . .
, .
, .
, (
). , , ~ (
, ). ,
, , .
, modus ponens ( )
, .
modus ponens . , ~
.
(proof by
contradiction). ,
. (resolution refutation) .
p , ( ). p , (~p) , .
p , . , ~pB,
(resolution) , , c ~c. , -
79
80
K E A A I O 4 : K
p .
~ ,
. , ~
, , ,
~ ( ),
.
p, ,
, ; ,
;. , ,
, , ;.
.
3,
, . , , , ,
( )
. . p , , ~pB, , , , .
, . , ,
. p , p .
. p ;, $x
(,x), , $. , , ~(,x),
. p
;
( ), $x (,x), , skolemization.
, x, -
. {, ,
}. (, )
(, ) (, ).
. , , , .. , .
PROLOG,
, Horn clauses,
. ,
.
(negation as failure),
(closed world assumption). ,
, ,
.
4.1 . 4.2
. 4.3, 4.4
.
4.5.
Horn clauses ( 4.6).
81
K E A A I O 4 : K
82
4.1
,
.
, :
. .
, .
. .
, .
H
x .
"x (x) (x)
A .
()
, .
\ ()
A modus ponens (
).
.
. ,
.
4.1.1
4.1.
, .. , , .. x,
, .. . ,
, .
(terms).
(arguments) , , .. (). .
83
AN
AN(A,x)
~, , ,
(, &, , )
~AN(A,x)
(literals)
", $
4.1
(wff)
"x{AN(A,x) EINAI(x,(A))}
( ) , ,
(atomic formula), .. (A,x).
(literals) .
(well formed formulae wff), .
(logical connectives), ~ ( ) , ( &) , ()
( ) , (quantifiers), ",
(, ), $, (, ). :
1. wff.
2. wff. , ~, "x A $x A, wff.
84
K E A A I O 4 : K
3. wff. , , , wff.
. ({}, [], ())
.
4.1.2
. . , .. __
( ). , , .. __() 20.
(0place predicates)
(propositions), ,
.. __ ( , , ).
(nplace predicates, n1) , .. _,
, _(). ,
, .
,
.. (2,3) = 5, (2,3,5)
, , . ,
. (onetomany relations),
,
.
( 4.2).
, n n+1 , .
. (computable predicates). , -
85
.
, _ , .
(x,y)
(x)
(x)
(x,y)
(x)
;
(x,y,z)
(x,y)
_(x)
4.2
, , ,
(_1)
(_1, )
(, _1, )
wff , .
4.1.3
(quantifiers),
(universal quantifier), ", , ,
"x (x) (x)
(existential quantifier), $,
, , , ., ,
$x (x, __)
, "x A $x ,
K E A A I O 4 : K
86
wff (scope) . x
(quantified over)
(bound variable). (free variables). wff, .
4.1
:
1. .
2. .
3. .
4. , , .
5. .
6. , .
4.2
wff;
1. ~f(A), f
2. ~P(A, g(A,B,A)), P g
3. f(P(A)), f P
4. $x {"y [(P(x,y) Q(y,x)) R(x)]}, P, Q, R
5. Q{f(A), [p(B) Q(C)]}, f p , Q
4.1.4
(~, , , ) , . , . ,
,
,
. ,
. ,
,
. , ( ) .
, . 4.2.
(normal forms) , () (Conjunctive Normal Form CNF), () (Disjunctive Normal Form DNF)
Clausal Form, ( clausal form). wff
.
, (resolution).
.
, , 1 2 n, n 1
1 2 m, m 1
(literal), .
, ,
1 2 n, n 1,
1 2 m, m 1, literal.
Clausal Form ( ) , (clause)
1 2 n B1 B2 Bm, n 0, m 0
( ).
. i
, j .
: ,
.
87
K E A A I O 4 : K
88
~ , Clausal Form,
,
:
1 2 n B1 B2 Bm A1 A2 An ~B1 ~B2
~Bm
clauses:
4.3
B1 B2 Bm
() . .
1 2 n
. .
(!)
.
() , , clausal, ;
1. (~A B) C
2. P Q
3. P Q X Y Z
4. (A ~B ~C) (D ~E)
5. ~P Q R
() clausal form:
1. (~P ~Q R) (~P ~S)
2. (P Q ~R) (P S)
4.2
wff ,
.
.
wff .
(deductive reasoning).
4.2.1
wff .
wff
A B ~A B
~(~A) A
De Morgan
~(A B) ~A ~B
~(A B) ~A ~B
(Distributive Laws)
A (B C) (A B) (A C)
A (B C) (A B) (A C)
(Commutative Laws)
ABBA
ABBA
(Associative Laws)
(A B) C A (B C)
(A B) C A (B C)
(Contrapositive Law modus tollens)
A B ~B ~A
~$x A "x ~A
~"x A $x ~A
"x {A B} "x A "x B
$x {A B} $x A $x B
89
K E A A I O 4 : K
90
4.2.2
wff wff . :
Modus Ponens ( )
"x {(x) (x)} () ()
(Universal Specialization)
"x (x) ()
(Resolution)
~ C C
4.4
;
() . . .
() . .
.
() .
.
() . . .
() . . .
() .
.
4.3 M
wff . .
4.1
wff, , :
"x [(x) ($y [(x,y) ~(y)]
~$y [(x,y) (y,x)]
"y [~(y) ~(x,y)])]
, ,
, ,
. ,
.
. ,
"x "y (x,y) ~(y,x). ,
, .
:
1. ()
~ .
wff
2. . wff
91
92
K E A A I O 4 : K
" x [~(x)
(((x,(x)) ~((x)))
"y [~(x,y) ~(y,x)]
"y [(y) ~(x,y)])]
y
(x).
4. ( ) ,
. wff
"x [~(x)
(((x,(x)) ~((x)))
"y [~(x,y) ~(y,x)]
"z [(z) ~(x,z)])]
5. " .
prenex,
(prefix), (matrix).
. wff
"x "y "z [~(x)
(((x,(x)) ~((x)))
[~(x,y) ~(y,x)]
[(z) ~(x,z)])]
93
K E A A I O 4 : K
94
6. . . wff
"x "y "z [(~(x) (x,(x)))
(~(x) ~((x)))
(~(x) ~(x,y) ~(y,x))
(~(x) (z) ~(x,z))]
7. "
(clause).
,
. . , .
wff
~(x) (x,(x))
~(w) ~((w))
~(u) ~(u,y) ~(y,u)
~(v) (z) ~(v,z)
4.5
wff 4.1.
4.4
.
(blocks world),
. 4.3
,
.
B
A
95
(, )
(,)
()
(x,z)]
4.4.1
(unification) ,
. (x,y) (,
()) x A y
(). /x (A)/y, /. (pattern matching).
,
. ,
Q(x,g(y)) Q(B,y) . /x , g(y)/y.
4.3
K E A A I O 4 : K
96
4.1
4.6
Luger Stubblefield ( 2.3.2) Rich Knight
( 5.4.4).
P(x, f(y), B)
;
.
1. P(z, f(w), B)
3. P(x, f(A), B)
5. P(C, f(A), B)
2. P(g(x,y), f(z), B)
4. P(g(z), f(A), B)
6. P(C, f(A), A)
4.4.3
4.4.1
wff, W, , S, wff, S{~W} . , .
.
97
4.2
1. .
"x [(x) E(x)]
2. .
"x [(x) ~E(x)]
3. .
$x [(x) N(x)]
4. .
$x [N(x) ~(x)]
, {1, 2, 3, ~4}
. 4.4 (resolution refutation tree),
.
.
(!) .
~N(z) (z)
N(A)
A/z
(A)
~(x) E(x)
A/x
E(A)
~(y) ~E(y)
A/y
~(A)
(A)
4.4
K E A A I O 4 : K
98
13 4
:
1.
~(x) E(x)
2.
~(y) ~E(y)
3. ()
3. ()
~4. ~(z) (z)
.
,
4.4.
(goaldriven reasoning), ~(z)
(z) . ,
.
, ...
,
.
.
M A
1. _ S
2.
2.1 _
, ci cj,
.
2.2 , , rij, ci cj
2.3 rij _
_
( .
2), .
, .
, . . 2.1 ,
. , , .
. _
:
. ,
, .. P(x) B(y) ~B(y) P(f(A)) ~P(f(A)).
, ..
P(x) P(y) Q(z), P(x) P(A), P(x) Q(A)
P(f(A)) Q(A) R(y), .
, .. (_1(2), 3)
() ,
() . ,
(6,3) () ().
, :
(set of support). .
,
.
, .
(unit preference). .
,
. n m
, n+m-2. n = 1, -
99
K E A A I O 4 : K
100
m-1. n = m = 1,
( 0).
. ,
, ,
.
1, .
( 2)
. ,
, .
. ,
. ,
,
4.5
4.7
4.8
4.5, , , .
:
. $x {[P(x) P(A)] [P(x) P(B)]}
. {"z [Q(z) P(z)]} {$x [Q(x) P(A)] [Q(x) P(B)]}
. $x $y {[P(f(x)) Q(f(B))] P(f(A)) P(y) Q(y)]}
. $x "y P(x,y) "y $x P(x,y)
E. "x {P(x) [Q(A) Q(B)]} $x [P(x) Q(x)]
:
.
101
4.9
.
.
.
(, _)
(, )
(, )
(_, )
_(, )
"x "y "z {[(x,y) _(z,y)]
_(z,x)}
,
.
4.5 E
,
. ,
, .. ;,
( ) , ..
. ,
,
, .
4.10
K E A A I O 4 : K
102
4.3. :
1. "x "y [(x,y) (x,y)]
2. "x "y "z [(x,y) (y,z) (x,z)]
3. (, )
4. (, )
1 2 , 3 4 .
;,
5. $x [(,x)]
:
1. ~(u,v) (u,v)
2. ~(x,y) ~(y,z) (x,z)
3. (, )
4. (, )
~5. ~(, w)
4.4. 4.5()
. ,
, ,
~WW,
.
, (
4.5()). ,
, .
.
. . , .
103
4.5 1. , 2
. .
.
~YEPAN(B,w)
4.11
~AN(u,v) YEPAN(u,v)
B/u, w/v
~AN(B,w)
AN(B,A)
A/w
() B : E A ;
~YEPAN(B,w) YEPAN(B,w)
~AN(u,v) YEPAN(u,v)
B/u, w/v
~AN(B,w) YEPAN(B,w)
AN(B,A)
A/w
YEPAN(B,w)
4.5
() B : E A;
4.5
;.
4.12
K E A A I O 4 : K
104
, Horn
clauses, .
Clausal Form 1 2 n B1 B2
Bm, n 0, m 0. i j
. , .
Horn clauses Clausal Form, 0 n 1,
. , 1 2, , ! ! ,
Horn clauses, 1 2 1 2 .
, Clausal Form,
. ,
Clausal Form .
Horn clauses Clausal Form
( ), , .
.
, .
Horn clauses, , PROLOG.
4.6.1
_(x) _(x)
(x)
_(x)
(x) ~_(x)
_ (x)
(x) ~_ (x)
ORN CLAUSES
,
. , . ( ) , .
(negation as
failure). ( ) , . ,
: .
, .
,
, .
4.6.2
,
: E , . (closed
world assumption). ,
.
, ; ()
.
(, )
,
. ,
, , , ;
. :
(x) (x)
(x) (x)
. ,
105
K E A A I O 4 : K
106
; .
, , , , .
.
, ,
, . , .
. ,
.
,
. ,
.
, . (), ()
Clausal Form. .
, ,
.
. .
.
. , ,
Horn clauses.
,
.
, . ,
.
, . , ,
. ,
. , . ,
. 5 ,
, .
107
5 , (associative
networks) (frames).
. , . ,
, ,
.
:
,
,
,
,
, (
) ,
,
,
,
( ) , .
/
K E A A I O 5 :
110
( N Z)
5
, .
, , , .
.
,
,
( ) . , ,
.
,
. . (associative
memory) , , .
. .
().
.
,
, . () . , .
,
_ . . , .
, . ( ).
, (facets) .
(structured object), . .
Marvin Minsky
.
.
,
(instances) ,
.
. (frame system)
, .
. ,
(control frames) (object frames).
5.1
_, . 5.4,
( 5.2) ( 5.3).
, , 2.2 .
111
K E A A I O 5 :
112
5.1 T
,
(: isakindof (isa)) _ (ispart).
[
5.1()], [
5.1()]. 5.1()
.
, , . ,
,
. ___ (is an instance of),
_. , . .
,
() . .
EINAI
EINAI
EINAI
EINAI
EINAI
MEPO
EINAI
MEPO
EINAI
H
5.1
() T
() M
_ .
. , , . ,
. ,
..
, , . , , . , ,
. ,
. . (property inheritance)
. , . , , ..
, . , .
,
. ,
,
( 4.10).
, , /. ,
,
. ,
, .
() , :
,
.
( ), .
,
.
.
113
K E A A I O 5 :
114
5.2
. , , , .
, .
5.1
, (, ,
_1). , ,
(_1, )
(_1, )
(_1, )
(_1, _1)
. ( ), , . , ,
( ) .
. , .
5.2.
YMBAN
BIBIO
EINAI
EINAI
INEI
BIBIO_1
EINAI
ANTIKEIMENO
INEI_1
APAHTH
5.2
IANNH
OTH
EINAI
ANPO
MAIPH
EINAI
115
. ;,
;, ;, .
:
() .
5.1
() .
5.3; T ; ;
ONEE
EINAI
5.2
ENEPEIA
EINAI
EINAI
KTYHMA
ONEE_1
ANTIKEIMENO
IANNH
KOO
APAHTH
KTYHMA_1
OTH
EINAI
ANPO
XEPI
EINAI
EINAI
MAIPH
EINAI
OPANO
XEPI_1
EINAI_MEPO
5.2.1
(intersection search)
.
, ( ),
.
5.3
K E A A I O 5 :
116
, ,
.
5.2
5.2:
.
,
,
.
_1. . .
5.2.2
,
. ()
,
.
.
, , .
, , , .
, . , , :
1: .
2:
.
3: .
117
,
, (partition).
13. , .
$x $y _(x) _(y)
(x,y)
(x,y) ,
x y. . ,
( 4.3),
, . 5.4
OITHTH
YMBAN
EINAI
EINAI
OITHTH_H
MAHMA
APAKOOYHH
EINAI
IEKEPAITH
EINAI
MAHMA_PO
EINAI
ANTIKEIMENO
EINAI
E0
(0).
. , . . , . 0 _,
_,
, . 1, ,
"x {_(x) $y _(y)
(x,y)}
5.4
K E A A I O 5 :
118
y x,
(x, f(x)).
5.5. , , .
E
ENIKE POTAEI
EINAI
E1
OITHTH_H
APAKOOYHH
MAHMA_PO
EMBEEIA
"
EINAI
IEKEPAITH
EINAI
ANTIKEIMENO
EINAI
S1
5.5
1 .
, " ,
.
2
"x {_(x) (x,_)}
5.6.
S2,
.
. .
E
ENIKE POTAEI
EINAI
E2
OITHTH_H
APAKOOYHH
HIAKH_XE
EMBEEIA
"
EINAI
IEKEPAITH
EINAI
ANTIKEIMENO
5.6
3
"x {_(x) "y _ (y)
(x,y)}
S2
XXX
119
. , "
( 5.7).
E
OITHTH_H
APAKOOYHH
EINAI
ENIKE POTAEI
EINAI
EINAI
EINAI
IEKEPAITH
"
YOXPETIKO_M
EMBEEIA
ANTIKEIMENO
M
S3
"
E3
5.7
.
. , .
:
Accounts Fortran. Fortran
. .
. Cobol.
Accounts;.
. .
.
. -
5.3
K E A A I O 5 :
120
,
.
.
.
, .
, .
5.3
, . ,
, ( )
. (singlevalued) (multivalued).
.
() ( 5.3.3).
. :
(values): , .
, . ,
,
.
, .
. .
(default): , , . ,
. ,
. ( , , .) ,
, ,
.
(procedural attachements or
demons):
. ,
. :
121
K E A A I O 5 :
122
(ifadded). ,
.
(ifremoved). .
, .
(ifneeded).
. ,
.
,
. , .
(). , . A
.
. ,
.
, , .
.
. ,
.
5.3
5.8 , ,
. , , .
. .
, .
, , ,
,
123
. .
,
.
() ,
.
. . .
:
:
: , ,
:
:
:
:
: 4
:
: , ,
: = 4
= 1
5.8
.
, :
K E A A I O 5 :
124
, ;
;
; ; ; ;
.
, . E , . ,
. . . ,
,
, . ,
. ,
.
5.1
, .. , , , , , ,
, , . (.. ,
, .), , ,
.
.
5.3.2
, ,
(instances) . -
125
. .
, (
5.4). .
5.9 , .
E:
M:
:
:
-1
E:
-2
E:
M: E A
M: . . . . . . . . . . .
: Y
: . . . . . . . . . . . . .
5.3.3
. (object frames),
. , ,
(control frames), .
. ,
, , ...,
, .
, (frame system)
, . , ,
5.9
126
K E A A I O 5 :
.
,
, , . . 2,
.
.
. , , ,
,
, . , , ,
() .
,
. . ( ) ( ).
. , . .
:
,
.
(opposing links), , ,
. .
.
(similarity matrix). 5.10
127
.
. ,
, , .
, .
...............
A :
,
,
,
...............
A :
A :
.....................
5.10
(complementary links), . , , . ,
, .
, .
,
. .
(triggering links),
, .
,
K E A A I O 5 :
128
. , . , , ,
.
5.4
, , :
,
.
, ( ) .
( ).
,
, . ,
/ / . , , . , , . ,
. . ,
.
( ,
)
. ()
.
.
, .
( ), .
, .. , .
,
, , .
.
, , , .
129
K E A A I O 5 :
130
5.4 K
5, .
:
S
F;
,
.
() . .
.
,
.
.
,
. ,
,
. ,
, .
, . ,
, . ,
V d,
Vd. ,
, ,
, , , .
5.4.1
5.11 . ,
131
, 1 1 . 1 , 1 . ,
, .
M--:T
U T:
, T
U E-:
EINAI
EINAI
M--:T
.......................
EINAI
U T:
EINAI
-1T
-1T
M--;
M--;
.
, F, S. S .
:
1. , F, .
, S,
. , .
2. 1 , .
5.11
K E A A I O 5 :
132
3. , 2 ,
.
( , , ) .
:
F, .
, , S, .
, .
. , .
,
. .
. .
. , ,
( ), .
(.. ) (.. ). , ,
. ,
,
, , . .
. ,
.
, ,
.
, ,
, , .
.
, , ,
(
, ).
5.4.2
S F. 5.12.
( , ,
). , .
Dick , . Quakers , Republicans . Dick . ,
,
Dick .
133
K E A A I O 5 :
134
QUAKERT
REPUBLICANT
M--:
E:
E:
EINAI
EINAI
K-
M--:
EINAI
EINAI
EINAI
DickT
E;
EINAI
T
M--;
()
()
5.12
,
. , ,
F, .
, .
, . , . 5.12. 5.13. ,
Dick . ,
. ,
.
C1 () C2
C3, C1 C3 C2.
135
REPUBLICANT
M--:
E:
EINAI
EINAI
Conservative-T
Republican
EINAI
M--:
EINAI
--T
K-
QUAKERT
EINAI
E:
EINAI
EINAI
-T
--T
EINAI
DickT
E;
EINAI
T
M--;
()
()
5.13
.
( ). Dick, Quaker
Republican ( Dick Quakers Republicans
).
.
S F
:
, , .
A
, Y,
F X.
K E A A I O 5 :
136
{},
Dick {, }. ,
,
Dick . , , .
A
1. [ ]
2. ( )
F
. , S:
() ,
.
() , ,
.
() .
3. Y :
() ,
() F
.
() , .
4. :
() 0, .
() 1, .
() .
137
,
.
, .. 5.1.
, . ,
, , . , ,
.
, . ,
, . , . , ,
( )
. , .
, . ,
,
.
.
, ,
. -
5.2
K E A A I O 5 :
138
, .
. , .
. .
. ,
. , , ,
, . 6 .
.
.
, , .
:
,
(production rules),
(production
system),
,
(forward and backward chaining) ,
(goaldriven
reasoning) (backward reasoning) (eventdriven reasoning) (forward reasoning),
(, ) ,
, ; ; ,
, , (blackboard
model)
(opportunistic search).
K E A A I O 6 : K
140
(,
)
(, , )
;
;
,
.
. .
.
. ,
, , , , .
, ,
.
() (),
() ()
,
.
.
(
) 6.1, 6.2
6.3 ,
. ( 6.4),
.
,
, .
6.1
(production system)
. (production
memory).
6.1.1
(Ifthen).
()
() . : P1, ., Pm
Q1, ., Qn, m, n 1. : E
() P1, , Pm ,
() Q1, , Qn, ().
Pi Qj ,
( )
,
( , ).
. .. ( ),
, .
141
K E A A I O 6 : K
142
. , , , , .. , :. , . ,
, .. ?,
, .
(pattern
matching process). ,
:
1: ( ^ ^ 4.8)
2: ( ^ ^ 7.2)
3: ( ^ ^ 4.7)
, .
, ,
1 3. ,
. ( 1)
? = ? = 4.8, (
3) ? = ? = 4.7. 1-3
( 6.1.2).
:
4: ( ^ ^ )
5: ( ^ ^ )
.
. , ,
, .
,
.
143
K E A A I O 6 : K
144
6.1
,
,
.
6.1.2
,
. 6.1.
(production memory) /
(working memory). . .
K
( E)
6.1
A
K
(M )
(M E)
,
, .
(forward chaining) .
, .
(recognizeact)
( ). , ,
.
(backward chaining)
, / .
'
/ ,
, (
).
, ,
. M
, ,
.
'
, ,
. .
(goaldriven reasoning), . ,
(eventdriven
reasoning), .
, , . , . , .
,
,
. ,
. , . , . OPS5 CLIPS
. ,
.
( )
145
K E A A I O 6 : K
146
(deductive) (abductive) .
, .. . (hypothetical reasoning).
. , ( ,
. ). .
, , ..
.
, ( ).
, ,
. ,
, , .
6.2
6.1
:
'
147
6.2 O
6.2.1
( ),
.
6.1 ()
:
1. .
2. .
3. .
:
( 1
( ^ ?O ^ ?M ^ ?E1)
( ^ ?O ^ ?M ^ ?E2)
(: ?E1 ?E2)
( ^ ? ^ ?)
( ^ ? ^ ))
( 2
( ^ ?O ^ ?1 ^ ?E)
( ^ ?O ^ ?2 ^ ?E)
( ^ ?O ^ ?3 ^ ?E)
(: ?1 ?2 ?3)
( ^ ?1 ^ ?)
( ^ ?2 ^ ?)
( ^ ?3 ^ ?)
2))
( 3
K E A A I O 6 : K
148
( ^ ? ^ ?1)
( ^ ? ^ ?2)
(: ?1 ?2)
2))
, ,
.
. .
,
. , , . , ,
.
6.1:
(
( ^ ? ^ ? ^ ? ^ ?)
(: ? 5.0)
( ^ ? ^ ? ^ ?))
. , , . , '
.
, . .
(
) ( ) ( ). (data abstraction). -
149
, .
, .. 6.1. ,
. , :
(
( ^ ? ^ ? ^ ?)
(: ? 5.0)
( ^ ? ^ ?))
, , ,
, ,
.
( ,
, ), ..
, . .
6.1
, ,
.
( )
1. ,
.
2. , , .
3. ,
.
.
K E A A I O 6 : K
150
6.3
, . 2.
.
6.1. , ,
.
.
1: ( ^ 300 ^ )
2: ( ^ 301 ^ )
3: ( ^ 302 ^ )
4: ( ^ ^ 300 ^ 1
^ 4.5)
5: ( ^ ^ 300 ^ 3
^ 4.0)
6: ( ^ ^ 301 ^ 3
^ 3.5)
6.1
7: ( ^ ^ 302 ^ 3
^ 4.0)
, 1-4,
, 4-7 . 1.
()
8: ( ^ ^ 300 ^ 1)
. , , 2-4, 1 2
151
8. 2.
9: ( ^ ^ 300 ^ 3)
. , (5) 1,
1, 8 9. 2 .
6.2.2
,
, (control
structure) . . :
(sensitivity). , .
(stability). .
, .. , ,
.
.
, . , , . ,
OPS5, :
(refractoriness).
.
, ,
6.1,
. -
6.2
152
K E A A I O 6 : K
, ,
.
(recency).
. . , . , ,
. , .
(specificity).
.
,
.
.
. , , .. X ,
, ( )
, .. , , ,
, .
, ( ). .
.
, ..
,
.
. OPS5 .
153
6.3 A
6.3.1
6.2 . 6.2
( / ), . . , ,
. ,
,
. ,
, ( ), ,
. , .
(E- ?O ?)
-1
(A )
(Y )
--
-2
-3
(A )
(Y- )
--
(M--E )
( )
()
KAI ()
6.2
K E A A I O 6 : K
154
,
.
, , .
() (
), , .
6.2
,
. 6.3.
( 1
( ^ 5)
( ^ ))
( 2
( ^ 1)
( ^ 15)
( ^ ))
( 3
( ^ 1)
( ^ 15)
( ^ ))
( 4
( ^ )
( ^ )
( ^ ))
( 5
( ^ )
( ^ )
( ^
))
155
( 6
( ^ )
( ^ )
( ^
))
( 7
( ^ )
( ^ )
( ^ ))
,
. . , , . ' . (askable) . ,
,
' .
. . , . .
,
, . (lookahead), , (updatedby), .
. , . ,
, ( .5)
. 6.2
6.4.
6.3
K E A A I O 6 : K
156
1,
1, 2, 3
15
,
15
2, 3
4, 5
6, 7
4, 5, 6, 7
1, 2, 3
4, 5, 6, 7
6.4
6.3.2
157
1. ;
1.
2. , :
2.1
2.2
2.3 ,
2. ;
3.
3.1
3.2 ,
.
.
3. , :
3.1
,
2.
3.2
4. ,
5. , ,
.
. , , ..
6.2. , () . ,
, .
,
. .
2.2 3.2 ,
. 6.2 , (singlevalued)
,
. ( 2.2 3.2 )
. , . , , . , ( .2).
K E A A I O 6 : K
158
:
;
1. 1
2. 5
1
;
1. 15
2. 15
2
: E
(4, 5, 6, 7)
: 4
: M
;
1.
2.
1
: T
(1, 2, 3)
[]
: 1
: 2
: A
[-
-1-]
: A
: X
[-
-15-
E ^
()
()
6.5
6.5
, .
. . , ,
. .
.
, . , ' ,
.
() .
.
,
, .
, 1 5 ,
159
;. ' , , ..
, .
2,
, 4, .
5
,
15 . .
17 .
,
6.3;
6.3.3 ; ;
.
. /
. ,
: ;
( ;)
; ( ;),
; ;. , ,
( ;)
6.3
6.4
6.4
K E A A I O 6 : K
160
( ;). 6.6
6.5.
;
E ;
E .
;
1. 1
2. 5
;
A
M.
K 1:
E A 5 ,
M
;
M E.
K 4:
E M T
,
E
M 4:
E 1. M
2. T ,
1;
M 2:
E 3. A 5 .
4. X 15 ,
M
O 1 .
3;
M A 1 .
E
;
!
6.6
;
;
; ,
, ,
. , ;. , . . ; ,
161
.
() ( ) , , . 6.6
. ;
() . , ,
.
;
. ;
, . (
6.2)
, . ,
. ,
, ( )
,
;.
. ()
,
. ; ;, ,
, . II .
6.4,
; ;.
6.5
K E A A I O 6 : K
162
6.3.4
(blackboard model),
, , . 6.7
, ,
. (knowledge sources).
163
M
7
4
6.7
,
,
.
,
.
,
.
, .. ,
, .. .
(control knowledge sources)
(object knowledge sources).
, , , /
. ,
,
, .. ( .5)
, . .
, ( ) (), (),
6.8.
(
, , , ),
. , ,
K E A A I O 6 : K
164
. , .
.
6.8
( )
( ) .
, , . , . (reduction), ,
(expectation), . M ,
() ,
, ()
. ,
. ,
.
, .
,
, , /, / ,
. .
, . .
, -
,
(, , .). ,
, . (opportunistic search).
, ,
.
.
, ,
, . , , ,
. ,
. (
), ,
. ,
, (intelligent, multiagent models).
,
, . ,
DENDRAL, MYCIN, PROSPECTOR, XCON, . . () ,
, () , () .
() , .
,
.
165
166
K E A A I O 6 : K
/.
, ( )
() .
,
,
( .3). . ,
/ /,
.
. ,
. , ,
, . ,
. , . , .
,
,
, , , . ,
,
.
, ; ;, .
, .
( , )
, ,
, () .
,
. , ,
. , ,
, , , .
. ( ) .
167
7 ,
. , ,
, ,
.
:
,
,
,
, , .
, M II , (expert systems technology).
.
. ,
. (knowledge
base), -
170
K E A A I O 7 :
. . 3 .
, 7.1,
7.2 , , (, ). ,
, .
, ,
171
7.1 , ,
. 1,
(general problem
solvers). ,
, .
(knowledge based
systems).
7.1.
M
E
(Inference Engine)
B
(Knowledge Base)
7.1
,
, .
.
o: ,
, .
,
.
,
. ()
,
172
K E A A I O 7 :
. ,
() .
() : ,
, ,
, , .
, . . , ,
, . E, ' .
,
( , , .).
' .
(
).
,
. ,
,
. :
, ,
173
: ,
() .
.
M , , , .
: () , .
, .
.
.
,
;
.
/, /. , .. INTERNIST1,
.
, .. XCON
DEC, .
( DENDRAL, ,
), ( PROSPECTOR
7.1
174
K E A A I O 7 :
), ( XCON,
DEC,
),
( MYCIN, INTERNIST1, CASNET
), .
(standalone) , , LISPmachine. , .
,
, .
(Knowledge Engineering) . 10.
7.2
, ,
;
, ,
175
:
,
.
:
,
,
,
(knowledge debugging)
.
, .. , ,
,
.
,
.
,
, , ;
,
, . . ,
. .
7.3
K E A A I O 7 :
176
:
( )
,
.
.
.
,
.
.
.
.
.
, (competent problem solvers) , .
7.1
;
1.
.
2.
.
177
3.
.
4.
.
5. ,
.
7.2 B
C.S. Peirce[1] ,
(deduction), (abduction)
(induction), (prediction),
(explanation) (learning).
7.2.
() :
( )
() :
() :
, ,
7.2
K E A A I O 7 :
178
M ( ) (_()), (, ) (, ).
. . 4,
, , ..
/ / .
7.2.2
(hypothetical reasoning). M
,
, . . ,
. / : ,
. ,
. ,
, . ,
. , 1() 2()
"x H1(x) P(x) "x H2(x) ~P(x)
P(A) .
,
,
. , . , . (hypotheticodeductive) ,
,
.
7.2.3
. , . :
_() (, )
_())
(, )
_()
(, )
_() (, )
"x _(x) (x, )
, .
.
. H (incremental learning)
,
(bottleneck) . ,
.
, ( )
, ,
179
180
K E A A I O 7 :
.
.
(Case Based Learning CBL)
.
. , ..
( ),
. , ,
. ,
. , , .
. ,
.
()
.
(descriptive learning) (predictive learning). , .
7.2
:
.
.
.
.
181
.
.
.
.
.
. () , .
, .
. ,
,
.
. ,
,
.
,
,
.
, .
. , -
K E A A I O 7 :
182
, ,
.
CLIPS
C.
. ,
.
.
.
(shell) (empty
system). ,
(reusability)
.
. 10.
, ,
,
.
K E A A I O 8 :
184
MYCIN, PROSPECTOR,
INTERNIST 1
TEIRESIAS
Bayes -
EMYCIN
,
60 70.
(MYCIN, PROSPECTOR,
INTERNIST1), 70.
,
.
( ,
, ), .
(. 9)
(. 10).
, . ,
, . , ad hoc , . (representation level)
.
, ,
(knowledge level)
(conceptual model of expertise)
. '
.
.
, ..
MYCIN PROSPECTOR. , . .
, . , . ,
(deep) . . , ( ) () , . ,
.
( . 2). CASNET . , .. INTERNIST1,
. ,
( )
, ,
.
.
( ),
.
,
185
186
K E A A I O 8 :
,
. .
MYCIN
( ) .
, ( , , , .),
, ,
, MYCIN
. MYCIN 8.1.
PROSPECTOR , MYCIN
, , , , Bayes. PROSPECTOR 8.2.
INTERNIST1, ( ) .
MYCIN PROSPECTOR
, ,
. INTERNIST1
. . '
. INTERNIST1 ,
( ) ,
(associations),
.
, , . INTERNIST1 8.3.
M Y C I N
8.1 Mycin
MYCIN Stanford
Edward Shortliffe. , .
, ,
48 , , .
, '
. ,
( ;) ( ;) .
.
MYCIN
, ,
, , ..
. , .
.
MYCIN
'
, ,
, (TEIRESIAS), (GUIDON)
(EMYCIN). 8.1
.
8.1.1
, -
187
K E A A I O 8 :
188
. ,
, .
,
. , ,
, LISP.
.
X ()
MYCIN
Context Tree
(M E)
B
(M )
A
8.1
MYCIN
( , ) 600 , .
6, .
, ,
8.2. , . 6,
(0.7) . .
M Y C I N
189
:
1. grampos
2.
3.
(0.7)
8.2.
(context tree)
8.2
MYCIN
8.1
K E A A I O 8 :
190
( 8.3). ,
. , , ., , , . ( ) . ,
. .
-1
()
-1
(
)
-2
(
)
-1
()
-1
( )
-2
( )
-2
(
)
8.3
8.1
-1
( )
, , . 6.
MYCIN ,
.
,
.
. ,
M Y C I N
191
, .
(goalrule), 092 ( ). ( 8.4) . .
. ,
() ().
:
1.
2. ,
:
1. ,
2. .
,
. .
,
(
):
1. .
2. , , .
3. .
. . , .
, ,
.
8.4
K E A A I O 8 :
192
,
MYCIN . .
. ,
(), .
.
8.3
MYCIN; , ;
MYCIN .
( ). . ,
8.5, .
,
. ,
, 8.6.
.
:
1.
2.
,
8.5
(1.0) .
M Y C I N
193
:
1.
2.
,
(1.0) .
8.6;
, ,
. , MYCIN
.
,
/
, (
) .
8.1
8.2.
1. , 1
, 0.7.
, 1
( 0.7). ,
8.7, 1 .
( ).
0.7. , 0.7.
8.6
8.4
K E A A I O 8 :
194
,
. , 1 , 0.56 (0.7 0.8).
, 1.
().
MYCIN .
:
1.
2. ,
8.7
(0.8)
.
() (Certainty
Factor) [1,1] ( 8.8()). [,] > 0,
[,] , .
. [,] <
0, |[,]|, [,],
, .
. [,] = 0,
.
B[Y,M]
1 B[Y,M] 1
B: B
B[Y,M]
8.8
B[M] = min{B[i]}
() A K
() A M
M Y C I N
,
[,] + [~,] = 0
. ,
, P(/) + P(~/) = 1.
.
.
()
( 8.8()).
( ) .
[-1,1]. , , 0.2,
[] 0.2, () . 0.2 ,
MYCIN.
, , .
, . ,
.
. . ,
, . ,
.
195
K E A A I O 8 :
196
,
[]=0. . [] 1 1. [],
[] 0.2, , :
8.5
8.9 .
1, ([] = 1), 2
([] = -1).
;
M1
B[M1] = 1
1
Y
8.9
8.1
M2
B[M2] = 1
B[Y] = ;
,
8.10. .
B[Y] = ;
Y
B[Y] = ;
1
0.7 0.1
M1
0.2
M2
M3
0.4
M1
0.3
1
M4
M2
0.8 1
0.4
0.4
0.8 M
7
1
0.8
0.4 0.8
M6
1
1 M3
1
8.10
2
0.6
0.6
0.1
()
5
0.5
M8
1 M4
()
M5
1
M Y C I N
8.1.2
; ; . 6 MYCIN. , (..
1 ;),
. (canned text).
. (user model)
. {1, 2, , 10},
()
(), . ,
.
( ) ()
() {1, 2, , 10} .
,
. ,
, , .
8.2
8.11() ( ,
17). 16 , 7 Renal stones ( ).
. ,
, .. Elevated cyclicAMP, ' , .. Hypercalcemia.
= 3, ,
197
198
K E A A I O 8 :
hyperparathyroidism. ,
{, , } , ( < ) ( > ) ,
. M
, ,
8.11(). , .
.
( 8.11())
. ,
, ,
.
.
8.1.3
M Y C I N
Hyperparathyroidism (3,8)
199
Hyperparathyroidism
Hyperparathyroidism
Hypercalcemia
Hypercalcemia
Increased urinary calcium
Renal stones
Renal stones
() E = 3
()
(,)
() A
8.11
TEIRESIAS MYCIN.
(knowledge bugs) , , MYCIN. ,
(knowledge acquisition in situ).
. ,
. ,
.
.
200
K E A A I O 8 :
B :
() ,
.
, , .
.
.
.
,
.
, , ,
.
,
, .
,
(intelligent structured editor).
TEIRESIAS
, ,
, , .
, TEIRESIAS , ..
. , -
M Y C I N
, , .. , ,
~. , ,
, ..
& & & .
,
, .
& & ~ . , ,
.
TEIRESIAS.
MYCIN .
MYCIN ,
()
MYCIN.
, .. ,
context, , .
,
, .
( 8.12).
TEIRESIAS / .
. ..
.
TEIRESIAS ,
. ,
. .
201
K E A A I O 8 :
202
orgrule,
1. ,
2. ,
3. .
,
8.12
8.2
MYCIN
TEIRESIAS;
8.1.4
(shell or skeletal system),
. MYCIN
EMYCIN (Empty or Essential MYCIN).
. , ,
.
, ,
, , , .
E ,
.
. , EMYCIN -
M Y C I N
, ,
( )
(.. ), .
,
, ,
, , , (CRYSTAL, LEONARDO, .), . EMYCIN, .
EMYCIN ,
PUFF (
MYCIN , ):
HEADMED
PUFF
SACON
ONCOCIN
CLO
DART
, , .
. ,
. M
, ,
203
K E A A I O 8 :
204
.
,
(rapid
prototyping), ,
.
,
. ,
, .
8.3
.
.
.
.
.
.
.
.
.
M Y C I N
205
8.1.5
MYCIN (compiled
knowledge) . 543 MYCIN ( 8.13). ,
, .
:
1. ,
2. ,
3. ,
4. 17 ,
5. ,
:
.
543
, .
,
. .
,
.
543 ,
(.. , , .) .
.
-
8.13
543
206
K E A A I O 8 :
. ,
(hypothesise and refine).
.
MYCIN 543,
.
543.
. , , .. ,
,
.
.
.
(screening
clauses).
(world knowledge).
,
(.. 17
,
15 , .).
.
.
MYCIN, , . ( , , )
( )
.
, -
M Y C I N
, ,
. ..
; .
.
8 , tetracyclines.
8
, ,
tetracyclines.
. . , .
tetracyclines ,
,
.
tetracyclines.
( 8.11). .
..
.
.
.. ,
tetracyclines .
,
,
.
207
208
8.6
K E A A I O 8 :
, ,
MYCIN.
.
. , , , , .
. E
, ,
. .
,
.
. .
.
. , .
()
. ()
'
() ,
. , . .
MYCIN
() , ,
. , '
,
.
PROSPECTOR
. 9 ,
.
8.2 Prospector
.
PROSPECTOR
(
. 5). , .. , MYCIN. , , .
PROSPECTOR ,
, , , .
.
, (goalhypothesis). . .
(field evidence), .
, , . 8.2.3.
, 15 , 150 200 (
8.14). ( ) (/
209
K E A A I O 8 :
210
), (contextual links), .
. / .
, /
, / .
O1
O2
8.14
M ( )
O1.
K .
M O2.
8.2.2
(
) ( ),
.
(mixedinitiative) ,
.
8.15() () () .
, , . :
PROSPECTOR
211
(
)
Y-
O
(
)
?
(A)
(
)
8.15()
T, O
A A
X
( )
A
A
()
O
A
()
T
-
8.15()
212
K E A A I O 8 :
, ,
( ) . , .
( ) (
).
. ,
.
( )
( ) .
.
,
. , , .
( , , ),
.
( )
, , () ,
. , , . .
,
,
.
,
, , .
PROSPECTOR
213
MYCIN, PROSPECTOR
( ). ,
.
( 8.2.3) . , ,
[( 8.15()].
MYCIN , . , , ,
, .
, PROSPECTOR . , , ()
. , ( ;) , , ( ;).
8.2.3
PROSPECTOR ,
,
.
, (sufficiency factor), ,
(necessity factor), ( 8.16), = P(/) / P(/~)
= P(~/) / P(~M/~Y).
E, A
E: E
A: A
8.16
K E A A I O 8 :
214
. (
' ), ( ).
P(M/~Y) 0
. , .
. ,
.
. P(~M/Y) 0 0. , .
( ) , .
, . ( ) .
, [-5, 5],
. 8.17().
P(Y/M')
P(M)
1
P(Y/M)
P(Y)
P(Y/~M)
5
P(M)
1
8.17
()
P(M/M')
()
Bayes, P(Y/M) =
P(M/Y)P(Y)/P(M). ,
, .
XXX
215
,
P(M/Y)
. M Bayes, posterior odds
O(/) = P(Y/M) / P(~Y/M) = (P(M/Y) / P(M/~Y)) (P(Y) / P(~Y)) = ()
O(/~) = P(Y/~M) / P(~Y/~M) = (P(~M/Y) / P(~M/~Y)) (P(Y) / P(~Y)) = ()
odds P = O/(O + 1) = P /
(1 - P). odds
,
(()=P(Y)/P(~Y)). (1)
. . (2) , . . .
;
.
O(Y/M) = O(Y)
= , P(M/M) = 1,
= , P(M/M) = 0, P(~M/M) = 1,
= 1, P(M/M) = P(M),
.
A
P(Y/M) = P(Y,M/M) + P(Y,~M/M) = P(Y/M,M) P(M/M) + P(Y/~M,M) P(~M/M)
,
. P(Y/M,M) = P(Y/M)
P(Y/~M,M) = P(Y/~M). ,
P(Y/M) = P(Y/M) P(M/M) + P(Y/~M) (1 - P(M/M))
, , , P(M/M) = P(M) ( ), P(Y/M) = P(Y) (
(1)
(2)
K E A A I O 8 :
216
).
, P(M/M), , P(Y/M), 8.17(). P(M/M) > P(M), =
[(P(/) - P(M)) / (1 - P(M)], P(M/M)
< P(M), = [P(M/M)/P(M)], .
, i, i = 1, , n, ,
~,
n
i O (Y )
O (Y / M1 , M 2 ,, M n ) =
i =1
i i.
, (
) . , MYCIN
.
8.4
8.18,
() () . , , .
;
0.001
A
E = 5
A = 0.7
E = 5700
A = 0.0001
0.005
B
E = 800
A = 1
E = 200
A = 0.0002
8.18
INTERNIST1
217
, ,
, ,
. ,
.
8.3 Internist1
8
INTERNIST1, Pittsburgh
(differential diagnosis) .
MYCIN
PROSPECTOR. ' INTERNIST1
, 80%
15
. 600 ,
2600 , 3550 (manifestations) 6500
. INTERNIST1
, .
DIALOG,
DIAgnostic LOGic ( ).
,
. INTERNIST1 CADUCEUS,
,
QMR,
.
8.3.1
, ( 8.19):
E
()
()
()
()
8.19
218
K E A A I O 8 :
(Manifest) .
. , , , ,
, {1, 2, , 5},
. 5,
. 1
.
PROSPECTOR.
(Evokes) .
. , , , , {0, 1, , 5}.
. 5,
( ), , 0, . PROSPECTOR.
, , .
, .
,
. , ,
, ,
.
8.7
, , , (import)
{1, 2, , 5} , ,
,
. 5, -
INTERNIST1
219
.
1, , . ,
.
,
8.20. .
.
. ( .
5) ( 8.3.3).
:
:
1
:
:
:
:
:
8.3.2
INTERNIST1 . , . 3 , .
(scoring function) ( 8.3.3).
8.20
220
K E A A I O 8 :
. ,
, , ,
.
,
.
( ) ,
. ():
(Ruleout): , 5 , , ,
.
,
.
(Discriminate): ,
2 4 .
, . ,
.
(Pursue): ,
.
, ,
.
,
, , . , () ,
, ,
.
INTERNIST1
8.3.3
. ,
,
. , . , /
, ,
. () ,
. , ,
.
:
1, , .
2, , .
3, , .
4, ,
.
, ,
. , 2 . 4, . ,
.
(scoring function), . ( ) .
i
(i) = (i) (i) + (i)
(i)
1.
221
222
K E A A I O 8 :
i. (i) 2, 3,
. , (i) , , i
( 8.20). , .
1 , , ,
. 2 3 . , 1 2, 1
2, 3.
2 , 3 , 2
3. , ,
, . ,
.
,
, . , ,
. ,
, ,
; .
CADUCEUS . , INTERNIST1 ,
. , ,
( ) .
8
, . , , . ,
. .
,
,
.
,
.
, , . ,
.
.
.
,
,
. .
,
.
.
, ( , , .)
223
K E A A I O 8 :
224
() . / . , ,
,
, ,
,
. ,
. , .
, .
.
,
.
, NEOMYCIN MDX.
9, :
,
NEOMYCIN ( ),
NEOMYCIN,
,
(heuristic classification),
. 8,
MDX ,
(generic tasks architecture),
.
K E A A I O 9 :
226
MDX
. '
,
. ,
NEOMYCIN ( 9.2),
(reconstruction) MYCIN.
. NEOMYCIN ,
HERACLES.
, MDX (
9.3)
(specialists)
.
,
(Generic
Tasks Architecture),
MDX.
( 9.1).
9.1
, , .
, .
,
. ,
, , , ,
, .
.
. , :
: (control or strategic
knowledge).
: (functional knowledge).
: (causal
knowledge).
.
, .
, .
.
:
() . ,
227
228
K E A A I O 9 :
NEOMYCIN
229
, ,
,
.
9.2 Neomycin
MYCIN
. ,
NEOMYCIN ( MYCIN)
.
NEOMYCIN, , Stanford,
William J. Clancey.
9.1
230
K E A A I O 9 :
NEOMYCIN GUIDON,
MYCIN. GUIDON, ' , , ,
,
, . GUIDON MYCIN,
, GUIDON , .
,
MYCIN. ,
, .
MYCIN, .
NEOMYCIN
.
MYCIN,
.
,
, , ,
(structural knowledge), ,
(support knowledge). , .
, , MYCIN, NEOMYCIN.
9.2.1 a
( 9.1). -
NEOMYCIN
231
.
,
, . .
T
( )
A
( )
9.1
(-)
(hypothesise and refine). (triggers 5.3.3), .. ,
() ( ). .
,
. -
NEOMYCIN
232
K E A A I O 9 :
, ( 8.1.5). ,
, , , ,
(screening rules).
. ,
.
.
. , ( , ), ,
. , ' .
. , .
. ,
( ).
.
, .
,
. .
, . ,
.
, ,
NEOMYCIN
233
. ,
,
, ,
, .
.
.
.
.
.
.
.
9.2.2
NEOMYCIN.
, , . (task
taxonomy) 9.2().
( ) . , ,
.
,
9.2
K E A A I O 9 :
234
.
,
, .
,
[( 9.2()].
& ,
& . . , , ,
, .
.
E
384
-
A
()
385
A
X Y
428
() E Y
M M-
427
&
E
O &
() M T E
NEOMYCIN
9.2
,
(), [( 9.2()]. 9.2()
. ,
.
NEOMYCIN
235
9.3 .
,
,
, .
, ,
, .
9.3
.. . . ,
. . ,
.
:
&
:
,
,
.
:
:
,
T
.
:
,
.
:
&
:
,
T .
K E A A I O 9 :
236
9.3
E
,
, ,
T .
. . , . ,
, , ,
, [ 9.4()]. M
, ,
. .
,
, . ,
() [ 9.4()].
,
.
, ..
. ,
NEOMYCIN
237
, ,
.
E
E
A
-1
X Y
-2 -n
-1 -m
() M-
O&
&E
E. . E. .
neurosign
headache
infection
E E
E E
E. .
febrile
E: E
()
9.4
NEOMYCIN MYCIN;
9.2.3
, . ,
( ), .
(strategic
explanations) ( ), ( -
9.3
238
K E A A I O 9 :
). MYCIN, , ; ;.
;
; ;, ..
. ,
, . ,
.
9.5()
;. ,
.
.
.
. ,
9.3 & , . ,
,
, .
;
;
;. ( ).
.
, .. ,
MYCIN;.
NEOMYCIN
239
1 2 n
H
-.
H
-.
& E
()
Y
(-) ;
-
,
,
.
M -
.
B
,
.
() E ;
& E
()
;
Y. Y.
(
( )
)
H
:
.
.
9.5
() E
A , , ;
. ()
,
. 9.5() ;. .
. , -
240
K E A A I O 9 :
, .
9.1
(, )
MYCIN NEOMYCIN.
9.2.4
(heuristic classification),
NEOMYCIN. NEOMYCIN[1]. ( 9.6): () (data taxonomy), () (solution taxonomy) ()
, .
. :
(Data Abstraction),
,
, . ,
, . , . ,
,
. () (qualitative abstraction), , .. 41 C, , .. , () (generalization abstraction),
, .. augmentin, -
NEOMYCIN
241
, .. , ()
(definitional abstraction), , , , ..
.
. ,
(temporal data
abstraction),
(trends) .
E E
9.6
K E A A I O 9 :
242
, .
,
.
HERACLES.
MDX, .
9.3 MDX
. 8 MYCIN.
,
MDX .
,
. . ,
, ,
,
.
, . , ,
, .
,
MDX
, .
,
, , ..
, , .
. ,
. .
( ) ().
, , , , , . , . 8,
. . , . , ,
. , , , ,
,
. ,
, .
, ,
.
243
K E A A I O 9 :
244
MDX
, ,
, . ,
, , .
9.4
.
.
.
.
.
.
.
.
9.3.2
MDX ,
, , MDX,
, (PATREC) (RADEX).
( 9.1.4), ,
.
. . .
MDX
245
MDX
RADEX
P
PATREC
9.7
MDX
,
,
. 9.8 . /,
. . , ,
, ,
, . .
Internist
Cholestasis
Extra-hep
Intra-hep
Physical
Inflammation
Cholangitis
E:
K
K
E
E
Sci-Cholangitis
, ,
.
9.8
246
K E A A I O 9 :
,
, . ,
, ' ,
, .
,
,
.
, ,
. , .
MDX ,
NEOMYCIN.
, ,
. .
9.5
MDX;
1. .
2.
.
3. .
4.
.
MDX
5. , , .
6. .
9.3.3
247
K E A A I O 9 :
248
9
, NEOMYCIN MDX.
, .
, , .
.
NEOMYCIN, ()
,
, ,
, ()
. ,
,
, , .
MDX .
, . 8.
.
, , .
Johnson Keravnou, NEOMYCIN
MDX,
, CADUCEUS
INTERNIST1,
ABEL NEOCRIB.
.
249
10
10, M II ,
, ,
( ). , , CommonKADS
.
10, :
,
, ,
(, ),
(total task investigation methods)
, ,
, ,
, (teachback
interview technique),
,
CommonKADS,
CommonKADS .
CommonKADS
(, , )
KEAAIO 10: T
252
( ).
(Knowledge Engineering).
.
,
, ,
.
.
.
.
,
,
.
.
.
(mediating representation).
.
,
,
(rapid prototyping).
.
,
, , (stand alone system)
,
, . ,
, ,
. . ' ,
.
,
,
,
.
,
' .
.
, , ,
. ,
, , . ,
( 10.1).
,
. ,
,
,
.
, , , -
253
KEAAIO 10: T
254
. ,
. ,
, ()
, () ,
, () .
Chandrasekaran ( . 9),
.
( 10.1), ( 10.2), ( 10.3)
CommonKADS,
.
M
E
A
E
I;
() T
O
10.1
() T
255
10.1 O
,
,
.
.
.
.
.
. ,
( 10.2).
A ,
, . , , .
/
E
, ;
10.2
10.1
256
KEAAIO 10: T
70, ,
.
,
.
. ( ) ,
, 5 7,
( ,
, ),
.
. . , , ,
() (high fidelity simulation),
, () (moderate fidelity simulation),
() (low fidelity simulation).
:
,
, .
.
, , . , . .
(
)
.
.
257
. ,
, ,
. ,
.
. , , .
, ..
.
.
, ,
. , ..
, o
.
, .
,
.
.
, , .
,
.
, , , .
,
: ()
10.2
KEAAIO 10: T
258
, , ..
,
() ,
, () .
10.2
(),
( 10.3). ,
.
. , . 9,
,
. , .
( 10.3) .
,
.
.
M
A M
E
A
M
Y
M
TN
10.3
259
,
.
( . 3). (systemic grammar networks),
,
.
(
10.4). , ,
.
B
A
E A,
B,
E A,
B,
E ,
A, B
E ,
A, B
10.4
,
, , , .
, ,
. , , .
.
. '
.
,
,
.
KEAAIO 10: T
260
, .
,
. .
.
. , ,
(, , ) ,
.
,
.
. , ..
,
. , , .
10.1
10.3
'
( ). .
(teachback interview technique), Pask[1],
.
( ,
).
. 0
, 1
, ().
, . . ( 0) . ( 1)
. , , ,
.
261
262
KEAAIO 10: T
, 0 ( ) , 1
.
,
( )
. . ,
. ,
.
, ,
:
(tutorial interview). .
(focused interview). . ,
.
(distinction of goals).
. .
(reclassification). . , ,
( ) , , ( ).
(systematic
symptomtofault links).
. ,
,
. .
(intermediate reasoning steps).
.
(structured interview).
.
.
.
,
.
(laddered grid).
.
.
(introspection). ( ) . , ,
. ,
, ,
,
.
(retrospective case description).
, .
. .
(critical incident).
, . ,
,
.
263
KEAAIO 10: T
264
10.2
1.
2.
3.
4.
5.
6.
7.
:
. .
. .
.
. ,
, .
.
.
. .
.
.
M COMMONKADS
. ,
;
10.4 M CommonKADS
10
CommonKADS, , .
KADS (Knowledge Acquisition and Document
Structuring). .
80 . ,
.
, , ,
, ,
,
,
CommonKADS. ,
,
, .. LISP machines,
. ,
.
' ,
CommonKADS,
. . '
, .. , , , , . , , ,
, (reusable,
265
10.2
266
KEAAIO 10: T
canonical inferences),
. ( ), (
) (
).
,
(knowledge
acquisition bottleneck). ,
,
. .
CommonKADS , . , . ,
, , ' , .
.
CommonKADS :
CommonKADS
M COMMONKADS
. ' .
, ,
. ,
, . ,
, .
10.4.1
,
, .
,
, , . :
()
(Organizational Model)
(Application Model)
(Task Model)
(Cooperation Model)
(Expertise Model)
(Conceptual Model)
(Design Model)
:
,
.
,
.
267
KEAAIO 10: T
268
,
.
'
.
, .
, .. ,
, , .
,
. . ,
,
, , , .
, :
. , . ,
.
.
(agents). ,
, . .
. .
.
, ,
, -
M COMMONKADS
, . (transfer
tasks),
. , ,
.
,
,
.
. A .
, (knowledge level)
(symbol level),
( ), .
,
. ,
.
. , , .
, , ,
269
KEAAIO 10: T
270
. , ,
, , . 10.5. o
(interpretation context) (),
10.3,
.
E
I
M
T TN
10.5
. ,
. , ,
.
10.6.
.
M COMMONKADS
M
O
271
M
E
M
E
M
E
I
M
10.6
CommonKADS
,
. CommonKADS
. ,
.
.
CommonKADS .
1. .
2. .
3. .
4. .
5.
.
6. .
10.3
KEAAIO 10: T
272
7. .
8. .
9. .
10. .
10.4.2
;.
CommonKADS
:
(generic types of knowledge)
.
,
.
(domain
knowledge) (control knowledge).
,
( 10.7). , .
(types of inferences)
(primitive tasks). . ,
.
E
10.7
M COMMONKADS
, ,
, .
. ,
, ,
.
.
,
(theory) . :
, .
.
. , . .
. , _ ( . 5).
. ,
: = : =
. : , .
, .
,
, .
(domain schema). (domain theory),
( ) ,
. 10.8
.
273
KEAAIO 10: T
274
10.8
_
:
:
:
:
:
:
CommonKADS
. () ,
, . .
. ,
.
, , , ,
,
. , ,
, .
10.4
10.8 .
.
M COMMONKADS
,
, (
) ( ) . ,
.
.
, .
, , , , .
.
.
:
(metaclasses). , () , ( ),
.
.
()
() .
(alias)
. ,
( 10.8) (hypothesis)
(solution)
. ()
.
(knowledge sources), ( .
6).
. -
275
KEAAIO 10: T
276
, .
(domain views), .
,
.
M , :
T , .
T ( ), .
T .
10.9
, .
.
,
_
. , .
:
.
.
, .
, , , .
M COMMONKADS
277
YO_
MONAA
A_ E YO_MONAA E
A_
()
ME: M_
ME: Y
T: (M_, Y)
YO_MONAA(, )
()
.
. . ,
,
, .
,
, ,
.
10.9
KEAAIO 10: T
278
. (reasoning task)
. ,
' ,
. ,
.
( )
. , . ,
,
(control structure).
NEOMYCIN ( . 9).
NEOMYCIN ,
,
.
( ) .
:
(primitive tasks), .
(composite tasks),
.
(transfer tasks),
, , . O :
(Obtain). , .
(Present).
, .
(Receive).
, .
M COMMONKADS
(Provide). , .
,
. M
(control terms). , ..
(focus) ,
,
. ,
, .. repeatuntil, fordo, . , , .
CommonKADS
. ,
, , .,
( ), . . , , ,
.
,
.
.
,
,
, , ,
. () , .
10.10
,
279
KEAAIO 10: T
280
CommonKADS. , , .
K
10.10
10.5
( )
.
1. .
2. ,
.
3. . .
4. , .
5. .
6. .
7. .
8. .
9. , .
10. .
11. .
12. .
13. .
14. .
15. .
16. .
. .
.
( ), ( ) ( ) .
,
. ,
.
CommonKADS . : () H (, , ,
, , ), , , , ()
,
, () , () , , ()
.
. () ,
281
KEAAIO 10: T
282
, () ,
, () , ( ), , ()
, , .
11
T E
, ,
, , .
, , ,
o International Joint Conference on Artificial Intelligence
(IJCAI) o European Conference on Artificial Intelligence (ECAI),
.
IJCAI, 16 , 1999 , ECAI, 14 ,
2000 . ,
. , , , ..
, ,
Artificial Intelligence in Medicine Europe (AIME).
, ,
, (autonomous agents) (multiagent systems), , .
(rationality). ,
, , ,
, ,
.
.
, , ,
, (search engines)
284
KEAAIO 11: T E
, . , , , ,
. , ,
.
.
( . 6) MDX ( . 9) . , . ,
, .. (planning),
. .
(evolutionary linguistics).
, ,
.
. (evolutionary robotics) (artificial life) . , 15
IJCAI, Nagoya 1997,
,
RoboCup. .
. (planning approach),
(description logic).
T E
(Inductive Logic
Programming, ILP), , . ()
(background knowledge). . , , .
(knowledge
discovery in databases KDD), (data mining)
(intelligent data
analysis IDA), , .
,
Data Mining and Knowledge Discovery, Intelligent Data Analysis, .,
.
,
. , ,
, , , . ,
(information visualization).
(temporal reasoning)
.
, . ,
, (temporal
representation languages), .
, , , , (
285
286
KEAAIO 11: T E
), . (spatial reasoning)
. ,
(spatiotemporal reasoning).
(constraint satisfaction) ,
. ,
,
. ,
(constraint programming
languages and tools), .
,
, . , .
/, ( , , ),
, , .
. , , . , .
,
.
B
J. Ferber, MultiAgent Systems: An Introduction to Distributed Artificial
Intelligence, AddisonWesley, 1995.
N. Lavrac S. Dzeroski, Inductive Logic Programming: Techniques and
Applications, Ellis Horwood, 1994.
N. Lavrac, E. Keravnou B. Zupan (), Intelligent Data Analysis
in Medicine and Pharmacology, Kluwer Academic Publishers, 1997.
K. Marriot P. Stuckey, Programming with Constraints, MIT Press, 1998.
G. Weiss (), Multiagent Systems: A Modern Approach to
Distributed Artificial Intelligence, MIT Press, 1999.
287
A A A
1.1
1. . ,
.
2. .
3. .
4. ,
.
5. , .
6. . ,
. .
.
7. .
1.2
1. .
, ' .
.
(overhead), ,
2.
2. . .
3. .
4. , 2.
.
5. .
T N
290
6. .
7. . , ,
2,
.
, 2 .
.
.
.
2.1
, , , , , , . . , 2.1.
, o . ,
, . .
. .
, .
, 2.2,
.
2.2
A A A
291
2.3
9! = 362880 , 1 9.
381654729.
362880
, ,
; '
, .
.
. , n ,
n 9,
0. ,
0. .
, . ,
, .
,
1/2/ /9 (
).
(
) . ,
( )
5, 5
5. , 1236 5.
292
T N
. ,
: ( ) (10+) mod (()+1) = 0 ( 5
() = 4), .
.
,
5.
( ) .
{1 + ( 9! / (9-n)!, n = 1, , 9 )} = 986410
.
( ) 9.
. ,
, , ,
,
.
( ),
.
. , .
.
, . , .
( ) 9. . ,
. -
A A A
,
9 , , 3, 38, 381, 3816, 38165, 381654, 3816547,
38165472, 381654729. ;
( ) .
, . , ,
( ),
. ,
. ,
n , n
9. , .
, , , , (
) .
2.4
2.7
. , .
. . , , ( ) () ,
. s7 s11
5, 6 s7 s2.
293
T N
294
5 s2
1.
2.
s1
5 s2
3.
s1
s1
s3
s4
s4
s3
3
s8
s9
5 s2
4.
5.
s1
s3
s2
s4
s1
s8
s3
s11
s4
s9
s7
s8
s11
s9
s13
s5
6
5 s2
6.
s1
7.
s7
s3
s1
s2
s8
s11
s9
s6
s7
s3
s13
s5
s4
s6
s14
s4
s9
s8
s11
2.7
s13
3.1
A A A
295
4.1
1. "x {(x) (, x)}
2. ()
3. ()
4. "x "y {(x, y) ~_(x, y) (y)}
5. (, ) ~_(,
)
6. "x {(, x) (, x)}
4.2
1. .
.
2. .
3. . P(A) , . (term)
.
4. .
T N
296
5. . . .
wff.
.
4.3
() 1. , 2. , 3. Clausal, 4. , 5.
() 1. R P Q
PS
2. P Q R
PS
4.4
() modus ponens, () , () , () , ()
modus ponens () .
4.5
1. ~(x) (, x)
2. ()
3. ()
4. ~(x,y) _(x,y) (y)
5. (, )
~_(, )
6. ~(, x) (, x)
4.6
1. {z/x, w/y}
2. . g(x,y)/x .
3. {/y}
4. {g(z)/x, A/y]
5.{C/x, A/y}
6. . h
.
A A A
297
4.7
(, ).
. 4.6 . .
~APEEI(IANNH, YTIKIA)
~TPOH(x) APEEI(IANNH, x)
YTIKIA/x
~TPOH(YTIKIA)
4.6
4.8
wff,
.
.
P(x1)
P(x2) ~P(B)
~P(A) P(x3)
~P(A) ~P(B)
, 4.7.
T N
298
B/x1
P(x1)
~P(B)
A/x1
~P(A) ~P(B)
4.7
.
~Q(z) P(z)
Q(x1)
~P(A) Q(x2)
Q(x3) ~P(B)
~P(A) ~P(B)
4.8.
~Q(z) P(z)
z/x1
P(z)
B/z
Q(x1)
~P(B)
4.8
~P(A) ~P(B)
A/z
.
P(f(x))
Q(f(B))
~P(f(A))
~P(y)
~Q(z)
, , ..
A A A
299
P(x)
x/y
~Q(x)
~P(y) ~Q(y)
Q(A) Q(B)
B/x
Q(A)
A/x
4.9
"x {(x) (, x)}
()
"x "y {(x,y) (x,y)}
~(x) (, x)
()
~(x,y) (x,y)
(, ).
, 4.10.
4.9
T N
300
~TPEI(IANNH, OPTOKAIA)
~APEEI(x,y) TPEI(x,y)
~POYTO(x) APEEI(IANNH, x)
IANNH/x
OPTOKAIA/y
~APEEI(IANNH, OPTOKAIA)
OPTOKAIA/x
~POYTO(OPTOKAIA)
POYTO(OPTOKAIA)
4.10
4.10
~(x,y) ~_(z,y) _(z,x)
_(, _). 4.11 .
~EINAI_MEPO(OYPA, EPIKH_ATA)
~EINAI(x,y) ~EINAI_MEPO(z,y) EINAI_MEPO(z,x)
EPIKH_ATA/x, OYPA/z
~EINAI(EPIKH_ATA,y) ~EINAI_MEPO(OYPA,y)
EINAI(EPIKH_ATA, ATA)
ATA/y
~EINAI_MEPO(OYPA, ATA)
4.11
EINAI_MEPO(OYPA, ATA)
A A A
301
4.11
4.12() 4.12() .
~YEPAN(B,w)
~YEPAN(B,y) ~YEPAN(y,w)
~AN(u,v) YEPAN(u,v)
AN(B,A)
B/u, A/v
YEPAN(B,A)
A/y
~YEPAN(A,w)
~AN(u,v) YEPAN(u,v)
AN(A, TPAEZI)
A/u, TPAEZI/v
YEPAN(A, TPAEZI)
TPAEZI/w
4.12()
T N
302
~YEPAN(B,w) YEPAN(B,w)
TPAEZI/w
4.12()
4.12
$x {(x) (, x)}. ,
, ~(x) ~(, x).
4.13(). M ,
4.13().
A A A
303
~TPOH(x) ~TPEI(EENH, x)
~TPEI(BAIH, x) TPEI(EENH, x)
~TPEI(BAIH, x) ~TPOH(x)
TPEI(BAIH,YTIKIA)
YTIKIA/x
~TPOH(YTIKIA)
~TPEI(x,y) KOTNETAI_AO(x,y) TPOH(y)
YTIKIA/y
~TPEI(x, YTIKIA) KOTNETAI_AO(x, YTIKIA)
TPEI(BAIH, YTIKIA)
BAIH/x
KOTNETAI_AO(BAIH, YTIKIA)
~KOTNETAI_AO(BAIH, YTIKIA)
4.13()
T N
304
4.13()
5.1
() 5.14 () 5.15. .
( / , .. ), .
A A A
305
APAKOOYHH
EINAI
APAKOOYHH_1
IEKEPAITH
MAHMA
ANTIKEIMENO
EINAI
EENH
MEAO
BAMO
YOKEIMENO
KAT_EN_1
TEXNHTH
NOHMOYNH
ANTIKEIMENO
KATATAEI
ENIAEPONTO
EINAI
5.15
5.2
.
5.3
Fortran ,
_1,
1 ( 5.16). YMBAN
EINAI
YOOITIKO
POPAMMA
OKIMH
EINAI
PAIMO
EINAI
EINAI
ANTIKEIMENO
EINAI
POPAMMA_1
ANTIKEIMENO
OKIMH_1
PAIMO_1
YPAEA
OKIMATH
BAIH
IANNH
EINAI
ANPO
EINAI
EINAI
POPAMMATITH
T N
306
( ), . , Cobol. 2,
, P, Cobol, C.
POPAMMATA
GOBOL
EINAI
POPAMMATA
YOOITH
EINAI
ANTIKEIMENO
E2
P
YOKEIMENO
EINAI
EINAI
IANNH
POPAMMATA
FORTRAN
ENIKE
POTAEI
PAIMO_PO
EINAI
EINAI
Accounts
POPAMMATITH
EINAI
_1
EMBEEIA
5.16
EINAI
"
EINAI
F
EINAI
ANTIKEIMENO
E1
YOKEIMENO
MAIPH
Accounts;,
:
Accounts _. M
_FORTRAN 1. _ . _1 Accounts.
5.4
A A A
307
,
.
.
6.1
K
.
X '
.
K .
O .
K
O
O
A
A
E .
E .
, . ,
6.1.2.
6.2
5.
308
T N
10: ( ^ ^
)
. 3 4. 2
. 3.
11: ( ^ ^ 301 ^ 3)
.
4, 2 . 4
12: ( ^ ^ 302 ^ 3)
.
(6),
2,
1-3, 8, 11, 12. 6 ()
13: ( ^ ^ 2)
. .
( )
. ,
( 6.2.2). , (partially
commutative). ( )
()
, , .
, , .
, .
, ,
6.2.1.
A A A
309
6.3
6.9. ,
15 .
:
;
1. 1
2. 5
2
: E
(4, 5, 6, 7)
: 4
: M
;
1.
2.
2
E ^
: 5
:T
: M
:T
T
[] T
[-]
: 1
: A
[--5-]
1 ,
. 4 ,
, . 5,
, .
5 ,
4.
, .
, 6.5, .
6.4
:
1: ( ^ 5)
2: ( ^ 15)
3: ( ^ )
, , . ,
6.9
310
T N
, . , .
.
, ,
,
,
= () ()
()
= {1, 2, 3, 4, 5}
, , , .
2, 3 4 , 5 . , = {1}. 1
4: ( ^ )
.
,
{4, 5, 6, 7}. 4 .
6 7,
,
. , = {1, 5}. 1
5. 5
5: ( ^ )
.
{1, 5}. M ,
. , . ,
( )
A A A
311
. , 2 . 6.10
.
. , . , .
7.1
1. . .
, ; ,
.
2. .
3. .
.
.
4. .
5. .
, . , 7.1.
6.10
T N
312
7.2
A .
A .
A .
A -
E
.
E
.
A .
A
.
A
.
.
.8 ,
.
8.1
() [] = 0
[1] = 0.6, \ [,1] = 0.6 0.7 = 0.42, \ [] := 0.42
[2] = 1,
\ [,2] = -0.1,
\ [] := (0.42 - 0.1) / (1 - 0.1)
:= 0.35
[3] = 1,
\ [,3] = 0.2,
\ [] := 0.35 + 0.2-0.35 0.2
:= 0.48
[4] = 0.1, \ O .
\ O 0.48.
() [] = 0. 1 7
.
. , [] 0.4, 0.64,
0.784, 0.8704, 0.974, 0.9948 0.999. ,
A A A
313
1 , .
8,
;
[] 0.99. , ,
.
.
. [0,1].
, [] := 0.9990.8 :=
0.199 < 0.2. ,
. .
, .
.
8.2
MYCIN
, .
TEIRESIAS MYCIN.
8.3
X .
X .
E .
.
M
.
.
H-
E
.
K -.
T N
314
,
.
8.4
O(B/,) = 800 200 (0.005 / (1 - 0.005)) = 804.016
\ P(B/,) = 804.016 / (804.016 + 1) = 0.9988
\ = 5700 ((0.9988 0.005) / (1 0.005)) = 5693
(/,~) = 5693 0.7 (0.001/ (1 0.001)) = 3.989
\ P(/,~) = 3.989 / (3.989 + 1) = 0.7995
,
, ,
PROSPECTOR.
9.1
,
, ,
.
A A A
315
,
.
9.2
T
M
A
M
K .
K .
.
H .
A
.
9.3
MYCIN
(reasoning tasks),
NEOMYCIN. MYCIN,
.
, . ,
MYCIN (
MYCIN) 9.2.3
9.1.
T N
316
9.4
P
M
.
E .
E .
A .
.
E .
A .
.
9.5
1. 2. 3. 4. 5. 6. ( ,
)
, . , 9.3.2.
10.1
A M
E
A M
Y M
10.2
1 , 2 , 3 , 4 , 5 , 6 , 7 .
.
.
.
M .
M .
K .
.
.
.
A .
A A A
10.3
1 , 2 & 6 , 3 & 4 , 5 & 7 , 8 , 9 &
10
, . ,
10.4.1.
10.4
, .
,
, _
.
. , . (
, ) ( ,
,
). ,
.
10.5
: 2, 5, 7, 10,
: 1, 3, 4, 9, 12
: 8, 11, 13
317
1.1
:
.
, , . ,
.
: . . , . , .
, , .
: , ,
.
,
. .
,
(random letter generator). ,
.
,
7 .
.
.
0 . 0
, <7. >0 7
.
, . >0
<7.
24 , 24 .
.
( ) .
; . 1 24.
.
( ), , 24.
, . , ,
,
(
).
.
,
.
, . .
V V:
. Gauss
, , , .
VI: , , ,
, .
NP (NPcomplete) ,
,
.
, .
319
320
T N
. ,
,
.
,
(.. ,
, ), .
. XCON,
Digital Equipment Corporation
, .
VII: (scheduling)
(temporal constraint
satisfaction problem). , .
. ,
. ,
, . , ! , .
. ,
.
, , , .
(nearest
neighbour heuristic),
, . () -
.
.
, , . ,
.
. .
, , , .
2.1
VI 1.1, . , ,
. ,
,
, , .
. i j i
[t1, t2].
( ),
. ,
,
.
,
321
T N
322
,
.
( ). , .
, .
, ,
( ). , ,
, ,
.
2.2
( , , ) , , , . ,
.
, , , , . . ,
, si, +1 . si
, , ,
, < +1. si
,
(
, ). si,
si, .
, , , , ,
. , , ,
L L = N L = N+1. , si,
+1. ,
si ANOIKTE, . si
si .
, ,
.
, . .
.
2.3
, , si, , so, ,
sg, si. ( ),
si sg, . so
sg si ( g) ( h),
. , si , so si ( sj si)
so si, , sj'
si. , si sj. si
, . si (
so si )
323
T N
324
si . , . ,
sn, si , si
sn; so sn, si,
sn. , ,
si, sn
si
sn. , si, si . ,
si .
si. ,
si , .
si , ANOIKTE .
, ,
.
*.
2.5 ,
* .
2.4
8
:
1. .
2. .
3. ,
.
,
.
325
.
. () 2.6
. () 2.6,
(
) .
1 3
2 6 4
8 7 5
2 1 3
6 4
8 7 5
()
1 3
2 6 4
8 7 5
5 3
2 6 4
8 7 1
()
.
, .
,
. , , , ,
. , .
,
0 .
,
. ,
. ,
, , , .
T N
326
, , . ,
,
. , , .
.
,
.
3.1
, , . , . .
,
. ,
, ,
.
3.2
: .
(.. , , ).
.
.
: .
: . , -
, , ,
(solution
templates or skeletal solutions).
: , , . .
:
, , ,
.
.
: .
: .
: ,
( )
,
( )
.
: ()
, ( ) ,
. ( ) . , . -
327
T N
328
.
,
. , ,
() ( ) , , .
, . , ,
, , .
,
.
6.2
.
( ) (
), ,
(
). , , , . , ,
,
.
,
,
. ,
, ,
.
.
.
. , , .
/,
.
( )
. ,
.
.
. , ,
,
. , ,
,
.
, .
, . , 8.
6.3
, , , . .
.
, . ,
329
330
T N
. ,
, . ,
.
, . ( )
,
(-1) (-+1). ,
, ().
.
Rete[2], OPS5
, CLIPS.
Rete
.
. .
, .
. ,
. , , ,
.
() .
,
, . , . , .
[2] C.Forgy, Rete: A Fast Algorithm for the Many Pattern/Many Object Match Problem,
Artificial Intelligence, 19, 1737, 1982.
7.1
, , . ,
, , ,
. (
, N, ) , .
.
CASNET, ,
, ONET, ,
.
7.3
.
.
.
,
. .
, , , .
NEOMYCIN,
,
.
,
, .
331
T N
332
, .
8.1
,
, ,
.
8.2, .
,
. , ..
_
. , , ,
grampos, , .
. ,
.
MYCIN, .
, . , .
8.3
,
, , .
().
, .
.
. 2,
. MYCIN , . ,
, .
, ,
, . , ( , ,
)
.
, . ,
. ' ,
.
PROSPECTOR.
, .
.
PROSPECTOR ( 8.2),
. , .
8.4
, () (
). ,
(selfreferencing), . ,
.
. ,
. .
333
T N
334
8.5
,
. ,
, .
8.7
, ,
, , .
( 8.3.3). , 1 2,
, 5 1. 1,
2. , 5
, 2,
.
.
. ,
1 2 5 1 , 1
, , ,
1.
,
, .
, ,
. , .
9.1
. ; ,
; . ,
,
.
. MYCIN
; (). NEOMYCIN ,
. MYCIN
().
To MYCIN (),
NEOMYCIN (). ,
NEOMYCIN .
. MYCIN,
. MYCIN
.
NEOMYCIN
.
,
, .. , . ,
.
,
' .
NEOMYCIN , , . ( ) X Y
,
. ,
, .
, MYCIN .
335
T N
336
. , 10.2.
10.2
, ,
. , ,
,
. ,
, , .
. ,
.
, , . ,
, ,
,
. : ()
() ,
,
. () M ,
,
.
' . ,
, ,
. .
( . 6),
'
337
T N
338
.
.
. , ,
,
(thinking aloud). .
, 20
.
, . , .
. , .
10.3
. , ,
( ,
, .),
.
, . ,
.
.
, , ,
.
,
.
,
. , ,
, . ,
.
, . , ,
, , .
.
, , .
339
(deadlock)
.
(causal model)
,
( ) , ( ).
* (* algorithm)
(. ).
(resolution)
, ,
~A B .
modus ponens clauses.
(depthfirst search)
,
( ). ,
.
(breadthfirst search)
,
( ).
, , .
(intersection search)
.
, , ,
.
(knowledge discovery in
databases)
E P O PA M M AT I M O Y
342
, ()
. , ,
, (. ).
(knowledge representation)
, .
(backward chaining)
()
, .
(backward reasoning)
, .
(monitor for rules)
. (. ). ( )
, ,
.
(open state)
,
,
() .
(opposing link)
(. ).
1 2,
1 2.
(declarative/ procedural controversy)
,
. -
( ),
( ).
(abduction)
. M
.
(strict inheritance)
(
). ,
.
(greedy search)
(. ),
, .
(proof by contradiction)
, , , (~).
.
(acquisitional efficiency)
,
.
(inference distance)
, C1
() C2 C3,
C1
C3 C2.
(decidability)
. ,
.
(negation as failure)
( ) ,
343
E P O PA M M AT I M O Y
344
.
.
(starting state)
, ,
.
(generic tasks architecture)
, B.
Chandrasekaran, ,
.
(atom)
,
, (. ).
(strict taxonomy)
.
(automated reasoning)
.
(data abstraction)
,
, , .
(. ).
(deep knowledge)
.
(knowledge base)
.
.
.
(basic inferences)
,
.
(knowledge representation language)
, . CLIPS, OPS5 PROLOG.
(structural knowledge)
(. ) NEOMYCIN.
(support knowledge)
(. ) NEOMYCIN.
(resolution refutation tree)
(. ).
(context tree)
(. ) MYCIN.
/ (AND/OR tree)
. ,
.
(goal tree)
. / .
(second generation of expert
systems)
.
(resolution
refutation procedure)
(. ),
(.
).
345
E P O PA M M AT I M O Y
346
(procedural representation)
, .
, .
(successor states)
, s,
s (. ).
(path)
(disjunctive normal form)
,
, (. ).
(refractoriness)
, .
(interactive system)
. .
(partitioned associative network)
(. )
. .
.
(agent)
,
, , , , , , , ,
, .
(rule interpreter)
(. ) -
. (. ).
(notational convenience)
. .
(inference network)
. / .
(associative network)
.
. , , .
,
.
Turing (Turing test)
Alan Turing,
, ,
.
, .
(test and select)
(. ).
. .
(control structure)
, ( ())
(. ).
(symbol structure)
( ), , .
(power of expression)
,
347
E P O PA M M AT I M O Y
348
.
(validity)
. , p ~p.
(answer extraction)
(. ),
. , , . . .
(data mining)
. .
(topdown refinement)
. .
(expert system)
, ()
. .
(triggering link)
,
. (. ),
.
(unification of sentences)
,
,
. (. ),
.
(induction)
. M , ,
.
(symbolic processing)
(. ).
.
; (Why explanation)
, ,
. / . ;
/ .
; (How explanation)
, ,
. ,
( ). ; / .
(procedural attachement)
,
, .. ( ) ( ) ( ), .
(problem solving)
,
() , .
(sensitivity)
, ,
(. ).
(default)
. ,
,
349
E P O PA M M AT I M O Y
350
.
(findout for objects)
.
(. ). (
) ()
.
(heuristic search)
. *. ,
(. ) .
(heuristic adequacy)
,
,
.
(heuristic function)
(. ).
.
(heuristic classification)
: ,
.
(heuristic)
, . ' .
(unitpreference heuristic)
, -
.
(setofsupport heuristic)
, .
.
(intelligent data analysis)
, .
, (.
).
(intelligent agent)
(. ),
. , ,
. ,
. . (reactive agents).
(semidecidability)
, ,
, . .
(hierarchical link)
, .
. ()
_.
(hierarchical problem space)
,
. (. )
, .
351
E P O PA M M AT I M O Y
352
(sentence equivalence)
,
.
(universal specialization)
, "x
(x), ().
(opportunistic search)
(. ).
.
(well formed formula wff)
,
. , (.
) wff. wff, ~, "x A $x A wff.
, wff, , wff.
wff , .
(production rule)
()
() () (). .
(screening rule)
, , ..
, .
,
NEOMYCIN,
.
(rule of inference)
.
(canonical forms)
-
, clausal form
(. ).
(Distributed Artificial Intelligence)
,
.
(. )
, , .. MDX.
(. )
.
(distributed control)
,
, , ..
. ,
, .. (. ).
(goal state)
, .
(predicate logic)
, ,
.
(closed state)
, ,
.
(inheritance)
, ,
. ,
(. ).
(Ninheritance)
(. ), -
353
E P O PA M M AT I M O Y
354
, .
, ( )
( ) .
.
(Zinheritance)
(. ), ( ), , , ,
. ,
.
(recognizeact cycle)
. (
), . ,
.
(literal)
(. ) , .
(operational knowledge)
, .
(logical adequacy)
,
.
CommonKADS (CommonKADS methodology)
,
(
), , .
(search method)
( )
, .
(mixed chaining)
(. ).
(meronomy)
, _.
(mediating representation)
, ,
(. ), . , .
(compiled knowledge)
,
(, ) (. ),
.
. ' , .
(metaknowledge)
.
(metarule)
(..
MYCIN) (.. NEOMYCIN).
(similarity matrix)
, ,
(. ).
(machine learning)
.
355
T N
356
(inference engine)
(. ) .
.
.
(navigation mechanism)
. .
(reasoning mechanism)
.
,
, .
(working memory)
, .
(production memory)
.
(uncertainty model)
.
(expertise model)
,
.
. CommonKADS (. ) ,
( , ).
(blackboard model)
, , .
. , -
.
,
,
.
, .. .
(. ).
prenex (prenex form)
prenex,
, ,
,
,
, .
(total task investigation)
, , . . , , .
(ontology)
( ), .
.
(backtracking)
(. ), ,
, . ,
.
(forward chaining)
. (. ),
357
T N
358
.
(forward reasoning)
. .
(term)
, ,
, .
(facet)
, ,
. ,
(. ).
(admissible search)
,
. (. )
. , h(s) = 0.
(declarative representation)
( ,
) . .
(descriptive learning)
(. ), .
(knowledge source)
(. ) ,
(control knowledge source)
(object knowledge source). (. ). CommonKADS (. )
.
(frame)
,
. (
) ,
, .
.
( ) ( ) (. , ).
(. )
. .
(object frame)
. .
(control frame)
. .
(completeness)
, . , p , , , .
(multiple inheritance)
( ). ,
, . (. )
.
(quantifier)
, , "(, ), , $ (, ).
(predictive learning)
(. ), .
(recognition problem)
, .. ,
,
359
T N
360
.
(. ).
(representation problem)
, . , ( , , ) ( , ).
(frame problem)
,
.
(constructive problem)
: () O
, ()
()
, ( ).
, , ,
.
(classification problem)
: () I ,
, ()
,
() . .
(state predecessor)
, s, s, , s
s
s .
(recency)
, -
.
(first generation of expert systems)
60
70. ,
, . ,
,
.
(shallow knowledge)
,
.
(skeletal system)
. .
(stability)
, , .
(strategic knowledge)
,
.
NEOMYCIN
( ) .
(strategic explanation)
, (. ;/;).
; (strategic Why explanation)
NEOMYCIN. ,
. ,
.
; (strategic How explanation)
NEOMYCIN. ,
361
T N
362
.
,
.
(specificity)
,
.
(rule instantiation)
.
(frame instantiation)
.
(conjunctive normal form)
,
, (. ).
(eventdriven reasoning)
() . /
/
. ,
(
/ ). .
(goaldriven reasoning)
. ( ),
, (
).
.
(deduction)
. M ( ) ,
( ).
(complementary link):
(. ). , ,
.
, .
.
(evaluation function)
, f(s)=g(s)+h(s),
. g
s, h,
s .
(scoring function)
,
INSTERNIST1. ( )
.
Skolem (Skolem function)
, , y, n 0 , x1, x2, , xn,
, g, x1, x2, , xn. g(x1, x2, , xn) Skolem. , ( ),
.
(combinatorial explosion)
, , . (. ) .
(collaborative model of specialists)
, . MDX
,
.
363
T N
364
(. ), , . ( ).
(connective)
() (~ ), ( &),
( |) ( ).
(conflict resolution set)
,
,
.
.
(necessity factor)
PROSPECTOR
. ,
, ,
, , . , ,
P(~M/Y) / P(~M/~Y).
(certainty factor)
MYCIN . [-1,1].
, ,
, ,
. , , , . . , .
(branching factor)
.
(sufficiency factor)
PROSPECTOR
. ,
, , -
, , . , , P(M/Y)/P(M/~Y).
(systemic grammar network)
(. ), ,
.
(knowledge acquisition system)
. ,
.
.
(knowledgebased system)
( ),
.
. .
(General Problem Solver)
Newell Simon,
,
. .
, ,
, , .
(explanation system)
.
. ( ;)
365
366
T N
( , , , .).
( ;)
. . . /; ;/;.
(empty system)
. M (. ),
. ,
.
(production system)
(. ),
.
(frame system)
(. ), , . ,
, .
(multiagent system)
: (1) ,
, (2) ,
, ,
, (3) , (. , ), (4) , (5) (, , , , ) (6)
.
(decisionsupport system)
,
. ,
, .
,
.
(physical symbol system)
, , . (1) ,
, ,
(2) , .
.
(slot)
.
. (. ) ,
.
(taxonomy)
, .
(taxonomic model)
.
(final state)
, , . , , ,
.
(action operator)
,
. .
(Artificial Intelligence)
.
(interview technique)
(
367
T N
368
) . ,
( , , , ).
(teachback interview technique)
,
. 0
, 1
. / .
(Knowledge engineering)
, .. CommonKADS (. ), , .
, ,
, .
(expert systems technology)
.
. .
(modus ponens)
, ,
"x{(x) (x)} (), ().
(blind search)
, ,
() .
.
(hybrid representation)
, ,
.
(closed world assumption)
(.
).
: E
, . H () . ,
.
(physical symbol system
hypothesis)
(. )
. .
(hypotheticodeductive
inference model)
(. ), , (.
) . .
, .
, ,
.
(computable predicate)
, .
(knowledge representation formalism)
. (. ) .
(state space)
,
( ) . , , ,
,
(. ). .
369
T N
370
* Algorithm: . *.
Abduction: . .
Acquisitional efficiency: . .
Action operator: . .
Admissible search: . .
Agent: . .
AI: . Artificial Intelligence.
IME:
,
1987 .
AND/OR tree: . /.
Answer extraction: . .
Artificial Intelligence: . .
Associative network: . .
Atom: . .
Automated reasoning: . .
Backtracking: . .
Backward chaining: . .
Backward reasoning: . .
Basic inferences: . .
Blackboard model: . .
Blind search: . .
Branching factor: . .
Breadthfirst search: . .
Canonical forms: . .
CASNET
, , .
Causal model: . .
Certainty factor: . .
CLIPS
( ),
NASA.
Classification problem: . .
Clausal form
1 2 n B1
B2 Bm, n0, m0, ( ).
. i , j
. , , .
Closed state: . .
Closed world assumption: . .
Collaborative model of specialists: . .
Combinatorial explosion: . .
CommonKADS methodology: . CommonKADS.
Complementary link: . .
Compiled knowledge: . .
Completeness: . .
Computable predicate: . .
Conflict resolution set: . .
Conjunctive normal form: . .
Connective: . .
Constructive problem: . .
Context tree: . .
Control frame: . .
Control structure: . .
DAI: . Distributed Artificial Intelligence.
371
T N
372
Data abstraction: . .
Data mining: . .
Deadlock: . .
Decidability: . .
Decisionsupport system: . .
Declarative/procedural controversy: .
.
Declarative representation: . .
Deduction: . .
Deep knowledge: . .
Default: . .
DENDRAL
. .
Depthfirst search: . .
Descriptive learning: . .
Disjunctive normal form: . .
Distributed Artificial Intelligence: . .
Distributed control: . .
ECAI
,
1974 .
Empty system: . .
EMYCIN
(. ) MYCIN. Empty
MYCIN Essential MYCIN.
Evaluation function: . .
Eventdriven reasoning: . .
Expert system: . .
Expert systems technology: . .
Expertise model: . .
Explanation system: . .
Facet: . .
Final state: . .
Findout for objects: . .
First generation of expert systems: . .
Forward chaining: . .
Forward reasoning: . .
Frame: . .
Frame instantiation: . .
Frame problem: . .
Frame system: . .
General Problem Solver: . .
GPS: . General Problem Solver.
Generic tasks architecture: . .
Goaldriven reasoning: . .
Goal state: . .
Goal tree: . .
Greedy search: . .
GUIDON
MYCIN.
HERACLES
, (. ).
Heuristic: . .
Heuristic adequacy: . .
Heuristic classification: . .
Heuristic function: . .
Heuristic search: . .
373
T N
374
Hierarchical link: . .
Hierarchical problem space: . .
Horn clauses
clausal form (. ), .
,
(. ),
.
How explanation: . ;.
Hybrid representation: . .
Hypotheticodeductive inference model: .
.
IDA: . Intelligent Data Analysis.
IJCAI
,
1969 .
Induction: . .
Inference distance: . .
Inference engine: . .
Inference network: . .
Inheritance: . .
Intelligent agent: . .
Intelligent Data Analysis: . .
Interactive system: . .
Intersection search: . .
INTERNIST1
,
. .
Interview technique: . .
Knowledge acquisition system: . .
Knowledgebase: . .
Knowledgebased system: . .
KDD: . Knowledge Discovery in Databases.
Knowledge Discovery in Databases: .
.
Knowledge engineering: . .
Knowledge representation: . .
Knowledge representation formalism: .
.
Knowledge representation language: . .
Knowledge source: . .
LISP
. LISP
LISt Programming.
(sexpression).
Literal: . .
Logical adequacy: . .
Machine learning: . .
MDX
( ), (. ). , .
Mediating representation: . .
Meronomy: . .
Metaknowledge: . .
Metarule: . .
Mixed chaining: . .
Modus ponens: . .
Monitor for rules: . .
Multiagent system: . .
Multiple inheritance: . .
375
T N
376
MYCIN
, , ,
.
.
Navigation mechanism . .
Necessity factor . .
Negation as failure . .
NEOMYCIN
,
MYCIN .
Ninheritance: . .
Notational convenience: . .
Object frame: . .
Ontology: . .
Open state: . .
Operational knowledge: . .
Opportunistic search: . .
Opposing link: . .
OPS5
, ( ). XCON.
Partitioned associative network: . .
Path: . .
Physical symbol system: . .
Physical symbol system hypothesis: . .
Power of expression: . .
Predicate logic: . .
Predictive learning: . .
Prenex form: . prenex.
Problem solving: . .
Procedural attachement: . .
Procedural representation: . .
Production memory: . .
Production rule: . .
Production system: . .
PROLOG
,
Horn clauses (. ), (. ). PROLOG PROgramming in
LOGic.
Proof by contradiction: . .
PROSPECTOR
. .
Quantifier: . .
Reasoning mechanism: . .
Recency: . .
Recognition problem: . .
Recognizeact cycle: . .
Refractoriness: . .
Representation problem: . .
Resolution: . .
Resolution refutation procedure: . .
Resolution refutation tree: . .
377
T N
378
Rule instantiation: . .
Rule interpreter: . .
Rule of inference: . .
Scoring function: . .
Screening rule: . .
Search method: . .
Second generation expert systems: . .
Semidecidability: . .
Sensitivity: . .
Sentence equivalence: . .
Setofsupport heuristic: . .
Shallow knowledge: . .
Similarity matrix: . .
Skeletal system: . .
Skolem function: . Skolem.
Slot: . .
Specificity: . .
Stability: . .
Starting state: . .
State predecessor: . .
State space: . .
Strategic explanation: . .
Strategic How explanation: . ;.
Strategic knowledge: . .
Strategic Why explanation: . ;.
Strict inheritance: . .
Strict taxonomy: . .
Structural knowledge: . .
Successor states: . .
Sufficiency fa ctor: . .
Support knowledge: . .
Symbolic processing: . .
Symbol structure: . .
Systemic grammar network: . .
Taxonomy: . .
Taxonomic model: . .
Teachback interview technique: . .
TEIRESIAS
MYCIN.
.
Term: . .
Test and select: . .
Topdown refinement: . .
Total task investigation: . .
Triggering link: . .
Turing test: . Turing.
Uncertainty model: . .
Unification of sentences: . .
Unitpreference heuristic: . .
Universal specialization: . .
Validity: . .
Well formed formula: . .
Wff: . Well formed formula.
Why explanation: . ;.
Working memory: . .
XCON
DEC
379
380
T N
.
Zinheritance: . .
X
BX
I BX I O P A I A
B
. ( . ),
Prolog, , 1992.
D.R. Hofstadter D.C. Dennett, , , 1983.
J.M. David, J.P. Krivine R. Simmons (), Second Generation
Expert Systems, SpringerVerlag, 1993.
T.J.K. BenchCapon, Knowledge Representation: An Approach to Artificial
Intelligence, Academic Press, 1990.
J. Breuker W. Van de Velde (), CommonKADS Library for
Expertise Modelling: Reusable Problem Solving Components, IOS Press,
1994.
L. Brownson, R. Farell, E. Kant N. Martin, Programming Expert Systems
in OPS5: An Introduction to RuleBased Programming, AddisonWesley,
1985.
L.D. Elstein, L.A. Shulman S.A. Sprafka, Medical Problem Solving: An
Analysis of Clinical Reasoning, Harvard University Press, 1978.
R. Engelmore T. Morgan, Blackboard Systems, AddisonWesley, 1988.
J. Ferber, MultiAgent Systems: An Introduction to Distributed Artificial
Intelligence, AddisonWesley, 1995.
N.V. Findler (), Associative NetworksRepresentation and Use of
Knowledge by Computers, Academic Press, 1979.
J. Giarratano G. Riley, Expert Systems: Principles and Programming,
, International Thomson Publishing, 1994.
A.J. Gonzalez D.D. Dankel, The Engineering of KnowledgeBased
Systems: Theory and Practice, PrenticeHall, 1993.
P. Jackson, Introduction to Expert Systems, , AddisonWesley,
1999.
L. Johnson E. Keravnou, Expert Systems Architectures, International
Thomson Publishing (formely Kogan Page), 1988.
E. Keravnou (), Deep Models for Medical Knowledge Engineering,
Elsevier Science Publishers B.V., 1992.
381
382
T N
EYPETHPIO OPN
E
41
230
A 144
90, 96
41
42
115
285
145, 154
145
156
A 40
71
177, 178
146
130
48
95
68
134
70
104
247
83
A 283
148,
240
242
B 218
B 218
B 218
171
58
230
275
278
230
52
189
383
/ 153
153
86
225
72
41
87
151
210
116
236
144
68
153
114
Turing 21
52
151, 278
66
69
E 86
101
285
52
171, 183
127,
231
95
E 285
E 284
E 284
177, 179
285
; 159
; 159
278
E 151
156
46
68
E 240
47
240
27
285
70
Bayes 214
126
51
I 286
wff 89
90
165
83
141
232
K 86
K
35
40
130
131
132
149
83
62
83
67
CommonKADS
265
210
112
205,
242
M 63, 198
146, 162, 192,
236
275
126
171
40
144, 150
141, 144
193, 213,
384
221
252
M prenex 93
162
272
255
41
144
145, 146
82
120
47
71
272
162, 275
120
125
125
70
133
83
35
39
50
50
40
152
183
242
84
202
151
233, 279
237
;
238
;
238
152
143
T N
124
87
286
145
145
177, 178
146
127
47
219,
221
Skolem 92
42
244
150
82
213
194
42
213
198
171
197
202
144
125
283
25
259
273
120
112
T 233
230
T 51
39
T 284
261
251
90
T 41
209
105
25
179,
213, 218
84
58
X
176
X 36
A
Clausal Form 87
EMYCIN 202
GUIDON 230
HERACLES 242
Horn clauses 104
INTERNIST1 217
MDX 242
MYCIN 187
NEOMYCIN 229
PROSPECTOR 209
TEIRESIAS 198