26
For more information, [email protected] or 617-253-7054 please visit our website at http://ebusiness.mit.edu or contact the Center directly at A research and education initiative at the MIT Sloan School of Management Automated Negotiation from Declarative Contract Descriptions Paper 114 Daniel M. Reeves Michael P. Wellman Benjamin Grosof April 2002

Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

  • Upload
    others

  • View
    27

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

For more information,

[email protected] or 617-253-7054 please visit our website at http://ebusiness.mit.edu

or contact the Center directly at

A research and education initiative at the MITSloan School of Management

Automated Negotiation from Declarative

Contract Descriptions

Paper 114 Daniel M. Reeves Michael P. Wellman Benjamin Grosof

April 2002

Page 2: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

Publishing Information: "Automated Negotiation from Declarative Contract Descriptions". By Daniel M. Reeves, Michael P. Wellman, and Benjamin N. Grosof. In: Computational Intelligence journal, special issue on Agent Technologies for Electronic Commerce, Nov. 2002. Earlier versions of this paper were: a conference paper in Proc. Fifth International Conference on Autonomous Agents ("Agents 2001"), held Montreal, Canada, May 28-June 1, 2001; and a workshop paper of this paper appeared in: Proc. AAAI-2000 Workshop on Knowledge-Based Electronic Markets (KBEM-00), held Austin, TX, USA, July 2000. You can see the preliminary version of conference talk slides (in pdf; or in postscript) for this paper. Comment: Discusses how to set up an auction or set of auctions, in a principled manner driven by contract requirements of both buyers and sellers, building upon earlier works by the same set of authors on representing contracts and configuring auctions for automated auction servers. Detailed examples about a travel agent domain for which there recently have been several research-world Trading Agent Competition agent contests held yearly at a major conference. The system is called ContractBot. The approach here is also part of our larger approach SweetDeal.

Page 3: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

�������������� ����������������������� �!��� "#�%$�&��������(')�* ���+����,$-�."#��/�$%�0�213�������4/-5

687:9<;>=@?�ACB-D�=E=EFG=EH AI;>JLKM7:=E?�NOB<PQ=@?R?>ST7U9V)=E9XW�7:SY;R9[Z\B�]8^�_:H�_:`

a�9<;>F:=@^�Hb;>c2d[_:`�AI;>JLK<;Re07U9gfh^bc�;>iMJE;j7:?�k290cl=@?>?R;>eG=@9<JE=nm�7:o�_:^l7Uc�_G^bdpGprq�p V)=r7:?sf�F�tMfh9<9ufh^bo�_G^Et-AIk+v0w pxqGy{z}|�pGprq ah~�f

�{� ^�=@= FG=EH@t-�)=E?R?RS�7:9%�U���<SY;RJLK%B�= � ����!�0���b�!�G�<�,���!���!�����0�%�0�{�����G�!�-�{�<�<�{�-�G�<�G�G�!�<�!�:���M���l <�����{�M�U¡M¢�£

AIk2¤¥~�?>_07:9I~�JLK<_�_G?s_:`�A¦7:9<7:eG=@SY=@90c§Uq Au=@SY_G^�;R7:?s6�^@t<D�_�_GS©¨ §:ª{z�ª�p{«¬ 7US­o<^�; � eG=Ut-AIf q0|�p v | a�~�f

���!�0���b�!�X ! � )�®�%�x�����G�G�-��¯r°�±!�<���0�U²<�o�eG^�_GHb_:`���S�;³crB´= � �|UqGq0| fhµ<^b;R? | v

¶�·0¸º¹º»�¼@½�¹¾%¿EÀ)ÁbÂ@ ÀÄÃlÁ}Å�Æ­ÇÈÃbÀ�Á}¿EÉÄÃbÊ�Á}ÉÄËÍÌ@Î�ÉÄÆEÏ�ÌEϺÎ�Ã}ÉÄË´Á}ÉÄËÍÃ�ÌÐÃbÇ�ÑE¿@ÒÓËÍÌ@ϺÒÓÒ+źÃ�ÌLÉÓÀ®Á}Å(ÉÄÒ

ÂEÀÄÃLźϺϺÔEÒMËÍÌ�ÉÄÆEÀÄϺÏ�ÑEÀÄÃlÁbÔ�ÒjÉÄÏ(Â@ÒºÕ�ÖGË×ÀÄÒjÉ2ØEÔEÏ(ÉÄÏ(ÀÄÊ�ËÍÌEÏ�ÉÄÆEÏ�ÒjÉÓÀÄ¿EÅ(ÉÄ¿EÀÄÏ�ÃbÇUÉÄÆ@Ï�Ì@ϺÎbÃbÙÉÄË�Á�ÉÄËÍÃ�Ì�ÂEÀÄÃLźϺÒÓÒ:ÑÛÚsÁbÂ@ÂEÜ×ÚEËÍÌEÎ�ÎbϺÌ@Ï�À®ÁbÜLÝÛÌ@Ã2Þ-ÜÍÏ2ÔEÎbÏ<Á}ÑxÃ�¿EÉGÁb¿EÅ(ÉÄËÍÃ�Ì@ÒGÁbÌrÔsÔ Ã�Ê�Á}Ë´Ì ÙÒÓÂxϺźË×ßrÅ-ÝÛÌ@Ã2Þ-ÜÍÏ2ÔEÎbÏ�ÁbÑxÃ�¿ É!ÉÄÆ@ÏMźÃbÌÛÉÓÀ®Á}Å(É�ÒÓ¿@ÑÛàjϺÅ�É<Á}Ü´ÃbÌ@ÎáÞ-Ë×ÉÄÆ�ÂEÀÄÏ�ÇâÏ(ÀÄϺÌEźϺÒ!ÇÈÀÄÃbÊÂxÃbÉÄϺÌLÉÄË´ÁbÜ Ñ@¿ ÚLÏ(ÀÄÒ!ÁbÌ@ÔOÒÓϺÜÍÜÍÏ(ÀÄÒºÕ�ã Ï(źÃ�Ì@ÔXØ}ÉÓÀ®ÁbÌ@ÒÓÜ´Á�ÉÄÏ-ÉÄÆEÏMÔEÏ�ÉÄÏ(ÀÄÊ�ËÍÌ@Ï2Ô�Ì@ϺÎbÃbÉÄË´Á}ÉÄËÍÃbÌÒjÉÓÀÄ¿@Å(ÉÄ¿ ÀÄÏMË´ÌLÉÄÃsÁ}Ì�Ã�ÂxÏ�À®Á}ÉÄËÍÃ�Ì@ÁbÜrÒÓÂxϺÅ(ËÍß@Å2Á}ÉÄËÍÃbÌ�ÇâÃbÀ�ÁbÌ�Áb¿@Å�ÉÄË´ÃbÌ�Â@Ü´Á}ÉÓÇÈÃbÀÄÊ�Õ!ä<ÆEË×À®ÔXØÁ}ÇÈÉÄÏ�À�ÉÄÆ@ÏMÌEϺÎ�Ã}ÉÄË´Á}ÉÄËÍÃ�Ì�ÆrÁ}Ò�źÃbÊ�Â@ÜÍÏ(ÉÄÏ2Ô{ØlÊ�Á}ÂOÉÄÆ@Ï-ÌEϺÎ�Ã}ÉÄË�Á�ÉÄËÍÃ�Ì�ÀÄϺÒÓ¿@Ü×ÉÄÒ!ÉÄÃ�Á%ßrÌ@ÁbÜźÃ�ÌLÉÓÀ®ÁbÅ�É2ÕOåhÏ,ÆrÁ2ælÏOËÍÊ�Â@ÜÍϺÊ�ϺÌLÉÄÏ2Ô�Á�ÂEÀÄÃ}ÉÄÃbÉRÚ ÂxÏ�Þ-Æ@ËÍÅ�Æ4ÒÓ¿@ÂEÂxÃbÀÓÉÄÒ%ÉÄÆEϺÒÓÏ,ÒjÉÄϺÂEÒÑÛÚ�ϺÊ�ÂEÜÍÃ�Ú ËÍÌ@Î)Á�ÔEÏ(źܴÁ}À®Á}ÉÄËÍælÏ�ÒÓÂxϺÅ(ËÍß@Å2Á}ÉÄËÍÃbÌèçéË´Ì�ê�Ã�¿ ÀÓÉÄϺÃ�¿EÒ,ëXÃ�Î�ËÍÅ�ì0ÀÄÃ�ÎbÀ®Á}Ê�Ò®íÃbÇsçjî2í%Æ@ËÍÎ�Æ Ù>ÜÍϺæ�ϺÜ�ÝÛÌEÃ�Þ-ÜÍÏ2Ô Î�Ï�Á}ÑxÃ�¿ É,Á}Ü×ÉÄÏ(ÀÄÌrÁ�ÉÄË´æ�Ï�Ì@ϺÎbÃbÉÄË´Á}ÉÄËÍÃbÌ8ÒjÉÓÀÄ¿@Å(ÉÄ¿ ÀÄϺҺØ�ç³ïbíÎ�ϺÌEÏ(À®ÁbÜ×Ù³Å2ÁbÒÓÏ�ÀÄ¿@ÜÍϺÒ<Á}ÑxÃ�¿ ÉMÁb¿EÅ(ÉÄËÍÃ�Ì�ÂrÁ�À®ÁbÊ�Ï(ÉÄÏ(ÀÄÒºØ{çñð�í!ÀÄ¿EÜ´Ï(Ò�ÉÄÃ�Ê�ÁbÂ�ÉÄÆEÏ%Á}¿@Å(ÉÄËÍÃ�ÌÂrÁ}À®Á}Ê�Ï(ÉÄÏ(ÀÄÒsÉÄÃ3Á)ÒÓÂxϺÅ(ËÍß@Å�Áb¿@Å�ÉÄË´ÃbÌ8Â@Ü´Á}ÉÓÇÈÃbÀÄÊ�Ø!Á}ÌrÔòçéóLísÒÓÂxϺź˴ÁbÜ×Ù³Å2ÁbÒÓÏ�ÀÄ¿@ÜÍϺÒ�ÇâÃ}ÀÒÓ¿@ÑÛàjϺÅ(ÉáÔEÃbÊ�ÁbËÍÌ@ÒºÕ-å�ÏOÔEÏ(Ê�Ã�Ì@ÒjÉÓÀ®Á�ÉÄÏsÉÄÆ@ÏsôrÏ(õ ËÍÑ@ËÍÜÍË×ÉRÚ)ÃbÇ�ÉÄÆ@ËÍÒ%Á}Â@ ÀÄÃlÁbÅ®Æ3ÑLÚ�Áb¿ ÙÉÄÃ�Ê�Á}ÉÄËÍÅ2Á}ÜÍÜÍÚ�Î�ϺÌEÏ(À®Á}ÉÄËÍÌ@Î�ÒÓϺælÏ�À®ÁbÜMÁ}ÜÍÉÄÏ�ÀÄÌrÁ}ÉÄËÍælÏ+Ì@ϺÎbÃbÉÄË´Á}ÉÄËÍÃbÌ\ÒjÉÓÀÄ¿EÅ(ÉÄ¿EÀÄϺÒ�ÇâÃ}À�ÉÄÆ@ÏÔEÃ�Ê�Á}ËÍÌ)ÃbÇ0ÉÓÀ®Á2ælÏ(ÜXÒÓÆEÃ�ÂEÂ@ËÍÌ@Î�ËÍÌ�Á�ÉÓÀ®Á�ÔEËÍÌEÎ�ÁbÎbϺÌLÉ�Å(Ã�Ê�ÂxÏ(ÉÄË×ÉÄËÍÃ�ÌXÕ

öº÷�øÓùbú×ûRøÄü�ýºþlü�øÄÿ��>ø®þ�üløÄüOù�ø��Rû>ú��2þ����xýLý�Ûø��!ý��Ûø®ý��Rú×þ���ú×þ ����ø���� ����� ��������� �"!#�$��%#�"!'&)(*%'��� ���+�,�"-��%#�/.102��%#�"%#34%#0657.98'�����$5;:=<;�2ø®þ'�>û?>A@6B�C�D"Lý��2øÄû7E6B�F2E#G6DIH�ý�JLK#@#@6B#M

N

Page 4: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

� ��������� �����������

������������� �!�#"����$�$���%"&��')(+*!',"-*!�/.0���+�&1�'32)4�.+25'�*!�6'�78*�9:98;<���)�=�>*!4?'����@*A'�7:�=� 782@B%CADFEGIH)J B GLK DNM!OQPR(��-�)�S*�T��-�='%2,�������U.+7:�+V�7:��TFO*!T������W*!.�98��')�-�)�@2-O�*��+VX')(+���Y�&Z?�W"&4?'��@')(��W25�')�-�)�@2-[]\^(��_�A`=���%*!989A"&���6'���*="a')78��T^b����?"&�-2�2c"&�=�$b��)7d2)�-2c2)��`��-��*�9!2e'%*!T=�-2-O�78�+"&984+V?78��TR.����=*=VNf98;0g

N [Rh Kdi B%CAjAk Hal [nmoT��-�='%2^1+�+V<b0�!'����6')7d*!9�"����6')�%*�"&')78��T�bF*!�)')���-��2-[p [Rq�krM=C GLKsJ!GLK C!D+[ut#���6')�%*�"&'�'������@2S*!���vV?�&'������$7:���WVw')(�����4�T=(x*Y"&���$��4���7d"�*A'�7:�=�b+�)�?"&�W2)2-[

y [{z_|6k%B�} GLK C!D+[_\~��*��+2�*�"a'�7:�=�+2^*!�+V��!'�(����{"����6')�%*�"&'Rb��)�A`N7d2578���F2#*��)�,�&Z?�W"&4?'��-Vc[

� ��')(�7d2@P������YP#�v*!����"&���F"&�������WV�PR7:')(�.���78V�T�78��TX')(��W25�<')(+�)�-��25'�*�T��W2�O�*!�+V�b���7�f�@*!��7:98;�PR7:')(<')(+��b��)�?"��-2�2#.N;�PR(�78"%(�*!�v*�4?')�=�$*!')�WVS���-T���')7d*A')78�����$�-"%(+*���782)��"-*!��.F�"&�=�?1+T=4��)�WV$')�$2)4�b�b0���)'^*�b+*!�)')7d"&4�9d*!�^"&�=�6')�%*�"a'�7:�+T3��b�7d2)�NV���[�X��.0��T=7:��.6;@b+�)�W25�-�='�7:�+T*@2)(+*!���-V�98*���T�4F*!T��,PR7:')(vPR(�7d"%(v*!T=���6'�2{"-*!�vV?��1+����'�(��32)"���b0�3*!�+Vv"����6')�-�6'{�!�*$���&fT���')7d*A'�7:�=��O+*!�FV��)�W*�"%(v*�"&�=�$���=��4��+V?�-��25'�*��+V?78��T��!��'�(��3���-T��!'�78*!')78������4�9:�W2o*��+V<')(��"&�=�6')�%*�"a'�7:�$b�987d"�*A'�7:�=�+2,�!�#����T=�!')7d*A'�7:�=��*="a')78���F2�[��o�!'���'�(+*A'�P���*��)�$"&�=�+"&�-�)�+�-V (+�����PR7:')(�')(��RV?��1+��7:')78���$�!�0����T=�!'�78*!')78�������W"%(+*!�+782)�@2Q*��+V����!''�(��^����T=�!')7d*A'�7:�=��25')�%*A'���T=7:�W2���$b�98�A;��WVv.N;vb+*!�)')7d"&78b+*!')78��T<*�T��-�='%2�O0'�(���4�T=(�78��V��-2)7:T=��7:�+T<*��$�-"%(+*���782)�����+����4+2e'"&�=�+2)78V?�-�o'�(��$b���7:`A*A'����-`A*!984+*A'�7:�=��*!�FV/V?�W"&7d2578�����$*��N7:��T<b0���)���������WV .N;v�-*="%( �!�#')(�����-T��!'�78*!')78��T�b+*!�)')78�-2-[��4��nb+�)��')�!'e;Nb0�{25;?25')�-�����=�#*!4�')���@*!')�-V@"����6')�%*�"&')78��T�7d2n"�*�9:98�-V��_C!D GIH)J B G�� C G [�����;

25'�*!�)')78��T���������*<�������$*�9nV?�W2)"��)78b?')78�������R*�bF*!�)')7d*!9n"����6')�%*�"&'e��V?�-2�"&��7:.+7:��T<'�(��S2)b+*�"���!�~bF�62)2)7:.+9:�,���-T��!'�78*!')78�����=4?'�"����$�-2e��t#���6')�%*�"&'����!'^*!4?'����@*A'�78"-*!989:;$T��-�����%*A'��-2�"&�=�?1+T!f4��%*A'�7:�=��b+*���*�����')�-��2������@*X����T=�!'�78*!')78�����$�WV?78*!')�=���L*!4+"&')78���F��b�9d*A')��������[w\^(��-��On.N;�$����7:')�=�)78��TS')(��$78�+V?78`67dV?4+*�9*!4+"&')78���/���-2)4�9:'�2-Oc7�'�T=�����-��*!')�-2�*S1+�+*!9IOc�&Z?�W"&4?'%*!.�98��"����?f')�%*�"&'-[�N�-"&')78��� p T�78`��-2�*!���A`=����`678��P��!���=4���*�b�b����=*="%(�'���*!4�')���@*!')�-V�"&���6'���*="a')78��TF[

�N�W"a')78��� y b+�)�A`N7dV?�-2�.+*�"%�NT=�)�=4��+V�����*!4+"&')78���?fr.+*=25�WVx����T=�!'�78*!')78����[ �X��78�6')���?V?4+"&���4+�v�)�-b��)�W25�-�6')78���¡�L*!�+V�O�78�¢b+*!�)'-O,78�$b�9:�-�$���6'�*!')78���F�<9d*!��T=4+*!T=�a��t#��4��)')�-��4+2�£��=T�7d"¤ ����T=��*��@2¥�x7:���N�-"&')78���Y¦F[��N�W"a'�7:�=� p [ y ���%*!�$�W2,')(����A`��-��*�9:9�b����?"&�-2�2����R*�4?')�=�@*A')�WV"&�=�6')�%*�"a'_�+��T���')7d*A'�7:�=�$*��+V@2)(��AP{2_(��AP���4�9:�W2_T=�����-��*!')�-V$V?4+�)78��T�'�(��o���-T���')7d*A')78���$b����!f"&�W2)2<"�*���.0�X"�����.+7:���WV�PR7:')(�')(��Xb+*!�)')7d*!9,"&�=�6')�%*�"a'S')�w�������§*�����ZN�W"&4?'%*!.�98� 1F�+*!9"&�=�6')�%*�"a'W[ � ���N�-"&')78���©¨?O~P#��V�782�"&4+2�2�78�YV?�&'%*!789n(��AP�')(���9d*!�+T�4+*�T��$78234+25�WV�')�v78�?�����b+*���*�����')�-��2Q���=�n"&�=�?1+T�4+�)78��T�')(��o����T=�!')7d*A'�7:�=�N��')(+*!'_782-O�b+*���*��$�&')�-��2Q���=�n*32)�&'_���c*�4+"af')78���F2�[����@���?"�4+23�=��*v\~�%*�V?78��T m{T=���6'�t#���$b0�&'�7�'�7:�=��ª p=pW« *=23*!���&Z�*���b+9:��V?�=�@*!78��L�?�-"a'�7:�=�+23¬�*!�FVY­��a[S®Q78�+*!9898;�OQ7:�©�N�W"a')78���Y¯+O]P��$V�782�"&4+2�23V?��'�*�7:9d2��!�^��4+��b��)��')��'e;6b0��O78�+"&984+V?78��T@*$.���7:���QV?7d2)"�4+2�2578���<�!���!'�(����R4+2)�-2����=�{*!4?'����@*A'�78",*�4+"a'�7:�=��T=�����-��*!')78����[°e± ��ø�û?�a²��I³Äø�³��bülø#D7�I²µ´×øÄûRø �>û�D<ýºþlü ����ø+øÓÿ�ý%¶ µ´×øÄû,üløÄûI³��>ú¸· øÄü�ú×þ ���lú×ûLLý�Ûø���ý��Rø�ý®ùºýºú¸´Íý%·µ´×ø�ý �¹&ºaº%»+¼�½a½%¾W¿�À�ÁaÁ�ÂaÃ6À8Ä)Å=¿�Â5¹+À�Á%Æ%ÄW½)»�Á&Ç�»-È%Á-½�ÆaÉ&Á&Á%Ê&Á-Ã%½&Â%Ç�Ë&ºaÉ�¾�Â)º%̵Ç�º�½ M

p

Page 5: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

� � ��������������� �3��������� � �����

\^(��S"����6')�%*!9��64��-25')78���Y78�©"&�=�?1+T�4+�)78��T * "����6')�%*�"&'3����T=�!')7d*A'�7:�=�Y782-O��5�x(+*!'�7d2�')��.F����-T��!'�78*!')�WV���� � ��*��N;3"&���6'���*="a')78��T�"&���6'��&ZN'-O�2)���$�#���-*!')4����-2Q�!�F')(��^b0�!'����6')7d*!9�"����6')�%*�"&'��4F2e'{.0�3����T=*���V��-VS*=2^1�Z?�-V�O+PR7:')(��!'�(����%2^')�@.0��V?��')�-�)�$78���-V�')(+�)�=4�T�(<')(+��"&�=�='���*="a')f78��T�b����?"&�-2�2-[om�'��=���3�&ZN'��)�-���=O+'�(���"����6')�%*�"&'o7d2R��4�989:; 2)b0�-"&7:1+�WVcOF��Z�"&��b�'o������*S2)7:�+T�98�7d2)2)4���O_2)4+"%(�*=23b���7d"&��[ � �©'�(+*A'$"�*=25�=O�')(�������T=�!')7d*A'�7:�=��"�*��©.0�S78��b+9:�-���-�6')�-V�4+2)7:��T2)7:�$b�98��*�4+"a'�7:�=���$�-"%(+*���782)�@2_���c')(��,25�=�5'#������25�-�-2���=��2)b0�-"&7:1+�WV@T��N�?V�2_�=�@')(+� � �6')�-�5f����'-[_\^(����!'�(����^�&ZN'��)�-���=ONPR(������o����')(�78��T�782�1+ZN�WVcON782#'��6��789:9:fr25')��4+"&')4����-V�')�$"&���F257dV?���*!4�')���@*!')78��T$7:��')(��3"�4����)�-�='{25'�*!')�,�!�Q')(��3*��5'W[

