, , .. , ( ), . , , , . . 1 , . . 2 () , <S> <N>.
1, 2 3 , , . 1. , <N> , .. p(FA)=0. , <S> ( , <S>,
.1. , ""
.2. , : S - ; N - ; 1,2 3 - ,
) , .. , p(H)<1. 2 . <S> , .. p(H)=1, ( ) <N> ( ), .. p(FA)>0. , , , <S> <N>, ( 3, ), , .. p(FA)=0 p(H)=1. , , , , .. , ( ) <S>, <N>. (. . 3), , , (O FA), , .
. 3. ,
. , . . : - -, , . , . , - (, , ..), : () C, , . , , . - (, ), . , , . X A f (X/A).
|
|
, <S>, <N>. : f (X/S) f (X/N) (. 4).
, C ( ), , X C, , , . , p(FA) , X ( , <N>) C, .. f (X/N). p(H) , X ( , <S>) C, .. f (X/S).
(8)
(9)
C ( . 4 ), , , p(FA)=p(H)=0. , p(FA) p(H), ( ), C 1 ( . 4). C p(FA) p(H), (. 5), p(H), p(FA), .
. 4. : ,
PX. , f(X/S) f(X/N) PX, : PX f(X/S) f(X/N). PX (0,0) (1,1) . , f(X/S) f(X/N), .. p(H) p(FA).
.5.
|
|
p(H) p(FA) , .. (, , , FA O). f(X/S) f(X/N). , , , .
, (V=W) P(S) = 0,5) , . 6.
.6. :
- ; -; - ; p(H), p(FA)
3.
, .
, P(S)=0.9.
2
P(S)=0.5
3
P(S)=0.9
4
P(S)=0.1
(. 6), , , p(H) , p(FA) , ! , C . , .
P(S) 0.1.
(. 6) , . P(S).
f(X/S) f(X/N), V,W P(S), C , . c , , , . , , , , .. f(X/S) f(X/N) C.
, . , , . <S> <N> -. p(H), p(FA). - ( P(S) / , - ), <S> <N>. , , p(H), p(FA). , p(H), p(FA), .. PX. , , p(H) p(FA) PX , , C, , , , , f(X/S) f(X/N). , : PX f(X/S), f(X/N) C. , , , PX (.. , , , , ), f(X/S) f(X/N) . , ( , , , ) (, , , ): , . z z-. X , q r, . , . , , , , f(Z/N) , 1. , , f(Z/S).
|
|
, ss,n= 1, .. , f(Z/S) f(Z/N) a,
(10)
a d' . Z-, <S>, Z-, <N>. d', Z-, <S> <N> (. 7).
. 7.
, C, , p(FA), p(H) p(FA), d'. d' = 0, p(FA) = p(H) C , , PX (. 8). d' > 0, PX , (0,1) (1,0). d', PX - . d' C ? PX ?
, , .. p(FA), p(H). ,
(11)
C. : C P (12):
(12)
Z- P:
C = Z [P]. (13)
.8. PX
Z- . , C (12), , P, , C . , (11) Z- :
|
|
C = -Z [p(FA)]. (14)
, C . , p(H), d'? , , N ( , . . 9). Z C , 0. , , ( - d'), p(H) (. . 9). . :
(15)
- d' = z[p(H)]. (16)
(14) (16), :
d' = z[p(H)] - z[p(FA)]. (17)
, , p(FA) p(H). f(Z/S) f(Z/N) (.. ), , ,
.9. :
-. d' "" ; - , 0; X - ; Y - ; -
(14), d', (17), . : Z[p(FA)], z[p(H)], PX , (17): z[p(H)] = z[p(FA)] + d', 45 . Z[p(H)] Z[p(FA)] (. . 10) PX . (17) , . K K PX (K ³ 2).
: z[p(FA)] z [p(H)]. p(H) p(FA) (.. ), , z-, ( 45 ) , . , , 45. , , d'. , , , .. .
.10. PX , sS=sN
, , z- PX 45 . : , sS f(z/S) , . , (14) , C p(FA). ss,n= 1 , f(z/S) C . (15) (16), :
, Z , . C, C - a ( d' a), . :
(18)
(19)
(14) (19) :
(20)
, , PX 1/s (. .11). , ( ) .
, ( , ) .
, f(z/S) f(z/N) , PX 1. PX C.
|
|
, C ( C) b, :
.
.11. PX , sS¹sN.
(21)
f(C/S) f(C/N) f(X/S) f(X/N), C. b , , , C, , .
b, C.
f(C/S) f(C/N) , p(H) p(FA). : , Z[p(H)] Z[p(FA)] ( ). f[p(H)] f[p(FA)]. :
(22)
, , f- , b. ( ) lnb z- . , , p(H) p(FA) d' b, lnb( ):
(23)
(24)
lnβ:
(25)
3. (2)
2 , , , . <S> <N>, , ( , ..) , , . , , , . , ( ) . . . (, ) ( 50 ) . 1000 , , , .
, , . <S,N>, <N,S>. , , <H,B>, <B,H>, B , H . , , , <H,B>. - :
2 -. , . ,
P(S) = P(<S,N>), P(N) = P(<N,S>) = 1 - P(S).
1 p(H)=p("",""/<S,N>); 2 p(FA)=p ("",""/<N,S>) .. - , , . , , . - P(S) , , (FA O) , , . , , , , , p(H) = p(CR). 2, , <S,N>