Decentralized Monitoring of Agent Communications with a

aims at de fi ning w hat is a " good beha v iour " ( w ith respect to communica- tion) using a norm in deontic logic. .... I n co n s i s t e n t C o mm i tm e n t s . W e de fi ne the ..... x pressed in deontic logic. I t w ould be interesting to integrate some ...
3MB taille 2 téléchargements 583 vues
    !"# $ %%'&  (*)+ ,- ./102&3 4 56 97 8;:=@ê;@Ý;Ý;@U¨:ëÜkN ážìIÚ B|BTSÛiUÜ@ÛiÝB|BTS á¨â¯á UBTA á >@SBèT á U U¨éPB >@æªBTNIU á >@SBè|ÜkN á :ëO;BTSB|OÈ>@8;UÜkNPÜkACÜk8 áµá :=NPè|B4U¨éPB â AÈ> â éL> ªBêB|BTNX:=AXÝ; Ã:ëÜk8;S : á U¨éPBTNR8;N;Ý;SB|O¯:ëèTU>@ê;@SB V8;@ê;@æI>@:=N á UîU¨éPB :=N¯Û U¨S¨8 á :ëÜkN Ü@äAÈ>@@æªBTNVU ážì 9á >íAÈ>@U¨UBTSCÜ@ä#ä~>kèTU U¨éPB >@8;UÜkNPÜkA â Ü@ä9Bž>kèé >@æªBTNIU AÈ> ªB á :=UîÝ Ü áá :=ê;@N >@æªBTNIU UÜ >kO;ÜkÝ;U > á BT< á éÿÜkSÈéL>@S¨A2äº8; Ã:ëÜk8;S ì ÜkSB|Ü ªBTS á 8Pèé >6êL>kOÈê BTéL> V:ëÜk8;S ÅÜk8; ªB9OP>@N;æªBTSÜk8 á B B|èTU á ÜkN U¨éPB éPÜk@@NPOçU¨éPBAÈ>@@æªBTNIUèž>@N êB 







 





















 









 















#

"!

















:=N ªÜk< ªB|Oç:=N >3è|Ük¶U¨é;SBž>@UÅäºÜkS4ÜkÝBTN á¨â¯á UBTA á U¨éL>@U AÈ>@@æªBTNIU á èž>@NRO â NL>@AX:ëèž>@kè V@ê;:=@UB|OMSBTÝ;8;U>@U¨:ëÜkN r>@@SBÈ8 á B|O“UÜíÝ;SÜkUB|èTU >@N >@æªBTNIU>@æI>@:=N á UÅ8;NPO;BTUB|èTUB|O @UB|O ÅÜkS á >@NPO á 8;AXAÈ>@S¨: žB¶:=U á è|ÜkNVU¨S¨:=ê;8;U¨:ëÜkN ážì





























































 



















































(





)+*\Ø-,.½ÔIÕH×mÒÅÖ

Ú 8;SBçÝ B|BTSÛiUÜ@ÛiÝB|BTSCNPBTU ÅÜkS á >@SBçU¨S¨8;< â O;B|è|BTNVU¨S>@@N+BTNVUBTSÏÜkS5I8;:=UR>@UÏ>@N â U¨:=ACB 768 Cì éPBMÜ ªBTS>@@UBÈUÜRU¨éPBCè|Ük@UBC:=N¯äºÜkS¨AÈ>@U¨:ëÜkN UÜçNPB NPÜVO;B á äºÜkS 4>@SO¯:=N;æÏU¨éPB;V8PBTS¨:ëB á >@NPO SBTÝ;@:=NPB|O >@NPOR8;N ÃNPÜ N!UÜCU¨éPBãÜkU¨éPBTS#NPÜÃO;B ážì éPBTSBaä~ÜkSB éPBTN á ÜkACB3NPÜVO;B á O;ÜCNPÜkU#SBaÛ á Ý B|èTU  ªÜk@S¨:=< â ÜkSNPÜkU  U¨éPBS¨8;@UO;B PNPB3>æªÜÃÜÃOîêBTéL> Ã:ëÜkS:=N á 8Pèé 













































á¨âÃá UBTA á ªU¨éPB9Ü ªBTS>@ â ê B#O¯: á U¨8;S¨êB|O ì éPBTSB9: á > á U¨SÜkN;æNPB|B|O äºÜkSU¨S¨8 á U:=N á 8Pèé áâÃá UBTA áoì é;: áçá B|èTU¨:ëÜkNÿ:=NVU¨SÜVO¯8Pè|B á > á è|BTNL>@S¨:ëÜFÜ@ä3ÝB|BTSÛiUÜ@ÛiÝ B|BTS á éL>@S¨:=N;æ Ü@ä¶ACÜ Ã:ëB U¨éPBž>@UBTS á éPÜ U¨:=ACB á é;:ëèé : á 8 á B|OM:=N“U¨éPBXNPB ¯U á B|èTU¨:ëÜkN á UÜRO;B á èTS¨:=êB á ÜkACB B ;>@AXÝ;@S¨UÜ@ä;U¨é;: á½á B|èTU¨:ëÜkN3Ý;SB á BTNIU á >µäºÜkS¨AÈ>@@U¨:ëÜkNåê BTU ÅB|BTNå>@æªBTNVU ážì 



"













  1 /





Pé B á è|BTNL>@S¨:ëÜMè|ÜkN á : á U á :=N >íærNI8;UBT@Ý;UÜkÝ á Ú 9á 1è|BT@ê Ük8;UµU¨éPB á éPÜ U¨:=ACB á Ü@äHU¨éPBž>@UBTS ážì U¨éPBTSÅNPÜÃO;B á AÈ> â 8 á BU¨é;: á4ÚmßkÚ NPBTU ÅÜkS UÜ á Ük< ªBXSB V8PB á U á :=N ÜkSO;BTSUÜ VNPÜ éPBTNõ>çær: ªBTNFACÜ Ã:ëBC: á3á éPÜ N >@NPO“:=N é;:ëèéÏU¨éPBž>@UBTS ì  :=ær8;SB  :=@S¨:ëÜ ì 







































Query

Which cinema shows "Shrek" on Saturday evening?

Agent 2

Answer

Agent 1

Méliès at 7pm

Qry Qry Qry

Agent 3

Answer

Agent 4

Show Times

Royal at 8.30pm Méliès at 7pm

Royal 9.50pm Nemo Royal 10.30pm Taxi Méliès 7.00pm Shrek

Answer

Answer

Méliès at 7pm

Royal at 8.30pm

Agent 6

Qry

Agent 5

Qry

Show Times

Show Times

Méliès 7.00pm Shrek Méliès 9.30am Shrek ...

Royal Royal Royal Royal

9.35pm 8.30pm 8.30pm 8.30am ...

Bambi Shrek Nemo Shrek

´ @´ † j@bvg¼_si¿gi_µy~¾kfsib1gi¾wb¨fgibtsy~¾w_¨¼ÏgihcƒbyÁ é;: á Pær8;SB á éPÜ á >ÏNPBTU ÅÜkS õè|ÜkAXÝÜ á B|O Ü@ä á : “AÈ>kèé;:=NPB ážì æªBTNIU á+  >@NPO &X>@SBS¨8;N;N;:=N;æXÜkN ACÜkê;:=@NPOç>@æªBTNIU áß ã>@NPO"!>@SBS¨8;N;N;:=N;æXÜkN O;B á VUÜkݓè|ÜkAXÝ;8;UBTS áoì æªBTNVU á   >@NPO#! éL> ªB2:=N¯äºÜkS¨AÈ>@U¨:ëÜkNõ>@ê Ük8;U6U¨éPB á éPÜ U¨:=ACB á Ü@ä4U¨éPBXU¨éPBž>@UBTS á  %$ 3SBTÝ;SB á BTNVU¨:=N;æ éL>@UµU¨éP( AX:=U¨UB|O UÜ ì /) %*  3+'    : á U¨éPB:=NIUBTS r>@@@SB ªB!ÝÜ áá :=ê;@UBMÜ@äU¨éPBåè|ÜkAXAX:=U¨ACBTNVU ì k>@@UB 9 S 42$/71 # ì - /.%$.0 21!3$4& &5#6&7/52$ 77/ 8! 1 .3! 7/îÜk9 è|ÜkAXAX:=U¨ACBTNVUÅèž>@NCèéL>@N;æªB8;NPO;BTSU¨éPB>kèTU¨:ëÜkNÈÜ@ä U¨:=ACB¶ÞºB ì æ ì k:ä :=U á :=NIUBTS r>@< Ü@ä r>@ â Ü@äeè|ÜkAXA38;N;:ëèž>@U¨: ªBC>kèTU á ÞºB ì æ ì >ÈèTSB|O¯:=UÜkS èž>@N SBaäº8 á B!> è|ÜkAXAX:=U¨ACBTNVU à ÜkS NPÜkN¯ÛÀè|ÜkAXA38;N;:ëèž>@U¨: ªB >kèTU á ÞU¨éPB!O;BTê;UÜkS èž>@N Ý BTSä~ÜkS¨A >@N >kèTU¨:ëÜkNç:=U4: á è|ÜkAXAX:=U¨UB|OçUÜ Ã:=N ÜkSO;BTSUÜ3ä8;< P á Ý B|B|èé >kèTUµ:=AXÝ;@U¨:ëÜkN Ü@ä>3è|ÜkA2Û AX:=U¨ACBTNIU é;:ëèéÏ: á :=NÏU¨éPB - /.%$.0 á U>@UB68;NIU¨:=@kèéPB|O ì èTU¨:ëÜkN á Þºè|ÜkAXAã8;N;:ëèž>@U¨: ªBXÜkSNPÜkU à èž>@NåBT:=U¨éPBTS9kORUÜÈU¨éP:B 567/52$ 77;%/. ;U¨éPB 42$ 71/2$ /.îÜkSU¨éP< B !/1 .3! 771/2$ /.îÜ@äe>2è|ÜkAXAX:=U¨ACBTNIU ì G A   >@NPCO BDGa[\EZ MBTUúk û   & éL> ªB9:=NIU¨SÜÃO¯8Pè|B|OçU¨éPB9è|ÜkNPè|BTÝ;U4Ü@ä = ?>(@  FµÜkAXAX:=U¨ACBTNIU UÜkSB ážì FµÜkAXAX:=U¨ACBTNVU UÜkSB2: á > á BTUÜ@äÅè|ÜkAXAX:=U¨ACBTNVU áž ì B NPÜkUHB GHIKLJ M ÅU¨éPBè|ÜkAXAX:=U¨ACBTNIU á UÜkSB6Ü@ä1>@NR>@æªBTNI(U NRUÜX>@NÏ>@æªBTNI9U Oç>@UµU¨:=ACB M ì GHI J Åè|ÜkNIU>@:=N á è|ÜkAXAX:=U¨ACBTNVU á U> ªBTN êBaäºÜkSB9ÜkS>@UµU¨:=ACB M éPBTSB¶>@æªBTNVP U N :á U¨éPB¶L O; BTM ê;UÜkS#>@NPOÏ>@æªBTNV9U OîU¨éPB3èTSB|O¯:=UÜkS ì NXU¨éPBB ;>@AXÝ;@æªB á BTNVUeê â æªBTNIU !6UÜ æªBTNVU & ê;S¨:=N;æ á >@êÜk8;UU¨éPB¶èTSBž>@U¨:ëÜkNíÜ@äe>2è|ÜkAXAX:=U¨ACBTNIU :=U¨éRU¨éPB r>@@æªBTNIU ! U    : á U¨éPB3>@æªBTNIU & U   '    >@U ì  Û rß Û /ß / & 6¯Vì / >@A U "





























































































#



1  1“: á Ý; â¯á  é;SB8 >@U ì  Û rß Û ß// & ÃìV/ Ý;A  U 3 '    : á7 >@U ì  Û rß Û ß// & ¯6 ìV/ >@A  >@U ì  Û rß Û ß// & ÃìV/ Ý;A U ) /%*  + , :/   : á 1!2$4& ì  

#Ù ;Ó LØÃÓªÙiÕHÒ



éPB á è|BTNL>@S¨:ëÜ Ý;SB á BTNVUB|O“:=NMU¨éPB2Ý;SB Ã:ëÜk8 á¶á B|èTU¨:ëÜkN BTAXÝ;éL> á : žB á U¨éL>@Uã> ær@< SB á 8; á äºBTUèé;:=N;æ U¨éPBž>@UBTS á éPÜ U¨:=ACB á{à : á >kèé;:ëB ªB|O ê â >!è|Ük@@æªBTNVU ážì éI8 á 1>@æªBTNIU á U¨éL>@U2O;ÜRNPÜkUê BTéL> ªB > á B ÃÝB|èTUB|O èž>@NCÝ;SB ªBTNIUeU¨éPB á 8Pè|è|B áá Ü@äU¨éPBè|ÜkNPÜkS¨A'UÜXO;BTUB|èTUè|ÜkNIU¨S>kO¯:ëèTUÜkS âRá :=U¨8L>@U¨:ëÜkN á é;:ëèéRAX:=æréIUéL> ªB6êB|BTNRèTSBž>@UB|O ê â !è|Ü@ÛÀÜVè|èT8;S¨SBTNPè|BRÜ@ä > Ã:ëÜk@U¨:ëÜkNÇ>@NPO*>FO;B|è|BTÝ;U¨:ëÜkN ì :=NPè|B ÅBMè|ÜkN á :ëO;BTSçU¨éL>@U U¨éPB!O;B|è|BTÝ;U¨:ëÜkN ê â :=U á BTX@S¨U â U¨éPBãè|ÜkNPO¯:=U¨:ëÜkN á ä~ÜkS#>2äºS>@8PO >kè|è|ÜkSO¯:=N;æ UÜ   \>@SBãACBTU ì  B3ä~ÜVèT8 á éPBTSBÜkN!è|ÜkAXAã8;N;:ëèž>@U¨: ªBÈ>kèTU¨:ëÜkN á >@NPO ÜkN äS>@8PO O;BTUB|èTU¨:ëÜkN :=U¨é;:=Ní>@æªBTNIU9è|ÜkAXA38;N;:ëèž>@U¨:ëÜkN ážì Ü á UÜ@äµU¨éPB ÅÜkS á 8 á :=N;æçU¨S¨8 á U6:=N!A38;@æªBTNVU á¨â¯á UBTA ;á     >@SBX>@Ý¯Û Ý;@Ý;Ý;@U¨:ëÜkN á éPBTSB è|ÜkNVU¨S>kèTU á >@SBçÜ@äUBTN B á U>@ê;kèTU á >@SB3:=AXÝ;@8POíO;BTUB|èTU¨:ëÜkN!è|ÜkN á : á U á :=NÏU¨éPB3ACÜkN¯Û :=UÜkS¨:=N;æRÜ@äÅU¨éPB2è|ÜkNIU¨S>kèTU3B ;B|èT8;U¨:ëÜkN ì NíU¨éPBXèž> á B2Ü@äÅè|ÜkAXAã8;N;:ëèž>@U¨:ëÜkN êBTU µB|BTN >@æªBTNIU á ;U¨éPBTSB: á NPÜXè|ÜkNIU¨S>kèTUB á U>@ê;@U >@SBCU¨éPBÈ>kè|è|BTÝ;UB|O ê BTéL> V:ëÜk8;S á :=U¨é SB á ÝB|èTU¶UÜíè|ÜkAXA38;N;:ëèž>@U¨:ëÜkNõê â U¨éPB 4> â Ü@ä4> NPÜkS¨A ì éPBCO;BTUB|èTU¨:ëÜkN“Ý;SÜÃè|B áá : á Ý;SB á BTNVUB|OM:=NMU¨éPB á B|è|ÜkNPO!ÝL>@S¨U¶Ü@ä4U¨é;: á á B|èTU¨:ëÜkN ì 

























 

































!























#













     1  /  )      / ) 

, C



,

Pé BçæªÜVÜÃO >@NPOõêL>kO è|ÜkAXA38;N;:ëèž>@U¨: ªBíêBTéL> Ã:ëÜk8;S á Ü@ä6>@æªBTNVU á èž>@N êB O;B PNPB|O >kè|è|ÜkSO¯:=N;æMUÜ á U>@UB á Ü@äU¨éPBT:=SXè|ÜkAXAX:=U¨ACBTNVU á UÜkSB ážì  B PS á UNPB|B|O UÜ!O;B PNPB éL>@U¶: á :=NPè|ÜkN á : á UBTNPè â ê BTU ÅB|BTNFè|ÜkAXAX:=U¨ACBTNIU á :=N“ÜkSO;BTS6UÜ O;B PNPB éL>@U3>@SB U¨éPB3>@8;U¨éPÜkS¨: žB|Oí>@NPOçÝ;SÜké;:=ê;:=UB|O á U>@UB á ä~ÜkSU¨éPB6è|ÜkAXAX:=U¨ACBTNIU á UÜkSB ážì AC 1 BT NI4U 1á , > á ,  äºÜk @U¨:ëÜkN“Ü@ämU¨éPB NPÜkS¨A á U>@S¨U á >Ý;SÜÃè|B áá U¨éL>@UmkO á UÜ á 8Pèéî>@NX8;Ý OP>@UBÜkSeU܁U¨éPBB Ã:ëO;BTNPè|BU¨éL>@U > á Ý BTSä~ÜkS¨ACB|O ì 