� �=25'o"&�=�6')�%*�"a'�7:�+T�"����6')��Z6'%2^9:78��78�<.0�&'eP����-��O�PR(��-�)��*���7dV?����')7:1F*!.�98�32)�&'{�!��7d2)2)4��-27d2�')�$.F�3V��&')�-�)�$78���-V�'�(��)�=4�T�(�����T=�!'�78*!')78����[�o*!')4��%*!9898;�ON')(+������7d2R*�')�%*�V?�-��� .0�&'eP����-��+��ZN78.�789:7:'e;�7:��"&���F257dV?����78��T©7d2)2)4��-2S����T=�!'�78*�.�9:��*!�+V�"����$b�98�&Z?7:'e;w����')(�������T=�!')7d*A'�7:�=�b����?"&�-2�2-[w��4?'@�)�-T=*���V?98�-2�2��!��(+�AP ')(�7d2�')�%*�V�������7d2$���-2)��98`��-V�OP#�������64�78�)��*X���W*!�+2')� 2)b0�-"&7:��; '�(��-2)�@7d2)2)4��-2�2)��')(F*A'3P��$"-*!�Y*!4�')���@*!')7d"�*!9898;/"&�=�?1+T�4+�)��')(+�@����T=�!')7d*A'�7:�=��$�-"%(+*���7d25�@2�')(F*A'RPR7:989����-2)��98`���')(��-��[n\^(+*A'R7d2�O+P#�,�����64�78�)�,* B%CAD GIH)J B GIK D6M�� J DNM!} J M=k�[��4���*�b�b����=*�"%(X4+2)�-23*v�������U�!�R98��T=78"&fI.+*=25�WV/�N���APR98�-V�T��$�)�-b����-2)���6'�*!')78����')� ����b?f

���-2)���6'o"&�=�='���*="a'%2R*!�+V<�&ZN'����+V�2R')(�7d2{9d*!��T=4+*!T=��')����ZNb+�)�W2)2R*��+V<�)�W*�2)����*!.0��4?' � JAHaGIKsJ �B%CAD GLH)J B GLi [�\^(���bF*!�)')7d*!9�"&���6'���*="a'-O �=��"����6')�%*�"&'{')�-��b+98*!')��O�V��-2�"&��7:.0�-2�b0�=2�2578.�98�����-T��!f')7d*!.+9:��b+*���*�����')�-��2�*!�+Vw(��AP '�(���;�*!����78�6')�-�)����9d*A'��-VcOn*�9:�=��TXPR7�'�(��$��'�*Afr98��`��-9^�)4�98�-2*!.0��4�'R')(�������T=�!')7d*A'�7:�=�<*��+Vv*!.0��4�'{7:�+V�7:`N7dV?4+*!9Q*!4+"&')78���+2-[ � '�"&�=��.�78���-2o*!989�')(+782oPR7�'�(��4�9:�W2~���)�=��*!T=���6'�2Q*!.0��4?'�'�(���78�_"&�=�+2e'���*�7:�6'%2Q*��+V3b+�)�����������+"��-2Q�A`��-�]'�(��RbF�62)2)78.�9:�����-T��!f')7d*A'�7:�=� 2e'��)4F"a')4+�)�W2�[R®������ 78��b+9:7d"�*!')78���+2o�!��')(����)4+9:�W2�OF7�'oT=�����-��*!')�W2^')(���*!b�b+�)�=b��)7d*A'��*!4F"a')78���F2o*!�FV V?�&'������$7:���W2{'�(���*�4+"a'�7:�=� b+*���*�����')�-��2-[{\]�%*!�F2)*="a')78���F2R7:� ')(��$*!4+"&')78���+2T��-�����%*A'��n*�V+V?7�'�7:�=�+*!9=�)4+9:�W2�OAPR(�7d"%(3b����?V?4+"��n���-2)4�9�'%2c���=�]'�(��n1F�+*!9N"&�=�='���*="a'W[]mo2~b+*!�)'~���')(+782Q���-P©���%*!�$��P������ O-�=4��*!b�b����=*="%(3*!989:�AP{2]����������4+2)�n���+'�(��#78�?���=�)�@*A'�7:�=��78����4�9�'�7:b+9:�25'�*!T=�-2��!�Q')(+�3"&���6'���*="a')78��T�b����N"��-2�2�[

�! #" $&%('*),+.-�/0).1#'3254-�'32(67-82:9\^(+*!'���4+�o9d*!��T=4+*!T=����4+25'�2)4�b�b0���)'�*�9:9~')(�������2e'%*!T��W2{���n"&���6'���*="a')78��T �LV?782�"&�A`=����;�OF���&fT���')7d*A'�7:�=��O�*!�+V��&Z?�W"&4?'�7:�=�F��782{�����3*��)T=4��$���6'^�����{*�V���b?'�7:��T@*@V?�W"&9d*!�%*A'�7:`=��*�b�b����=*�"%(][�<;��-"�98*���*!')78`�����(+�����o�$�-*��+2'�(+*A'#')(���25�-�$*��6')7d"�2n2�*µ;�PR(�78"%(�"&���F"&984+2578���F2n*!���R���6'%*!789:�WV.N;�*,T=7:`=���@25��'n�!� b������$7d25�W2�O=PR7�'�(���4?'�V?��b0���+V����+"��{���$b����?"&�-V�4���*�9����_"����6')����9�*=25b0�-"&'�2�!�^78�?���������+"���*!98T��=�)7:')(��@2-[ � �©*�V�V�7�'�7:�=��'��=�+�&Z?78.�789:7:'e;�O�254F"%(�*��Y*!b�b����=*="%(/b������$��')�-225'�*!�FV�*!�%V?7?>-*A'�7:�=��ON(N4��@*!�<4��+V?�-��25'�*��+V�*!.+7:987�'e;=O�*!�+V<78�?�������@*A'�7:�=������4+2)��[\]�%*�V�7�'�7:�=�+*!989:;=O?"&���6'���*="a'�2^*��)�,25b0�-"�7�1F�-V�7:��98��T=*�9:98;@���������%"&�-*�.�98�o�+*!')4��%*!9c9d*!��T=4+*!T=�

�@�)9:�-T=*�9:�W25���=�aOA*=2~78�$*{'e;Nb�7d"�*�96�$�=�5'�T=*!T=�#*�T��������$�-�='W[]m�'�')(��^��')(��-�Q��ZN')�����$��*��)�^*!4�')�!f�@*A'��-V<98*���T�4F*!T��W2������{���-25')��7d"a')�WV�V����@*!78�+23�s��[ T+[8OBA_98�-"&')������7d"�;�*!'�* � �6')�-��"%(F*!��T=�W�a[ � �')(+�o9d*A'5'����WO��$�=25'#��� ')(������W*!��78��T37d2#7:�$b�9878"�7�'�7:��')(���*!4?'����@*A'��-V$����b����-2)���6'�*!')78����[~���*!����78��')(���2)b+*���2)��98;S�?"�"�4�b�78�-V��$7dV�V?98��T�����4+�+VcO+*�7:�$78��T@������"&���F257dV?���%*!.+9:����ZNb+�)�W2)2)7:`=�b0�AP#�-��.+4?'o*!9d25�@"����+2)78V����%*!.�98��*�4?')�=�@*A'�*�.�789:7:'e;�[��������b����-2)���6'�"����6')�%*�"&'�2<*�2<25��'�2<�!��.�4+2)7:���W2)2���4�9:�W2�O��&Z?b����-2�25�WV�*�2w�_CA} HaG k%CA} i

C C)M K BED H C)M H)J�F�i �It�£ ¤ 2%�oª NIN O Nµpµ« [\^(��,�)4�98�-2���4+2e'{2)bF�W"&7:��;�'�(��,T��N�?V�2^*!�+V�25�-�)`N7d"&�-2')��.F��b��)�A`N7dV?�-V�O6*�9:�=��T�PR7�'�(S*!b+b�9:7d"�*�.�98�R')�-�)�@2�*!�+V@"����+V?7:')78���F2�[_�N4+"%($'������@2n78�+"&984+V?�"&4F2e'����$����2)����`N78"��@*!T������-�$���6'�2-O~V?�-9:78`��-�);�2)"%(��WV?4�98�-2-OQ"����+V�7�'�7:�=�+2,�������)��')4����+2-O]4+2�*!T=�

y

Page 6: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

���-25')��78"&')78���+2-O?*!�+V<�!'�(����R7d2�254��W2^�)�-9:�-`A*!�6'#'��$')(���T=�N�NV����{2)����`N78"���b+�)�A`N7dV?�-Vc[

�! � � -�/��!2:+.%*63'���� '7%��#9��72:9t#���6'���*="a'�����'�"&�=�?1+T=4��)�W2,*!4+"&')78���+2�.+*=25�WV/�=����4�98�-2,*!.0��4?','�(��@"&���6'���*="a'�*!�+VX*!.0��4?'')(+�S���-T��!'�78*!')78����O�*�2�P#�-9:9^*�2�T��-�����%*!9_.F*�"%�NT�����4��FV��N���APR98�-V�T���*!.0��4�'�*!4F"a')78���©"����?f1+T=4���*!')78����7:'�2)��9:�e[�\^(�7d2o.F*�"%�NT�����4��FV��N���APR98�-V�T����sV��-2�"&��7:.0�-Vv78�/V?��'�*�7:9~7:���?�-"a'�7:�=��¨��78�+"&984+V?�W2^�)4�98�-2RV��&1+��78��TFg

N [^\^(+�<b+�)�?"&�W2)2��!��T��-�����%*A'�7:��TX254+7�'��-2��!�,*!4+"&')78���+2������$���-T���')7d*A')78�����!�o��4�9�'�7:b+9:�bF*!�%*!�$�&'����%2�O�*��+V������3*!T=T�����T6*A')78��TS*�T��-�='�b����&���-�)�-�+"&�W2�*!.0��4?'�PR(�7d"%(Y*!4+"&')78���+2'��@T��-�����%*A'���[

p [^���-(+*µ`N7:�=��*�9���98���$���6'%2����_7:�FV?7:`N7dV?4+*�9�*�4+"a'�7:�=�+2�ª p ¦ « Oc*��+V ����9d*A'�7:�=�+25(+7:b+2�*!�$���+T'�(��-2)����98���$�-�='%2�[

y [ � �-*!�F2^�!�25b0�-"�7���;N78��T�')(��W25��.0��(+*µ`N78���%2#�����{*�b+*!�)')7d"&4+98*��{*!4+"&')78���<b�98*!'5���=�)��[\]�@"����?1+T=4�����*$2)�&'R�!��*!4+"&')78���+2����=�^*�b+*��5'�78"�4�9d*!�RV?���@*�7:��O?P��,7:�F"&����b0���%*A')�,*�V+V?7�f

')78���F*!9��)4+9:�W2o�������>')(��@"&�=�6')�%*�"a'�')�-��b+98*!')�@*!�+V/��������b0�!')�-�6')7d*!9.�4�;=���%2�*��+VX25�-9:98���%2�[\^(��W25���)4�98�-2-O�"&�=��.�78���WVvPR7�'�(/'�(���.+*�"%�NT�����4+�+V��N���APR9:�WV?T���*!.0��4?',*!4+"&')78���X"&����1+T�4?f�%*A')78���]O]*!���$4+25�WV '��v7:��������'�(���*�"&')4+*�9_*!4+"&')78����b+*!�%*!�$��')���%2������3*�2)4�7�'��@�!�R*!4+"&')78���+2')(F*A'{PR789:9c78�$b�9:�-�$���6'{')(+�3"%(��=2)��������T=�!')7d*A'�7:�=�<25')��4+"&')4�����[

�! � $&%('�� 2(63+�1#'32�� 9 2:%:),1#-�),1#%('�� 9 /��3-�'31������

m��+*A'�4���*�9 ���+V?b0��78�6'^�����#')(���V?7d2)"��A`��-�);�b�(+*=25���!�~"����6')�%*�"&')78��T�7d2^*�2)b0�-"&7:1F"-*A')78�����!�~*b+*��5'�78*�9+"&�=�='���*="a'WO!���n"����6')�%*�"&'')�-��b+98*!')��[\^(�7d2_"-*!b?'�4��)�W2�')(+��V?7d2)"��A`��-�)�WV�"����6')�%*�"&')78��T��b+bF�=�5'�4���7:'e;�O����-"���T��+7 >-7:��T�')(F*A'���4��)')(��-��V?��'�*!789d2,��4+25'3.F�@�+��T���')7d*A'��-V/')�vV?�&'������$7:���PR(���')(��-�3*!��*="a'�4+*!9_"����6')�%*�"&'�PR789:9���-2)4�9:'-[�®������=4��,b�4���bF�625�W2�O�*�"����6')�%*�"&'�'����$b�9d*A')���4F2e'@�&Z?b����-2�2�')(��v2)b+*�"�������b0�=2�2578.�98�����-T���')7d*A')78���w��4?'%"&�=���W2�O#*!�+V�*!�N;©*�V+V?7�'�7:�=�+*!9T�4+78V�*��+"&��'�(+*A'{�$78T�(6'R7:�,�F4����+"��,')(��325')��4+"&')4����,�!�254�.F25���=4+���6'R����T=�!')7d*A'�7:�=��[��4��39d*!��T=4+*!T=�$4+25�W2�t#��4+�5'�����4F23£��=T�7d" ¤ �)�=T��%*!�@2������3����b+�)�W25�-�='�7:�+T�*�9:9n�!�^')(��W25�

*�2)b0�-"a'%2��!�o'�(��v"&�=�='���*="a'�')�-��b+98*!')��O^*�2�P���989{*�2�')(+��1F�+*!9{"����6')�%*�"&'-[wm�2@25(+�APR��78�®Q7:T=4���� N O~')(��<"&���6'���*="a'�')�-�$b�98*!')�S"����$b���782)�-23�)4�98�-2�')(+*!'�PR789:9#7:�$b�98���$���6'�')(��@1F�+*!9*!T=�)�-���$���6'n��')(�� �5b����!'��!f¥"&���6'���*="a' �6�aO�*�9:�=��T{PR7:')(3��4�98�-2~V?�-2�"&��7:.+7:��T^'�(��#"����6')�%*�"&']7d2)2)4��-2')�$.0������T=�!'�78*!')�-VX��'�(�� �5�+��T���')7d*A'�7:�=�?fI98��`=��9 ��4�9:�W2<�6�a[\^(��!� H C G CAE5B%CAD GLH�J B G ���&���-��2Q'��3.+*=25�-9:78�����s*�"&'�2n*��+V$"&�=�+V?7:')78���+2����T6*!�%V?78��T��$�W"%(+*!�?f

7d"�23���R')(���V?�-*�9��s��[ T+[8OQbF*µ;6�$�-�='�*!�+VYV?�-9:78`��-�);���*��+VY*!�F"&789:9d*!��;X*�T������-���-�6'�232)4+"%(©*�2���&')4+�)��bF�=9:7d"&78�-2�����b����A`N782)7:�=�+2R���=���s*!789:4������!�n�=����bF*!�)'e;�[ � '�782�'�(��$b+*!�)'����_')(+�$"����?f')�%*�"&'3')(F*A'�"-*!���)78�-2,�A`=���34+�+"%(+*!�+T��-V�78�6')�v'�(���1F�+*!9^"&�=�='���*="a'W[�\^(+�Sb����!'��!f¥"&���6'���*="a'"&�=��.�78���W2RPR7�'�(��s*�"&'�2R'��@.F��V?�&'�������78���WV<')(�����4�T=(�����T=�!')7d*A'�7:�=�<')��"&�=�+25')7:')4?'���*!�v��Z6f�-"�4?'�*�.�98����4�98�-2)�&'R78��b+9:�-���-�6')78��T$')(��3*�T������-���-�6'-[\^(��$����T=�!'�78*!')78���?fr9:�-`��-9~��4�98�-2�*�V+V?�)�W2)2�.0�!')( �64��-25')78���F2,�!���� JAG 782�'���.F�$���-T��!'�7�f

*A'��-VcOµ*!�FV��+C �["!R4�98�-2~V?�-2�"&��7:.+7:��TRP^*µ;?20')(+*!'�')(+�_"&���6'���*="a'�7d2)2)4��-2��$*µ;�.F�bF*!�)')7:')78�����WV78�='���25�-b+*!�%*!.�98�R"&�=��b0���+���6'�2V?��1+���^'�(��{25bF*�"&�^���0b0�=2�2578.�98�oM=CWC$# i ')��.0�R����T=�!'�78*!')�-V�*A'*!4F"a')78���][%!R4+9:�W2��)���������)78��T�')�,b0��9878"�7:�W2���������-T���')7d*A')78��T,78�+V?78`67dV?4+*�9+"&�=�$bF�=�����6'�2V��&1+���')(+�3*!4+"&')78���<.F�-(+*µ`N7:�=��2#�����^'�(��3"&�=�)���-2)b0���+V?78��T�T��N�?V�2-[

¦

Page 7: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

Contract Template

Rules ImplementingAgreement("proto-contract")

Negotiation-levelRules

Executable Contract

TransactionFacts (buyer,seller, price, qty,other attributes)

Rules ImplementingAgreement("proto-contract")

NegotiationMechanism

®Q7:T=4���� N g#��`��-��*�9:9 "&�=�='���*="a'�7:��T$b����?"&�W2)2-ONb+*!�)')7d*!9 '��$"����$b�98�&'��3"&���6'���*="a'-[

\^(�7d23V?7d2e'�7:�+"&')78����.0�&'eP�������V?�W*!9:fI98��`=��9_*!�FV/���-T���')7d*A')78����fI98��`=��9Q�)4�98�-2,�+���-VX����'3.F�2)(+*!��b�O_(��AP���`=���W[ � �©�s*="a'-O�*!��7:�$b0���)'�*��='@*�V�`µ*��6'�*!T=�S����*��)4�98�&fr.+*=25�WVY�)�-b����-2)���6'�*!f')78���X9d*!��T=4+*!T=��7d2�')(��@*!.+7:987�'e; ')�v*!b�b+9:;v��4�98�-2������,��4�9�'�7:b+9:�$b�4���b0�=2)�-2-[ !R4+9:�W2�78�X')(��b����!'��!f¥"&���6'���*="a'{'�(+*A',7:�$b�98���$�-�='32)���$�$*�2)bF�W"a'��!�_'�(���1+�+*�9�V��-*!9��@*µ; *!9d2)�S.0��4F25�WV78� V?�&'�������78��78��T�*!�v*�b�b�����b���78*!')�,���-T��!'�78*!')78�����$�-"%(+*���7d25��[#®+���{��Z�*!�$b�98��O�'�7:�$��"����?f25')�%*!78�='%2����vV?��9878`�����;@�@*µ;SV?7d"a'%*A')�3*�4+"a'�7:�=�S1F�+*!9]"�9:�W*!��7:�+T�'�7:�$�-2-[�^*�2)�-V$���@78�?���-�)�-�+"&�o���)�=��'�(��o�A`=���%*!989�"&���6'���*="a'')�-�$b�98*!')��*!�+Vv�s��b?'�7:�=�+*!989:;��_�)4�98�-2

2)4�.��$7�')')�WV©.N;©*!T=���6'�2-Ont#���6')�%*�"&'����!'$"&����1+T�4����-2�*/2)�&'$�!��*�4+"a'�7:�=�+2�"&���F2e'�7�'�4?')78��T�*���-T��!'�78*!')78���$�$�-"%(+*���7d25� "&4+25')�=�$7 >-�-V������_')(�7d2#"����6')�%*�"&')78��T,��b�7d2)�NV���[\^(�7d2n25')��b@� �0�W"af')78`��-9:;S.��)7dV?T=�-2�')(+�3V?782�"&�A`=����;@*!�+V<���-T��!'�78*!')78����b�(+*�2)�-2^����"����6')�%*�"&')78��T+[mR��'�����t#�=�6')�%*�"a'%���!'�"&�=�?1+T�4+�)�W2�*!�+V�78��7:')7d*A')�W2@'�(�� ���-T��!'�78*!')78�����$�-"%(+*���7d25��O^7�'

�$����7:')�=��2�'�(��S"����+25')7:')4��-�6'�*!4+"&')78���+2-O]P^*!7:')78��T����=�,')�%*!�+2�*�"&')78���+2-[ An*="%(/'���*��+2�*�"a'�7:�=�T��-�����%*A'��-2*��s*�"&'#2)bF�W"&7:��;678��T�PR(�7d"%(@*�2)bF�W"a'n���F'�(��o"����6')�%*�"&'Q'�(��^')�%*!�F2)*="a')78����b0���)'�*!78�+2')�FORPR(��Y'�(��/.�4+;����<*!�+Vx2)��9898����P�������O{*��+V�')(���b���78"��/*!�+V �64+*��6')7:'e;�[u\^(�� b+�)��')�!f"&�=�6')�%*�"a'3"����6'�*�7:�+23�)4�98�-2�')(+*!'��@*!�=�@4+25�@���{254+"%(�'���*��+2�*�"a'�7:�=�/�s*="a'%23���F"&�$')(+��;�*!���1+989:�WV�78��[~®+���]��Z�*!�$b�98��OW')(��#b����!')��fr"����6')�%*�"&'cP#�=4�98V�'e;Nb�7d"�*�9:98;,7:�F"&984+V?�#*{�)4�98�nV?7d"a'%*A'�7:��T')(F*A'�'�(���*!�$��4��6'�b+*!7dV©.N;Y*!T=���6' � '���*!T=���6'��U782�')(+�<2)4�� �!�R'�(��<b��)7d"&�W2�78��*�9:9')�%*!�F2)*="a')78���F27:�@PR(+78"%( � .0��4�T=(6'_���)�=�����$7:�N4+2_')(���254�� �!�c'���*��+2�*�"a'�7:�=�+2�78��PR(�7d"%(� .F�=4�T�(6'^������� � [®Q7:�+*�9:98;�O�*!��')�-�#'�(���25��'����~*!4F"a')78���F2�*��)��"&�=�?1+T�4+�)�WVS*!�FV���4���*��+V@'�(��,����T=�!')7d*A'�7:�=�

b�(+*=25�#782�"����$b�98�&')�=OAP#�^"�*���*�4?')�=�$*!')7d"�*�9:98;,���6')�-�]'�(��^�&Z?�-"�4?')78���3b+(+*�2)�#.N;�T=�����-��*!')78��T')(+�@1+�+*�9n"&�=�='���*="a'3*�2�*���4��+"&')78���Y�!��')(+��b����!')��fr"����6')�%*�"&',*��+V�')(���*!4+"&')78���Y���-2)4�9�'%2�[\^(��v*�"&')4+*�9R�&Z?�-"�4?')78�������o1+�+*�9o"&�=�6')�%*�"a'%2��)�-b��)�W25�-�6')�-V�7:��t�£ ¤ 7d2�')(+� 254�.��e�-"a'����b�����`N78��4+2�P������ ª NµpW« [

¨

Page 8: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

� � �������&�����B� ����{�� ���3��� �����&���

� �W"%(+*!��7d2)�$23�����$V?�&'������$7:��78��T�b��)7d"&�<*!�+V©�!')(+����')�����@2����o*!�©��Z�"%(+*!��T=�S*!���S"-*!989:�WVJ }+B GIK CAD i [�m{9:')(+��4�T=(w'�(��/�$�62e'@�s*���789878*��S*!4+"&')78����'e;Nb0�-2@���-2)��98`������+9:;�b���78"���O^7�'�782b0�=2�2578.�98�,')�SV?��1+��� F },� GIK # K F k&D iaK CAD J �T��-�����%*!987 >W*A'�7:�=�+2#')(+*!'o�)�W25�=9:`=�,��4�9:')78b�98��7d2)2)4��-2*A'��=�+"&�=[�\^(�7d2�"�*����%*!�+T������)�=�U*�2578�$b�9:�@*�b�b����=*�"%(��!���)4��+��7:�+T<78�+V?�-bF�-�+V?�-�='3�=���&fV?78�$���+2)7:�=�+*!9�*!4+"&')78���+2-O^')�����=�)��"&���$b�987d"�*A'��-V�*�b�b����=*="%(��-2�'�(+*A'�V?7:���-"&')98;w�@*��+*!T=�(�78T�(��-�5fr���%V?�-�#78�6')���%*�"&')78���+2^*����=��T�')(���bF*!�%*!�$�&'����%2�[m{4+"&')78���+2^(F*µ`���b��)�A`=�-V�*�b0��b�4�9d*!�R�$�WV?7:4+� ����� � �6')�-�)����'{"&���$�$���%"&�=[ <m{9:')(+��4�T=(

'e;Nb�7d"�*!9"����+2)4��$���)fI�=�)78���6'��-Vv�=��9:78���@*!4F"a')78���F2�2)4�b�b0���)'32578�$b�98���+��T���')7d*A'�7:�=��2)����`67d"&�W2�O.�4+2)78���-2�2efI')��fI.+4+2578���W2)2~V?;N�+*!�$7d"_'���*=V?��*�b�b�9878"-*A'�7:�=�+2](F*µ`��n.0��T=4��3'�����Z?(�7:.+7�'_*�V�`µ*��+"&�WV"�*�b+*!.+7:987�'�7:�W2{b�����`N78��4+2)98;�����4+�+Vv78� �)�W25�W*!�%"%(<2);?2e'����@2-[o®��=�{�&Z�*!�$b�98��O 2)���$��"&�=�$���-�5f"&7d*!9F*!4+"&')78���$b�9d*A'5���=�)�@2#254�b+bF�=�5''�(��o"&�=�?1+T=4���*�.�789:7:'e;�"%(+*���*="a')�-�)7d25')7d"#��� ')(�� � 78"%(�78T=*��� �6')�-�)����'3m{4+"&')78���+���!'�ª p!yµ« O]*��+V�2)��`=���%*!9Q7:�6'���T��%*A'���*�4+"a'�7:�=�+2�PR7�'�(��!')(+����"&�=���$�-��"���s*�"�7:987:')78�-2-[ �m{9:')(��=4�T�(/��4�9:')7dV?78���-�+2)7:�=�+*!9~���W"%(+*!�+782)�@2{*!���3�$�����3"&�=��b+9:7d"�*!')�-V�O0*��+V����!'�;��&'

PR7dV?��98;�*µ`A*!789d*!.�98��O,P��X��Z?bF�W"a' '�(+*A'v'�(���;�PR7:989��-`����6'�4+*!989:;�b��)�A`N7dV?�Y*!��7:�$b0���)'�*��='�$�-V?784�� ���=��*�4?')�=�$*!')�WV@����T=�!'�78*!')78����[ � �Sb+*��5'�78"�4�9d*!�WO B%C F ��K D JAG C HaKsJ �~*�4+"a'�7:�=�+2#*�9:98�AP.�7dV�V?�-��2�'��3�&Z?b����-2�2� �0�-��2����=�n"&�=��.�78�+*!')78���+2���0T=�N�NV+2�O6*!�+V@V?��')�-�)�$78���o*!�@*�9:98�?"�*A'�7:�=�')(F*A'o*A')')�-��b�'�2R'����@*AZ?78��7?>����A`=���%*!989c254���b�984+2-[^t#����.�78�+*A'�����78*�9 *�4+"a'�7:�=�+2R(+*µ`=�,98*!')��98;���-"&�-7:`=�-V���4+"%(�*A')')�-�='�7:�=�Y������� *�"-*�V?�-��7d"����-2)�-*���"%(+���%2@ª y OQ¯+O N ¬?O N��µ« O_*!�+V©P#�<*!���*µP^*!���o�!�2)��`��-��*�9 �@� ���)'�2�')�@V?�-b�98�A;@')(��-� "����$�$���%"&7d*!989:;=[

� },� GLKsJ!GLGIHaK�� } G k�*!4+"&')78���+2�*!989:�AP¢2)bF�W"&7:1F"�*!')78�����!���� ���%2{���&���-�)��78��T�')����4�9�'�7:b+9:��*A'5f')��78.�4?')�W2��!�#*<2578��T=9:��T��N�?V©ª ¨ « [�\^(���;v(F*µ`���(+7825')�=�)7d"�*�9:98;�.F�-���X���$b�98�A;��-V 7:�XT��A`=�����?f�$���6'�b+�)�?"&4+�)�-���-�6'�ª ¬ « O .�4�',*��)�3.0�-"����$78��TS�$������"����$�$��� 78�/"&�=�$���-��"�78*�9~*�4+"a'�7:�=�2)�&'5'�7:�+T=2,��'�(���4�T=(S78�<"�4����)�-�='�b��%*�"a'�78"���O6')(+����4�9:')7d*A'5'��)78.�4?'���')�%*�V?�-���c2�*��)���!��'����<(+*!�?fV?98�-V<�@*!�N4+*�9:98;��a[�x(��&'�(�����*���4�9:')7d*A')')��7:.�4�')��*!4F"a')78���]O~*�"&�=��.�78�+*A'�����78*�9*!4+"&')78����O��=�3*!�Y*!���%*µ;<���

���+�&f,��� >��-�)��frV?78�$���+2)78���+*�9#*!4F"a')78���F2��<782$*�b�b�����b���78*!')�<V?��b0���+V+2$���w2)��`=���%*!9n�s*�"a'����%2�[m{9:')(+��4�T=(�*<��4+9:9nV�782�"&4+2�2)7:�=�X7d2�.0��;=���+V/')(���2)"���b0�����#'�(�7d23b+*�bF�-�-O~P#�$��.F25�-�)`=��'�(+*A'')(+�-2)���s*="a'����%2R"�*!�<.0�-*!�R�=�<*��N;��!�eg

� \^(+��B%C ��k H k�D0B%k��!�*!4+"&')78��� "����?1+T=4��%*A')78���F2�[n®+���{��Z�*!�$b�98��O+7:�_25�=�$�3*A'5'��)78.�4?'��-2*��)��7:�+2)��bF*!�%*!.�98�@�s2�*µ;�OF2)7?>���*��+Vv"&�=9:�=�{�!�n*$T=�6�?V+�&O+'�(����/7�'o�@*����-2{���S2)���+2)��')�'��)�W*A'^')(+��� *�2R2)��b+*���*!')��T��N�?V�2�7:�v*$"&�=��.�78�+*A'�����78*�9c*!4+"&')78����[

� \^(+�vk�|@��k%B G k # �+k H�� C H F$J D0B%k@���#*!4F"a')78���X"&�=�?1+T�4+��*!')78���+2-[�®����,��Z?*��$b�9:�=Oc7���b+*Af�%*!�$��')���%2 ����b����-2)���6']V?7d2e'�7:�F"a'~*��+V,25�-b+*!�%*!.�98�"&�=�='���*="a'��=b?')78���+2-O-')(��-�,')(��-;�"&�=4�9dV.0�S(F*!�+V?98�-V©��7:')(��-��.N;X2)��bF*!�%*A')�@�=��"�����.+7:���WVY*!4+"&')78���+2-[ � �R')(+�S��b�')78���+2�*!���

� <�û1���)���lú×û�� �>ú �Rú×þ���DEø��0ý,J�ý%´��2þ�ø �Lýºû��6M �{¶sú¸´¸´×ú��2þ�³��2þµ³e²��?�RøÄþ��L´ J �I²�þlþlú×þ��Oý%²µ³ �Rú��2þ�û�ú×þ K6B#³®ý �Rø >�#�#�Rú×øÄû,M

� � ���a¶sú×þ�ø®þ'�8øÓÿ�ý%¶ µ´×øÄû8ú×þµ³e´¸²lülø �?�løÐý%²µ³ �>ú��2þ �Èý%³®ú¸´×ú �>ú×øÄû8ú×þ"!�� H$# û&%+øe·lû?��lø��Rø('9�a¶R¶sø��I³Äø) ²lú �>ø+* B�,�D�B,G.-�D,ýºþlü <7�>ú¸·Lý/# û3ý%²µ³ �Rú��2þ ����}üµ²µ³ �>û�M ± �lø <;�Rú¸·Lýnû?Jbû?�>øe¶ ýºü��#6�>û4ý\üløÄûRú��2þ2>$�=�#�+>³��2þ/0��a²��Rý%·lú¸´×ú ��J�ý����?��ý%³���ûRú¸¶sú¸´Íý�� ���L<Q²µ³ �>ú��2þ1�9���2# û,D{ýºþlü�û��3�0øáý��>ø�³��2þ/0Lü�ø®þ'� ���lý ��?�lø^¶sø �?���}ülûüløÓù�øe´��#Ûø®ü/�lø��Rø³��a²µ´×ü�·Ûø-ý��W´×ú×ø®ü�����ø,�>ø�ýºû4�Gø5´¸´$M

5 <76®ø��?��>éülú¸¶søÄþlûRú��2þlý%´Eý%²W³��>ú��2þ�ú×û �2þlø7�?�Lý �!ülø �Rø��L¶sú×þløÄû �2þµ´ J ��Rú¸³Äø#M < �2þlø >éülú¸¶søÄþlû>ú��2þLý%´Eý%²µ³ �Rú��2þülø �>ø,�L¶sú×þløÄû ��Rú¸³Äø-ýºþlü98-²Lýºþ'�>ú ��J�M

¬

Page 9: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

"����+2)7dV?�����-V/.6;/����T=�!')7d*A'�7:�+T�*!T=���6'�2�'��<.0�@254+.+2e'�7�'�4?'�*�.�98��Oc'�(�����25�-b+*!�%*A'���*�4+"af'�7:�=�+2PR789:9+9:78���-9:;3P�������P���989]ª N ¦ « [ � �0')(��-;�*��)�R"&�=�$b�9:�-�$���6'�*��);=Oµ')(��-��"&����.�78��7:�+T'�(���� �@*µ;�b����A`��,*�V?`A*!�6'%*!T��-��4+2-[

� \^(+�SB�C F � �:k�| K�GIl ����*�4+"a'�7:�=��"����?1FT�4��%*A'�7:�=�+2�O6���=�R.F��')(<')(������W"%(+*!�+782)� 78�?����*=2ef'��)4F"a')4+�)�3*��+VSbF*!�)')7d"&78b+*A'�7:��T@*�T����6'%2�[� ���N�W"a'�7:�=�+2<¨�[ N *!�+V�¬�P��/T=7:`=� �&Z�*!�$b�98�-2��!��')(���254+b�bF�=�5'�')(+*!'�'�(���"&4����)�-�6'

t#���6'���*="a'�����'�b��)�A`N7dV?�-2c���������-*=25�=��7:�+T{*!.0��4?'�'�(��#*�.F�A`=�_"&��7�'�����78*R*��+V�"%(��N�=2)78��T{*!�$���+T*!9:')�-�)�F*A')78`������-T��!'�78*!')78���<�$�-"%(+*���782)�@2�[

� � �����Q��o���&���©� ���&���¡�� ������ �

mo2Q����')�WV�*�.F�A`=��OµP#������b����-2)���6'Q"����6')�%*�"&'�2Q*!�+V�b+*!�)')7d*!9N"&�=�6')�%*�"a'%2~*=2_t#��4��)')�-��4+2Q£��=T�7d"¤ ����T=��*��@2Qª NWpµ« [t�£ ¤ 2��&ZN')�-�+V�C H # K D J!Hal £ ¤ 2_ª ¦ « PR7�'�(,')(��n"-*!b+*�.�789:7:'e;o'��{"&�=�6`=����78���6'�9:;�&Z?b����-2�2#')(��,����9d*A'�7:`=��b���78����7�'e;$�!�Q�)4+9:�W2�O�*��+V�'�(N4+2^PR(�7d"%(�PR789:9cb+�)�-`µ*�7:9 78�v"�*�2)���!�Q"����?f�+7d"a'%2�[Q®����Q�&Z�*���b+9:�=Oµ2)���$�_��4�98�-2]�$*µ;,.0�n�A`=�����)7dV�V?�-��.N;,�!'�(����~�)4+9:�W2�'�(+*A'�*!���n25b0�-"�78*�9�f"�*=25���&Z�"&�-b?')78���F2�O �$�����&fr�)�W"&�-�='�4�b0V+*A')�W2�Oc�=�o��������(+7:T=(����)fr*�4?')(+����7�'e;�25�=4��%"&�-2-[3t�£ ¤ 2�s*�"�7:987:'�*A'��S2)bF�W"&7:��;678��T/2)�&'%23���^��4�98�-2�.N;X�$����T�78��T *!�+V�4+b0V�*!')78��T/*��+VY*�"-"&4���4�98*!')78����O78��*<2e'e;N98��"&98�=2)���$��'�(+*!�X���%V?78�+*!��;�£ ¤ 2%�{')�<�+*A'�4���*�9~9d*!�+T�4+*�T���V��-2�"&��7:b?'�7:�=�+2-[ ¤ �)78����7:f')78�-2n*!���R�)�-b��)�W25�-�6')�-V�`N78*�*��s*="a'#"����$b+*��)78��T,�)4+9:�R9d*!.0��9d2�g������ ��������������������������� � �$�-*��+2_'�(+*A'!������"�o(+*=2n(�78T�(+���^b���7:�=�)7:'e;�'�(+*!�#������ �F[ � �$���������*!�+V%���&�� ��"&���.�+78"&'-O')(+���'���&�����PR7:989�PR78��[

(*),+-/.1032"4*576�8:93;=<�+�>?9@6�ACBD2 +8�EGFH93-I2\^(�� A_�+T�98782)(�V��-2�"&��7:b?'�7:�=�����0*�.�4+2)78���-2�2efI')��fr"����+2)4��$����V?�%*A��'_"&�=�6')�%*�"a'"&�=�$��4���7d"�*!')�WV��������*��$*�7:��987:�����L25�-9:98���a�]')�3*�')�%*µ`��-9:�-�^�s.�4�;=���a�Q��78T�(6'_78�+"&984+V?�{*,"����6')�%*�"&'"�98*�4+2)�#'�(+*A'"&�=�$b��)7d2)�-2^'�(��3���=9:98�APR7:�+T$'eP#��.+4+2578���W2)2o�)4�98�-2-[7;��-2�"&��7:.0�-V�78� A_�+T�98782)(�O�'�(��31F��25'o��4�9:�7d2�gJ ��K���ML�N�OCP����"�RQ�KTS�U&T���VN�� S�����WS��XP�Y� VZ� O�S"���M�?[\��N�K"�I]&�Q ���� LRU���������C���V&N�� S����1�^��Q_ S�U&Y] ��K��`���TNCV���Q �� ���ZLR����S�aP���cb\^(���2)�-"&�=�+V��)4�98��7d2�gJ ��K���ML�N�OCP����"�RQ�KTS�U&T���VN�� S�����WS��XP�d��Q\N�O`�RSaPM��V\� O S����T�Z� N�K"�]&�Q ���\� LRU���������C���V&N�� S����1�^��Q_ S�U&IP����"�RQ"��L�N�S"�e��OM���YS�YV&���S�V&��OYS�U&T���V&N�� S����1�fN�O�_ S�U&gLR��� ���O�SdQ�&�ah�U�Si���YQ���� ��b\^(��{2)�-"����+V���4�9:�R(F*�2�(�78T�(��-�_b���7:�=�)7:'e;�'�(+*!��')(+�R1+�%2e'WO!')(+�R��*!')78���+*�9:�^.0��78��T,')(+*!'nPR(��-�')(+�3"&4����)�-�6'*�+78T�(6'{7d2���4�989�')(+�3*!78�)987:�+��(F*�2RV?�-�$*��+VS�����R�&ZN'���*$2)�-*A'%2�[\^(��-2)����4�9:�W2R*!����25')�%*!78T�(6')������P�*���V?98;$�)�-b����-2)���6')�WV�78� t#�=4��)')���=4+2^£ ¤ 2�O?�=[ TF[:O�*=2�g

j ���N���k��XP"�l�����"��mP�������Q"��L�N�S��e��O�n���S���Le=�po J ��K���q�%o�r �� ����D�'o�s�&�Rh�U�Sq�t�?[���N�K"�� j _

V���Q��� ��� u�����S��RP����v�Q��wo J ��Ke�D�xo�r �������� =b

­

Page 10: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

j ���N���k��XP"�l��������mP�������Q"��L�N�S��e��O�n���S���Le=�po J ��K���q�%o�r �� ����D�'o�s�&�Rh�U�Sq�#����N�K��� j _

P�������Q"��L�N�S��e��O�k�K�V&1�Go�s&��ah�U�SD� V&���S�V&��O� � n��Q�&�ah�U�S����Rs���� �=�wo�s&�&�?h�U�S" :b

����� ���������p�� N���k��pP"�l���� �1�x���N���k��XP"�l�����"�� =b� �-�)� ')(��X*!���)�AP �@� j _ �6��7:�+V�78"-*A')�W2 �)7�� ��*!�FV�')(�� �wo � b��)��1�Zx7:�FV?78"-*A'��-2S*©9:�=T�7d"�*!9`A*!��78*�.�98��[t#��4��)')�-��4+2$£ ¤ 2�(+*µ`���2)��`��-��*�9#`N78�5'�4��-2@2)���@*��='�78"-*!989:;©*��+V�"����$b�4?'%*A'�7:�=�+*!989:;=[�m

t#��4+�5'�����4F2R£ ¤ 782{T�4+*���*��='����WV�'��@(+*µ`���*$"&�=�+257d25')���6'WO+*�2RP���989]*=2^4���7 �=4+��OF2)�&'{����"����?f"&984+2)7:�=�+2-[ ¤ ��78����7�'�7:�W2�*��+V/�$�-�)T=7:��T<.0��(+*µ`=��78�6')4�7:')78`��-9:;=[ A_Z?�-"&4�')78���w� �578�?���������F"&78��T �6��!�]"���4��)')�-��4+2#£ ¤ 2n7d2#�s*�25'-gQ����98;$�)�-98*!')78`���98;$9:�APx"����$b�4?'%*A')78���F*!90�A`�����(��W*�V$7d2n78�$bF�625�WV.N;@')(+�3"&���.�+78"&'{(+*!�FV?9:78��TF[��4��^P#�=�)�������)�-b����-2)���6')78��T�"����6')�%*�"&'�2#`67d*�t#�=4��)')���=4+2�£ ¤ 2#.�4�789dV�2����Sb+�)78���#P#�=�)�

*A' � � � ����b+�)�W25�-�='�7:�+T@.�4+2)7:���W2)2{�)4�98�-2�ª NµpW« [{\^(��378��b+9:�-���-�6'�*A'�7:�=� P��3*!���34+2)7:��T@7d2o*� *µ`µ*�987:.��%*!��;�"�*�9:98�-V t#�=���$�=��!R4�98�-2R*µ`A*!789d*!.�98�o������� � � � ª Na« [

� � �������&��� ���3���@{7� � ���

� �S*=V�V?7:')78����'���78�+25'�*!�F"&�&f¥2)bF�W"&7:1F"{��4�98�-2n���)�=�¡'�(��,"&���6'���*="a'_'����$b�9d*A')�=ON��4��^"&�=�?1+T�4+��*!f')78����b����?"&�W2)2R�-�$b�9:�A;?2^'�(������32)�&'�2{�!��)4+9:�W2R���+"��?V?7:�+T@.+*�"%�NT�����4+�+VS�N���APR98�-V�T���*!.0��4?'')(+�325b+*="&�,�!�QbF�62)2)78.�9:�,���-T���')7d*A')78���<�$�-"%(+*���7d25�@2-[

! #" � 63/0).1#%('�$ %(' �E2(67+.-�).1 %*'\^(�����}+B GIK CAD+Ea�_C!D��~M�} H)J!GLK C!D/��4�9:�W25��'�V?��1+���-2o')(+�3b����N"��-2�2R�!�n"���989:�W"a'�7:��T�*�9:9~bF�62)2)78.�9:�*A')')��7:.+4?')��"�����.�7:�F*A')78���F2������{���-T���')7d*!.�98�3"&�=��b0���+���6'�2-OF*��+V<T����+���%*A')78��T�*�4+"a'�7:�=�+2^������-*="%(wb0��78�6'@7:��')(+782�2)b+*="&��[x\^(�� 2)b0�-"&7:1F"-*A')78����7d2@9:78�$7�'��-Vw')�YP^*µ;?2��!��"����?1FT�4���7:�+T*!���%*µ;N2^���n2578��T=9:��frV?78�$���+2)78���+*�9~*!4F"a')78���F2�O *�2���4��o'�*��)T=�&'�*�4+"a'�7:�=� b�9d*A'5���=�)��"�4��)�����6'�9:;V?�N�-2#����'�2)4�b�b0���)'#��4+9�'�78V?78�$���+2)78���+*�90�+��T���')7d*A'�7:�=�@7:��7:�+V�7:`N7dV?4+*!9 *!4F"a')78���F2�[��x7:')(S���&f2)bF�W"a'�'���2)bF�W"&7:1F"�*!')78����7:'�2)��9:�eOW(F*!�+V?9878��TR')(+�nb0�=2�2578.�789:7:'e;����?��4�9:')7dV?78���-�+2)7:�=�+*!9N*!4+"&')78���+278�='��)�?V?4F"&�-2^�+�$"����+"���b?'�4+*!9�V�7���"&4+9�'�7:�W2�[m{4+"&')78���?f5t#����1+T�4��%*A'�7:�=��P������?2~.N;3T=�����-��*!')78��T �N �e�&�k���V���^�s*="a'%2Q�������`=����;3"&�=��f

.�78�+*A'�7:�=�v�!�n*!'5')��78.�4?')��`µ*�9:4+�-2-OF����')78��T�PR(�7d"%( "&�=�$bF�=�����6'��W*�"%(�.0��98����T62R')�F[o®��=�o��Z6f*!�$b�98��ON7:�$����&�R���� K�7d2�*����-T���')7d*!.�98��"����$bF�=�����6'��!��'�(���"&���6'���*="a'-ON*!�FVSV?�-9:78`��-�);$"�*��(+*µ`=�$')78���W2���� O&����P�N��<�=�H�����aU��s*��+VY��� ��')(��-�3���W*A')4+�)�W2��&O~'�(����wP#�SP#�=4�98VYV�����7:`=��N����&�k�� V&��1�G�� �&�R�����KD��� O&����P"N����& �*!�+Vt�N����&�k�� V&��1�G�� �&�R�e� KD��� �����?U��" 6[�\^(��"&�=�?1+T=4���*!')78��� ��4�98�-2)�&'�')(��-�X"��)�W*A'��-2�*!��*!4+"&')78��� ���=�,�-*�"%(/�!�n'�(��$`A*!984���'�4�b�98�-2-O]*!�FV')(+�Sb+*���*�����')�-��2,���=�3'�(��=2)��*�4+"a'�7:�=�+2378��(��-�)7:'�������� ')(���b+*!�%*!�$��')���%2,���=��'�(��Sb+*��)�-�6'"&�=�$bF�=�����6'-[� �Y*�V�V?7:')78����')�vV?��')�-�)�$78��7:�+T�'�(���2)�&'��!�^*!4+"&')78���+2����=�,*<b+*��5'�78"�4�9d*!��"&�=��b0���+���6'-O

m{4F"a')78����fet#�=�?1+T�4+��*!')78����(+��98b+2�V?��')�����$7:�+� (��AP '��Yb+*!�)')7:')78����'�(��v����T=�!'�78*!')78����7:�6')�"&�=�$bF�=�����6'�2-[�®����#�&Z�*!�$b�98��ON*�2nb+*!�)'n���c')(���7:�?���-�)�-�+"&�{�����^V?�&'�������78��78��T3b���78����7�'�7:�W2������-*="%( �!��25�-`����%*!9~bF�62)2)78.�9:�$"&�=�$bF�=�����6'�2�P���"����$b�4?'���* �54+2)����7:�6'������-25',2�"&�=�)���@PR(�7d"%(

¯

Page 11: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

7d2�')(��,'��!'�*�9c�N4���.0���R���~4+2)���%2^7:�6'������-25')�-V�78�S'�(��3"&�=��b0���+���6'-O?�=� >�������7��Q')(��-�)�,7d2^���!'*A'R98�-*=2e'R���+��.�4�;��-�R*!�+V<���+�,2)��9898���Wgj P�mW���e����aO�S���&��S�r&L���� 1�po�u �aP&V&��O&eO Sq�%o�n� j _

O���P J ��K���"���po�u��RP&V&�eO�O�S��xo�n J � n��O���P�r �������"���wo�u��RP&V�eO&�O�SD�xo�nr� � n �oen ���To�n J � o�nrDb

j U��ah�U�m ��������aO�S��&��SrL�����=�wo�u��?P&V�eO�O�S����� j _O �eP�r �� ����"���po�u��RP&V&��O&eO Sq���� =b

j U��ah�U�m ��������aO�S��&��SrL�����=�wo�u��?P&V�eO�O�S����� j _O �eP J ��K��"���po�u �RP&V&��O��O Sq���& =bm{9d25�@78�+"�9:4+V��-V�78� m{4+"&')78���?f5t#���?1FT�4��%*A'�7:�=��*!������4�9:�W2^T��A`=������7:�+T�'�(��3b���7:�=�)7:')78�-2^���

�!'�(�������4�9:�W2�[ � '�7d2o���)�=� '�(��-2)��b��)78����7:'e;���4�98�-2R'�(+*A',P����N���AP�OF�������&Z�*!�$b�98�3'�(+*A'�')(����4�9:��98*�.F�-982�78�v')(����&Z�"�����b?'�*�.F�A`=�3(+*µ`���b��)78����7:'e;<2)4+"%(v'�(+*A'�25��'5'�7:��T<*S2�"&�=�)��'�� >-�����PR(��-�@')(��-�)�,*!���{����.�4�;=���%2n�=�#2)��989:�-��2n�A`�������78V?�W2_2)�&'5'�7:�+T�'�(���2�"&�=�)�{')�3'�(��,254�� ����')(���N4���.0�����!�R.�4�;=���%23*!�FV��64+��.0�������o25�-9:98���%2���')(����)4�98��9d*!.0��9 � P0���)�������%2,')�/���WV?784�����@V?���s*!4�9:'�b���7:�=�)7:'e;YPR(�7d"%(w7d2$98�-2�2�')(+*��5� U��Rh�U.�µ��')(�7d2�782$78�$b�9:�-�$���6')�WVw4F2578��TX')(������� ��������b����-V?7d"�*!')�vV?7d2)"�4+2�25�WVw78���N�-"&')78����¦6�&[�t#���,�F78"&'��)�W25�=9:4?'�7:�=�w78��t�£ ¤ 2$782V?7d2)"�4+2�25�WVS78�vV?�&'%*!789c7:��b�����`N78��4+2^P������ ª N N O NµpW« [

! � � 63/0).1#%('����3-�/ 9\^(�� ��}+B GIK CADFE�� J B%k��)4�98�-2)�&'�b����A`67dV?�W23.+*=257d"��N���APR98�-V?T=�S*!.0��4�'�')(+�Sb+*���*�����')�-�)7?>-*!f')78�����!��')(+��2)b+*="&���!��bF�62)2)7:.+9:� *�4+"a'�7:�=�w�$�-"%(F*!��7d25�@2-O#*=2$P#�-9:9{*=2�V��&�s*!4+9�'S2)�&')')78��T=2������*�4+"a'�7:�=��b+*���*��$�&')�-��2�*!�FV�"����+25')�%*!78�6'�2�*!�$����T�')(+����[�\^(+��bF*!�%*!�$�&'�����7 >W*A')78���/782�$�!'�7:`A*A'��-V�.N;�')(+*!',�-�$b�9:�A;=�-V/.6; ')(��@m{4F"a')78���F�#��'$ª p!yA« *!�+VX25�=�$����Z6'����+2)78���+2,*!�FVT��-�����%*!987?>-*A'�7:�=�+2#PR7�'�(�7:��')(F*A'R���%*!�$��P������vª p ¦ « [:;��&�s*�4�9:'R2)�&')')78��T=2����=�Rb+*!�%*!�$��')���%2�*!���9d*!.0��989:�WV©*�2�9:�AP��-25'�b���7:�=�)7:'e;/��4�98�-2�25� ')(+*!'�b+*���*�����')�-��2�78�?���-�)���-VY.F*�2)�-V����w25b0�-"�7�1F"*�2)b0�-"a'%2{���n*@����T=�!'�78*!')78����PR7:989~'�*!�=�3b����-"��-V?�-�+"&�=[{®������&Z�*!�$b�98��OF')(+�3����9898�APR7:��TS�)4�98�-22)bF�W"&7:��; ')(F*A'�.N;�V��&�s*!4+9�'WO~T=�����-��*!')�-VX*!4F"a')78���F2,PR7:989n(+*µ`=�$��4�9:')78b�98�@.�4�;��-��2�*��+VX�����2)��989:�-�-O�*��+V�'�(+*A'R'�7:�W2^�����RPR78����78��T$.�7dV�2RPR789:9].F��.������=����.6;S1+�%2e')fI78���W1F��25'5fr��4?'W[j ���� &&��S&mWN���L�S�����OD� P&�&��S��aV��� J ��K ������ S����&� =bj ���� &&��S&mWN���L�S�����OD� P&�&��S��aV����r ����������� Q�N����& =bj ���� &&��S&mWN���L�S�����OD��S����]�� N��"�aO�h�� Q"��Q��� :b���@*�982)�S2)bF�W"&7:��;wB%CAD # K�GLK C!D J �#V?���s*!4�9:'�bF*!�%*!�$�&'����,25��'5')78��T62�[�®��=�,�&Z�*!�$b�98��O 7:�nP#�

�N���AP�')(F*A'_*!��*!4+"&')78���3(+*=2�*�2)7:�+T�98�n.�4�;=���Q')(+����O!.N;3V?���s*!4�9:'-O�7�'_2)(���4�9dV�(+*µ`=�n��4�9�'�7:b+9:�2)��989:�-��2-[��L�{�!'��3'�(+*A'�"&�=�+V?7:')78���+*�9~V?���s*!4�9:',2)�&')')78��T=2�(+*µ`=�3(�78T�(��-�ob���7:�=�)7:'e;�')(+*��/�!'�(����V?���s*!4�9:'o25��'5'�7:��T62�[¸�j ��� K&���� &mYN���L�S"�e��OD�po�� �D� P&����S��?V��� r � ����"��� S����&� j _

N���LRS��e��OD�wo � �D�HP&����S��?V��� J � K��"�:� Q�N ���� =bt#���+25')�%*!78�6'�2#*!���o2578�$7:9d*!�#')��"&�=�+V?7:')78���+*�9FV?���s*!4�9:'^2)�&')')78��T=2#�&Z�"���b?'#')(+*!'#'�(���;$(+*µ`=�

�A`��-�)��7dV?7:�+T�b���7:�=�)7:'e;�[3®+�����&Z�*!�$b�98��Oc7:�n'�(�������7d2�*�.�78V+V?7:�+T���4�98��'�(+*A'32�*µ;N2����+����4+2e'.0�-*A'n')(���"&4����)�-�6'(�=4+�!')�=O�'�(�����')(�7d2_78�$b�9:78�-2n')(F*A'_'�(��o.�7dV@��4+2e' F k%k G ')(��E�=4+�!')����7I[ �=[:O*�T����-*!')���)fI')(+*����)4+9:��78�$b�9:78�-2o*�T=�)�W*A'����)fL'�(+*!�?fr���)fr���64+*!9+�)4�98�W�&[

Page 12: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

j U��ah�U&&��SmYN���L�S"�e��OD�po�� �D� P� �S����&��S��xS ���&� j _N��"L�S��e��Oq�po � �D� ]& N�S��e�&��S���%S ���� =b

\^(�� O&�h��S"�eN�S��e�eO�k K�V&�b����-V?7d"�*!')�37d2�4+25�WVv78� *S"&�=�6')�%*�"a'R'���*�T�T�����T6*A'���*�4+"a'�7:�=�b+*���*�����')�-��2�*!�FV�2)b0�-"&7:��;�(��AP©'�������T=�!')7d*A'��Rb+*!�)')7d"&4+98*��_"&���$b0�����-�6'�2-[~m{4F"a')78����f¥�NbF*�"&��@*!b+2�2)4+"%(�V?78���-"a'�7:`=�-2o')�����=�)��25b0�-"�7�10"�*�4+"a'�7:�=� ���-*!')4����-2-[,�{�!'���'�(+*A',���-T��!'�78*!')78���?f\#;6b0�-2@"-*!�����6'%*!789R�!')(+���@���-T��!'�78*!')78���+\#;NbF�W2�.�4?'�'�(+*A'@'�(��v7:�����������+"��v��4+25'�b�����b+*!fT=*!')�o"����+"�9:4F2578���+2_')� N���L�S�����O�b+�)�WV?78"-*A'��-2#��`��-�6')4+*�9:98;�[�®��=�n�&Z�*���b+9:�=O�O&�h��S��eN�S�����O _k K�V1� L���O S��aO �&�e���� �78��b+9:78�-2-OQ*��$����Tv��')(��-�,')(�78��T=2-O:O�h��S���N�S��e��O k K�V&1�pL��eO S��?O � _������u�� N����� �PR(�78"%(�78�<')4�����78�$b�987:�W2 N��"L�S��e��Oq�����&��S�������=��]��R�" 6[�����@b+*��5'�78"�4�98*��)98;v4+2)�&��4�9_���-*A'�4����@�!�Rm{4+"&')78���?fe�Nb+*="&�$782�')(+*!'37�'3�-�+"&�?V?�W2325�-`��-��*�9

P���989�fr�N���APR��*�4+"a'�7:�=��'e;Nb0�-2-[Q®+����&Z�*���b+9:�=O�25b0�-"�7���;N78��T�*�����T=�!')7d*A'�7:�=��'e;Nb0�^�!�!�%t�;{m �7d23*!989_'�(+*A'�7d23�+�-"&�W2)2�*!��;v'��v7:�?���-��*�9:9'�(���"%(F*!�%*�"a'�����7825')7d"�2����R*/t#�=�6')78�64+��4+2;���4+.�9:�m{4F"a')78����ª �µ« �x"%(������+��98��T�7d"�*�9#�@*!'�"%(�78��T+O^"&�=�6')78�64+��4+2 �64���')�-2v�s.�7dVNfr*=25���$*��+Vw"�9:�W*!�%2�OV?�=4�.�98�&f¥257dV?�-V�O�*!�+V<V?7d2)"��)��')�,T��N�?V�2-[

