AI.(1 ............. .

(1

(2

(3

(4

AI.(2 .................. .
(1

(2

(3

(4

.(3 AI ....................
(1
(3

(2
(4

.(4
............
(1

(2

(3

(4

.(5 .......... ......... ..........

.
(1 - -

(2 - -

(3 - -

(4 - -

.(6 ..............

 (1

(2

(3

(4

.(7 .............. .
(1

(2

(3

(4

.(8 DENDRAL ..............................

(1

(2

(3

(4

.(9 . .
ELIZA (1

DENDRAL (2

CYC (3

TURING (4

.(10 ............... .
(1

(2

(3

(4

......... .(11 Lenat .

ELIZA (1

DENDRAL (2

CYC (3

TURING (4

.(12 ................... .
(1

(2

 (3

(4

..................(13 .
(1

(2

(3

(4

.(14 ................. .
(1

(2

(3

(4

.(1 AI
AI
.
.(2
-1 -2 -3
.(3 5).(
-1 .
-2 .
-3 .
-4 .
-5 .
.(4

 -1
-2
-3
-4
-5
.(5
-1 .
-2 .
-3 .
.(6 .

.


.

.

.
.(7 .
-1 )
(.

.
-2
.
.
-3

 .
.(8 .
-1
-2
-3
-4
-5
-6
-7
-8
-9 )(game
.(9 AI ) 5(
-1 ) -
-
(...
-2 .
-3 .
-4 .
-5 .
.(10 2 .
-1
-2

-1 PROLOG
(1 DCG Context Free .
(2 PROLOG PROLOG
.
(3 " ) ( " .
(4 | .
-2 PROLOG
(1 ) p(A,B ,B A.
(2 ) p(A,B ,A B.
(3 ) p(A,B ,B A.
(4 ) p(A,B ,A B.
-3 PROLOG
(1 ) C(X,Terminal,Y ,X Y.
(2 ) C(X,Terminal,Y X , Y.
(3 +123 ] [+,123 .
(4 1,23 ] [1,.,23 .
-4 PROLOG
DCG(1 ) (body ..
(2 }{ , .
(3 .
(4 side effect
.

 -5
(1 .
(2 .
(3 .
(4 .

-6
(1
<string> % (2
<string> % < string> (3
(4
-7 hashing ........................
(1
Fix(2 grammar
(3
(4

-1 hashing
hashing .
.
. .
-2

 .
.
. .



-1
(1
(2
(3
(4
-2
(1
(2
(3
(4
-3 ..................... .
(1
(2
(3
(4
-4
(1
(2
(3
(4
-5
(1
.

(2
.
(3 .
(4
.
-6
(1
(2
(3
(4
-7
(1
(2
(3
(4
-8
(1 .
(2 .
(3
.
(4
.
-9
(1 .
(2 .
(3 .
(4 .

 -10
(1 .
(2 .
(3 .
(4 .
-11 ........................... .
(1
(2
(3
(4
-12 ................ .
(1
(2
(3
(4
-13

(1
(2
(3
(4
-14 AI
(1
(2
(3
(4
-15

(1
.
(2 .
(3 .
(4
.
-16
(1 .
(2
.
(3
.
(4
.
-17
(1 .
(2
.
(3
.
(4
.
-18
(1
(2
(3
(4

 -19
(1
.
(2 AI
.
(3
.
(4 .
-20
(1 .
(2 .
(3
.
(4 .
-21
(1 .
(2
.
(3
.
(4
.
-22
(1
.
(2 .
(3 .
(4

 -23
(1
.
(2 -
.
(3 .
(4 .
-24
(1 .
(2 .
(3 .
(4 .

-1 AI

AI .
.
.
-2 .

 -3 AI
:
:
: .
:
: .
:
-4 AI
. .

.
-5
.

. .
.
-6

.
.-
.
-7
. . . . - .

 -8
.

.
.

.
.
.
.



-1
-1

-3 -4

-2

1 :
-2
-1

-2

-3

-4

3 :
-3
-2

-1

-4

-3
4 :
-4
-1

-2

-3

-4

2 :
-5
,



2 :
-6




1 :
-7

 -1
-2
-3
-4
2 :
-8
-1
-2
-3
-4
1 :
-9
-1
-2
-3
-4
2:
-10
-1
-2
-3
-4
4 :

-1

"

, .
.

-2

= +

= + +
-3

, .
,

, , ,
,


, ,
,
.
.

. ,

-4
-1 , ,
.
-2 : " .
thumb .
-5
-1 , -2. -3
-4
-6




-7


,


-8



-9

+ =

-10
(1 .
.
(2 , .
(3 .
self-knowledge (4
.
-11
,
-12
-1 ): Identification (
:
(

-2 ) Conceptualization (
-3 ) Formalization (
-4 ) Implementation (
-5 ) Testing (
.
-13
-1
-2
3-3
-14

-1 :2
-15
-1

-2

-16
1 ) ( C,Pascal, Bassic
2 ) (
3 ) ( Art,KEE,LOOPS
4 ) ( Crystal,XpertRule,Leonardo,Xi-Plus

-17
-1 : ,
.
-2 : AI
-18
-1

-2

 -19
KnowledgeCraft, G2, Art, KEE

-20




/ .

)(
-21
-1 :
-2 : Parry
-3 : Dendral
-4 :
: R1(XCON) -5
: PROSPECTOR -6