Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

ИНТЕЛЛЕКТУАЛЬНЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ

.PDF
Скачиваний:
17
Добавлен:
17.03.2015
Размер:
1.54 Mб
Скачать

 

 

"GHI!

 

 

 

 

 

 

 

 

 

F =

 

(

 

 

 

· · ·

 

),

 

A1σ1

A2σ2

Anσn

 

F(σ12...σn)=

Aσ A1 σ = C1 Aσ A1 σ = D0

+ ' 0 " ; + 6 + + 0

* * D F 1 A1 . . . , An

1

F (σ12 n

(A1σ1 A2σ2 · · · Anσn ).

F =

...σ

)=

1 ) ' " % * ) 0 " % * < ' " % )

<; " " 0 ' C D =& 6> + % 0 < ' /

' " ' " M ) 0 " /< " /<

1

n % 0 " n" 0 j" p(X), q(X, y), w(X1, . . . , Xn)

R 0)

% 0 p, q w) ' <; % * <) 0 < " 0 % ) %

0 X, Y, X1, . . . , Xn R 0 0 1 /) ' p(X) %'

% / % 0 p X

J " 0& 0& 0 % 0 / " 0 0 '

" M R 0 ) n" 0 % * f (X1, . . . , Xn))

<; M n = M × M × · · · × M M ) % * ) <; ' M 0

M n M % * 0 < " % * M . 0 " ) 0 % 0 0

0 " % * M 1 % * < f (X1, . . . , Xn) /) '

%' % / n" % * / % 0 0 0

X1, . . . , Xn

1 p(X)) 0 " M ) " " ?

" M % " ' 0" 0 pX " " pq) '

p(X) ' C ) " ? 0" 0 " ) ' D ) " 1p(X1, . . . , Xn) P % ? X1, . . . , Xn % " '

0" 0 pX1, . . . , Xn & " % " P pq 1%" /) ) M R "

% / 0& ' " M p(X)

' /) ' pX R ' ' " q pX R '

' " q) pX R " ' " q)

q(X, Y ) R pX /P Y q pX /P Y q

" " 0 % 0 ' / " ' 0 % p, q, h, v, w ( % * / 0 % 0 R " " " ' 0 % f, g, h( 0 0 R ' 0 " 0

% X, Y, Z( 0 " 0 R ' / 0 " ' 0 % a, b, c, . . . J" % 0 % 0 % % " / /" " "

' +

." " 0 % * < " ' " 0 " %' ) % 0 & <

/ ' R C D J" * "' " 0" 0 " " "' "

7 ! ) )$

! "#$% & '( ')%

 

 

" / %< " " 0 % = % %

> , " 0" 0 p < X "

p(X)q p"%; " % X) " p(X)q " / 0

* R ; " "%; " 1 " " ? & * 0 0P 0" 0 "0 < " X p(X) X p(X) " " J0 X p(X)

' 0" 0 " ) p(X) " " & X M ) R

" %' J0 X p(X) ' 0" 0 " ) "%; " % ? X M )

p(X) " ) R " %' j" p(X) " / "

" X) 0 X p(X)) X p(X) ' <

) ' p(X) 0

0 < " " 0

= {a1, . . . , am} F

1%" / " M ' X ' M

" " P

 

• X p(X) = p(a1) · · · p(am))

 

• X p(X) = p(a1) · · · p(am)

I "" 0 ( X p(X))) * 0 X p(X) 0 '

0" 0 p X p(X) q) " / 0" 0 < p"%; " % ? X M )

p(X) q) ) ' ) p"%; " % ?

X M )

p(X)

" q

F / ) 0

 

" / 0 < X

 

 

X p(X)

p(X)

 

 

 

 

= X

 

.

 

 

 

 

 

 

 

 

X p(X)

p(X)

 

 

 

 

= >

J0 X p(X)) " <; * X p(X) ' <; 0" 0 p X p(X)

q) " / 0" 0 < p " & X 0" 0 p(X) q ) ' ) p " & X 0" 0 p(X) " q F / ) 0 X p(X) " / 0 <

X p(X)

X p(X) = X p(X). = >