j P�mTN��"L�S��e��Oq�po � �D�HP�N�S"LaU��aO�h s�� O�L�S����eO � N���&�e&��S�k��XP�� � n �ZO&�h��S��eN�S��e��O�k�K�V&=�wo�� �D�fL��eO�S��aO ������� � n �ZO&�h��S��eN�S��e��O�k�K�V&=�wo�� �D� ���e� ]���� � n �MN��"L�S��e��Oq�po � �D� �"�R�"�����a]�����fQ�N������ � n �MN��"L�S��e��Oq�po � �D�����&��S����� ��x]���� � O� � � ��

j _ O&�h��S"�eN�S��e�eO�k K�V&=�wo � ���fLe��N� =b

\^(���"����,�F78"&'o�)�W25�=9:4�')78���<')(+*!',t�£ ¤ b��)�A`N7dV?�-2{782�*!9d25�@4+2)�&��4+9~(��-�)�=[R®����o�&Z�*!�$b�98��O7:'S*!989:�AP{2$2)bF�W"&7:��;678��T�'�(+*A'�*!� ��m{�@*�>-���?f¥2e'e;N98����*!4+"&')78����782 �e4F2e'�987:�=� �5�-�^*µ;6f¥2e'e;N98���k�|6B%k � G '�(+*A'�m{�@* >�����*!4+"&')78���+2�V?�S�+�!'�"�9:�625��4��6')789Q')�����$7:�N4?'��-2��!�_78�+*�"&')78`N7�'e;�(+*µ`=�b+*=2)2)�-Vc[ �

j �]N�K&mCN���LRS��e��OD�wo � �D� P�N�S"LaU��aO�h s�� O�L�S�����O � P�S�U������L�� � n��N���L�S"�e��OD�po�� �D� P&����S��?V��� J � K��"�:� S ���� � n��N���L�S"�e��OD�po�� �D� P&����S��?V��� r � ����"��� Q N����� � n��O&�h��S��eN�S�����O�k K�V=�po ���D� ����N�� � � � � n��b b bN���L�S"�e��OD�po�� �D� Q"�aO&N���u�� N��������� Q"������"

j _ O�h��S���N�S��e��O k K�V&1�wo�� �D� �]N�K� =b

O&�h���S��eN�S"�e��O�k K�V&1�wo�� �D� �]&N�K� j _O&�h���S��eN�S"�e��O�k K�V&1�po�� �D� NRP�N ��O� =b

j NRP"N ���O�mWN���L�S�����OD�po � �D�%Q"�?O&N���u�� N����������#�aO&N&LRS��R���RS�K� � n��\N��"L�S��e��Oq�po � �D�xQ"�aO&N ��u�� N����aO&N&LRS"�R���?S K �?O�S�����N��:��� � ��

j _ O&�h���S��eN�S"�e��O�k K�V&1�wo�� �D� NRP�N� ���O� =b

����� ���������wNRP�N� ���OD� �]N�K� =b��� � P"N ���Od���&��M���TNeO��"L��V S��e��O����

� !éþµ³Äú×üløÄþ��Rý%´¸´ J'D����lú×û!ülú � ø��RøÄþµ³Äø��L²��Rþlû �a²6� �?�4�Lý®ù�ø�ý�¶�ý����2øÄüOø�� øe³��;�2þ�ý��2øÄþ'��û+���Rý �Rø��2ú×øÄû * B��2-�M

N��

Page 13: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

®Q7:T=4���� p gQmo�$�&Z�*!�$b�98�R�!�c*!�$78��(�����7:'�*!�F"&�R(�78���%*!�%"%(N;����+"��NV��-V�7:�$'�(��{m{4F"a')78����f¥�NbF*�"&���4�9:�W25��'-[

� ����4��]7:�$b�98���$���6'%*A')78����P��78�+"&984+V?��*�V�V?7:')78���F*!9!��4�98�-2 ���=�c')(��#"�*�2)��!�N'�(��n25'�*!�FV�*!�%VA_�+T�98782)(@*!4+"&')78���@*�2_*3���=�)�RT=�����-��*�9N'e;NbF�=O6*��+V$7:�F"&984+V?�{�W��*µ;�*�2_*�25b0�-"�78*�9+"�*=25�=[Q\^(�����-2)4�9�'R7d2{*�')(�������fI98��`=��9 (�78���%*!�%"%(N;�O?25(+�APR��78�v®~78T�4+�)� p [

! � � 63/0).1#%('��!9 +��(9 + � - � � 1<'72�^*�2)�-V��=�3��4��F"a')78���F*!9�*!4F"a')78����b+*!�%*!�$�&'����%2~"����+"�9:4FV?�-V3���)�=�um{4+"&')78���?fe�Nb+*="&��OAP��������WV')�$b����?V?4+"���*$2)bF�W"&7:1F"�*!')78����2)4���"&78���6'^�����RT=�����-��*!')78��T�*�4+"a'�7:�=�+2�����*�bF*!�)')7d"&4�9d*!��'�*��5fT���'�*�4+"a'�7:�=� 25�-�)`=���W[ ��}+B GIK CAD � C G E � J � � K DNM/"����$b���782)�-2{�)4�98�-2o�����,V?�-�)78`N7:��T�m{4+"&')78���?f���!'_2)bF�W"&7:1F"�*!')78���+2Q��������'�(��RT��-�����%*!987?>��-V�*!�+V���Z6'����+V��-V�b+*!�%*!�$��')����7?>-*A'�7:�=�3b����A`N78V?�WV.N;�mo4+"a'�7:�=�?f¥�?b+*�"���[v�N��b+*���*!')78��T�')(+�S25�-�)`=���)fr2)b0�-"&7:1F"���4�9:�W25��'�*!989:�AP{2������3T=�)�W*A'��+�&ZNf78.�7:987:'e;w78�x7:���������)78��T©���-T���')7d*A')78�����$�-"%(F*!��7d25�@2-OR*!989:�AP{2@4F2@')�w"&��b0� �-9:�-T=*!�6'�9:;wPR7�'�(2)(����)'�"����$7:�+T=2_78��'�(���m{4+"&')78���+����'�b+*���*��$�&')�-�)7?>-*!')78����O6*!�+V��s*�"�7:987�'%*A'��-2^"&�=�����-"&')78�������t#���6'���*="a'�����'#'��$*�9�'������+*A'�7:`=��*!4+"&')78���<b�98*!'5���=�)�@2-[

! �� � % � -�1#'�� � � 9 / 1 �E/�� 6� 9���� 1 �72:9 )� �� - � �� 9t#���F257dV?���{*@2)78��b+9:�3"����6')�%*�"&'^78�N`��=9:`N78��T��=��98;S���+�3"&���$b0�����-�6'��s*$PR7dV?T���'%��PR7:')(�����98;���+�,*!'5'��)78.�4?'���� �64+*!987:'e;?�#PR7:')(<'eP���b0�=2�2)7:.�98��`A*!984��-2��s�)�-T�4�9d*!�R*��+V�V���984?Z?�W�a[

L��RPV&��O&�O Sq� �����h�S" :bN�S S����a] ��S�1� �����h�Sq� ���N��&�RS K" =bV&�&�����N��e�1�����&N �&�RS�Kq� ���h�����N��� =bV&�&�����N��e�1�����&N �&�RS�Kq� � ��e��& =b

\^(��{b0�=2�2578.�98�{`A*!984��-2#*!���R���!'n')78�-V$'���')(��oPR78V?T=�&'#"����$b0�����-�='#.F�W"�*!4F25�{78�@T��-�����%*!9')(+��;��$7:T=(='�*!b+b�9:;<'����$������'�(+*!��������"&���$b0�����-�6'�78� ')(+��"����6')�%*�"&'-[,\^(��3���=9:98�APR7:�+TT��-�����%*!9N��4�98�^"��)�W*A'��-2:V&�� ���N����&���R��4�98�-2~������W*�"%($"&���$b0�����-�6'�.F*�2)�-V�����')(��^T��-�����%*!9V&�&�����N��e�������4�98�-2R*��+V�'�(��3"&�=�$bF�=�����6'�2�'�(+*A'{(F*µ`��,.F�-���vV?�W"&9d*!���-Vcg

NIN

Page 14: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

V&�&�����N��e�1�po�u��aP&V&�eOeO�S������N��&�RS Kq�'o��& j _L��RPV&��O&�O Sq�po�u��aP&V&��O��O�S" � n �ZV&�� ���N����&1�����N��&�RS�KD�xo��& =b

�{�-T��!'�78*!')78��T{���=�Q*oPR78V�T��&'��$�-*��+2~V��&')�-�)�$78��78��To��4�9�'�7:b+9:�^*A')')��7:.�4�')�-2^�sb��)7d"&�=O��64+*!�?f')7:'e;�O!*��+V �64+*�9:7:'e;��a[��N7:�F"&�#')(��^"&4��������6'~m{4F"a')78���F�#��'�2)4�b�b0���)'�2~���+9:;�2)7:��T=9:��frV�7:�$���F2578���?f*!9^*!4F"a')78���F2��s����T=�!')7d*A'�7:�+T/b���78"���*��+V �64+*!�6'�7�'e;��aO_*X"&�=�?1+T=4���*!')78���X���-*=2578.�98�S���=��'�(+*A'b�9d*A')�������>P#�=4�9dV/(+*µ`=��')� "&�=�$b��)7d2)��*���*��)�%*µ;��!�R2578��T=9:��frV?78�$���+2)78���+*�9�*�4+"a'�7:�=�+2-O�������������-*="%(�b0��78�='^78��*A')')��7:.+4?')��fI`A*!984��,25bF*�"&�=[\^(�782#b�9d*�"��-2#')(���.�4��%V?�-�S����*!T��-�6'�2n')�$"&�!f���%V?78�+*A'��^')(��-7:��.�7dV�V?78��T�78�S*�4+"a'�7:�=�+2���=�n����9d*A')�WV$T��N�?V�2-[Q®+���n��Z�*!�$b�98��O67��c'�(���;$P���4�9dV`A*!984��3�-7�'�(�����*@�)�-T�4�9d*!�R�=�o*�V?�-9:4�ZN��PR78V?T=�&'�*��+Vvb�9d*�"���.�7dV�2{���=�{.0�!')(]O+'�(���;v*�2�2)4��$�')(+�3�)7d2)������.0��78��T<2e'�4+"%��PR7:')(/�)�WV?4��+V�*��6'o7�'����@2-[ � � *�2578��4+9�'%*!���-��4+2�*�2�"&���FV?7:�+T�V?�&f2)7:T=��O0')(�7d2,257:')4+*!')78��� ���n�&Z�"�9:4+2)78`����s�&ZN')�����$�-9:;v2)4�.+25')7:')4?'%*!.�98�W�oT��N�?V�2�782��@*!�+*�T��W*!.�98�')(+�)�=4�T�(�2e'���*�7:T=(6'5������P^*!�%V$.�78V+V?7:�+T ª N ¦ « [\^(������=9:98�APR7:�+T���4�98�����N4��$���%*A'��-2{*�9:9�')(��3b0��78�6'�2R78� *A')')��7:.+4?')��fI`A*!984��32)b+*�"��������o*�9:9

"&�=�$bF�=�����6'�2-[ � � ��')(�7d2{2)7:�$b�98�3�&Z�*���b+9:�=O�����98;�'eP��$bF�=7:�6'%2RPR7:989].0�3�-�64+���-��*!')�WVcO?����������n�-*�"%(@b0�=2�2)7:.�98�{`A*!984��{��� ')(��o2)78��T�98�o*A')')��7:.+4?')�{��� ')(���2578��T�98�o"����$bF�=�����6'WO=*�PR7dV?T���'-g�N����&�k�� V&��1�po�u �RP&V�eO�O�SD� � o��e�&N �&�RS K��� j _

V&�� ���N����&1�po�u �RP&V&��O&�O Sq�����&N��&�RS�KD�'o��e�N��&�RS K" =b

�{��')��')(+*!' � ��o��e�&N���RS K�� �3����b����-2)���6'�2�*�987825',PR7�'�(�*S2)78��T�98���-9:�-���-�6'$�L*�`A*!��78*�.�98�����b����-2)���6')78��T�*w`A*!984�� ���=�<')(�� �<�64+*�9:7:'e;,�©*A')')��7:.�4�')�W�&[�\^(���*!.0�A`�� ��4�98�X"��)�W*A'��-2S*�N����&�k�� V&�������s*�"a'���������`=����;�b0�=2�2)7:.�98��P^*µ;�')��*=2)2)78T�� `A*!984��W2{'���')(+��*!'5')��78.�4?')�W2o���*$"&�=��b0���+���6'-[�{��Z6'WO�P��©b����A`N78V?��T����+���%*!9378�?�������@*A'�7:�=�¢*�.F�=4?'/'�(����+��T���')7d*A'�7:�=�����@PR78V?T=�&'%2�[