"



 































































"







































      41   

,,

éPB á :=AXÝ; â UÜ á U>@S¨U>µ@U>@Nã>@æªBTNVU NãÜkê á BTS ªB á ká Ü ACBeACB áá >@æªB á U¨éL>@U V:ëÜk@UBÅU¨éPBÅNPÜkS¨A ì N¶U¨éPB á :=U¨8L>@U¨:ëÜkN á Ü@äLè|ÜkNIU¨S>kO¯:ëèTU¨:ëÜkN ª>@N >@æªBTNIU O¶: á1á 8 á ÝB|èTUB|OãÜ@ä < â :=N;æ6>@NPOU¨éPBµ>@æªBTNVUU¨éL>@U1Ükê á BTS ªB|OãU¨éPBµè|ÜkNIU¨S>kO¯:ëèTU¨:ëÜkN B ¯B|èT8;UB á U¨éPB9äºÜk2@æªBTNIU N á BTNPO á >¶ACB áá >@æªBUÜã>@æªBTNIU OCè|ÜkNIU>@:=N;:=N;æXè|ÜkÝ;:ëB á Ü@ä\U¨éPB#è|ÜkNVU¨S>kO¯:ëèaÛ UÜkS â ACB áá >@æªB á UÜ á U>@UB¶U¨éL>@9U N á 8 á Ý B|èTU á OçÜ@ä< â :=N;æ U 













