. , ,
5
5,
5
, ,
.
, , ,
.
, - .
.
. |
, .
(), (), ..
,
, :
, , .
.
, , . .
( ) |
, ,
, , ,
|
|
, , .
, , , . , .
,
, .
, ( (risp, c#, ) (Prolog, , , ))
( ) ( , ).
( ) |
,
: ( )
, |
1.1 |
1.2 ( |
2.1 ( |
( , , , , , ) |
2.2 |
, , , .
80%
= < X,C,R,G,F>
X,C,R,G
F , =)
( - )
C ( , , )
R ( )
G , ,
F - S (G <-> S)
|
|
S= {S(t)} -
S(t) = (X(t);C(X,t);R(x,t)} : , ,
(,) 2
2
(,)
) 4
2*2*2*4 = 32
S=S S S
S ( )
Sc
S -
F
F
S S
fij F fij = si ->gk -> sj
gk
S= gk(gh(gm(S)..))
1)
2) ( )
,
. , .
, . , .