\^(��W25���s*�"&'�2*��)�^4+2)�-V�.N;�m{4+"&')78���?fe�Nb+*="&��')��T=�����-��*!')�#')(�����4�989F2)�&'���0*!4F"a')78����b+*���*���f�&'����%2#�����^PR78V�T��&'{*�4+"a'�7:�=�+2�[R� � ��'�(�7d2R"�*�2)��ON�$�=25'R�!��'�(���b+*���*�����')�-��2#PR7:989c4+2)��V?�&�s*�4�9�'2)�&'5'�7:�+T=2-[ �O&�h���S��eN�S"�e��O�k K�V&1� ��R��h �SD�fL���O�S"�aO �&���"�� =bO&�h���S��eN�S"�e��O�k K�V&1� ��R��h �SD� ����� ]&��� =bO&�h���S��eN�S"�e��O�k K�V&1� ��R��h �SD� ����N�� � � � =b

m�',')(�7d2,bF�=7:�6'WOcP#��(+*µ`���7:���������)�WVv')(+�$*�4+"a'�7:�=�/b+*���*��$�&')�-��2{�����,PR7dV?T���'�2,*!�+V/P#�(+*µ`=�3���N4��$���%*A'��-V ')(���`A*!984��-\~4�b�98�-2�������')(+�$*�4+"a'�7:�=�+2�P#�������WVv'���"&���-*!')�=[��X�$���AP"&�=��.�78���<')(+�=2)��25')�-b+2�')����ZNb+9:7d"&7:')98;w"��)�W*A')��')(+� *!4+"&')78���+2@*��+V�(F*µ`����-*="%(��!��')(+���78��(�����7:'^7:'�2{b+*!�%*!�$�&'����%2#���)�=� ')(��625�3V�����7:`=�-V@���=�RPR78V�T��&'%2R78�<T=�����-��*�9L[®��=�<�-`��-�);�`A*!984��-\~4�b�98��O,P���78�?���-� *tP�N � � ��L�S�����O �"���s*�"&'�PR(+78"%(�'�*!�=�-2�*w9:7d2e'

��'�(���4+T�(6'����*=2�*�� � ;���*!�FV�')�-9:9d2o�=4��ob+�)��')�!'e;Nb0��')��"&���-*A'���*!��*�"a'�4+*!9Q*!4+"&')78����[����*!9d2)�S78�?������*%VN���O�S ���@�s*�"a'������,�-`�����;<`µ*�9:4+�-\~4�b�98��[ �x\^(�782�'���98982,4+2�'�(���"����$b0�����-�='')(F*A'{�-*="%(�*�4+"a'�7:�=�<.0��98���+T=2�')�F[

� ± ��ø1�I²µ´×øÄû����#�0øÄþ-²W¶sø,�Rý �Rú×þ6� "�2ú×þ��>û!ú×þ�ý �?�?�Rú¸·µ²2�Rø >âùºý%´¸²løMû�Lý%³ÄøMý��>ø1�2øÄþlø��jý%´×ú 6ÄøÄü,ýºþ�üOú×þµ³e´¸²lü�ø®ü�ú×þ�?�lø_·Lý%³ ���#���a²lþlü �}þ��2�]´×øÄü��2ø�øÄþµ³��büløÄü�ú×þ <~²µ³ �Rú��2þ2>�'9�2þ/0��a²��Rý �Rú��2þ M ± �lú×û�û�Ûøe³Äú 0A³ �I²µ´×øMú×û ��RøÄû>ø®þ'�>ø®ü���#��ú¸´¸´¸²�û?�?�jý �>ú��2þ�ýºþlü$�9�a²µ´×ü)þ����%ý%³ �I²lý%´¸´ J�·Ûø�þløe³Äø®û>ûjý��+J)ú×þ+û�Ûøe³®ú � Jbú×þ���ý�³��2þ��?�jý%³ � �Røe¶ µ´Íý �>ø ��ú �?�'9�2þ��?�jý%³ � �9����M

� !éþ6�Èø��?�Rú×þ������løsû>ø � ����ý%²µ³ �Rú��2þlû�=�?�a¶ ���løáùºý%´¸²lø ± ²�µ´×øÄû�DXýºû �0øe´¸´:ýºû�ú×þ6�lø��Rú �Rýºþµ³Äø ��� Lý��jý%¶sø �>ø,�>û�����a¶ Lý��RøÄþ'��³��a¶ "�2þløÄþ��>û�DÛú×û�ü��2þlø�ý%²6�?�a¶�ý �Rú¸³®ý%´¸´ JOú×þL�?�lø <Q²µ³ �>ú��2þ6>�'9�2þ/0��a²��Rý �Rú��2þ �L²µ´×øÄûRø ��M ) �4����ø�Røe¶�ýºú×þlú×þ6� �L²µ´×øÄû�ý%´×û?� � �a²µ´×ü�·Ûø²lþlþløe³ÄøÄûRûjý��+J,ú×þOý�³��2þ'���Rý%³�� �>ø5¶ W´Íý �Rø���ú �?�/�a²��!ú¸¶ µ´×øe¶søÄþ��Rý �>ú��2þ M

NWp

Page 15: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

P�N �� � ��L�S"�e��OD� ��o�u��aPV��O��O�Sq�xo ��N��e�&&� �" � n��VN���O�S�� � o�u��aP&V&��O&eO SD�wo��N ���&� �1�xo�u��RP&V��O&�O�S"

j _ �N����&�k�� V&��1�po�u �RP&V&��O&�O Sq�%o �N��e�&�� =b®Q7:�+*�9:98;�ONP���2)b0�-"&7:��;$')(+��*�4+"a'�7:�=��b+*!�%*!�$��')���%2���=�#�W*�"%(S"��)�W*A'��-V@*!4F"a')78���?�x2)7:�$b�98;

')(+��b+*���*�����')�-��2{')(+*!'�P���V?�-�)78`��WV�7:��T����+���%*!9c���=�o'�(���"����$b0�����-�='�')(+*!'o'�(���*�4+"a'�7:�=�.0��98����T62�')�v��7:'�2RbF*!�����6'%�&[N���LRS��e��OD�wo � �D�%o � S S��D� o �N�� j _

VN���O�S��po � �D�fo�u��RPV&��O&�O S� � n �Ne��L�S��e�eOD�po�u��aP&V&��O��O�Sq�xo � S S �D� o ��N��& =b�x(����/')(���78�?���������+"���"����+"�9:4+V��-2-OF'�(�������PR78989Q.0��'eP#�<*!4+"&')78���+2�"&���-*A'��-VcO .0�!'�( �����

PR7dV?T���'�2-OW�=���_���=�~����T=4�9d*!�~*��+V��=���_���=�QV?�-9:4�ZN�=[~®+���Q�-*�"%(�*!4+"&')78����O p ­RV?7825')78�+"&'�*�4+"a'�7:�=�b+*���*�����')�-��2�PR789:9~.F��78�?���������-V<`N78*@mo4+"a'�7:�=�?f¥�?b+*�"��3*!�+V�m{4F"a')78���F�#��'5f � *!b+b�7:�+T+[n�o�!')�')(F*A'�2578�+"��S'�(��-2)�v*!4+"&')78���+2�V?����78`��-V©���)�=� ')(��v2�*!�$�<b+*!�����6'@"&���$b0�����-�6'v�sPR78V�T��&'a�aO')(+��78�Rb+*!�%*!�$�&'����^`A*!984��-2o*!����7dV?���6'�78"-*!9I[

\~���$b�9d*A')�=g� �GLe�RP&V&��O�O�SD� ��N�S S �q� �N��e� �q�Yb b b �q� N��"L�S��e��O

�V&N��NaP!� ��N��e�& �

� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� ��&��L����aV�S"�e��O ��� O&�T��&� LR���aV�S�����O�� �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� Q"�aON��L����N����aO�S��� �N��1��� � �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� Q"�aON��L����N��eP���� �� � �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� O ��P,���� ����"�:�f� �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� ���&��SRP���� ��t� �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� S��ee]�� N �"�aO�hD� � �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� S K�V��/� �� � �����h�SD� �����&N��&�RS�KD� ��h�����N���� �q� ���&�=���XO&�

������� �

bbb

� � �����h�SD� �����&N��&�RS�KD����������� ��� ���&�1��� O&�����&��� �

� � �����h�SD� �����&N��&�RS�KD����������� ��� h� ������O��RS"�:� � �� � �����h�SD� �����&N��&�RS�KD����������� ���'�aO�S"L��� N��eP�������^� �� � �����h�SD� �����&N��&�RS�KD����������� ��� O ��P&] � K��"�:�%� �� � �����h�SD� �����&N��&�RS�KD����������� �������&��S&�aO�L��aP��O�SD��� �� � �����h�SD� �����&N��&�RS�KD����������� �������&��SeV&���&��LRKD� � �bbb

� �=�� ��� � � � �3���

� � � 4�98; p������ *A'o'�(�� � �6'������+*A'�7:�=�+*!9t#���?���-�)�-�+"&�3�=� � 4�9:')7d*!T=���6',�?;N25')�-�@2�OF')(��� {�+7�f`��-��2)7:'e;/�!� � 78"%(�78T=*��Y(��=25')�WVY* GIH)J # K D6M J M6k�D G B%C F ��k GIK�GLK C!Dw�s\Qmot^�aO�78�©PR(�7d"%(©25����'5f

N-y

Page 16: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

P^*!����*!T=���6'�2�V?��`=��98��b0�-Vv.N;vb+*��5'�78"�7:bF*A')78��TS')�-*��@2�"����$b0�&')�WV 78��*<"%(+*!9898����T=7:��TS�$*��5f����'{T=*����@ª p�pW« [ � � � \~mot�O+*�T��-�='%2R*!78� '��$*=2)2)����.�98��'���*µ`=��9cb+*="%�A*!T��W2#�����oV?�W2578T��F*A')�WV"&9878���6'�2-On.�4+;678��T�*!�+Vw25�-9:9878��TX')�%*µ`���9����-2)��4��%"&�W2�')(+�)�=4�T�(w`µ*��)78��4F2�'e;Nb0�-2��!�,*!4+"&')78���+278��b+9:�-���-�6')�-VX.N;�')(+� � 78"%(+7:T6*!� � �6'��������&'3m{4F"a')78���F�#��'-[@\Qmot����-*!')4����-2�'�(������$.+*�2)7d"')�%*µ`��-9�T��N�?V�2�gE�+78T�(6'%2��sV?��1+���WV�.N;/V+*µ;/*!�+V�V?�W2e'�7:�F*A')78���?��78�N.F�=4��+VX���,��4�').0��4��+VF�aO(���')��9d2��LV?�&1F���-V�.N;�V�*µ;<*��+V �64+*!987:'e;?�&OF*��+V����6')�-�5'%*!78���$���6'{'�78"%�=�&'�2��sV?��1+���-V .6;�V�*µ;*!�FVv'e;NbF���!�#��`��-�6'%�a[A#*�"%(v'e;Nb0�����nT��N�?Vv7d2����WV?7d*A')�WV .N; *SV�7 � �������6'��N7:�+V/�!�#*�4+"af')78���][�®Q987:T=(6'�2n2)��989F*!'#�%*!�+V����$9:; �+4+"&')4+*!')78��T�b���7d"&�-2-O=V�78"&'�*A'��[email protected];$*,1�Z?�-V?fIb���7d"&�o2)��989:�-�-[� ��')�-982,*!���$25�=98V/7:�Y*�`µ*��)7d*!�6',�!�#*��X*=2)"����+V�7:��T=A_�+T�98782)(�*�4+"a'�7:�=��[�moT����6'%2�.+4�;/*!�FV2)��989o���6'����)'�*!78���$���6'�'�78"%�=�&'%2�78��*©"&�=�='�7:�N4��=4+2SV���4�.�98�/*�4+"a'�7:�=��OR��4+"%(x9878���v'���*=V?7:�+T2)�-"&4+�)7:')78�-2^78�v*�25')�?"%����Z�"%(+*!��T=��[\^(��,\~motw��Z?*��$b�9:��"&�=�='���*="a'_'����$b�9d*A'��o78�+"&984+V?�WV�PR7:')(�t#�=�6')�%*�"a'%���!'_7d2�*3�)4�98�-2)�&'

')(F*A'3T��-�����%*A'��-2�'�(���b+*��5'�7�'�7:�=��7:�+T©�s*!�$�=��Tv*v25b+*="&�@����b0�=2�2578.�98�@b+*!�)')7:')78���+7:��T62������^*')�%*µ`��-9=bF*�"%�A*!T=�#"&�=�6')�%*�"a'Q7:�6'��o'�(��^T��N�?V�2�V?�-2�"&��7:.0�-V�*!.0�A`��=[ � '_*!9d25��T��-�����%*A'��-2-O-�������u*(�78T�(?fr98��`��-9cV?�-2�"&��7:b�')78���S78�<')(���"����6')�%*�"&'#'����$b�9d*A')�=O?')(+�,*�4+"a'�7:�=�<"����?1FT�4��%*A'�7:�=�+2n4F25�WV78�S'�(��3"&�=��b0�&'�7�'�7:�=��[ � �v�N�-"&')78��� ­3P���V?���$�=�+2e'���*!')��(��AP�*�9�'������+*A'�7:`=��25')��4+"a'�4����-2������')(+������T=�!')7d*A'�7:�=�<"-*!��.0�3V?����7:`=�-VcO?.F*�2)�-V<���<�)4+9:�W2Rb�9d*!4+2)7:.+9:;S"����6')��78.�4?')�WV<.6;�b+*!�)')78�-278�='������-25')�WVS78�<')(������-T���')7d*A')78���][

�! #" � +�%�),% � $&%*'(),+.-�/0) -�� %(67)��=-���� 9 '*) � -8'��� ).1�<1 ).1 9��\^(��,1+�%25'�'�(�78��T$')(���\~mot�"&���6'���*="a'^')�-��b+98*!')�32)bF�W"&7:1+�-2R7d2{*�b����!'��!f¥"&���6'���*="a'-[�mo2oV?�&f2�"&��7:.0�-VS7:���N�-"&')78��� p [ y O6')(��,b����!'��!f¥"&���6'���*="a'_7d2n'�(���254+.+25��'�����')(+�,"����6')�%*�"&'n'����$b�9d*A')�')(F*A'-OFPR(���� "�����.�7:�+�-V�PR7:')(v'�(��3��4�9:�W2{"&�=�$7:��T@�=4?'o���Q'�(����+��T���')7d*A'�7:�=�<�$�W"%(+*!��7d2)�<O�������@23'�(���1+�+*!9IO_��ZN�W"&4?'%*!.�98��"����6')�%*�"&'-[�m 'e;6b+78"-*!9��)4�98�����=�@* b����!'��!f¥"&���6'���*="a'S�s2)����N�W"a')78��� p [ y ��')(+*!'�P��@(+*µ`��@78�+"�9:4+V��-VY78��')(��<\~mot���Z?*��$b�9:�S782�7:�?���-�)��78��T�')(���')�!'%*!9*!�$�=4��6'R')(+*!'�*$T�78`��-�v*!T��-�6'{�AP#�W2{*!����')(��-�o*!T=���6'o*A��'����o')(��3�+��T���')7d*A'�7:�=��O+.N;�*�T�T=�)��fT=*!')78��T�')�%*!�+2�*�"&')78�����s*�"a'%2����)�=��"&�=�$b�9:��')�WV<*�4+"a'�7:�=�+2-g

S �NeO���N&L�S��po � heO�S,���xo � h�O�S�1� o�u��RP&V��O&�O�Sq�#o � ��"����SD�o��N�K��R���'o��eS K� =b

V&N�K��po � heO�S,���%o � heO�S��� o � P�S� j _���S��Q��po �N�K,�R�1� S ��N�O���N&LRSq�po � h��O�S,���xo � h�O�S�1�

o�u��RP&V��O&�O�Sq�#o � ��"����SD�o��N�K,�a���'o���S�K� ��

o��N�K��R��"���RS� � n ����S��Q��po �N�K����� S ��N�O���N&LRSq�po � h��O�S���xo � h�O�S,���

o�u��RP&V��O&�O�Sq�#o � ��"����SD�o��N�K�"���'o���S�K� ��

o��N�K���� "���RS� � n ��R�eP$�po��N�K,�R��"����SD�xo��N�K��R��k��S�N��& � n��

� <�ûRøe³��2þlü ± < '��!ýºû �løe´×ü-ú×þK#@#@6B0ý � �?�lø9< ' H ' �2þ2�Èø��RøÄþµ³Äø9�2þ��F´×ø5³ �?���2þlú¸³ ' �a¶R¶sø��L³®ø4* K6B -�M ± ��øülú×ûL³5²�ûRûRú��2þ3·Ûøe´��2�X³,�#�?�RøÄû�"�2þlü�û1�������lø ± < '�>A@#@�ûRø �L²� M ± �lø��Rø �Gø,�>ø%û?�a¶sø#¶sú×þ��#�;�I²µ´×ø#³��Lýºþ��2øÄû-ú×þK#@#@6B#D�·µ²6���2þµ´ Jáú×þµ³��>ø5¶søÄþ'�jý%´A³��Lýºþ��2øÄû � �a²µ´×ü^·Ûø �Rø 8�²lú��RøÄü ���#�0³®ý�6�L²��Rú×þ6� ± < '�>A@6B!ú×þsý '9�2þ'���Rý%³�� �9���û�Ûøe³Äú 0A³®ý �Rú��2þ M

N ¦

Page 17: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

�R�eP$�po��N�K��� "����SD�xo��N�K����?k��S�N��& � n�����,�po � P�Sq�'o��N�K��R��k��S�N�� _ o��N�K�"�?k��SN �& =b

� ������25b0�-"�7�1F"S')�Y\Qmot�O�P#�<7:�F"&984+V?���)4+9:�W2�78�w')(���b����!'��!f¥"&����')�%*�"a'�')�X7:�?���-�$')(��4?'�7:987�'e;<'�(+*A',*$')�%*µ`��-9~*!T=���6'o���-"���78`��-2R���)�=� 7:'�2o')�%*!�+2�*�"&')78���+2-OF*="�"����%V?7:�+T$')��'�(���V��&1�f��7:')78�����!��'�(���\Qmot�T6*!�$��[ �Sm�2#78��'�(��,b+*µ;N�$���6'#��Z?*��$b�9:�=O6')(�7d2�782^*�25')�%*!78T�(6')������P�*���V"&�=�$b�4?'�*!')78����*�2R*���4��+"&')78�����!�Q')(+�,')�%*!�+2�*�"&')78�����s*="a'%2�[®��=9:98�APR7:�+T�7d2R*�b+*!�)'����]'�(��,4?')789:7:'e;�"-*!9d"&4�9d*A'�7:�=��2)bF�W"&7:��;N7:��T�'�(+*A'{*$"&987:�-�6'�� 2^4?')789:7:'e;

7d2�*/��4��+"&')78�����!��PR(��&'�(����$7:'$P^*�2�*!.+9:�<')�Xb����?"&4�����*/')��7:b]On7:'�2@V?�-`67d*A'�7:�=�©������� 7:'�27dV?�-*�9~'���*µ`=��9�V�*A'��-2-Oc*!�+V/7�'%2,.F�=�64F25�W2o���=��25'�*µ;N78��TS78��')(�����7d"&�$(��!'���9*!�FV/2)����78��T�')(�����6'����)'�*!78���$���6'R7:'{P�*��='��-Vcg

j U��ah�U�mZL��&���O�S��S"���&�RS K��po�u�����O�S����� j _Q��N&���a]����k ���aVq�po�u�&�R�O Sq� Q N����� :b

j P�m\L���e�O�S���S����&�RS�Kq�po�u �&�eeO Sq�%o��, j _Q N&���a]&���k ���?VD�po�u����O�S�� S ���&� � n �S��N���� ��O&N��eS Kq�po�u���e�O�SD�xo�k��� � n �U��S�� J ��O �����wo�u�&�eeO SD�xo�� J � n��Q�� O J ��O������po�u��&�e�O�Sq�%oes J � n��o�� ���M� � � � _ � � � �do�k�� � o� J � o�s J b

�{��')��'�(+*A'�*�9�'�(���4+T�(<')(���"&���$b�98�&'��3��4�9:�W25��'R�����{4�')789:7:'e;v"�*!9d"&4+98*!')78���<782o���!'oT=7:`=����O*!989]����')(���*�.F�A`=��b����-V?7d"�*!')�-2o"�*!�v.0�378�?���������-V<������� ')�%*!�+2�*�"&')78�����s*�"a'%2{T=�����-��*!')�-V<.N;t#���6'���*="a'�����'$*=2$7�'��$���+7�'����%2�')(��/*�4+"a'�7:�=�w���-2)4�9:'�2-[�\^(�� \Qmot ��Z?*��$b�9:�v"����6')�%*�"&'')�-�$b�98*!')��'�(����v78�+"�9:4+V��-2��)4�98�-2R')��78�?������*�')�%*µ`��-9]*!T=���6'�� 2R4?'�7:987�'e;<78��')(���"&���$b0�&'�7�'�7:�=�.N;S2)4��$��78��T$'�(���4?')78987�'�7:�W2R�!�Q7�'%2{"&987:�-�6'�2{*��+V�2)4�.?'���*="a'�7:��T$7:'�2R��Z?bF�-�+25�W2�[

��S��e�&�RS Kq�wo�k �N����� � h�eO�S��fo��� j _���S��Q��po�u�&�e�O SD�'L��&�e�O�Sv�Q��po�u��&�e�O�S��xo�k �N����� � heO�S� ��

o�u�&���O�S "����S� � n��P�NeVD� L��&���O�S��S"���&�RS�KD�xo�u�&�eeO�S "���RSD�

o�u�&�e�O S��S�����RS��e&� � n���R�eP$�po�u��e�O�S���S����&�?S��e���%oel���O��&� � n ����V&�O������po�k ��N���� � heO Sq�%o����V&eO���&�� � n�����,�po��c� o�l����O � _ o���V&�O��e&�� =b

�! � �=% ��� 1 ��#9 $&% � � %*'79 '*)�� -�'�� � ) ) +B1 � 67),9��\^(���1+��25'o'�(�78��T�'�(���\Qmot�"&�=�='���*="a'{'����$b�9d*A'���2)bF�W"&7:1+�-2�*A��'����o')(���b����!')��fr"����6')�%*�"&'R782')(+��b0�=2�2578.�98��`A*!984��W2{���=�{')(+��*!'5')��78.�4?')�W2o���_')(+��T=�6�?V�2-[�®+�����&Z�*!�$b�98��OF')(+�����=9:98�APR7:�+T�s*�"&'�2R2)�&'R'�(���bF�62)2)78.�9:��'e;Nb0�-2R���~���6'����)'�*!78���$���6'R��`=���6'�2-g

V&�&�����N��e�1�w�O�S��� S�N&�?O�P��O�Sq� S K�V&��f]&N&��e]&N�� �& :bV&�&�����N��e�1�w�O�S��� S�N&�?O�P��O�Sq� S K�V&�� ��KeP&V�U&��O�K� :bV&�&�����N��e�1�w�O�S��� S�N&�?O�P��O�Sq� S K�V&��#S�U& N�S �� =b