F P = >a= > 0 < -

, " ) ' 0 & X p(X) X p(X) " / % X) ' <; %<)

? % 0 ' < 0" 0 X /P " 1 /) ' % & X p(X) X p(X) 0 X F

/P % " ( "% " % & " <' / )

' 0 % /) 0" 0 P

1%" / q(X, Y ) R 0 % " 0 0 / %

X ) Y

X q(X, Y ), X q(X, Y ), Y q(X, Y ), Y q(X, Y ).

1 ) ) 0 " " ) % R + J" ' 0 0 0 < " " " 0& "

/ & & ) ! 8- &

ab f (X) dX 4 6 ! $ X ( 6

& ! & ' ! f (X) / &

&' 4 !

% ' /" ) ) X Y p(X, Y )

%

0" 0 , ) %" / X, Y !) 0 " % / 0&

' " )

'

pX Y q M 0" 0 X Y X, Y ! p " X "%; " % Y ) '

X

Y q ' " ) ' " ? & " " % %

% < Y X X, Y ! p"%; " % Y ) ' < X Y q) ) '

) " 0 0 0 ) ' " 0&

"%; "

@" 0 Q "" " % 1

" / % " p q) Q <; ? % * ) 0

%

M % " " " %<;

 

" " " /

(

" f R n" % * / % t1, . . . , tn R 0)

f (t1, . . . , tn) " / (

% 0 < "

 

J J2 J

" * / % " ? % (

" p R n" 0 ) X t1, . . . , tn R 0) p(t1, . . . , tn) R ? % (

% 0 < " ? 0 %

0 % 0 0 < 0 %

L % 0 "' " < " % " " %<;

" ? % " / % (

" F G R % 0) X R ) & F)

0 ( X F)) ( X F)) F) (F G)) (F G)) (F → G) " / % (

% 0 " %

. " % 0 " / % " =" ; 11 % > 1 11 % < " 0

p(a, X, g(Y, a, b)), p(X, Y ) → G(a, b),

(p(a) (p(a) G(b))).

J0 f (X)) f (p(b))) p(f (a)) (G(b) → H(c))) < " %

+

L % 0 " 0" ) ' 0" 0 ) " "%; " %

* . / % % R ? ' " / "

%" " M ) / %< " /) 0 %< " /<

* ) % / " " ) " ;

a " % 0 ? -(

 

 

 

a n" % * / % % %< n" %< % * < -(

 

a n" % % P % n ?

M

. 0 " ) R ? *

" M " " % " = " 0) % * /

% 0>) & ; % 0) " " 0) ? ) % * P M R

" %

I "" ? %< % %

w(f (a, b), g(a, b))

" %<;%< * <

a M R " " / 0& ' " ( a a, b R ' " " " (

af R % * " f (a, b) = a + b(

ag R % * % g(a, b) = ab(

aw R P p /P q

1 * % ' 0" 0 p"% • /P

2 · 3q % ? % w(f (a, b), g(a, b)) =D j" /

* <) a = 1) b = 2) w(f (a, b), g(a, b)) =C @' ) "%; " % % &

* ) 0& ? % & " %' & '

D ) % & R C , "%; " % * )

' C D * I "" % %< ? %< % %

w(f (g(X, X), g(Y, Y )), g(a, g(X, Y ))).

% ' 0" 0 pX2 + Y 2 2XY q) < 0& X Y M )

' C

1 * ) " 0" 0 0 "' "

" ) ' " ' 0& % 0& 0&

" " / %< " " = & " ; >) 0 < " 0&

" " ) P Q , ) 0" 0 p & " " q p.

& " ) q 0 "' " " / KLMNO 1

! KLMNO C 1 ! KLMNO C 1 !

7 > " ? ? +

L % " 0& 0& 0 " + + * " % % " " 0" 0 ) " ) "

% " " 0 0 0 P " * )

0 / " & ' 0& " *

% &

j" % ' C " * &) %< % % 0 <

+) ) "' " 0" 0 ) 1 < "

F(X) F(X) = ) F → (F G) =

 

9

 

 

% 0 F G 0 < " " / 0 ) " % (F ≡ G) " ; ' )

 