ß¯ì : ä:=U3èž>@N O;Ü á Ü \U¨éPBÈ>@æªBTNVU:O á BTNPO á UÜÏ>@æªBTNIU Nõ> ACB áá >@æªBXU¨éL>@Uèž>@NPè|BT< á U¨éPB¶è|ÜkNIU¨S>kO¯:ëèTU¨:ëÜkN U  ì :äU¨éPB6è|ÜkNVU¨S>kO¯:ëèTU¨:ëÜkN á U¨:= á >@S>@NPO èž>@NR8;ÝOP>@UB6:=U á U¨S¨8 á UACÜÃO;BT@U¨:ëÜkNõÞ á B|B B|è ì & ìcߪàaì Um: á >@< á Ü6ÝÜ áá :=ê;@U4>@Nî>@æªBTNIU N SBaä8 á B á >6è|ÜkAXAX:=U¨ACBTNIUµä~ÜkS é;:ëèéî:=Ue: á èTSB|O¯:=UÜkS :=U¨éPÜk8;U ÃNPÜ :=N;æ2:ä½:=Uµ: á >¶@AXÝ;@æªBTNIU  : á :=N > á :=U¨8L>@U¨:ëÜkN Ü@ä1è|ÜkNIU¨S>kO¯:ëèTU¨:ëÜkNR:=NçSB|è|BT: Ã:=N;æX>@NPO éL> á UÜ2èž>@NPè|BT@U á UÜkNPB¶Ü@ä1U¨éPB¶U ÅÜÈè|ÜkAXAX:=U¨ACBTNVU á :=NRÜkSO;BTSUÜXSB á ÝB|èTUU¨éPB6NPÜkS¨A ì # 8;U:=U: á Ý Ü áá :=ê;@U9NPÜkNPBãÜ@äÅU¨éPB3U ÅÜçè|ÜkAXAX:=U¨ACBTNIU á : á >È@NPO ÈAÈ> â éL> ªBRO¯: \BTSBTNIUCêBT@UCU¨S¨:ëB á UÜMO;BTUBTS¨AX:=NPB é;:ëèéÿACB áá >@æªB UÜîSB ¨B|èTU á U>@S¨U :á 9 U¨éPBACB áá >@æªB á :=N ªÜk< ªB|OM:=N!U¨éPB2:=NPè|ÜkN á : á UBTNPè â >@SB á BTNIUUÜR> á BTUXÜ@ä>@æªBTNIU á Iì é;: áCá BTU á éPÜk8;@UX á U 1è|ÜkNIU>@:=N U¨éPB á BTNPO;BTS á Ü@äU¨éPB :=NPè|ÜkN á : á UBTNIUãACB áá >@æªB ážì éPBCèéPÜk:ëè|BÈUÜÏ>kO;O“ÜkU¨éPBTS>@æªBTNVU á :=N“U¨é;: áãá BTU6: á äºSB|B ê;8;U: á @:=Nå>@æªBTNVU á ä~ÜkS é;:ëèé!>@æªBTNIU NíéL> ªBã>@NÏé;:=æréÏSBTÝ;8;U>@U¨:ëÜkN k>@kèéí>@æªBTNVU >kèTU á :=NRÜkNPB3Ü@äU¨éPBä~Ük@S¨ær8PB á ä~ÜkSÜkS#>@æI>@:=N á UU¨éPB3è|ÜkNIUBTNIU9Ü@ä>2è|ÜkAXAX:=U¨ACBTNVU U ߯ì :=UÅær: ªB á :=N¯ä~ÜkS¨AÈ>@U¨:ëÜkN >@êÜk8;Uµ>@NPÜkU¨éPBTS4ACB áá >@æªBU¨éL>@Uµ: á >@UµU¨éPBÜkS¨:=ær:=NçÜ@ä½U¨éPB ACB áá >@æªB6U¨éL>@U#èTSBž>@UB|ORÜkNPB¶Ü@ä1U¨éPB:=NPè|ÜkN á : á UBTNIU9è|ÜkAXAX:=U¨ACBTNIU á U  ì UU¨S>@N á AX:=U á U¨éPB6SB V8PB á UUÜXÜkU¨éPBTS9>@æªBTNVU á U & ì U:=ærNPÜkSB á U¨éPB6SB V8PB á U>@NPORO;ÜÃB á NPÜkUSBTÝ;< âªì ä>@æªBTNVU >@S¨ær8PB á äºÜkSÜkS2>@æI>@:=N á UãU¨éPBîè|ÜkNVUBTNIUXÜ@äU¨éPB è|ÜkAXAX:=U¨ACBTNIU e>@N úkù ÈòaóLøiúªøºüºðkó Ý;SÜÃè|B áá ê BTU ÅB|BTNÿ>@æªBTNVU á >@NPDO N êBTær:=N ážì éPBçæªÜª>@@N >@S¨ær8;ACBTNIU>@U¨:ëÜkNåÝ;SÜVè|B áá : á UÜXSBž>kèé!>2è|ÜkN á BTN á 8 á >@êÜk8;U#>2ær: ªBTNRä~>kèTU ì B ªBTSÛ U¨éPBT2Ý;SÜkê;@U¨éPBTS9ÜkNPBãÜ@äO¯: ªBTS¨æªBTNVU6ÜkÝ;:=N;:ëÜkN ážì ÜkACB3>@S¨ær8;ACBTNIU>@U¨:ëÜkNåÝ;SÜVè|B áá B á èž>@NRêB9äºÜk8;NPOç:=N žß /ß 8 Àì éPB á B|è|ÜkNPO2ÝÜ áá :=ê;:=@U Ý;SÜ Ã:ëO;B á :=N¯ä~ÜkS¨AÈ>@U¨:ëÜkNî>@ê Ük8;Um>6ACB áá >@æªB U¨éL>@U á 8;Ý;ÝÜkS¨U á U¨éPBXACB áá >@æªBXU¨éL>@U3èTSBž>@UB|O ÜkNPBÈÜ@äµU¨éPBX:=NPè|ÜkN á : á UBTNIU2è|ÜkAXAX:=UÛ ACBTNIU ហì  ÜkS4:=N á U>@NPè|B P>@NR>@æªBTNVPU OCAÈ> â éL> ªB6èTSBž>@UB|OR>ãè|ÜkAXAX:=U¨ACBTNIU>@ê Ük8;U> è|ÜkNIUBTNIU  êB|èž>@8 á Bã>@NPÜkU¨éPBTS6>@æªBTNIU ": á è|ÜkAXAX:=U¨UB|OíUÜ 4>@SO á Oîä~ÜkSU¨éPB á >@ACB è|ÜkNIUBTNIU ì éPBTN µU¨éPBRSBž>@< Tð Vù ÷ òMÜ@ä¶U¨éPBíè|ÜkAXAX:=U¨ACBTNIURèTSBž>@UB|Oÿê â O : á U¨éPB >@æªBTNIU ì æªBTNI(U O :=@æªBTNVU Ç:=N U¨éPBO;BTUB|èTU¨:ëÜkNRÝ;SÜÃè|B áá UÜ >@@æªBã:=U á BTNIU ì é;: á >@< á Ü Ý BTS¨AX:=U á >@æªBTNVU OíUÜçO;Baä~BTS6:=U á SB á ÝÜkN á :=ê;:=@æªBTNIU :=N“èž> á BU¨éPBTSBX: á > kè|B|OF>kèTU¨:ëÜkN á @ê Ü ªB ì  ÜkS#:=N á U>@NPè|B Þ á B|B  :=æ ì ! à L>@N!>@æªBTNIU Ní: á :=NÏè|ÜkN¯Û U¨S>kO¯:ëèTU¨:ëÜkN“:=NMSB|è|BT: V:=N;æ :=U¨é“SB á ÝB|èTU6UÜçACB áá >@æªB á äºSÜkA >@æªBTNIU á >@NPO O ì U 

































