an operational semantics for intentional specifications of ...an operational semantics for...

10
An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent & Interactive Systems, Department of Electrical & Electronic Enginering Imperial College of Science, Technology & Medicine, Exhibition Road, London, SW7 2BT, UK [email protected] ABSTRACT 1. INTRODUCTION

Upload: others

Post on 30-Oct-2020

13 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

An Operational Semantics for Intentional Specificationsof Agent Behaviour in Comm unication Protocols

Jeremy PittIntelligent & Interactive Systems, Department of Electrical & Electronic Enginering

Imperial College of Science, Technology & Medicine, Exhibition Road, London, SW7 2BT, UK

[email protected]

ABSTRACT������������� ������������������������������������������ ��� ���"! �$#%���$��� �&�"��'(���*)��! ���+��#&�,�-�.���������.�0/21������435��'6'�7�� ! ������! ���089��� 1�7 ��1���:<; �������=0����>������"��?�.�@��! ���A��#������B>*������������C��D�! ����������! ��� ��E�">�����!GF ����)��! ��� �H�����,����I�7 !G�����J���K#L����'(��C! �"�M���N��1�������O �APQ��� ��7 1��?��>*����)����"�"���"R(#%���S����! � 1(��� �T�����">�������! ��1U���6�">������.�4������2! �V��� �E������)���XW*�Y��# �������"�Z>*������������C��:[;����Y����!C��>�7���>����"��D�\5�Z�������[�������]7 �"! ��1�E�-�Q=� �^��#_'6�?����������! ���( ��1�!C��D���7��`\^!G���(�$�.����� �X�5 �����"���"��'(���*)��! ����D��"�U���������� ������7�1��V��� �E! ������� �����+'6����� ! ��1�\a���S! ����7 !G��! ����G=�C������D2��� �+#L����'(����-�.������'6��?���(�-��! SC���.b����c�d>�������! �"�4�.�����.���)���X��!C���@��! ���e:dfZ� �g'(��! �,�����?�"��! ��7���! ���h��#^����!C�&>���>����! �����41�!C�����#%����'(��^�"��'(������! ���U���B��7��(�">����! F ������! ���0i��� 1�7���1���:AfZ� ! �6! ��*�����g�����]'6�?��� )j�������������! ���� =�DY� 7��]��>���.����! ��� �� G=�D���������7 1��d��"�.��� �-#L����'(����! ���k!C�����(������ ��1(��C��7 �"����:ZfZ� ���"�]��������'&����� �*���(!C������a! �?���X��>��������^l%�������"����! � 1E�-=*�-����'gme��#_�Sn5o$p5ljn5�� ! �#%�-)qo$���"!G�����-)pQ����������!C��� �.m5/21�������:`n5���"���g���V���"'(�� _/�1������235��'6'&7 ��!C������! ���8e����1�7���1���D�\Z�r1�! ���5! 7 �-�"�.�@��!C���^s ����!C'(�@��! ��� ��O���# �">�����X�&������97 �-)! ��1g����!C�$�����.� !G�������7*����t^F ���-��G=V#%�������X���$>���"#%����'6���k! �H! �"��C�@��!C��������U��� ��6!C�U��������������W?�5��#Y�E>*������������j:�uB������ �C7 ���^�����@�r�����#L����'(��r�"��'(������!C��S#%���]������! ����������! ������`i��� 1�7���1��6! �]��� �U��#5�����C���-�^> ! �������5��#_��� �`v-! 1�����\w����I�7 !G�����U�����"7 >�>����"�Z�������"��7 ���6����1�!G)�������! � 1���#[��1������2����'6'&7 � ! ���@��! ��� �5!C�+'�7 G��!G)Q��1������^�-=��-���'6��:

1. INTRODUCTIONpQ�(>������?! ��7��r\Z����b�D�\Z�2�������������������������U������7��"����#9>*������������C�Z��������5� ���"! �Y#%���[�2�-�.����� �@�.�]�"�'(������! ���e#L���[/�1������[35��'6'&7 ��!C������! ���8e����1�7���1����^xGy�z@{jD�\^� �X��� ����������"�Z�@���Z�">�����!GF��������YF � !G���)q�-�.�����5��!G)��1��.��'6��D ���a���� �������T�Y�X�"��!_|�����Sx }@{qD����Z�?=U7 �"! � 1]~S��! F ���6/�1�������+�?�*�� ! � 1(89��� 1�7���1��(l�~$/$�V8MxGy���{LmX:

fZ���a��!C�.� �X�[�����a>������������� �����"���! >*��!C���6C��� 1�7���1���D������a'6�����a����'U)>� �W���� �5! ������.�����! ��� ����� ���`���������Z�*���"���! �����glj��G��� ��7 1��]����I�7 !G�")! ��1�! �g��7*���g�]'6�����S'6�����2����'6> �W6�"��'(������!C��.mX:`~S���*���> ! ��� ! � 1����=J�"7��X�w����>*�����"�����.����! ���J#%����'(�� !C�"'�#L���4>*������������C��D]��� ��7 1��eD��������4! �+�d����I�7 !G����'6��?�6#L���+!C����������! ��� ����">�����!GF����@��! ��� �T��#&�����1�������O �wPQ������7 1����4>����������"�"��"RK#%���B����! � 1K�����w�����">���� ��! � 1c����">�����X�A������dl�! �K��� �����������W?�T��#���� ��"�H>*������������C�.m�x y��@{j:�; �������! �6> 7���>����"��D5\5�V�������T��������7 �"! � 1B�H�-��=* �+��#E'6�?� ��^�����! ���

��1�!C��D5��7��]\^! ���M�V�.��������U �����"�+�"��'(���?��! ����D[�"�k�����@�U��G��� ��7�1����� �5!C������� ������'6����� ! � 1���#������5#%����'(��*�-�.������'6�������Y\Z����D?�@�`C�����-��D! ����7 !G��! ����G=U�� ���@��D*! �5�-��! C�C���Xb����g�E>*������! �"��#L����'(�� �X� ���.���X�����! ����)��! ���_:

fZ� �&'(��! �k�����?�"��! ��7���! ���4��#[��� ! ��>���>��X�E! �����g1�! ���&�(#L����'(����"�X)'(������! �������H��7*�6! �?����?��! ������^�">����! F ������! ���KC��� 1�7���1���:KfZ� ! �6! �1�! ����6� ���['6�?�*��G)q�����������X��!C���� G=�D?���r>���[�S���������(�S�����1��X�2O �r�W?)�������"!C���+��#9��� �� ��1�! �]3Zfa8Y�gx ����{jD�� 7*�a��>���.�@��! ������ =�D*��������7 1��+��"�.�����-#%����'(����! ���k! �����6������ ��1(��C��7��"����:^fZ�����"�]�����E��'&����� �*���T! ���� �5!C�������>*�������2l%�������"��� ! ��1$�-=*�-����'gm9��#��Sn5o$pZljn5�C! �#L�-)qo$���"!G�����-)p�����������! �����.m�/21������Ux ��y{j:&uB�&1�! ����! 7 �-�"�.����! ���(sG��� ! '(����! ��� ��O_��#�">������.�H������$�"�.��� �"'6!G�"�����k�����\5�����H��1��������E�����"������������!C�$n5o$p�����.� !G�����X��7�����D_F ���-��G=4#%�����g�">������.�B�����>���"#L����'6����!C�H! �"��C����! ������ �g�������T#L���S������^>���"#L����'6���g!C�T��� �$���������W?�^��#[��>*������������j:

� 7��a����1�7�'6�����5�������(!C�Z��� ���Z\5�$��������tal-y@m5�]�"'(�� �/23Z8�\^��!C�.��������"������V���U���-�.����� �@�.�_Dr\^! �����k\a��=h��#S�������7 ����! � 14#%���(!G����"��'(���?��! ���[! �g���6�W?������ �� G=6�����!GF���� �a\a��=���lq��m[�E�������C��> '6�����'6������?�g�����6#%����'(����">�����!GF ������! ���TC��� 1�7���1��$#%���^�W?�������*! � 1E��� �C����1�7���1��E#%���2>����"��! ��7�C������>�> ! ������! ����������� �Hlj}�mZ�&���#%�X����� ���]�@�")�.� !G�������7*������� ���S�����k�"����������$���4! '6> �����.�@��!C���k'6�?�����D���� ����! ����X��7��� G=d���� �"! �-�������&\^! ���d�����61�! �����,�"�'(������! ���������B7��"�#%7�r�����1�������������� ��>������:�uB������� �� 7��*�&��� ���$�����&>*�����?! �"! ���H��#a�6#%���")'(����"�'(������! ���5#%���Z��� ��! �?����?��! �������C��� 1�7 ��1��E!C�5��� ����#e��� �SC���-�> ! ������Z��#e��� �`v-! 1�����\w����I�7 !G�����U���]�"7 >�>����"�Z�������"��7 ���6����1�! � ���")! � 1U��#[��1����������'6'�7�� ! ���@��!C��� �Z! �V'&7 G��!G)Q��1���?�Z�-=��-���'6��:

fZ� �E�7��"�������^>���>���^���)q7 �"����D*�����?! �"!G���������T����*! �"���^���@�� !C�X��\5����b�:pQ�[! �[�-��!C �� ���"���&���(�$1��� ��.�� �"��'(���?��! �a#L�.��'6�\Z����b]#L���Z�����"���! �*)! � 1B�����k�"��'(������! ���(��#]/21������T35��'6'�7 ��! ������! ���c89��� 1�7 ��1����+! ������'6����#r>������������ �S\^� ! �.�H� �����������������"�X��!C�������� �"�\^������+xGy�z*Dy@��{j:H�*��'6�U#%��'6! !C����!G��=d\^!G���d����!C��\Z����bB! ��>*�����"7 '6���B��� �B��� �#L�.��'6�\Z����b&\^! �� ���[���Z����>����������U� �����:`35��"�.��! �6��������������'6�������l������*�����������! ���0!C�*������! F ����T�������-�.�����4���@��!C��� ���.mU���h�������\^!G���'�7�G��! )q> ���"��=V>������������ �]�����(����"���! �����H! �cxGy���{j:(/�1���! �eDe\Z��\^! � ���E'6����! ����������� ���"����� � ��� ���'6���������������D9��� �4\^! ��.��b��]��� ��'���S1�! �����_:$fZ��!C��>���>���E��C�"�T! C 7��-�"�.�������$��7��S1�������.���'6������?�V��#����"���! � ! � 1����V/23Z84��������7�1��g>������������� �2��� �g! ����������! ��������">�����!G)F�������! ������D���� �2�"��'(������! ���[��#_��� �^C���"����5����! � 1E��� �^'(��! �U#L���"7 ����#��� �a�7��"��������\Z����b�:`fZ� ����X#%�����a\5�2�*��! �� =������?! �\h��� �a'6������?�&! ��*����! ���4��:Z�?�����! ���V}&#%����7��"���2���+�����$! �?����?��! ������_�">�����!GF ������! ���C����1�7���1���D !G���2�-=*���.��W�D���� �+!G���^��>���.�@��!C������9�"��'(���?��! ���^����1�! �������=��H�"�.�����-#%����'(�@��! ���0! �����,�`���� ��1�:�nZ���"���c���0�d�"'(�� S/23Z8����C ���M�-�[�[�4! ���"���?��7������,! �c�?�����! ���M��DZ�*����! �����41�! �����U����'U)> �Ts ����! '(����! ������OY��#a�����6������ ��14�">�����!GF ������! �����U���]! �������>*����������=k�gn5o$p^��1�������:SuB�&���� �C7 ���]! ���"����! ���H�6\^!G�����"��'6�]����'U)'6��������������� 1�!C�������! � 1�'&7 G��!G)���1������`�-=*�-����'6�[��� �U��!G�����X��!C��� �`#%���

Page 2: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

#L7��"������^�����"�������.�e:

2. THE ACL DEVELOPMENT METHODuB�����F � �E���V/23Z8B��=g�U}@)q��7�> ��t�k����� �����9�C�� ��¡"¢Q£�¤ ¥5¦

\^������ � ��� � ! �Z�E�"��Z��#9>��X�"#%����'(�@��! ������D �9�C��  ! �Z�E�"��5��#_>�������������� ��'6����D���� � ¡�¢Q£�¤ ¥ !C�[��#L7 �����! ���&��� ���[�">�����!GF ����D�#L���r�����.��>���"#L���")'(�@��! ���]�����k>*������������2l��-�.�@���@mXD�\^���@�E�@���&��� �]��C ��\Z����l�!�: ��:S������.��� 1�����#5>����"�"! � �@m^����> ! ����:]fZ� ! �$�X�������! ����G=k�">����! F �����6�"��E��#F � !G���^�-�.�����2��!C��1��.��'6�[\^!G���(�������[C������ ���6��=�>��X�"#%����'(�@��! �����r������-�.�@�����]i������ ���B��=4\^� ! �.�,��1�������O �E��7*���B!G�]!C�E����s �">�����b�OY! �H���������?��������@��!C���e:

fZ��! �U��>�>��������.�,�� ��\^�U7 �E���4���XF�� �(�V�i���"�&��#�/�3Z8_��DY��������������4��\Z�� G)Q���F � ���V�������C��� 1�7���1���:auB�]��*�?! ����1����-�.���"��! � 16#L����'���"��a��#Y�������S>���"#L����'(�@��!C�����a��� �g>*������������ �El�!j: ��:*>���"#L����'(�@��!C�����\^�����"�k! ���������*���,'6������! � 1�!C�(! ����7 !G��! ����G=,�� ���@�T�����h>������������� �\^!G���0�"��'6�V����'6'6����#L7 � �X��!C��� �.mX:JfZ� ! �(\Z��7 C�c���V��� �Hs �-�.����)�����.��O*/�3Z8`D���� �^�������Z��#_��� ! �Z��C���"�5��#9/�3Z8_��D?\^� ! �X�(����7 C�U��� ������(�W?����� �����4\^!G��� ! �d��� �6����'6�g�"�'(������! �U#L�.��'6�X\Z����b�#%����> ���")��! ��7�C���S��> >� !C������! ������:afZ� �X���&�@���E�����������*! ������! ��� �2! �+\^� ! �.�k���/23Z8V�������^����7�i�&���2�XW*����������_D����5! 7 �-�"�.�@�����U! �6;Y! 1�7�����y�D�\^! ��������.�6��W*! �������"����">������*! � 1S���$��� �Z��#���� �r���������Z ������ ����#�'6����� ! � 1lj�����! ���_D�! ����������!C������jD ��� �+�����?����?�Xm[!i�*������!GF����g!C�Bx y�z�{jt

§�¨�©r¨�ª�« ¬ ­j®�«�¯q­-°*©w«�¯E¯j±e¨k«�²�¯q­-°*©w¬L¨�³ ¨�¬%´ �+�����K>���"#L����'(�@��!C�������� �µ� �X\¶>*������������C�H�����µ���h���F � ���w���0����������M�K���\/23Z8g\^������5��� �X���r\Z�X���Z1�������.��*! ������.�����! ��� �`� �������@����������=4��� �6�-�.��� � �@�.�_:T; ���]�W���'6> ��D���7 ���! ���,>������������ ���@����V����'6'6���H����I?7�!G����'6������! �d�"��'6�('�7�G��! )Q��1��������-=*�-����'6��D��� �d� �\·>������������� �U����7 C�d���g���������B#L���������(>����"��! ��7�C�����=*>��$��#`��7����! ���k�*��'(��� �����(��=T���k��> > ! ���@��!C���e�

¸�¹�¨@²�­-« ¬G­q®�«�¯q­-°*©K«�¯E¯q±e¨T­q©[¯"¨�©[¯j­"°*©`« ¬�¬%¨�³ ¨�¬L´ /�� ��!G��! ��� ���������)�-�"�.��! �����a�����T���S��� �*���6���]�"�.��� �"!G��! ��� ��D ��� ��º@���Z��! �.� ��^�*�)�"���! >���! ���,��#2�-�.�������&�����B���g�">����!GF�����:kp��d> ���"��! ��7�i�@�&\5������H���#L��E���g������! ����������! ������`�-�.�����Vl����� ! �#L��D�����"! ����������! ����������!C��� �.m$#%�������@\»��� ��"�g���'6>���������������#2��1������(s '6���*)�.������������O ¼6½ ¥ ���2�������X�����U��=&�������! �*! ��1&�$'6��"����1���D*�����\^���@�2'6!C1����^���E����� �E! �T����>�G=_�

¾ ©�¿�¯�«*©[¯q­-«�¯q­-°*©A«�¯S¯q±e¨k²@°*©[¯"¨�©[¯2¬%¨�³ ¨�¬L´ fZ���[�">����!GF��r������! �"! ���*)'(��b?! � 1(#%7�� ���! ������ !G��=�#%���&������!C�*!C��1T\^��!C�.�H���> G=4#L����'À��"��g��#E�� �@\5���c����>�C! ���g�����K�� �"�,���k�">����! F ���_:A;����g�W?)��'6>� ��DZ��� �+����'6�V>*�������������'(��=h���k7 �"����! �KI�7 !G���k�*!G#L)#%�X�������2��> >� !C������! ���4�*��'(��! ����:[fZ� �E�*����! �"! ����)q'(��b*! ��1&�����@��.�����.��������! �"���^\^� �������^���&����>�G=T\^!G���+>��X�"#%����'(�@��! ���$ÁM���>���"#L����'(����! ���]Âw#L����'Ã��� ������'6���-�.�@���U'(��=V��� �������U�*�)>���� �������^���T����"=T��!G�������?�a#L7 �����! ��� ��:

fe�]1�! ���2�$!C 7 �-�"�.�@��! �����XW ��'6> �a��#�\^� ���[\Z�2�������a! �6'6! ���_D�;Y! 1�)7*�����]�">����!GF����^��F�� !G���)q�-�.�@���E��!C��1��.��'Ä#L���a��� �$;Yp-��/]O Å���>���������)���5Æ Ç � ��È �i��É Ê�� �   l��"���(xGy@��{9#L���^#%7*�"��� ��2�W*> C��������! ����mX:

/21��������g\^!C ��������4�������"��� �T#%���V7 �"! � 1h��� ! �+>*�������������D���� �0\5�7��"�^��7��[! ����������! ��������">����!GF����@��!C���(i��� 1�7���1��a#%���r�-�.����! ��1$\^�?=������1������r�"� ��7 C��! � !G��!C�����2�$�����*�����������! ���kl%\^� ���`\Z�^���� ���Ë ¡.ÌCÍ�Í�¢X¡ mXD�����$#%���`�-�.����! � 12�">�����!GF ������! ��������#*\^���@�`���&��1������[s �"� ��7 C�_O����*D�!C�����">���� �"�E���6���+! � ���'6! � 1U'6��"����1��6l%\^� ���^\Z�E���� Y�TË ¡-ÎX£�Ì%Ï ¼EmX:

fZ���5! ����������! ��������">�����!GF ������! ���]#%���Y�"��! 1�1��X��!C��1&l�! ��! ��!C�@��!C��1�mY�a������)�����������! ���U���������.��! � 1�������� �Z;Yp-��/ ����I�7 ���-�Y>������������*����7�i����� ���

Ð^ÑLÒ�Ó9Ô@Õ,Ö�×]Ð9Ô@Ø�Ù�Õ*Ú]Û�Ô�ÜdÝqÛ�ÔgÞTÕ?ß�Õ*àLÛ�á�Ñ%âeÒdãgä&åræ

Ð^ÑLÒ�Ó9Ô@Õ»ç_×èÐ^Ñ%âYÑié�Õèê_é�Ø�é�ÕëÞ+ÑiØ Ò�Ô@Ø�ÙìÝQÛ ÔwÐ2íXî5ã6ï"Ô@Õ*ðeÓ9Õ*æ�éî$Ô@Û�é�Û_ñ�Û�à

���6���E�"� ��\^�B! �4��� ��F����-�E !C���U��#afY����C�Ty�:Tl�|S�����&�������S��� ! �E! �ò Î Ë`!C�&��� �^;Yp-��/K/23Z8V�">����! F ������! ���6���r!C� �������6;Yp-��/]O �`��7��"����?�\a��=,��#S�">����!G#L=*! � 1B!G���&>������������ ��: m·fZ� ! ���-�.�@��������� ���U!G#S��1������ó �*���"!G�����Ul�ô&m2�����@�E�����! ���HõN���&����� ��D_�����k���� ! ���������������Sö6! �����>����� �]��#rõ]D ������� ó \^! Ce#%����'<�����]! ����������! ���+���U����I?7����-�2ö&������+õ]D97 �"! � 1g��� �(÷`ø-ù_ú ¡�¢"ûü ¢XÏ Ë�>��������������: � �H�������! �?!C��1V�"7 �.��+�">�����X�B�����D9ö*O �����������?! ��7*������7�i����� �������6�">�����!GF����B���]��C�"��"� ��\^�V! �kf9��� �Uy�:

fZ� ! �U�">����!GF����@��!C�����-�.�@��������� ����tg��#i���� ó ����I?7����-����öV���H����õ�D��� ���!G#5ö6!C�E����>���� ����#aõN��� ��!G�E! �$��bV#%����öU���+�*�+õ�D_�������4ö! ���������*�[�������� ó ��� ���r! �Z��1��������Z���]���]õ]D�!C������� ���[���&�*�]õ]D?��������� ! �������r�������Z��#i����^!G�a������aõK��� �������! ���T!G�Z�"� ��7 C�6�.��b���������t`!G#õK! �Z�*��� �^�"7��������"�-#L7 G=�D���� ���6! ��#L����' ó �����@�5o � |$ýaljõ$m�! �r�"��7 ��D��������"\^! �"��! �*#%����' ó �������`�������@�"����'6>��������*�Eõc#���! C���_:`pQ#�!G�[\a���� ���2��b(#%����ö����(���6õA���2!G��\Z���2� ���^����>���� ����#[�*��! � 16õ�D��������ö��"� ��7 C�6!C������� �U���]���� ó ��� ���ZöE���#L7 �"���r�����*��õ0���5���� ó �������ö&�������2� ���^7 ���*����-�.��� �g�����S����I�7 ���-��D*�����">����X��!C����G=�:

pQ�U���������V�"�����M�������U! �(! �(�����-=M���H>��@�.��> �*�.���"�+�����V! ���������*���'6����� ! � 1g��#Z�������"�U�">����! F ������! ��� ��DY��7��$#L���]��7�����'(�@��! ���eDe�����!GF�)���@��!C���eD57 ����'���!C1�7 ��7 ��! �������>*����.����! ���_DZ�����:CDZ�4#L����'(��2�"�'(����)��! ���S#L���$����!C��! �?����?��! �������C��� 1�7 ��1���! �S����I�7 !G������:$pQ�k>����"��! ��7�C����D\Z�U�����U����� ���X��� ���k\^!G���H�"�����@��!C��1T�������">�����!GF ������! �����]������W*! ��'�"�.� ��'(����D�!�: ��: ��G\a��=*�Z�"��7 ��#%���a\^� ����������^���� 7 ���Z��# ó D*ö*D*õ�D��X����:�����������7��� =+1�! �����_:

ud�2� �����2�� �"�&��� ���[��� �2!C'6>� ��'6�����.����! ������#2þ[½ £ ½�ÿ ¤C¢ D Î�� Ë Î ��Î D��� �B�"7 ������"�����]#���!C 7*���g��#^���X��!C��� �&�����g�� 5��> >� !C������! ���h�*��>�����)����?��:]fZ������#L�����U\Z�&�����H�">�����!G#L=4�����������7���r�*����! �"! ���H'(��b?! � 1� ��������k���g����'6>�7�������� �&�"��7*����)a���E#���C�"�X)Q�����?�B��#r��� ���"�&>������*!G)���@������:ZfZ��! �2! �a��� �E>*���������"�^\Z�E���� 9! � �-�.���?��!C�@��!C���e:��S��\5�������D�!G�

Page 3: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

;Yp���/ ����I�7 ���-�a�"��! 1�1��� ô��Xo � |$ýaljõ$m�����þ[½ £ ½�ÿ ¤C¢ l�ö � õSm ������� ó ���i��É Ê�� �   l�ö � õ � ÷`ø-ù_ú ¡"¢�ûü ¢XÏ ËXm��;Yp���/ ����I�7 ���-�a�"����> ! �"' x ó ��L�É Ê�� �   l�ö � õ � ÷`ø-ù_ú ¡�¢"ûü ¢XÏ Ë�mQ{

l�þ[½ £ ½�ÿ ¤C¢ l�ö � õ$m��l Î�� Ë Î ��Î ljõSm �

������ö �������i��� l ó � õ � ÷`ø-ù_ú ¡�¢"ûü ¢XÏ ËXm���� � ��ö � õ�������x ö � õ2{ql Ï�ü����.¢XÏ�Ï ljõSm���������ö �� "!��%���$# l ó � o � |$ýaljõ$m � ÷`ø-ù_ú ¡"¢"ûü�¢XÏ Ë.m%��m

& l('�½ Ì�¤C¢�� ljõ$m���� � ��ö ���)�% (* Ê��i� l ó � õ � ÷`ø-ù_ú ¡"¢�ûü ¢XÏ ËXm��Mmamam& l,+ Î�� Ë Î ��Î ljõ$m��������ëö ��i�X�QÊ � � l ó � õ � ÷`ø-ù_ú ¡"¢"ûü�¢XÏ Ë.m%��m

& l,+Sþ[½ £ ½�ÿ ¤C¢ l�ö � õ$m������-��ö �.!@��  Ê/!10���� �  ����20 l ó � õ � ÷`ø-ù_ú ¡"¢�ûü ¢XÏ Ë.m��Mm

3 Ø�4�àiÕdÖ�×�íâ�é�Õ*â�é�ÑLÛ�â9Ø à2ê_á`Õ*ñ�Ñ65`ñ�Ø�é�ÑLÛ�â0ÝqÛ�ÔTÐ2íXî5ã Ô�Õ*ð_Ó9Õ*æ�é

! �`! '6>����"�.���?�e���S�������5��� ������� � ò Î�¡ ¼6½�Ë Ì87�¢ >����"�`��#���� �r�-�.��� � ���.���> >�C! �������^��� �a/23Z8(�">�����!GF�������! ���U��� G=�D�!�: ��:�! ����� �Z�">����! F ������! �����#Y>���"#L����'(�@��!C������D*>������������ �^��� �T��> >�����>���!C�����2����> ! ����:rfZ� ��! ��)����?��! �������C��� 1�7���1��H������! ���(�"��'(������!C��Hlj���T�*���"���! �����K! �c��������W?�6�"�����! ����mU����� Ì ò ' Î�¡ ¼U½�Ë Ì87�¢ D5��� ���(! ��DZ!G�(! �(����!C 7 �-�"�.�@��! ����">����!GF����@��!C���k��#:9 Î1; ���k��1������2����7�i�T���E!C'6>� ��'6���������4l%\^� ! �X�! '6>�C�'6�����.����! ���V���'6> ! ���2\^! ���V�����E����I�7 !G����'6�������^��#`��� �������")'(�@��! �����-�.����� �@�.��mXDe��� ���������(�">�����!GF ������! ���B��#5\^� ���E'&7 �-�S���! '6>�C�'6���������_:+fZ� ����X#%�����(\Z�g�*�k� ���]����� �-�"�.��!C�M��1������������k���! '6>�C�'6���������d����n5o$p]��1���������D`\Z�g!C���"! �-�U���h����'6> !C�������T��� G=\^!G���+���1����.�+���&�W?���������rl���� �"��������� �@mZ���������?! ��7���D ��� �g�����"�� ��������2���� �"! ���g�����\5�����(��� �2! �?����?��! ��������"�'(������! ����D���� �2�-�.��� � ���.������T�����S\a��=g�����@�2���k��1������2! �2! '6>�C�'6���������_:

3. THE INTENTION AL SPECIFICATIONLANGUAGE

3.1 Triggers and TropismsuB�r#L�� �@\�'(����=E�XW�! �-��! � 12\Z����b*�Y\^��! �X�&7 �"�5���C! �#L��D?����"! ����`�����! ����������! �����]ljnro$p"mr���U�.���@�.������X��!C�"�E�����$�"��'(������! ���^��#Y>���"#%����'(��)��! ����]x ���?D���Dey�y{j:

����\Z�����X��D�\Z�27 �"�2�"7 �.�Tnro$p`'6�?���� �r�����.���@�.��������! �"�2��� �2!C�������*)��! �������'6����� ! ��1a���e��� G=S��� �[����'6>���� ��?�_��#*�����`������.�� �'6����� ! � 1��#2�+�">������.�,�����:VfZ���6! �?����?��! ������[�">�����!GF ������! �����U�@���67 �"���H����-�.�@���6\^�����]\Z�g����C[�"��! 1�1��X���U��� �B�"����>�!C�"'6�(xGy@��{j:�fZ� �(!C�����V! ���� ���Z�"��! 1�1�����2��������� �S���'���! ������! ���T��#����� ! �#%�2��� �T�*���"!G�����Z�����@�>*���?��7����V! ����������!C��� �Vl%���H���B�����! ��� �.mXD^�����,���������"����> ! �"'6�6�@����������X��������Z���g���C! �#L�a��� �(�����"!G�����5��� ���r�����"7 G���5#i����'·�XW����7���! � 1�������"�E! ����������! ��� ��:

|�����! ���a�����@�`�"��!C1�1�����5��� �&�"����>�!C�"'6�`�">����! F ���� ! b��a��� ! �[�����^ ���������4���h��1�������D[������\^� ! �(�����=H'(��=����(�-=*'6'6��"��! �U����Q\Z�����d��"������X�Z�����&�������! ����r��1������5! �6�$'&7 G��!G)���1������`�-=*�-����'VD���� �=]'(��=\5�� �� ���T���Ml%#%���V�W���'6> ��! �J���w��>����w�-=*�-����' \^! ���A��1���������*��> ��=����K��=c� ��������1���������7��+����1�����!(<�����! �����.mX:<fZ������#%������DS\5�� �����S��� �$#L�� ��\^!C��1(��������1�����!(<��@��!C���et

�"��! 1�1��� �"����> ! �"'�"��� �����O ��"!C���

�"��� �����O �2�����7 ��'6����! ������! ���g#%�������! � 16���V���X��!C���

�"��� �����O �2���� ! �#������7��2�W*>����X�������7�������'6�E��#`�����! ������+��������! ���X��O ����� ! �#`�-�.�@���

�������!C�����O ��"!C���

�������!C�����O �2���C! �#������7��^'6����!C������! ���l��"��� �����O �^���� ! �#�-�.������mZ#L��������! � 1���+�����! ���

�����7���e�����"7� �l%�������! �����O �S�����7����.����� 1��E��#`���� ! �#�-�.�@���@mZ��#[����! � 1�����! ���

�*�a\^��!C �[��� �[�"�����*��Y���������r���X�"�.��! ��������7*�9\^��=E!G���*!i�����&�����! ������ �����������! ����[����"�.��! �6������7���\^���@�[����>�>���� ���]���S!G�r���[������"7 G��D�����X�U�"!C�*�2! �*#%����`���� ! �#%�5������7��`\^���@�r� ��>�>���� ���&��� �&\^��=&!G�[\a�������� ��:9pQ#*��� �rC������?�">�����! !G#%���@��! ��� �r�����r'(���*�as > 7�� ! ��O D��������E��� ���"������T1����?�M!C�*#%����� ������Dr��������"\^! �"�+��� �X=h�����g���� ! �#%�U\^��!C�.�M'(��=�����������U���$�����?! �"���_:

fZ� �T#%����'(����-=*���.��Wh��#S����!C�6C��� 1�7 ��1��k!C�g�4F ���-�")q���.�*��('6�?� �� ��1�!C�r\^! ���E����C�@��!C�?! �"���]���� !C�X#�D������"!G����D���� �E!C����������! ���(l%����m_'6�?� ��G)!G��! ���� =*D^ô>=,�����?�@=B�����">����X��!C����G=_�$�����! ���K#%����'&7 C���6\a��!G�"������BA � õC� �����h�4o � |$ýµ��>���.�������(���������! ���M#L����'�7�C�����^�����>��@�.��'6����X��!C�"���V�����! ���V'6�?� ��C!G��! ���]x A � õ2{[l%�������+���(P-�@#L����S��1������AT�������������! ���4õ�R�mX:`uB�E7 �"�$��� �E�����.�@��!C���ED =%F #L����b*����\^C����1��l������$\a��=T������������� �X�XmXD !�: ��:�DG= FIH = F & =/+ F :

3.2 Semanticsf9�V1�! ���(�T#%����'(��r�">�����!GF����@��! ���d��#^!C����������! ��� ��[���������?! ��7*��D9\Z�\a�����2���&\a��! �����@W*!C��'6�^��#Y�����S#%����' l%#L��������=T��1������JA mXt

K L =%F �gô =%M �N� = �OA � õ��K L x A � õ2{QP

�S�X����D@2D�ô������R�w����������C����! �?! �"���hlj��1���?�Xm^'6�?� ��C!G��! ���S#L���E���X) ! �#%��D$�����"!G�����T��� �K!C����������! ������D�������x A � õ^{$! �+���w��1������")������! ���'6�?� �� ! �Q=�:ÀfZ���d! ����7 !G��! ���H��������! � 1c��#��������"�,�@W�! ��'6�k!C�V�������F ���-��G=�Da��� ���T! #]���w��1������+���� ! ������ F �����c�����"!G����� M Da��� ��K!G�\^! e#%����'<��� �E! ����������!C���+���U>���"#L����' ���X��!C���kõ]:5�?������� ��G=�D*���������#i����S��1���?�JA(>���"#L����'6�2�����! ���kõ]D�PB����C����:

�S��\5�������D���� �r�"��'(������! ���Y��# ��� ! ��C����1�7 ��1��5!C�Y�.�@��� ��Y'6�����5>*�����*) ��'(����! ��De���">����!i�� =B���$��������U�@���6����"�.��!C�H'6���.������! ����Y����I�7�! ���X)'6�������a���U�.��b���! �����g��������7 ����:2; 7*�"��� ���'6������D�\5�&��#L�����4�������T���\a��!G���]��W*! ��'6�a��#������S#%����'Vt

K L x A � õ^{ F �SP\^!G���U��� �^! ���������*���&��������! � 1*tY�����@�Z�@#L����Z��1���?�TA&�������5�����! ���gõ�D\^� ! �.� ������2��1������TPQ�"�����"RU�����E�����! ���dl�!�: ��:��������! �����a��� �$'6��"����1��!G#�!G�a\a�����&�">������.�V���X�Xm ;`Ì�¤L¤ Ë ¡X¥ Ë Î ¼6½ ��¢ F �UP��"��7 ��:[p��g�"7 �.������"����D F ! �[�"��'6�^b?!C� ����#�>*���)q����� ��!G��! ���(�����VPV! �5�"��'6�Z#%����'�7 C�! �?���� �?! � 1V^D�ôè��� �W�c'6�?���� !G��!C���D \^� ! �.�eD�!G#���� �$>*��������� ��!G��! ���� ��C����DZ�����k��1������(�"� ��7�C�M�"�"=h���B'(��b��T�"��7���:wfZ� ! �6����7 C�c���'6�?���C ���E��=E�^�*��������! �r'6�?���� !G��=�D�#L�����W���'6> ��D���� �[��1������Y���7 C����]��� ! 1����k���('(��b�� F �XP,�"��7 ��D�� 7*����������]�������"�����.��e\a��=*���#_�*��! � 1$����! �2l���: 1*:���=]'(��b?! � 1S�����Z>��������� ��!G��! ���U#��� �"��D�\^� ! �.�U! �� ����\^� ���2\Z�E\a�����XmX:Y�S��\5�������D�!G�2! �������� =T��� �E! �������>����X�.����! �����#r��� �V� ���� �������! ���]�������$� �����*�S���g�����.������1�����DY���E!G�E! �E� �����C���"�"! ����Es '(�@�����!C��^! '6> ! ������! ���_O`� 7*�U'6�����T���h! �������>����X�.����! �����#5s ����7 ����C!G�Q=_O������@�^!C�a����I�7�! �����_:

ud�6\^! Z� ���&��������#L�����g�������� ��>h�V'6�?��� )j�������������! �(�"��'(���?��! ���

Page 4: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

#L���[��� ! �[C��1�! �2� �����:Yp�� �-�������_D�\Z�a1�!C���^����! �[C��� 1�7 ��1��S�S>*���������*7�)�.����"��'(������! ���$�?!C�(�g'(��> >�!C��16! �?���T������ ��1Hl��#�:6x ��D9�@{LmX:6l�|S�������� ���`��� ! �`��> >��������.�U�����`'�7 �.��! �U����'6'6���]\^!G���������YZ�[E�V8g�"�)'(������!C��e>*����>����"����! �6xGy��@{jD�\^��!C�.�$\a���9� ���"���E���EoS�F���! ���r35C��7��"����.��'6'(�����El�o�3a�Em"mX:

fZ���6�����"!C�('(��> > ! ��1+��#a�"��! 1�1�����&��� �H�"����>�!C�"'6��! �����k������ ��1k! ����2#L�� ��\^��:a/A�"��! 1�1������#Y�����S#%����'Vt

K L =%F �(ô =%M ��� = �OA � õ��'(��> �a���?���U�`����C��16��#������S#%����'Vt

\%]_^1`�`/ab] cedgfihkjl a/m/^babn/a2o�c�prq F f@qs a2o�^1]�a2o�c�prq M f@qp/o�oba%]%\ ct^�u/\/a1u s o�c�prqdgfvf@w

�����V�]�"����> ! �"'<��#Y��� �$#L����'VtK L x ú Í�¢ ò Ë � ú � Ë ÌjÎ ò { F �UP

�����"����+��=T���k��1������JxS'(��> �a���?���U�`����C��16��#������S#%����'Vt

y ]2z/{ba2o%o |�a2o�obpb`/a}ced�`�abu/\ qed_{�\_^%z1uOfih~jl a/m/^babn/a2o�c l q F f@qp/o�oba%]%\ c P f@w

fZ�����"�5\5��7 C�]���57 �"����! �&������ 1�����! ����'6! �5�">�����!GF ������! ������#��2n5o$p��1������^\^!G���k���������"����_�=*�� �6l��#�:9x ��y{LmXt

l�s ^ {%z�u/\�]2z�m m�z�z y hkj]/a/p s z1u2a}q\�]_^1`�`�a%] p�m�m�qa%�/a2{���\/a z1u2arql/s ^ {bz1u/\�]2z%m m�z�z y w

\^������ ]/a�p s z1u2a �������*�E��� ��!C������'6! ��1+'6���"����1��U���M�T� 7*��������! ��> 7��]I�7���7 ��D \�]_^1`%`/a%] p�m%m F����*���� 5��#Z��� ���"�6�"��!C1�1������\^� ���"�>*���)q����� ��!G��! �����a�����2������! �-F����_D���� � a%�/a2{���\/a z1u2a �"�� ������Z��� �2! ��)����?��! ���k��� �T�W*����7*�����^!G��:

;�7��"��� �X���">����!GF����@��!C��� �2#%��� \�]_^1`%`/a%] p�m%m ����� ]�a/p s z1u/a �@���]���#L�� ��\^�Tl��������&\5�&�����"�X��������� ����! 1����E#%���E��� ���������"��� ! � 1+�-=��-���'���$F G����[!C����������! �������"�$�����@�r�����r�� *�"��!C1�1�������U!C����������! �����Y\^! C ����XW����7�������D���: 1�:�! #���� �r����'6�[1�����*�"��! 1�1�������]'�7� ��! >�C�r! �?����?��! ��� �.mXt

\%]_^1`�`/ab] p�m�m�hkj� ^�u s p�m�mrc ��q

\�]_^1`%`/a%] ct�Cf�q� ]_^1`%`/a%]/a s f�q

� ^%m1\/a%] c � ]2^1`�`/a%]�a s f�w

]�a/p s z�u2a�h~j]/a/p s |�a2o�o%p1`/a �%�/ab�2a}c�c���q�� y d_{�\�f�f@q� y d_{�\C� w�w��)�2a%] � q,��q~�}q�� q��rq��/]/zb\ q�c���q��2f@q �%� q`/abu2ab]2pb\/a {bz1u/n_^ s ct�Cf@q{%z1u/n ] cE��qe�b\2pb\/a�f@q{��_p1u�`/a o1\2p1\/a}c��b\2p1\/a}q��2ab] � qI�/]2z1\ q��2ab�2��f@qzbn/a%]b�/]_^1\/a {bz1u/n�] cE��q��2ab�2��f@qp/o�obab]�\ c����_��������c��rqe� y d_{1\�f�f@qy ]2z/{1a2o�o |�a/o�o%pb`/arc�c��rqE� y d_{1\�f�f�w

fZ���6��>���.�@��! ������[��������! ��1V��# ]�a/p s z�u2a D9#L���&�g�������! �?!C��1V��1������ö?D[! �U���]#%��C ��\^��:M;Y!G���-��Dr�4'6��"����1��T! �&�������h���c�����g! ������'6! � 1

'6���"����1��g� 7����X��tU��� ! ��! �]�.��b����d���4���T�4�`����C��1����X��'¶��b*! �d������ �&#%����' ��#Z�����U! �?����?��! ����l�!�: ��:�� = ��A � õ�� #L���]�"��'6����1������A�D:A L �%abu s a%] Daõ L � y a�a2{���d_{1\ m&��� ���U\Z���U�W*���7�������:,fZ� ��">������.�0����+! �(��� ���c�������'6>����"���c! �?���B! ���g����� �-��!G��7 �����g>��@�"����D��� �d�V�����*�����������! ���,!C�*������! F ��]! �&1���� ��.�@�����_t�!G#a��� ! �&! �&�+� �X\�����*�����������! ��� � ! �Z�$������!C���� ��D?�"�E!G�Z! �5���"�"! 1�� ���6�����^����C7��^��#���� ������*�����������! ���,���7 ����De\^� ! �X�B!C�E�������B! � �X����'6���������H��=������kl%#%���#%7� 9�*��.��! ���"��6x y���{LmX:

fZ� �&�-�.�����]��#[��� �]�����?���X��������! ����! �S��� ���4�*������'6! � ���V7 �"! � 1(��� �����C����! �?! �"����#%7�� ���! ��� ��Î ò 7 � l��X#�:�xGy���{LmX:[/�1���! �eD�!G#�����! �`\Z���r�S� �X\�����*�����������! ���6! ��! ��!C�@�����6�?=]��� �a�"������X�r����������� �^�-�.�@�"�5�-�.�@���^\^! ���^�&l��������Z\5�a��� G=]� ����]�����5��������! ���X��O �[����'6>���� ��?�Y��#���� �5�����*)��������@��! ���d!C����?��!GF ������V���X�����'6! � �������U�-�.������DY�"!C�����U��� ! ��! ��C��)����CG=67�� !CI�7 ��D���� �^�����?�����������! ���6!i�*������!GF���5���r�S\^� ��C�2! �57�� !CI�7 �����Q\Z�����4��1��������.mX:ZfZ� ��� �\J�-�.��������#[�����E>�������������Y! �^��� ���+7 >�)� �@�����g���������.��! � 1&���&��� �2F���! ���S�-�.�����E�*!i��1��.��'VD��@���X�"\a��! ��! ��1���� ���Î ò 7 � #%7 �����! ���B#L������� ! �E> ���.��'6�X�����:(fZ� �(��1���������� ��B���"�"��"���l%�����@�]! �]���� ! ������.m�o � |Sýal,�NA � õ ��mXD`�����H�������d!G�]>���������"�"������ �S'6���"����1��Ul�7 �"! � 1]��� �$'(��> >�!C��1&��#9�����S�"����>�!C�"'�sG�@W*!C��'6��O D��������"���! �����V�����@����:

4. A SMALL ACLp��d����! �&�"���X��!C���eD[\Z�T�����"�X��!C���T�V�"'(�� a/23Z80����C ���,�-�`� * :4ud�\^! r�*�F����E��� ! �$/23Z8h���$>*����>����"����! �hxGy�z@{qDe���E�T}@)j��7 > ��:SfZ� �F ���-�5����'6>���� �����r��#e��� �a��7 >�C�2����'6���r������>��X�"#%����'(�@��! �����Z! �6��� �C����1���7�1���D9��� �U�"��������H����'6>���� �����E� ��'6���$�����U>������������� ��D`�������� �2��� !G�.�(����'6>���� �����Z! �Z����� ¡�¢Q£�¤ ¥ #%7�� ���! ���_:[fZ� ! �Z�.��b����a���a! �*)> 7*���2>�������������D�>*������������*�-�.�@���Z�����]�2>���"#L����'(�@��!C����D��������X��7���� ����2�����"7 G�$�g�"��S��#[>���"#L����'(����! ����º�>�������������`> ��!G����\^��!C�.�4�����4���7 �"���T��=T���k��1������2! �T����>� =g���������$����! 1�! � ��9>��X�"#%����'(�@��! ����:

4.1 Core-sACL8e�X�G¡ �?�i� Èq�-�`�[�����$�����E}�)j��7 >� � �k����� ��� ù ¡"Î Ë ��¡�¢Q£�¤ ¥r¦ \^� �����t����� � L ¢ (!��%���$#���É Ê����(£?� ¡ ��#¤#¥�/!10_¦ù ¡-Î Ë L ¢ â9Û á9Ô�Û é�Û_ñ�Û�à ¦

¡"¢Q£�¤ ¥ l (!��%���$#E� â9Û áYÔ@Û�é�Û_ñ�Û�à ��§ m L ¢ !�Ê/* * ¦¡"¢Q£�¤ ¥ l É Ê����(£?� â9Û áYÔ@Û�é�Û_ñ�Û�à ��§ m L ¢ (!��L�?�$#�¦

¡"¢Q£�¤ ¥ l$¡ �_#¨#¥�/!10�� â9Û áYÔ@Û�é�Û_ñ�Û�à ��§ m L ¢ (!��L�?�$#]�©!�Ê/* * ¦fZ� ! �^�*�F������5\^���@�a\Z�$���� _�����$�����! ���V �������"��'(������! ���a��#}¡ ���i� È�-�[�`�*:?fZ��� ¡�¢Q£�¤ ¥ #%7�� ���! ���(����! � ��r��� �a�"> �����2��#�>����"�"! � ������>� !C�����E�">������.�6�������l���">�����!C�� G=U! �U��� �a��������W?�`��#_>������������� �.mXD�\^��!C�.������c���k7 �"���M���B!C�*������! #i=hF�� !G���V�-�.�@���4��!C��1��.��'6�U����>*�����"������! � 1��� ���"�E>������������� ��:

fY��� �,�d�"� ��\^�k�h>����"�"! ��C�H! �?����?��! ������S�"��'(������! ���+7��"! � 1M��7���">�����!GF ������! ���HC��� 1�7���1���:]fZ�������� ! �#%�������4����"! ����S�����@�S�"��! 1�1������ �&! �?����?��! �������T>���"#%����'À�����.�B��#5���������������&�">�����!GF����H�">������.����X����D�#%���$�61�! �����k�"��� ��! � 1g��1������ ó ��� �k���k! ���������*���+��������! �?! � 1��1������2ö*:

fZ� ��"�6�">�����!GF����@��! ��� ����� ��B�*������'6! � ��\^��! �X�H>���"#%����'(����! �������7 �"�6! �B�T����> G=�! �d���.�*��E���V����'6> G=4\^!G���H��� �(�����! ���d ������r�"�X)'(������! �]���F � !G��! ���_D���� ���W?�"�.�6! ��#%����'(����! ���k��� ����!C�2����I�7 !G�����+���>��@�.��'6����X��!C�"�]��� �]>���"#%����'(����! ���]���(��7*���4! �$!C�����g�(�">������.�B�����D��� �]����\d��� �[! ��#%����'(����! ���&�-�.�����r��# �����[�������! �?!C��1$��1��������.����� 1�����#i����2��� �$�">�����X�k�����:

|S������D�� ��\Z������D��������e��� ! �Y! ���$s �����*)Q��! ����! ��1�O��">����! F ������! ��������G=�D��� �$�����������1��������9'(��=2�����">���� �E��!G�����������G=$>*���@�*!C�*���S��� �=S����'U)> G=]\^!G������� �^�����! ���6 ������*�"��'(���?��! �^�*�F���! ��! ���e:`fZ��!C�[! �[\^��=�\Z�

Page 5: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

ª ¡XÌCÍ/« ��¬ �gô � �� ¬ ��� � � ó �� "!��%���$# l�ö � ¬ m%�ª ¡XÌCÍb­ ô � D ��¬ �® � D>� ¬ ��� � � ó ��É Ê����Q£ l�ö � ¬ m��ª ¡XÌCÍ%¯ ô>�Xo � |Sý2ljõSm��®�� � ½ ò ��Î l�ö � õSm������°� ó � ¡ ��#¤#¥�2!10 l�ö � õSm��ª ¡"ÎX£�« x ó �. (!��L���,# l�ö � ¬ mQ{Q�� ¬ª ¡"ÎX£-­ x ó ��É Ê����(£ l�ö � ¬ mQ{ql)�� ¬ �����J�ëö �� (!��L���,# l ó � ¬ m%��m & l)���+ ¬ �����J��ö �� (!��%���$# l ó � + ¬ m���mª ¡"ÎX£�¯ x ó � ¡ �_#¤#G�/!10 l�ö � õ$mQ{ � � ��ö � õ��B�Zx ö � õ^{Ql�o � |$ýaljõ$m ��� � ��ö �� (!��%���$# l ó � o � |$ýaljõ$m"m%��m

3 Ø�4YàLÕ�ç_×�æ�ãgä&åwíXâ_é�Õ*â�é�ÑLÛ�âeØ�à2ê_Õ�ÙHØ â_é�ÑLñ�æ

�*���"���! ���^��� �2}�)j��7 >� �^���5�">����!G#L=*! � 16˱9 ¢ �����! ���( ������ �"��'(������! ����D���V��C$��1���?���ks �.�� b?!C��1�OJ¡ ���i� Èq�-�[�`�,�"� ��7�C�K����'6>� =M\^!G���0��� ! ��">����!GF����@��!C���e:�fZ� �]�">�����!GF ������! ���4! �4fY��� �U��! ��½ ò !C����������! ��� ���"�'(������! ���a���Z��!G����������a��1��������Z'(��=U����^�����U���)Q���X�a! �T�*!G����������\Z��=��Sl�!j: ��:?!G�Z\^! ����>������U���T���@\���� ����1������a�����Z���X��7��� G=(�������! '6>�C�'6����������mX:

4.2 Specialization35��'6'�7�� ! ������! ���,��#L����h�.��b����]> C����+! �d��� �(�����?���XW*�&��#��k������)�����������! ���K����� º����+���"����!C����"! ��7 ����! ���_:AfZ� ! �(�"�����! ����\Z�k������)�"!C�*��$�������V! �"��C�������hlQs ��� �)q���^O ma!C������.�����! �����S>������.�k�������! �V�������������W?�S��#r�g�?=*����'6! �E�"����!C������������W?�]l��#�:Yx y�De��}@{%mXD����(�*��'6���*)�-�"�.�@���]������!i�*���U��#[�">����!i�� !Q<�����! ���_:Ef9�(�*�U��� ! ��D�\Z�]'6�?��!G#i=T������"��! 1�1�����]��� �4�"����> ! �"'6�S#L������� �W¡ ��#¤#¥�2!10 �">������.�B�����DY�����4! ��)�"���?�*7 ���^��� �\h>���"#L����'(�@��!C��� �L�É Ê�� �   l%����! ��!C�r���X��7��� G=]\^������\5����� 91���� ��.�� !Q<�����! ���_D�������! �"��7��"�"���+! �T�����E� �W?�a�"���X��!C���e:

� ������#`��� �E#%������7�����S��#[����! ��1T���4��1������S! ����� ���2��� ��>���������"�S! ���7������ ��'6��7 ��:(fZ��! �]! '6>�C! ���$��� ���]��1���������'(��b��]��� ��!G����\^�d�*�)�!C�"! ��� �S���T\^������ ��^���U���)q��>���.�@����D������+��#`����7*���"��D \^������ �X�^��������&��� �=d�.��b��g�����! ��� �U�����@�&�����=d\5����+���"b����,��������C�d���H�*��:fZ������#L������D[! �h�V'�7� ��!G)Q��1������]�-=��-���'VDY! �,���.�*��&���k���)q��>���.�@����X�������! ����G=�D*��� ����$'(��=(���E�"��'6�S����I�7 !G����'6�����Z����� ��1�����!C��������7�)��������!G��=�����C�@��!C��� �"��!C>��[#L���[��� �Z�"7��">���� �"! ���U��#_��7���������']=�:��?�$�������1������ ó '6! 1��������-�.����C! �"�����k�'6>��@\5���'6�����^���(����'6'(�����TöU����*�k���d�����! ���hõ�DY����� ��"\^! �"�g! ��\5��7 C�B� ���������V����I�7 ��-�E�������]ö���H����õÀl%\^��!C�.�h'6! 1��������(���#L7 �"��� mX:,; ������� ! ��D[\Z�(\Z��7 C�h���1���� �X�.�� ! �"�>¡ ���i� Èq�-�[�[��\^! ���U�����a� �\ �i��É Ê�� �   >���"#%����'(����! ����D������'6�?�*!G#L=g��� � ¡�¢Q£�¤ ¥ #L7 �����! ���k���S��> >�����>���!C������:^fZ� ���T��� �$��\5�(��G)���X��������! ���2��> >��������.� ���`�������C�1�����! ����l%���C ! � 1E���������U���"b*! ��1�����m���7 C�+���$���>������"���������g��=_t

ô � o � |$ýaljõSm�� � � ½ ò ��Î l�ö � õSm��® � ½ ü ˱9 Î�¡.Ì Ë ¥ l ó � ö�m�����²� ó � ¡ �_#¤#G�/!10 l�ö � õ$m��

������t

ô>�o � |$ýaljõSm���� � ½ ò ��Î l�ö � õSm���+}���½ ü ˱9 Î�¡.Ì Ë ¥ l ó � ö�m��� � � ó ��i��É Ê�� �   l�ö � õ$m��

;������������! �?!C��1���1���?��ö*D`�����T�����! ���h'6�?� �� ! �Q=d#%���6��¡ �_#¨#¥�/!10'6! 1��?�^���E�">����!GF����T����t

x ó � ¡ �_#¤#G�/!10 l�ö � õ$mQ{l)���½ ü ˱9 Î�¡XÌ Ë ¥ l ó � ö�m��

l(� � ��ö � õ��U�Tx ö � õ^{Ql�o � |$ýaljõ$m ����J��ö �� (!��%���$# l ó � o � |$ýaljõ$m"m%��m"m"m

& l)���+a½ ü ˱9 Î�¡.Ì Ë ¥ l ó � ö�m��� � ��ö ��i�X�QÊ � � l ó � õ$m%��m

�����T#L����� �i��É Ê�� �   ����t

x ó ���i��É Ê�� �   l�ö � õSmQ{l�ô���o � |Sýaljõ$m��

l(���°�ëö � õ��³�Tx ö � õ2{ql�o � |Sý^ljõSm �� � �ëö �� (!��L���,# l ó � o � |Sýaljõ$m"m��Mm"m"m

& l,+Zl�ô���o � |$ýaljõSm��� � ��ö ��i�X��Ê � � l ó � õ$m��Mm"m

p��T��� �S#L����'6��������"��ö]\^!C e��� G=+���U�����E�����! ���4õµ!G#���� ����>�>�����)>���!C�@������7���������!G��=g�W*! �-����D�!C�g��� �$C�@�"����2�����"�Eö�\^! Ce���� =T�*�UõJ!G#!G�^F ���a! �+\^!G���Vö?O �^��\^�k�*���"!G������:

fZ� �5�"7 '6'(���"=S��#��� ?����! �`��! �"��7 �"�"! ����! ���������9��� �5���C! �#L��D?����"! ������� ��! ����������! �����E��#Z�������"��� ��! � 1g��������! �?! � 1V��1����������@���U�W?������������������Z�"��'(���?��! ������#��-�`�[�*D���������7 �"�Z�����r����I�7 !G�����]����'&� ! ���@��! ��� ���!G����$��������.��! ��1g���6��� �&��1���������De��> >� !C������! �����E��� ���*��'(��!C���S! �\^� ! �.�V��� ��'�7�G��! )Q��1������2�-=*�-����'�!C���"���:2fZ� �X�����@���&�� �"�ks �"����!C���O#�����������&\^� ! �X�h� �@���(���k���g����� �"!C��������_:4ud�g�������� 7��*�(��� ���&!G�! �U! '6>����"�"! � �(���4>����?��7����T�4�"! ��1� �V/23Z8K\^� ���"�+�"��'(���?��! ���&! ����XF�� ���g! �T���X��'6�a��#Y�����$! �?����?��! ��������-�.��� ����:����@\5�������D*\Z�S��������XF�� ���+�"��'(���?��! ����#%���&���d/�1������&35��'6'&7 � ! ���@��! ���H89����1�7 ��1��\^� �X���5��� �r� ����'(�@��! ���5> ���"��! �������"���&���U�^����'6'6!G��'6�����_��������>�G=��� �T���T! �*#%����'(�@��! ���S�">����! F ������! ���+! �a>����@�?!C�����U#%���2�&> ���"��! ��7 C�@���>�> ! ������! ���e:�p��d�����g���W?�]�"�����! ���_D[\5�T���� �"!C�*��&�����g�����������#������! � 1�>������������ �2�����-�[�[�?:

4.3 Generalizationp��(��� ! �a�"���X��!C���eD�\Z�$1���� ��.�� !C�"�¨¡ ���i� Èq�-�[�`�&����! ���� 7�����#%��7*�^�"! 'U)> �[>������������� ��D�\^� ! �X���� �"�������.��!C �e!C���"���?�*7 ��! � 12�a�?7 '&�������#*� �X\>���"#L����'(����! �����:58_��2�-�[�[�&���$��� �E}@)j��7 > � �V� ��� �����9�C�� ���¡"¢Q£�¤ ¥5¦1�! ����V��=(�">�����!G#L=*! � 1*t

� ��� � L ¢ (!��L�?�$#]��É Ê����(£?� ¡ �_#¨#¥�/!10 ��� ¡b´ !@�¶µJ* �©0�������b!10 ���i��É Ê�� �  X�������i����� ¡ �/! ¡ �b* �"�)�% (* �·!�Ê/* * ¦

�9�C��  L ¢ ¥�¢XÏ ò Î ûü ¢X¡.¥��1� ½�Ëq½ Ï�¥ ò ������Î ¼�¼ Ì Ë�¼ ¢ ò Ë ��.Î ò Ë Ì ò ü Î�ü*Ï ü@£_� ½�Ë ¢�� â9Û áYÔ@Û�é ¦

fZ� �VF � !G���V�-�.�@���4��!C��1��.��'6�6#%���T�����+#%��7��g>������������� �T�����k! C7��-)�"�.�������&! �U;Y! 1�7*���a}*:�fZ� �a�����"�����">���� ��! � 1$�XW*���� �"! �������S��� � ¡�¢Q£�¤ ¥#%7�� ���! ���V�����+���$�������-�"��7 ������T#L����'Ä��� �SF � !G���E�-�.�������*!i��1��.��'6��:

fZ� �2� ���.����! ���g7 �"���U!C�g;Y! 1�7*���S}�! �Z���r#%�� C��\^��:Z�?�.�@�����Z�@���S�?7 'U)���������D������(�@�����^�����$C������ C���g\^!G���T�������">�����X�T����a��� ���a����7 �"����� �k�"�.��� �"!G��! ���w�����\5�����w�-�.�������:·fZ���H�-�.�@����\^!G���K��������������=�����.�*��kl��-�.�@���V��m]!C�&��� �g�-�.���"�6�-�.�@����:��?�.�@�����UC������ ���,\^!G���c���! �Xb����a������"�^�����������6�-�.�������D*\^!G���(��� �������?��������@��! ���(�����'6! �����")! � 14�"7 ������"�-#%7� =h���U����������">������! ����G=�:HfZ� �T��!G����������&�"������! � 1���4�����X���-�.�����&! ����! ���@�����S\^��!C�.����1�������O ����7����k!G�E! �S���(��������! �?7 ���� ����!C�� ��1�7 ��D9�"�T� ����]\Z�6�@�����">�����!G#i=�! ��1T��7����*)j�.��b?! � 1(�����?���X�")������! ��� �S���X��\Z����k���� =g��\5�(��1���������:^fZ� ��� ���.����! ���k�������*�2���6���

Page 6: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

lj��mXt�=���"� � I�7 ��"=(>*������������ l���mXt`�����F���'(����! ���T>�������������

l��@mXt[� �@�.���-=*� �.������� !(<�����! ���V>������������� lj��mXt`���'6'6!G��'6�����Z>*������������

Ð^ÑLÒ�Ó9Ô@Õ¹¸_×&êeÑ%ÙHá�àLÕ4áYÔ@Û�é�Û_ñ�Û�à%ægÝqÛ�Ô(�-�[�`�

�XW*����������+���T��������'6'6�?� �����]�����*�����������! �����$! �?���� �?! � 1('�7� ��! >�C�> ���"��! ��! >��������(����� º����(�"��I�7 ���������U#L����' �����V��1�������:cfZ� ����k�@�������� ��2�W?�������"! ��� �a��� ���2����7�C�V�� �"�6���E���?�?! ����1����_t[#%���2�W���'6> ��D'(��b?!C��1�s ���X��'6!C� ������O������Ts ! ������"��7 >*��O*�@����! C���� ��#L����'Ä���?=U�-�.������:fZ�����"�U\Z��7 C�B���(�g�"���"�]��#^'6��.�@)q>���"#%����'(����! ���&\^��! �X�B����">����)��! ��� =T��� �T���2�.����� 1��$�����$�-�.�����E��#Y��� �E����?��������@��!C���e:

fZ�����"�U>*������������C�E����������7 �"���4��=k��� ����1���?�S���T����'6'�7�� ! �������\^!G���k��� ����� ��2! �V���.�*��^����t

º I�7 ��"=B������������6��1�������������7*�������g���� 7��g��#2�"��'6�(>�����>���)�"!G��! ���wl�� �����g����!C�]! ��>*������������a!C���-�.�������T��#^��� �(�W*>�������������� �@�?! ��7*�^#%���2��� �E�"� ����I?7���"=(�">������.�k������.mX�

º ! ��#L����' ���c��1���?�g��#��"��'6�V>*����>����"!G��! ���w�������������! ���4������.b?� ��\^ ����1���'6������l���#`���C! �#������ º������������! >��XmX�

º �����?��! �?7 ��7 �"G=H7 >�� �@������� ������� �X����1�������������7������ �U���� 7����#`�"��'6�$>�����>����"!G��! ���_�

º ���"b����,��1�������! #Z! �E\^! 57����*��"�.��b��&�"��'6�6�����! ���_D���� �_De!G#!G�^! �^��1����������C��D����]���� [l����'6'(��� ��m�!G�a�����*�&�����@�^���X��!C���e:fZ� �TF�����^����'6'&7 � ! ���@��! ���h\^!C ����+��� �g�����"7 G�g��#$����! ��1��� �$�����! ���,l�!G#�!G�2�"7 ��������*�2���^#���! �.mX:

pq�Z! �Z���@\c�-�"�.��! 1����"#L���"\a�@�.�g��������� �-�"��7 �X�5��� �����X��7��� ¡"¢Q£�¤ ¥ #%7 ���)��! ���+#L����'������SF���!G���E�-�.��������!C��1��.��'6��:r; 7*�"��� ���'6������D*�����.�V>*����)�������E�����A�����"7 >�> ��'6�����������?=c���A��� ��!G��! ��� ��E�">����! F ������! ���l%\^��! �X�U'(��=����Z! ����������! ��� ��imY��#��S������"! ������#���� �5����I?7�! �"! ���r#%7 ���)��! ��� �(\^� ! �X�c�����0���k! '6> ��'6��?�����M��=����0��1������T! �K���.�*��T������'6> G=d\^!G���h��� ! �6�����! ���MC�����a�"��'(���?��! ����: ����\Z�����X��DZ��1���������@���+�����&�������-�"�.��! � ���d���4! '6> ��'6��������� ! �&�">�����!GF����@��! ���e:dýr���X���1������T'(��=c� �@���k! ���g��\^�K\a��=���#&����!C��1d��� ! � 1��+�����c�����w������ ����D_>����@�?!C�����V��� ���E!G���$����� ���*! ��7��Ul�! �4�����'6�S��#5�����">���� �"���$����������! �����U'6���"����1����.m`����'6>� !C��[\^!G���U��� �2�����! ���6 ������ �"��'(������! ����:

5. REFERENCE ARCHITECTUREp��g��� ! �^�"�����! ���_D \5����! �"��7 �"�2���V��>���.�@��! ������9'6�?�*�����#���� �$n5o$p��1������]�����.� !G�������7*���(�����"7 1�1����-�����B! �cx Å�{jDY�� ����� ���������V��������'U)'6�?� �@���dn5oSpQ)j�������"��� ! � 1�������7��4��1������~»���1���?�4���'6'�7�� ! ���@��!C���>������������� �E� ���"���k���k�����]�"�'(������! ���$�*���"���! �����k! �4�����&>*�����?! ��7 ��"�����! ���e:

5.1 The BDI Ar chitectureZE! � ��= ¢ Ëe½ ¤Q¼�½ Ï x Å�{*nro$pQ)Q��1������Y�@���X��!G�������7����[����� �"! �-������#?��� �['6�?�*)7 ���E! 7 �-�"�.�@�����H! �d;Y! 1�7����U�*:V�S�X����De���������� ! �#Z� ���.�������"�6�����*)�.��! ����#�������(������7��Ts ��� �(\Z����C�_O �a��� �+�����"!G�����U'6�?�*7 �g�������.��! ���1����� �r���E���Z������ !(<����_�������a> C����C! �*�.���"=U���� �"! �-���r��#�> C��� ��D�\^��!C�.������k�"��I?7���� ����(��#]���X��!C��� �(\^� ! �.�K���.� ! �����k1����� ������� ����� �V! �*)��������! ���H�-�"��7 ���7*�����E�������.��!C���E! � �-�.������������#5��� ���"��> C�����E�X�����"���#%���V�W*���7���! ����lj�����c�7��"��������G=c���!C��1,�W*����7*������mX:�fZ� �4! �?���X�")>����X����U�W*���7������U! ����������! ������Dr7�>�� �@���������� ! �#L��Da'6�?��!GF���&1����� ��D��� �T�.� �����"����>�C��� ��:

Ð^ÑLÒ�Ó9Ô@Õ�¾9פ¿&Þ+í&ãgÒ�Õ*â�éUã(Ô�ñbÀYÑié�Õ*ñ�é�Ó9Ô@Õ

fZ� �H! �?���X��>��������V�W*����7���! ���A�X=��C�H! �k���V#L�� �@\^��t0/a�T��! '6�tÁXt

Page 7: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

���"�.��! �c1�����C�g�@���V���-�.���� !C�"�����_DZ��� �M���X�"�.��! �����C! �#L�g�����V����C�_:ý`�������@l��.me�����7������ ���`�� ���X����� �5���C! �#L�`���`'6�?��!G#i=�1����� ��D?��� ����������\Ä���'���! ������! ���M��#S1�����C�U�����,���� ! �#L���"��! 1�1��X�g�����! ���h>�i��� ��:� ���V���g'6�����k�����! ���K> C�����(�����k�"�� ���X�����K��� ��>�i�������c���������! ����������! ���A�-�"��7 ���7*������:�/2�A�XW����7��.��� �B>�i���w!C�k�"�C�������A�������� �V�-���>�! �6�W*����7*�����_D[\^� �X������=d��� �+��1���?�(>��X�"#%����'6�&��� �V���)��! ���e:B�Y��"#%����'6!C��1k��� �g�����! ���M�.����� 1����&�����g��*�?!G������'6�����&�����'(��=+���-�.����C! �"��� �\µ1����� ����� �V���� !C�X#%��De��� �4�"�6�����&! �������>����X�����XW����7���! ���+�=*�� �E�-�.���"���2��1���! �e:

fZ����\Z��=�\Z�S��*�?! ����1����6��� ! �Z�@���X��! ������7����2\Z����b?! � 1]! �(������v-7 ���)��! ���g\^!G���(��� �2>������������G)q�����"���T�"��'(���?��! ���r��#9�-�[�[�]��! �"��7��"�"���(!C������E>������?! ��7��Z��\5�U�"�����! ������! �^�����"���+���+��� �S#L�� ��\^!C��1(!i�*������t

º �����@�a��� �$>*������������ �S�@���E> C������D������g�����E��>�>�����>���!C�����S���>�)�����"�����.�@��!C���V! ���-���������+! �T�������[C���k8e! ���.�@�"=��

º �����@�6�k�����*�����������! ���M! �6���h! � �-�.��� ���g��#S�4> C���_D5�����h�� ��� �^�����?�����������! ��� �`��� �2��1������5! �[��7��"��������G=&��� 1���1����(! �6�@����-���������+! �+��� �$pQ����������!C���k���"��7 ���7*�������

º �����@������ ! �#%�]��� �B�*���"!G�����]�����67 �"���4���+�"��! 1�1���]> C��� ��DY!�: ��:���S! ��! ��!C�@���^�������*�����������! �����?=��-�.�@�"��! � 1$����! � �-�.��� ���5��#��������>�>�����>���!C�����E>*������������j�

º �����@�9����� Ï¢¤C¢�� ËY�����(½ ��� #L7 � �X��!C��� �9�����57��"���$���S�*������'6! � �� ��\ë���g>�����1������"�]�(�����?��������@��! ���d���������.��! � 1g���T��� �&> C���l�!�: ��: \^!G��� ! �+�����S����'6!G�^��#9��� � ¡�¢Q£�¤ ¥ #%7 �����! ����mX:

pQ�,��� �6�����-�6��#�����!C�&�"�����! ���_Dr\5�+�*��'6�����-�"�.�����(��� ���"�g!C�������U��=��� ! '(����! ��1h�����H! ����������! ��� ��$�">����! F ������! ��� �V��#��"���X��!C������: �M#L���>��X�"#%����'(�@��! �����+7��"���c���K��� ��!G�T�@\^�A�����K! �c��� �4���������W?�+��#]�>*�������������D�7 �"! ��1���� �$�XW����7���! ���+�=*�� �E�����"�X��!C�����+! �+�"�����! ���V��: �?:

5.2 PerformativeSemanticsuB�a�����6�"����\���� ���`��� �^! ����������!C��������">����! F ������! ���g��#���� �a>���"#L���")'(�@��! �����"��'(������!C��$��#^f9��� �(�6����'6> ! ���$\^!G���H��� �������! ����)q ������'6����� ! ��1���#Y��/�3Z8B���2�U}�)j��7�> ��D*��=g��� ! '(�@��!C��16���"! '6> �EI�7����-)��! ����º���� �-\5����"��I?7���� ���:T�*7�> >����"�&�������E#L���]�����X�"=B��1������¨A�De\5�� �����S��� �2�"��! 1�1��X���S�����g�"����> ! �"'6�a�"�.� ��'(�@�.�]! '6> ��'6��?�����g���^!C�f9��� �&�?:

fZ�����eD^ ��+��1������ ó �����K��1������TöB�������T��� �V#%�� C��\^! � 1M���� ! �#%��D�*���"!G������D������+! ����������! ������t

��StÂD � ¬ � tÃ+ ¬ô � tÄD �k¬ ô��EtÆÅ���StÇÅ � � t Å

|���\wl�1�! �����&���&�W*����7���! ���&�=*�� �Z��# #i����'»�*����! �����*: ��mXD������5����'U)��! ������! ������# ó O �2���� !C�X#%����� �V1����� �$! � \�]_^1`�`�a%] p�m%m \^! �������! �-#L=l�! ���-�.������!C�����@mVª ¡.ÌCÍ/« D��"� ó #%����'6�a�����$! �?����?��! ���et

� � � ó �� "!��%���$# l�ö � ¬ m%�/2�"�"7 '6! � 1$��� ��� a%�/a/{��/\/a z�u2a ���X��7���� �`��� ! �[! �?����?��! ���6���[��� �^�"�) ���X��!C����#L���6�W*���7���! ���_Dr\^�����,��� ! �6���X��!C���Jl��">�����X�����X�Xm]! �6�W?)���7�������D$��� �H'6���"����1��d! �k�"�����4��� �A�������! �����w�?=Kö*D$\^��! �X�J!C�!G�����W*����7���! �����X=��C�E\^! Y�������4�����V>���������"�������]'6��"����1��]7 �"! ��1]�a/p s z�u2a :[pQ���Z���������! ���V! �^��������!G��! �������T��= ª ¡-ÎX£-­ D���� �g�����$�W?)�"�.�]! ��#%�X����� ���$#i����'·�����E��! �%v�7 � �X��!C���+! �Ȫ ¡"ÎX£�­ �����������^�����S1�����ô>�© � + ¬ : � ]2^1`�`/a%] p�m�m #%���$ö6� ��\ë1��� ��.�@�����E�(� �\µ!C����������! ���#i����'ɪ ¡.ÌCÍb­ D� �����*! ��1���� �E�"!G��7��@��! ���k���^#L�� ��\^��t

��StÂD � ¬ � tÃ+ ¬ô � tÊD ��¬ ô��$tÊ � + ¬���StÇÅ � � tË� � ��ö �� (!��L�?�$# l ó � + ¬ m��

/��"�"7�'6! � 1a�����@�9��� ! �Y! �Yö?O �Y����G=�!C����������! ���_D�! �9\^!C ?���[�"�� ��������]�?=a%�/a/{��/\/a z�u2a :�fZ� ��>���"#L����'(�������]��#`��� � (!��L�?�$# �">������.�4����S�?=ö�����\J� ���a��\5�U������X����:5fZ���$F ���-�^! �^���6��! �"�.������1��$��� �$�����$1�������������7 �"��D[7��"!C��1Cª ¡"ÎX£@« #L����' ö?O ��>���!C���&��#2�?! �\ED[ö*O ���XW�>����������7*������'6�]��#r!G���E���X��!C���B! �> �,¬ D_���S����I?7�!G�����_:�fZ�����"��������k! �S�����! �"�.���@��1��&����������! 1�! �����1��������# ó D���������7 �"��D���1���! ��#i����'̪ ¡"ÎX£�«l�� 7*�&#i����' ó O �&>���! ������#S�?! �\�mXD� � + ¬ ��������'6��&�"��7 ��:dfZ��!C�&! �������7 1��+���U���@��!C�-#i=+ô � D �k¬ :

u0!G�����H�� ���"����\Z����i�����"�"7�'6>���! ���_Dr\5�V�"���+��� ���(�����X�"= É Ê����(£\^! r����#L�� ��\Z���d��=4���B! ����������!C���H���g>���"#%����' ��� (!��%���$# DY�������������.�*!C��1U������� �$/�3Z8H���F � !G��! ���_t

¡"¢Q£�¤ ¥ l (!��L���,#�� âeÛ áYÔ@Û�é ��§ m L�¢ l (!��%���$#&� â9Û á9Ô�Û é�m ¦fZ� ������'6�&��� ! '(����! ���k�����k���]��>�> ! ���V���U��� �¨¡ �_#¨#¥�/!10 �">�����!G)F�������! ������D \^� �X����7 >����+!G#Y��� �S����'6'(���������T�����! ���V! �^>���"#%����'6����"7 ������"�-#%7� =�D_��� �]! ����������!C���k���g����>�G=V\^!G���B��� (!��L���,# !C�E1���� �X�")�������_:

5.3 Protocol Semanticsp�1�� ����!C��1B#%���g� ��\ !C�"�"7����( !Cb��VC��� 1�7���1���D^��! '6��DZ�������� ��1�=K�����>��������������D5���M��1������6�*���"! 1�� �X�6����7�C�h�">����!G#L=h������1�������ö*O �����X)�����?! ��7*�6#%���(���������! � 1����d��� (!��%���$# '6���"����1��V\^!G���c�����?����?� F#L����' ���V��1������ ó 7 �"! � 1������ � ½�Ëq½ Ï.¥ ò � >�������������_��������t

x ó �. (!��%���$# l�ö � F �©� ½�Ëq½ Ï�¥ ò � mQ{ �¶F �N� � ��ö �~� ¡1´ !@�¶µ¥* �©0���� l ó � F �¶� ½�Ëq½ Ï�¥ ò � m��

& �� F�Í �l�ÿ ¢¤ ¡�¢.7�Ì%Ï¢ l F m��B+}�� F@Í ��� F �(ô��© � �� F m& l,+aÿ ¢¤ ¡"¢.7�Ì%Ï¢ l F m�� ô � �� F Í m

& +}D>� F �l ��Î ò Ï�Ì%Ï Ë ¢ ò Ë�l F m��S �¶F �gô � ��. �¶F m& l,+ �.Î ò Ï�Ì%Ï Ë ¢ ò Ë�l F m��U�� F�Í �(ô��© � F�Í m

|S�����(� ����6�����@����� �6#%����'�7 C� F ÍU�*��� ����������� �(����'6>� ��'6��������##%����'�7�i� F :[fZ��! ���">����! F ������! ���+�"���������2�����X�V��#Y��� �����������E�����"����t\^� ��h�����T������������U��#������T! ��#L����' ! �6��G�������?=,b?� ��\^�eDr�������"�.�@)��! ������"=�D������B���\E:VfZ���U#%7�� ���! ���Kÿ ¢¤ ¡�¢.7�Ì%Ï¢ !C�]�V1�C���"�&���?A�O ����� ! �#9����*! �"! ���g#%���a�������"�.����! ������"=g�-�.�@����'6�������Sl��#Q:^x �@{LmXD������U\Z������E�����^����=*! � 1U���@\0�����E��1������2��� �"7*�����a!G���������.�������"�E! �^����� �"! �-)�������(l�� 7*�$��� �X���(�����6��C1�����!G��� '6��#%���&����! ��1+��� ! ��DY��: 1*:6#%���"\a���.��.����! ��!C��1�mX:r35��� �"! �-�������Z! �5�����C7 �����������E�"��7��2���r#%�� �"�S��=U��� �*! � 1�E#%����'&7 C�E���������� ! �#������.��� ���"�E�����6�.� ���.b?!C��1�D����r��� �^#%7 �����! �������'6�$! '6> ! ����D*#%���2����� �"! �-�������=�:

p��T>��@�"��!C�7 C����D*��� �$! �������>*����.����! ���+��#Y����!C�^�">����! F ������! ���+#%��C ��\^���7*�(! �?��7�!G��!C���+�������*! � 1B��# K L x ö � õ^{ F � M '6������!C��� ���h����������t��#i����S�����]�����! ���_D�!G# F ! ���"��7 ��D���� ���V�"�"=g���('(��b�� M �"��7���:2fZ� ���1�������O �T! ����������! ������S�-�.�@����! �(������ G=K���!C��1B�"�����@�����0���T�Bb?! �����#[�����! ����� �@�.��� ���"��D������g! �V>��@�"��!C�7 C���^\^� ��k������ !C��1U\^!G���+��� ����� ! �#Z�����?! �"! ���_D9��� ������� �� ! � 1T��#°+}�� F�Í !C�E������'6�������$���V��� ���� ! �^� �1��������T#%����'�7 C�?D ��7��a���&\^!G��� �*�.��\J�����$�W*! �-��! � 1U���� ! �#Q:

; 7*�"��� ���'6������D�����! ��! �rv�7 �-��������#L����'&7 C����! ���_t5�������"��������'6�����2��#� �X\<��� �,�������"�.���*! ������"=,! �*#%����'(�@��! ���M'(��=B� ���U���(�"�����������,! ���� �&����'6�]\a��=�D�#%�����XW ��'6> ��:]pQ�S! ���� �"�V�����-=k���T���F � �]�"7 �.�B��">�����!GF ������! ���g����! � �����>����.�@���$�� ��'6�������Z��#9�"��7��-��:[; 7��"�������'6������D�"! � ���&��� ���"! �������!G��=���������!G��! ���H! �E>������*!C���������4������� ��������! ���H��#����)Q��>���.����! ���e�������T�� 9�">�����X�+������^! �?���� ���S�����S�������!C����^��������1�)

Page 8: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

��!(<�! � 1]���6! ����������! ���6���U�����^>����"�r��#������2�"������X��D?��1��������5�@���2#i�����l���7��a�����a#L��������� m5����'(��b���#%7*�"��� ��^! �*#%������������2������7��a�����$����������1�������O �]���� !C�X#%�U������!C����������! ������:+oS! ���X��������!C�*#%����� �����]'(��=����'6��������> >*����>���!C�@���&#%���$> ���"��! ��7 C�@�$��=*>�������#5��1���?����! �H�*!G����������b?! ���*�a��#[��> > ! ���@��!C���e:

�?7 >�>����"�Z\Z�a����\c�������?�����_D�#L���5��1������ ó D���� �^��W*! ��'6�`! �U!G���[�[C���8_! ���.���"=����E�"� ��\^��!C�HfY��� �U}?:&|������������@�$��� ���"�������&> C���H��W?)! ��' �"�.� �'(�*D`�����B�����,���6! � �-�.������!C�������B#%��������=B��1�������õ·�����>*����>����"! ��! ��� F :UfZ� ������� ���"�U��W*! ��'6�E�-�.������D9�����">����X��!C����G=H��� ����tF����-��G=�D !G# ó ���� ! �������2�"��'6�$>*����>����"! ��! ��� F D ��� �T\a�������]lj�*���"!G�����.m��� �����������,!G���"��G#$�����,�"��'6�(����� ��U��1���?��ök���� ! �����(�������C! �������� ���^>*����>����"!G��! ���k���^!G���2���'6> ��'6��?��D?!�: ��:*��� �=g� �@���$��'&7���7������C! �# ! �]�����[�"��7*����)����Y#��� �"��� ���?����# �"��'6�r>*����>����"! ��! ���e:`pQ#���1������ó ���� ! �������2�������S��#i����E�"7��������"�-#L7 G=0P-�*��! � 1�Rg����� � ½�Ëq½ Ï�¥ ò � >*����)��������!G�5\^! ����.� ! �����^��� ! �51�����jD*��� ��6! �r\^! C�#L����'è�����^!C����������! ������$���������ZF ���-�[�����! ����\^��!C�.��\^! �! ��! ��!C�@���^��� ���`>*������������9l�> C����mX:�?����������G=�D���� ���E�@#L����$�"��'6�U��1������S!C�*#%����'6�$!G�E��#5�g>*����>����"! ��! ���F 7��"!C��1H�����k� �@�.��=*�"���+>��������������D^!G#E!G�(���� ! �������(!G�g��� �h\Z������������(�"�����*��&���k���C! �����g!G��D`��� ��d!G�&\^! 5#%����' �����(!C����������! ���d������Xb?���@\^ ���*1���! ��: � ��� ��"\^! �"��D?!G#_!G�5���� ! ������r��� �^��> >����"!G����D?!G�[\^! C#L����'<��� �S!C����������! ���g���U! ��#L����'<��� �$�"������X����#Y�����@��:

;����������T�"�����! ��1H��1������ ó D`��������+�@���g#%�������Dr�"7 �.�M��� ¬ ��Î?� �����:l�! '6>�C! ���G=Ï�� ¬ � �� Î?� �����: më�����,'6�����('6�?� ��a���X��!C�����"�.� �'(�*:fZ�����"�+�-�.�@�����������g���C! �#L�U�����@�U������1������&\^!C ^� ��C�,��#L���X�6>���")#L����'6! � 1g���S\^! �������"�"! � 1+���H�����! ���_:]; ���$�W���'6> ��D�#L���]��1������ ó D\5�E'6! 1����^��������t

Ð ¢¤ Ìq¢ '¥Ñ]½�Ëq½�ÿ�½ Ï¢ tÆ �ìx õ ��� ¡b´ !@��µJ* �©0���� l ó � F � mQ{6�Ò Fx ó ��� ¡1´ !@�¶µ¥* �©0���� ljõ � F � mQ{6 Ò � F

fZ�����"�+#L����'�7�C���6�@���k�����C! �#S! �M#%���� ¬ D5��� �h��W*! ��' �"�.� ��'(������ �����-�.�@���6��#i����&õè���Xb?� ��\^ ���*1���� F DYõN���� ! ������� F De��� �B��#i����ó ���.b?� ��\^ ����1���� F D�õè���C! �������E������� ó ���� ! ������ F :(fZ���6>����-�")������*!G��!C������#*��� ���"�['6�?� ������X��!C���&�"�.� �'(���_�">�����!G#L=$�����r! ������� ������.�@��! ������^���������U��#S�����+�����! ����\^��! �X�,��� �+��1������4ÿ ¢¤ Ìq¢.7�¢XÏ \^! C����"7 G�[��#i����[����!C��12�����Z�����! ���e:Zl�|S�����[�����@�Y��� ���"�5�����Z�-��! _ÿ ¢¤ Ìq¢ ' Ï��# ó :ZfZ���=+'(��=(�����2���$��� �(½ � Ë ü ½ ¤ �����"7� ����D ! �+\^� ! �.�V�����"�E�������1������(\^! �� �@���+���d�*�B���� ! �#$�����?! �"! ���_: m fZ� �+#L����'&7 C���(� �X������� �����0��� � � ¡1´ !@�¶µ¥* �©0���� >���"#%����'(����! ����D2!G�"�����">����X��!C���B��#������>*������������r!G�E! �$7��"���4!C�_:]fZ� �]F ���-�E�����"��! �$#%���E\^� ������1������ ó ! ��������������!C����]��#Z�����U'6���"����1���DY�����U�"���������H�����"�U#%���&\^�����B!G��! ������E>���"#%����'6��^��#������$�">������.�k�����:

pQ���������*���"!G������� �@�.��� ���"�U��# ó D���� ����������&1����� ��:�|��@\N�"7�> >����"���� ���^��� �X���]! ���U����"! ���E#L���E��1������ ó �������2!G���"��G#r��� �+�"��'6����1������ö&�������E�&'�7���7 ������� ! �#�! � ¬ fZ�����+�����$����'&� ! ���@��! ���V��#����� ! �#%������4����"! ����E!C�S� ��\ë7 �"���k��� \�]2^1`�`/a%] �g>�i���eD����E>��������������:�p������! �S�����"��D�!G�$! �������]! ����������! ���V��� a%�/a/{��/\/a z�u2a �����D�\^� ! �.�V\^! C! ��! ��!C�@���&��� � � ½�Ëq½ Ï�¥ ò � >��������������D_! �k�������$�Ev���! ���$>�i���V\^!G����ö?:fZ��! �5! �Z���X��!C������6��=��"��� ��! � 1E�����^F����-�5'6��"����1��^\^� ! �.�(!C��!G��!i�@����������&>*�������������D9! �k��� ! �$�����"�U��� (!��L���,# :$fZ�*7���D_!C�k����!C�S�����"��D�#L���ó \Z�E1����t

ø ò Ë ¢ ò Ë ÌjÎ ò Ï tÓ����� ó �. (!��L�?�$# l�ö � ¬ ��� ½�Ëq½ Ï�¥ ò � m%�

;�7��"��� �X��'6������D@���@\B�"7 >�>����"�r��1���?�9öa�����9!C��������! ����?��W*! ��'6�9! �E!G���>�C���U ! ���.�@�"=�D��W*����>*�`�"7 ���-��! ��7*��! � 1$ö^#%��� ó :�fZ���a���� ! �#_� �@�.�������"���#^��1������]ö*D_��� �U! ������� �����k������! > ! �����]��#5��� ���">�����X�d�����D9'6!C1�������^������!G����G=U�'6>���=�D��W*����>*�r��� ���r!G�r\^! ��������^!G���5������"! ��� �[��#�������@W*!C��'��"�X����'(�&! �+!G���^���� ! �#[� �@�.��� ���"�]��� �T> C���V !C�*�.���"=�D*�?!(<�t

Ð ¢¤ Ìq¢ ' Ï tÔ � x õ ��� ¡1´ !@�¶µ¥* �©0���� l�ö � F � mQ{6�Ò Fx ö ��� ¡1´ !@�¶µ¥* �©0���� ljõ � F � mQ{6 Ò �� F

��� �T�"! '6! C����G=+#L���^��� �E�@W*!C��'6�^!C�+! ���2�`C���k8_!C�*�.���"=�:

/2#i����a!G�Z�������! �����5�����S! � ����'6! � 1�'6���"����1���D*öE��7 � �r!G���a>����������*7����y ]2z�{ba2o�o |�a2o�o%pb`�a ���V��� �E�����?����?��:5pQ#������E�">�����!GF����@��! ���������@���! �a'(��>�>����g! �����U������ ��1�D����������.��! � 1����]��� ��'(��> >�! � 1]�"7 1�1����-��������@��C! ���D������"7 G��! � 16! �g��� �$#%�� C��\^! � 1(���?�*��t

Õ�Ö1×�Ø·Ù1Ú¶Ú Û�Ù1Ú¶Ú·Ü©Ý�Ù_Þß-àRá�â�ã1×·Ö�Û@Þ,ä@à)å�à)æ�Ü©ç�Ü1Ú.è©â%Ø1é éÈê$ëì Ù�íbá�Ù©î�Ù1Ú/ÞRÖ�à¤å é2àÜ1Ú¶Ú·Ù©Ö¶ç�Þeá�â�ç�Ù·â�æbÚ/ÞRÖ�à¨Ü1Ø�ï¶âb×.ðbí©Ù©æ¶Ý�Ù_Þkß-à)å�à)æ�Ü©ç�Ü1Ú.è©â�Ø1éÈé_ñ

Õ�Ö1×�Ø·Ù1Ú¶Ú Û�Ù1Ú¶Ú·Ü©Ý�Ù_Þß-àRá�â�ã1×·Ö�Û@Þ,ä@à)å�à)æ�Ü©ç�Ü1Ú.è©â%Ø1é éÈê$ëì Ù�íbá�Ù©î�Ù1Ú/ÞRÖ�à�âb×·ç�Þ�å�é¹é2àì Ù�íbá�Ù©ã Ö�Ù©î�á·Ú·Ù_ÞRå?éIë¶òÞVÖ�Ù©ç¶Ö�Ü1Ø.ç�Þ ì Ù�íbá�Ù©î�Ù1Ú/ÞRÖ�à�âb×·ç�Þ�å�é¶é¶é2àÜ1Ú¶Ú·Ù©Ö¶ç�Þ ì Ù�íbá�Ù©î�Ù1Ú/Þ®Ö�à�å�é¶é2àÖ�Ù©ç¶Ö�Ü1Ø.ç�Þ®æ�Ù1Ú1á�Ö�Ù1Ú/Þ®Ö�à ì Ù�íbá�Ù©î�Ù1Ú/Þ�Ú�àì Ù�íbá�Ù©î�Ù1Ú/Þ�Ö�àVå�é¶é¶é¶é�éôóÞRÜ1Ú¶Ú·Ù©Ö¶ç�ÞVæ�Ù1Ú1á�Ö�Ù1Ú/Þ®Ö�à ì Ù�íbá�Ù©î�Ù1Ú/Þ�Ú�à8âb×·ç�Þ�å�é¶éÏé¶é¶é_ñ

Õ�Ö1×�Ø·Ù1Ú¶Ú Û�Ù1Ú¶Ú·Ü©Ý�Ù_Þß-àRá�â�ã1×·Ö�Û@Þ,ä@à)å�à)æ�Ü©ç�Ü1Ú.è©â%Ø1é éÈê$ëõ·ö ì Ù�íbá�Ù©î�Ù1Ú/ÞRÖ�à¨åÏé2àõ·ö ì Ù�íbá�Ù©î�Ù1Ú/ÞRÖ�à¤âb×·ç�Þ�å�été2àØ©×.â%Ú1á·Ú.ç�Ù·â�ç�Þ®å?éeë¶òÞRÜ1Ú¶Ú·Ù©Ö¶ç�Þ ì Ù�íbá�Ù©î�Ù1Ú/Þ®Ö�à¤å�é¶éÈàÖ�Ù©ç¶Ö�Ü1Ø.ç�Þ®æ�Ù1Ú1á�Ö�Ù1Ú/Þ®Ö�à ì Ù�íbá�Ù©î�Ù1Ú/Þ�Ú�àì Ù�íbá�Ù©î�Ù1Ú/Þ�Ö�àVå�é¶é¶é¶é�éôóÞRÜ1Ú¶Ú·Ù©Ö¶ç�Þ ì Ù�íbá�Ù©î�Ù1Ú/Þ®ÖEâb×·ç�Þ�å�é¶é¶é2àÜ1Ú¶Ú·Ù©Ö¶ç�Þ®æ�Ù1Ú1á�Ö�Ù1Ú/ÞVÖ�à ì Ù�íbá�Ù©î�Ù1Ú/Þ�Ú�à8âb×·ç�Þ�å�é¶é¶é¶é é_ñ

��� ��eDZ7��"! � 1B�i��7 �"�4}?DZF ���-�(�*! �%v-7 �����! ���_DZ��� �V���\����� ! �#��� ¬��� �M1������ô � ��. � ¬ �����V��� �*���wl ¬ ! �(� ���U>������"�����6! �M��� �+���X) ! �#^� �@�.��� ���"�U������������! � 1T! �$!C�E���� �"! �-�������XmX:&fZ� ��������U��W*! ��'�"�.� ��'(�V! �d��� �(>�i���, !C�*�.���"=d\^��! �X�,! �&�"��! 1�1�������M��#i������������! ��)! � 1(��� �&���������$! �$�������"���������4������D��"��!C1�1����! ��1+��� �&!C����������! ���k������.b?� ��\^ ����1������ � (!��L�?�$# :�fZ�?7 ����� ��#%�� ��\^! � 1V���� ! �#L��D�����"! ������� �T! ����������! ��� �2�@������� �*���_t

Ð ¢¤ Ìq¢ ' Ï t �� ¬Ñ ¢XÏ�Ì%¡"¢XÏ t ô � ��� � ¬ø ò Ë ¢ ò Ë ÌjÎ ò Ï tÌ��� ��ö �~� ¡1´ !@�¶µ¥* �©0���� ljõ � F ��� ½�Ëq½ Ï�¥ ò � m%�

|S��\0\5�E�"���S�����@�a��� ��'6������!C��1&��#`�&�">�����X�+�����lj�@�a��� �E�����! ��� ������imU! �(!C� �������c����! �?����?��! �������H���> G=h\^! ���K�B���� !i�M>���"#%���")'(����! ���(! �,��� �(�����?���XW*�&��#2��� �(>*������������j:d; 7��"�������'6������D[��#L���X�ö4�W*����7*�����&�����T! ����������! ���eDr��=,�"��� ��! � 14��� �g'6���"����1���D5�����+�@W?)! ��'<�"�.� ��'(��! �+!G���^���� ! �#`� �@�.��� ���"�Ux ö � ½ ��� ò Îb;^¤C¢���Í�¢ ljõ � F � mQ{_! �! � �-�.���?��!C�@�����cl%\^!G���hõ L ó ��� � F L ¬ mXDY\^!G���B�����6�������� 7 �"! ��� � �� ¬ :[fZ��! �����X��! �������a��� �S1�����e\^��!C�.�V! �2��7� =T�*!C�"�.���@��1�����:

u0����� ó ��������! ����^����! �2'6��"����1���D ��� �E����� ����@W�! ��'<�"�X����'(�+l�!�: ��:��� �]�"�.� ��'(�6! �k\^� ! �X� ó ! �S�����]�������! ����Xm2���� ����� ! � 1T���.b?� ��\^G)���*1���! ��!G���$���� ! �#Z�����.�������"��!C�S!C���-�.������!C�������4! �k��7����eD�\^!G���4��� ������ �� 7 �"! ������ ¬ :�fZ��! �E���.� ! ������ ó O �$����! 1�! ����[1�����jDe\^� ! �.��! �E! ���7����+��! �"�.������1����_:

5.4 A ReferenceImplementationpQ#�����=g!C���-�.�������E��#`���k��W*! ��'<�"�.� �'(�&! �T�����E�[C���48e! ���.�@�"=T���X)����'6���r�"��7���D���� ���6����!C�5����'&� ! ���@��!C���(��#e���� !C�X#%�^��� �(�����"!G�����5\^! �"��! 1�1���Z��>����������������[���6�����! ���6> C���e:�/2��! � �-�.��� ���^��#���� ! �`>�����)���������\^! _���S! � �-�.���?��!C�@�����g\^!G���(��� �S����?��������@��!C���T�����">������*������D�E� �\K7 � !CI�7 �a����?��������@��!C���T!C�*������! F ���l���: 1�:2÷ y����?y$! �g;Y! 1�7*���$����� ��\�mXD������g>����"�"! � G=T�"��'6�$'(��!C������� �������S1����� �]l�!�: ��:��������"�E�����1����� ��D�\^��! �X��!G#������=$�������'6�`7 ���"��7���D�\^! C?����7 �"�`��� �[! �?���X��>��������

Page 9: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

ù ¤ ½ òIø Ì ÿ ¡ ½ ¡.¥ � � F �gô � l"l) � F �U Ò F m���l) � F�Í �S Ò F�Í m"m���� � � ó �� (!��L�?�$# ljõ � ¬ �¶� ½�Ëq½ Ï�¥ ò � m��Mmo � |$ýal,�ëõ �� "!��%���$# l ó � F ��� ½�Ëq½ Ï�¥ ò � m���m@���� F �gô����Ò��� F �����²� ó ��� ¡b´ !@�¶µJ* �©0���� ljõ � F �¶� ½�Ëq½ Ï�¥ ò � m��o � |$ýal,�ëõ �� "!��%���$# l ó � F ��� ½�Ëq½ Ï�¥ ò � m���m@�� � F�Í �(ô � Ò F�Í ��� � � ó �� (!��L���,# ljõ � F�Í �¶� ½�Ëq½ Ï�¥ ò � m��

3 Ø�4�àiÕt¸_×�îEàLØ â0å5ѱ4YÔ@Ø�Ô1ùMÝqÛ�ÔTØ�Ò�Õ*â_é óeú Ø�ârûcÝQÛ Ôgö2ü�Ú6Ñié¶À ó L ö�ý

���+��� �����*���4��� �&> C����º������*�����������! ����mX:6fZ��!C�E�"!G��7 ����! ���H!C�E! 7 �-)�"�.�@�����H! �H;Y! 1�7����6�?:Tl�|S�����&�������$! ��! �$������! ������1����> ���"�E��#5���������?��������@��!C���V!C��������!GF��X��l���: 1�:9y����y@m5\^� ! �.�V! �27��"���T! �g��� � ��Î ò 7#L7 �����! ���eD*��� ��÷ > ���"�2! �^#L���2�?7 '(���g������� ��� ! ! �Q=V��� G=�: m

Ð^ÑLÒ�Ó9Ô@ÕEþ_×G¿�ÞTí$ãgÔ�ñ1ÀYÑLé�Õ*ñ�é�Ó9Ô@ÕVÚ6ÑLé¶Àhî$Ô@Û�é�Û_ñ�Û�à%æ�Ø�æ�îEàLØ âYæ

;Y! 1�7����4���� �"�B! 7 �-�"�.������(�����+!C�����������@�6��������6�����?�����������! ��� ��@���+1���! � 1����M���&��� �g����'6�(��! '6�T������� �(���\<�����*�����������! ���h! �! ��! ��!C�@�����+�����6�������������:`|S�����^�����@�a� ���a��C��������"�S�����?�����������! ��� �'(��=h� �@���T������c! � !G��!C�������M��=h��1������ ó D5! ���"��'6�+�����"����D^����������1��������[\^!C �� �����a�-�.���"�����6�$����?��������@��!C���6\^! ��� ó :`ý[���.�6�����*����")���@��! ���6! �r!C�*������! F ���&��=��S7 ��!CI?7��Z!C��������!GF��X��D����r����"��! ������! �VxGy��@{q:fZ�����"�U�@�����-�.����� �@�.�k>����.��'6��������D�#L���E�W���'6> ��D�! �k��� �]�-=*�?�.�@W��#[;Yp-��/µ/23Z8Mx ��{j:

|���\ED�! �B��� �U���W?�E����7����B��#Z��� �6! �������>����X����]�W*����7���! ���B�=*�� ��D�����E��1������2'(��=(�.� �����"�$���U>���"#L����'<�����$��#������$����'6'�7 ��! ������! ���������(������! i��� �T����!G��:h|S�����T�����@�U! �M�"��'6�g��� 1���! � 1H�����?���X������)��! ��� ��D�!G�$'(��=V���E\Z��!G��! � 1(���(�������! ���&�g'6���"����1��gl�!�: ��:_�(�">�����X�����XmZ#L����'Ã���������������1���?��:5u0� ���+�"7 �.�k�U'6���"����1���!C�^�������!C�����_D�����U�����*�����������! ���H!C��������!GF����4��=k�����*�����������! ���B!i�*������!GF���E! �����*)�����������T���&��� �$���W?���-�.�@������������.��! ��1U������� �E>���"#L����'(�@��!C���������������>�������������:�/���=+����?��������@��!C���k�-�.�����]���@��!C��� ���S�����]7 >���������������k��� �&�������������$��#5�����&'6���"����1��6��������47 >����e:]fZ� ��"�6�����! ��� ������(�� ����a�">�����!GF����6������! '6>�C�'6���������&���r> ���"�[��#�!G����½ ��� #%7 ���)��! ���e:$|�������D�� ��\Z�������D������@�S�����X����1������E����7 C�V�.� ���"�]���(!C'6>� �)'6��?�5��� ! � 1����*!G�����������G=�:

uK� ���k���4��1������S� ���$�U�.� ��! ������#[>����"�"! � �]>���"#%����'(����! �����^#L����'�����S���\w>�������������_�-�.������D*!G��� Ï¢¤C¢�� Ë5#%7�� ���! ���+�*������'6! � ���r\^� ! �X���#���� ���"�k>���"#L����'(�@��!C�����T! �T�����7 �� G=K7��"���_:�/�1���! �K��� � Ï¢¤C¢�� Ë#L7 �����! ���6'(��=����2�*! ���X�������[#L���Z��!G����������r��1���������:`pQ�[! �5����G=������)��"�����"=B���T����'6>�G=�\^!G���B�����U>�������������5�����"�X��!C>*��! ���e:(u0� ����������\Z��=$��\5����1��������e!C'6>� ��'6��������� �`! �?����?��! ��������">�����!GF����@��! ���gl��������\^!G������7��S! �?����?��! �������'6�?���� !G��! ���S���E�W*> ! ��!G��G=V����>�����"���������V���) ! �#L��D������"!G������D$�����: mXDS�������K��� ���">�����!GF�������! ���A��#]��� �4>��������������"�'(������! ���&�"����7�i�d�� �"7����U��� ���]��� �=H�����,!C���������>���.�����g�@�&����������! ���V �������: � #Y����7*���"��D���������E�����^�� �"�U���U���$���'6'6���T��1������)'6��?�����h�-=*���.��W�D5�������� ��1�=�D5�����:CDr#%���(!C���������>���.����! C!G�Q=M���U�����������������^ �������D������(��� ! �^!C�2��� ��������2'(���"����^��?��!G����G=�:

6. SUMMARY AND CONCLUSIONSfZ� �(�.��! �"���c��O �X�"���(#L���U����! �&\Z����bB\a��������� ���X���h#L�����-�.���������.�*�! ����1���?�S����'6'&7 ��!C������! ���_:^p��k>��@�"��! ��7 C����D�������>�����>����"���4;Yp-��//23Z8M�-�.���������.�_D�\^��!C �U\5�� )j#L��7 � �4#L����!G������>�> ! ������! ���d����'(��! �l�����)Q��>���.����! ���B�����-\Z����+����� �@�.��� ���"�dI�7����! ���.mg����7 C�0� ����DS\Z�����1�7 ��D �"������E���S�&�-�.���������.�(#%���S�� e��1������S��> >�C! ���@��! ��� �]xGy�Å@{q:

�+���-�S��#r�� �D�\Z�E#%��7 � �+#���7�G�S\^!G���k��� �&����! �������4! �������>����X�.����! �����#[�">�����X�����X���$���2��� �������"! ����� �]�"��'(���?��! ����:^pQ� �-�������_D�\5�]������b��7*�^��\^�V'6����! ������! ���g#L����'<|S����7*�.��e89����1�7 ��1��E7����*����-�.��� ��! � 1*D7 �"! ��1V!C�������]#i����' �+�����.��1�7 �g���.��'6'(���(xGy�}@{qD`oS!C�"���7����"�(�2��>�)�����"�����.�@��!C���VfZ�������"=�x z�{jD �����T35���?���X��������! ���+/�����G=��"! �ExGy@��{jD�������$��=*> ! �����35��'6>�7�����Z�*�!C�� ����!C�������>*����.����! ���g��#�u0!G�"��1������-����! �eO �'6����� ! � 1�)����-)q7 �"��:d;�����' ��� ! ��Dr\5�+�*������ ��>������k���\<�"��'(���?��! �#L�.��'6�\Z����b+#%���E�*���"���! � ! � 16�����]�"�'(������! ������#r� ��¤ ½ Ï.Ï ��#r/�3Z8_��D� ���`v-7 �-�2��� ��D������"���T���V>������������� ��:

/�G������7 1��]����! �������"�X��!C���������-�.���������.�]/�3Z8(�"��'(���?��! ���Y���[����! 1�� ������9��#r�����-�"�.�����! ���_De�����+��������#L�����]��� G=V#L����7 �"���4���k�W?�������������� �@�?! ��7*��De\5�6�� �"�T�"� ��\Z����� ��\»����"��! 1�� �X����\5����U��� ����C���4���������� ��>+������!G�S��\^�k! ����������! ������Y�����V��> > ! ���@��!C����)q�">�����!GF �&�">����X)!GF����@��! ��� �r#%���^! �������� �������� ���*! ��7���:[fZ� ! �Z! �5�������(������"=U1���� �X�.����� �6>��@\5��"#%7���������� ��> '6��?�['6������?�_D�#L���Z\^��! �X�(����'6> !C��� ��2����V�-�.��� � �@�.�d!C�]'6�����6�-�"�.��! 1���#L���"\Z���.�,���k�����!G#L=�:V; 7��"�������'6������D��� ��"���">����!GF����@��!C��� �T'(��=M���4'(���*�k��>����µl�> 7 �� !C��mXD2�� �@\^! ��1��� !G�.�M>����"�Q=������"! 1�������6���,���> ��=��-=*�-����'6�U��� ���(�����c! ������.���X�\^!G���k��������$��1���������D������+���'6> G=g\^!G���k�������+�����E�-�.���������.�k�������� �$��> >� !C������! ���V����I�7�! ���'6��������:

�*! ��1��ëx ��}@{E�����+�@�"��!C�7 C�������K�����k>�����>��X�"��!C��T�����@�T�h�-�.���������.�/23Z8��"����7 C��������! �-#L=�DY�����k��� ! �E>*����>�������r�"����7�i�����U������ 7��@�������1���! � �-�E�������"������I�7 !G����'6��������:¥�S��\Z������D���� �]1��� ��.��C!G�Q=4��#r��7��'6������?�M� ���(�������K�"7�� �-�.���?��!C�@��������=M!G���T��> >�C! ���@��! ���c���B#L��7*�� ����)j�"��! �?!i��9�W���'6> ����t^;Yp��_/�O Å��U/23Z80x y��@{jD@Z�[E�V8d�*����b��X�.��1��>������������� �g��� �c���c��7 ���! ����>�������������]xGy���{jD2�����h��/�3Z8`Dr���(���X)�"���! �����k! �k��� ! ��\5����bk�����k! �MxGy��@{j:$pQ�k>����"��! ��7�C����D�#%���$��� ! �SC���-�C����1�7���1��V\5�+1������V�4���#L����������4�����.� !G�������7*���+! �h�����'6�U��#���� �n5o$pr�����.� !G�����X��7�����D?\^� ! �.�T�����g>����@�?!i�*�������S�����"! �a��#Y! '6>�C�'6����)�.����! ���e:�p�������CG=�\Z�r\Z��7�C�&�"7 >�>����"�Y����! ��'6���� �?�$\^!G���&������C�[�������1������2��� 1�!C������:

fZ� �a��?��!G���Z> ���.b���1��a! ����� ���]>������! �"��G=&\^� ���[1����?�(�?��#L�Q\a�@���^ý[�*)1�! �������! � 1g#%����'&7 G��!G)Q��1���?���-=*�-����'6�S�"����7�i�4���U������7*��tS�g����'U)>����� �����"!C�� �Z�"��'(������! ����D���1��� ��.���������� ��>�'6�����Y'6������?�_D��2#%���")'(��*�">�����!GF ������! ���(C����1�7 ��1���D*�E���X#%����������2�����.� !G�������7*���2�������������"7 >�>����"��D�>����#L��.����G=V7 � �����>�! � � ���g��=T�������>��.��� �������S���V! �?���X�")���@��! ������r�-�.���������.�_:UfZ� ! �E\Z����b�� ���E������B>�����"���������H�@�];Yp-��/'6�����! ��1���D*��� �U\^� ! �������@�Z! � �-��!G��7*��!C���T� ���5���F � !G����G=6'6�@�����U! ���� �V��!G�������! ������#S>������������ �Hl%�����+7��"�V��#E~S/$�V8w! �6���">�����!C�� G=����'6'6�����*���_De��G������7 1��B�������H�������B�@�]�"��'6�U>���!C����! ����������! �������">�����!GF ������! �����$\^! C��-��! ���������I�7 !G������mXD�!G�S>����#L����S���6����.��! �4��� �s ��1����=V�-=*�-����'VO*��#[;Yp���/]O Å��&�"�'(������! ����:

ud�+�����V�.��b*! ��1�����!C�U\5����bh! ������� ��g�*!G�������! ������: � � �+�������?7 ���#&�����"���@���X�J!C�V�����B>����"�"!C��! C!G�Q=J��� ���V�����B�W*�.������1��H��#U! �������*)

Page 10: An Operational Semantics for Intentional Specifications of ...An Operational Semantics for Intentional Specifications of Agent Behaviour in Communication Protocols Jeremy Pitt Intelligent

��! ������9�">�����!GF����@��! ��� �2�����k'(��b��E�&�������"��! � 7*��!C���V���U�"�� �?! � 1U�����'6�����k1�������.��S�������� ��1�=K>*����� ��' #L���T��>����w��1������")q�����"���c�-=*�-)���'6��:[fZ� �S�"������ �T�������?7���D?����! � 1&�����! ��� =(! �?�����-��! 1��������(! �g��������\·ý53�p"�*fë>����@v-�����/S8e;�ýrnrp"p-faýaDY! �E��� �6� ����'(����! ����D9 ��1���jD�X��� ! ���� ��� �&�����?�"�.�����7��� ! �"�"7 ��r7������X��> ! � ��!C��1S��1������[����'6'�7 ��!G)������! ���g! �g'&7 G��!G)Q��1���?�[�-=*�-����'6��:`fZ��! �Z! �*�����-��! 1�����! ���g! �Z>����"�"! � �>*������! �"��G=d�������7��"�T��7���#L�.��'6�\Z����bB����� �"!C������&���������W?�&���]>��@�"���#[7 ���*����-�.��� ��! � 1U�����T!C�2� ���2>�����'(�@��7�����G=T����'6'6!G�"�����(���6����=�"! ��1� ��!C����������! ��� ��_'6�?�������#`����'6'&7 � ! ���@��! ���e:

AcknowledgementsfZ��! �]\5����b�������������d7 � ����"�.��b�����!C�H��� �U���������W?�&��#Z��� �6~¥Z$)ý[�r�*�23aº�|����"����E|����\5����b?�+#L7 ���*���K>����@v-����3Z/$�*nZ/��Nl�1��.������2�#Q:�|S��:��S�$º�89}���������mXD9�����+�����&�"7�> >����"��#i����'Ã�������"��#%7 � ��! � 1���?�*! ����! �]1��.�����X#%7 G=,���Xb?���@\^ ���*1�����:4fZ� �(����� �-�"��7����! ���(!C��> 7*���#�����C ����1�7�����D�! ��> ���"��! ��7 C�@�[/����a�V��'(� ��� !?��� ��;��.��� b��S7����! �eD! ���� �"�6� �������_:

uB�[�����r�� �"�^����"=E��> >*������!C����! ���`��#?�����['(����=S7��"�#%7����� �E����.��! C�������*! �\5���O �Y����'6'6��������D�\^� ! �.�$\Z����[���">�����!C��CG=�7��"�#%7��! �$�����?!C�"! ��1������> ��>����D9��� �4#L���E��� �&�W*���� ����������!G������!i��r�"7�> >����"�E>����@�?!C�������=(��� ��\Z����b?�"����>V����1�����!(<������:

7. REFERENCESx yX{]3�:�3Z���-����G#L�.��� �.� !�:_35��'6'6!G��'6��������tY;�����'<! ���*! �*!C�*7���! ����������!C��� �a���U1�����7 >��2�����g����1���� !(<��@��! ��� ��:�p��Iÿ]:�8_���"�"���D���*! ������D�ù ¡"ζ�.¢�¢���Ì ò Í�Ï ø�þ��+ú��������:�/�/S/�pq)��+p-f0�������"��Dy�Å�Å���:

x ��{��Y:�35��� ���V������&: 8e��������I�7 ��:*p�����������! ���T! �2�.� ��! ���$\^!G�������'6'6! ��'6��?��:*ú ¡ Ë Ì T�Ì ½ ¤ ø ò Ë ¢¤%¤ ÌCÍ�¢ ò �.¢ D ���*lq�@)Q}�mXt ��y�}¶»*���?y�Dy�Å�Å��?:

x }@{E��:�35���-��D���: 35�����eD fS:�;Y! ��!C�_D��&:�8e���*����7eD ��� � �&:��Y����1�:~S�"! ��1U���� �������V>���"��!_� ����Z#L���������?��������@��! ���V'6�?�*�� !C! ��1�:�p��;5:�o$! 1��?7 '<�����Vn2:�35� ��! ��)Q�*�.���*D ����!G��������D�ø���þ9ú2ø ½ ��� Î�¡���Ï 9 Î.£,Î ò ú Í�¢ ò ËSþ Î ¼&¼ ü ò Ì)� ½�Ë ÌjÎ òIø ½ ò Í�ü ½ Í�¢XÏ�� :�?�����.b?� ��C'VD ��\Z���*���eD_y�Å�Å�Å*:

x ��{�;Yp-��/�: ;Yp���/]O Å��&�">����!GF����@��!C���k>��@�"�$��tr/�1���?�����'6'�7 ��! ������! ���TC��� 1�7���1���:�;Yp-��/èlj; ��7 � � ����! ���T#%���p������� ! 1��������`�?=*�"! ����9/21��������.mXD���"��>et º�º��*����1���: ���"� ��: �-�����: !G�Xº@F >���º?D`y�Å�Å��?:

x ��{]�H: ;Y!C�"�����:��2��>*�����"������! � 1U�����+�XW����7���! � 1���1������")Q� ���"����-=*�-����'6��:*p��Vù ¡-ζ�X¢�¢���Ì ò Í�Ï�� þ9ú2ø�� Î�¡���Ï 9 ÎX£,Î ò ú Í�¢ ò ˪�9 ¢"Î�¡.Ìq¢XÏ�� ú ¡�� 9 Ì Ë ¢�� Ë ü?¡�¢XÏ ½ ò � ø ½ ò Í�ü ½ Í�¢XÏ D >���1����2}����¶»?}���}?:y�Å�Å��*:

x �@{]�H: ;Y!C�"�����:�pQ'6> ��'6������! � 1]n5oSpQ)q !Cb��E�-=��-���'6�a�?=g�*!G�������W*����7*��! ���e:�p��Vù ¡-ζ�.¢.¢���Ì ò Í�ÏW« ��˱9gø���þ9ú�ø ½ ���@D*>���1����}*y���»�}��?y�:�y�Å�Å��?:

x ��{���:��$�� !C�X����:�/�7*����� ��'6��7��Z���� ! �#������?! �"!C���k��� �����'6'�7 ��! ������! ���_:*p��V�Y:��$���.�*����#L������D�����!G������D�Ð ¢¤ Ìq¢ '� ¢.7�Ì%Ï�ÌjÎ ò :�3Z��'&����!C��1��E~S��!C������"!G��=T�`����"��D9y�Å�Å���:

x z@{�;5:��S7 ������� �����:�;�����'<�"��?���� �����a���6�*! �"����7*���"��t5�*��'6����">���������#Y��� �S����'6>�7��.����! ��������"�����@��'6�����^��#�C����1�7 ��1���:p��+/]: n5C���"���D ����!G������D��E½�Ë ü?¡ ½ ¤ ø ½ ò Í�ü ½ Í�¢ ½�Ë5˱9 ¢þ Î ¼ £�ü Ë ¢X¡ D ���� 7 '6�$}����U��# ø ��þ�� D�>���1�����y����¶» y�����:�*>*��! � 1��X�")�ÿ[���C��1*Dey�Å�z�z*:

x Å@{Eo�:�ZE! � ��=�D��H:��S�����1��X��D���:�nZ��! �=�D�o&:�ZE�'6>eD���� �ZU:��S��'(��'6��� ��� ���.���*:�/����! ���E�����.�������"��S�����+��1������

�-=��-���'6��t[/J����'6>�����! �"���e:�p��kù ¡"ζ�.¢�¢���Ì ò Í�Ï � ¢��.Î ò �ø ò Ë ¢X¡ ò ½�Ë ÌjÎ ò ½ ¤ � ü�¤C¢XÏ�Ì ò Ñ]½�Ëq½�ÿ.½ Ï�¢ � ¥�Ï Ë ¢ ¼ Ï � Î�¡���Ï 9 ÎX£ :y�Å�Å��?:

xGy��@{ ��:�89��������7V�����+fS:�;Y! � ! �_:��?��'(������! ���^��� �T�����?�����������! ��� �#%�������k��1����������'6'�7�� ! ���@��!C���TC��� 1�7 ��1���:�p��V�H:���7 ��� ������+�H:��?!C��1��_D�����!G��������D!� ¢ ½ ��Ì ò Í�Ï$Ì ò ú Í�¢ ò Ë Ï D�> ��1�����}��©»*�@���?:e�+����1����EZ���7�#L'(�����eD�y�Å�Å�z?:

xGy�yX{ ��:�89��������7V�����+fS:�;Y! � ! �_:��?��'(������! ���Z#%�������k��1����������'6'&7 � ! ���@��! ���gi��� 1�7���1���:�pQ�k�H:��*! � 1��eD /]:*�S����D ��� ��H:�uB����C�*��!C��1���D�����!G��������D�ø ò Ë ¢¤%¤ ÌCÍ�¢ ò Ë[ú Í�¢ ò Ë Ï ø#"_D����� 7 '6�y�}�������# ø ��ú2ø.: �*>���! ��1���"),ÿ[���C��1�D_y�Å�Å�z?:

xGy@��{]��: 8e7*��D*|&:��S!C ����"��D ��� �+o�:�;������ ! �X�_D ���*!G��������:þ Î ¼ £�ü Ë ¢X¡.Ï ½ ò � þ Î ò 7�¢X¡XÏ ½�Ë ÌjÎ ò :�/2�����*��'6! �E�`����"��D9y�Å�Å��?:

xGy�}@{��]: �+�����.��1�7 ��D����*! ������:�÷ Î�¡ ¼U½ ¤ ùT9 Ì�¤ Î�ÏÎ.£ 9 ¥ :��5�� �~S� ! ���X���"! �Q=T�`�����"��Dey�Å�����:

xGy���{$��: � ���� �D2�&:���:*��:?������7�����b�D*�����(n�:*nZ��7 ���:?�2��>*�����"������! � 1��1���?�2! ������.���X��!C���V>������������� �2! �V7 '6�:*p��Vù ¡-ζ�X¢�¢���Ì ò Í�Ïú ü Ë Î ò Î ¼ Î�ü?Ï ú Í�¢ ò Ë Ï�­�%%% :����6��>�>������]lq��������mX:

xGy@��{$��:��`!G�"�������+;5:�n5�C !G#%�'6!C����:�/A>�������������G)q�����"���V�"��'(������! ���#%����;Yp��_/�O Å���/23Z8d�����T!G���^! '6> ��'6�����.�@��!C���+! ����/�oEýa: pQ�ý^: 89��'6'(�&�����V�Y:��+�� C�*D����*!G��������D�ù ¡"ζ�.¢�¢���Ì ò Í�Ï'& ˱9ú�ø)(-ø"ú<þ Î ò Í�¡"¢XÏ.Ï :�ý[��!G�"��! �����`!G�.��1����.�*DYy�Å�Å�Å*:

xGy��@{$��:��`!G�"��D�;5:��S7 ���! �_D������V3�:��?���X��1�! ��7_:���������������C�S��� �+��� �!C����������! ��� ��_�">�����!GF�������! ��������#�'�7� ��!G)q>��@�"��=g��1�����������?��������@��! ��� �a#L����������b���.��1��������T��7����! ��� ��: p��ù ¡-ζ�X¢�¢���Ì ò Í�Ï ú ü Ë Î ò Î ¼ Î�ü?Ï ú Í�¢ ò Ë Ï�­�%%% :����6��>�>������lq��������mX:

xGy@��{$��:��`!G�"�������+/]: �V��'(����� !�:�o$���"! 1���! � 16��1����������'6'&7 � ! ���@��! ���gi��� 1�7���1�����#L���2'�7�G��! )Q��1������^�-=*�-����'6��:*p��;5:��$�@��! v��(��� �k�H:�nr��'(���_D ����!G��������D!� ü*¤ Ë Ì ��ú Í�¢ ò Ë*� ¥�Ï Ë ¢ ¼� ò Í�Ì ò ¢�¢X¡.Ì ò Í �Vú�ú+�Vú�� ½ ���D ���� 7 '6�$8_|$/2pXy�������D�>���1����y����©»�y�y���:e�?>���! � 1���"),ÿr�X��i��1�D_y�Å�Å�Å*:

xGy�z@{$��:��`!G�"�������+/]: �V��'(����� !�: /J>*������������ )q� ���"���V�"��'(������!C��#%�������k��1����������'6'�7�� ! ���@��!C���TC��� 1�7 ��1���:�p��Vù ¡-ζ�.¢.¢���Ì ò Í�Ï«& ˱9gø ò Ë ¢X¡ ò ½�Ë ÌjÎ ò ½ ¤ � Î�Ì ò Ë�þ Î ò ' ¢X¡"¢ ò �.¢�Î ò ú ¡ Ë Ì :�Ì ½ ¤ø ò Ë ¢¤%¤ ÌCÍ�¢ ò �.¢ ø���þ9ú2ø ½ ���D*>���1����^��z��¶»���Å?y�:�+����1�����),Z���7*#%'(��� �eD_y�Å�Å�Å?:

xGy�Å@{$��:��`!G�"�������+/]: �V��'(����� !�:��*��'6�S����'(����b?�a���T��� ��"��'(������! ���^��#`;Yp���/]O �^��1����������'6'�7�� ! ���@��!C���+C����1�7 ��1���:ú ü Ë Î ò Î ¼ Î�ü?Ï ú Í�¢ ò Ë Ï ½ ò � � ü*¤ Ë Ì ��ú Í�¢ ò Ë,� ¥�Ï Ë ¢ ¼ Ï Dey�Å�Å�Å*:

x ���@{]/]:*�S���6��� �k�H:��S������1����:��+�?�*�� !C��1U�.����! ��� ��9��1���?���\^! ����! �k�Un5o$pq)Q�����.� !G�������7*����:*p����*:�/� ���_D ��:�;Y!Cb�����D������ý^:����������X\a�� �D�����!G��������D�ù ¡-ζ�X¢�¢���Ì ò Í�Ï�­ ò � ø ò Ë ¢X¡ ò ½�Ë ÌjÎ ò ½ ¤þ Î ò ' ¢X¡"¢ ò �.¢&Î ò ù ¡.Ì ò �Ì £�¤C¢XÏEÎ '+- ò Îb;^¤C¢���Í�¢ � ¢Q£�¡"¢XÏ¢ ò Ëq½�Ë ÌjÎ ò½ ò � � ¢ ½ ÏXÎ ò Ì ò Í :��V����1����EZ���7*#%'(��� �eD�y�Å�Å*y�:

x �?yX{]/]:*�S���6��� �k�H:��S������1����:�n5oSpZ��1���������tZ;*����'·���������"=g���>��.���X��!C���:�pQ�Iÿ&:�8_���"�"���D�����!G������D�ù ¡-ζ�.¢.¢���Ì ò Í�Ï ø�þ��Vú������:/S/S/2p5�������"��Dey�Å�Å��?:

x ����{�o�:��*���*��b�: /A�-��7��?=T! �g��� �E ��1�!C����#�! �?����?��! ���e:�p��ù ¡-ζ�X¢�¢���Ì ò Í�Ϩ¯�¡�� þ Î ò ' ¢X¡�¢ ò �.¢�Î ò ù ¡.Ì ò �Ì £�¤C¢XÏEÎ '- ò Îb;^¤C¢���Í�¢ � ¢Q£ ¡�¢XÏ¢ ò Ëq½�Ë Ì�Î ò ½ ò � � ¢ ½ ÏXÎ ò Ì ò Í/. -�� ½ � ­10 D>���1����^�����¶»�����}?:e3Z��'��*��!C��1���D��V/�Dey�Å�Å���:

x ��}@{&�H:��?!C��1��_:�/21������^����'6'�7 ��! ������! ���gC����1�7���1�����t�������! � b?! � 1&�����$>���! ����! > ����:�ø �*�2� þ Î ¼ £ ü Ë ¢X¡ D�> ��1��������»�����DYy�Å�Å�z*: