|
, .
, -, , . , ( ), , , . , , , "" , . , , . , .
, . , () , , . , . , , . , , :
| ( , );
|
| ( , );
|
| (, );
|
| (, );
|
| , (, ).
| "" , ( ), , "" , . , , .
2) ? ?
, . , . :
, , . , Scrabble(). , .
, , . . , , , (. 2.1). , (, "act" "cat").
. 2.1. Scrabble ,
, :
, . , "" (. 2.1). , , , - . , , -, , -, . - "", " ".
, generate-and-test ( ).
(1) , ; , , .
(2) , (); , , . , , (1).
, (2), . , "8 ", , . , , , "8-Puzzle" (. . 7).
, , . , , , , . , . , , , , .
| 2
1. ? ?
, . . , , . " " . , . (), . , "7" , 7, .
, " ", , , - , , . , , , , . , :
, , , , , , , , . . , , , . , , , - . , , .
2. , ?
2.2.1. SHRDLU
[Winograd, 1972] SHRDLU, ( , ). , " " , , . :
" , ?" , : " ".
, SHRDLU , . "" " ". , , , "" . "" , .
, . 1973 , , , . , , . , " " " ", " " , , , , .. , , , . , . , , , . " " .
2.2.2.
, , . (Newell) (Simon) , (production rules). . , (protocol analysis). , " " , , . . , , , , .
, , , , , . ( , ):
, . , . , , [Minsky, I968J. , . , , , . , (Quillian) . , , .
|
3
1) , ?
, (knowledge-based system), , , , . , , , , . , , , , , , . , ( ).
, .
, -, , . , ( ), , , . , , , "" , . , , . , .
, . , (, ) , , . , . , , . , , :
- ( , );
- ( , );
- (, );
- (, );
- , (, ).
"" , ( ), , "" , . , , . , .
5.2. . , , , , : " ".
5.2.1.
, , . LISP , . ( , SNOBOL.)
. , , :
N V .
, , --. (v, , w) , v N , w V. ,
(-1, , )
, .
, v - (1,w1)..., (n,wn).
(v, 1, w1,..., n, wn).
CLIPS , ,
(organism-1 (morphology rod) (aerobicity aerobic)).
, CLIPS .
, , . , , .
. , . , .
(production system) ( production memory), , , , , , , . . , .
:
P1,..., Pm,->Q1,..., Qn
:
1 ... , Q1 ... Qn.
, , , , , 3. , , .
- , , :
(organism-1 (morphology rod) (aerobicity aerobic)).
, .
2. ? , ?
3.2.1. " - "
, , . , push ():
push(X, Y, Z)
at(po6oT, Y), at(X, Y)
at (, Y), at(X, Y)
at (, Z), at(X, Z)
push(X, Y, Z)
, X () Y Z, X, Y Z , , , , 1, , 2, .
X, Z , , , :
" - - , ; , , , ".
push , :
" X, Y Z X Y Z, X 7, Y Z".
, : 1(1, ), 2(2, ).
STRIPS , , :
;
;
, ;
;
.
, " , : . , -, , , -, , . "". , . have lanch. . , , , . , at cash mashine ( ) have money ( ).
. ,
at(work), have(transport)
, . , , - , (, , , ). - "" , , . , , , , .
"" , .. , , MYCIN. , , . - , . , STRIPS . , .. , , "" . STRIPS , " " , " " (means-ends analisys).
| 4
1) , ?
, (knowledge-based system), , , , . , , , , . , , , , , , . , ( ).
, .
, -, , . , ( ), , , . , , , "" , . , , . , .
, . , (, ) , , . , . , , . , , :
- ( , );
- ( , );
- (, );
- (, );
- , (, ).
"" , ( ), , "" , . , , . , .
5.2.
, , . , , , , : " ".
5.2.1.
, , . LISP , . ( , SNOBOL.)
. , , :
N V .
, , --. (v, , w) , v N , w V. ,
(-1, , )
, .
, v - (1,w1)..., (n,wn).
(v, 1, w1,..., n, wn).
CLIPS , ,
(organism-1 (morphology rod) (aerobicity aerobic)).
, CLIPS .
, , . , , .
. , . , .
(production system) ( production memory), , , , , , , . . , .
:
P1,..., Pm,->Q1,..., Qn
:
1 ... , Q1 ... Qn.
, , , , , 3. , , .
- , , :
(organism-1 (morphology rod) (aerobicity aerobic)).
, .
2) ? ?
, . , . :
, , . , Scrabble(). , .
, , . . , , , (. 2.1). , (, "act" "cat").
. 2.1. Scrabble ,
, :
, . , "" (. 2.1). , , , - . , , -, , -, . - "", " ".
, generate-and-test ( ).
(1) , ; , , .
(2) , (); , , . , , (1).
, (2), . , "8 ", , . , , , "8-Puzzle" (. . 7).
, , . , , , , . , . , , , , .
|