"



 



















 

 





"















 



















 















































0213

Agent v

Agent w

3 5

0 3

   !#"  $&% '( 

1 2 3 4 5

    

    !#"  $)% '          +*

-,/.

024

4

1

0245

1

5 Agent x

Agent y

2

´ ª´ ‘ wf{ƒpw`ub_{ÆPhcj|gibvsi`uf{^bx9pwsi_|^bvy~y~by_ÆLfsi¸{n@ƒbj|gÀfgihc_{jf{j@x#y~_{nwsi^bexobvgib^vgihc_ajIÁ ê BTær:=N á >@NÏ>@S¨ær8;ACBTNVU>@U¨:ëÜkNíÝ;SÜÃè|B áá :=U¨éí>@æªBTNVU9OMÞ~>@S¨SÜ +@êBT@U¨:ëÜkN \>@æªBTNI(U Oî:=N¯ä~ÜkS¨A á >@æªBTNIU NÏU¨éL>@U:=U á è|ÜkAXAX:=U¨ACBTNIU9: áá 8;Ý¯Û Ý ÜkS¨UB|Oçê â >ACB áá >@æªB á BTNVUê â >@NR>@æªBTNIU Þ~>@S¨SÜ ßªàaì æªBTNIPU Ní> á á >@æªBTNIU UÜ 8 á U¨:ä âªì æªBTNVU +>@S¨ær8PB á Þ~>@S¨SÜ  à >@NPO PNL>@@æªBTNIU NR>@NPÜkU¨éPBTS ACB áá >@æªB á BTNIUê â >@æªBTNVU !á 8;Ý;Ý ÜkS¨U¨:=N;æ!:=U á Ü N è|ÜkAXAX:=U¨ACBTNIUÏÞ~>@S¨SÜ & àaì U á U \>@æªBTNIU N O¯: á è|Ü ªBTS á U¨éL>@U : á >È@S6ê B|èž>@8 á BU¨éPBACB áá >@æªB2O;B á èTS¨:=êB|O!ê â /ær: ªB á B Ã:ëO;BTNPè|B¶Ü@äe> á :=U¨8L>@U¨:ëÜkNÏÜ@äè|ÜkNIU¨S>kO¯:ëèTU¨:ëÜkNå:=N á BTNPO¯:=N;æ ì 

76











"

































9ÔI× oÓ 'ÕÖ" tÙÀÒ . éPBÝ;SÜÃè|B áá Ü@ä½O;BTUB|èTU¨:=N;æ3@æªBTNIU áµá :=NPè|B:=UeéPBT@< á ܁:=NIUBTSB á U¨:=N;æãäºÜkSm>@æªBTNVU á Uܶê;8;:=@NPO UÜXAÈ>@:=NIU>@:=NM>2U¨S¨8 á UACÜÃO;BT@êÜk8;UÜkU¨éPBTS9>@æªBTNVU ážì Nçäi>kèTU PU¨éPBTSB3>@SB6@U :=@8 á BÈU¨éPB >@æªBTNVU2éL> á NPB ªBTS2è|ÜkNIU¨S>kO¯:ëèTUB|O :=U á @8 á BU¨éPB9@@U¨:ëÜkN á Ü@ä1Bž>kèéÏ>@æªBTNIU>@SBNPÜkU á 8 ÈèT:ëBTNVUUÜ O;BTUB|èTU>@N :=NPè|ÜkN á : á UBTNPè âªì éPBTN >çU¨S¨8 á U3ACÜÃO;BT á B|O ÜkN“@N ê B8 á B|OçUÜÈO¯: á U¨S¨8 á UU¨éPB6ACB áá >@æªB áá BTNIUê â >@NÏ>@æªBTNIU#U¨éL>@UéL> á >@kO â @æªBTNVU èž>@NíÜkN;< â U¨S¨8 á U6>@Nå>@æªBTNVU äºÜkS éPBTSB : á >XæªÜª>@@NPO : á U¨éPB>kèaÛ U¨:ëÜkN 4>@NIU á UÜîO;Ü ì  B¶äºÜÃèT8 á éPBTS BãÜkNíè|ÜkAXA38;N;:ëèž>@U¨:ëÜkN ì èTU¨ :ëÜkN á >@æªBTNVU á Ý BTSä~ÜkS¨A >@SB è|ÜkAXA38;N;:ëèž>@U¨: ªBR>kèTU á H: ì B ìá BTNPO¯:=N;æÏACB áá >@æªB áoì ÜkSB|Ü ªBTS U¨éPBTSB : á NPÜåÝ;SB|èT: á B æªÜª>@kèéõê;8;U2S>@U¨éPBTSÈ>RÝBTS á : á UBTNVU2æªÜª>@< ì é;: á ÝBTS á : á UBTNVU æªÜª>@2NPÜkS¨A LO;B PN;:=N;æîU¨éPB¶Èè|ÜkS¨SB|èTU#è|ÜkAXA38;N;:ëèž>@U¨: ªB ê BTéL> V:ëÜk8;S ½äSÜkA êBT:=N;æ Ã:ëÜk@UB|O ì è|è|ÜkSO¯:=N;æåUÜ U¨éPBÈO;B PN;:=U¨:ëÜkNFÜ@ä  o[JLG ÃK K½Y A4BTU úrû  ÅBîè|ÜkN á :ëO;BTS:=N“U¨éPBÈè|ÜkNVUB ÃU2Ü@äU¨é;: á >@S¨U¨:ëèT@U>@N >@æªBTNVU 8

9

;: =


















A

B

DC

@







FE

IH

G



FJ





H

G







!









C





FE















KA

B

)L

U¨S¨8 á U á ÜkSO¯: á U¨S¨8 á U á >@Ní>@æªBTNVU ä~ÜkSSB á ÝB|èTU¨:=N;æCU¨éPB6è|ÜkAXA38;N;:ëèž>@U¨:ëÜkNåNPÜkS¨A é;:= á ÝB|èT: Lè6ACB áá >@æªB ì é;: áá B|èTU¨:ëÜkN Ý;SB á BTNVU á U¨éPBU¨S¨8 á U4ACÜVO;BT@U4: á 8 á B|O 9 éPÜ *U¨S¨8 á U4: á SBTÝ;SBaÛ á BTNIUB|O :=Nå>@æªBTNIU á ;éPÜ +:=U: á :=N;:=U¨:?>@@NPOçéPÜ /:=U: á 8 á B|O ì H

G











  /

 ,   1E ,    :/ 41

Nî>@æªBTNVUÅéL> á >U¨S¨8 á UÅACÜVO;BT@ê Ük8;Uµ>@NPÜkU¨éPBTS4>@æªBTNVUÅê â U¨éPB µ> â Ü@ä\SBTÝ;8;U>@U¨:ëÜkN k>@@NPè|B HU¨éPBTSB >@SB U¨S¨8 á U á SBT@UB|O UÜ2U¨éPBÝBTSè|BT: ªB|O BTN Ã:=SÜkN;ACBTNIU PU¨S¨8 á USBT@UB|OçUÜ2U¨éPBÝ;SB á BTNPè|B Ü@äÅ:=N á U¨:=U¨8;U¨:ëÜkN \BTUè ì éPBTSBC>@SBC>@< á Ü U¨S¨8 á U á êL> á B|OåÜkNM:=NVUBTS¨Ý BTS á ÜkNL>@