" & * & ' F "

/

) ' G "

 

 

 

 

 

 

 

 

 

 

 

1 " / 0& % < " F F)

 

 

 

 

 

 

 

 

 

 

((

 

G)) (

 

G) j" F G R " / 0 % 0)

%" " " / F = G

F

F

 

 

j" * % F ' C )

? ' ) ' *

% F j" " % *

% ? " ' C ) * % ? %

" %

7+ L % F " Ψ0 % = ' Ψ0 F>) " * ) % <; Ψ0) % F J ? " %'

% F 0 " Ψ0

 

 

 

 

 

 

 

1 ' ) ' p ' " " % q " ' ) ' F 0 Ψ0

'

0 " Ψ0 " ' ) ' F " * )

% Ψ0

 

 

 

 

 

 

 

 

 

1 0 ' " " "

 

 

 

 

 

p(X)

q(X), p(Y )

 

q(Y )

]cflZ |cb[bZ;

= >

p(X)

q(X),

 

 

 

 

]cflZ Ycee[bZ.

= >

q(Y )

p(Y )

 

 

 

 

 

1 ' " 0 ]cflZ |cb[bZ " %

% % % 0 0P "

pJ" < " 0) F

R ' ) " / ) F

" q

 

& ! 6

"9 :;# & p(X) q(X) *

+% +% ) Y ! /

 

1 ]cflZ |cb[bZ ]cflZ Ycee[bZ 0 " % 0 " ' E * J

" 0 ' " / % " ? ) " ' & ' "

) / "0 -/ ) ' "< /

j" " % % " * )

" 0 " , ) " Ψ = {G, G} '

0 I "" % ) " / 0 0 " j" F " % Ψ0 =Ψ0 F>) Q Ψ0 F) " ) " " ; % " Ψ0 %

0 F) 0 1 " "' " 0" 0 0 " / = ' " />

" ' " " Ψ = 1 0 '

G, G = , , F = , G → H, G, H =

"' " 0 <

j" " Ψ " 0 0 ) "%; " % * ) %

<; Ψ0) " Ψ0 0 "

F / 0 " "' " 0" 0 &

/" U V

/ & )! ' ! ' &' $

! 4 &

% ' "/ 9 ) "' " P " / % " ..F P

' - P ') " / %<;

) " "

' 0 % F ' " " % " Ψ0 =Ψ0

F> J ? " %'

F 0 " * 0 % /" ? 0 " "

) ' 0 /)

' * ) % <; Ψ0) % F) ) ' ) Q

 

 

 

 

 

 

Ψ1 = Ψ0 F

0 = ' > @ 0' " / % " % /)

0 " ) '

" Ψ1 0 =p /" q>

 

+ '

 

 

 

 

1 /" 0 " % 0 Ψ1

= Ψ0

 

" < " Q< *

F

D 0 < < %< ? %< % % * = 0 0

* / 0 > L % %) " <;%< " Q< * < ) 0 < 6#

) 1 Q< = > % " % / % 0)

" %<; &

p(a, b, c), p(X, Y, c) q(a, Y ) w(X, Z).

.) /" 0 % 0 Ψ1 0 0 / " 0 Q<

? " / %< " R & & % " / 0

% %

@' ) " " ) <; " * / 0& = "' " 0" 0

> 0 <; " " ' " & * = <' " ) 0 <; 0

- " / * / 0 /

0& >) " < " " % = >) " " " 0 @ " 0 " " ) 0 P " ) 0 " " " %< & 0 % = > = >) %'

 

( X F(X))

= X

F(X)

,

( X F(X))

= X

F(X)

.

= >

j" % F " %< %< X )

 

 

 

X (F G(X)) = F X G(X);

 

 

X (

F G

(X)) =

X

(X);

= >

 

 

 

 

F G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X (

 

 

(X)) =

 

 

 

 

 

 

 

X (X);

 

 

X (F G(X)) =

 

 

 

 

 

F X G(X).

 

 

 

F G

 

 

F G

 

 

 

J0 P ; ' 0& "

X (F(X) G(X)) = X F(X) X G(X);

X Y F(X, Y ) = Y X F(X, Y );

. = >

X (F G(X)) = X F(X) X G(X);

 

X Y

(X, Y ) = Y X

(X, Y )

F

F

 

 

" % ) % ) " Q< ) " / %< " P/ * = > Q< * * ) ? " / " * R

% 1 ? % " / % 0 Ψ1 Q<

& " <' / " " / 0 ' " * = <' 0> % /P / " /

" * " % % 0

I "" " / " 0 ) 0 & 0 /

* "" % 0 Q< 0 % " 0 /) ' % &

"% " %< 0 "%; "

C * % " <' /) " / %

" (A → B) = (A B) =" = >> . ? " "' " 0" 0 " % ) ' " " ) "

X p(X) → q(Y ) → X h(X) = X p(X) q(Y ) X h(X) .

; + /P / " / " *

) " / % 0 - , ) " "

X p(X, Y ) q(Y ) = X p(X, Y ) q(Y ).

" J " " " %< " %<

/ / ) " <; " % ) & ;

" / " ? & , ) " " %<; * ' "

X p(X) X q(X) = X p(X) Y q(Y ) = X Y (p(X) q(Y )).

C -0 ) ' % " / 0 ; " ) 0 0& " < %< 1 ? % ? 0 "

' % 0 "' / " /< " ' " / % 0) " %<

, )

X

p(x) Y q(Y ) h(X, Y )

 

= X Y p(X)

 

 

 

 

q(Y ) h(X, Y ) .

J " " ' {Ψ0 F} " " " % 0& % ) % ) "

; & " 0& 0&) % F % ) " 0 % = Ψ1 = Ψ0 F> % % " /" ; " . " ; "

' ) ? 0 % 0 /) " <' /) %" P "/) ' "

0 % & " " ; "

@ 9

P " ' " ) & %<; %<

" /) " < " L1, . . . , Lm) 11, . . . , 1n "

0 " " % %) " ;%< " 0& 0&) 0' 0" 0 , ) P " %<; 0 p% @ @ / < " .-q % 0

1 1 !(

1 1 !

&' ! & ' F → G

& $0 &' ! & ! ) ! & ! )

& -

J 0 " ? & =151P! ' C ) " % '

X * R ? ' F ) / R ' M "/ X, F, M R 0 )

" / 0& " / " % " / ) "" / ? )

0 % /) ' 0 < " " %< 0

1 0 < " " % 0" 0 " < " * )

0 0 ' " 0& %

<' /" % ' " " F ;/<

"0 < " ' 0 P

p " ) q 1 ) 0 & /

" %< " / p q , " " 0 ? 0

" %<; pj"

% % ' 0 X ' Y )

X R '

Y q

" ? % 0 %< " #

=151P! ; =! M =1>! " ' * 1 )

<; " P p q % % * ) % 0 / /

=151P! >151P! =! M =1>! =1>!

= >

1 ' ) ' " 0 %" 0 " ; " X, Y, F M

1 =! & ) " / % /<

) "% " * " M =1>!

/ * % 0 " % ) " " ) % <' <) '

0 ' " " % "

' 0 ? " Q< ) & 0 / p%& * q

J0 " " %<; " 0 ) %' " %<; Q< 0

 

 

 

 

 

 

 

 

 

=151P! >151P! =! M =1>! =1>!

= 9>

1 " / & % " ) 0 " " < %

K " 0 " 0 ' 0 " / & " ) " "

" " " J P <" " " ' 0

=L ) L ) L ) L > =1 >

 

 

 

L 1 1 !;

 

 

 

 

 

 

 

L 1 1 !

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L !;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ψ

 

=

 

 

 

 

 

 

 

 

 

 

 

= >

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L !

;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 =151P!

 

>151P!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=!

 

M =1>!

 

=1>!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J "0 " < " ? 0 % 0) " " 0 ' 0& % "

/ J" "0 / J " %' " " %p q p q , ) ) ' @ " @ / ) & / %

* J " %' " % " / " " / 0 " ' ) ) )

' , ) " @ / ) " " / / %

L / " & "

