Systèmes Multi Agents INTERACTIONS Communication dans les
Transcription
Systèmes Multi Agents INTERACTIONS Communication dans les
Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 DEA Communication et Coopération dans les systèmes à agents ! " #" " ) !* $%#&'()#& #""! & " +, ! , !*& +, !, !* O. BOISSIER (SMA/ENSM.SE) 1 Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) 2 Cours SMA-DEA-CCSA - 2001 "# ( !! + !, " , !* !* ! (1! ! +- !21! 3 + !" 45 267 B #. !* / 0 " " / 0 &.,! ! - !& & 1 & coopération dénonciation O. BOISSIER (SMA/ENSM.SE) 3 A coopération dénonciation 5 3 3 0 0 5 1 1 !. !. !1,! O. BOISSIER (SMA/ENSM.SE) 4 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 $ %& ' ( )" *+, ! " +8 + ,1 +1&, ! /+9 &, # +-, " 4:"6;7 +- ,* 8 " +9< " < , =,> ,!. " larves # ! ,+ ! ! ?@ O. BOISSIER (SMA/ENSM.SE) 5 Cours SMA-DEA-CCSA - 2001 % /0012 A!* 1!* " A8+9BA8+9! 8+&+9 !E " F8,,!12!! "" ?3 9+- "" 4GHII7 J +1 1< !. 1, + " > ) ,! "! !*1!* C2 !, +-12" !, , 4K 6I7 J !! KAL12"! , , !.,1 ! ! / 0 89B8D89ΣD3899A8+9 O. BOISSIER (SMA/ENSM.SE) 6 Cours SMA-DEA-CCSA - 2001 ' ( - . O. BOISSIER (SMA/ENSM.SE) 7 O. BOISSIER (SMA/ENSM.SE) 8 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 (! " #" " $%#&'()#& #""! & " +, ! , !*& +, !, !* O. BOISSIER (SMA/ENSM.SE) 9 Cours SMA-DEA-CCSA - 2001 10 3-5. ! " - , 1 , !2 < . " ) 2, < !. ! 2" ! . K 1211"111! " -M! ,1!! ,! " &(1= ,, ! " & ! !! , ,1 ! ?! , # " !,! O. BOISSIER (SMA/ENSM.SE) O. BOISSIER (SMA/ENSM.SE) Cours SMA-DEA-CCSA - 2001 3-4. Offer... + ! &,+ Command ... ) !* ' 1! !,0 !,0 & ,+ 67"89 89 67"89 89 :% ;!!! < !!! < , 11 511 + 1K( /!!N1K(! O. BOISSIER (SMA/ENSM.SE) 12 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 ; -4. = 3 ! "" & K / 0 & "" " ,1 ?, "" ,12 ! 8- ! / & -< / ,1 & .,1! / 9,12 ! ! 8? < 11& 1< O,"< 9 , +1 ! C2 & ! &1! &,"! &!N 1!N "& , ! + 1! ! " ! 1 8, 1 +& ,&P9 ,, .+ ! J#""! "8#9 ,, 1,N12"!N1 + ! O. BOISSIER (SMA/ENSM.SE) 13 Cours SMA-DEA-CCSA - 2001 $H!"2"$%#4# RR7 '()#4'()RI&RR&7 #"" !2 ,?,! /2 /2 !1 "! " > 1 +-2 ! + !!262 2 >:? 15 O. BOISSIER (SMA/ENSM.SE) )"!/ &!, & K &!N & )"! &!0" &! & !,1! &! )"!N3 &,, !,1! !!1 O. BOISSIER (SMA/ENSM.SE) 3 !!2@=A2B2 @B 12" ,1,"1 14 12" ! , " O. BOISSIER (SMA/ENSM.SE) Cours SMA-DEA-CCSA - 2001 ; -5. )! ,, "! " 8L)& L)()&GLL)&(()&9 (!!.1 5 ,!.!! " 1 1, '1! 2! , 1 , ! Q ! " 16 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 -4. 522 ! " &,"< & ! &P ) ,! 1 +8+-K(9 / & &!1 & L J !21! !"" 8,2 94 S&I& A!T667& ( ! O. BOISSIER (SMA/ENSM.SE) 17 Cours SMA-DEA-CCSA - 2001 ,! !* ! " 0" /+< !* ""!1&+&11 8!! ,! 9 ,,! ! " ! +!1&+, 8! 9 & ,,!*1 ! " 8 . 9 EL ! , F8 9&3 3.!8 9&! ! , 8, 9 O. BOISSIER (SMA/ENSM.SE) ,, !0 " 8, 9 +, 18 !?V-W.,X&=W , O. BOISSIER (SMA/ENSM.SE) (,! 0 & ! "" ' - . .3! +-E, UF&E,& .,F Cours SMA-DEA-CCSA - 2001 -5. L21 ! !"" ! 21 ?. ! "" 8,"< 9 E% !!. F4 S7 1! 8, 9 19 O. BOISSIER (SMA/ENSM.SE) 20 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 -+. ' - . !?V-W.,X&=W ,89< ! !""B' 8'9E, FO ,, 8,9 E, ,1 F S, 4A!T667 V !0 " & 8, 9 &! & &!1 &+, 21 Cours SMA-DEA-CCSA - 2001 11 !* E, F- 8, . !9 V=8, , 9 O. BOISSIER (SMA/ENSM.SE) & !!*, & ! ,, ,1, !"1!, O. BOISSIER (SMA/ENSM.SE) 22 Cours SMA-DEA-CCSA - 2001 -C. (! ! A # 1 !. +,1 ,! ! < ,,?!1! 1< !. 0 ! !=, ! + !*1 ! != ! *1! ! 1 !, , !* O. BOISSIER (SMA/ENSM.SE) ) !* 23 @=A2BA2 A 2 ! +, ! , !*& +, !, !* O. BOISSIER (SMA/ENSM.SE) 24 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A J# ""!2 ! 8 ! ,, 9 ( ,, &3 &,, +-$('&'()#&'()#& J &! !1 ,1 &? !,1 N" ! , #!N12"! !1, ""! (&< &,&"& ! ! +-$%#&'()# A(@=A)A: *D, ( # #" " D22"/&"/& 25 Cours SMA-DEA-CCSA - 2001 RR;-,1!$%##! +, ! !N2 RRI-,, !N ,1!$%#,Y# L' HHH" ! T< O. BOISSIER (SMA/ENSM.SE) 26 Cours SMA-DEA-CCSA - 2001 A(@=A'-4. A(@=A'-5. %@< K1!. /+; +- ( & "& -E# ## (! , ( ," *,1 "! ( " (% ( <;! (W 8, &9W. O. BOISSIER (SMA/ENSM.SE) (" $(' 5$" +( $%# G < - "/ O. BOISSIER (SMA/ENSM.SE) , ! E$H!"2"F85)&'&9 !1,,! , ,"! 2!.#2!%!1 / 0 " 1 " , !- 27 ; #; #% (% ; %#; #% (# ;#; #%<; ( ;##; #% <; ( ;' : % ( <; ;' : ; ( ;#; #; ( ;#; ; ( ;#: <;;; #% ' O. BOISSIER (SMA/ENSM.SE) 28 Cours SMA-DEA-CCSA - 2001 A(@=A##-4. A(@=A##-5. 20< !;S ##1, ; 1" O. BOISSIER (SMA/ENSM.SE) 29 Cours SMA-DEA-CCSA - 2001 8)&)9 8)9 " " 8)9 8)9 8)9 !8)9 " " " 8)9 " # , T& T& T 1 ! !!! +-< !" T8)9?" " < X! < !) O. BOISSIER (SMA/ENSM.SE) 30 / 8)9 T8)9 O. BOISSIER (SMA/ENSM.SE) A(@=A##-C. 2F22" T8)9 8)9 " - T& T& T - & - !/&!/&+& &! ! Cours SMA-DEA-CCSA - 2001 A(@=A##-+. = T8)9 HT-! &H! :-2& 2 '-T&!& &T& !!& -! & ! -!/& - & = #- " [1,1 ! , & 21 & ! , 8, 9 L& & K - & &!&!& ! #- 1< 11 ,11, 8R;ZR69 ##- ! -12" !. ! 8& !/& T& &P9 +-." 8" & " &! &T&P9 +,-2"!1 ! 12" 8& /& !/&P9 Cours SMA-DEA-CCSA - 2001 31 8)9 "< N"X< ) J8)9 "< N1 &"&X, < ) 8)9 !!!N" N" !N3 )!8)9!N O. BOISSIER (SMA/ENSM.SE) 32 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A(@=A )-" G/,20 < + A(@=AB -4. ", N" ,0 !N" ! ", N" ,0 !N" ! 5 N+ ,N !N ! " ( 1 , N" !N "! N 8! &,,&4! 3\\&6679 8!& ,&4! 3\\79 8!&2,&4HHH3\\-6R,,! 79 O. BOISSIER (SMA/ENSM.SE) 2T" 5 33 L8)9 T8)9 ' , = ! ," 3 ! " " O. BOISSIER (SMA/ENSM.SE) 5 8 T8)99 " " L8)9 ! 8 T8)99 ' T8)9 " L8)9 6E O. BOISSIER (SMA/ENSM.SE) 34 A(@=AB -+. ## ! 8 T8)99 ' ! / Cours SMA-DEA-CCSA - 2001 A(@=AB -5. ## " 12"! " ! ! < "H!" Cours SMA-DEA-CCSA - 2001 T8 T8)99 ' ! " , < 35 O. BOISSIER (SMA/ENSM.SE) 36 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A(@=AB -C. ## 5!8 T8)99 " A(@=A -4. ! 8 T8)99 ' " 'H!8! 8 T8)999 T8)9 L8)9 !< 1 1 ! " , < ", =11 !1 1 ! " ,0 ! " !11 ! ! " O. BOISSIER (SMA/ENSM.SE) 37 Cours SMA-DEA-CCSA - 2001 A(@=A -+. : L8&&]9 ^ K/8&&L8&&]99 ^ K !/2" ^ K !/2]_ )89-8&]9∧ TH8&H8&TH8&8&]99∨TH8&¬8&]9999 )89-!8& TH8&8&]99∨TH8&¬8&]999 ) 89-TH8&TH8&8&]999 ) 89-TH8&8&]99 ,-TH8&8&]99 O. BOISSIER (SMA/ENSM.SE) 38 Cours SMA-DEA-CCSA - 2001 A(@=A -5. ' O. BOISSIER (SMA/ENSM.SE) ^ J 8&&]98/, 8&&]99 ^ ) 89-¬8&]9 ^ D2]2 _ 39 O. BOISSIER (SMA/ENSM.SE) 40 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A(AB A(AB)B*G2**, $%#-, ! !! !`. # ( , ! 1< &, !`. , " ! " &P 1RRS!'()8 9 (! 1!`.,, : ! " & " &(1" "D # , !"!.,, , ?.#U J !. "< !, !1 1 8#" "9 # 1< ! , !1,' /)! 8')95859 ! ,1 O. BOISSIER (SMA/ENSM.SE) 41 Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) O. BOISSIER (SMA/ENSM.SE) 42 Cours SMA-DEA-CCSA - 2001 A(AB)BHHHD4, 0I #% % % <; : ! !- ."> "< ., , ,! L "!=,! " ) L &) & !A a! "&L " 1!`.+ 2"< /+ ?!$%# K1!. !. ! ! & , =!1 ,, !. ! K1!. ! " ,1!1 < " !=,!- A(AB I -' . - /,!.! ( , (% " (,8!"!99,, ( !b ( <;!b (% ( "" 1! (2, ( : !!, 1, ( ,!. 1 (%!" . # # % # " # " # " # #% #% #% #% #% 43 O. BOISSIER (SMA/ENSM.SE) 44 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A(AB I A -""! < 2, +,1 A(AB ## (8 -,, 9 (#2,!’# +,1! ""8 " "92,, = " " ""! < ’+, ! 1 (# , =!1!!1 0 #’11 !’!" 1!0,, ,1’!", ’"1, ’!"’ , ,11& ,1 1! ’,,! " K !C2 8 -9 -2,!1 "8 9"8 9 18 9, ! + / 1 ! ’+, ! (# "8 9 1 32, " ", !’,1! " !’"1, 45 Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) 46 A(AB -5. 1< 1 ! 8&& 9 # 1< !N !1 ! # 8') 9$%85 9 # ' /)! !N !1 ! < != < N",N+1 ! N #5 N< N " ,0,! +1 N8(N/ "< N 9 #N !') 5 ,< ! ,! 1 ! " O. BOISSIER (SMA/ENSM.SE) ,&,, &,c,, &3c,, Cours SMA-DEA-CCSA - 2001 A(AB -4. < &< cH2&&"& & 1"8 -,, 9 O. BOISSIER (SMA/ENSM.SE) < /c&< /c& &&c& c&&! &c ! ! 47 -,d``."< ,, `e J-J,d``." ?,, ! , < , < 2-,&`.`" 2< ,, 11 f8 1< 9&g82+9 ' 8&,9&K8&,9&"8&9 , ):,&((, O. BOISSIER (SMA/ENSM.SE) 48 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A(AB -' . A(AB -' . B('< ,, <i, request(j,a)> FP: FP(a)[i\j] ∧ BiAgent(j,a) ∧ ¬BiIjDone(a) RE: Done(a) ! "-,, h&83&,9Z ')-,∧ ¬ 8,∨ J,9 5-, O. BOISSIER (SMA/ENSM.SE) Agent i requests agent j to open a file (request 49 Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) A <i,query-if(j,X)≡<i, request(j,<j,inform-if(i,X)>)> FP: ¬BjX ∧ ¬Bj¬X ∧ ¬UjX ∧ ¬Uj¬X ∧ ¬BiIjDone(<j,inform-if(i,X)>) RE: Done (<j,inform(i,X)>|<j,inform(i, ¬X)>) !N=,!,1 Agent i asks agent j if j is registered with server d1 O. BOISSIER (SMA/ENSM.SE) 50 Cours SMA-DEA-CCSA - 2001 A(AB -' . (query-if :sender i :receiver j :content “open \”db.txt\” for input” :language vb) :sender i :receiver j :content registered(j,d1) :language Prolog) 51 !0 ! " &!0 ! & &! & &, &,, & LC2 &2 !C2 &, & ! ! ! & ! ! ! K, & " !, < ,1 ! = O. BOISSIER (SMA/ENSM.SE) 52 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A J"!! 1!"" ! 11 ,, 1, # A (BA $(' )" #() %# '()#&'()#&'()5K'&'()$(' (1=, , "" ! < , !"", +, &, ! , / 0 O. BOISSIER (SMA/ENSM.SE) 53 Cours SMA-DEA-CCSA - 2001 A proposition, which may be assigned a truth value in a given context. Precisely, it is a well-formed formula (Wff) using the rules described in the Wff production. A proposition is used in the inform communicative act (CA) and other CAs derived from it. An action, which can be performed. An action may be a single action or a composite action built using the sequencing and alternative operators. An action is used as a content expression when the act is request and other CAs derived from it. An identifying reference expression (IRE), which identifies an object in the domain. This is the Referential operator and is used in the inform-ref macro act and other CAs derived from it. O. BOISSIER (SMA/ENSM.SE) 54 Cours SMA-DEA-CCSA - 2001 A (BA ' A (BA ' > Agent i confirms to agent j that it is, in fact, true that the shark is a mammal. (confirm :sender (agent-identifier :name i) :receiver (set (agent-identifier :name j)) :content ((is mammal shark)) :language fipa-sl ) O. BOISSIER (SMA/ENSM.SE) Une expression en FIPA SL peut être utilisée pour le contenu d’un message ACL dans trois cas : 55 (request :sender (agent-identifier :name i) :receiver (set (agent-identifier :name j)) :content ((action (agent-identifier :name j) (deliver box017 (loc 12 19))) ) Agent i (a job-shop scheduler) requests j :protocol fipa-request (a robot) to deliver a box to a certain location. :language fipa-sl J answers that it agrees to the request but it :reply-with order567 has low priority. ) (agree :sender (agent-identifier :name j) :receiver (set (agent-identifier :name i)) :content ((action (agent-identifier :name j) (deliver box017 (loc 12 19))) (priority order567 low) ) :in-reply-to order567 :protocol fipa-request :language fipa-sl ) O. BOISSIER (SMA/ENSM.SE) 56 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 A (BA ' > A (@B (request :sender (agent-identifier :name i) :receiver (set(agent-identifier :name j)) :content ((action (agent-identifier :name j) (inform-ref :sender (agent-identifier :name j) :receiver (set (agent-identifier :name i)) :content ((iota ?x (UKPrimeMinister ?x))) :ontology world-politics :language fipa-sl Agent i requests j to tell it the current Prime Minister of the United Kingdom ) )) :reply-with query0 :language fipa-sl ) (inform :sender (agent-identifier :name j) :receiver (set (agent-identifier :name i)) :content ((= (iota ?x (UKPrimeMinister ?x)) "Tony Blair")) :ontology world-politics :in-reply-to query0 ) O. BOISSIER (SMA/ENSM.SE) 57 Cours SMA-DEA-CCSA - 2001 8 !3N`8 &_+&_/&_\99 !"!,1! O. BOISSIER (SMA/ENSM.SE) ,1 & , O. BOISSIER (SMA/ENSM.SE) !"! , ,1 !, ,1 "< ! N`& 58 "# "- ,1! 3 &! , ! ! ! , " ? 21! !!1 , ! = Cours SMA-DEA-CCSA - 2001 $('B$H!"(2"' #"""< & ,1+1! ! ,1! ! ,!! + , 59 ,1!A L21!N K 21, 8, !!1 9- !N,1 1! K& ! X !1 " 1 8 21!K9,1 !1 821, 9 & 213 O. BOISSIER (SMA/ENSM.SE) 60 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 ' 3 3 G/,20 - ( )" #N","1, = ' -!1! !0 3 ! ! !N3 &!N ! J: -! / ! , 11? 3 & '-!1!0" < , , , ! !0! ! */,< ,1 1 ,! ,1! # " )8!19!1 ,1 !1! "" !,1 ! O. BOISSIER (SMA/ENSM.SE) 61 O. BOISSIER (SMA/ENSM.SE) fruit fruit cherry pomme citron cerise K " ,"1 , ,"! " K + !! fruit fruit berry citrus blueberry blackberry tropical temperate strawberry O. BOISSIER (SMA/ENSM.SE) 63 $ 1 ]#&5K' K# K " "11 , ! , apple 62 Cours SMA-DEA-CCSA - 2001 ' lemon = 1 ! , !1 = 1 =, ! !1 K1! 0! + ! Cours SMA-DEA-CCSA - 2001 apple K +" , /&", , "/&HHH/ D!&+ / & HHH" ,! i! D'&"$(' &HHH T !!! -R!H O. BOISSIER (SMA/ENSM.SE) 64 Cours SMA-DEA-CCSA - 2001 A %! 22!!! # # "0! ,, &! 0" & ! !`.3 , 1< 1 J "1 #!1 1!1 1, Q< `. ,,!,1! !12! # # `.,, ! , ! , ,! " 8L)& L)()&(()&GLL)&P9 Cours SMA-DEA-CCSA - 2001 % A KQML ACLs sociaux Premiers ACLs (ASIC) •Dialecte fermé avec la même syntaxe •Sémantique informelle •Faible hétérogénéité des langages •Dialecte fermé •Sémantique informelle •Hétérogénéité des langages faible Arcol, FIPA ACL •Dialecte ouvert •Sémantique formelle •Forte hétérogénéité des langages [Singh 98] •Idiolecte •Sémantique formelle O. BOISSIER (SMA/ENSM.SE) 65 Cours SMA-DEA-CCSA - 2001 (! ! " #" " $%#&'()#& #""! & " ' K2 ' K! O. BOISSIER (SMA/ENSM.SE) # " 1 = 21 /,< K !& 1< ! " ! &< != !’ " 21 /,< !’12"! " ,,1 ’ ()5LLU ) & " , ""! + !" &!’ " 1 ,, , 0! !" & ", =""1 ! , & !1 " & ! , !1 K 66 > •Hétérogénéité des langages faible Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) 67 O. BOISSIER (SMA/ENSM.SE) 68 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 K > I 21 ! 1, +1 C2. 1"!2 " " ,! !" J,,1 < , !< ?< 1 , ?< ! J !!1 , !1 ",2 1 &",2! & 1 +!,1&"" 8j9&"" ! ! , !, & O. BOISSIER (SMA/ENSM.SE) +, !, "L)()&)&G! 2T"&GU 69 Cours SMA-DEA-CCSA - 2001 70 ( # # -2" < !, T! # -2 < !, # -"8"9 ,, 2" 8 9/ ,/"2 T!2 ! ,!/2" ,2+ 2 TL2N ,, ! 2,! 22 " 2 T8"&,& &9 8< - !--8 9 ( # 9 O. BOISSIER (SMA/ENSM.SE) O. BOISSIER (SMA/ENSM.SE) Cours SMA-DEA-CCSA - 2001 B( () ! ! 1 ( 1 ! ! ! !" " ! !N() ,1!1 &() !! K () !G, =!1 # 1< , =!1 ! () ! !1 1< !N ! !! 71 0 ( 0 B! ( 0 # 0 '()5< () +, '()% / (); +, '()5< D2 ()b +, '() () +, '()(! ()S +, '() " 2 ()I +, '() K 2 ()6 +, '()T" ()R +, '()5 " () +, '() () +, '()), () +, O. BOISSIER (SMA/ENSM.SE) 72 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 0I B The receiver agent is requested to perform some kind of inform action ! +1 1 ,. +1 1 , ,, ! , + ,) query O. BOISSIER (SMA/ENSM.SE) failure(reason) 73 Cours SMA-DEA-CCSA - 2001 not-understood inform refuse(reason) O. BOISSIER (SMA/ENSM.SE) 74 Cours SMA-DEA-CCSA - 2001 B B cfp(action p1) request not-understood not-understood refuse(reason) refuse(reason) reject-proposal failure(reason) propose(p2) agree inform (done) accept-proposal fipa-iterated-contract-net inform-ref failure(reason) inform(done) cancel The receiver is requested to perform some action O. BOISSIER (SMA/ENSM.SE) 75 O. BOISSIER (SMA/ENSM.SE) 76 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 K L# ' ()6: *M, K ,!* , !*1 ,! 8 " 9 '!1 $%# K ! +! " B:A<<Result(done P) B:A<<Accept(done P) A:B <<Comm(done P) 1 3 B:A<<Fail(done P) 2 B:A<<Refuse(done P) 4 5 6 O. BOISSIER (SMA/ENSM.SE) 77 Cours SMA-DEA-CCSA - 2001 1 1 , !* 81 !&1 19& " 8, 9, & propose/ 2 "! 1!1!1"8? 1 9&1,!80" ! 9 1 !* 80" !, !* 9 .2X! 80" !, 9 /satisfy /fail /accept 5 /reject /counter counter/ accept/ 3 " ! < * 1 1 O. BOISSIER (SMA/ENSM.SE) 7 6 K 0" ,1 78 ' (- . 5,1 , !.1 O. BOISSIER (SMA/ENSM.SE) Cours SMA-DEA-CCSA - 2001 ' (- . !*8!1, " $('9 (!*8!1,$%#9 !*8!1, ""! !#9 4 reject/ exemple de protocole de négociation 79 O. BOISSIER (SMA/ENSM.SE) sender/receiver 80 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 ' (J )6*+, ' (O- . #""!`.+, !, 8/ 98< 989 8_&&!&_9 1 init 18, 212< 9 B" 8/ 98< 9 898_&& "B" T&_9 898/ 98< 9 898_&&/&_9 @ 8/ 98< 9 898_&& !/&_9 "BN JA 8/ 98 H989 8 &&!&_9 état un 2 5 deux transition 3 trois 4 6 end 1 : (you) (request,dec,?) (?, find, moi, liste_regions) JBN 2 : (you) (answer, obs, info) (?, find, moi, liste_regions) 3 : if (segment) (you) (request,dec,?) (?, find, moi, liste_regions) 89 8/ 989 8_98!9 4 : if (non segment) (you) (inform, obs, info) (fin, moi) 5 : if (seuili > seuili-1) (you) (answer, obs, info) (?, find, moi, liste_regions) " O. BOISSIER (SMA/ENSM.SE) 6 : if (seuili < seuili-1) (you) (answer, obs, info) (fin, moi) 81 Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) 82 Cours SMA-DEA-CCSA - 2001 K ' ' (O- . 1 init un 2 end 51 ! Approximation polygonale <-> Facettes_2D 1 : (you) (request, dec, ?) (?, find, moi, liste_segments_fac) 2 : (you) (answer, obs, info) (?, find, moi, liste_segments_fac) 1!*"& " !*2& ! Facettes_2D <-> Facettes_3D 1 : (you) (request, dec, ?) (?, find, moi, liste_facettes) 2 : (you) (answer, obs, info) (?, find, moi, liste_facettes) Facettes_2D <-> Aretes_3D /2 ! ?1,!* " ! !*,,! 1 : (you) (request, dec, ?) (?, find, moi, liste_aretes) 2 : (you) (answer, obs, info) (?, find, moi, liste_aretes) O. BOISSIER (SMA/ENSM.SE) 83 O. BOISSIER (SMA/ENSM.SE) 84 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 K - . DA A veut faire P A ne peut pas faire P (! ! " #" " DB B ne peut pas faire P A:B <<Comm(done P) B veut faire P B:A<<Refuse(done P) AR1 B:A<<Accept(done P) BR ) !* AR2 B:A<<Fail(done P) $%#&'()#& #""! & " +, ! , !*& +, !, !* B:A<<Result(done P) O. BOISSIER (SMA/ENSM.SE) FB 85 Cours SMA-DEA-CCSA - 2001 %$ %& J request find %- 1< !. ! 12"1 ! + , " ,,,? 3! ! J , 8, +,9 , + 1 , !1 ! " > cube request find Conv C0 request find segment image état : wait Conv C01 état : active answer find segment answer find request verify image segment answer find cube Conv C0 état : fin answer verify Conv C01 segment état : fin Agent IHM O. BOISSIER (SMA/ENSM.SE) 86 Cours SMA-DEA-CCSA - 2001 % O. BOISSIER (SMA/ENSM.SE) 87 O. BOISSIER (SMA/ENSM.SE) Agent interprétation Agent description-2D 88 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 % % ; 2< ", 0! ! , "11< < `., , ! J", ,,"! , ," ! O. BOISSIER (SMA/ENSM.SE) 8! N`<-N` < -" "N` - ,2" "N`T< - N - N`8/ 9 - 88 9P9- 8P9 9 89 Cours SMA-DEA-CCSA - 2001 90 % - . # 0" ! ,1< !."< ! +- : ! 8! - -!8,, - !_ -8,! 8_H2_ 98_!999 - 228!828,! _H2_ 99 828_!99 8, 8_!98_!999 -+ ; - 8 ,, -8,! 8_H2_ 98 _!9999 O. BOISSIER (SMA/ENSM.SE) O. BOISSIER (SMA/ENSM.SE) Cours SMA-DEA-CCSA - 2001 % - . J ! !1 ,! ! B2?1 & 0" ! &0" !" !`. `."!1 &1 !. ! & ! ! < `. 2< ",,? 1 1" !`. ! < . ?.! classes = C1,C3 Conversation C instantiates C1 pour C 91 O. BOISSIER (SMA/ENSM.SE) classes = C2,C4 Conversation C instantiates C2 pour C 92 Cours SMA-DEA-CCSA - 2001 Cours SMA-DEA-CCSA - 2001 % - . ( ,!`. 8+-`." ,,? !, & !`.&!" P9 `.", , , (! !!1,! !1 # < ", , =1, 0" ! 1,`. ! 0" !`. O. BOISSIER (SMA/ENSM.SE) 93 Cours SMA-DEA-CCSA - 2001 O. BOISSIER (SMA/ENSM.SE) 4 R7 &'+W-" "! "! " / W&(R&,Ib 4 RI7 &YK\ &WJ2 ", ! / 0 ! !1 1 W&L(&RI 4 R;7 &G!!!&$ !/&W:" ,) "/ W&D*R; 4K\ R;7YK\ &W#,) ,, W&03 1 ! )5( / 0 " &)5(&,&K1RR; 4K" R;7K" &WK "?1 !,0 J1 !!*1"! !*" ! / 0 " W& L20 !*J 1) S 4K 6I7GK &A5# &KKT&W,2 "2 K !)"HTW&K !("&G 2 !& ) 467#K!WL2G /((,2J! !"/ -("" $H!" J/W&, " / &&,;&R6 4'R7V'&W# / 0 " & "W& (! &RR 6: ;- . O. BOISSIER (SMA/ENSM.SE) 94 Cours SMA-DEA-CCSA - 2001 6: ; K !*& ) ! < , !1& Q! ,!1! , !*& K1! / 0 !" ! & K ?1 / 0 1, , 95 4'()RI7'()&NN" #" "..,'()&6RI 4:"6;7):"&W !( ")"W& (6;&,R 4G/ 5267G/ 52&WT!2 W& ("&S8;9&,;&R6 4GHII7WAH" ) ") "W& ("&68;9&,;;;Ib&RII 4# RS7Y# &W " " "W&)2!&J / /!&,RRS 4# RR7Y# &L'&Y)"&E" #" " -2 #! ,F&(("/ &,b&2,RRR 4) /7) /&V#$"&E!0 ! F&/ 0 " & V)&YK\ ! &,X 45 267V5 2&W5(-,"" " W&5(L25,L66R6 4I7V5&W# !""W&RI 4"2R67)"2&E" " " -2T"2,, F&( , &,bbI&KRR6 4A!T667KA!T&W# !! W&)!"!R66 O. BOISSIER (SMA/ENSM.SE) 96