� <<²6�>ú¸´×ú ��J^³®ý%´¸³e²µ´Íý �>ú��2þ3� �a²W´×ü ����a·Lý%·W´ Jáþ����c¶�ý �2ø!û>ø®þ�ûRø�ú×þ�ý���?������>d³,�2þ'�?�jý%³ �!ú×þ �?�lø7�>ø�ý%´1� �#�L´×ü D·µ²6��ú×þ ����ø ± < ' ��ý%¶sø#D2���lø_²6�>ú¸´×ú ��J�ú×û�²lûRøÄü,øÓÿ��Rø��>þLý%´¸´ J ���áøÓùºý%´¸²Lý �Rø�ý��2øÄþ��>û2#� ø��+�=�#�L¶�ýºþµ³Äø'M

N ¨

Page 18: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

®Q7:T=4���� y gX�?���$�/*!9:')�-�)�F*A')78`���P^*µ;?2$')��25')��4+"&')4�����')(���\~mot����-T��!'�78*!')78����g��s*6��')(��*�"&')4+*�9n\Qmot "&����1+T�4��%*A'�7:�=��O#�s.F��.+4��+V?987:�+T �)�=4��+VNfI')��78b �+7:T=(6'�2�*��+V�.�98�?"%�N23�!�R(��!'���9���6�=�@2�O?*!�FVX�L"-��.�4+�+V?987:��T@�-`��-�);6')(+7:��T�78�='���*$"&���$b�����(+���+2)7:`=�o'���*µ`=��9 b+*="%�µ*�T��=[

mR��'����{2)bF�W"&7:��;678��T�')(+�,V����@*!78�+2#������')(+�,*!'5'��)78.�4?'��-2-O='�(�������*!����2)��`=���%*!9 25�W"a')78���F2#�����4�9:�W2n"������)�W25b0���+V�7:��T�'���b0�=2�2578.�98�o"&�=��b0���+���6'�2n�!�c')(+��\Qmot�V����@*!78��[\^(��-2)�{T=7:`=�R')(��*A')')��7:.+4?')�W2{�!��W*�"%(��!��')(+��"&�=�$bF�=�����6'�2-OF*=2{P���989]*�2�25b0�-"�7���;<���-T��!'�78*!')78���?fr98��`��-9���4�9:�W2�[®��=�o��Z?*��$b�9:�=O0')(�������989:�APR78��T���4�98�-2�25b0�-"�7���;<')(F*A'E�+7:T=(6'�2�(+*µ`���'eP��S*!'5')��78.�4?')�W2¥��'e;NbF���78�N.F�=4��+V<���R�=4?').0��4+�+V+�^*!�FV�V�*µ;=[

N�S S����a] ��S�1�GQ�&�ah�U�Sq� S K�V&� =bN�S S����a] ��S�1�GQ�&�ah�U�Sq� ��N�K� =b

V&�&�����N��e�1�GQ�&�ah�U�SD� ��N�Kq� o �N��& j _V&�&� � �N��e�&=�G��N�KD�%o �N �& =b

�{��')�$')(F*A'�')(+�@bF�62)2)7:.+9:�@`A*!984��W2��������+78T�(6'�'e;NbF�W2�P��������-�64+���-��*!')�WV/78�©25�-b+*!�%*A'����4�9:�W2�[^\^(��3b0�=2�2)7:.�98��`A*!984��-2R�����7�F7:T=(='oV+*µ;N2o*!����7:�?���-�)���-V�������� ')(���T�98��.+*�9:98;�V?��1+���WV��N�K�`A*�9:4��W2�O?V?�W"&9d*!���-V@PR7:')(fV&�&�����N��e����,b����-V�78"-*A')�W2��L2578�$7:9d*!��'�� �64+*�9:7:'e;@`A*!984��-2#�����PR7dV?T���'�2^78�v�?�-"a'�7:�=��¨�[ ¦N�a[m{����')(��-�{b0�=2�2578.�98�,"����$b0�����-�='R7d2^')(+��.�4��+V?98���!�~'eP#� �+78T�(6'%2^7:�6')��*�����4��FVNfL'��)78b�[

N�S S����a] ��S�1�������O� Q���ah�U�SD� ��N�K��aO� =bN�S S����a] ��S�1�������O� Q���ah�U�SD� ��N�K��� S� =bj P�mTN��"L�S��e��Oq������ O�� Q�&�?h�U�Sq�xo���N��NRP!� o �N��& j _

Ne��L�S��e�eOD�GQ�&�ah�U�SD�%o��N���NRP!�'o ��N��& =b

\^P#�$*A')')��7:.+4?')�W2������$��e� O� Q��Rh�U�S�"����$bF�=�����6'%2�*��)�,2)bF�W"&7:1+�-VcO�*��+VS')(��-;�7:�+(�����7�'')(+��78�~V?�=�$*�7:�F2 ���)�=��'�(��_T=9:�=.+*!989:;�V?�&1F���-V3V����@*!78�������]b0�=2�2)7:.�98�nV�*µ;?2-[]\^(��_78�+V?78`N78V�4+*!9*!4F"a')78���Xb+*���*�����')�-��2����=���)�=4��+VNfI')��7:b&�+78T�(6'�2�*!����78��(��-�)7:')�WV����)�=��')(��625�@78�?���-�)���-V���������+�&frP�*µ; �+78T�(6'�2-[®Q7:T=4��)� y 78989:4+25')�%*A'��-2�2)���$�@�!��')(+��bF�62)2)78.�9:��"����$b0�����-�='%2�25b0�-"�7�1F�-V�78��'�(��S\Qmot

"&�=�6')�%*�"a'~')�-��b+98*!')�{*!�FV�')(+�R���&ZN'_25�W"a'�7:�=��2)(��AP{2Q(��AP�t#���6'���*="a'�����'�"%(��N�625�W2].0�&'eP����-�')(+�-2)�,*�9�'������+*A'�7:`=��"&����1+T�4��%*A'�7:�=�+2-[

N ¬

Page 19: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

� � �%��o�_�=������� � 3������@����&�����@�Q�_������������ �(� � �� ���� �@

�������!�F')(��^�$�=25'Q78�6')�-�)�W2e'�7:��T����-*!')4����-2���� t#���6'���*="a'�����'~7d2�7�'%2*!.�789:7:'e;,')�,���-*=25�=��*!.0��4?'*!9:')�-�)�F*A')78`������-T��!'�78*!')78����2e'��)4F"a')4+�)�W2^.6;�2e'%*A')78��T$����9d*A')78���F25(�78b+2^.0�&'eP����-�S'�(���bF�62)2)78.�9:�"&�=�$bF�=�����6'�2R*��+V�7:�+"�����bF�=��*!')78��T��)4�98�-2���������b+*!�)')7d"&78b+*A'�7:�+T$*�T��-�='%2�[\^(����&Z�*!�$b�98��\Qmot�t#���6'���*="a'�\~���$b�9d*A'���78�+"�9:4+V��-2�.�4�;=���WO62)��989:�-�-O?*��+V�*!4F"a')78���+�����

��4�9:�W2�"&���F257d2e'����6'�PR7�'�(�'�(��^.+*�2)7d"#\QmotY2�"&�-�+*!��7:�F[]\~��789:984+25')�%*A'��#'�(����+�&Z?78.�789:7:'e;3�!��t#���?f')�%*�"&'����!'WO?P#�32)b0�-"&7:��;S.+4�;��-�{*!�+V�2)��989:�-�Rb��)�����������+"��-2����=�o*!4+"&')78����2e'��)4F"a')4+�)�W2^.F�-;����FV')(+�=2)�o*�"&')4+*�9:98;�*µ`A*�7:9d*!.�98�R78�S\~mot�[®+���n78�+25'�*��+"&�=O='�(������o*��)�R'���*µ`=��9+*�T��-�='%278�='������-25')�WV78� .�4�;N78��T<*��N;����_')(��$*A'����$7d"�"&�=�$bF�=�����6'�2-O *!�+VvPR(+��P���4�9dV *�982)��.0��78�6')�����-25')�WVv78�.�4�;N78��T `A*!��78��4+2�.+4��+V?98�-2-O254+"%(©*=2�����4��+VX'��)78b �+78T�(6'�2�*!�+V�.+9:�?"%�?23���^(+�!')�-9n���N���@2�[\^(���')�%*µ`���9~*!T��-�6'�2{*��)��*�982)��78�6')�����-25')�WV�7:��25�-9:987:�+TS���6'����)'�*!78���$���6'{'�78"%�=�&'%2o*�2oP#�-9:9�*�2.�4�;N78��T�'�(�����[�\^(�������98;��!')(+���,25�-9:98���%2�*��)�3')(��$*!78�)9878����O0PR(��S7d2�PR7:98987:��TS')�<25�-9:9Q����98;���+�&frP�*µ; �+78T�(6'�2-O#*��+V�')(��v(���')�-982-OnPR(���PR789:9{2)��989R���6�=�@2��-7�'�(����@78�+V?78`N78V�4+*!989:;w���$78�.�98�?"%�N2-[/\^(���*!4+"&')78�����-����b+�)�������%2�����P�����*!4+"&')78���+2�*!�FV����=�)�S4+25�-��2-[ � '��$*����W2�')(+782�&Z?b�987d"&7:'3.6;�25b0�-"�7���;N78��T *#V&�� � ��L�S"�e��Ou����SS*��+V�*fV����������u������RS [�t#�=�='���*="a'%�#��'PR789:9]"%(+�6�625�,*$"&�=�+257d25')���6'{2)�&'{�!��"&�=��b0���+���6'�2�'�(+*A'{�$78��7:�$7?>��W2

�� ���������� V&����������u�����"�RS�� ���� ������� "!#�$� V&�� � ��L�S��e�eOu��&��S�%

m{9:')(��=4�T�(w')(+�v(��!'���9{2)��989:�-��7d2$PR789:987:�+T�')�Y25�-9:9^�-7�'�(����@.�98�?"%�?2$�!��(+�!')�-982$�=�$7:�+V�7�f`N78V�4+*!9���78T�(6'%2�O,(+*µ`N78��T�*�(�78T�(\V&�� � ��L�S�����Ou��&�RSY98�-*=V�2<')��'�(��©2e'��)4F"a')4+�)�Y2)(��APR�78��®Q78T�4���� y �L*=�a[ \^(�7d2�782�.0�-"-*!4+2)�X')(��tU&��S �e]����&L ��"&�=��b0���+���6'v(+*�2<�$�����Y*A'5f')��78.�4?')�W2,�3Q"�R����S�O��Rh�U�S�*��+V#��N&��S�O��Rh�U�S���'�(+*!�%U&��S��S��PR(�7d"%(�(F*�2#����98;@����� �5��78T�(6' �*A')')��7:.+4?')�µ�aO����-2)4�9:')78��TS78���$�=�)�$*!4+"&')78���+2�*!�FV '�(������&���=�)��*S(�78T�(+����"&�62e'W[��N�-"&')78����¨?[ NV?7d2)"�4+2�25�W2R25�=���,���]')(+��"&�=��b0���+���6'{2)"�����7:��T���4�9:�W2�')(+*!'oV?��7:`=��'�(�7d2R7:�����������+"���[_mo2oV?�&f2�"&��7:.0�-V<78��')(��3PR7dV?T=�&'o��Z?*��$b�9:���I�N�-"&')78���/¨�[ ¦N�aO?'�(���m{4F"a')78����fet#�=�?1+T�4+��*!')78���<�)4�98�-2)�&'PR789:9~7:�?���-�o��4�9�'�7:b+9:��*!4+"&')78���+2^���=�o�W*�"%(�T��N�?V�'e;6b0��O0����"&���$b0�����-�6'-[ � ��')(���\~mot���Z6f*!�$b�98��ON*�2�2)4��$7:��T3����4���V�*µ;?2�O�')(��-�)��PR7:989F.0�o¦ � p'& ¯��+78T�(6'�*�4+"a'�7:�=�+2¥�x���+�^�����n�-`��-�);"&�=��.�78�+*!')78��� ���nV�*µ;v*!�+V 'e;6b0���s7:�N.0��4��FV/�=�o��4�').0��4��+VF�I��*!�+V�2578�$7:9d*!��9:;<���=��(���')�-982PR(�7d"%(Y(+*µ`��$'eP���'e;NbF�W2S�sT��N�?V����3.+*=V+�a[ An�='����)'�*�7:���$�-�='�')7d"%���&'%2�(+*µ`=�$')(������@'e;Nb0�-2��.F*�2)��.+*�9:9IO�25;N�$b�(��=�N;�O?����'�(��-*!')���W�^*!�FV�2)�$¦ � y�& NWp *�4+"a'�7:�=�+2R*!����"&���-*A'��-Vc[®��=9:98�APR7:�+T�7d2v*w2�*!�$b�987:�+T��!��')(���*!4F"a')78���F2S'�(+*A' *��)�X"&���-*A'��-V�'��x254�b+bF�=�5'<')(��

���-T��!'�78*!')78���<2e'��)4+"&')4����,7:�<'�(��3*�"&')4+*�9�\~mot�T=*����=[

� Q��Rh�U�SD��� ��N�KD�@P���O��1� � S�K�V�� � O�� �� Q��Rh�U�SD��� ��N�KD�@P���O��1� � S�K�V��G����S�� �� Q��Rh�U�SD��� ��N�KD��S��& �1� � S�K�V�� � O�� �� Q��Rh�U�SD��� ��N�KD��S��& �1� � S�K�V��G����S�� �� U&��S��1� � ��N�KD� P"��O��q��� S K�V1��]&N���� �� U&��S��1� � ��N�KD� P"��O��q��� S K�V1� h����� � �� U&��S��1� � ��N�KD� S��& �q��� S K�V1��]&N���� �� U&��S��1� � ��N�KD� S��& �q��� S K�V1� h����� � ����O S�� SN&�aO�P��O SD� � ��N�KD�@P"�eO��q��� S�K�V���]�N&�ee]&N � � ������O S�� SN&�aO�P��O SD� � ��N�KD�@P"�eO��q��� S�K�V��X�aKePV�U&�eO�K ���

N ­

Page 20: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

���O S�� SN&�aO�P��O SD� � ��N�KD�@P"�eO��q��� S�K�V�� S�U&�N�S �� ������O S�� SN&�aO�P��O SD� � ��N�KD��S�� �q��� S�K�V���]�N&�ee]&N � � ������O S�� SN&�aO�P��O SD� � ��N�KD��S�� �q��� S�K�V��X�aKePV�U&�eO�K ������O S�� SN&�aO�P��O SD� � ��N�KD��S�� �q��� S�K�V�� S�U&�N�S �� ���

�{��')�,')(F*A'^')(���.+4�;��-� �!25�-9:98���^��4�9:�W2�7:�+"�9:4FV?�325�-`��-��*�9F'���*µ`=��98���%2nPR(+�$*��)��78�='������-25')�WV78�w.�4+;678��T�"&�=��b+9:��')�<')�%*µ`��-9#b+*="%�A*!T��W2��L25�-�<®Q78T�4���� y �L"-�)�a[�\^(�782$25')��4+"a'�4����<7d2����!'78�?�������)�WVcO6(��AP#�-`��-�-O!.0�-"-*!4+2)�{'�(������o*��)�{�+��*!T=���6'�2nPR7:98987:��T3')��2)��989F')�%*µ`���9+b+*�"%�A*!T=�-2{�L*�2P���989�*�2�')(+��b��)�=(�78.�7�'�7:`=� V�� � ��LRS��e��Ou �&��S��a[c��;�*=V�V?78��T$�)4�98�-2R2)4+"%(�*�2���������q� U K�V&��S�U�S���LeN ��r��� ����q� S � N��� ��V&N&L �N�h�� :bV&�� � ��L�S�����Ou��&�RSq� �& :bt#���6'���*="a'�����'3PR7:989n78�+25')�-*=V�7:�������$*v2578��T�98�S"����$bF�=�����6'�PR7:')(w257:Z�*!'5'��)78.�4?'��-2e�x*��)��7:`=�� N fI¦N�aO0V?��b+*��5'�� p fe¨��&O+(���')��9:'e;NbF����T��N�?V����o.+*�V+�&OF�-�6' N V+*µ;�O��-�=' p V�*µ;=O����6' y V�*µ;X� N fr¦@������=���W�r�x*��+VSP���4+98V��)���64�7:��� y �6p *�4+"a'�7:�=�+2�[F����x7�'�(���4�'�*xV&�� � ��L�S"�e��Ou����S O6')(�������9898�APR7:��TS�)4�98�-2�*!���3'�(�����78��78�@*!925��'��+�-"&�W2ef

2�*!��;�'���"%(��N�=2)��*�.�4��FV?9:78��T,�!�B�+78T�(6'�2�78�6')�,�)�=4��+V�')��7:bF2�O!(+�!')�-9?�)�N�=�$2Q78�6')�,"&���6'�7:T=4���4+2.�98�?"%�N2-O�*!�FVS�-�='����)'�*�7:���$�-�='R78�6')�@b+*="%�µ*�T��W2n���~'�(��)�-�,��`��-�6'�2-[

] ��K���q��S ��N�������,��� ���� O�� Q�&�Rh�U�S� =b] ��K���q��S ��N���������� U&��S �e]����&L �� =b] ��K���q��S ��N�������,��� �O�S�VN&L �N�h�� =b���������q�wN&�R�&�&�aO���� ���� O�� Q�&�Rh�U�S� =b���������q� U��S��"��� U&��S��e]����&L �� =b���������q�wN�h�O�S �1�%�O S�V&N&L ��N�h� =b

\^(��-2)���)4�98�-2�PR789:9R��'��)78`N78*�9:98;��R78�?������'�(���25')��4+"&')4�����2)(��APR� 78��®Q78T�4���� y ��.F�&[��_*!��7�f��4F2n��')(��-�nb+*��5'�7�'�7:�=��7:�+T=2#�!�c')(+��"����6')�%*�"&'n7:�6'���.�4��FV?9:�W2^"�*!�S.F��7:���������)�WV�2578�$7:9d*!��98;�.N;*�V+V?7:�+Tv���3�����$�A`N7:�+T<b0�!'����6')7d*!9#.�4�;=���%2�*!�+VY2)��989:�-��2�������'�(���`A*!��7:�=4+2,b0�=2�2578.�98�S"&�=��fb0�����-�='%2{*!�FVv*�V �e4+25')78��T@'�(���"��=25'o�!�*�V�V�7�'�7:�=�+*!9Q*!4+"&')78���+2{*��+Vv"&���-V�7�'R���=��*�V+V?7�'�7:�=�+*!9.�4�;=���%2^*!�+V�2)��989:�-��2-[

� �¡����Q�3��� & � � � 3� o�$�����������

®Q7:T=4�����¦�V?��b�7d"a'%2�')(����A`��-��*�9:9~b��)�?"��-2�2o���_')4�����78��T�*<"&�=�6')�%*�"a'�')�-��b+98*!')�$*!98����T�PR7�'�(��4�9:�W2@������� *!T=���6'�2S7:�6'��w*�1+�F*!9,"&���6'���*="a'-O{*��+V�'�(�����*!�x�&Z?�W"&4?'��-V�V?�W*!9I[¡m�'<')(��(��W*!�)'3�!��')(�7d23b����?"&�W2)2�*��)�$'�(��@')(+�)�-��25��'�2����^.F*�"%�NT�����4��FV/�N���APR98�-V?T=�@V?782�"&4F2)2)�-VX78��N�W"a')78����¨W��m{4+"&')78���?f5t#���?1FT�4��%*A'�7:�=��ORm{4+"&')78���?fe�Nb+*="&��O�*!�+V�mo4+"a'�7:�=�+���!')f � *�b�b�78��T+[t#���6'���*="a'�����'-[ "&98b<PR�%*!bF2^')(��W25���)4�98��.F*�2)�-2^'���T���')(��-��*�9:�=��T@PR7�'�( �$782�"&�-9:9d*!�+����4F2R4?')78987�f')78�-2��s4?')789I[ "�9:bF�{*!�+V ¤ ����98��T<���,�?�R�,ª pA« �64�����7:�W2�')(+*!'{V?�)78`���'�(���7:�����������+"���[\^(��,7:�����������+"����-��T�78���,7:'�2)��9:�~7d2R*�"a'�4+*!9898;�PR�)7:'5'�����*�2^*$25�-�)78�-2���� ¤ ����9 2)"��)78b?'�2�'�(+*A'

�+�AP�*$2)�&'R�!�Q7:�+b�4?'{��4�9:�W2R*!�+VS')(+��.+*�"%�NT�����4+�+V@�N���APR98�-V?T=�o'�(��)�=4�T�(vt�£ ¤ *!�FV ¤ �)��f98��T+[,\^(����@*!78�Xt#���6')�%*�"&'����!'��&Z?�-"�4?'�*�.�9:�$*�"-"&�-b?'�2�*!��.�7:')�%*!��;�t�£ ¤ �)4+9:�W2��sT����+���%*!989:;°�� øÄûRû ���lýºþ ����ø ����}üµ²µ³ �)�������lø!ü��a¶�ýºú×þ-û>ú 6®øÄûXûRú×þµ³Äø0ú×þ6��ø®ýºûRú¸·µ´×ø�Lý%³ �ºý��2øÄû� hø#M ��M�D�ülø�Lý��+�I²6�Rø�·Ûø����#�Røý����>ú ù2ý%´ hý��Rø�þ�����ú×þ6�Èø��?�RøÄü M

N ¯

Page 21: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

®Q7:T=4����n¦+g � �APwt#���6'���*="a'�����']4+2)�-2Q7�'%2�*!4+"&')78���3�N���APR98�-V?T=�')��')4+�)��*{b+*��5'�78*�96"����6')�%*�"&'78�='���*X"&�=��b+9:��')��On�&Z?�-"�4?'�*�.�9:�<"&�=�='���*="a'W[�\^(+�S9d*!��T���*��)���AP{2�����b����-2)���6'�7:��b+4?'�2$*!�FV��4�')b�4?'%2<�!�3'�(��Y25;?25')����[ \^(���1+�+*�9�2e'%*!T����!����Z?�-"&4�')78��T�*�1+�+*�9�"&���6'���*="a'�7d2�')(��2)4�. �e�-"&'R�!��b��)�-`N7:�=4+2�P#�=�)�/ª NWpµ« [

')(+��"&�=�6')�%*�"a'o')���$b�9d*A'���*��+Vv.�4�;=��� �A2)��989:�-�{��4�9:�W2��{���/25'�*��+V�*���V�78��b�4?'�*!�FV "&�=��.�78���-2')(+�-2)�@�)4�98�-2,PR7:')(X'�(���.+*="%�6T=�)�=4��+V/�6�+�APR9:�WV?T��$25b0�-"�7�1F�-V�78��"����6')�%*�"&'����!'W[ "�9:b][$\^(+782"&�=��T�98���$�-��*!')78�������t�£ ¤ 78��b�4?'{7d2^���WVS78�6')�$')(+�<�_C!} HaG k%CA} i �_C F � K �8k H O0*�"����$b0�����-�='�!� � � � t#�=���$�=��!R4�98�-2oPR(�78"%(�"&���$b�7898�-2�t�£ ¤ 78�='��S�=��V?78�+*��); ¤ ����98��T+[R\^(�7d2 ¤ �)�=9:�=T"&�?V?��7d2{"�����.+7:���WVSPR7:')(�'�(�� �64��-�)78�-2R2)bF�W"&7:1+�-V<78� "&�=�='���*="a'%�#��'-[ "&98b�*��+V����-V�78�='��$')(������� ¤ ����98��T�����T=7:�+��[� 'R782#')(+�-2)�E�64��-�)78�-2n')(+*!'�T=�����-��*!')�o')(�����4?'�b�4?'^')(F*A'�')(�������9898�APR7:��T��$�NV�4�9:�W2������WV

78���=��V�����')�Y78�6')���%*�"&'@PR7�'�(w'�(�� m{4F"a')78���F�#��'-[�®+���@�&Z�*���b+9:�=On'��XT=�����-��*!')�<')(+�v9:7d2e'�!�*!4F"a')78���F2^')�@.0��"&���-*!')�WVcO+"&�=�6')�%*�"a'%���!'-[ "&98b<�$*����W2{* �64�����;SPR(�7d"%(�PR�)7:')�W2{*$987825'{')�25'�*!�FV�*!�%V���4�')b�4?'_"����6'�*�7:��78��T�*!989N')(��^*!4+"&')78��� � ;�2Q���=�QPR(+78"%(�')(��-�)��782*$P�N �� � ��L�S"�e��O�s*�"&'@���6'�*�7:98�-Vw.N;Y')(��v�N���APR98�-V�T��<.+*�2)��[x\^(��W25�<�s*�"&'�2@*��)��T��-�����%*A'��-V�.6;wm{4+"&')78���?ft#����1+T�4��%*A'�7:�=����������`=����;<b0��78�6'�78��*!'5'��)78.�4?'���2)b+*�"��3���=���-`�����;v"&�=��b0���+���6'�78�?���������-Vc[t#���$b0�����-�6'�2-O~78��')4�����O�*!���@7:���������)�WV/������� ')(+�S"&�=�='���*="a'�'����$b�9d*A')��*!�+V����������)4�98�-2��������*�T����6'%2�[\^(��^��4?'�b�4?'��!�F')(�� ¤ ����98��T3�64��-�)78�-2�*����=4��6'�2]')�,*o987d2e'�!�0*!4+"&')78���+2Q*!�+V�b+*���*�����')�-�

`A*!984��-2{�������-*�"%( *�4+"a'�7:�=��[o\^(���9:7d25'��!�_*�4+"a'�7:�=�+2o*��+Vvb+*���*�����')�-�o25��'5'�7:��T62o*��)�����WV�')�')(+��B H k JAG k&E J }+B GIK CAD i �$�?V?4�98��PR(+78"%(�"������+�-"a'%2�')� '�(���m{4+"&')78���+���!'$`N78* ')(�� � *!')(?f���@*!')7d"�*X7:�$b�98���$�-�='%*A'�7:�=������'�(�� ��}+B GLK C!D � C G �nM6k&D G �_C F F }?D K B JAGIK CAD D H C G C-B%C��L�)�*!�FV�"��)�W*A'��-2Q')(+�o*!4+"&')78���+2-[~\^(+�{9:7d25'_�!�c*!4+"&')78���+27d2_*�982)��25�-�=''��,')(�� J }+B GLK C!D+E � JAG B ��k H�$�?V?4�98�<PR(+78"%(��$����7:')�=��2�'�(��v25b0�-"�7�1+�WV�*!4+"&')78���+2$*!�FVw"����$bF�625�W2�')(�� "������)�W25b0���+V?f78��T�')�%*!�+2�*�"&')78�����s*="a'%2��s2)���3�N�-"&')78���+2 p [ y *��+V�¬6�#PR(������-`��-�^*�'���*��+2)*="a'�7:�=�S�?"�"�4���2��=�m{4F"a')78���F�#��'7:�@*!�$*!4F"a')78��������98��`A*!�6'�')��')(+�{"&���6'���*="a'-[Q®Q7:�+*�9:98;�O!')(��^'���*��+2)*="a'�7:�=�3�s*�"&'�2°¥° H�ý ���løe¶�ý �>ú¸³®ý �!ýºûQ³��6�2ûRøÄþ �=�#��ú �Rû~³e´×ø�ýºþ,ú¸¶ µ´×øe¶sø®þ'�Rý �Rú��2þ ��� �?�lø������?�-³��a´Xýºþlü�ú �>ûQ³��2þ�ù�ø®þ�ú×ø®þ'�

� ! ) � >�´×ú �2ø1�Lýºþ�üµ´×ú×þ��4��� �?�lø-ý%²µ³ �Rú��2þ�ýºþlü/Lý��Rý%¶sø �Rø��]´×ú×û?�>û�M

N��

Page 22: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

*!���R"&�=�+"�*!')���F*A')�WV�PR7�'�($')(��{b+�)��')�!f¥"&�=�6')�%*�"a'Q�������u'�(��{�=�)78T�78�+*!9�"����6')�%*�"&'�')���$b�9d*A'��R')�������� *!�@��ZN�W"&4?'%*!.�98��"����6')�%*�"&'nPR(�7d"%(S"�*���7:'�2)��9:�].F�o���-V�')(�����4�T=(�*!��78�?���-�)�-�+"&������T=7:���')�$��ZN�W"&4?'��,')(��,'������@2^�!�Q')(��3V?�W*!9_ª NWpW« [

� � � ={��� � 3������� �U����� �������&� �U����������� � ��={���9���&���

��78`����S')(���78�?���%*�25')��4+"a'�4����o'�(+*A'RP���(F*µ`���"��)�W*A'��-V�PR7�'�(S'�(�782^b+�)��')�!'e;Nb0��O?P���2)����t�£ ¤*�2$*��w��Z?"���989:�-�6'$78�6')�-�5�s*="&�<�����@"&���-*!')78��TY*!4+"&')78���+2e�x.F��')(©���=�@(N4��@*!�+2@*��+V©���=��*!4?f')�=�@*A')�WV�*!T��-�6'�2-[�m�2S"-*!��.F� 2)���-��78��')(���\~mot t#���6')�%*�"&'�\]�-��b+98*!')��O�78�+2e'��-*=Vw����&Z?b�987d"&7:')98;�2)bF�W"&7:��;N7:��T3')(�� p ­�*!4F"a')78���@bF*!�%*!�$�&'����%2�')(+*!'#m{4F"a')78���F�#��'#���-�-V�2_')��"��)�W*A'��*!��*!4F"a')78���]O]�@*!�N;/"-*!�X.F��"��)�W*A')�WV/PR7:')(Y*�2)7:��T=9:�$987:�+��*!�+V��$�=25'3�!�n'�(��@���-25'3PR7�'�(�e4+25'o*�����P�9:78���-2-[�o��')�-��78����4��^���-2)�-*!�%"%(�O6P#�����-�-VS')�@"&���-*!')��.+*A'%"%(��-2��!��*!4+"&')78���+2#���=����4����+7:��T$��Z6f

b0����7:�$���6'%2~�=�Q2)78��4�9d*A'�7:�=�+2�[Q\]�,V?��')(�7d2�� ��"�7:�-�='�9:;=OAP#��(+*µ`=�n4+2)�-V�*{'��6�=9NPR(�78"%(�*!989:�AP{2')(+��*�4+"a'�7:�=��b+*���*�����')�-��2�')��.F�^25b0�-"�7�1F�-V378�$*R')��ZN'~1+98��[�®��=�*o2)7:��T=9:�^*!4F"a')78���]Oµ')(�7d2~1+9:�7d2{2578�$b�98;�*�9:7d25'o�!�Qb+*!�%*!�$�&'����%2R*!�+V<`A*!984��W2�[_®+���{.+*!'�"%(��W2^�!�*!4+"&')78���+2-O?'�(��3V?7 �0�-�)�-�='`A*!984��-2Q���=��')(��ob+*!�%*!�$�&'����%2~')(+*!'n*!���#'��,.F�{`A*��)78�-V�"�*���.0�R9:7d25')�-V$78��')(��^1F9:�R��ZNb+9:7d"&7:')98;�[m�254�.F25��'^���]��4+��b+�)��')�!'e;Nb0��"-*!�S�+�AP�.F�,4+2)�-V�*�2^*�bF�AP����)��4�9 T��-�����%*!987 >W*A'�7:�=�@�!�]'�(+*A'��4��+"&')78���+*�9:7:'e;�[#®����^'�(���"-*�2)������*�1�Z?�WV�bF*!�%*!�$�&'����^1+98�,�����{*@2)7:�+T�98�,*�4+"a'�7:�=��O+*St�£ ¤1+98��"-*!�S*!'#P����%2e'#V�4�b�9878"-*A')��')(F*A'���4��+"a'�7:�=�+*!987:'e;�PR7:')(S')(������64�78`A*!98���6'�987d2e'��!�c�s*�"&'�2#�����')(+��b+*!�%*!�$�&'����)fI`A*�9:4���b+*!78�%2�[ �2578��T�')(��3*=V�V?7:')78���+*�9c�N���APR9:�WV?T���78��mo4+"a'�7:�=�?fe�Nb+*�"���7�'"�*�� V?�@'�(�782o��4+"%(v�$�=�)��2)4+"-"&78�+"a'�9:;=O+����'o')�S���-�6')78���v��4F"%(v���=�)�3"�9:�W*!��98;<PR7�'�(v')(��b+*���*�����')�-�)7?>-*!')78���$7:�$b�98���$�-�='��-V�.N;$mo4+"a'�7:�=�?fe�Nb+*�"���[m{�<*�V�V�7�'�7:�=�+*!9 *�V?`A*��='%*!T=�o"�*��.0��(+*=VvPR(��-��"&���-*!')78��TS*S.+*A'%"%( �!�#*�4+"a'�7:�=�+2-[��X��(F*µ`���"��)�W*A')�WV *S2)�@*!989~9878.���*��);�')�2)4�b�b0���)' ¤ ����9�2)"��)78b?'�2o�����,"&���-*!')78��TS.F*A'�"%(+�-2��!�#*�4+"a'�7:�=�+2�[,����98�AP�782,*�2578�$b�9:���&Z�*���fb�98��')(+*!'o"&��4+98V����!'{.0��*�"-"&���$b�987d25(��WV�V�7:���-"&')98;�PR7�'�(���4��R��ZN7d25')78��T�')�N��9d2¥��"&���-*!')78��T�*.+*!'�"%(<�!� ! *�4+"a'�7:�=�+2���PR7:')( ! 25b0�-"�7�1+�WV<���<')(��3"����$�@*!�+V<987:�+�W��PR7:')(��-*="%(<V?7 � ����7:��T���+9:;�78�<')(����F*!�$�,�!�Q')(��3*�4+"a'�7:�=��[

������R� �aN���L�S�����O���O��N�S��� b V�� �� �ZS�U&g���XP&V&��WV&��&�d�&�?]��N�� K b

Q��������&��� ����� j ��� � l���� �X������&� � � ��]&�h"�aO � ��LRS��e��OD� �N�� ��l�����1� � O&�h��S��eN�S��e��O k�K�V&1�pLe� N& :b �� �N�� ��l�����1� � O&�h��S��eN�S��e��O k�K�V&1�������N�� � � � :b �� ��iL����&���dN�����YU&N��CS�U&T������&�d�?OiNdQ"����dN�O��T�"�����\N�� ��s�����1� �aQ"����eO&NRP"qbGL��eV �� �

N�� ���N��NRPc� � O&NRP" ��� �RN���LRS��e��O��,b��&� ��O� � ��L�S�����OD�? �

p �

Page 23: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

��� ��� �~�{�&� ���&��� �3�� �v��������� �����

t#���6'���*="a'�����'�����b����-2)���6'�2�*X"&���$b�����(+���+2)7:`=��*�b�b����=*�"%(©')��*!4?'����@*A'��-V�"&���6'���*="a')78��TFO*�V+V?�)�W2)2)78��T�')(���'�(��)�-���4��+V+*!�$���6'�*�9�25'�*!T=�-2 ���?V�782�"&�A`=����;�O&���-T���')7d*A')78���]O-*!�FV���Z?�-"&4�')78����[� '����$b�98�A;N2�*�V?�-"�98*���*!')78`��#"����6')�%*�"&')78��To9d*!�+T�4+*�T��'�������b����-2)���6'Q7:�?���=�)�@*!')78����b0���)')78���-�='')��*!9890')(�������2e'%*!T��W2�[�\^(�7d2����+*�.�9:�W2_'�(��,2)*�����7:���������$*!')78���@'���.0�,*!b�b�9878�-V�78����4�9�'�7:b+9:�25'�*!T=�-2-O*!�+VY.+�)7dV?T��W23'�(���2e'%*!T��W23.N;�4+2)7:��T/')(��<��4�')b�4?'$�!�������<2e'%*!T���')����������4�9d*A'��')(+�<b+�)�=.�9:�-� �!��')(��v�+�&ZN'-[��X�<(F*µ`���25(��APR�w')(+� �F�&Z?7:.+7:987�'e;��!��')(�7d2@*!b�b+�)�6*�"%(©.N;78��b+9:�-���-�6')78��T�*�b����!'��!'e;Nb0��*!�FV�T��-�����%*A'�7:�+T�*!9:')�-�)�F*A')78`������-T��!'�78*!')78���S25')��4+"&')4����-2#�����*�')�%*µ`��-9 V����@*!78�X�L\~mot^�&[��4��$*!b�b����=*="%(Y*�V�V?���-2�2)�-2�2)��`=���%*!9_���-2)�-*���"%( �64��W2e'�7:�=�+23����T6*!�%V?78��Tvb��%*�"a'�78"-*!9^*!4?f

')�=�@*A')78���X�!�#')(���"����6')�%*�"&')78��T<b��)�?"��-2�2�[@®Q7:�%25'-O�(��AP "�*���P��$�)�-b��)�W25�-�6',78�?���=�)�@*A'�7:�=�')�Y*�9:98�AP�*!4�')���@*!')7d"�78�?���-�)�-�+"&���!������T=�!'�78*!')78���w25')��4+"&')4����-2 � �N�-"����+VcO�(��AP "�*!�wP#�*!4�')���@*!')7d"�*!9898;©25b0�-"�7���;©�+��T���')7d*A'�7:�=�+2�7:��*XP�*µ;X')(F*A'�PR789:9{"�9:�625�-9:;©V?��78`���*����-*�9:7d25')7d"*!4�')���@*!')�-V�b�9d*A'5���=�)��� \^(�78��VcO#(��AP�"-*!��P��<4+25�v*�4+"a'�7:�=�����-2)4�9�'%2�')�X������� * 1F�+*!9"&�=�6')�%*�"a' �� ���=4��^b����!')��'e;NbF�=O6P���4+25��t#�=4��5'����=4+2#£]��T=78" ¤ ����T=��*��$2')�$�)�-b����-2)���6'�� N �#b+*!�)')7d*!9

"&�=�6')�%*�"a'%2�O#� p �3*�V�V?7:')78���F*!9_��4�98�-23*�.F�=4?'3')(+������T=�!'�78*!')78���Xb��)�?"��-2�2����)�=� .�4+;����%2�*!�FV2)��989:�-��2-O�� y �$.+*="%�NT�����4��+V��N���APR9:�WV?T��v*�.F�=4?'�(��AP '��©2e'��)4F"a')4+�)�����-T��!'�78*!')78�����$�-"%(?f*!�+782)�@2�*!�FV©"&�=�?1+T�4+�)�@78�+V?78`N78V?4F*!9^*!4+"&')78���+2-O_*!�+Vx�s¦6��1+�+*!9IO�&Z?�W"&4?'%*!.�98�S"&�=�6')�%*�"a'%2�[ o2)78��T��)4�98�-2$78��')(�7d2@9d*!��T=4+*!T=��On���)�=� ')(�� "����6')�%*�"&'�'����$b�9d*A'�� *!�+Vw������� b0�!'����6')7d*!9.�4�;=���%2,*!�+V�25�-9:98���%2�OcP���1+��25'�7:�������,')(+��.F*�2)78"�2e'��)4F"a')4+�)���!�#')(��$���-T��!'�78*!')78�������W"%(+*Af��7d25��.N;�*�b�b�98;N7:��T�.+*="%�6T=�)�=4��+V,�N���APR98�-V?T=�n�-�+"&�?V?�WV�78��mo4+"a'�7:�=�?fet#�=�?1+T=4���*!')78����[~���')(+���S4F25�o')(��,m{4+"&')78���?fe�Nb+*="&���N���APR9:�WV?T��o.+*�2)�{'���78�?�����R*3T=�����-��*�902)�&'��!�]bF*!�%*!�$�&'����%2�����o�-*�"%(v����')(���*!4+"&')78���+2{2)4�b�b0���)')78��T@'�(����+��T���')7d*A'�7:�=��[R\^(���m{4F"a')78���F�#��'5f � *!b+b�7:�+T��4�9:�W25��'~'���*��+2)98*!')�-2~'�(�782�78�6')�,*!����b0���%*A')78���F*!9?25b0�-"�7�10"�*A'�7:�=�3���=�~'�(�� � 7d"%(�7:T6*!� � �='��������&'m{4F"a')78���F�#��'-[{®Q78�+*!989:;=OFP���"�����.+7:�����)4�98�-2oT��-�����%*A'��-V<.N;�*�4+"a'�7:�=��')�%*!�+2�*�"&')78���+2{PR7�'�(��4�9:�W2�78�©'�(��Sb+�)��')�!f¥"&�=�6')�%*�"a'3���{')(+�<"����6')�%*�"&'3')�-��b+98*!')��O_')��������� * 1+�+*�9�"����6')�%*�"&'PR(�7d"%(�7:'�2)��9:��782R��Z?�-"&4�'�*!.+9:�,4+2)7:�+T���4�98�&fr.+*�2)�-VS')�W"%(���7 �64��-2-[��4���b����!'��!'e;NbF�$"�*���T=�����-��*!')�@2)�&'�2,����*�4+"a'�7:�=�+2�"&�=�)���-2)bF�=�+V?78��T�'��v*���4�9:')7d"&����f

b0�����-�='WOn��4�9�'�78*!'5'��)78.�4?'��<�+��T���')7d*A'�7:�=��O#*��+V�2)4�b�b0���)'�2$���-*=25�=��7:�+T�*!.0��4�'$*�9�'������+*A'�7:`=�P^*µ;N2#'��$V��-"&�=�$bF�625��*$"&�=�='���*="a'R78�='��$��4�9:')7d*A')')��7:.�4�')�3"&�=�$bF�=�����6'�2-[ � ����4?')4�����P������0OP��<P���4+98Vw9:78����'����&ZN')�-�+V�m{4+"&')78���+���!'S*=2$P#�-9:9{*=2$��4��@�=�6')��98��T=;Y7:��t#�=�='���*="a'%�#��'')��254�b+bF�=�5'o��7d"%(����{�+��T���')7d*A'�7:�=�<�$�W"%(+*!��7d2)�$2-[R®��=�o�&Z�*���b+9:�=O+(+*µ`N78��T@��4�9:')7d*A')')��7:.+4?')�*!�FVv"&����.�78�+*A'�����78*�9�*!4+"&')78���+2RPR78989LOF�������$*��N;�V?�=�$*�7:�F2�OFb��)�A`N7dV?�3*@�$���������-*�2)���F*!.�98�*!9:')�-�)�F*A')78`��S')�X')(+� "&4����)�-�6'$*�b�b����=*�"%(��!��"��)�W*A'�7:��T�*!��*!���%*µ;�����*!4F"a')78���F2�O#�����<�������`=����;�"&�=��.�78�+*A'�7:�=�����Q*!'5')��78.�4?')��`A*�9:4��W2�[mo2SP#� *=V�V�*�V�V?7:')78���F*!9{���-T���')7d*A')78�����$�-"%(+*���7d25�@2$'��©m{4+"&')78���+���!'WO^P#�vPR789:9�.F�

*!.+9:�,'��S*�V�V��$�=�)��2)��b+(�7825')7d"�*!')�WV�.F*�"%�NT�����4��FVS�N���APR98�-V?T=�3*!.0��4?'�(��AP�'�����b�')78�$*�9:98;25')��4+"a'�4��)�3*�����T=�!')7d*A'�7:�=�v*�"�"����%V?78��T�')�@'�(���"&��7:')����7d*@V?782�"&4F2)2)�-V�78�/�N�-"&')78��� y [^\~����Z6f')�-�+V@�=4��#*�.�7:987:'e;�'���(+*��+V?98�{')(+�o�&Z?�W"&4?'�7:�=�@b�(+*�2)�o����"&���6'���*="a')78��TFO�P��oPR789:90T��-�����%*!987 >-���4+��6�+�APR9:�WV?T����)�-b����-2)���6'�*!')78���3'��,�&Z?b����-2�2 K�G } J!G k #$t#��4��)')�-��4+2£ ¤ 2-[Q�N7:')4F*A')�WV�9:�=T�7d"b�����T=��*��$2�ª N��µ« 4F25�,.0��987:���s2^')��V?��78`��,b����N"��-V?4+��*�9 m ¤_� 2-[�����@b�78�-"������#��4�')4����@P#�=�)�v�=4?'�2)7dV?�$�!�ot#���6')�%*�"&'����!',7�'%25�-9��^PR789:978�N`���98`���PR��7�'�7:��T

*!T=���6'�23')(+*!'�bF*!�)')7d"&78b+*A'��S78�©')(+��78�?���%*�25')��4+"a'�4��)��P#��� `=��V?�-`��-9:�=bF�WVc[Y\^(�782�7d2�*�����Z6f')�����$�-9:;��)7d"%(Y*!���-*<������*!�+*�9:; >�78��T "����$b�98�&ZX*�T��-�='�25')�%*A'���T=7:�W2�2578�+"&��*!�©*!T=���6'�4+2)7:��T

p N

Page 24: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

t#���6'���*="a'�����'#��4F2e'R����'{����98;@�N���AP�(��AP�')�$.�7dVS78�6')��98987:T=���6')98;�78�<*�`A*�25'{25b+*="&���!�Q���&fT���')7d*A'�7:�=���$�-"%(F*!��7d25�@2-O?.�4?'o*�982)�$7:�6')�-9:9878T����6'�9:;<"&���6'��)78.�4?'�����4�98�-2�'��@7:�,�F4����+"���PR(�7d"%(���-T��!'�78*!')78���<�$�-"%(+*���782)� 782{"%(+�=2)����[�®�4��)')(��-�o7d2)2)4��W2^�����R��4�')4����3P�������7:�F"&984+V?�3�$�-2)(?f78��T����=�)�$"&98�=2)��98;vPR7:')(��!'�(�����*�2)b0�-"a'%2,�!�^"&���6'���*="a'�2-Oc��[ T+[8Oc'���*��+2)*="a'�7:�=�+2�OcbF*µ;6�$�-�='%2�O���-T��!'�78*!')78���<*!�+V�"&�=�$��4���7d"�*!')78���<b����!')�?"���9d2�ª¸­6O N ¨ « O+*!�+V<2)4�b�b�987:�-�o2)��98�-"a'�7:�=�Xª p �A« [

� /�� '3%���#9��72 �59 '()��\^(�7d2oP�������P�*=2o2)4�b�b0���)')�WV .N; � � � � 2 {�+7:`=���%257:'e; ¤ *!�)')���-��2)(�78b ¤ ����T��%*!� PR(�789:��')(��')(+7:�%V *!4�')(��=��P^*�2�*A' � � � [ � ��7_t#(+*!���!� � � � b+98*µ;=�-Vv*��=��;�����98��78��V?�-`���98��b+���-�6'�!��t#�=�$���=��!R4�98�-2-[�����P#�=4�98V/*!9d25��9:78����')��'�(+*!�+�<�x78989:7d*!����*!9d25(]O \~�������F"&���,�-9:98;�O;�*µ`67dV ¤ *��)�=�-2-O AnV?��4��+V ;o4��)�����=O�*!�FV��x789:987d*!�¡��78�)�$78��T�(F*!�¢������(��-9:b���4�9+V?7d2)"�4+2�2578���+2*!�FV�"&���$�$���6'%2]78�3�-*��)9878���~25'�*�T��W2c�!�?'�(�782~P������0[!R�-2)�-*���"%(3*!'�')(�� {�+7:`=���%257:'e;���� � 78"%(+7�fT=*���P^*�2^*�982)�@254�b+bF�=�5'��-V�7:��b+*��5'R.N;S����®�T=��*��='%2 � ! � f � ¦6¨6­A¬ p ¦�*!�FV �)� �6f � � ¯=¯6­ N ¨?[

� ��o��o��� �

ª N&« � � � t#�=���$�=��!R4�98�-2-[ U�S S�V � ���� cb �&���N��"LRU bp�?]eP bGL��?P �e������&� �L��RP�P���O����&��&� _ ����� �"��� b U SeP���[

ª pµ« \^(����,�?� ¤ �)�=T��%*!�$�$7:��T$�N;?2e'�����[1U�S S�V ���������R]$bw���e����L��Q ����hDb O�S��?[ª yA« m{�����@m{�FV?���%2)2)���]O � *A'5'�78*=2,\]�-��(N4������]O]*!�+V�®����-V?��78����T�T=��[ � �6')�-T��-��b�����T=��*���f�$7:�+TS���=��"�����.+7:�+*!')�=�)7d*!9]*�4+"a'�7:�=�/PR78�����-��V?��')�-�)�$78�+*A'�7:�=��[ � ���]C!} HaG ���&D G k H D J EGIK CAD J �n�_CAD � k H k&D B�k$C!D � },� GLKsJ M=k�D G lµiaG k F�i O�b+*�T��-2 y � ¦6¬�ON���=25')���]O p ����� [

ª ¦ « t#(�7:'5'%*��^*!�%*!9�*!�+V � 7d"%(+*���9 ���-9����=�+Vc[ £���T=78"�b+�)�=T��%*!�$�$7:��T©*��+V��N���APR98�-V?T=�����b����-2)���6'�*!')78����[��?CA} H D J �~C � C C�M K BED H C)M H)J F F�K D6M�O N�� O p�� g�­ y �N ¦6¯�O N/� � ¦+[

ª ¨ « � *��5'�7:�<�#7d"%(�98���W[�� ��k��c} G } H k,C � k�E � JAH�� k GLi�� � },� GIK # K F k�D iaK CAD J � � JAH�� k G � k%B �?EJ D Kdi F�i [�t�*���.���78V�T�� {��78`��-��2)7�'e; ¤ ���-2�2�O p ��� N [

ª ¬ « ®��-�)�F*!�+V?������*��+"&�F[!\^(���V��-2)7:T=���!����4+9�'�78V?78�$���+2)78���+*�96*�4+"a'�7:�=�+2�[�� �{q�h��NC!} H D J �C � zRB%CAD0C F�K B i O p ¯�g ¬ y ¯ N O N�� � ­?[

ª¸­ « mo2)7:' ;�*!�]O ;�[.;�78*=2�O?\,[?�{T=4�;��-��O � [��?*�"%(+2-O � [+�N(+*�7:�N(�O !�[��,78��T+O?*��+V�� [,;�4���7L[\^(���"&�A;=�!')�Sb��)� �e�-"&'-g�®��%*!�$�-P#�=�)�/��������4�9:')7:fIbF*!�)'e;X��fr"����$�$���%"&�=[ � � ck&jAk&D G �h�k@�:C i�� C H��Ai ��C �YCAD�z��:k%B GLH CAD K B@�C F F k H B%k�� C k�B G } H k^q�C G k i�K D��_C F �0} G k H B K Ek�D0B%k����FC � �"!$#%!%&![0�?b��)78��T=���)f ��-�)9d*!TFO N/� � ¯+[

ª ¯ « �N`=����V�� ���7:�W2�*��+V !{*����W25( ��=(���*+[�t#�=��.�78�+*!')����7d*!9]*�4+"a'�7:�=�+2�g{m 2)4��)`=��;=[��)q�E��'(� � )�?C!} H D J �QCAD��_C F � } GLK DNM!O?'���*!b�b0�-*��-[

ª �A« ;�*!��78��9,®���7:�WV?�@*!��*��+V � �=(�� !R4+25'-OR�WV?7:')���%2-[*� �+k<h�CA} � �:k ��}+B GLK C!D � JAH�� k G [moV+V?782)����fI�X�-2)9:�-;�O N/� �=y [

ª N��A« ����� �5*��$7:�¢�3[ �����=2)�!�e[ ��4�7898V?78��T�t#���$�$���%"&7d*!9,m{T=���6'�2-gwmo� � � � !{�-2)�-*!�%"%(¤ ���%2)bF�W"a')78`��=[ � � D H C-B%k%k # K DNM i C ��G ��k k%B%CAD #+�aD G k H D J!GLK C!D J ���C!D � k H k�D0B%k J D #

p�p

Page 25: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

z| � K���K�GIK CADYCAD D H�J B GLK B J ���*� � � K B JAGIK CAD i C � �aD G k � � K M6k&D G �#M=k�D GLi,J D # � },� GLK E �#M=k�D G�Fk�B �ND C �:C�M l�� D � � ������� O+mob��)789 N/� � ­?[

ª NIN&« ����� �5*��$7:����[ �����=2)�!�e[ ¤ ��7:�=�)7:')7?>��WV�"����,�F78"&'~(+*��+V?987:��T{�����]98��T=78"_b��)�=T��%*!�@2-[ � � � *��� *�9:4+2<>�;N�+2)�N7LO0�-V�7�'����WO C C)M K B D H C�M H)J F F�K DNM � D H CWB%k%k # K D6M i C ��G ��k �aD G k H D J!GLK C!D J � l F �+C iaK } F�� � C D FE ����� Ocb+*�T��-2 N�� ­ �p NIN O t�*���.���78V�T���O � m�O ��?m�O N�� � ­N[ �v� \¤ ���-2�2-[�AZN')�-�+V?�-VX`=���%2578����*µ`A*!7898*�.�9:�$*�2 � � � !R�W25�W*!�%"%( !{��b0���)' !Rt p � ¯ y ¬<*A'U�S S�V ������ $b ��� N��&LRU$bw�?]eP b�L��RP][

ª NWpµ« ����� �5*��$7:�/��[ �����=2)�!�eO �n*!���+782�£]*!.+�)�=4�OF*��+V � �=7 ��[ct#(+*���[{m�V��-"&9d*!�%*A'�7:`=�3*!b?fb����=*="%(�')�,.�4+2)78���-2�2Q�)4�98�-2Q78��"����6')�%*�"&'�2-g~t#��4��)')�-��4+2~98��T�7d"#b��)�=T��%*!�@2�78� � � £n[ � ���� � �_CAD � k H k�D0B%k�C!D@z��8k�B GIH CAD K B��C F F k H B%k&O6b+*!T=�-2_¬=¯ ­�­NO�;����N`=���WO N�� � � [F�N���*!9d2)� � � � !R�-2)�-*���"%( !{��b0���)'�2"!{t p N ¦N­ p �It#�=��b+7:987:�+T ¤ �)78����7:')7?>��-V ;o���s*!4�9:' !R4�98�-2� �6')�����%V?7:�F*!��;�£]��T=78" ¤ ����T��%*!�@2%��*!�FV�!{t p N ¦N­ y � ; �e¤ £Q� � m\,gnt#���$b�78987:��T¤ ��78����7�'�7 >-�-V=;o���s*!4�9:'�!R4+9:�W2 � �6')�����%V?78�+*!��;S£��=T�7d" ¤ ����T=��*��$2-O6�����3A_fet#�=�$���-��"��m{b+b�9:7d"�*!')78���+2,�s�&ZN')�-�+V?�-V�*!.+25')�%*�"&'#��� � �6')��98987:T=���6'^�N;?25')�-�$2!;����$���F2e'���*!')78���F�)�_*A'U�S S�V ������ $b ��� N��&LRU$bw�?]eP b�L��RP][

ª N-yA« � *���� � �,4��@*!�_*!�FV$�N')4+*��5' � [�®+��9dV?�@*!��[ � �='��������&'n*�4+"a'�7:�=�+2-[ � � � � K�H #� �zq ��� C H��Ai �+C �wCADvz��:k%B GLH C!D K BS�_C F F k H B%k&OFb+*!T=�-2�¦ � ¬ � ON�#�62e'�����O N/� � ¯�[

ª N ¦ « ¤ *!4+9 � 789:T=�)�=�<[ ¤ 4?'5'�7:��T{*�4+"a'�7:�=�,')(��-����;R')�oP#�=�)� gc\^(��_2)7:��4�9�'%*!���-��4+2]*�2�"&���FV?7:�+T*!4F"a')78���][ �NC!} H D J �]C � DRC�� K�GIK B J �cz{B�C!D0C F�l O N � ¯+g p ¦6¨ �p ­ p O p������ [

ª N ¨ « �o*!��'�*�9:; � [ � 7:�F25�N;�*��+V �o7d"a'�����78* o��T�4����-*��N4�[Sm �$�-"%(F*!��7d25�U�����3�W2e'%*!.�987d25(?f78��T�b0��987d"&78�-2o��������98�-"a'��)�=��7d"3"&�=���$�-��"���[ � � ! � G ���&D G k H D JAGIK CAD J �^�C!D � k H k�D0B%k�CADh Kdi%GIHaK�� } G k #v�_C F � } GLK DNM� lµi%G k F�i�� �A��hS� � O � *µ; N�� � ¯+[

ª N ¬ « �{�6*!� �{7d2)*���[�#7dV�V?78��T�*��+V�*�9:98�?"�*!')78���<7:�v"&�=��.�78�+*!')����7d*!9c*!4+"&')78���+2-[ � � k%B%CAD #��� � �_CAD � k H k�D0B%k@CAD z��:k%B GLH CAD K B��_C F F k H B%k�OFbF*!T��W2 N�9NWp O � 7:���+�-*!b0��987d2�O � �3Op ����� [

ª N ­ « m{98`N7:�&A{[ !R�!'�(/*!�+Vvm{Z?��9_��"%����������9d2�[{£~*�25'5fr��78�N4?')��.�78V+V?7:�+T�*!�FV<')(����)4�98�-2o��������FV?7:�+T/25�W"&�=�+VNfrb��)7d"&�$*!4F"a')78���F2�g An`N78V?�-�+"&�$������� �-�^*µ;/*��+V�m{�@*�>-���Y*!4+"&')78���+2���<'�(�� � �6')��������'-[ � F k HaK B J DvzRB%CAD0C F�K B���k&j K k �O+')�@*!b+bF�W*!�W[

ª N ¯ « � [��?*!78��*��$�-2)(�O !�[ � �=(+*!��O � [ �,4��@*!�WO!£_[ � *�2�25�=��O!*!�+V@t�[!�����+V����W[�mwb+98*!'5������������.+4+2578���W2)25fL'��!fr.�4+2)7:�+�-2�2~2)��989�f¥2)78V?�=O!b���7:`A*!')�^�&Z�"%(+*���T��W2~*��+V��@*��)�=�&')b+98*="&�-2-[ � � � lµiaG k F�i �?CA} H D J ��ON')��*�b�b0�-*!�W[

ª N��A« \~4����@*�2^�?*��+V?(��=9:��[~mo9:T=����7�'�(�� ��������b�')78�$*�9 PR7:���+���^V?�&'�������78�+*!')78���S78��"�����.�7�f�+*!')����7d*!9�*!4F"a')78���F2�[ � HaGIK �#B KsJ � �&D G k@� � K M6k�D0B%k&O N-y ¨?g N� ¨!¦+O p ���6p [

ª p �A« ¤ �-V��)�o� >-���=��98;�Oµ�#�=.��{�-"%(+�-2-O�;�*µ`N78V ¤ [W�#�-� �5*!�$78��O � 78�N.F��t#(+����OA*!�FV�t#��*�7:T � 789:�!R�=T����%2-[~t#���6')����989:78��T�254�b+b�9:78���^2)��98�-"a'�7:�=��78��*!�<*!4?'����@*A'��-V@b+4���"%(F*�2)7:��T�25;?25')����[� � � � � �aE ��� � C H��Ai �+C �¢C!D � HaGIK �#B KsJ �(�&D G k@� � K M6k�D0B%k K D�z��:k%B GIH C!D K BX�_C F F k H B%k� � ��z���E ����� O � ����98� ¤ *!��� O�t�m�O ���m3O N/� � � [

ª p N&« � 7d"%(+*!�-9 ¤ [6�X��989:�@*!�]O6mo��; ���)�-���NP^*!9dVcO ¤ ��')�-���6'������=O6*��+V ¤ �&'���� !�[=�X4����@*!��[\^(�� p���� N ')�%*�V�7:��T@*�T����6'R"&�=��b0�&'�7�'�7:�=��[n�N4�.+��7:'5'��-V<���=�Rb�4�.�9878"-*A'�7:�=��O p ���=p [

p!y

Page 26: Automated Negotiation from Declarative Contract Descriptionsebusiness.mit.edu/research/papers/2002.04_Reeves_Wellman_Groso… · "Automated Negotiation from Declarative Contract Descriptions"

ª p�pµ« � 7d"%(+*!�-9 ¤ [6�X��989:�@*!�]O ¤ �&')�-� !�[6�X4��)�@*���O��,��`N7:��� � � *�9:98��;=O !{�=2)(+*!�S�^*���T��-��*+O�N(��=4?f¥V?�3£�78��O.;�*!��78��9�!{����`=�-2-O�*!�+V��x789:9878*�� Ao[?�X*�982)(�[:;��-2)7:T=��7:�+T�'�(����@*!������'T=*��$�{�����^*�')�%*�V?78��T�*�T��-�='�"&���$b0�&'�7�'�7:�=��[ ��z_z_z �aD G k H D0k G �_C F �0} GIK D6M�O+¨�� p �ag ¦ y ¨ N O p ��� N [

ª p!yA« ¤ �&'���� !�[=��4+�)�@*!�]O � 7d"%(+*!�-9 ¤ [!�X��989:�@*���O=*��+V��x7:989:7d*!� A{[��X*�982)(�[F\^(+� � 78"%(+7�fT=*�� � �6')��������'~m{4+"&')78���+����'-g]mw"&����1+T�4��%*!.+9:�_*�4+"a'�7:�=�325�-�)`=���c���=�](N4��@*!�3*��+V�25����'5fP^*!����*!T=���6'�2-[ � � k%B%CAD # �aD G k H D JAGIK CAD J �^�_CAD � k H k�D0B%k�CAD ��} G C!D0C F C!} i �nM6k�D GLi Ob+*�T��-2 y�� N Ny�� ¯�O � 7:�+���-*�bF�=9:7d2�O N�� � ¯�[

ª p ¦ « ¤ �&'���� !�[$��4+�)�@*!�]O � 78"%(F*!��9 ¤ [$���-9:98�@*!��O *��+V �x789:987d*!� A{[$��*!9d25(][ mb+*���*�����')��7 >W*A'�7:�=�©�!��')(�� *�4+"a'�7:�=�wV?�W2578T���25bF*�"&�=[�� J F k ivJ D #/zRB%C!D0C F�K B � k�E� J j K C H O y ¨?O p���� N [

p ¦