a / " " ' 0" 0 1 !(

a ' N ame 0" 0 QNRS1 ! ' C

 

 

, <* 0" 0 =" = >>

 

(P Q) (

 

S) → P S = .

 

Q

 

J "' " <* 0 ' 1%" / < " Q< 0

P (X) Q(Y ) Q(Y ) S(Z) . ? & Q< ' " 0 " Q< P (X) R(Z)

P (X) Q(Y ), Q(Y ) S(Z) P (X) S(Z) = >

J / %' 0 Q< 0 " + J ; " %' 0 Q<

%' / " / / 1 * "" %' / 0 " +)

+ ) ' " * %

"& 0 Q< )

%

/ 1%" / * I %

"& 0 Q

< J 0 " %'

 

 

 

 

 

 

 

 

 

 

 

 

 

> * I %

 

Q(Y ))

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

> * I %

 

Q(Y )

 

 

 

 

 

 

 

J " %' * I % % / "& 0 Q< ) " %

S(Z) F / ) ? " %' I %

/ J " %'

* I % % / "& 0 Q< ) " %

P (X) F / )

" %' I %

/

 

 

 

 

 

 

 

" " /

 

" %<; * "" 1%" / "

" % Ψ0 =

 

F1, . . . , Fn

 

 

 

 

Ψ0

 

Fi, Fj ) " &

 

Fi, Fj

R) R R

 

 

Fi, Fj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) % " / Q< 1%" /

 

 

/ Q<

 

 

 

 

Q< 0

 

 

 

<' & / %

1 %' " ' ' Ψ1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ψ1 = Ψ0 Fi, Fj R .

 

 

 

 

j" * I

% Ψ0)

I

%

 

Ψ1)

Ψ0 Ψ1 .

) " I %

Ψ1) %

Ψ0

 

 

 

 

- ' " % Ψ2) Q< &

/ % 1 %' " * ' ' " & " "

 

 

 

 

 

 

 

Ψ0 Ψ1 Ψ2 . . . , Ψm,

= >

" Ψi "

/P Q< ) ' 0 %; 1 ? ) " Ψm

0 )

"& " Ψ0

0 , 0 " / Ψm ' )

Ψm "

) 0& " * % )

Ψm =

G,

 

 

 

0 * "" " * ' " Ψ0,

Ψ1, . . . 0 "

G, . . .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 <* /" 0 Ψ0 F " " %<;

M % " / " Q< Ψ0 = >) " @ @ /

% " ) /

% Ψ0 1 !

 

% "/ 0P ) /" ? 0 / 0 " /

" Q< Ψ1 = Ψ0, 1 ! % p"% /q " Ψ1) 0

/ % 0& Q< & / % " 0 " / " / " / M %< % 0 < p q

 

 

1 "& % 0& " , P " " /

1 * * Q< J 1 " / =1>!) 0 "

0& X, Y ' 0 %' / / % Q< =151P! · · · =1>!

1 !) 1 & %< X ' )

%< Y R ' I % " ) " X = Y =

( ( + &? 0 + + '

P " %' / 0 0 0 /

0 0 F, M ' " " 1 " / " / "% <; &" " Q< 0 " %<;

Ψ1 =

 

 

 

 

R "& " Q< ) 0

 

, L, L, L, 1, 1 !

 

 

L

" /

 

 

 

 

/

 

 

Ψ2 = L, L, L, L, R1 )

R1 R ? / 151P! 151P! !

Ψ2 = L, L, L, R2 )

/ R2 = 1 1 ! !

Ψ2 = L, L, L, R3 )

/ R3

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

(

,

)

 

 

(X,F,M )

 

(Y,F,M )

(X)

_

 

(X,Y)

 

(X,Y)

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( ,

,

)

 

(

, F, M)

 

(

, F, M)

 

(

)

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

(

,

,

)

(

)

 

 

(

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

(

,

,

)

 

(

,

,

)

 

 

 

 

 

I "

 

 

 

 

 

 

M ' " " <* ) % 0& 0P " " <* )

" " %<; I " " ' " Q< 0 )

0 R1 $ ,-% ! . "

A . <A#