, , AND/OR , - . - . , . , , , AND/OR. , *. *, , 12.
,
AND/OR AND/OR,
. , AND/OR (. . 13.4)
:
------ > or:[b/l,c/3].
----- > and: [d/1, /1].
----- > and: [f/2,g/l].
------ > or: [h/].
f------ > or:[h/2,i/3].
goal d). goa] (g). goal (h).
. , . . 13.4.
AND/OR . .
, ( ) AND /OR h. . , . , AND/OR ; .
" " . h , ? , , , ( )?
N {) . N () h{M). , h , ; , . , . 13.S, N OR :
|
|
H[N> - rain (cost (N, Hi) +H(N;)J
13. AND/OR
cost{N,Ni) N . : , { " N"), .
_!_ eOR
H(N) = mitfcoslfN.NJ+HfNJ) |
cosiW.N1) |
) =X.(cos1iN,Nt) +H(H,)) |
. 13.8. , . , AND /OR
N AND :
H(N>
McoSN, NiJ+HtSi))
- .
- , , . , N N , N cost (, N); :
F(N)=cost(M,N}+H(N)
, N, a , N2,... , : F(N) = cost(, ) + rain F(Ni), N * OR
F(N)
lb 1
t(M, N) + ZrF(Ni), - A N D
S , , () 0. , h AND/OR 0 , F[5) ( , ).
OR. , F- . . 13.4 AND/OR.
II. Prolog
, , . . 13.9 , . , h = 0 . , . 13.9, F- (, ). . 13.9.
0
1
2
2 |
2 |
1
1
. 13.9. AND/OR no ( h ■ 0) , . 13.4
13, AND/OR
( ) , . OR, . F(b) = 1 < 3 = F(c), . , . , .
|
|
1. F- b , , .
2. , .
, b F (), F{b) < 3 = F(c). , d ( ), F- b 3.
, , to, . , d , , . F {b> = 9 > 3, . , , h . . F I ) 9, F(b) = . , , . , ( h ) . , , .. , . 13.4, .