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