Teaching Knowledge Representation - Formal Reasoning Group

12 downloads 65613 Views 154KB Size Report
ity at AI research and development laboratories, and many of its ... with precision, and to design software sys- .... tutorial software that accompanies this textbook.
                   ! "#$# %&'()* +,(,&-./ 0,*',12 3&4 !566 +57,- +)&8 9&4'/)-*,: ;< =2>1? 6,)-&@4&'()*#5AB #.)B VWXYZ[\Y "/5( ])(5'5)* ]&],- 4&( ]-,]&-,8 P)- & ]&*,6 ') A, /,68 &' ^+?222# "/, &_'/)-( /)], '/&' 5' 4566 /,6] ') ('5B_6&', 85(._((5)*: ]6&**5*Q: &*8 .))],-&'5)* .)*.,-*5*Q ',&./5*Q 5((_,( 5* '/, ^+ .)BB_*5'N# ` abcdefg hcaeb Vbf i ecajVcaeb ^*)46,8Q, +,]-,(,*'&'5)* /&( ]6&N,8 & .-_.5&6 -)6, 5* '/, 8,7,6)]B,*' )P L-'5k.5&6 *',665Q,*.,: &*8 -,l B&5*( )*, )P '/, ('-)*Q,(' (_Ak,68( )P L# m-)B '/, ,&-65,(' 8&N( )P L: 6,&85*Q -,(,&-./,-( (_./ &( n!.l 0&-'/N =T>To: n!.0&-'/N p 9&N,( =TqTo: &*8 n!5*l (rN =TqTo /&7, &-Q_,8 '/&' 5* )-8,- P)- & ]-)Q-&B ') &.' 5*',665Q,*'6N: 5' B_(' /&7, ()]/5('5.&',8 B,'/)8( )P -,]-,(,*'5*Q &*8 -,&()*5*Q 45'/ r*)46,8Q,# "/, .)*'-5A_'5)*( )P ^+ -,(,&-./s ,#Q#: '/, _(, )P P)-B&6 6)Q5. P)- -,]-,(,*'5*Q r*)46,8Q,: &_')B&',8 '/,)-,B ]-)75*Q ',./*5t_,(: 6)Q5. ]-)Q-&BB5*Q: (,B&*'5. *,'l 4)-r(: &*8 5*/,-5'&*., ',./*5t_,(s /&7, A,,* &' '/, P)-,P-)*' )P '/, L 5*',66,.'_&6 (.,*,# %/&',7,- )*, B&N (&N &A)_' '/, 7&6_, )P /_B&*l6,7,6 L &( & -,l (,&-./ Q)&6:u ^+ .)*'5*_,( ') A, & .-_.5&6 ()_-., )P 58,&( P)- L ',./*)6)QN# ' /&( 5*v_,*.,8 '/, &.'57l 5'N &' L -,(,&-./ &*8 8,7,6)]B,*' 6&A)-&')-5,(: &*8 B&*N )P 5'( 58,&( /&7, (]-,&8 ') '/, Q,*,-&6 .)B]_',(.5,*., .)BB_*5'N# LB)*Q '/, A,(' r*)4* ,w&B]6,( )P '/5( ]/,*)B,*)* &-, )Ax,.'l)-5,*',8 ]-)Q-&BB5*Q 6&*Q_&Q,( n(_./ &( 0yy &*8 $&7&o: ') 4/5./ 5*/,-l 5'&*., ',./*5t_,( &-, .,*'-&6: &*8 ]-)Q-&B (],.5k.&l '5)* 6&*Q_&Q,( 4/5./ &-, B)8,66,8 &P',- z-)6)Q# {,(]5', '/, .,*'-&65'N )P ^+ ') L &*8 0)B]_',- 3.5l ,*.,: 5' -,B&5*( ()B,4/&' B&-Q5*&65|,8 5* '/, 03 &*8 }~ €‚ƒ„„…† ‡ˆˆ‰Š‹

CDEFGH I J KFG L M&A)-&')-N O*57,-(5'N )P !5./5Q&* L** L-A)-: ! RS=2TU??=2 -5./@'/)B&()*#)-Q L ._--5._6_B # ^+ 5( -&-,6N -,t_5-,8 5* '/, 03 ._-l -5._6_B Œ 5*8,,8: A)'/ Q-&8_&', &*8 _*8,-Q-&8_&', L ('_8,*'( .&* &*8 )P',* 8) .)B]6,', '/,5- ('_85,( 45'/l )_' '&r5*Q & .)_-(, 5* ^+# !&*N _*57,-(5'5,( 8)*' ,7,* )Ž,- & .)_-(, 5* ^+: &6'/)_Q/ 8,]&-'B,*'( 4/5./ )Ž,- & '4)l(,B,(',- .)_-(, 5* L )P',* ',&./ & Q))8 8,&6 )P ^+ 5* '/, (,.)*8 (,B,(',-# "/,-, &-, P,4 ',w'A))r( 5* ^+: &6'/)_Q/ '/,-, &-, ^+l-,6&',8 ',w'( 65r, n{&75( =TT2o &*8 n3)4& =TTTo '/&' .)*.,*'-&', )* (],.5k. &]]-)&./,( &*8 (_A')]5.(# ^+( 6&.r )P 75(5A565'N 5* '/, ._--5._6_B 5( A&8 P)- 03 &*8 L ('_8,*'(: A&8 P)- 03 8,]&-'B,*'(: &*8 A&8 P)'/, P_'_-, )P ^+ 5'(,6P# L Q))8 ^+ .)_-(, .&* A, &* 5*',66,.'_&6 ,N,l)],*,-# ' )Ž,-( ('_8,*'( &* ,w.,66,*'s)P',*: & _*5t_,s )]])-'_*5'N ') (,, /)4 58,&( P-)B .)B]_',- (.5,*., 5*l ',-&.' 45'/ (N(',B 8,7,6)]B,*'# "N]5.&6 03 ('_8,*'( .)B, ') '/,5- k-(' L .)_-(, 45'/ Q))8 ]-)Q-&BB5*Q (r566( &*8 & P&5- &B)_*' )P ,w],-5,*., 5* (B&66l(.&6, ]-)x,.'(# _' 45'/)_' ^+: '/,N &-, _*65r,6N ') _*8,-l ('&*8 '/, 5B])-'&*., )P &*&6N|5*Q '/, -,&()*5*Q '&(r &' /&*8: )P (,]&-&'5*Q )_' 8,.6&-&'57, ,6,B,*'(: )- )P B)8_6&-5|5*Q (N(',B 8,(5Q*# ^+ *)' )*6N (,-7,( &( &* 5B])-'&*' (_Ax,.' 5* 5'( )4* -5Q/': 5*'-)8_.5*Q '/, -,(,&-./ ')]5.( .)7,-,8 5* ^+: A_' )P',* ]-)758,( '/, '-&*(5'5)* P-)B & *&57, ') & B)-, ()]/5('5.&',8 _*8,-l ('&*85*Q )P (N(',B 8,(5Q*# ^+ &]]65.&'5)*( &A)_*8 45'/ 566_('-&'5)*( )P '/5( ])5*'# * 8,7,6)]5*Q &* ,w],-' (N(',B : 5' 5( 5B])-l '&*' ') (,]&-&', )_' '/, ^+ 5((_,( P-)B ()P'4&-, ,*Q5l *,,-5*Q 5((_,(# %/,* 8,(5Q*5*Q ,8_.&'5)*&6 ()P'4&-,: 5' 5( .-_.5&6 ') .)--,.'6N B)8,6 '/, _*8,-6N5*Q 8)B&5* r*)46,8Q, () '/&' )*, .&* .)*('-_.' .)/,-,*' &*8 _(,l P_6 ,w]6&*&'5)*( P)- '/, _(,-(# * 8,7,6)]5*Q & 6&-Q,l (.&6, r*)46,8Q, A&(,: )*, B_(' '&.r6, /,&8l)* 5((_,( )P )*')6)QN 8,7,6)]B,*' ') ,*(_-, ]-)],- )-Q&*5|&'5)* P)- ,.5,*' _]8&'5*Q: -,'-5,7&6: &*8 5*P,-,*.,# ^+ ]-)758,( & 4&N )P 5*',Q-&'5*Q P)-B&6 -,]-,(,*'&l

'5)* 6&*Q_&Q,( &*8 58,&( P-)B '/,)-,'5.&6 03 45'/ ./&6l 6,*Q5*Q &]]65.&'5)*(# "/5( ])5*' /&( A,,* ('-,((,8 AN n3&*8,4&66 ?222o: 4/) &-Q_,( '/&' '/, -)6, )P P)-B&6 -,]-,(,*'&'5)* 5* L &*8 03 5( &r5* ') '/, -)6, )P .&6._6_( 5* ,*Q5*,,-5*Q: '/&' 5(: &( & .)*.,]'_&6 &*8 *)'&'5)*&6 '))6 '/&' &6l 6)4( )*, ') B)8,6 ]/,*)B,*& 5* '/, 4)-68 45'/ ]-,.5(5)*: &*8 ') 8,(5Q* ()P'4&-, (N(l ',B( A&(,8 )* '/)(, B)8,6(# L]]65.&'5)*( &*8 ]-)Q-&BB5*Q (N(',B( ./&*Q, &' & -,6&'57,6N -&]58 -&',: &*8 &-, )P',* A,(' 6,&-*,8 5* '/, 4)-r]6&.,# &(5. (.5,*'5k. ]-5*.5]6,(: )* '/, )'/,/&*8: /&7, & 6)*Q,- /)-5|)*: &*8 5P '/,N &-, *)' 6,&-*,8 5* &* &.&8,B5. (,''5*Q &-, _*65r,6N ') A, &.t_5-,8 5* '/, 4)-r]6&.,# 0)B]_',&( & k,68 ]-,(_]l ])(,( '/&' '/,-, &-, (_./ A&(5. ]-5*.5]6,(: &*8 '/&' '/,N &-, .-_.5&66N 5B])-'&*' P)- .)B]_'5*Q ',./*)6)QN# L( )*, )P '/, A,(' 4&N( )P 566_('-&'5*Q '/, 5B])-'&*., )P (.5,*'5k. 58,&( 5* ()P'4&-, 8,7,6)]B,*': ^+ 5( 5Bl ])-'&*' P)- & A&6&*.,8 &*8 (_..,((P_6 03 ._--5._6_B # L*N)*, &'',*85*Q & ^+ B,,'5*Q )- -,&85*Q & ^+ z-)l .,,85*Q( 8),(*' *,,8 ') A, .)*75*.,8 )P '/,(, '/5*Q(# _' 5' B&N A, 5B])-'&*' P)- '/, ^+ .)BB_*5'N ') /)*, '/,(, &-Q_B,*'( &*8 ]-&.'5., '/,B )* .)66,&Q_,(: 5* &* ,Ž)-' ') (,._-, & B)-, P&7)-&A6, ,*75-)*B,*' P)',&./5*Q ^+ 5* _*57,-(5'5,(# %, *,,8 A,'',- ]_A65.5'N P)- '/, 5B])-'&*., )P ^+ 5* '/, ._--5._6_B : &( 4,66 &( A,'',- ()6_'5)*( ') '/, ./&66,*Q,( )P ',&./5*Q ^+# * '/, *,w' (,.'5)*(: 4, k-(' ,w&B5*, ()B, )P '/, B&l x)- ./&66,*Q,( P)- ^+ ',&./,-(: &*8 ]-)])(, ()B, ()6_l '5)*(Œ '/,* 4, 85(._(( 5((_,( )P .)*',*' &*8 -,()_-.,(#   

h V b e c Vh ab d ",&./5*Q ^+ .&* A, &* 5*.-,85A6N _]65P'5*Q ,w],-5,*.,# "/,-, 5( Q-,&' (&'5(P&.'5)* 5* 5*'-)8_.5*Q ('_8,*'( ') & P_*8&B,*'&66N 85Ž,-,*' 4&N )P '/5*r5*Q &A)_' 4/&' '/,N 8)s &*8 ^+: 45'/ 5'( ,B]/&(5( )* P)-B&6 B,'/l )8( )P -,]-,(,*'&'5)*: 8),( x_(' '/&'# L' '/, (&B, '5B,: &*N)*, 4/) /&( '&_Q/' ^+ )* & -,Q_6&- A&(5( ]-)A&A6N /&( ,w],-5,*.,8 ()B, ]-)A6,B( 5* '/, ]-)l .,((# "/,-, &-, B&*N ])',*'5&6 85._'5,( P&.5*Q ^+ ',&./,-(# ,6)4: 4, (5*Q6, )_' P)_- B&x)- ./&66,*Q,(# %, '/,* 85(._(( '/, -,6&'5)* A,'4,,* ',&./5*Q ^+ &*8 '-&5*5*Q _(,-( 5* '/, .)BB,-.5&6 4)-68 ') _(, ^+l A&(,8 &]]65.&'5)*(# "/, .)**,.'5)* A,'4,,* '/,(, '4) &.'575'5,( (_QQ,('( '/&' 8,7,6)]5*Q 5B]-)7,8 B,'/)8( P)- ',&./5*Q ^+ .&* &6() P&.565'&', '/, 85((,B5*&'5)* )P ^+ 45'/5* '/, .)BB,-.5&6 &-,*&# 

















J  K K C C K ,.&_(, '/, .,*'-&6 58,& )P ^+ 5( '/, -,]-,(,*'&'5)* )P r*)46,8Q, 5* P)-B&6 6&*Q_&Q,(: ('_8,*'( *,,8 & Q))8 Q-&(] )P 6)Q5. ') (_..,,8 5* '/, ('_8N )P ^+# 3],.5kl .&66N: ('_8,*'( *,,8 ') r*)4 k-('l)-8,- 6)Q5.: '/, B)(' 5B])-'&*' Q,*,-&6l]_-])(, -,]-,(,*'&'5)* &*8 -,&()*l 5*Q (N(',B # "/,N &6() *,,8 ') r*)4 A&(5. B,'&'/,l )-,'5. ',./*5t_,(: 5*.6_85*Q B)8,6 '/,)-N &*8 ]-))P '/,)-N: ]-,P,-&A6N '/-)_Q/ & ]-))P )P '/, ()_*8*,(( &*8 .)B]6,',*,(( )P k-('l)-8,- 6)Q5.# !)-,)7,-: '/,N (/)_68 A, .)B],',*' 5* '-&*(6&'5*Q &' 6,&(' (5B]6, *&'l _-&6 6&*Q_&Q, (,*',*.,( ') k-('l)-8,- 6)Q5. &*8 (/)_68 /&7, ()B, _*8,-('&*85*Q )P '/, 85._6'5,( '/&' '-&*(l 6&'5)* P-)B *&'_-&6 6&*Q_&Q, ') 6)Q5. .&* ]-,(,*'# 8,l &66N: '/,N (/)_68 /&7, ()B, P&B565&-5'N 45'/ )'/,- 6)Ql 5.(: (_./ &( B)8&6: ',B])-&6: &*8 8N*&B5. 6)Q5.(Œ .,-l '&5*6N k-('l)-8,- 6)Q5. 5( '/, A&-,(' -,t_5-,B,*'# O*P)-'_*&',6N: 5* )_- ,w],-5,*.,: B&*N ('_8,*'( .)B, 5* 45'/ & (B&'',-5*Q )P 6)Q5.: ]5.r,8 _]: ()B,'5B,( -,6_.'&*'6N: 5* & -,t_5-,8 5*'-)8_.')-N 6)Q5. .)_-(, ()B,4/,-, &6)*Q '/, 4&N# M)Q5. 5( (,68)B '&_Q/' &( & (,]&-&', _*5' 5* '/, 0)B]_',- 3.5,*., ._--5._l 6_B : &*8 .)*',*' &*8 ('&*8&-8( )P 6)Q5. 5*('-_.'5)* 85Ž,- 458,6N )_'(58, )P .)B]_',- (.5,*.,# !&*N 5*'-)l 8_.')-N .)_-(,( .)*.,*'-&', B)('6N )* ]-)])(5'5)*&6 6)Q5.: &*8 Q57, ('_8,*'( )*6N & '&(', )P k-('l)-8,- 6)Q5.# !&*N .)_-(,( &-, 4,&r )* B,'&'/,)-N# 3'_8,*'( -&-,6N 6,&-* /)4 ') '-&*(6&', A,'4,,* *&'_-&6 6&*Q_&Q, &*8 & P)-B&6 6&*Q_&Q, 65r, k-('l)-8,- 6)Q5.# !,,'5*Q '/, 0/&66,*Q, "/,-, 5( *) (5B]6, ._-,# ' 5( .6,&- '/&' 5* '/, 6)*Q ',-B 4, )_Q/' ') &Q5'&', P)- B)-, '-&5*5*Q 5* 6)Q5.: &*8 P)- '/5( '-&5*5*Q ') ).._- ,&-6N )* 5* & ('_8,*'( .&-,,-# 95Q/ (./))6: )- ,7,* x_*5)- /5Q/ (./))6: 5( *)' ')) ,&-6N ') 5*'-)8_., ('_8,*'( ') A)'/ ]-)])(5'5)*&6 &*8 ]-,85.&', 6)Q5.# M)Q5. (/)_68 A, ,B]/&(5|,8 5* .)66,Q, &( &* 5B])-'&*' ]&-' )P '/, .)-, ._--5._6_B : &*8 .,-'&5*6N (/)_68 A, -,t_5-,8 ,&-6N )* P)- &*N ('_l 8,*' B&x)-5*Q 5* .)B]_',- (.5,*.,# %, 8)*' 5B&Q5*, '/&' 4&Q5*Q '/5( ()-' )P .&B]&5Q* 4566 A, ,&(N# _' 4, (/)_68 _(, '/, ],-(_&(57, &-Q_l B,*'( '/&' /&7, A,,* B&8, AN: &B)*Q )'/,-(: +)A,-' ^)4&6(r5 n^)4&6(r5 =TT2: =TT1o: 4/) /&( (])r,* &*8 4-5'',* &' 6,*Q'/ &A)_' '/, .6)(, .)**,.'5)* A,'4,,* 4-5'5*Q .6,&-6N &*8 A,5*Q &A6, ') '-&*(6&', *&'_-&6 6&*Q_&Q, 5*') k-('l)-8,- 6)Q5.# ^)4&6(r5 &-Q_,( '/&' 4-5'5*Q &*8 -,4-5'5*Q )*,( '/)_Q/'( 5* (_..,((57,6N .6,&-,- 8-&P'( )P *Q65(/ n)- )*,( *&'57, *&'_-&6 6&*l Q_&Q,o A-5*Q( )*, .6)(,- ') '/, ]-).,(( )P P)-B&65|5*Q '/,(, 58,&( 5* 6)Q5.# !&r5*Q ,w]65.5' &*8 ]_A65.5|5*Q '/, .6)(, .)**,.'5)* A,'4,,* '-&5*5*Q 5* 6)Q5. &*8 '/,



  









 



 

8,7,6)]B,*' )P 4-5'5*Q (r566( B5Q/' /,6] ,6,7&', 6)Q5.( 5B])-'&*., 5* '/, ._--5._6_Bs *)' )*6N 5* '/, 03 ._-l -5._6_B A_' 5* '/, 65A,-&6 &-'( &*8 (.5,*.,( ._--5._6_B # _- B)'') )_Q/' ') A, '/&' '-&5*5*Q 5* 6)Q5. 8,7,6)]( ('-)*Q &*8 v,w5A6, B5*8(Œ 5' (/)_68 A,.)B, & .)-, ]&-' )P '/, '4,*'Nlk-(' .,*'_-N ._--5._6_B # "/5( 5( &* &BA5'5)_( Q)&6: 4/5./ 4566 '&r, '5B, ') 5Bl ]6,B,*'# * '/, (/)-' ',-B : 4, *,,8 t_5.r ()6_'5)*( ') '/, ]-)A6,B( '/&' &-5(, 4/,* ('_8,*'( &-, _*]-,]&-,8# !)(' ^+ ',&./,-( /&7, ]-)A&A6N ,w],-5,*.,8 '/, P&66l )_' nA)'/ 5* ',-B( )P ('_8,*' &''-5'5)* &*8 ('_8,*'( .)B]6&5*'(o P-)B &((5Q*5*Q '/, k-(' /)B,4)-r -,t_5-l 5*Q (_A('&*'5&6 P)-B&65|&'5)* 5* 6)Q5.# ' 5( _(_&66N &' '/5( ])5*' '/&' ('_8,*'( -,&65|, /)4 ]))-6N ]-,]&-,8 '/,N &-,# 9)4 .&* 4, /,6] '/,B  %, /&7, P)_- (_Ql Q,('5)*(#      ' 5( A,(' 5P ('_8,*'( -,&65|, t_5.r6N '/&' '/,N /&7, ') B&r, _] 8,k.5,*.5,(Œ ])((5A6N '/5( .&* A, &..)B]65(/,8 AN B&r5*Q &((5Q*B,*'( &7&56&A6, A,P)-, .6&(( A,Q5*( )- )* '/, k-(' 8&N )P .6&((# ") A-5*Q ('_8,*'( _] ') (],,8: 5*',*(57, B5*5l.)_-(,(: /,68 ,5'/,- A,P)-, & .)_-(, ('&-'( )- .)*._--,*'6N 45'/ '/, .)_-(, &' '/, A,Q5**5*Q )P '/, (,B,(',-: .&* A, 7,-N /,6]P_6# "/5( 5( *) ]&*&.,&Œ B&*N ('_8,*'( *,,8 '/, '5B, P)- 85l ._6' .)*.,]'( &*8 B,'/)8)6)Q5,( ') (5*r 5*: &*8 B&*N 8)*' -,&65|, /)4 B_./ '/,N *,,8 '/5( ,w'-& '-&5*5*Q# * '/, )'/,- /&*8: 5* )_- ,w],-5,*.,: 6)Q5.&66N 85(&87&*'&Q,8 ('_8,*'( .&* ]-)k' P-)B 5*',*(57, 5BB,-(5)* &*8 ]-&.'5.,# 3)B, _*57,-(5'5,(        n0&-*,Q5, !,66)* O*57,-(5'N: P)- )*,o /&7, )Ž,-,8 ,6,B,*'&-N 6)Q5. 5*('-_.'5)* '/-)_Q/ '_')-5*Q ()P'4&-,#  ))8 ',w'A))r( 45'/ '_')-5*Q ]&.r&Q,( /&7, A,,* ]_A65(/,8Œ (,, ,(],.5&66N n &-45(, p './,B,*8N =TTTo# L6'/)_Q/ ()P'l 4&-, ]&.r&Q,( .&* ]-)758, _(,P_6 5*('-_.'5)* 5* '/, &-' )P 6)Q5.: '/,-, 5( &( P&- &( 4, r*)4 *) 5*('-_.'5)*&6 ()P'4&-, '/&' 8,&6( 45'/ '/, B_./ B)-, ./&66,*Q5*Q &-,& )P B,'&'/,)-N#        3)B, _*57,-(5'5,( nP)- ,w&Bl ]6,: '/, 05'N 0)66,Q, )P ;,4 +)*&68 $# -&./B&*: {,A)-&/ M# !.  _5**,((: z,',- m# z&',6l3./*,58,-: &*8 M)-5 L# +,(*5r# -,l 8_.5*Q   ') ]-&.'5., ^*)46,8Q, -,]-,l (,*'&'5)* '/,)-N B,,'( -,&65'N#      : ==Rn=U?o ?21U?1  : =TTT# q +)*&68 -&*./B&* &*8 9,.')- M,7,(t_,: ,85')-(#        

 # !)-Q&* ^&_PB&**: 3&* m-&*.5(.): =TS>#  &)t_5 0_5: ",--&*., 345P': &*8 {&758 3# %&--,*# L .&(, ('_8N 5* _(5*Q ]-,P,-,*., 6)Q5. Q-&BB&-( P)- r*)46,8Q, -,]-,(,*'&'5)*# * !5./&,6  ,6P)*8: ;5.)6& M,)*,: &*8  ,-&68 zP,5P,-: ,85')-(:      



                  : ]&Q,( ?2qU??2: ,-65*: =TTT# 3]-5*Q,-l ,-6&Q# S -*,(' {&75(#            # !)-Q&* ^&_PB&**: 3&* m-&*.5(.): =TT2# T -*,(' {&75(#  _58, ') &w5)B&'5|5*Q 8)B&5*( 5* k-('l)-8,- 6)Q5.#   

            : TT22?: =TTT# /''] 444#,'&5x#)-Q -&. # =2 -*,(' {&75(# ^*)46,8Q, -,]-,(,*'&'5)*# * ;,56 $# 3B,6(,- &*8 z&_6 # &6',(: ,85')-(:                 # 6(,75,-: LB(',-8&B : ?22=# == +)*&68 m&Q5*: $)(,]/ < # 9&6],-*: # 





















 

    

 













 

 



 

 



  















 

 







 



    

















 

 







 

  







 

 

  

 















 







   

 

 

  

 













 







+5./&-8 m5r,( &*8 L8&B m&-t_/&-# M&-Q,l(.&6, -,])(5')-5,( )P /5Q/6N ,w]-,((57, -,_(&A6, r*)46l ,8Q,# O*]_A65(/,8 B&*_(.-5]': ^*)46,8Q, 3N(l ',B( M&A)-&')-N: 3'&*P)-8 O*57,-(5'N: =TT  # =1  ,-&68  &|8&- &*8 0/-5( !,665(/#                       # L885()*l%,(6,N z_Al 65(/5*Q 0)#: +,&85*Q: !&((&./_(,''(: =TST# =R !5./&,6  ,*,(,-,'/ &*8 ;56( $# ;56(()*#             # !)-Q&* ^&_PB&**: 3&* !&',): 0&65P)-*5&: =TS  # => z&'-5.r 9&N,(# ^*)46,8Q, -,]-,(,*'&'5)*# * +)A,-' L# %56()* &*8 m-&*r 0# ^,56: ,85')-(:           

# "/, !" z-,((: 0&BA-58Q,: !&&((&./_(,''(: =TTT# =q %56P-58 9)8Q,(# M)Q5.&6 P,&'_-,( )P 9)-* .6&_(,(# * {)7  &AA&N: 0/-5(')]/,- 9)QQ,-: &*8 $#L# +)A5*()*: ,85')-(:        

             : ]&Q,( RRTU>21# wP)-8 O*57,-(5'N z-,((: wP)-8: =TTR# =  $)/* m# 9)-'N: +5./B)*8 "/)B&()*: &*8 {&758 ")_-,'|rN# L (r,]'5.&6 '/,)-N )P 5*/,-5'&*., 5* *)*B)*)')*5. (,B&*'5. *,'4)-r(#    

 : R? 1==U1RT: =TT2# =S {&*5,6 $_-&P(rN &*8 $# !&-'5*#          # z-,*'5., 9&66: *Q6,4))8 065Ž(: ;,4 $,-(,N: ?222# =T 9,*-N ^&_'| &*8 &-' 3,6B&*# 9&-8 ]-)A6,B( P)- (5B]6, 8,P&_6' 6)Q5.(# * +)*&68 $# -&./l B&*: 9,.')- $# M,7,(t_,: &*8 +&NB)*8 +,5',-: ,85')-(:              

     : ]&Q,( =STU=T  # !)-Q&* ^&_PB&**: 3&* !&',): 0&65P)-*5&: =TST# ?2 9,*-N ^&_'| &*8 &-' 3,6B&*# O*5PN5*Q 3L"l A&(,8 &*8 Q-&]/lA&(,8 ]6&**5*Q# * "/)B&( {,&*: ,85')-:                     : ]&Q,( 1=SU1?>: 3&* m-&*.5(.): =TTT# !)-l Q&* ^&_PB&**# ?= +)A,-' L# ^)4&6(r5# *Q65(/ &( & 6)Q5. ]-)l Q-&BB5*Q 6&*Q_&Q,#         : Sn?o T=UT1: =TT2# ?? +)A,-' L# ^)4&6(r5# L* _*8,-Q-&_&', 8,Q-,, 5* ]-&.'5.&6 -,&()*5*Q#             : 1n1o ??  U??T: =TT1# =?











 









  









 

 

 

 



  



 

    

    

  





  







   

 



















 



 









 



 











 



   







 

 

  

 





 

 







 







3&-5' ^-&_(: {&*5,6 M,/B&**: &*8 !,*&./,B !&Q58)-# ;)*B)*)')*5. -,&()*5*Q: ]-,P,-,*'5&6 B)8,6( &*8 ._B_6&'57, 6)Q5.(#      : =Rn=o =q U?2  : =TT2# ?R 6&85B5- M5P(./5'|# ")4&-8( & B,'&'/,)-N )P &.l '5)*# * $&B,( L66,*: +5./&-8 m5r,(: &*8 -5r 3&*8,4&66: ,85')-(:                   : ]&Q,( 1  qU 1Sq# !)-Q&* ^&_PB&**: 3&* !&',): 0&65P)-*5&: =TT=# ?> $)/* !.0&-'/N# z-)Q-&B( 45'/ .)BB)* (,*(,# *             



  

  : ]&Q,(  >UT=:   M)*8)*: =T>T# 9,- !&x,('N( 3'&'5)*&-N .,# ?q $)/* !.0&-'/N &*8 z&'-5.r $# 9&N,(# 3)B, ]/56)l ()]/5.&6 ]-)A6,B( P-)B '/, ('&*8])5*' )P &-'5k.5&6 5*',665Q,*.,# * # !,6'|,- &*8 {# !5./5,: ,85')-(: : ]&Q,( Rq1U>2?# 85*A_-Q/   O*57,-(5'N z-,((: 85*A_-Q/: =TqT# ?  !&-75* !5*(rN#         # "/, !" z-,((: 0&BA-58Q,: !&((&./_(,''(: =TqT# ?S $)/&**& !))-,#           # "/, !" z-,((: =TT># ?T M,)-& !)-Q,*(',-*# */,-5'&*., .)B,( )P &Q, L]]6N5*Q *)*B)*)')*5. ',./*5t_,( ') ]-)A6,B( 5* 5*8_('-N#     : =21n=U?o ?1 U ?  =: =TTS# 12 ,-*/&-8 ;,A,6# ",-B5*)6)Q5.&6 -,&()*5*Q 5( 5*/,-,*'6N 5*'-&.'&A6,#     : R1n?o ?1>U?RT: =TT2# 1= ;56( $# ;56(()*# N, )* '/, ]-5|,# L7&56&A6, &' 444#-)A)'5.(#('&*P)-8#,8_ *56(()*#: =TT># 1? {&758 z))6,: L6&* !&.r4)-'/: &*8 +&*8N  ),A,6#             # wP)-8 O*57,-(5'N z-,((: ;,4 >n?U1o ?>TU1=2: =TT?# 1q "# 345P': 0# 9,*8,-()*: +# 9)6A,-Q,-: $# !_-l ]/,N: &*8 # ;,/&B # 0.'5( L* ,w],-' '-&*(&.l '5)* ]-).,((5*Q (N(',B # *       

              : ]&Q,( =1=U=R2: =TTR# 1>