Social Plans: A Preliminary Report
Abstract
The formalization of multi-agent autonomous systems requires a rich ontology for capturing a variety of collective behaviours and a powerful semantics for distinguishing between collective agents having, executing, and jointly intending a plan. In this paper, we introduce the notion of social agents and social plans. A definition of joint intentions is provided that avoids some of the problems encountered by previous formalizations. In particular, it models cooperation by requiring that agents adopt a joint goal and a joint plan of action before forming a joint intention. The paper also stresses the planning capability of agents and outlines a process for means-end reasoning by multiple agents.
Social Plans: A Preliminary Report
ffflfi
ffi
!#"
$&%('*)+%-,/.1032546487
9;:*<(=?>A@B<&C
D;EF
G(: HI
JLKNM
O
'%-'PQRST%-U
O
)VXWY,Z%-[]\^%('
O
,/W/\`_bac\d%-[bef'*WYg5[h[]\hi6gj'acgkel'+VXW/\]W/)
WYg
m\daXn%(g5[?oARqpTg5U8,/i8gcr
O
)VXWY,Z%-[]\^%('
O
,/W/\`_bac\d%-[bef'*WYg5[h[]\hi6gj'acgkel'+VXW/\]W/)
WYg
st[]\hu(%(v
g5W/n
O
RwQ1U6'
g5'xvg5,/i
yT'
\hz(g5,{VX\hW|.}U-~;mgj[hv
U8)
,/'
g
Z^ f^ X^BŁ+X
^c(Y^^ fŁZ;XjXBf5ZZ| B¡w¢ff^£Z]B¤¥£ZjA¦3§f¨©«ª8¬A5&h£Zj
®^/¯fl^
° f5^^¯t f±5(5²]±cc^^^Z³& fB±c´/µ/¶X±?·
/¯t¯¶ f^f /³Y¸q^^Bl´¹ºbX±AZb^c ·
X»
Y5 fBh¼Z N½
f^ X^|¾·
f±Z^^ 3`/3²]±Z^ «´¹´¹µ/ |±-¿°w fBh/±ÁÀÂZ^^ |¯tf³&^ t¸q^^Bl´¹º±L½
f^ lX^f
·
Yc±«¹´`³8X±^ 3¸q^^Bl´¹ºX±k·*¼/¹´x¸q¼/ºh/±T¸q^cYh^/ÃxwZqjX( f
b^NX5 w±Ł^
jZ/ľhh´ ffl¦¿«^5``£/¨¹Å^ŁÆ3B Ç
£/¨(f5`f¨¨¹ÈZXjhÉËÊj©/¨c¬?tÌŁ |Â^ fÍZk°w f¯ÎXÏf -³ÐAó
±c;Ѿ f^± ff³(Ò
óc´¹^ f¾Z;Ò6´^ f¼/ f?ÀZ« f±f tÓ&´¹^ f^f³&¸b¯t^^ f^jX¯Ł³8ÔÕ/ÕYÖÂÃ
ff
fiffiflffi "!#flffi
$%"&(')fi*!fl,+-".$/!0"'!#/$'1(1231#!#4516#7')fl*158#fl:9;/$!fiffi./2<
9
=)!#'fl*$).56>
#flffi!?2@"A9Bfiffififfi 9C!#flffi>/(D 4 >3fl*/'#1E
$ F@= GH4?'fiI1ff"$!#fl:9C1JKFLfl*1!#flffi$./'flffi1#flffi$.
D 4!?GH4$%9Cfiffififfi 9C!flffi>
M".$3!1 >3fl*$). N/CO 9C'!fl*$). N "$ FKPBflffi$!fi*26flffi$3!#4$ F3flffi$.6Q=fi:
$SRUT?$5!flffi1=
=V N
GEflffi$!#F3' 9CE!#)&$)!#flffi/$6
W X Y4Z["\S[]^_3`aWH
$VFW4X
Y4Z["\bV\*[
_LWBRIcdF3CeV$flffi!#flffi$6"LPC/fl*$
!fflffi$3!#$3!#flffi/$1
flffi1=#
>3fl:F3 FQ!
!>
fl:F31f1#/5f
S!K=Dfiffi1$ 9B'$3!#4# FD326=#4>gflffi/'1I/#ff"fiffifl*
!#flffi/$1 RVT?$
=
!#fl:9C'fi:" N/fl*!f53F3fiffi1K9C3=VC
!#flffi/$5D325 7/'flffi#flffi$.Q!# "!h".$3!#1K/F3=)!hfPCflffi$/!.g"fii"$ F5fPC/fl*$/!
=fi:
$j"M9B!#flffi$kD Ca#5flffi$.lQPCflffi$!Qflffi$3!#$3!#flffi/$SRj
=
=V5
fiffi1%1!##41#1#41ff!5=)fim"$$flffi$.
9
=V
Dflffififfiflffi!:25"n
./$3!#1E
$ F'!fi*flffi$41KQ=#9C11/5 "$1?+?$ F# "1#/$flffi$.6D325('fiffi!fl*=)fi*E
./$3!#1 R
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime