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 ...
!"# $ %%'& (*)+ ,-./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¨éPBAÈ>@@æª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|OUÜíÝ;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¨éPBS¨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:=NU¨é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_¨¼ÏgihcbyÁ é;: á 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 á BTNIUUÜ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 á :=NU¨é;: áãá 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¨éPBO;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_{jf{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 á BU¨éPB9@@U¨:ëÜkN á Ü@ä1B>kèéÏ>@æªBTNIU>@SBNPÜkU á 8 ÈèT:ëBTNVUUÜ O;BTUB|èTU>@N :=NPè|ÜkN á : á UBTNPè âªì éPBTN >çU¨S¨8 á U3ACÜÃO;BT á B|O ÜkN@N ê B8 á 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:=NU¨é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¨éPBU¨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>@
France, (e-mail: [email protected], [email protected], ..... ΦU allows to consider a broad class of problems where ..... amplifiers of Fig. 10. Râ²a.
Oct 17, 2013 - evolutionary process can be used to design the morpholo- gies and ... 1 Introduction. When the ... evolutionary computation offers a potential means of dis- ..... Doursat R (2009) Facilitating evolutionary innovation by devel-.
Fachbereich 3 - AG/DFKI Robotic Lab ... Decentralized hybrid Markov Decision Processes (DEC-HMDPs). ... state is a special case of a hybrid MDP (HMDP).
to the geometrical properties of vegetation allow forest structural attributes to be ...... Sand. 65%. Clay. 18% rms Roughness. 1.22 cm. Surface Correlation Length.
Aim: The GlucoDay allows continuous glucose monitoring by subcu- taneous microdialysis in sedentary conditions. To validate it when glycaemia may undergo ...
application which integrates an obstacle avoidance ability into a platoon ..... Natural Agent Systemsâ, Annals of Operations Research, Vol. 75, No. 1. (1997), pp.
literature, the control of platoon's global geometry can be divided into two ..... obstacle's real size measured by the sensor. AiO is the ..... Work-Conference on Artificial and Natural Neural Networks ... Bell System Technical Journal, vol. 27, pp.
The representation of a Flexible Manufacturing System by means of Petri nets, ... the modeling of a shop floor is frequently based on the actual objects (parts ...
robot realistic simulator. 1 Introduction ..... When the equilibrium has been reached, we select in the set of all ..... report, MIT AI Lab, 1986. 4] V. Decugis and B.
tonomously: Towards a theory of adjustable autonomy, First Au- tonomous Agents and ... [19] M. Salle, 'Electronic contract framework for contractual agents', in.
tonomously: Towards a theory of adjustable autonomy, First Au- tonomous Agents and ... [19] M. Salle, 'Electronic contract framework for contractual agents', in.
Condition monitoring systems are of two types: periodic and permanent. ... with machine construction such as the natural frequencies of shafts, casings, and.
Mar 4, 2002 - neurotoxic cyanobacteria in drinking water, and pro- ... as a powerful tool for assaying the occurrence and dynamics of microalgal blooms, ...
global view of the system monitoring tools allow identifying performance prob- ... allow anymore centralized organizations, with hand deployment, ... usage, the behavior, and the performance of a cluster or a grid. ... tructures can benefit a lot fro
PL : Centre d'Arts Contemporains (Torun); Université des Arts, Studio de Projets ... DE: Irina Novarese (Berlin); Jasmin Müller-Alefeld (Cobourg). IT / AU: Silvana ...
A pure gossip protocol takes place in rounds where in each round a participating process ..... SIAM Journal of Applied Mathematics 47(1). (March 1987) 213â ...
interactions between debris flows and the channel morphology (erosion/deposition) were also measured. These field observations outline the important role of ...
atomic absorption spectrometry (Varian Spectra-30 Flame. AAS with automatic background correction), using the methodology of Hopkin (1989). Experiment 1 ...
During the last decade, the study of the foraging behaviour of marine animals has been made ... ability to monitor many animals in the field. Key words: Pygoscelis adeliae, ... Accepted 4 December 2000; published on WWW 1 February 2001 ...