27

J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

������� � ��� ��������������������������� �!#"����%$&�'�(�*)+�����(,-�.��/103254'687:9�;=<?>

@(A 6B4DC-EF9HGIEFJLK.EF4�MN2'7PONGNQR0SOUTWVYX A 0�Z�[]\.^H_a`Fb�\�J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX�X�030Fj

klEFJ86hmin A EFJBJ8E=T#odpqQR7:Jh0�rsE=X'6h7:9IEFJh0�^PGdML0325680SGd2'0st�uv689NcF0S9N6h0SGd2(Od0S4e.7:9I4�X�25GNQRX'6h7:9I4DZ�032'7:9IEFGdX'68wWGd0S4

ZxOd0SJh0zys7{K.0}|~e�7:Jh7F25EFOd7}^PX'E=X�0��s9I6h�F03254'6hXaVd�e�25EF6hc-�z9d7FT&Jh7WQ5m&od['^W[tx2'03K!k+Q3tx0325C-7FX�X�|�Q A EF6h2���|��qEFJh0��s9N68�F03254'6hXaVd�Zx4 A K�689��sEFC�|~nx037F2'c:6BE @ 0SQ A �x9N6h�F0325456hX�VN�klEF9WGd0SJ8Eg/10SJh7:4'7+|~e�E=259d03c:680�k�0SJBJh7:9��s9I6h�F03254'6hXaVd�t�EF9N680SJ���0SJ8O�|��x9N6h�F0325456hX�V}7F����EF4 A 689dcFX�7:9��t�E{�W68O���6BJhmW6B9N4�|~^P�(['�

[%XDK.EF4�TIEF4�0SO�7:9�X A 0z��eD\.��\�J8EF9dc:GNE=cF0zC-EF9WGNEFJ�odK�256hX�X�0S9�TWVYX A 0z��7:JBJh7{K�6B9dc2'0S4�0SE=2�Q A 03254���257:C�X A 0z�x9N6h�F03254'68X�V}7F����EF4 A 689dcFX�7:9�j

Zx9HX A 7:9�V���E=2'2'03X�X3o�t�ES�F0�e A 25684�X'6BEF9N4�7:9�oPk+E=2�Qz�d256h0SOIC-EF9�o&e A GN9dc-��K.7Fm�o�z0S6hX A nx7:J8ON0S9�o&^PQR7FX�X�\�0S9HT�0325X A VFoIt�E{�W68O+p�^PCf6hX A oW��6B9dcY^PGN9�o  txEF9I6h0SJ���0SJ8O

e.7:9HX'EFQRXstx2'03K¡klQ3tx0325Cg7FX�Xg|�Od2'03Kz<vCfQ3Od0325Cg7FX�X�¢xV:EFJ80F<£0SONG&�.K�68X A QR7:C-Cg0S9HX'43<

�qEFJh0�e.0S9HX�032��¤7F2xe.7:C-MIGdX'E=X'6h7:9NEFJL/�684'687:9�EF9NO+e.7:9HX�2'7:J@ 0SQ A �(03ML7F2'Xse./se @ �D_a`Fb¥_�¦F¦:§:¨©tze(^ @ �D_5;F;SªF«

��QRX�7FTL032So#;S`F`Fb

¬®­.¯{°F±:²�³W°@(A 6841C-EF9WGNEFJdOd0S4'QR2568T�0S4�X A 0s4�VW9HX'E©´g7F��µs¶g¶g·DoHX A 0(\qJBEF9N9N689dc�tx7:C-EF689-tx0R¸&9I6hX'6h7:9g¹ºEF9Nc:GNE=cF0Fo

X A 0}MN2'7FTIJ80SC�_�4�ML0SQ36»¸&Q3E=X'6h7:9¼J8EF9dc:GNE=cF0U�¤7F2�X A 0UZs[]\.^H_a`Fb�MIJ8EF9N9I689dc�QR7:CgML03X'6hX'687:9�< @�A 0}JBEF9dc:GNE=cF0A EF4�2'7:Gdc A JhV�X A 0UX A 0}0R´WMN250S4'4'6h�F0S9d0S454�7F�x\�0SON9NEFGNJhX3uv4�Zxt�¹¾½»;3¦=¿D��7F2�MN2'7FML7:4'68X'6h7:9N43o�EF9NOÀ2'7:Gdc A J8VX A 0�0R´PMN2'0S4'456h�F0S9d0S4'4D7F���xk®e�\!½£ª¥¿º�¤7F2�EFQRX'6h7:9N43<���Gd2 A 7FML0z684�X�7g0S9NQR7:Gd2�E=cF0�0SCgMI682568Q3EFJ&03�©EFJ8GIE=X'6h7:97F�DMIJ8EF9I9d032zML032'�¤7F25C-EF9NQR0Fo�EF9NO�Od03�F0SJ87FMICg0S9HX�7F�(4�X'EF9NOIE=25O�4�03X'4�7F�DMN2'7FT&Jh0SC-4�EFJ8J�689�QR7:CgMIE=2�E=TIJh09d7FX'E=X'6h7:9I43<

Page 2: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

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

@(A 6B4ºC-EF9WGNEFJPOd0S4'QR2568T�0S4 X A 0�4�VP9�X'E©´Lo�EF9NO�oFJh0S454 �¤7F25C-EFJBJhVFo¥X A 0�4'0SC-EF9�X'6BQ343oF7F�IX A 0�\qJBEF9N9N689dcsts7:CfEF689tx0R¸&9N6hX'687:9�¹ºEF9dc:GNE=cF0}|~µ�¶g¶g·���< @(A 0zJBEF9dc:GNE=cF0�4'GNMNML7F2'X'4.X A 0z�¤7:J8Jh7{Ks689dcg4�VP9�X'EFQRX'68Qz��0SE=X'Gd250S43j

� ��EF4'6BQ�^ @ ��[%\�^H_�4�X�VPJh0�EFQRX'6h7:9N4� e�7:9NON6hX'6h7:9IEFJ&0��L0SQRX'4� �x9N6h�F032�4'EFJ�wWGNEF9HX'6»¸&Q3E=X'6h7:9�7¥�F0321OdVW9IEFC-68Q1GN9N68�F03254�0S4q|��������8o©7FT���0SQRX�QR250SE=X'6h7:9�EF9NO�Od0S4�X�25GIQRX'6h7:9&��o� tx7:C-EF6B9iE©´P687:C-4(7¥�F032s4�X�25E=X'6h¸I0SO�X A 037F25680S43o� ^PM�0SQ36h¸&Q3E=X'6h7:9U7F�14'E=�¤03X�V�QR7:9N4�X�25EF6B9�X'43<� ^PM�0SQ36h¸&Q3E=X'6h7:9U7F� A 6h0325E=2�Q A 68Q3EFJ�EFQRX'687:9N4(QR7:CgML7:4�0SO�7F�14'GNTIEFQRX'6h7:9N4DEF9NO�4'GdTNcF7:EFJ84S<� klEF9NE=cF0SCg0S9HX�7F�1C�GNJhX'6hM&Jh0sMI2'7FTIJh0SC-4�689�C�GNJhX'68MIJh0�Od7:C-EF689N4DGI4'689dcgON6 �L0325689Nc�4'GNTI4�03X'4�7F��J8EF9P_c:GIE=cF0f�¤0SE=X'Gd2'0S4Y|¤X�7l4'GdMNML7F2'X�4 A E=2�689dcU7F�DOd7:C-EF689N4�EFQR257:4'4�OI6 ��03250S9�X�MIJBEF9N9d03254xX A E=X A EF9NONJh0�=E=2'VP689dc-Jh03�F0SJB4D7F� 0R´PMN2'0S454'6h�F0S9d0S4'4���<µs¶g¶g· 684D6B9�X�0S9NON0SOUX�7-0R´WMI2'0S4'4DX A 0"!]M A VP4'68Q34�#�7F�1EgOd7:C-EF6B9�oPX A E=X�6843oPK A E=XDMN2'0SON68Q3E=X�0S4(X A 032'0

E=2'0Fo�K A E=X�EFQRX'6h7:9N4�E=2'0YML7:4'456hTIJh0Fo#K A E=XzX A 0}4�X�25GNQRX'Gd250-7F�(QR7:CgML7:GN9NO¼EFQRX'6h7:9N4�6B43o�EF9IO�K A E=X�X A 00��L0SQRX'4-7F�sEFQRX'687:9N4gE=2'0F< k�7:4�XgM&J8EF9N9d03254�2'0SwWGN6h250Y689 EFONON68X'6h7:9 4�7:Cg0UmW6B9NOÀ7F�$!�EFOd�P68QR0Fo%#¼X A E=X-6843oEF9N9d7FX'E=X'687:9N4�E=T�7:GNX�K A 6BQ A EFQRX'6h7:9N4xX�7}GI4�0�6B9�E=X�X'EF689N6B9dcYK A 68Q A cF7:EFJ843oL7F2�689�Q3E=252'VW6B9dcf7:GdXxK A 6BQ AQR7:CgML7:GN9NOlEFQRX'6h7:9N4SoLGI9NOd032xK A 68Q A Q36h2�Q3GNC-4�X'EF9NQR0S4S<���0 A ES�F0g0S9NOd0SE{�F7F2'0SO®X�7UMN2'7¥�W68ON0�9d7UEFOd�P68QR0E=X�EFJ8JºEF4xMIE=25Xs7F� X A 0gµs¶g¶g· 9d7FX'E=X'6h7:9&�X A E=Xs0R´PMIJ8EF689I4(X A 0gEFJ8Cg7:4'X�ML032'�F03254�0�EFGd25EY7F�q9d0SGNX�25EFJ86hXaV4'Gd252'7:GN9NON6B9dcDX A 0D9d7FX'E=X'6h7:9gE=X1�=E=256h7:GN4 MIJ8EFQR0S4S<�Zx4�E�2'0S4'GNJ8Xº7F�IX A 684�9d0SGdX�25EFJ868X�VFo:EFJ8Cg7:4'X�EFJ8JWMIJBEF9N9d03254K�68JBJ12'0SwWGN6h2'0-0R´PX�0S9NON6B9dciX A 0U9d7FX'E=X'6h7:9�o�TIGNX�03�F032'V�M&J8EF9N9d032zKs68J8J1K�EF9�X�X�7l0R´WX�0S9NO 6hX�689�ON6'��032'0S9HXK�ESVP43<pq�F0S9YKs6hX A EFOd�P68QR0xJh03��X�7:GdX3oPK�0�EF9HX'68Q36hMIE=X�0sX A E=X��¤03K MIJ8EF9N9N032541K�68JBJ A EF9NONJ80(X A 0�0S9HX'6h2'0zµ�¶g¶g·

J8EF9dc:GIE=cF0F<�ys0S9NQR0DK.0 A ES�F0��¤EFQRX�7F2'0SO-X A 0(J8EF9dc:GNE=cF0(6B9�X�7�4'GdT&4�03X'4�7F�I�¤0SE=X'Gd2'0S43oWQ3EFJ8Jh0SO)(���*,+���(-�,./��021�3�<p �F0325VYOd7:C-EF6B9YOd0R¸�9d0SOYGI4'689dcgµ�¶g¶g· 4 A 7:GNJ8OYOd0SQ3J8E=2'0�K A 6BQ A 2'0SwHGI6h2'0SCg0S9HX'4�6hX.EF454'GNCg0S43<1Z¡MIJ8EF9P_9d032�X A E=XzOd7W0S4�9d7FX A EF9NOIJh0�E}c:6h�F0S9®2'0SwWGN6h250SCg0S9�X�Q3EF9�X A 0S9®4�mP6hM®7{�F032�EFJ8J�Od0R¸&9N6hX'687:9N4�QR7:9N9N0SQRX�0SOK�6hX A E�Od7:C-EF6B9gX A E=X�ON0SQ3J8E=2'0S4 X A E=Xq2'0SwWGN6h2'0SC-0S9�X3oWEF9NO-K.7:9�u£Xq03�F0S9 A E{�F0�X�7�QR7FM�0�K�6hX A 6hX'4�4�VP9�X'E©´L<µs¶g¶g· 6B4DOd0S4'QR0S9NOd0SOi��2'7:C 4�03�F0325EFJ#�¤7F2'03TL0SE=2543j� Zxt�¹�½»;3¦F¿� @�A 0�^W[]\qp1_a>��¤7F25C-EFJB684'C ½»;S>©¿� @�A 0z\ 2'7PON6hcFVH_54d<v¦g�¤7F25C-EFJ86B4'C ½£§©¿� @�A 0z�sk�e�\ ��7F25CfEFJ8684'C ½£ª©¿� @�A 0z�s9NM�7FM��¤7F25C-EFJB684'C ½£b¥¿� EF9IO�oNCg7:4�X�OI6h2'0SQRX'JhVFodX A 0z��e�\���\ �¤7F25C-EFJ86B4'C ½£>©¿��GN2 A 7FML0x684qX�7�0S9NQR7:GN25E=cF0�4 A E=25689Nc�7F�#MN257FTIJh0SC-4�EF9NOYEFJ8cF7F256hX A C-4SoWEF4.K.0SJ8J&EF4.X�7gEFJ8Jh7¥KCg0SEF9P_

689dcF��GNJ#QR7:C-MIE=25684�7:9�7F� X A 0�M�0325��7F25CfEF9NQR0�7F�1MIJBEF9N9d03254D7:9lON6 �L032'0S9HX�MN257FTIJh0SC-43<(Z M&E=2'X'68Q3GNJ8E=2�cF7:EFJ684�X�7YMN2'7{�P68Od0�E-9N7FX'E=X'6h7:9��¤7F2�MN2'7FT&Jh0SC-4.X�7-TL0zGN4�0SOi6B9UX A 0zZ�[]\.^W_a`Fb�MIJ8EF9N9I689dc�QR7:9�X�0S4�X3<

;

Page 3: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

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

@ 7ic:6h�F0fE���ES�F7F2�7F�.X A 0fJ8EF9dc:GNE=cF0Fo�QR7:9N4'6BOd032z\�0SON9NEFGNJhX3uv4z�¤EFCg7:GI4z0R´dEFCgMIJh0�½£`©¿.689��F7:J8�W689Nc}X�2�EF9N4]_ML7F2'X'E=X'6h7:9�7F��7FT���0SQRX'4�T�03XaK�030S9 A 7:Cg0fEF9IO�K.7F2'm�GN4'689dc�E�TI256h03��Q3EF4�0-K A 7:4'0g0���0SQRX'4�689H�F7:Jh�F0-TL7FX AGN9N68�F03254'EFJ1wWGNEF9�X'6h¸&Q3E=X'6h7:9 |�������7FT���0SQRX'4�E=2'0}Cg7{�F0SO���EF9NO�QR7:9ION6hX'6h7:9NEFJ�0��L0SQRX'4U|�� ��X A 03V�E=2'0f6B9N4'68Od0X A 0xTN256h03��Q3EF4�0sK A 0S9f68X�684�Cg7{�F0SO&��< @(A 0sON7:C-EF689f6B4�Od0S45QR256hTL0SO-689fX�0325C-4�7F�#X A 2'030�EFQRX'6h7:9}4'Q A 0SCfE=X'E|�4 A 7¥K�9 TL0SJh7{K���< ��0�0S9NQ3E=MI4'GNJBE=X�0lX A 0S4�0�4'Q A 0SCfE=X'E THV�Od0R¸&9N689Nc�X A 0�Od7:C-EF6B9�EF9IO�JB684�X'689dcÀ6hX'42'0SwWGN6h2'0SC-0S9�X'43<

������� �"!#�$���&%"')(*�"!,+&-.�/�0�#12(#32��425*%0- 6/�)7�#89-*�0:/;<�=-*�"')�2!&>)3?8@3">�-.�BAC3D8E��:2;#(&6&��>�FG8H>�F0A)�"! IJ8�1/%�! � ��>.�2%2! (&6�40�����&� 1=>)3�7�#89>�F/A#�#3K6�% 12(0>#�/%2!LA�M*F.32%�+N7�#8O1/%�!C3=>&(2!&>)3P��QR4SA�M*F.32%�+N7�7�#8TA*-&���#��1/(/>*�#3U�@(/>WV2XY4KA�M&F)3�%2+PV06Z4Z60% 12(0>.�2%2!C7

�[�B!PV2X\V�FR4SA�M*F)3�%2+C7�7

]�]�]

Z Od7:C-EF689#uv4x4'03X�7F�q2'0SwWGN6h2'0SC-0S9�X'4�EFJ8J87{K EUMIJ8EF9N9N032xX�7iwWGN68Q5mWJ8ViX�0SJ8J�6h��68Xx684�JB6hmF0SJhViX�7�TL0�E=TIJh0X�7 A EF9NOIJh0sX A 0�ON7:C-EF689�< �d7F2�0R´PEFCgM&Jh0FoPX A 684.�F03254'6h7:9U7F� X A 0�TN256803�¤Q3EF4�0�K.7F25J8O}2'0SwWGN6h2'0S4�QR7:9NOI6hX'6h7:9NEFJ0��L0SQRX'43o(4�7�E�4�X�2�EF6hc A XU^ @ �([]\.^W_~2'03MN2'0S4�0S9HX'E=X'6h7:9 MIJBEF9N9d032�K�7:GIJ8O 9d7FX-TL0iE=TIJh0�X�7 A EF9NONJh0�6hX3< ZmF03VWK�7F25OU|�4�VPC�TL7:JH4�X'E=2'X'689dc�K�6hX A EsQR7:Jh7:9&��GI4�0SOz689�E 8H-&��:2;<��-&�='.�2!*>.3 ¸I0SJBO�684#Q3EFJBJh0SO�E (-� *,+�� (���./�,021^ �`_ &NX A 0�Od7:C-EF689�6B4D4'EF68O�X�7ba �Oc[�d� (����$(-� *,+���(-�,. �,021)�fe (.X A E=Xg�&E=cd<ZxJ8J(Od7:CfEF689N4-689IQ3J8GNOd0UE��¤03K TIGI68JhX]_�689ÀX�VWML0S43oD4'GNQ A EF4 %2+#h�� 1=> |�EF9�V 7FT �]0SQRX���o(EF9NO !�;0'&+#�0- <

k+7:4�XgOd7:C-EF689N4�Od0R¸&9d0}��Gd2'X A 032�X�VWM�0S4So 4'GNQ A EF4 6�%*1/(/>.�/%�! EF9NO A�M*F)3�%2+ |�!]M A VP4'68Q3EFJ.7FT���0SQRX�#���689X A 684DON7:C-EF689�<Z QR7:9I4�X'EF9�X(6B4�E�4�VPC�TL7:J&X A E=X�K�68J8J A ES�F0�X A 0�4'EFCg0�Cg0SEF9I689dc�6B9YEFJ8J&MN2'7FT&Jh0SC-4.689fX A 684�ON7:C-EF689�<

[]9 X A 684YQ3EF4�0 Qji X A 0+TN256h03��Q3EF4�0 i 684Y4'GNQ A E�QR7:9I4�X'EF9�X3< |�ZsJ8X A 7:Gdc A K�0lQR7:GNJ8O A ES�F0®E�XaVHML0+*-#�/�0�#1/( 32� oWK.0�Od7:9�u£X(9d030SO�6hX3oNTL0SQ3EFGN4�0�X A 03250Fuv4(7:9NJhVY7:9d0zTN2�6h03�¤Q3EF4'0F< �[]9N4'68ON0+X A 0�4'QR7FML0®7F��EÀON7:C-EF689 Od0SQ3J8E=25E=X'687:9�os7:9N0®4'M�0SQ36h¸I0S4}X A 0�EFQRX'6h7:9 4'Q A 0SC-E=X'E �¤7F2�X A 0

Od7:C-EF6B9�<

�#8E( 1=>.�/%�!k')%/l 4=+8TA#(0-&(='.�0>*�/-)3W�[V['?V06Z4m6�%*1/(0>#�/%�!N78TA*-*�*1/%�! �#�=>.�2%2!n�@(2!*�n�@(/>ZQUV`'o7p�E!#%/>���qWV`'?V/6#7�7�78E������� 1=>n�@(�! ����(0>L+PV06 7p�r! %0>s�@(/>ZQWV`'t7�7

�O�&%0-&(&6�6$�[V�u)7�r5�M �2!J��(2! ���f�"!PV�u)7p�r! %0>��Oq\V2uZQ<7�7�7

��(2! ����(0>WV�u\V06#7p�E!#%/>��@(/>WV2u\V`'t7�7�7�7�7�7,7

@(A 684�4�ML0SQ36»¸I0S4�X A E=X�X A 0gTN256h03��Q3EF4�0-Q3EF9�T�0gCg7¥�F0SO��¤2'7:C J87WQ3E=X'6h7:9 V`' X�7�Jh7PQ3E=X'6h7:9 V06 o#K A 032'0X A 0z4�VPC�T�7:JB4.4'X'E=2'X'689dcgK�68X A wHGd0S4'X'6h7:9�C-E=2'mP4DOd0S9d7FX�0��=E=2568E=TIJ80S43< @(A 0�MN2'0SQR7:9ION6hX'6h7:9N4�ON6BQRX'E=X�0�X A E=XX A 0DTN2�6h03�¤Q3EF4'0�C�GN4�X 6B9N6hX'68EFJ8J8VxTL0D689�X A 0(4�X'E=25X'689dczJh7PQ3E=X'6h7:9��¤7F21X A 0(EFQRX'6h7:9gX�7zTL0DJh03c:EFJdEF9NO�X A E=Xq6hX168468J8J803c:EFJdX�7�X�2'V�X�7�Cg7{�F0sX A 0�TN2�6h03�¤Q3EF4'0(X�7�X A 0�MIJ8EFQR0�K A 032'0(6hXq6B4 689N6hX'6BEFJ8JhVF< @�A 0D0���0SQRX.0SwWGNE=X'6h7:9f45ESVP4X A E=X�X A 0fTI256h03��Q3EF4�0YCg7¥�F0S4�X�7l6hX'4�Od0S4�X'6B9NE=X'6h7:9�o�684�9N7+Jh7:9dcF032�K A 03250f6hX�4'X'E=2'X�0SO�o EF9NO�03�F032'VHX A 689dc689N4568Od0xX A 0zTN256803�¤Q3EF4�0z6B4DJ86hmF03K�684'0�C-7{�F0SO�<

>

Page 4: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

�#8E( 1=>.�/%�!,A�;&> 4&�"!8TA#(0-&(='.�0>*�/-)3W�[V�XY4kA�M*F.32%2+WV06Z4Z6�%*1/(/>.�/%�!N78TA*-*�*1/%�! �#�=>.�2%2!n�r!#%/>���qWV�X,Q<7�78E������� 1=>n��50M#��!G�@(2!*�n�@(/>WV2XWV06 7P�@(/>ZQUV06#7�7

�[�"!PV�X)7�7,7

@(A 684gEFQRX'6h7:9 ON0R¸&9N6hX'6h7:9 4�ML0SQ36»¸&0S4�X A 0�0���0SQRXY7F��MIGdX�X'689dc�4�7:C-03X A 689dc |�9d7FXfX A 0iTN256803�¤Q3EF4�0�| Q �6hX'4�0SJ8��� �U689N4'6BOd0�X A 0�TN256h03��Q3EF4�0F<�[%�1X A 0�EFQRX'6h7:9®684sE=X�X�0SC-MNX�0SOlK A 0S9iX A 0�7FT���0SQRX�684s9N7FXxE=XxX A 0�4'EFCg0MIJ8EFQR0f| V06 ��EF4DX A 0zTI256h03��Q3EF4�0FodX A 0S9�X A 03250�684D9d7-0��L0SQRX3<

�#8E( 1=>.�/%�!m>*(�� ��4�%2;&><78TA#(0-&(='.�0>*�/-)3W�[V�XY4kA�M*F.32%2+C78TA*-*�*1/%�! �#�=>.�2%2!n�r!#%/>���qWV�X,Q<7�78E������� 1=>n�r! %0>s�f�"!PV2X.7�7Z7

@(A 0�¸&9NEFJ�EFQRX'6h7:9�MN2'7{�P68Od0S4DE-K.E{V}X�7f2'0SCg7{�F0�4�7:Cg03X A 6B9dcg��257:C�X A 0�TN256803�¤Q3EF4�0F<\�0SON9NEFGIJhX3uv4�0R´PEFCgM&Jh0�MI2'7FTIJh0SC!4'GdMNML7:4�0SO�X A E=X1E=X A 7:Cg0.7:9d0 A EFO�E�ON68QRX'6h7:9IE=2'VzEF9NO�ExTN256h03��Q3EF4�0

K�6hX A E�MIESVPQ A 0SQ5m}6B9N4'68Od0(68X3< �NGd2'X A 032�Cg7F2'0FoP4'GdMNML7:4�0sX A E=X�K.0xK�684 A 0SOfX�7 A ES�F0�X A 0�ON68QRX'6h7:9IE=2'V-EF9NOTN256803�¤Q3EF4�0�E=X�K.7F2'm&o&TIGdXDK�EF9�X�0SO+X�7fmF0303MlX A 0�MIESVPQ A 0SQ5m�E=X A 7:Cg0F<���0�Q3EF9�4'M�0SQ368��V}X A 0�M&J8EF9N9N689NcMN2'7FT&Jh0SC�EF4D�¤7:J8Jh7{Ks43j

������� �"!#�$�rA*-&%2+#6��='YI&�/> 4�A ( ���)7�#8H�&%='.( �B!L+*-#�/�0�#1/( 32��425 %/- 6/�)7�#8O�"!<�=>��rA#6�(*1/�KM %=')�#7P�rA#6�(*1/�Z%����#��1/�.7

�@%�+#h�� 1�>SAN7p�@%�+#h�� 1�>,�)7p�@%�+#h�� 1�>S+N7�@(/>ZQLM#%"')�.7p��(0>��LM %=')�#7P�@(/>��ZM#%='.�.7P�f�"!��)7�7

�#8HI&%�(�6$�@(�! ����(0>ZQY%����#��1/�.7U�@(0>��R%0��� ��1/�#7P�@(/>��LM#%"')�.7�7�7�7

��9N0-QR7:GNJ8O®X A 0S9�6B9��F7FmF0fEUM&J8EF9N9d032�TWV+XaVHMI6B9dci4�7:Cg03X A 6B9dc�J86hmF0 ��I0-*(�A�M.4=A.60(2!�I&�/> 4=A#( ���)7 <@(A 0�M&J8EF9N9d032DQ A 0SQ'mP4�X�7f4'030�6h��6hX(Q3EF9 A EF9NOIJh0�X A 0�Od7:C-EF6B9U2'0SwHGI6h2'0SCg0S9HX'4DEF9NOi6h��4�7doNMIJBEF9N43<

� � � � �)� �������� � �<� � � ���

��Gd2(9N7FX'E=X'6h7:9�684DEF9�p1´PX�0S9NOd0SOi��rx� |�pq��rs� �DK�6hX A X A 0z�¤7:J8Jh7¥K�689dcgQR7:9H�F0S9�X'687:9N43j

� p�EFQ A 25GNJh0�684D7F��X A 0z�¤7F25C� 3�� 021 �0c 1 �Tc �f� ��./��021�� 8�8Eq �����&� 0 3 � e 0I<

� Zx9dc:Jh0�TI25EFQ'mF03X'4xOd0SJ868Cf6hX.9IEFCg0S4(7F��4�VP9�X'EFQRX'68Qz0SJh0SCg0S9HX'43<

� ^dwHGNE=250�TN25EFQ5mF03X'4g|���EF9NO��d�D4'GN2'2'7:GN9NOi7FMNX'6h7:9NEFJ C-E=X�032568EFJ�<D� A 0S9+EY4'wWGNE=2'0�TN25EFQ'mF03X A EF4xE45GdML03254'QR256hMIX�0SOY250SwHGN682'0SCg0S9HX ��E=cdoI4'GNQ A EF43j

� �#8H>�F0A �#3 ]�]�] 7 ����� �! #"�$&%�')(

68X�Cg0SEF9N4�X A E=X.X A 0sCfE=X�032568EFJI6B4�689IQ3J8GNONE=TIJ80.7:9IJhVg6h�LX A 0sOd7:CfEF689-TL0S689dc�Od0R¸&9d0SO A EF4qOd0SQ3JBE=2'0SOE-2'0SwHGI6h2'0SCg0S9HXD��7F2�X A E=Xg�&E=cd<.^P030�^W0SQRX'6h7:9�;S«W<

§

Page 5: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

� ^d68C-68J8E=2�JhVFo�X A 0f4�VPC�T�7:J 8�8Eq C-ESV�TL0-4'GdML032545QR256hMNX�0SO®K�68X A E�2'0SwWGN6h2'0SC-0S9�X ��E=cdo�689ION68Q3E=X'689dcX A E=X(X A 0z0R´PMIEF9N4'687:9�684�ML7:4'4'6hTIJ80s7:9NJ8V}6h� X A 0�Od7:CfEF689 A EF4(Od0SQ3JBE=2'0SO�X A E=Xg��E=cd<

� Zx9iEF4�X�032�684�m�|��:��C-0SEF9N4 !��3032'7Y7F2�Cg7F2'0z7F��#�&&EgMIJ8GN4�|��d��Cg0SEF9N4/!]7:9d0�7F2�C-7F2'0�7F�a<%#

� ^P7:Cg0g4�VW9HX'EFQRX'68Q�0SJh0SC-0S9�X'4�E=2'0�MIE=2�EFCg03X�03256��30SO�<�p(<£cd<ho � 6&�&3">s�`3=F�'*+ %&6#7 �YC-6hc A X�Od0S9d7FX�0-EJB684�X(7F� 4�VPC�T�7:JB43oNK A 03250�X A 032'0�684�EF9lpq��rx� Od0R¸&9I6hX'6h7:9��¤7F2 � 6*��3=>�� �}EF9NO+EYOd0R¸�9N6hX'6h7:9U�¤7F2� 3=F�'*+ %&6 �d< @(A 0��¤7F25Cg032sC-6hc A X(Jh7H7FmUJ86hmF0

� 6*��3=>� � 8�8Eq��� � 7

4'7-X A E=X�E-JB684�X�7F��4'VWC�TL7:J84D684��'GN4�X � � 3=F�'*+#%�6 ��� 7 <

� ��25ON689NE=25VfMIE=2'0S9HX A 0S4'6B4(E=2'0�EF9�0S4'4�0S9HX'68EFJ#MIE=25XD7F��X A 0�4�VP9�X'E©´iK.0�E=2'0�Od0R¸&9N689Nc�EF9IO A ES�F0�9d74'0SC-EF9�X'6BQ34�689UX A 0�pq��rs� C-03X'E-J8EF9dc:GNE=cF0F<Zx4 K.0s4'EF6BO-689Y^W0SQRX'687:9+;=odµ�¶g¶g·À684 6B9�X�0S9NON0SOgX�7�0R´PMN2'0S4'4q7:9NJhV�X A 0(M A VP4'68Q3417F�#E�Od7:C-EF689�oWEF9NO

K�68JBJ#2'0SwWGN6h2'0�0R´WX�0S9I4'6h7:9+X�7}2503MN2'0S4�0S9HX�X A 0�4'0SE=25Q A _�QR7:9HX�2'7:J EFON�W68QR0�X A E=X�Cg7:4�XxMIJ8EF9I9d03254x9d030SO�<���02'0SQR7:C-C-0S9NO�X A E=X�EFJ8J.4'GNQ A 0R´PX�0S9N4'687:9N4�7FTL03V�X A 0}�¤7:J8Jh7{Ks689dc�QR7:9H�F0S9�X'687:9�jfZx9�0R´PX�0S9NOd0SO µ�¶g¶g·0R´PMN2'0S4'4'687:9�684zEF9¼7F25ON6B9NE=2'V�µ�¶g¶g·�0R´PMN2'0S4'4'687:9�K�6hX A 4�7:Cg0Y45GdTL0R´WMN250S4'4'6h7:9N4�7F�DX A 0f�¤7F25C �� ���

� 7 o�K A 032'0 � 684�EF9®GN9N0R´WX�0S9NON0SOlµ�¶g¶g· 0R´WMN250S4'4'6h7:9+EF9NO � 684�4�7:C-0�EFOd�P68QR0F< @(A 0 ! � � #�9N7FX'E=X'6h7:9689NOI68Q3E=X�0S4ºX A E=X1K�0DE=2'0DEF4'QR0S9NOI689dc�X�7zE !�Cg03X'E #�J803�F0SJ�< @�A 0�K.7F25O !]0R´PMN2'0S4'4'687:9�# A 032'0�684�689�X�0325MN2'03X�0SOEF4 !�EF9HV�MIE=2'X�7F�qEiµs¶g¶g· 0R´PMN2'0S4'4'687:9�X A E=Xz6B4�0S6hX A 032�EU4'6B9dc:Jh0�4'VWC�TL7:J 7F2�EF9®0R´PMN2'0S4'456h7:9�7F��X A 0�¤7F25C � ]�]�] 7 <%# �d7F2�689N4�X'EF9NQR0Fo�X A 0fON0R¸&9N6hX'6h7:9®7F� ')%0l*4�+ c:68�F0S9�E=TL7{�F0UC-6hc A XzTL0g0S9 A EF9NQR0SO���7F2�EMIE=2'X'6BQ3GNJ8E=2DMIJ8EF9I9d032�X A GN4Sj

�#8E( 1=>.�/%�!k')%/l 4=+8TA#(0-&(='.�0>*�/-)3W�[V['?V06Z4m6�%*1/(0>#�/%�!N78TA*-*�*1/%�! �#�=>.�2%2!n�@(2!*�n�����P�@(/>ZQPV['o7

��I�%�(&6�4/>�F0A#� 8�(*1"M<�2�0l&(2+.60�.7�7�����P�r! %0>s��q\V['?V06 7�7

��I�%�(&6�4/>�F0A#� 8 � �06/>&�0-)7�7�78E������� 1=>n�@(�! ����(0>L+PV06 7p�r! %0>s�@(/>ZQWV`'t7�7

�O�&%0-&(&6�6$�[V�u)7�r5�M �2!J��(2! ���f�"!PV�u)7p�r! %0>��Oq\V2uZQ<7�7�7

��(2! �������P��(0>WV2u\V/6#7D8TA*-.�[')(/-�F 40�����&� 1=><7�����P�E!#%0>n�@(0>WV�u\V`'t7�7D8@30�2���&4��0����� 1�>)7�7�7�7�7�7

X�7f689ION68Q3E=X�0�X A E=X;=<�| 8 A*-#�`'.(0-�F*4��0���&�*1�> �P43< 8�3����&�&40�����&� 1=> ��j�K A 0S9�X A 0}MIJ8EF9I9d032z0S9NQR7:GN9HX�03254gE+cF7:EFJ.7F�(X A 0�¤7F25C �@(/>WV2u\V/6#7 o 6hX�CfESV¼6B9�X�2'7PONGNQR0}E ')%0l*4�+ EFQRX'6h7:9 689HX�7lElMIJBEF9¼689¼7F25Od032�X�7�EFQ A 6h03�F0X A E=X(cF7:EFJ�oNTIGNX�E�cF7:EFJ#7F� X A 0��¤7F25C �r!#%/>��@(/>WV2uWV`'t7�7 oPK A 68Jh0�6hXDC-ESV}TL0zEFQ A 6h03�F0SOiTHVUEF9EFQRX'687:9U7F�ºX A 684.�¤7F25C 689HX�2'7WOIGNQR0SOf�¤7F2(EF9d7FX A 032�2'0SEF4'7:9�oN4 A 7:GNJBOY9d7FXDQ3EFGN4'0�E ')%/l 4�+ EFQRX'6h7:9UX�7TL0zQR2'0SE=X�0SO &>W<�|�OI6 ��03250S9�X I&%�(&6�42>�F/A#� 4���jf[%�sEF9 EFQRX'6h7:9�4'GNQ A EF4 �9')%0l*4�+,+�� A.60( 1/��� A.60( 12���#7 E=25684�0S4Soq6hX4 A 7:GNJ8OYTL0�2'0���0SQRX�0SO�68C-Cg0SOI68E=X�0SJhVFoW25E=X A 032�X A EF9}c:6h�P689dc�2�684�0�X�7gE�4'GdTIcF7:EFJ �r!#%/>���qLA#6�( 12���A.6�(*1/���#7�7 <

4

Page 6: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

ZxOd7FMNX'689NclX A 684gQR7:9��F0S9HX'6h7:9�4 A 7:GNJBOÀ6BCgMN2'7¥�F0�X A 0�ML7F2'X'E=TI68J868X�V�7F��MIJ8EF9d_~MN2'7FTIJh0SC�QR7:J8Jh0SQRX'687:9N43oTL0SQ3EFGN4�0�E�MIJ8EF9N9d032�GN4'6B9dc�µ�¶g¶g· Q3EF9UTL0�K(2568X�X�0S9YX�7g6hc:9N7F2'0xEFJBJ&EFOd�P68QR0�689}GN9d0R´PM�0SQRX�0SOUQR7:9HX�0R´WX'4S<[]9UX A 0��¤GNX'Gd2'0FoPK�0zCfESVU689�X�257WONGIQR0�EgC-7F2'0zQR7:CgMIJh0R´U4�VP9�X'E©´��¤7F2(E=X�X'EFQ A 689NcfEFOd�P68QR0�X�7gTL0�GI4�0SOUTHVON6 �L032'0S9HX(MIJ8EF9I9d032543odTIGNXD��7F2�9d7{K�X A 0�7:9IJhVYcF0S9N0325EFJ#MN2�689NQ36hMIJ80x684�X A E=XsEF9�0R´WMI2'0S4'4'6h7:9i7F�1X A 0z�¤7F25C�� �� � 7 Q3EF9U7PQ3Q3Gd2DEF9�VWK A 032'0FodEF9NOYK�68JBJICg0SEF9}0R´dEFQRX'JhVfX A 0�4'EFCg0�X A 6B9dc�EF4 � odEF4���E=2DEF4.ON7:C-EF689M A VW4568Q34DE=2'0�QR7:9NQR032�9d0SO�<e.7:CfCg0S9�X'4�689Uµ�¶g¶g·ÀTL03c:689fK�6hX A E�4�0SCf68QR7:Jh7:9®|�!�� #��.EF9NOY0S9NOfK�6hX A X A 0s9d0R´PX�9d03K�J8689N0F<�Zx9�V

4'GNQ A 4�X�256B9dc�T�0 A ES�F0S4�JB6hmF0zE-4'689Nc:Jh0�4�MIEFQR0F<

� � � ��� � ���

��0g9d7{K Od0S45QR256hTL0�X A 0�J8EF9dc:GIE=cF0�C-7F2'0��¤7F25C-EFJBJhVF< @�A 0�p��.rx����7F2�Od0R¸&9I689dcfE}Od7:C-EF689l4�X�25GIQRX'Gd2'06843j

� ��%=')(*�"! � 8�8Eq��O�&��� �"! �D����%=')(*�"! � !#("')� � 7�#� ��X0>*�2!<3��2%2!.4/�&�0� � ��#� -*�0:/;<�=-*��40�&�0� � ��#� >�F/A#�#3240����� � ��� �! #"�$&%�'�#� 1/%�!C3=>&(2!&>)3/4/�&�0� � ��#� �&%"')( �B!.42l*(0-.3/4/�&��� � � � ���#"��� �)$�� %������������#��$�� %�#� A*-&���#��1/(/>*�#3240����� � ��#� >.�[')�&60�#3�3/40����� � ��#� 32(0�&�0>�F 4/�&��� � � � ������#�! ������ %�� � � $&%����� 3">�-/;<1�>/;*-&�&40����� ��� 7

� �0X�>*��!C30�/%2!#40����� � 8�8Eq�� 8r��X0>*��! �.3 � ��%=')(*�"!,! (='.� �� 7� -&��:/;)��-&�&40����� � 8�8Eq�� 8H-*�0:/;)��-*�"')��!*>)3 � -&��:2;<��-&�&4 � �0F � 7� -&��:/;)��-&�&4��*�0F � 8�8Eq"! � � ! �Oc 1 �Te 0$#&%� >�F0A#� 3/4/�&��� � 8�8Eq�� 8H>�F/A#� 3 � >�F0A#�0�m6*��3=>s�E!#(='.�.7 � 7� 12%2!C3">*(�!*>)3240����� � 8�8Eq�� 8�1/%�!C3">*(2!&>)3 � >�F/A#�0�m6*��3=>s�r! (='.�.7 � 7� ��%=')(*�"!#4/l*(/-)3240�&�0� � 8�8Eq�� 8E�&%"')(*�"!.42l*(/-.�/(�+.60�#3

� >�F/A#���Z6*�&3"> �O�&%='.( �B!.4/l&(0-*40�&�*1060(0-*(/>#�2%2!<7 � 7� A&-*��� ��12(0>*� 3/4/�&��� � 8�8Eq�� 8 A*-&��� ��1/(/>*� 3 � (/>*%"'N��1 �&%/-2'*;#6�(R3 � ��6��0>&%2! �� 7� (/>*%='C��1K��%0-�'*;.60(R3 �*�&60�0>*%�! �

8�8Eq�� � A*-&��� ��1/(/>*� � � >�F0A ���m6&�&3=>n�Ol*(/-.�2(2+.60�.7 � 7� A&-*��� ��12(0>*� � 8�8Eq � !#(='.� �� l&(0-.�2(2+#6�� � 8�8Eq\V � !#("')� �� >#�`')��6�� 3�3/4/�&�0� � 8�8Eq�� 8H>.�[')��6��#3�3 � 6*��>&�0-&(&6$�E!#(='.�.7 �� 7� 3">�-0;)1�>/;*-*��40����� � 8�8Eq � ( 1�>#�/%�!.40����� �� 3">�-0;)1�>/;*-*��40����� � 8�8Eq � '��)(�� $&%�������$��)(*� � (0X#�/%"'<4/�&��� �� 3">�-0;)1�>/;*-*��40����� � 8�8Eq � ��� ��$�� %������#"�� %��)$�� %�� � ')�/>0M %��*4/�&�0� �

ZxJhX A 7:Gdc A K.0 A ES�F0z689ION68Q3E=X�0SOYX A 0xE=25c:GNCg0S9HX'4D689UE�MIE=25X'68Q3GNJ8E=2.7F25Od032SoPX A 03V}C-ESV}QR7:Cg0�689UEF9�V7F25Od032{od0R´PQR03MNX���7F2sX A 0 �O�&%='.( �B! ]�]�] 7 68X'4�0SJh�%<

+ (re-, � 3[e&.��d7F2�X A 0�QR7:9��F0S9I6h0S9NQR0.7F�N4�7:Cg0�68CgMIJh0SC-0S9�X�03254So{K.0.Od0R¸�9d0qE)!�4�X�2568QRX�4'GdTI4�03X�#�7F��µ�¶g¶g·X A E=X�6BCgML7:4�0S4�X A 0��¤7:J8Jh7{Ks689dcgEFONON6hX'687:9NEFJL2'0S4�X�256BQRX'6h7:9N43j

«

Page 7: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

;=<�ZxJ8JHmF03VHK.7F25O�E=2'c:GNC-0S9�X'4D|¤�¤7F2 ���&�0�#�B!#�D�O�&%='.( �B! ]�]�] 7�7 EF9IO�EFJBJ�4'68Cf68J8E=2 QR7:9I4�X�25GNQRX'4��ºC�GN4�XE=MIM�0SE=2s689UX A 0z7F25ON032�4�ML0SQ36»¸I0SOU689UX A 0�C-EF9HGIEFJ�<�|�Zs9�E=2'c:GNCg0S9HX�C-E{V}TL0�7:C-68X�X�0SO�< �>W<���GN4�XD7:9d0�µ�¶g¶g· Od0R¸&9N6hX'687:9®|¤7F�1E-ON7:C-EF689�oPMN2'7FT&Jh0SC�oP03X'Q=< �-CfESV�E=MNML0SE=2DML032D¸&Jh0F<§W<�ZxONOd0S9IONEi|�4�030�^W0SQRX'687:9�;F;{�DE=2'0��¤7F2'TI6BONOd0S9�<rxEFCg0S4z7F�DOd7:CfEF689N43oºJB6hmF0g7FX A 032�7PQ3Q3Gd2'250S9NQR0S4z7F�D4�VP9�X'EFQRX'6BQfQ3E=X�03cF7F2'V � ! (=')� �NoºE=2'0f4'X�25689dc:4�7F�

Q A E=25EFQRX�03254�TL03c:689N9N6B9dcgK�6hX A EfJh03X�X�032�EF9NOlQR7:9�X'EF6B9N689dc}Jh03X�X�032543oLON6hc:6hX'4So A VHM A 0S9N4�|�!%_ #���ovEF9NO�GI9NOd032�_4'QR7F2'0S4�|�! #���<De�EF4�0�6B4D9d7FX�4'6hc:9I6»¸&Q3EF9HX3<[%��X A 0 8r�0X�>&�2! �#3 E=25c:GNCg0S9HXY684�MN250S4�0S9�X3o�X A 0S9 X A 684-ON7:C-EF689 689 A 03256hX'4�2'0SwWGN6h2'0SC-0S9�X'43o.X�VWML0S43o

QR7:9N4�X'EF9HX'43o�EFQRX'687:9N43o:E©´d6h7:C-43o:EF9NO�X'68C-0SJh0S4'4'JhV�X�25GN0�MN257FM�7:456hX'6h7:9N4º��2'7:C!X A 0D9NEFC-0SO�ON7:C-EF689N43o©K A 6BQ AE=2'0�Q3EFJBJh0SOUX A 0 � 0)c � 3�1 e ( 3�7F��X A 6B4DOd7:C-EF689�<@(A 0 89-*��:2;<�=-*�='.�2!&>)3 ¸I0SJ8O 6B4-689HX�0S9NOd0SO X�7¼��7F25CfEFJ86��30�X A 0i��EFQRXfX A E=XY9d7FXfEFJBJDMIJ8EF9N9N03254gQ3EF9

A EF9NOIJh0�EFJ8J&MN2'7FTIJ80SC-4 4�X'E=X'E=TIJ80�6B9-X A 0zµ�¶g¶g· 9N7FX'E=X'6h7:9�<1[%��X A 0�2'0SwWGN6h250SCg0S9�X.684.C-684'4'6B9dcf|�EF9NOU9d7FX689 A 03256hX�0SO��¤2'7:C EF9HViEF9NQR0S4�X�7F2�Od7:CfEF689&��oNX A 0S9l6hX�ON03�¤EFGNJ8X'4(X�7 8�3=>�-.�"A<3 <�[]9icF0S9N0325EFJ�o&EYOd7:C-EF689+684X'E=mF0S9UX�7gOd0SQ3J8E=2'0�03�F032'VY2'0SwWGN6h2'0SCg0S9HXqX A E=X�EF9HVYEF9IQR0S4�X�7F2(Od0SQ3J8E=2'0S4S< Z Od0S4'QR2568MNX'6h7:9Y7F�ºEFJ8J&M�7:454'6hTIJh02'0SwWGN6h2'0SC-0S9�X'4D684(��7:GN9IO�689�^W0SQRX'6h7:9�;S«W<@(A 0 89>�F/A#�#3 E=2'c:GNCg0S9HXzGN4�0S4�E�4�VW9HX'E©´�TL7F2'2'7{K.0SO®�¤2'7:C rx684�M ½��¥¿ X A E=X�6B4�GN4�0SO®0SJ84�03K A 032'0g689

µ�¶g¶g·!|¤TIGNXD7:9NJhVY68� 8H>�F0A)�"! I 684 A EF9IONJh0SOUTWVYX A 0�MIJ8EF9N9d032{<� >�F0A#�0�m6*��3=>s�� 7 � 8�8Eq�� �� >�F0A#�0�m6*��3=>s�� 7 � 8�8Eq � �! #"�$&%�' � 4 � >�F0A � ��� >�F0A ���m6&�&3"> � �o7 �� >�F0A#� � 8�8Eq � !#("')� �� >�F0A#� � 8�8Eq���� �=>0M#�/- � >�F0A � � 7� >�F0A#� � 8�8Eq � ������� %����R�O�*6=;#�2!&> � >�F0A � � 7

Z XaVHML0SOlJ8684�Xs684�GN4'0SO�X�7UOd0SQ3J8E=2'0�X A 0�X�VWM�0S4x7F� E}J8684�X�7F� 0S9�X'68X'6h0S4,&�X A 0�XaVHML0S4xE=2'0�MN2'0SQR0SOd0SO+THVEiC-6B9HGN4�456hc:9 |�! 4 #���o�EF9NO�03�F032'V�7FX A 032�0SJ80SCg0S9�X�7F�.X A 0fJ8684�X�684�Od0SQ3J8E=2'0SO�X�7�T�0g7F��X A 0-¸I254�X�XaVHML0X A E=Xg�¤7:J8Jh7¥K�4�6hX3o 7F2 %2+ h��*1�> 6h��X A 032'0�E=2'0i9d7®X�VWML0S4�X A E=Xg�¤7:J8Jh7{K�6hX3<ÀZs9 0R´dEFCgMIJ80}7F�xE � >�F0A ���6*��3=> �r!#("')�#7 ��684

�B!*>&��I&�/-Z�*60%�(/>Y4S!�;0'&+#�/-kA�M&F)32%�+

[%�(X A 684�7WQ3Q3GN254�EF4gE 8H>�F/A#� 3 E=25c:GNCg0S9HX�X�7�E®Od7:C-EF6B9�o16hX�ON0SQ3J8E=2'0S4�X A 2'030�9d03K X�VWML0S43o �"!&>*��I��0- o�*60%�(/> oLEF9NO A�M*F.32%2+ < @(A 0�¸I254'XsXaK�7iE=2'0-45GdT�Q3J8EF4'4�0S4s7F� !�;/'*+ �0- o�X A 0�J8EF4'X�EU4'GNTLQ3JBEF4'4�7F� %�+#h��*1�>|¤TWV-Od03�¤EFGIJhX���< @(A E=X�6B43o�03�F032'V-6B9�X�03cF032�684qE�9HGIC�TL032SoH03�F032'V��I7:E=X.684qE�9HGNC�TL032SoHEF9IO-03�F032'VgM A VP4'68Q3EFJ7FT���0SQRX�684(EF9i7FT��]0SQRX3<Zx9-E=X�7:C-68Q�X�VWML0(9NEFCg0�684 ��GN4'X E�X'68Cg0SJh0S4541GN9NE=2'V�MN2'0SON6BQ3E=X�0FoHEF9NO-CfESV�TL0(GN4�0SOgK A 032'03�F032q4'GNQ A

E�MN2'0SON68Q3E=X�0�C-E=mF0S4�4�0S9N4'0F<1[%9}EFONON6hX'687:9-X�7gE=X�7:C-68QsX�VWML0x9NEFC-0S43oHX A 032'0xE=250sXaK�7gQR7:CgML7:GN9NOYX�VWML0S43<�@�*��>/M#�0-���� ]�]�] ��/7 684�X A 0(GN9N687:9�7F��X�VWML0S4 �� X�7 �� < ���&6�;#��!*>�� 7 684�X A 0DX�VWML0D7F��EF9�7FT �]0SQRX K A 7:4�0�=EFJ8Gd0��=E=256h0S4D�¤2'7:C�4'68X'GNE=X'6h7:9UX�7f4'68X'GNE=X'6h7:9�oNEF9NO�6B4(EFJhK�ESVP4(7F��X�VWM�0 � <�|~^W030�^W0SQRX'6h7:9�;S>W< �@(A 0 8E��%=')(*�"!#4/l*(/-.�2(2+.60�#3 Od0SQ3J8E=2�E=X'6h7:9+6B4sGN4'0SO+�¤7F2�Od7:C-EF689N4sX A E=X�Od0SQ3J8E=250�X A 0�2'0SwWGN6h2'0SC-0S9�X

�&E=c 8r�0X/A*-&�#3�3��/%�!.40�0l*(�6�; (0>.�2%2! &DX A 684U2'0SwWGN6h2'0SCg0S9HX3osEF9IO X A 0�EFQ3QR7:CgMIEF9HVW6B9dc 4�VP9�X'EFQRX'68Q�Q3JBEF4'4�&%"')(*�"!.42l*(/- 40��� 1/6�(0-&(0>#�/%2! o:E=2'0zON0S4'QR256hTL0SO�689�^W0SQRX'687:9�;S>W<@(A 0 8�1/%�!C3">*(2!&>)3 ¸I0SJ8O A EF4�X A 0�4'EFCg0i4'VW9HX'E©´ EF4�X A 0 89>�F/A#�#3 ¸I0SJ8O�o1TIGNX�X A 0U4'0SC-EF9�X'6BQ34-684

ON6 �L032'0S9HX3<1r�7¥KX A 0x9IEFCg0S4�E=2'0sX'E=mF0S9�EF4�9d03K QR7:9N4�X'EF9HX'4D689YX A 684.Od7:C-EF689#o�K A 7:4'0sXaVHML0S4�E=2'0xc:6h�F0S9EF4�ON0S4'QR256hTL0SOUE=TL7{�F0F<�p�<£cd<hoNX A 0�ON0SQ3J8E=25E=X'6h7:9

ª

Page 8: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

�#8O1/%2!<3=>&(2!*>.3 4'E A E=25Eg_ X A 0SE=X�032ON6h�P684'6h7:9º;sON68�W68456h7:9I>z_qON6h�P684'6h7:9&�

689NOI68Q3E=X�0S4zX A E=X�689�X A 684�ON7:C-EF689¼X A 032'0YE=250YX A 25030YON684'X'689dc:GN684 A 0SO�QR7:9N4�X'EF9HX'43o 32(�M#(/-*( Od0S9d7FX'689Nc+E>0M ��(/>*�0- EF9NO�XaK�7}4�VWC�TL7:J84DOd0S9d7FX'6B9dc � ��l.��3��2%2! 43<@(A 0 8 A&-*�0�#��12(0>&�#3 ¸I0SJ8O�QR7:9I4'684�X'4s7F� EYJB684�X(7F�qON0SQ3J8E=25E=X'6h7:9N4s7F� MN250SON68Q3E=X�0S43o�7:9NQR0�E=c:EF689+GI4'689dc

X A 0zXaVHML0SOP_�JB684�XD4�VP9�X'E©´�X�7fOd0SQ3JBE=2'0�X A 0�E=2'c:GICg0S9�X'4(7F��0SEFQ A 7:9d0F<@(A 0 8H>.�[')��6��#3�3 ¸I0SJBO�QR7:9N4'684�X'4�7F��E�J8684'Xs7F��J86hX�0325EFJB4sX A E=XzE=2'0-X'E=mF0S9�X�7iTL0�X�25Gd0gE=X�EFJBJ X'6BCg0S4

689}X A 684�Od7:CfEF689�< @(A 0�4�VP9�X'E©´�� 6*��>&�0-&(&6 �E!#("')�.7 �zK�68J8JITL0�ON0R¸&9d0SOU689�^W0SQRX'6h7:9iªW< [%X�cF7H0S4DKs6hX A 7:GdX4'E{VW689Nc�X A E=X.X A 0xMN2'0SON6BQ3E=X�0S4.GI4�0SOY6B9fX A 0xX'68Cg0SJ80S4'4qMI2'7FML7:4'6hX'6h7:9N4qC�GN4'X�TL0sON0SQ3J8E=2'0SO}0S6hX A 032 A 032'0x7F2689�EF9�EF9NQR0S4'X�7F2�ON7:C-EF689�<�|���GN6BJhX]_�689zMI2'0SON68Q3E=X�0S4 4'GNQ A EF4 ! q #sTL0 A ES�F0�EF4 68�WX A 03V�K�032'0�689 A 03256hX�0SO��¤2'7:CEF9�EF9NQR0S4�X�7F2xOd7:C-EF689#oPEFJ8X A 7:Gdc A K A 03X A 032DX A 03V}EFQRX'GNEFJBJhVYE=2'0z6BCgMIJh0SCg0S9HX�0SO}X A 684.K�ESVUOd03ML0S9NON4.7:9X A 0�6BCgMIJh0SCg0S9HX'E=X'6h7:9�< �@(A 0�2'0SC-EF6B9N689dc�¸I0SJBON4qOd0R¸�9d0�EFQRX'6h7:9N4.EF9NOY25GNJh0S4q689-X A 0xOd7:C-EF689#oHEF9NOYK�68J8JPTL0sc:6h�F0S9fX A 0S6h2q7¥K�9

4�0SQRX'6h7:9I43<

� � ��� � �����

@(A 0zp���rs� �¤7F2�EF9iEFQRX'6h7:9+Od0R¸&9N68X'6h7:9U6843j

� (*1�>.�2%2!#40�&�0� � 8�8Eq�� 8r( 1=>.�2%2! � ( 1=>.�/%�!Y�/;�!<1=>*%0- �8 A#(/-*("')�0>&�0-.3P� � >�F0A#�0�m6*��3=>���l*(/-.�/(�+.60�.7 � 7� ( 1=>.�2%2!.4/�&�0�K+#%0��F � 7

� (*1�>.�2%2!Y�2;�!)1�>*%/- � 8�8Eq � !#(='.� �� (*1�>.�2%2!#40�&�0�K+ %���F � 8�8Eq � 8Hl*(/-)3p� � >�F0A#�0�m6*��3=> �Ol*(/-.�2(2+.60�.7 � 7 ���

����$�� �� %���$ ���� "����� %'�$ ��$�� %������ %'�$ ��$�� %��������� ���� ���

� 8 A*-&� 12%2! � ��>#�/%2! ��� � � �� 8r��X2A#(�!C3��2%2!

� ( 1=>.�2%2!P3`A#� 1 � � � ��� ��$�� %������#"�� %��)$�� %��� 8r��X2A#(�!C3��2%2! 8 ')�/>0M %��.3 ��� ��� ��$�� %������#"�� %��)$�� %��� 8 ')(*�"!&>*( �B! ��� � � � � ��� ��$�� %������#"�� %��)$�� %��� 8E������� 1=> � �0���&�*1�> � �� 8r%2!#6/F*4*�"!#4��0X/A#(�!C30�/%2!<3 � + %�%&60��(�! � � � ��� ��$�� %������#"�� %��)$�� %��

@(A 0 8 A (0-&(=')�/>*�/-)3 J8684�Xº6B4 4'6BCgMIJhVxX A 0�J8684�X#7F�I�©E=256BE=TIJh0S4#7:9�K A 68Q A X A 0�M&E=2'X'68Q3GNJ8E=2 25GNJh0q7FM�032�E=X�0S43o�������8o.6hX'4gE=2'c:GNCg0S9HX'43o.GN4'689dclX A 0�XaVHMI6B9dc�4�VW9HX'E©´ Od0S4'QR256hTL0SO E=TL7{�F0F< @(A 0 8Hl*(/-)3 J8684'X�E=2'0iJ87WQ3EFJ8J8VTL7:GN9NO}�=E=2568E=TIJh0S4�K A 7:4�0�4�0SCfEF9�X'68Q34�E=2'0z0R´PMIJ8EF689d0SO}TL0SJh7¥Kz<@(A 0 8TA*-*�*1/%�! �#�=>.�2%2! 684�EF9�7FMNX'687:9NEFJ�cF7:EFJ�Od0S4'QR256hMIX'6h7:9�|~n�tz�(X A E=XsC�GN4�X(TL0�45E=X'684]¸I0SO�TL03�¤7F2'0

X A 0lEFQRX'6h7:9�6B4fE=MNMIJB6h0SO�< Zs4}Od0R¸&9d0SO TL0SJh7{K |~^W0SQRX'6h7:9 ª:��oxµ�¶g¶g· cF7:EFJxOd0S4'QR2568MNX'6h7:9N4-E=250lwWGN6hX�00R´PMN2'0S4'4'68�F0Fj EF9�E=2'TI6hX�25E=25Vg�¤GN9IQRX'6h7:9P_~�¤2'030x¸I254�X]_~7F25ON032�J87Fc:68Q3EFJL4�0S9�X�0S9IQR0z684�EFJ8Jh7{K.0SO�< [%�º9d7�MN250SQR7:9NON6»_X'6h7:9N4�E=2'0�4�ML0SQ36»¸I0SO#odX A 0S9�X A 0�EFQRX'687:9+684DEFJ8K.E{VW4s0R´W0SQ3GNX'E=TIJh0F<�� �Oc�1�3�JB684�X�X A 0�Q A EF9dcF0S4sK A 68Q A X A 0EFQRX'6h7:9�68C-M�7:4'0S4 7:9}X A 0�Q3Gd2'2'0S9HX�4�X'E=X�0�7F�#X A 0xK�7F2�J8O�<1p �L0SQRX'4DC-ESVYTL0xGN9I6h�F03254'EFJ8J8V�wWGNEF9HX'6»¸I0SOUEF9NOQR7:9NON68X'6h7:9NEFJ�o�TIGNXx��GNJ8J ¸I2�4�X�7F25Od032�4�0S9HX�0S9NQR0S4}|�� � _ �BoºON684��'GN9NQRX'687:9+EF9NOÀ^WmF7:Jh0SC ��GN9NQRX'6h7:9N4���E=250f9d7FXEFJ8Jh7¥K�0SO#< @(A GN43o�6hX�684�68CgML7F2'X'EF9HXsX�7�2'0SEFJB6��30�X A E=X�µ�¶g¶g·6B4xEF4'VWC-C-03X�2568Q=j�EFQRX'6h7:9®MN2'0SQR7:9NOI6hX'6h7:9N4E=2'0�QR7:9I4'68Od0325E=T&JhVfCg7F2'0�0R´WMN250S4'4'6h�F0�X A EF9�EFQRX'6h7:9i0��L0SQRX'43<

Page 9: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

@(A 0 8E�����&� 1=> ON0S4'QR256hTL0S4�X A 0z0��L0SQRX'4(7F��X A 0zEFQRX'687:9�<�^W030�^P0SQRX'6h7:9 �H<[%�dX A 0�Od7:C-EF689�Od0SQ3J8E=2'0S4 2'0SwWGN6h2'0SC-0S9�X 8E( 1=>.�/%�!.40��X/A (2!<3��/%�!C3 oRX A 0S9�6hX�684ºJ803c:6hX'68C-E=X�0.X�7x6B9NQ3J8GNOd0

EF9 8r�0X/A#(�!C30�/%2! ¸I0SJ8Ol��7F2�EF9�EFQRX'6h7:9�oºK A 68Q A 4�ML0SQ36»¸&0S4�EFJ8J�X A 0gK.E{VW4�X A 0-EFQRX'6h7:9�CfESV®TL0�Q3E=25256h0SO7:GdXx689iX�0325Cf4�7F��|¤MN250S4'GNC-E=TIJ8V}4'6BCgMIJh032���EFQRX'6h7:9I43<([%Xs684sEFJ84�7YC-0SEF9N689dcF��GNJLX�7U68CgML7:4�0�EYQR7:9N4�X�25EF689HXX A E=X�E ��� � �gTL0zC-EF689HX'EF689d0SOUX A 2'7:GNc A 7:GdXDX A 0�0R´P0SQ3GdX'6h7:9�7F��EF9�EFQRX'6h7:9�<.^W030�^W0SQRX'6h7:9�bW<Zx9iEFQRX'6h7:9+Od0R¸&9N6hX'687:9}C�GN4�X A ES�F0�EF9 8E�����&� 1=> 7F2xEF9 8r�0X/A (2!C30�/%�! oWTIGdX 0.e 1��Oe 1���<�d25030��=E=2568E=T&Jh0S4�E=2'0�9d7FXxEFJ8Jh7{K.0SO�<xZsJ8Jº�©E=2�68E=TIJh0S4s689+EF9lEFQRX'6h7:9®Od0R¸&9I6hX'6h7:9�|��������8oL689+6hX'4�MI2'0SQR7:9P_

ON6hX'687:9N43odC-EF689HX�0S9NEF9NQR0�QR7:9ION6hX'6h7:9�oP0R´PMIEF9N4'687:9�od7F2(0��L0SQRX'4��(C�GN4�XDTL0z689IQ3J8GNOd0SOU689UX A 0 8TA#(/-*(='.�0>&�0-7F2 8Hl&(0-)3 J8684'X3od7F2(0R´WM&J868Q36hX'JhVY689�X�257WONGIQR0SOUK�6hX A E-wWGNEF9HX'6»¸I032S<

8Hl&(0-)3 684 CfEF689NJhVzExQR7:9��F0S9I6h0S9NQR0F<1/ E=2568E=T&Jh0S4 E=MIM�0SE=2�689dc A 032'0�TL0 A E{�F0DEF416h�dTL7:GN9NOz0R´d684�X�0S9HX'68EFJ8J8V689�MI2'0SQR7:9NON6hX'687:9N4#EF9NO�GN9N6h�F032545EFJ8JhVs6B9z0��L0SQRX'43oF0R´PQR03MIX X A E=X�6hXº684 EF9�03252'7F2 6h�dCg7F250qX A EF9�7:9d0�689I4�X'EF9NQR04'E=X'684�¸I0S4DX A 0�0R´d684�X�0S9HX'68EFJ�MN250SQR7:9NON6hX'6h7:9#< ^P7doN��7F2�0R´PEFCgM&Jh0FoN689UX A 0z�¤7:J8Jh7¥K�689dcgOd0R¸�9N6hX'6h7:9

� 8r(*1�>.�2%2!P3`A*-&(0F 4=A#(*�"!*>8TA#(0-&(='.�0>*�/-)3U�[V�1L4Y12%&60%0-<789l*(0-.3p�[V�XY4m6�% 12(0>#�/%2!C78TA*-*�*1/%�! �#�=>.�2%2!n�@(0>Z-&%2+ %0>WV2X.78E������� 1=>�����%0-*(�6�6$�fV�FR4KA�M*F)3�%2+C7

�r5�M#��!J�@(/>WV�FUV2X.7�[12%&60%0-WV�FWV�1*7�7�7�7

6h� X A 0z2'7FTL7FX(C�GN4�XDTL0z689�E=X�Cg7:4'X(7:9d0zMIJBEFQR0�X�7fES�F7:68O+EF9�032'2'7F2{<ZxJ8J X A 0��=E=2568E=T&Jh0S4(7PQ3Q3Gd2'256B9dcf�¤2'030�689�X A 0 8r�0���&�*1�> 7F2 8r( 1=>.�2%2! ¸I0SJ8O+C�GN4'XsTL0�TL7:GN9IO�689+X A 0

8 A&-*�*1/%2!*�#�=>.�/%�! ¸I0SJBO�<@(A 0�7FMNX'6h7:9NEFJ#E=25c:GNCg0S9HX 8E%2!#6/F 4&�"!#4���X2A#(�!C3��2%2!<3 684(ON0S4'QR256hTL0SOU689�^W0SQRX'6h7:9+bW<

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

Z cF7:EFJ�ON0S4'QR256hMNX'687:9�684UGN4'0SO�X�7 4'M�0SQ368��V X A 0�Od0S456h2'0SO�cF7:EFJ84i689�EÀMIJ8EF9N9N6B9dc�MN257FTIJh0SC�EF9NO EFJ84�7X A 0�MN2'0SQR7:9ION6hX'6h7:9N4s�¤7F2�EF9�EFQRX'687:9�<��NGN9IQRX'6h7:9P_~�¤2'030�¸I254�X]_~7F25ON032sMN250SON68Q3E=X�0gJh7Fc:68QU|�689NQ3J8GION689dcf9N0S4�X�0SOwWGNEF9�X'6h¸I03254��.684DEFJBJh7{K.0SO�<

��� � � 8�8Hq � (0>&%='C��1K��%0-2'&;.60( �O>&�0-�'o7 ���� � � 8�8Hq��@(2!*� ��� � � � 7��� � � 8�8Hq � 6*�=>*�/-*(&6o�O>&�0-2't7 ���� � � 8�8Hq � '�$������!%�� ��$ ���� "����� %'�$ ��$�� %�� ��%0- ��� � � � 7��� � � 8�8Hq�� '�$������!%�� ��$ ���� "����� %'�$ ��$�� %�� �E!#%/> ��� � � 7��� � � 8�8Hq�� '�$������!%�� ��$ ���� "����� %'�$ ��$�� %�� �f�`'&A.6/F ��� � ����� � � 7��� � � 8�8Hq � ����$�� �� %���$ ���� "����� %'�$ ��$�� %��

����X#��3=>.3p� � >�F0A ���m6&�&3"> �Ol&(0-#�/(2+#6��#7 ��� 7 ��� � � 7��� � � 8�8Hq � �!%�$ ���������� "����� %'�$ ��$�� %��

�O�&%0-&(&6�6$� � >�F0A ���m6&�&3"> �Ol&(0-#�/(2+#6��#7 ��� 7 ��� � � 7� 6&��>*�/-*(�6 � � 7 � 8�8Hq � (0>&%='C��1K��%0-2'&;.60( � � 7 �� 6&��>*�/-*(�6 � � 7 � 8�8Hq��r!#%/> � (/>*%='C��1K��%0-�'*;.60( � �f7 � 7� (/>*%='C��1K��%0-�'*;.60( � �f7 � 8�8Hq�� � A&-*�0�#��12(0>&� � � � 7� >&�0-2' � 8�8Hq � !#("')� �

b

Page 10: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

� >&�0-2' � 8�8Hq � l*(/-.�2(2+.60� �

K A 03250Fo:7F��QR7:Gd254�0FoWEF9g7WQ3Q3GN2'2'0S9NQR0D7F��E � A&-*��� ��12(0>*� �x4 A 7:GNJ8O�E=cF2'030�Ks6hX A 6hX'4 Od0SQ3JBE=25E=X'6h7:9-689�X�032�C-47F�19HGIC�TL032(EF9NO�odK A 0S9�E=MNMIJ86BQ3E=TIJh0FoPX�VWML0S4D7F��E=25c:GNCg0S9HX'43<ys7FML03�¤GNJBJhV-X A 0�4'0SC-EF9�X'6BQ34D7F��X A 0S4�0z0R´PMN2'0S4'454'6h7:9N4D684�7FTW�P6h7:GN43<

� ��� �����

µ�¶g¶g·�EFJBJh7{K�4�T�7FX A QR7:9NON6hX'687:9NEFJgEF9NO GI9N6h�F03254'EFJBJhV�wWGNEF9HX'6»¸I0SO 0��L0SQRX'43< @(A 0�Od0S4'QR256hMIX'6h7:9 6844�X�25EF68c A X��¤7F2'K�E=25O�j

� �0���&�*1�> � 8�8Eq��@(�! � � ������� 1=> � � 7� �0���&�*1�> � 8�8Eq��r! %0> � (0>*%"'N��1K�&%/-2'*;#6�( �O>*�/-2't7 � 7� �0���&�*1�> � 8�8Eq � (/>*%"'N��1 �&%0-�'*;#6�( ��>*�/-2'o7 �� �0���&�*1�> � 8�8Eq�� ��� %'�$ ��$�� %��������� ���� ���P�O�&%0-&(&6�6$� � l*(0-#�/(�+.6�� ��� 7 � �0���&�*1�> � 7� �0���&�*1�> � 8�8Eq�� ��� %'�$ ��$�� %��������� ���� ���P�r5�M#��! ��� � ��� ������� 1=> � 7� �0���&�*1�> � 8�8Eq � ������� %���� �f1"M (2! I�� � �&6�; �2!*> ��� �0X/A&-*�#3�3��2%2! � 7

��0.EF4'4'GNCg0qX A E=X EFJ8J=�=E=2568E=T&Jh0S4#C�GN4�X#TL01TL7:GN9NO-|¤0S6hX A 032ºK�6hX A E(wHGIEF9�X'6»¸&032#7F2 689�X A 0qMIE=25EFC-03X�032544�0SQRX'6h7:9�7F��EF9�EFQRX'6h7:9�Od0R¸�9N6hX'6h7:9&��<Zx4Y6B9�������� �=oDX A 0+X�25GdX A �©EFJBGd0i7F�zMN250SON68Q3E=X�0S4}E=2'0+EF4'45GNCg0SO�X�7¼ML03254'6B4�Xg��7F25K.E=25O�689 X'68Cg0F<

�x9NJ86hmF0�������� �Fodµs¶g¶g· A EF4�9N7�Od0SJ803X�0sJ8684'X i 689N4�X�0SEFOY7F�#Od0SJh03X'689Nc �@%�!\(S+N7 7:9d0�4'68CgMIJ8V�EF4'4'032'X'4�r! %0>s��%2!\(S+N7�7 <�[a��EF9�EFQRX'6h7:9�uv4z0���0SQRX'4�Od7W0S4z9d7FXzCg0S9HX'6h7:9�EUMN250SON68Q3E=X�0���X A 0S9�X A 0gX�25GdX A 7F�X A E=X(MI2'0SON68Q3E=X�0z684�EF4'4'GNCg0SO�GI9NQ A EF9NcF0SO�THV�EF9i6B9N4�X'EF9NQR0�7F��X A 0�EFQRX'6h7:9#<@(A 0�4'0SC-EF9�X'6BQ34�7F� ��50M#�2! ��� 7 E=2'0zEF4��¤7:J8Jh7¥K�43j�[a��� 684.X�25Gd0�TL03��7F250xX A 0�EFQRX'687:9�oNX A 0S9}0��L0SQRX

� 7WQ3Q3Gd2�4(E=��X�032{<�� 6B4(E 3,��c�e 0)a/� ( � ��(-��c�e 0.a ��1 �Te 0�½»;3¦=¿~< @�A 0�EFQRX'6h7:9+684���0SEF456hTIJh0�03�F0S9+6h��� 684D��EFJ84�0FoTIGdXDX A 0�0���0SQRX�� 7PQ3Q3Gd254D7:9IJhVY6h���¾684�X�2�Gd0F<��J8Gd0S9HX'4(E=2'0�0R´WMIJBEF689d0SOU689+^W0SQRX'687:9�;S>W<

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

[]9}CfEF9�V}Q3J8EF4'4'68Q3EFJ � ���,(r� (�c � � c@���dMIJ8EF9N9N03254x|�45GNQ A EF4�^P68M�0�½»;S>©¿~o&�s_�\�J8EF9�½£«©¿~oNEF9NOU�sk�e�\¡½£ª=¿¤��cF7:EFJ84E=2'0U4�ML0SQ36»¸I0SO¼689�X�032�C-4�7F�sE=TI4�X�25EFQRXgEFQRX'6h7:9N4�X�7®Q3E=2'2'V�7:GNX�EF4�K.0SJ8J�EF4�|¤7F2g689N4'X�0SEFO�7F���zcF7:EFJ84�X�7EFQ A 6h03�F0F<qZ4�7:J8GNX'6h7:9-X�7�E�M&J8EF9N9N689NcxMI2'7FTIJh0SC-4�684qE�4�0SwWGd0S9NQR0x7F�#EFQRX'6h7:9N4�X A E=X �]7:689HX'JhVgQR7:CgML7:4�0�EFJ8JX A 0-E=TI4'X�25EFQRXzEFQRX'6h7:9N4�7F2�6hc:689NEFJ8J8V}250SwHGd0S4'X�0SO�<gµs¶g¶g· EFJBJh7{K�4x�¤7F2zX A 684�4�XaVWJ80g7F�qMIJ8EF9I9N689dcYTHV+MN2'7=_�P68ON689dc�EF9 8r��X2A#(�!C3��2%2! ¸I0SJ8Of6B9YEFQRX'6h7:9�ON0R¸&9N6hX'6h7:9I43o:MN2'7¥�W6BOd0SOfX A 0�ON7:C-EF689}Od0SQ3J8E=2'0S4.2'0SwWGN6h2'0SC-0S9�X8r(*1�>#�/%2!#4��0X/A#(�!C30�/%2!<3 < @(A 0�¸I0SJBO�o�EF4�ON0S4'QR256hTL0SOlE=T�7¥�F0Foº684x7F�qX A 0g��7F25C 8r�0X/A#(�!C30�/%2! � (*1�>.�2%2!3BA � 1 �NoPK A 032'0 � ( 1=>.�2%2!P3`A#� 1 � A EF4DX A 0z�¤7:J8Jh7¥K�689dc�4�VP9�X'E©´Lj

� (*1�>.�2%2!P3`A#�*1 � 8�8Hq � ( 1=>.�2%2!.42>*�/-2' �� (*1�>.�2%2!P3`A#�*1 � 8�8Hq��[�"!#4*12%2!*>&��X0> � ( 1�>#�/%�!P3BA � 1 �

� ( 1=>.�2%2!.4/�&�0�K+#%0��F � 7� (*1�>.�2%2!P3`A#�*1 � 8�8Hq��[1"M % ��1/� � ( 1=>.�/%�!P3BA � 1 ��� 7� (*1�>.�2%2!P3`A#�*1 � 8�8Hq����&%/-)3�%=')� � � >�F0A ���m6&�&3"> �Ol&(0-#�/(2+#6��#7 � � 7

� ( 1=>.�2%2!P3`A#� 1 � 7

`

Page 11: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

� (*1�>.�2%2!P3`A#�*1 � 8�8Hq��`32�/-.�2�#3 � ( 1=>.�/%�!P3BA � 1 ��� 7� (*1�>.�2%2!P3`A#�*1 � 8�8Hq��rA#(/-*(�6�6���6 � ( 1�>#�/%�!P3BA � 1 � � 7� (*1�>.�2%2!P3`A#�*1 � 8�8Hq��O>*(0I � (*1�>#�/%2!#4�60(2+#��6 >&�0-�' ���

� (*1�>#�/%2!U3BA#�*1 �� (*1�>#�/%2!#4�60(2+#��6 >&�0-�' ��� 7

� (*1�>.�2%2!P3`A#�*1 � 8�8Hq�� ����� �����������#"�� %��)$�� %���O�&%0-&��(*1"M � >�F/A#���Z6*�&3"> ��l*(0-#�/(�+.6��#7 �

��� � ��� ( 1=>.�2%2!P3`A#� 1 � 7� (*1�>.�2%2!P3`A#�*1 � 8�8Hq � '�#'������#"�� %��)$�� %��

�f1/%2!<3=>�-*( �B!#�0�$� � ( 1=>.�2%2!P3`A#� 1 �� 7� (*1�>#�/%2!W1/%2!<3=>�-*( �B!*> ��� 7

� (*1�>.�2%2!U12%2!<3=>�-&( �B!*> � 8�8Eq �[�"!#4*12%2!*>&��X0> � ( 1�>#�/%�!U1/%�!C3=>�-*(*�"!*> �� ( 1=>.�2%2!.4/�&�0�K+#%0��F � 7

� (*1�>.�2%2!U12%2!<3=>�-&( �B!*> � 8�8Eq �`32�/-.�2�#3 � ( 1=>.�/%�!U1/%�!C3">�-*(*�"!&> � � 7� (*1�>.�2%2!U12%2!<3=>�-&( �B!*> � 8�8Eq �rA#(/-*(�6�6���6 � ( 1�>#�/%�!U1/%�!C3=>�-*(*�"!*> ��� 7� (*1�>.�2%2!#4/>*�/-2' � 8�8Hq�� � (*1�>#�/%2!Z�/;�!<1�>&%0- ��� >&�0-2' � � 7� (*1�>.�2%2!#4�6�(�+#��6 >&�0-2' � 8�8Eq � ( 1=>.�2%2!R60(2+ �&6 �

� � ��� (*1�>#�/%2!R6�(2+ �&6 � 7� � ��� (*1�>#�/%2!R6�(2+ �&6 � 7

� (*1�>.�2%2!\60(2+ �&6 � 8�8Hq � !#("')� �

p1´PX�25E}Q A 7:6BQR0S4xCfESViTL0�EFONON0SO�X�7UEF9®EFQRX'6h7:9�0R´PMIEF9N456h7:9+E=�¤X�032�X A 0�EFQRX'687:9l6B4�Od0R¸&9N0SO�oITWViX A 0�GN4�07F� 8 '.�0>/M#%�� 43odEF4xOd0S4'QR2568T�0SO�6B9+^W0SQRX'6h7:9À;F;=<DZs9+EFQRX'6h7:9�Ks6hX A 9d7-0R´PMIEF9N456h7:9�684�Q3EFJ8Jh0SO�E � ( ��.���1 � , ��/c�1 � e 0���7F2��'GN4�X�E � ( ��.���1 � , �3< [%X�6B4.EFJ8K.E{VW4DML7:4'456hTIJh0(X�7gX�0SJBJ&TWVfX A 0�EFQRX'687:9�Od0R¸&9N6hX'687:9Y6h��X A 0zEFQRX'6h7:9684xMN256BC-6hX'6h�F0 &L6h�qEFJ8J�6hX'4x0R´PMIEF9N4'687:9N4sE=250�ON0R¸&9d0SOl�W6BEYCg03X A 7WON4So�X A 0S9®X A 0 8E��X2A#(2!<3��2%2! E=2'c:GNCg0S9HX4 A 7:GIJ8O}T�0�X A 0�4�VPC�TL7:J 8 '.�0>/M#%��#3 <Zx9�EFQRX'6h7:9�C-E{V®T�0�0R´PMIEF9NOd0SO®689HX�7iE�4�X�25GIQRX'Gd2'0�7F�.EFQRX'687:9N43o#0S6hX A 032zE�4�03256h0S4]_~M&E=25EFJ8Jh0SJ�QR7:C�TI6»_

9NE=X'6h7:9#oW7F2{oP68�#X A 0�Od7:C-EF689}Od0SQ3J8E=250S4�2'0SwHGI6h2'0SCg0S9HX 8E��(�I*40��X2A#(2!<3��2%2!C3 EF9�E=2'T&6hX�25E=2'VgMIE=25X'68EFJI7F2�Od032|¤K�6hX A 4�X�03M&4.JBE=T�0SJ80SOfTWV >*(0I ��<1[%�#X A 032'0�684.EgQ A 7:6BQR0x7F� 0R´WM&EF9N4'6h7:9N4SoW6hX�684�689NOI68Q3E=X�0SOYGI4'689dc 1BM#%*��1/� <Z ��%0-.32%='.� T�0 A ES�F0S4�JB6hmF0�E-Q A 7:6BQR0�EFCg7:9dcfEFJBJ#6hX'4D689N4'X'EF9NQR0S43<@(A 0�7:9NJhVfT&GN68JhX]_�689UEFQRX'6h7:9iX�0325C 684 � 4�4 7 od7F2�0.e���e��&<Zx9�VWK A 03250zEF9iEFQRX'6h7:9�6B4(EFJ8Jh7¥K�0SO�odX A 0z0R´WM&EF9N4'6h7:9�C-E{V A ES�F0�EF9�0R´WMI2'0S4'4'6h7:9U7F��X A 0z�¤7F25C

�[�B!.4*12%2!&>*��X0> �#�0c 1 �Te 0 3 � ��c��8 A&-*�*1/%2!*�#�=>.�/%�! �8 '.( �B!*>*(*�"!�� 7

@(A 6B4.QR7:9I4�X�25GNQRX(684DGI4�0SO�X�7-Od0SQ3J8E=250�MN2'0SQR7:9NON68X'6h7:9N4�EF9NO�C-EF689HX�0S9NEF9NQR0�QR7:9NON6hX'6h7:9I4�7F��EFQRX'6h7:9N4(X A E=XE=2'0�ONGd0(M&Gd2'0SJhV�X�7�X A 0S6h2q7PQ3Q3Gd2'2�689dc�689fX A 0sQR7:9HX�0R´PX.7F�ºX A 684 0R´PMIEF9N456h7:9�<D|¤[aX�4 A 7:GNJBO 0.e 1&TL0sGN4�0SOfX�72'03ML0SE=X�X A 0gMN250SQR7:9NON6hX'6h7:9I4xEF454�7WQ36BE=X�0SO�K�6hX A X A 0-ON0R¸&9N6hX'6h7:9l7F�.X A 0-EFQRX'6h7:9�68X'4�0SJh�%< ���d7F2�0R´PEFC-MIJh0FoX�7f689ION68Q3E=X�0zE�MIJ8EF9UX�7f03�©EFQ3GNE=X�0�EF9iE=2'0SE-7F���¤256h0S9IONJhVg�¤7F25QR0S4�EF9NOiX A 0S9i4 A 0SJBJ�68X3oN7:9d0zC-6hc A XDK(2568X�0�`3��0-#�/�#3P�[1060��(/-\V/(/-*��(#7

�[�"!#4*12%2!*>&��X0>n�`3`M#��6�6mV2(0-*��(.78TA*-&� 1/%�! � ��>.�2%2!n�r! %0>s�@�0X#��3=>)3U�[V�XY4k;�!<�=><7

��(2!*�n���0-.�/��! �&6/F\V�X)7p�[�B!UV2XWV2(0-*��(.7�7�7�7�7�7

;3¦

Page 12: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

Zx4-4�VP9�X'EFQRX'6BQ�4'Gdc:E=2{oDµs¶g¶g·¾EFJ8J87{K�4gVF7:G X�7�K(256hX�0 �@( 1BM<�2�0l*� � 7 EF4fEF9 E=TNTN2'03�P68E=X'6h7:9 �¤7F2�[�B!.4&1/%2!&>*�0X�>n�@4�4 7$8 A&-*� 12%2!*�#��>#�/%�! � 7 <@(A 0 �f1/%�!C3=>�-*(*�"!#�0����� � 7 4�VP9�X'E©´�EFJ8Jh7¥K�4���EF6h25JhVlE=2'TI6hX�2�E=2'V+��Gd2'X A 032zQR7:9NON6hX'6h7:9I4�X�7�TL0-68C�_

ML7:4�0SO-7:9}EF9}EFQRX'6h7:9Y4'M�0SQ=oWK�6hX A J8E=TL0SJ84q4�X'EF9ION689dcz689f��7F2�EFQRX'6h7:9N4.EF9NOfX A 0S6h2q0S9IOdML7:689�X'4S< @(A 0sJ8E=TL0SJ84E=2'0�Od0R¸&9d0SO�TWV�X A 0 �O>*(0I �d� � �[� 3 �/c 1 �Te 0 7 QR7:9N4'X�25GNQRX3<(Z J8E=TL0SJ#4�X'EF9NOI4(�¤7F2sX A 0�K A 7:Jh0�EFQRX'687:9À|¤7PQ�_Q3Gd2'250S9NQR0¥�sGN9NJh0S4'4x6hX�684�wWGNEFJ86»¸I0SO+TWV �}7F2 �No#689lK A 68Q A Q3EF4'0-6hX�4�X'EF9NON4x�¤7F2�X A 0�T�03c:6B9N9N689dcY7F2�0S9NO7F��X A 0�EFQRX'6h7:9#<�[]9N4'68ON0 � o �[32�0-#�/� 3�� ����� ]�]�] � ��7 68C-M�7:4'0S4(EF9iEFONON68X'6h7:9NEFJL7F25Od032�689dcg2'0SwWGN6h2'0SC-0S9�X7:9�X A 0DX'68C-0DM�7:6B9�X'4�X'E=cFcF0SO � ������� � � < �f�"!.4&1/%�!*>*�0X�>D�`32�/-.�2�#3�� � ]�]�] � �07 ��c�e 0)a ��1 �Te 0 3 � 7 Q3EF9gTL0GN4�0SOfX�7�6BCgML7:4�0D0R´WX�2�E�QR7:9NOI6hX'6h7:9N4�|¤7F2�EF9N9d7:GI9NQR0�0R´PX�25E�0���0SQRX'4�� 7F��X A 0x689�X�0325�©EFJ&QR7F2'2'0S4�ML7:9NON6B9dc�X�74'GNQ A EF9iEFONOI6hX'6h7:9NEFJL7F25ON0325689dcd<�d7F2�0R´PEFC-MIJh0Fo�X�7�0R´WMIEF9IOgEF9fEFQRX'6h7:9-6B9�X�7z�¤7:Gd2 4'GNTIEFQRX'6h7:9N4 ���)7 o �OQ)7 o ���.7 o:EF9NO �!�<7 oF4'GNQ A X A E=X

���.7 MN2'0SQR0SOd0S4 ��Q<7 EF9NO �!�<7 oNEF9NO ���.7 MN250SQR0SOd0S4 �!�<7 oNK�6hX A QR7:9ION6hX'6h7:9 ���<7 C-EF6B9�X'EF689N0SOU��2'7:C X A 00S9NO�7F� ���.7 GN9HX'68J�X A 0z0S9NO�7F� �!�<7 odK(256hX�08r�0X/A (2!C30�/%�!s�[12%2!<3=>�-&( �B!#��� ���[32�/-.�/� 3p�O>&(�I���� � �2! �&4�(#7�7P��Q<7�7

�[32�/-.�/� 3p���#7p�O>&(�I�� � + ��I&40�)7U�!�C7p� � �2!*�*40�.7�7�7�7�f�"!#4*1/%�!*>&��X�>D�`3��0-.�2�#3K��! �&4�(K+ ��I*4/�Z�2!*�*4/�)7

8�')( �B!*>&( �"!����)7�7�7

Zx4(EF9i68JBJ8GN4�X�25E=X'687:9f7F��EFJ8JLX A 684So A 032'0z684DEg�¤25E=c:Cg0S9HXD7F��X A 0z�s9I6h�F03254'6hXaVf7F��k+E=25VWJ8EF9IO @ 25EF9I4'Jh7FcOd7:C-EF6B9�½»;R¿~oI4�ML0SQ36h�¤VW6B9dc A 7{K X�7fGI9NJh7:EFO�E �&E=X�TL0SO�X�2�GNQ'm�j

� 8r( 1=>.�2%2!L;�!.60%�(��8 A (0-&(=')�/>*�/-)3W�[V"AW4SA ( 1 �*(�I��mV�l\4kl&�2M<��1060�YV06Z4m6�%*1/(/>.�/%�!N78r�0X/A (2!C30�/%�!

�f1"M % ��12�

]�]�] � 32�/l*�/-*(&6Z1"M#%*��12�#3K��6*�2���������%0-)3�%='.�$�[V�1L4R1�-*(�!#�#7

�[�"!#4*12%2!*>&��X0>�[12%2!<3=>�-&( �B!#���

�`3��0-.�2�#3p��>*(0In�rA)��1 � 4�;�A.4�A ( 1 � (�I��&42l*�2M)��1/6��V"ApV�1ZV�lWV06 7

� � �2!*�*4=! ��7�7��>*(0In� � +#�0I*4=! �#7

�rA�;*> 4/�&%25�!.4=A#(*1 � (0I&��40I�-&%2;�! �V"ApV�1ZV06#7�7�7

�f�"!#4*1/%�!*>&��X�>D�`3��0-.�2�#3K��! �&4�! � +#��I&4�! �#78�')( �B!*>&( �"!��@(�! ���@(/> 4=A#( 1 � (0I&�mVBAPV�1&7

�@(/> 40��:/;)�"A/')�2!&>YV�1ZV06 7�7�7�78 A&-*�*1/%2!*�#�=>.�/%�!���(2!*�����*60(0>/+#���mV�l)7

�@�='&A*>�F\V�1&7�@(0>*4�A ( 1 �*(�I��mV"APV=l<7�@(0>*4/l&�2M<��1060�mV�lWV/6#7�@(0>*4��0:/;<�BA0'.�2!*>mV�1ZV/6#7�7�7�7�7�7

;F;

Page 13: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

rs7FX�0-X A E=X�µ�¶g¶g·¡Od7W0S4�9d7FX�EFJ8Jh7{K VF7:G®X�7i4'M�0SQ368��ViK A 03X A 032�6hX�. ��� ��3 3 ��0 3 �xX�7i689N4'032'Xx4'X�03MI4�X�7EFQ A 6h03�F0DEF9�6B9P_�QR7:9�X�0R´PX�MN2'0SQR7:9NOI6hX'6h7:9z7F��EsQ A 7:68QR0z|�EF4�7FMNML7:4�0SO�X�7�GN4'689dcs6hX�EF4�E !%¸&JhX�032 #sQR7:9NOI6hX'6h7:9&��<@(A E=XD��EFJ8J84D6B9�X�7-X A 0zQ3E=X�03cF7F2'V�7F�1EFOd�W6BQR0FoNK A 68Q A 684 A EF9NOIJh0SO�689�E�MIJ8EF9I9d032�_�4�ML0SQ36»¸&QsK�ESVF<@(A 0 A#(0-&(&6�6��&6 QR7:9N4�X�25GIQRX 68CgML7:4�0S419d7�QR7:9N4�X�2�EF689�X'4 7:9gX A 0D0R´P0SQ3GdX'6h7:9g7F25ON03217F��6hX'41E=25c:GNCg0S9HX'43<

ys7{K.03�F032SodE�J8E=TL0SJNEF4'4'7WQ368E=X�0SOYK�6hX A E�MIE=25EFJ8J80SJNQR7:CgML7:4'6hX'6h7:9f684 EF4'4�7PQ368E=X�0SOYK�6hX A X A 0(¸I254'X EFQRX'6h7:9f7F�X A 0�QR7:CgML7:4'6hX'6h7:9YX�7�TL03c:689�oH6B9fX A 0�Q3EF4�0�7F�ºE !)� #�JBE=T�0SJ~o�7F2DX A 0�J8EF4�X�EFQRX'6h7:9}X�7�0S9NO�oP689fX A 0�Q3EF4'0x7F�E !)�N<%#�p(<£cd<hodX�7-689ION68Q3E=X�0�X A E=X(EgQR7:9NON68X'6h7:9}T�0�X�25GN0x�¤2'7:C X A 0�0S9NOU7F� ( 1=> � GN9HX'68J�Eg4�03XD7F��EFQRX'687:9N4ML032'�¤7F25Cg0SO�689UMIE=2�EFJ8Jh0SJ�K�6hX A ( 1=> � E=2'0�¸&9N684 A 0SO�oPK(256hX�0

�[12%2!C3">�-&( �"! ���$�O>*(0In�rA (0-&(&6�60�&6$��>*(0In�@(*1�> �07P� � ��! �*40( 1=> ��7�7��( 1=> �#7

]�]�]��( 1=>��<7�7� � (�6�60��%2! �.7�7

�[�B!.4&1/%2!&>*�0X�>$�`32�/-.�2�#3K��! �*40( 1=> � (�6�60��%2! �.78�')(*�"!*>&( �B!s�[12%2!*�#��>#�/%�!N7�7�7

[%� X A 0zOd7:C-EF689�Od0SQ3JBE=2'0S4D2'0SwWGN6h2'0SC-0S9�X 8E��%0-*��( 1BM.4��0X/A (2!C30�/%�!C3 oFX A 0S9iEF9iEFQRX'6h7:9�Q3EF9 A E{�F0�EF90R´PMIEF9N4'6h7:9f7F��X A 0��¤7F25C �O�&%0-&��(*1"Ms���)7 �f| � � � | � � 7 oWK A 032'0 � 684�E�4�03X.7F��X�VWML0SO-�=E=2568E=TIJ80S43o �f| � �684�E�MN2'0SQR7:9ION6hX'6h7:9�oPEF9NO � | � �.684DEF9�EFQRX'6h7:9�4'M�0SQ=< @�A 0�68Od0SE�684�X�7g0R´WM&EF9NO}X A 0�EFQRX'6h7:9i689HX�7 �3032'7g7F2Cg7F2'0�7PQ3Q3Gd2'250S9NQR0S4�7F� � | � ��oI7:9d0���7F2D0SEFQ A 689I4�X'EF9NQR0�7F���Y| � ��X A E=X(684�X�2�Gd0�T�03�¤7F2'0�689}X A 0z4'68X'GNE=X'6h7:9K A 0S9�X A 0f0R´PMIEF9NON0SO¼EFQRX'6h7:9¼TL03c:689N4�0R´W0SQ3GdX'687:9�<¼|~^W030UZ�MIM�0S9ION6»´lZ �¤7F2�E�MN250SQ3684�0fOd0R¸�9N6hX'6h7:9�7F�K A E=X(68X(Cg0SEF9N4D�¤7F2sEF9iEFQRX'687:9P_�4�ML0SQ�X�7-TL0�4'E=X'684]¸&0SO�THVUEF9iEFQRX'6h7:9+4�0SwWGd0S9NQR0F< �@(A 0�4�VP9HX'E©´+7F�qX A 0�J8EF9Nc:GNE=cF0�M�032�C-6hX'4xJ8E=TL0SJ84�X�7U7PQ3Q3Gd2�689N4'6BOd0 1"M % ��1/� EF9NO �&%/-*��( 1"M EFQRX'6h7:9

4�ML0SQ343<À[aX-6B4�E�QR7:9I4�0SwHGN0S9NQR0�7F�sX A 0���7F25CfEFJD4�0SC-EF9HX'68Q34g7F�sZsMNML0S9NON6h´�Z X A E=X�|�E��gE�QR7:9N4�X�25EF689HXCg0S9HX'6h7:9N689NcYEUJ8E=TL0SJ 6B9N4'68Od0�E 1"M#%*��12� TI25EF9NQ A X A E=X�Od7W0S4'9�u£X�7PQ3Q3Gd2�Od7W0S4'9�u£X�QR7:9N4�X�25EF689®EF9HVHX A 689dc &|¤T���E�QR7:9N4�X�25EF6B9�XqC-0S9�X'6h7:9I689dczEz2503��032'0S9IQR0(X�7�E�J8E=TL0SJd689N4'68ON0�E ��%0-*��( 1BM 7F2 �&%/-)32%"')� �¤2'7:C¾7:GNX'4'68Od0Od7W0S4'9�u£X(QR7:9N4'X�25EF689iEF9HVHX A 689dcd<[]9+^W0SQRX'6h7:9+«�K�0�Cg0S9�X'687:9d0SOUX A E=X�EF9+EFQRX'6h7:9iOd0R¸&9I6hX'6h7:9UC-ESV�QR7:9HX'EF689�EF9�E=2'c:GNCg0S9HX

8r%�!.6/F*4*�B!.4��0X/A (2!C30�/%�!C3 <[%�qX A 684x684 > |�ON03�¤EFGNJ8X�6B4 !<�06 ��oLX A 0S9�EUMIJBEF9N9d032�684�9d7FX�EFJ8Jh7{K.0SO®X�7iEF4'4'GICg0�X A E=Xz689N4�X'EF9NQR0S4�7F��X A 0EFQRX'6h7:9 E=250���0SEF4'68TIJh0�6h�s68X'4�MN2'0SQR7:9NON68X'6h7:9N4�E=2'0i4'E=X'684�¸I0SO�< [%9I4�X�0SEFO�o�68X�Q3EF9�689NQ3J8GIOd0YEF9 EFQRX'687:9 689E+MIJ8EF9�7:9IJhV�6h�(6hX�7PQ3Q3Gd254�EF4�X A 0f0R´PMIEF9N456h7:9�7F�(4'7:Cg0Y7FX A 032�EFQRX'687:9�< @(A 0Y689HX�0S9NOd0SO¼GN4�0f7F��X A 6849d7FX'E=X'6h7:9®684�X�7}6B9NON68Q3E=X�0�X A E=XsK.0�ON7}9d7FXs2'0SEFJ8JhVUmP9d7{K EFJ8JºX A 0�MN2'0SQR7:9NON68X'6h7:9N4D7F�1X A 0�EFQRX'6h7:9�o �'GN4�X4�7:Cg0�4�X'EF9NONE=25O�QR7:9HX�0R´PX'4s689UK A 68Q A X A 0�MN2'0SQR7:9NOI6hX'6h7:9N4DE=2'0z45Gd2'0�X�7-TL0z4'E=X'684�¸I0SO�<^W030Y^P0SQRX'6h7:9 ;F;��¤7F2�E�9d7FX'E=X'6h7:9�X A E=XzEFJ8Jh7{Ks4�Q3GNC�TL03254'7:Cg0-EFQRX'6h7:9�0R´PMIEF9N4'687:9N4xX�7iTL0�TI2'7FmF0S9

689HX�7-Cg7F2'0�CfEF9NE=cF0SE=TIJh0zM&6h0SQR0S43<

� �U� ��� � �

Z�´P6h7:Cf4sE=2'0�Jh7Fc:68Q3EFJ ��7F2�C�GNJBEF4�X A E=X�EF4'4�0325X�2'0SJ8E=X'687:9N4 A 6hM&4(EFCg7:9dc}MN2'7FML7:4'6hX'687:9N4DX A E=X A 7:J8O�Ks6hX A 689El4'6hX'GNE=X'6h7:9 |�EF4�7FMNML7:4�0SO¼X�7®EFQRX'687:9ÀON0R¸&9N6hX'6h7:9I43o K A 68Q A Od0R¸&9d0Y2'0SJ8E=X'6h7:9I4 A 6hMI4�EFQR2'7:4'4g4'GNQ3QR0S454'6h�F04'6hX'GIE=X'6h7:9N4���< @ 7 A E{�F0�E©´P687:C-43oIEgOd7:CfEF689iC�GN4�X(Od0SQ3J8E=250�2'0SwHGI6h2'0SCg0S9HX 8H�&%='.( �B!.4�(0X#�2%='t3 <

;S>

Page 14: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

� (0X#�/%"'<4/�&��� � 8�8Eq��#8E(�X �/%=' ��� � � 789l*(/-)3?� � >�F/A#���Z6*�&3">��Ol&(0-#�/(2+#6��#7 � 78O1/%�!*>*�0X�> ��� � �8O�`'&A.6*�2�#3 � 6*�=>*�0-&(&6o�O>*�/-2't7 � 7

@(A 0 8Hl&(0-)3 ¸I0SJ8O�TL0 A ES�F0S41J868mF0�E�GN9I6h�F03254'EFJWwHGIEF9�X'6»¸&032S<�ZxJ8JWX A 0��=E=2568E=TIJh0S4�X A E=X�7PQ3Q3Gd2 689�X A 0DE©´d6h7:CC�GN4�XDTL0zOd0SQ3J8E=2'0SO A 032'0F<�d7F2s0R´PEFC-MIJh0FoNK.0zC-6hc A X(Od0R¸&9d0�X A 0�Q3J8EF4'4'6BQ3EFJLTIJh7PQ'mP4]_~K�7F2�J8OUMN2'0SON6BQ3E=X�0S4 (�+#%0l&� EF9NO 1060��(/- EF4

�¤7:J8Jh7{Ks43j

�#8E(�X �/%='89l*(0-.3p�[V�X\V�FR4SA�M&F)3�%2+N78O1/%2!&>*�0X�>n��%2!PV�X\V�F<78O�`'*A#6*�2�#3P��(2+ %0l*�mV2X\V�F)7�7�7

� 8r(0X#�/%"'89l*(0-.3p�[V�X\V�FR4SA�M&F)3�%2+N78O1/%2!&>*�0X�>n����X �&3=>.3p�[V�uY4KA�M&F)32%�+N7

�@(�! ���@%�!PV2X\V�u)7p�@(�+#%/l*�YV�u\V�F<7�7�78O�`'*A#6*�2�#3P��(2+ %0l*�mV2X\V�F)7�7

� 8r(0X#�/%"'89l*(0-.3p�[V�XY4KA�M&F)32%�+N78O1/%2!&>*�0X�>n��%0-s�Oq\V2X��*(�+.60�.7

�E!#%0>s����X �&3=>.3p�[VB+\4S+.60% 1 �<7�@%�!PV"+PV2X.7�7�7�7

8O�`'*A#6*�2�#3P�f1060��(0-RV2X)7�7

�x9NJh0S4'4xEUOd7:C-EF689lOd0SQ3J8E=250S4s250SwHGN682'0SCg0S9HX 8H>�-0;#��4�! ��I&(/>.�2%2! o ! %0> 684sX�2'0SE=X�0SO�GN4'6B9dcfX A 0�X�0SQ A _9N68wWGd0}7F�$!�9d03c:E=X'687:9 EF4��¤EF6BJ8Gd2'0 #À½ 4F¿~< @(A E=X�C-0SEF9N4g6hX�C-E=mF0S4-9d7�4�0S9N4'0}X�7Sc@e 0.c`� + a �-El9N03c:E=X�0SO�¤7F25C�GIJ8E�&DX A 03V 4 A 7:GNJ8OÀ7PQ3Q3Gd2-7:9NJ8VÀEF4-ON0SONGNQRX'6h�F0�cF7:EFJ84So�K A 0S9 �E!#%/>��)7 45GNQ3QR030SON4-6h�xEF9NO 7:9NJ8V6h� � �¤EF68JB43< |¤[a� � QR7:9HX'EF689N4��=E=2568E=TIJh0S4So1X A 0U2'0S4'GNJhX'4�E=2'0iGI9NOd0R¸&9d0SO#< �!y�0S9NQR0iE©´d6h7:C-4�E=2'0�X�250SE=X�0SOON6h250SQRX'6h7:9NEFJ8JhVFodEFJhK�ESVP4�GI4�0SO�X�7fQR7:9NQ3JBGNOd0�X A 0 8��['*A.6&�/� 3 ¸I0SJ8O�odEF9NO�9d03�F032�X�7fQR7:9IQ3J8GNOd0zEg�¤7F25C�GNJ8E�¤2'7:C X A 0 8�12%2!*>&��X0> ¸I0SJ8O�<i|~�x��QR7:Gd254�0Fo K A 03X A 032zEF9�E©´P6h7:C 684�GN4�0SO��¤7F2'K�E=25O®7F2�T&EFQ'mWK.E=25O�684zEC-E=X�X�032s7F��EFON�W68QR0FoNEF9IO+µ�¶g¶g·�684D4'6BJh0S9�XD7:9iX A 684D684'45Gd0F< �Zx9d7FX A 032�68CgML7F2'X'EF9HX 2'0SEF4�7:9Y�¤7F2�X A 0xON6h2'0SQRX'687:9NEFJ86hXaV�7F�#E©´d6h7:C-4.684qX�7�ES�F7:6BOY7¥�F0325JhV-QR7:CgM&Jh0R´f689P_

X�0325EFQRX'6h7:9I4 K�6hX A EFQRX'6h7:9YOd0R¸&9N68X'6h7:9N43< @�A 0�25GNJh0D684�X A E=X�EFQRX'6h7:9-Od0R¸&9I6hX'6h7:9N4�E=2'0(9d7FX EFJBJh7{K.0SOgX�7 A E{�F00��L0SQRX'4�X A E=X.Cg0S9HX'6h7:9YMN2'0SON6BQ3E=X�0S4qX A E=X�7WQ3Q3GN2.689fX A 0 8O�`'&A.6*�2�#3 ¸I0SJBO-7F�#EF9}E©´P6h7:Ci< @(A 0�689HX�0S9HX'6h7:9684�X A E=XgEFQRX'6h7:9 Od0R¸�9N6hX'6h7:9N4�Cg0S9HX'6h7:9 !]MN2568C-68X'6h�F0 #iMN250SON68Q3E=X�0S4�J86hmF0 %�! o EF9NOÀX A E=XgEFJ8J�Q A EF9dcF0S4g689X�25GdX A �=EFJ8Gd0�7F��!�Od032568�F0SO�#�MN2'0SON6BQ3E=X�0S4DJ86hmF0 (�+#%0l&� 7WQ3Q3Gd2�X A 2'7:Gdc A E©´d6h7:C-43<1� 6hX A 7:GNX(E©´P6h7:Cf43odX A 0EFQRX'6h7:9gOd0R¸�9N6hX'6h7:9N4 K�68JBJ A E{�F0(X�7zOd0S4'QR2568T�0.Q A EF9NcF0S4 689�EFJ8JWMN2'0SON6BQ3E=X�0S4�X A E=X1C-6hc A X�TL0DE �L0SQRX�0SOgTHV�EF9EFQRX'6h7:9�oIK A 68Q A Jh0SEFON4DX�7fEfQR7:CgMIJh0R´�4�7F�¤X�K�E=2'0�0S9dc:6B9d030325689dci|¤7F2/!�ON7:C-EF689�0S9dc:6B9d030325689dc #���MI2'7FTIJh0SC�<[%�qE}Od7:C-EF689lOd0SQ3J8E=2'0S4x2'0SwWGN6h250SCg0S9�X 89>�-0; �&4=!#��I�(0>#�/%2! |¤K A 6BQ A 68CgMIJ8680S4 8E%2A#��!.4�5 %0-*60� ��oIX A 0S9

0R´dEFQRX'JhV A 7{K¾EFQRX'6h7:9�ON0R¸&9N6hX'6h7:9I4�689HX�0325EFQRX�K�6hX A E©´d6h7:C-4�TL0SQR7:Cg0S4 A E=25OlX�7iGN9NOd03254'X'EF9NO�oLEF9NO®X A 0C-EF9NE=cF0SC-0S9�X�X'E=mF0S4g9d7�250S4�ML7:9N4'6hTI6BJ86hX�V���7F2�X A 0Y7:GNX'QR7:Cg0F<¼|��d7F2g0R´dEFCgMIJh0Fo�6h��X A 032'0}684�EF9ÀE©´d6h7:C

;S§

Page 15: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

����������oWEF9NOUEF9�EFQRX'6h7:9�Q3EFGI4�0S4 �E!#%0> � 7 K A 0S9 � EF9NO��!E=2'0�X�25Gd0FodOd7W0S4 � TL0SQR7:Cg0���EFJ84�0x7F2�©�@(A 0®ON7:C-EF689�2'0SwWGN6h2'0SCg0S9HX 8�3B;�+*I&%�(&6�42>0M&-*%2;*I/M#4�(�X �/%"'t3 689ION68Q3E=X�0S4UX A E=XiEÀcF7:EFJz689H�F7:Jh�P689dc

Od032568�F0SO MN2'0SON68Q3E=X�0S4�C-ESV A E{�F0�X�7 TL0�4�7:Jh�F0SOTWV ¸�9NON689dc EFQRX'6h7:9N4iX�7 Q A EF9NcF0�X�25GdX A �=EFJ8Gd0S4�7F�2'0SJ8E=X�0SO+MN256BC-6hX'6h�F0�MN2'0SOI68Q3E=X�0S43<(�d7F2�0R´dEFCgMIJh0Fo�E-cF7:EFJ ��(2+#%/l*���,Q)7 C-68c A X(TL0�EFQ A 6h03�F0�TWV}0S68X A 032EFQ A 6h03�W6B9dc �@%�! �,Q<7 7F2�EFQ A 6h03�P689dc ��(2!*���@(2! ��� 7p�@(2+ %0l&� � Q<7�7 ��7F2�4�7:Cg0 � <iZ�ON7:C-EF689X A E=X�Od7W0S4q9d7FX�Od0SQ3J8E=2'0sX A 684q2'0SwHGI6h2'0SCg0S9HXqC-E{V-4�X'68J8J A ES�F0�E©´P687:C-43o�T&GdXqX A 03VgKs68J8JPTL0sGN4'0SO-7:9NJhV��¤7F2X'68Cg0SJ80S4'4�MN2'0SON6BQ3E=X�0S43<rs7FX�0�X A E=XsEgc:6h�F0S9�MN250SON68Q3E=X�0zQ3EF9iTL0z689UX A 0 8O�`'&A.6*�2�#3 ¸I0SJ8OU7F�1Cg7F250�X A EF9�7:9d0�E©´d6h7:C�<

��� � ���` � ��� �����2���C� � �����

Z Od7:C-EF689 Od0SQ3J8E=2�689dc®2'0SwWGN6h2'0SCg0S9HX 8�32(����0>�F 4*12%2!<3=>�-&( �B!*>)3 684gEFJ8J87{K.0SO X�7�4�ML0SQ36h�¤V 3f�r� �,1 �jc�e 0��3 1 (�� ��021�3 � Od0R¸�9d0SO®EF4�TIEFQ'mWcF2'7:GN9NO®cF7:EFJB4�X A E=X�C�GN4'XxTL0�4'E=X'684]¸&0SO+X A 2'7:Gdc A 7:GdX�X A 0�MIJBEF9N9N689dcfMN2'7=_QR0S4'43<�Z MIJBEF9�684xEFJ8Jh7¥K�0SO+7:9NJhVi6h� E=X�6hX'4s0S9NOl9d7:9d0�7F�qX A 0S4�0�TIEFQ'mWcF2'7:GN9NOlcF7:EFJ84�684s��EFJ84�0F<�[]9+7FX A 032K.7F25ON43o�6h�17:9d0�7F�qX A 0�QR7:9N4'X�25EF689HX'4s684s�P6h7:J8E=X�0SOlE=Xx4�7:C-0�ML7:689HX�689iX A 0�MIJBEF9�o&6hXsC�GN4'X�TL0SQR7:Cg0�X�25Gd0E=c:EF689�TWVUX A 0�0S9NO�<

� 3�(����0>�F*40����� � 8�8Eq��#8�32(0�&�0>�F ��� � � 7

�d7F2s0R´PEFC-MIJh0FoP7:9d0zQR7:GNJ8O�QR7:CfC-EF9NO�Eg4�7F�¤X�TL7FX�|�4�7F��XaK.E=250�2'7FTL7FX��qX�7fES�F7:6BOiOd0SJh03X'689Nc�¸�Jh0S4.X A E=XE=2'0�9N7FXDTIEFQ'mF0SOlGdM�7:9�X'E=ML0zK�68X A X A 0z�¤7:J8Jh7{Ks689dc�QR7:9N4�X�25EF689HX3j

�#8�32(0�&�0>�F����%0-*(�6�6$�fV2�.7

��%0-s��� �060�YV2�.7p��5&-#��>�>*�2!#4/>&%&4/>&(2A �ZV��)7�7�7�7

Zx4D03�F032'VWK A 032'0�0SJ84�0z689�µs¶g¶g·(od�¤2'030z�=E=2568E=T&Jh0S4DE=2'0�9d7FX(EFJBJh7{K.0SO�<[%X�684�68CgML7F2'X'EF9HXzX�7+9N7FX�0YX A E=X�4'E=�¤03X�V�QR7:9N4'X�25EF689HX'4�Od7 0.e 1�2'0SwHGI6h2'0-EF9ÀE=cF0S9�X�X�7 . ��� ��X A 0SC

X�25Gd0 &d2�E=X A 032SoNX A 0zE=cF0S9HXsC�GN4�XsES�F7:68O+QR2'0SE=X'689dc 0������P6h7:J8E=X'6h7:9N4�7F��X A 0zQR7:9I4�X�25EF689HX'43<q�d7F2s0R´PEFC-MIJh0Fo6h�qE�QR7:9I4�X�25EF689HX�4�ML0SQ36»¸I0S4xX A E=XzEFJ8J�7F��C�Vi¸�Jh0S4�TL0�2'0SEFO®MI2'7FX�0SQRX�0SO�o#X A 0S9®X A 0-E=cF0S9�X�K.7:GNJ8O®ES�F7:6BOQ A EF9dc:689dczEF9HV�7F�LC�V�¸&Jh0S4�X�7zTL0�2'0SEFONE=T&Jh0 &:TIGdX16h�&C�V ] A.6�(�! ¸�Jh0D684�EFJh2'0SEFOdV�2'0SEFONE=TIJ80�6B9�X A 0(689N6hX'68EFJ4�X'E=X�0Fo&X A 0S9�X A 0�E=cF0S9HX�K.7:GNJ8O�9N7FXDMN2'7FX�0SQRX�X A E=XD¸&Jh0F<�d7F2xOd03X'EF68J84(7F��4'E=�¤03X�ViQR7:9I4�X�25EF689HX'43odMIJh0SEF4'0z2'03�¤032(X�7+½»;F;R¿~<^PE=�¤03X�V�QR7:9N4�X�2�EF689�X'4q4 A 7:GNJ8O�9d7FX1TL0�QR7:9d�¤GI4�0SO�K�6hX A 8H>#�`'.�&6�� 3�3 MN2'7FML7:4'6hX'687:9N43<�|~^W030s^P0SQRX'6h7:9�4d< �

@ 68C-0SJh0S4'4YMN2'7FML7:4'6hX'6h7:9I4YE=2'0�EFJhK�ESVP4�X�25GN0®6B9�EFJ8JxMN257FTIJh0SC-4}689�X A 0�Od7:C-EF689#osEF9NO 6hX�4 A 7:GIJ8O TL068CgML7:4'456hTIJh0���7F2.EF9�VgEFQRX'6h7:9fX�7�Q A EF9dcF0�X A 0SCi<�ys0S9NQR0�9N7�4�ML0SQ368EFJdCg0SEF4'GN2'0S4qE=2'0�2'0SwHGI6h2'0SO�X�7�0S9I4'Gd2'0X A E=X(X A 03VUE=250z9d7FX(�P6h7:J8E=X�0SO�<

� � � � �����W� � � � �R� �� � ��� ��� � � � � ����� ������� �� ����� �N�!�

ZxJhX A 7:Gdc A µ�¶g¶g·!EFJ8Jh7¥K�4�ElOd7:C-EF6B9�X�7�TL0fON0R¸&9d0SO�EF4�7:9d0Yc:6hc:EF9�X'6BQ �&�0�#�"! � o 6hX�684z7F�¤X�0S9 Cg7F2'0QR7:9H�F0S9N6h0S9HX.X�7�TN2'0SE=mgX A 0xOd0R¸�9N6hX'6h7:9-6B9�X�7�MI6h0SQR0S43< @(A 0��¤7:J8Jh7{Ks689dc�9d7FX'E=X'687:9YEFJ8J87{K�4.EFONON689Nc�E©´P687:C-4EF9NOiEFQRX'687:9�0R´WM&EF9N4'6h7:9N4(X�7fEF9�0R´d684�X'689dcgOd7:CfEF689�j

;�4

Page 16: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

�������#�B!#�D��(����&�2!*�/;/' � ! (='.� � 7�#8E��%='.( �"! � !#("')� � 7� ��X0>�-&(&40����� ��� 7

� �0X�>�-&(&4/�&��� � 8�8Hq � (*1�>.�2%2!#40�&�0� �� �0X�>�-&(&4/�&��� � 8�8Hq�� '��)(�� $&%�������$��)(*� � (�X �/%=')40����� �� �0X�>�-&(&4/�&��� � 8�8Hq�� ��� ��$�� %������#"�� %��)$�� %�� � ')�0>/M#%0�*40����� �� �0X�>�-&(&4/�&��� � 8�8Hq � ������#�! ������ %�� � � $&%���� � 3�(����0>�F*40����� �� '.�0>0M %��&40�&�0� � 8�8Hq��#8�')�0>/M#%0� � (*1�>.�2%2!Z�/;�!)1�>&%0- �

� 8 ! (='.� � !#("')� � �8 A (0-&(=')�/>*�/-)3W� � >�F/A#���Z6*�&3">s�Ol&(0-.�2(2+#6��.7 � 7� (*1�>#�/%2!#40����� +#%��0F �

\qJ80SEF4�0z2'0SCg0SC�TL032�X A E=X3o�EF4�0R´PMIJ8EF6B9d0SO�689+^W0SQRX'687:9"4do&6B9�X A 0 !�4�X�2�68QRXs4'GNTI4�03X�#g7F�qµ�¶g¶g·�EFOIOd0S9NONEE=2'0�9N7FX(EFJ8Jh7{K.0SO�<[]9N4'68ON0�E ���&�0�#�B!#�D��(������2!*�/;0' ]�]�] 7 ]�]�] 7 0R´PMN2'0S454'6h7:9�o 8r( 1=>.�2%2! 4�EF9IO 8E(�X �/%=' 4�TL0 A E{�F0�EF4X A 7:Gdc A X A 03V A EFO�TL030S9�689NQ3J8GNON0SO+689®X A 0g7F256hc:689NEFJ ���&�0�#�B!#�$�O�&%"')( �B! ]�]�] 7 ]�]�] 7 0R´PMN2'0S454'6h7:9�¤7F2�X A 0�ON7:C-EF689�< 8 ')�/>0M %�� ON0SQ3J8E=25E=X'6h7:9N4�4�ML0SQ36h��V}��Gd2'X A 032(Q A 7:68QR0�ML7:689HX'4D�¤7F2(X A 0z0R´PMIEF9N456h7:9�7F�1EF9

EFJh2'0SEFONV�_�Od0SQ3JBE=2'0SOiEFQRX'6h7:9�o�EFJ8Cg7:4�XsEF4(X A 7:Gdc A X A 0zc:6h�F0S9 � ( 1�>#�/%�!.40����� +#%��0F �-6B9NQ3J8GNOd0SOU689I4'68Od0�E1"M % ��1/� 689�X A 0�7F256hc:689NEFJ#0R´WMIEF9I4'6h7:9i7F�1X A 0�EFQRX'6h7:9�<�|¤[%XxON7H0S4'9#u£X(K�7F25miwHGN68X�0zX A E=Xs9N0SE=X'JhV�TL0SQ3EFGN4�0X A 0gMIE=2�EFCg03X�03254�CfESV A ES�F0Y9d03K 9NEFCg0S4SoºEF9NO�TL0SQ3EFGN4�0-EF9 � ( 1=>.�/%�!.4/�&��� +#%0��F ��684�9d7FX�0R´dEFQRX'JhVK A E=X3uv4(0R´WML0SQRX�0SO�6B9�E 1BM#% ��1/� < �[]9®E�Cg03X A 7POlON0R¸&9N6hX'6h7:9#o&X A 0 � (*1�>.�2%2!#40�&�0�K+ %���F �UCfESV+9N7FX A ES�F0fEF9 8r�0����� 1�> ¸I0SJ8Ol7F2zEF9

8r%�!.62F 4*�B!.40��X/A (2!<3��/%�!C3 ¸&0SJ8O�<k+03X A 7POl9IEFCg0S4�E=2'0�EF9®EF68Ol689+Od0S4'QR256hT&689dc-MN257FTIJh0SC 4'7:J8GdX'6h7:9N4sEF4�4�X�25GNQRX'Gd250S4�7F�q6B9N4�X'EF9HX'68E=X�0SO

EFQRX'6h7:9+4'Q A 0SCfEF43<qpqEFQ A EFQRX'687:9 A EF4�68X'4�7{K�9+4�MIEFQR0z7F��Cg03X A 7POi9NEFCg0S4 &NX A 032'0�6B4D9d7f9d030SO�X�7YC-E=mF0X A 0SC GN9I68wHGN0�7{�F032�E�Od7:C-EF689#<z[a��EF9�EFQRX'6h7:9 A EF4�E�Cg03X A 7WO®4'GdMIMIJ86h0SO+689®6hX'4�7F256hc:689IEFJ Od0R¸�9N6hX'6h7:9�oX A 0�9IEFCg0�7F��X A E=X(Cg03X A 7POi684DX A 0z4'EFCg0�EF4�X A 0z9NEFCg0z7F��X A 0�EFQRX'687:9i6hX'4�0SJh�%<p ´PEFCgM&Jh0Fj

������� �"!#�$�@(����&��! �/;/'P12(0-�-�F 4B')�0>/M#%0�.3&78H�&%"')( �B!m>�-&(2!<3/6�%0I

]�]�]� 8 '.�0>0M %���� ������� 4���� �*4��*Q8T!#(='.�K;C3`;#(�68TA#(0-&(='.�0>*�/-)3U�[V"AW4KA ( 1 � (�I��YV�>#1ZV�>#1L4k>.1/��!*>&�0-<78E��X/A (2!<3��/%�!s�O�&%0-.32%"')�D�fV"M�;�+\4KM�;�+N7

�[�"!#4*12%2!*>&��X0>n�`3��0-#�/�#3P�[1/(/-�-�F 40� ��-&� 1�>mV"APV=>.1 �kV"M�;�+N7�[1/(/-�-�F 40� ��-&� 1�>mV"APVBM�;�+PV�>.1 �#7�7

8 A&-*�*1/%2!*�#�=>.�/%�!s����X#��3=>.3P�[V�1��=>�F �KV�1��=>�F �,4R1���>�FV=-*�0I �kV�-&��I��,4k-*�0I#�/%�!N7

�@(�! �n�f�"!#4*1��=>�F\V=>.1 �SV�1���>�F ��7�f�"!#4*1��=>�F\V=>.1 �mV�1���>�F �#7�f�"!#4/-*�0I#�2%2!WV�1��=>�F �KV�-*�0I �07�f�"!#4/-*�0I#�2%2!WV�1��=>�F �ZV�-*�0I � 7�[32�/-�l*� 3LV"M�;�+PV=-*��I ��7

;S«

Page 17: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

�[32�/-�l*� 3LV"M�;�+PV=-*��I��#7��(0l&( �060(2+#6��mVBM�;�+N7�7�7�7�7

8TA*-*�*1/%�! �#�=>.�2%2!n�r!#%/>s�rM (�u&(/-&��%2;C3SV"AC7�7�7

]�]�] 7

@(A 0f2'0SEF4�7:9ÀX�7®c:6h�F0UEFONOd0S9NOIE�9NEFCg0S4�684�4�7lX A 0}4'VW4�X�0SC�K�68JBJ1mW9N7{K K A 0S9ÀEF9¼EFOIOd0S9NONGNC�684TL0S689dc�2'0SOd0R¸&9d0SOU689I4�X�0SEFOf7F� TL0S689dc�EFOIOd0SO}��7F2�X A 0x¸I254'X�X'68C-0F<1� A 0S9UE ������� �"!#�$�@(����&��! �/;/'�� 7

]�]�] 7 0R´PMN2'0S4'4'687:9Y684q03�©EFJBGNE=X�0SO�odEFJ8JNX A 0xC-E=X�032�68EFJIMI2'03�W687:GN4'JhV�EF4'4�7PQ368E=X�0SO}K�6hX A � 684q032�EF4�0SOfTL03�¤7F2'0X A 0}Od0R¸&9N6hX'687:9N4zE=2'0}EFONOd0SO�< @(A 0}9NEFCg0Y7F�(EF9¼EFONON0S9NONGNC 6B4�Jh7PQ3EFJ X�7l6hX'4�ON7:C-EF689�o�4�7+ON6'��032'0S9HXOd7:C-EF6B9N4DQ3EF9 A E{�F0�EFONOd0S9IONE�K�6hX A X A 0�4'EFCg0z9NEFCg0F<

� � � ���C � � ��� � �� ��� � � � � ���

[%��E¼Od7:C-EF689�Od0SQ3J8E=2'0S4f2'0SwWGN6h2'0SCg0S9HX 8r�0X/A*-&�#3�3��/%�!.40�0l*(�6�; (0>.�2%2! o�X A 0S9�6hXf4'GNMNML7F2'X'4-E�T&GN68JhX]_�689MN2'0SOI68Q3E=X�0 ���0l&(&6 ��� 7 X A E=X-4'GNQ3QR030SOI4g6h�(X A 0U�=EFJ8Gd0}7F��0R´PMN2'0S4'4'687:9 � 684��-<�� A EF4g¹º6B4�Md_�J86hmF04�VP9�X'E©´+��7F2s0R´WMN250S4'4'6h7:9N4SoIK A 6BQ A 4 A 7:GNJ8OiE=X�Jh0SEF4�XxEFJ8Jh7¥K¡��GN9NQRX'6h7:9N4 �Io 4 o �Po&EF9NO�� &�X A 684�E=2'c:GNCg0S9HXML7:4'6hX'6h7:9 6B4g4'EF68O X�7�TL0iEF9 ��,=�2� + � 1 �Te 0mc�e 0 1 ��� 1�<�p �=EFJ8GNE=X'6h7:9 QR7:9�X�0R´PX'4YE=250iX A 0i7:9NJ8V¼MIJBEFQR0S4-689µ�¶g¶g· K A 032'0��¤GI9NQRX'6h7:9N4�E=2'0¼EFJ8Jh7{K.0SO�o�0R´dQR03MNX��¤7F2iX�0325C-4+Od0S9d7FX'689Nc EFQRX'6h7:9N43< ��4 A 7:GIJ8O9d7FX689NQ3JBGNOd0UEF9�V �=E=2568E=TIJh0S4 &(6h�x68X-Od7H0S4So�X A 0�cF7:EFJ(K�68JBJ���EF68J(6B9 EF9 68CgM&Jh0SCg0S9HX'E=X'6h7:9P_�Od03ML0S9NOd0S9HX�K.E{VF<|~^W7:Cg0l68CgMIJ80SCg0S9�X'E=X'687:9N4�K�68J8JDOI684�X'689dc:GI684 A T�03XaK�030S9���EF68J8Gd2'0�ONGN0iX�7��fuv4-�=EFJ8Gd0iTL0S689dc�ON6'��032'0S9HX�¤2'7:C��EF9IO ��EF68J8Gd250�ONGd0iX�7ÀX A 0®689NE=TI6BJ86hX�V¼X�7 cF0S9d0325E=X�0®EFJ8Js6B9N4�X'EF9NQR0S4Y7F� �-< e.�a< �0:/; (0>.�2%2! oTL0SJh7{K�< �Zx9d7FX A 032}03�©EFJBGNE=X'6h7:9 QR7:9HX�0R´PXU6B4-X A 0lE=2'c:GNCg0S9HXYX�7 ��>*�#3"> � 7 < ys032'0 � 684YEF9 0R´PMN2'0S454'6h7:9

K A 7:4'0�C-EF6B9i��GN9NQRX�7F2�684�7:9N0�7F� q o �do �No � q o�7F2 � q < @�A 0�0R´PMN2'0S4'456h7:9+6B4�03�=EFJ8GNE=X�0SO�oLEF9NO+X A 0�cF7:EFJ4'GNQ3QR030SOI4�6h��6hXD03�©EFJBGNE=X�0S4(X�7 � <@(A 0-cF7:EFJ �E+#%�;�! �����&4*�"!&>� ��� 7 4'GNQ3QR030SOI4�6h� 684zEF9À689HX�03cF032�6B9�X A 0}689�X�0325�©EFJx½ � �� ¿~< �

EF9NO � E=2'0z03�=EFJ8GNE=X'687:9iQR7:9�X�0R´PX'43<@(A 0�cF7:EFJ �@�0:/;#(/>.�2%2!�� � 7 X�256h0S4xX�7�TI689IOi�=E=2568E=TIJh0S4x4�7UX A E=X � EF9NO � E=2'0�0SwHGIEFJ�<z�.7FX A �

EF9NO �!E=2'0�03�©EFJ8GIE=X'6h7:9UQR7:9�X�0R´PX'43oNTIGNX.6h�ºX A 032'0�684�EF9�GN9�TL7:GN9IO-�=E=2568E=TIJh0FoP6hX�684�T�7:GI9NOfX�7�K A E=X�03�F032�=EFJ8Gd0gK.7:GNJ8O�C-E=mF0 � EF9NO � 03�©EFJ8GIE=X�0fX�7iX A 0Y4'EFCg0-X A 6B9dcd<fp(<£cd<ho�6h� V=F A EF4�TL030S9�TL7:GN9IO®X�7+ªWoEF9NO V2X 684DGN9HTL7:GN9NO�oHX A 0S9 �@�0:/; (0>.�2%2!�� � V2X�� 7?� 4YV�F��#7�7 K�68JBJITI6B9NO V2X X�7i;=<qtx7:9�u£XD0R´PML0SQRXEF9�68CgM&Jh0SCg0S9HX'E=X'6h7:9fX�7gOd7gEF9HVHX A 689dc��¤EF9NQRV A 032'0 &d03�F032'V}68CgMIJh0SC-0S9�X'E=X'6h7:9}4 A 7:GIJ8OYE=XDJh0SEF4'X A EF9NONJh0X A 0-Q3EF4�0gK A 032'0�X A 032'0-684�EU4'6B9dc:Jh0�7WQ3Q3GN2'2'0S9NQR0�7F��EF9�GN9�TL7:GN9IO��=E=2568E=TIJ80Fo�TIGd256h0SOlE=XzCg7:4�Xz6B9N4'68Od0EF9�0R´PMN2'0S4'456h7:9U7F��X A 0���7F2�C � � ]�]�] 7 <@(A 0zOd7:C-EF689P_~�=E=254DOd0R¸�9d0SO�689 �O�&��� �"! �D����%=')(*�"! ]�]�] 7 ]�]�] 7 0R´WMN250S4'4'6h7:9N4DE=250�03�©EFJ8GIE=X�0SOi68903�=EFJ8GNE=X'6h7:9iQR7:9HX�0R´PX'43< @(A 0z4�VW9HX'E©´i684

� ��%=')(*�"!#4/l*(/-)3240�&�0� � 8�8EqD�#8E��%='.( �"!#4/l&(0-.�2(2+#6��#3� >�F0A#�0�m6*��3=> ���&%"')(*�"!.42l*(/- 40��� 1/6�(0-&(0>#�2%�!N7 �

� ��%=')(*�"!#4/l*(/- 4/�&� 1/6�(/-*(0>#�/%�! � 808Eq � !#("')� � � � � ! (='.� ��� 1/%2!<3=>&(2!*> � 7

p�<£cd<hj������� �"!#�$���&%"')(*�"!U12(0> 4&�"!#4/>0M �&4=M#(0>)7

� 8H>�F0A#� 3 >0M)�"!*I)7� 8E��%=')(*�"!#4/l*(/-.�2(2+.60�#3\�r!�;0' >0M<�B! I#3 �#7S4R�B!*>*�0I&�/-<7

;Sª

Page 18: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

]�]�]� 8r(0X#�/%"'89l*(0-.3p�[V��L4R�"!*>&��I��0-<78O1/%2!&>*�0X�>��E+#%2;�! �����*4&�"!&>YV�� �j!�;0' >0M<�B! I#3&78O�`'*A#6*�2�#3p��>0M<�B! IRV��*7�7�7

Z �=E=2568E=TIJ80�J86hmF0�X A 684�6B4�4'QR7FML0SO+7{�F032�X A 0�0S9�X'6h250�Od7:CfEF689�oIEF9NOl684s689 A 032568X�0SO�THViON7:C-EF689N4�X A E=X0R´PX�0S9NOfX A 684 7:9d0F<1[%��X A 0x�©E=2�68E=TIJh0�6B4 2'0SOd0SQ3JBE=2'0SOf689YEF9f0R´PX�0S9NON6B9dc�X A 037F25VFoP68Xq4 A EFOd7¥K�4�X A 0s7F2�6hc:689NEFJTI689ION689dcd<[%�NE�Od7:CfEF689�Od0SQ3JBE=2'0S4º250SwHGN682'0SCg0S9HX 8H�*6�; �2!&>)3 oSX A 0S9�6hX 4'GNMNML7F2'X'4�X A 0�X�VWM�0 �O�*6�; �2!&> � >�F0A#� � 7 o

MIJ8GI4q4�7:Cg0�9d03K�MN2'0SOI68Q3E=X�0S43< Z,�&GN0S9�X�684.E�X�032�C Ks6hX A X'6BCg0R_~�©E=25VW689Nc��=EFJ8Gd0g|�6�<£0F<hodE��=EFJ8Gd0xX A E=XDQ3EF9Q A EF9dcF0DEF4�Ex2'0S45GNJhXº7F�IM�0325��7F25Cf689dc�EF9�EFQRX'6h7:9&��< @(A 0.MN2'7FML7:4'68X'6h7:9 �[1B;*-�-&�2!&> 4/l&(&6=;#��� � 7 684 X�25Gd0689UE-4'68X'GNE=X'6h7:9U6h� � 684�X A 0�Q3Gd252'0S9�XD�=EFJ8Gd0�7F� � 689}X A E=X�456hX'GNE=X'6h7:9�<1�NGN2'X A 032SoN6h��E�MIJ8EF9N9N032 A EF9NONJh0S4X A 0 8E�&6�; �2!*>.3 2'0SwWGN6h2'0SC-0S9�X3oLX A 0S9lX A 032'0gC�GN4�XxTL0�E}TIGN6BJhX]_�689�MN250SON68Q3E=X�0 �O�*6=;#�2!&> 40�0l*(�6 ��� 7 oK A 6BQ A 4'GNQ3QR030SON4�6h� � 684sX A 0��©EFJBGd0�7F���-oLGN4'689dcYX A 0�Q3Gd2'2'0S9HX��=EFJ8Gd0�7F�qEF9HV �&Gd0S9HX�X A E=X�7PQ3Q3Gd254x689� |�EF9NOÀ7FX A 0325K�684�0}TL0 A ES�P689dclJ86hmF0 �/l*(�6 ��<�^P68C-6BJ8E=25JhVFo�X A 032'0U684�ElMN2'0SON68Q3E=X�0 �*6=;#��!*> 42>*� 3=> X A E=X684sX�7 >&�#3"> EF4 �*6=;#�2!&> 40�0l*(�6 684sX�7 �0l&(&6 <s[]9+EFOION6hX'6h7:9�o&X A 032'0�684xEF9+0��L0SQRX �[1BM#(�! I&��� � 7 X A E=XQ A EF9dcF0S4xX A 0��=EFJ8Gd0�7F� �&Gd0S9HX � X�7 �-< ��6B4�EF9+03�©EFJ8GIE=X'6h7:9+QR7:9HX�0R´PX3o#EF9NO+68X'4��=EFJ8Gd0�684�QR7:CgM&GdX�0SOK�6hX A 250S4�ML0SQRXDX�7fX A 0z4'68X'GNE=X'6h7:9U7FTNX'EF689I689dc�TL03��7F2'0�X A 0�EFQRX'6h7:9¼|�QR�%< 5�M �2! ��<

� 8r(*1�>.�2%2!,A %2;&-8TA#(0-&(='.�0>*�/-)3U�[V&3�%2;&-.1/�ZV2���#3=>R4Y12%2!&>*( �B!#�/-<789l*(0-.3p�[V�3��&6YV2���&6,4n���&6�;#��!*>k!�;0'&+#�0-)7kV2� 1/(�A\4K!�;/'*+#�/-<78TA*-*�*1/%�! �#�=>.�2%2!n�@(2!*���[12%2!*>&�2!&>)3kV�32%�;*-.12�YV&3=�*6 7

�[12%2!*>&�2!&>)3kV��&� 3=>WV2���*6 7�[12(2A#(*1��=>�FRV��&� 3=>WV2� 1/(�AN7���&6�;#��!*>*4/>*� 3=>$� � q�� � V&3=�*6YV����*6 7kV2� 1/(�AN7�7�7

8E������� 1=>���50M#�2!s�@(2!*���[12%2!*>&�2!&>)3kV�32%�;*-.12�YV&3=�*6 7�[12%2!*>&�2!&>)3kV��&� 3=>WV2���*6 7�7

�@(2!*���[1BM#(2!*I&�YV�3��&6��.7�[1BM#(2!*I&�YV����&6$� � V2���*6mV�3��&6#7�7�7�7�7

��9N0x7F��X A 0zEFONOI6hX'6h7:9NEFJ&TIGN68J8X]_�689f��GN9NQRX'687:9N4.X A E=X(QR7:Cg0S4DK�68X A 250SwHGN682'0SCg0S9HX 8E�*6=;#��!*>)3 684 �[3B;0'��� �/7 < @(A 684D6B4DE �&Gd0S9HXDK A 7:4�0��=EFJ8Gd0z6B9�E-4'6hX'GNE=X'687:9�684

�� 4'GNQ A X A E=X � � ( 684�X�25Gd0�

| � �

� ON0SQ3J8E=2'0S4(EFJ8J�X A 0��©E=256BE=TIJh0S4.7F� � X A E=X(E=2'0S9�u£X(EFJh250SEFOdVYTL7:GN9IO�< � 684DE �&Gd0S9HX]_~03�=EFJ8GNE=X'6h7:9iQR7:9HX�0R´PX3<�d7F2s0R´PEFCgM&Jh0Fo

�O�*6=;#�2!&> 40�0l*(�6 �[3B;0'G�[V"AW4SA �0-)3�%2!UV"5\4K!�;/'*+#�/-<7�@(2!*���@(�+#%�(/-&�RVBAPV/��6��0l&(0>&%0-<7

��5*� �2I2M*>\VBAPV=5<7�7V=5C7�7

4'GNQ3QR030SOI4x68� V=5 684sX A 0�X�7FX'EFJ�K.0S6hc A Xx7F�qEFJ8JºX A 0�ML037FMIJ80z7:9®E V/��6��/l*(0>&%0- |�EY�=E=2568E=TIJh0�K A 68Q A C�GN4�XTL0fTL7:GN9NO¼4�7:Cg03K A 032'0Y0SJB4�0¥��<lrs7FX�0�X A E=X�X A 0}�©EFJ8GN0f7F�(X A 6B4 �&GN0S9�X�Od03ML0S9NON4�7:9¼K A 7+684�7:9ÀX A 0

; �

Page 19: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

0SJh03�=E=X�7F2SoN9d7FX.7:9}K A E=X.X A 0S6h2�C-EF4'4�6843oWTL0SQ3EFGN4�0�689fX A 684 �¤7F25C�GNJ8E=X'6h7:9}6hX3uv4�EF4'4'GNC-0SOY9d7FX�X�7gQ A EF9dcF0F<[%��ON6803X'689dcg684�X�7-TL0�X'E=mF0S9l689�X�7-EFQ3QR7:GI9�X3o&X A 0S9�K.0zK�7:GIJ8OUK(256hX�0

�O�*6=;#�2!&> 40�0l*(�6 �[3B;0'G�[V"AW4SA �0-)3�%2!UV"5\4D���&6�;#��!*>k!�;0'&+#�0-)7�7�@(2!*���@(�+#%�(/-&�RVBAPV/��6��0l&(0>&%0-<7

��5*� �2I2M*>\VBAPV=5<7�7V=5C7�7

K A 03250z9d7{K V=5 684DE �&Gd0S9HX(6hX'4�0SJ8�a<

� � � ������O � �

Z MN2'7FT&Jh0SC¡684ºK A E=X�E�MIJBEF9N9d032#X�25680S4ºX�7�4�7:Jh�F0F<�[aX�684�Od0R¸&9d0SO�K�6hX A 250S4�ML0SQRXºX�7�E�Od7:C-EF6B9�< Z MI2'7FTIJh0SC4�ML0SQ36»¸I0S4�XaK�7�X A 689dc:4Sj EF9f6B9N6hX'68EFJW4'6hX'GNE=X'687:9�o�EF9NO-EzcF7:EFJNX�7zTL0(EFQ A 6h03�F0SO�< �.0SQ3EFGN4�0xC-EF9�V�MN257FTIJh0SC-4C-E{VU4 A E=2'0zEF9i689I6hX'68EFJL4'6hX'GNE=X'687:9�odX A 032'0z684�E��¤EFQ368JB6hX�V}��7F2sOd0R¸&9N689Nc�9NEFC-0SOi689N6hX'6BEFJ�456hX'GNE=X'6h7:9N4S<

� A&-*%2+#6��"' � 8�8Hq����&�0�#�B!#�D�EA*-*%�+.60�=' � !#("')� � 7� 8E��%=')(*�"! � !#("')� � 7� � -&��:/;)��-&�&40����� � �� � 30��>0; (0>#�/%2! � �� � %�+#h��*1�>L�&� 1/6�(/-*(0>#�/%�! � �� � �B!<��> � �� I&%�(&6 � � � 60�2! I0>0M#4 3BA � 1 � �

� 30��>0; (0>#�/%2! � 8�8Hq��#8@30��>/;#(0>#�/%�! � �B!<�=>)3��=>S! (=')� � 7� %�+#h��*1�>Z��� 1/6�(0-&(0>#�/%2! � 8�8Eq�� 8r%2+ h��*1�>)3 � >�F/A#�0�m6*��3=>��E!#(='.�.7 � 7� �B!<��> � 8�8Hq��#8��B!<�=> � 6&��>*�/-*(�6 �r! (='.�.7 � 7� �B!<��>.3��=>k!#("')� � 8�8Hq � !#("')� �� I�%�(&6 � 8�8Hq��#8EI�%�(�6 ��� � � 7� I�%�(&6 � 8�8Hq�� ��� ��$�� %������#"�� %��)$�� %��

�#8E��X2A#(2!<3��2%2! � ( 1=>.�/%�!P3BA � 1N�@( 1=>.�2%2!.42>*�/-2'o7 � 7� 60�2! I0>0M#4 3BA � 1 � 8�8Hq��#8�60�2!*I�>0M � � 8@32�/-.�2(&6 � �"!*>&��I��0- � 7 �� � 8 A#(/-*(�6�6���6 � �"!*>&��I��0- � 7 � 7

[]9N6hX'68EFJL4'68X'GNE=X'6h7:9N4DE=2'0�Od0R¸&9d0SOUX A GN43j� �B!<��>.3��=>Z�&�0� � 8�8Eq�������� �"!#�$�`3��=>0; (0>.�2%2! � �"!)��>.3���>S!#(='.� � 7

�#8H�&%='.( �B! � ! (=')� � 7��� %2+ h��*1�>,��� 1/6�(0-&(0>#�/%2! � ���� �"!)��> � � 7

Z A&-*%�+.6��"' Od0R¸&9I6hX'6h7:9�C�GN4�X14�ML0SQ36h�¤V�0S6hX A 0321EF9�689N68X'68EFJ�4'68X'GNE=X'6h7:9�THV�9IEFCg0FoF7F2 E�J8684�X 7F�I689N6hX'6BEFJ8JhVX�25Gd0�J86hX�0325EFJB43oI7F2xTL7FX A <�[%� 6hXs4'M�0SQ36h¸I0S4(TL7FX A o�X A 0S9+X A 0�JB6hX�0325EFJ84(E=250�X�2'0SE=X�0SO�EF4x0��L0SQRX'4g|�EFONON4�EF9NOOd0SJh03X�0S4��xX�7�X A 0f9NEFC-0SO�4'6hX'GNE=X'687:9�< @�A 0 � �"!<�=>)30��>k! (=')� �UC�GN4�X�TL0-E�9NEFC-0fOd0R¸&9d0SOl0S6hX A 032zTHVEgMN2�6h7F2 3��=>0; (0>.�2%2! Od0R¸&9I6hX'6h7:9}7F2sEfMN256h7F2 A*-&%2+.60�=' Od0R¸�9N6hX'6h7:9�< @�A 0 8E%2+#h�� 1=>)3 ¸&0SJ8O�oN6h��MN2'0S4�0S9HX3oOd0S4'QR2�6hTL0S4D7FT���0SQRX'4sX A E=Xs0R´d684�Xx689iX A 6B4(MN2'7FT&Jh0SC�7F2�689N6hX'6BEFJ�4'6hX'GNE=X'6h7:9+TIGdXsE=2'0�9N7FXsOd0SQ3J8E=250SO+689�X A 08�12%2!<3=>*(�!*>.3 ¸I0SJ8OU7F��6hX'4(Od7:C-EF6B9�7F2�EF9HVU45GdML0325Od7:C-EF689#<1�xT �]0SQRX'4sOd7-9d7FX�9d030SOiX�7-TL0zOd0SQ3J8E=2'0SOi68�X A 03VU7PQ3Q3Gd2�689UX A 0 8��"!)��> J86B4�XD689�EgK�ESVUX A E=X�C-E=mF0S4sX A 0S6h2DXaVHML0�GI9NEFC�T&6hc:Gd7:GN43<

;Sb

Page 20: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

ZxJ8J=MN2'0SOI68Q3E=X�0S4�K A 6BQ A E=2'0�9d7FX�0R´WM&J868Q36hX'JhVs4'EF68O�X�7(TL01X�25GN0 689�X A 0q689I6hX'68EFJ=QR7:9NON6hX'687:9N4�E=2'0qEF4'45GNCg0SOTWV�µs¶g¶g· X�7fT�0���EFJ84�0FoNGI9NJh0S4'4�X A 0zON7:C-EF689iOd0SQ3JBE=2'0S4D2'0SwWGN6h2'0SC-0S9�X 8r%�A#��!.425*%0-*60� <�d7F2s0R´PEFC-MIJh0Fo

������� �"!#�$�`3��=>0; (0>.�2%2!k+*-.�2��� 1/(#3��&4&�"!<�=><7� 8E��%=')(*�"!,+&-.�2���#12(#3��&425*%0-*60�)7� 8r%�+#h��*1�>.3 ���C7� 8��B!<��>n�rA.60( 12�KM#%"')�.7p�EA.60( 1/�L%���� ��12�.7�7�7

������� �"!#�$�rA*-&%2+#6��='YI&�/> 4�A ( ���)7�#8H�&%='.( �B!L+*-#�/�0�#1/( 32��425 %/- 6/�)7�#8�3���>/;#(/>.�/%�!L+&-.�/�0�#12(#32��4*�B!<��>)7�#8O�"!<�=>��@(/>ZQLM#%"')�.7p��(0>��LM %=')�#7P�@(/>��ZM#%='.�.7P�f�"!��)7�7�#8HI&%�(�6$�@(�! ����(0>ZQY%����#��1/�.7U�@(0>��R%0��� ��1/�#7P�@(/>��LM#%"')�.7�7�7�7

@(A 0 8HI&%�(&6 7F��E�MI2'7FTIJh0SC Od0R¸�9N6hX'6h7:9 C-E{V 689NQ3J8GNON0}E�cF7:EFJsOd0S4'QR2568MNX'6h7:9 7F2+|�6h�xX A 0�ON7:C-EF689A EF4sOd0SQ3J8E=2'0zX A 0z2'0SwWGN6h2'0SCg0S9HX 8r(*1�>#�/%2!#4��0X/A#(�!C30�/%2!<3 ��EF9i0R´PMIEF9N456h7:9�od7F2�TL7FX A <.Z 4�7:J8GdX'6h7:9iX�7YEMN2'7FT&Jh0SC 684zEi4'03256h0S4�7F�DEFQRX'6h7:9N4�4'GNQ A X A E=XY|�E���X A 0fEFQRX'6h7:9¼4�0SwHGN0S9NQR0f684��¤0SEF4'6hTIJ80-4�X'E=2'X'689dci6B9�X A 0c:6h�F0S9�689I6hX'EFJ&456hX'GNE=X'6h7:9U4'6hX'GIE=X'6h7:9&#|¤T��qX A 0 8HI&%�(�6 od6h�ºEF9HVFoN684.X�25Gd0�689}X A 0�4'6hX'GNE=X'687:9Y250S4'GNJhX'689Nc��¤2'7:C0R´P0SQ3GdX'689dc�X A 0DEFQRX'6h7:9-4'0SwHGd0S9IQR0 &�|�Q{� X A 0 8r�0X/A (2!C30�/%�! o=6h�IEF9HVFo�684�4'E=X'684]¸&0SO�TWV�X A 0�4'03256h0S4�7F�&EFQRX'687:9N4|�689UX A 0�4�0S9N4�0�0R´PMIJ8EF689N0SO�689�Z�MIM�0S9ION6»´YZ���<�d7F2x689N4�X'EF9IQR0FoI689UX A 0�X�25EF9I4�ML7F2'X'E=X'6h7:9iOd7:CfEF689�oP7:9d0�C-68c A X A E{�F0�X A 0�MI2'7FTIJh0SC�������#�B!#�D�EA*-&%2+.60�='m>�-*(�!C3`A#%0-�> 4=+#��(�!C3�7

� 8E�&%"')(*�"!m>�-*(2!<3BA %0-�>)7� 8@3��=>0; (0>.�2%2!W3=>*(�! ��(0-&�&4�! �0>�5*%0- �C7� 8��"!)��>��E+#��(2!C3 +#��(�!C3 ���.7

��(0>L+ ��(2!<3 ���Y1"M)��1/(0I&%#7�7� 8r��X2A#(�!C3��2%2!��[1/%�!C3">�-*(*�"! ��� �O>*(0I��[12(0-�-�F 4&�"!.42>�-&( �"!

+#��(2!<3 ���Z1"M)��1/(0I&%K! �/5�F*%0- �C7� � ��! �)7�7

�f�"!#4*1/%�!*>&��X�>L�2!*�8TA*-*�*1/%�! �#�=>.�2%2!n�r!#%/>��`3`A#%*�06��0�S+#��(2!<3 ���#7�7�7�7�7�7

@(A 0 8H-&��:2;<��-&�='.�2!*>.3 ¸I0SJ8O�7F�qEfMI2'7FTIJh0SC Od0R¸&9N6hX'687:9�684���7F2�X A 0�25E=2'0�Q3EF4�0�689�K A 68Q A X A 0�cF7:EFJ7F2�689N6hX'6BEFJ#QR7:9NON6hX'687:9N4s4'M�0SQ36h¸I0SO�689lEYMN2'7FTIJh0SC 2'0SwWGN6h2'0�4�7:Cg0�mW689IO�7F� 0R´PMN2'0S454'6h�F0S9d0S4'4sX A E=X�684x9d7FX�¤7:GN9NO�689UX A 0�MN2'7FTIJh0SCiuv4DOd7:C-EF689�<@(A 0 8r6���! I�>/M ¸&0SJ8OU7F��E�MI2'7FTIJh0SC�Od0R¸�9N6hX'6h7:9UOd0SQ3J8E=250S4DX A E=XDX A 032'0�684�mW9N7{K�9�X�7gTL0zEg4�7:JBGdX'6h7:9

7F�1E�c:6h�F0S9�J80S9dcFX A &dX A 684DCfESVUTL0zGN4�03��GNJ�X�7-MIJ8EF9N9N03254�X A E=X�Jh7W7Fm}��7F2�4'7:J8GdX'6h7:9N4�TWVUJh0S9dcFX A <�x9NJ86hmF0�EFONOd0S9IONGNC 9NEFCg0S4z|�4�030�^W0SQRX'687:9l;F;{��oIMN2'7FTIJh0SC 9NEFCg0S4DE=250xc:J87FTIEFJ�< p1´dEFQRX'JhV A 7{KX A 03V

E=2'0zM&EF4'4�0SO�X�7fE-MIJ8EF9N9d032D684D6BCgMIJh0SCg0S9HX'E=X'6h7:9P_�ON03M�0S9IOd0S9�X3<

� � � � � � � � �D��� �

ys032'0�684DEgX'E=T&Jh0z4 A 7¥K�689dcgX A 0zOI6 ��03250S9�XDmP689NON4�7F��9NEFCg0S4�EF9NO�7{�F032xK A E=X(45QR7FM�0�X A 03V}E=250zTL7:GN9NO

;S`

Page 21: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

��� ./� 1 �)��� ! c�e�� ��(0S4'032'�F0SOiK.7F25O µs¶g¶g·�J8EF9dc:GNE=cF0tx7:C-EF689i9IEFCg0 n�Jh7FTIEFJ@ VHML0 tx7:C-EF6B9�oI689 A 03256hX�0SOe.7:9N4'X'EF9�X tx7:C-EF6B9�oI689 A 03256hX�0SOtx7:C-EF689��=E=2568E=T&Jh0 tx7:C-EF6B9�oI689 A 03256hX�0SO\ 250SON68Q3E=X�0 tx7:C-EF6B9�oI689 A 03256hX�0SOZxQRX'6h7:9���GN9NQRX�7F2 tx7:C-EF6B9�oI689 A 03256hX�0SOZxONOd0S9NONGIC tx7:C-EF6B9�oIJh7PQ3EFJ^P6hX'GIE=X'6h7:9�9NEFCg0 tx7:C-EF6B9�oI689 A 03256hX�0SO\ 257FTIJh0SC�9NEFCg0 n�Jh7FTIEFJk+03X A 7WO�9NEFCg0 \�032xEFQRX'6h7:9i��GN9NQRX�7F2

rxEFCg0S4xK�6hX A 45QR7FM�0 !�Od7:C-EF689#o&689 A 03256hX�0SO�#gE=2'0��P684'6hTIJ80�6B9�EfON7:C-EF689�EF9IO�EFJ8J 6hX'4sON0S4'QR0S9NONEF9HX'43<rxEFCg0S4 K�68X A 4'QR7FML0/!�Od7:C-EF689#o�Jh7PQ3EFJ #�E=2'0(�P684'6hT&Jh0�Ks6hX A 689�EzOd7:CfEF689�TIGdX E=2'0s9d7FX �P684'6hTIJ80�689-ON0S4'QR0S9P_ONEF9HXzOd7:C-EF689I43<gk�03X A 7PO�9NEFC-0S4zE=2'0fE�Od7PQ3GNCg0S9HX'E=X'6h7:9�QR7:9H�F0S9N6h0S9IQR0Fo�EF9NO�9d030SO A ES�F0}9d7i4'QR7FML00R´dQR03MNX(X A E=X(7F��X A 0���GN9NQRX�7F2�7F��K A 68Q A X A 03VUE=250zCg03X A 7PON43<@(A 032'0Y684�J868C-68X�0SO®M�7:454'6hTI68JB6hX�V+7F�D7{�F0325Jh7:EFOI689dc+9IEFCg0S4�6B9Àµ�¶g¶g·(< @(A 0f4'EFCg0U9NEFCg0}C-ESV�TL0

GN4�0SO��¤7F2�Exc:Jh7FT&EFJ»_�4'QR7FML0�0S9HX'6hXaV}|¤0F<£cd<hoHEsMN2'7FT&Jh0SCY��EF9IO�E�Od7:CfEF689P_�4'QR7FML0q0S9HX'6hXaV}|¤0F<£cd<hoHExMN250SON68Q3E=X�0¥��<��GdX�X A 0}4'EFC-0YOd7:C-EF6B9P_�4'QR7FML0SO¼9IEFCg0YQ3EF9N9N7FX�TL0fGN4'0SO��¤7F2�XaK�7®ON6 �L032'0S9HX�mP689NON4z7F�(0S9�X'68X�VF<+�N7F2689N4'X'EF9NQR0FodX A 0�4'EFC-0�9NEFCg0zQ3EF9N9N7FX(TL0zGN4�0SOU�¤7F2�EgX�VWML0�EF9NOiEF9�EFQRX'6h7:9�<@(A 0}2�GNJh0S4��¤7F2-Cg03X A 7PO 9NEFCg0S4-E=2'0iJ87H7:4�032{oqTL0SQ3EFGN4�0UX A 03V E=2'0i9d7FXgX�25GN0i9NEFCg0S43< @(A 0U7:9NJ8V

2'0S4�X�2�68QRX'6h7:9�684DX A E=X(X�K.7fON684'X'689NQRXDCg03X A 7PON4D�¤7F2(X A 0�45EFCg0zEFQRX'6h7:9�CfESV�9d7FX A E{�F0zX A 0�45EFCg0�9NEFCg0F<

�� � ����C �����U�� � � �C � � ��� �O��� �

ys032'0f684zEiX'E=TIJh0g7F�DEFJ8J�2'0SwWGN6h2'0SC-0S9�X'4z6B9�µ�¶g¶g·�¦P<v¦P<U^W7:C-0-2'0SwWGN6h2'0SCg0S9HX'4z68C-MIJhVi7FX A 032�4,&14�7:Cg0E=2'0xE=TNTN2'03�P68E=X'6h7:9N4q��7F2.QR7:C-Cg7:9U4�03X'4�7F��2'0SwWGN6h2'0SCg0S9HX'43<�[%�LE�Od7:C-EF689Y4�X'6hMIGIJ8E=X�0S4q9d7�2'0SwWGN6h2'0SCg0S9HX'43o6hX(684DEF454'GNCg0SO�X�7YOd0SQ3J8E=2'0zEg250SwHGN682'0SCg0S9HXD��7F2 8@3=>�-.�BAC3 <

>=¦

Page 22: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

� � *,+���(-�,. �,021 ����3fc,( � ��1 � e 08@3">�-.�BAC3 ��EF4'6BQ�^ @ ��[%\�^H_�4�X�VPJh0�EFONON4DEF9IOiOd0SJh03X�0S48H>�F0A<�B! I ZxJ8Jh7¥KX�VWML0�9NEFCg0S4(6B9�Od0SQ3J8E=25E=X'6h7:9I4D7F���©E=256BE=TIJh0S48E� �&32h�;�!)1�>.�=l*��4�A*-&� 12%2! � ��>#�/%2!<3 ZxJ8Jh7¥K %/- 689UcF7:EFJ Od0S4'QR256hMIX'6h7:9N48r�0:/;#(�6*�=>�F ^dGdMNML7F2'X q EF4�TIGN68JhX]_�6B9fMN250SON68Q3E=X�08r�0X#�&3">*��!*>.�2(&6�4�A*-&� 12%2! � ��>#�/%2!<3 ZxJ8Jh7¥K �0X#�&3">)3 689UcF7:EFJ Od0S4'QR2568MNX'6h7:9N48 ;�!<��l&�0-.32(&6�4�A&-*� 12%2!*�#��>#�/%�!C3 ZxJ8Jh7¥K ��%0-*(�6�6 689UcF7:EFJ Od0S4'QR2568MNX'6h7:9N48E:2;#(2!&>.���#�/�0�*4=A*-*�*1/%�! �#�=>.�2%2!C3 � 8E��X �&3=>&�2!&>.�/(�6�4=A*-*�*1/%�! �#�=>.�2%�!<3

� 8T;�!)��l*�/-)3�(&6�4=A*-&� 1/%�! � ��>.�2%2!<38�12%2! � ��>#�/%2! (&6�4������&�*1�>)3 ZxJ8Jh7¥K 50M#�2! 689�EFQRX'687:9�0���0SQRX'48r(*1�>.�2%2!#4���X2A#(�!C3��2%2!<3 ZxJ8Jh7¥K EFQRX'6h7:9N4�X�7 A ES�F0 8E��X/A (2!<3��/%�!C38E��%0-*��( 1BM.4��0X/A (2!C30�/%�!C3 ZxJ8Jh7¥K EFQRX'6h7:9N4�0R´WMIEF9I4'6h7:9N4�X�7fGI4�0 ��%0-*��( 1BM

|�6BCgMIJ86h0S4 8r(*1�>.�2%2!#4���X2A#(�!C3��2%2!<3 �8E��(�I*40��X2A#(2!<3��2%2!C3 ZxJ8Jh7¥K J8E=TL0SJh0SO�4'GdT&EFQRX'6h7:9N4

|�6BCgMIJ86h0S4 8r(*1�>.�2%2!#4���X2A#(�!C3��2%2!<3 �8E��%=')(*�"!#4�(�X �/%"'t3 ZxJ8Jh7¥K Od7:C-EF689I4DX�7 A E{�F0 8E(�X#�2%=' 48@3`;�+ I�%�(�6�4/>/M*-&%2; I2M.40(�X#�2%='N3 n�6h�F0S9iE©´d6h7:C-4 � ����EF9IO�cF7:EFJ��WodcF0S9d0325E=X�0�4'GdTNcF7:EFJ �8@3�(��&�/>�F*4*1/%�!C3">�-*(*�"!&>)3 ZxJ8Jh7¥K 8�32(����0>�F QR7:9NON6hX'687:9N4���7F2sE-Od7:C-EF6898r�0X/A*-&�#3�3��/%�!.40�0l*(�6�; (0>.�2%2! ^dGdMNML7F2'X �/l*(�6 MN2'0SON6BQ3E=X�0�689�E©´d6h7:C-4

|�6BCgMIJ86h0S4 8E��%=')(*�"!#4�(�X �/%"'t3 �8E�&6�;#��!*>.3 ^dGdMNML7F2'X.X�VWM�0 �O�*6=;#�2!&>�� 7 <

[]CgMIJB6h0S4 8E��X2A*-*� 3�30�/%2!#4��/l*(&6=;#(/>.�/%�!8r%�A#�2!#425*%0- 6/� tx7:9�u£XsC-E=mF0�X A 0"!�Q3J87:4�0SOP_~K.7F25J8OiEF4'45GNCgMNX'6h7:92#��¤7F2�EFJ8J

MI2'0SON68Q3E=X�0S4 i 6�<£0F<hoI6h��EF9iE=X�7:C-68Q��¤7F25C�GNJ8Eg684D9N7FXmP9d7¥K�9�X�7-TL0�X�25Gd0FoN68X(684D9d7FX�9d0SQR0S454'E=2568JhV}EF4'4'GNC-0SO��¤EFJB4�0

8H>�-0;#��4�! ��I&(/>.�2%2! tx7:9�u£X A EF9NONJh0 !#%/> GN4'6B9dc�9N03c:E=X'6h7:9�EF4��¤EF68JBGd2'0FoT&GdXDX�2'0SE=X�6hX(EF4s689}¸I254'X]_~7F25Od032(Jh7Fc:68Q|�6BCgMIJ86h0S4 8r%�A#�2!#425*%0- 6/�)7

8r(0�*6 � 8�3=>�-.�"A<3 � 89>�F/A<�"!*I� 8H�#��32h2;�!<1=>.��l&�&4=A*-*�*1/%�! �#�=>.�2%�!<3� 8E��:2;#(&6&��>�F� 8H:/; (2!*>#�2� �/���&4�A&-*� 12%2!*�#��>#�/%�!<3� 8O1/%�! �#�=>.�2%2!#(�6�40������� 1=>)3

8 ;)1"A#%�A � 8E(��&6 � 8E��%='.( �"!#4�(0X#�/%"'t3� 8�32(0�&�0>�F 4&1/%2!<3=>�-*( �B!*>.3

� � �� J� � � �)� � �� �� �

@(A 6B4q4�0SQRX'6h7:9�ON0S4'QR256hTL0S4 A 7{K X�7�25GN9-X A 0�\�t�tx¹�4'VW9HX'E©´}Q A 0SQ'mF032(7:9IQR0xVF7:G A E{�F0zOd7{Ks9NJh7:EFOd0SOYX A 0X'E=2sOI684�X�256hT&GdX'6h7:9g¸�Jh0F<@(A 0(¸&Jh0�MLOIONJ�<v4�VP4�X�0SC QR7:9HX'EF689N4�E��zEF9HX�2'7¥K�6hX�R_�Od03��4�VP4�X�0SC Od0R¸&9N6hX'687:9�7F� A*���*6�4 3"F0!*>&(�X&4*1"M � 1 �

EF9NO A ���*6�4 32%�6�;&>.�/%�!.4&1"M#�*1 � o3K A 68Q A E=2'0DX A 0�4�VP9�X'E©´gQ A 0SQ'mF032qEF9NO�4�7:JBGdX'6h7:9�Q A 0SQ5mF032So�250S4�ML0SQRX'6h�F0SJhVF<ZxO ��GI4�XqX A 0xON6h2'0SQRX�7F25V-9NEFCg0S4�689-X A 0xQ3EFJ8JB4qX�7��� 8 ������� ��� ��� �Lo=X A 0S9UJh7:EFO}689-M�ONONJ~<v4�VW4'X�0SC�o�EF9NO}Od7

� �� 8 ��� � ������� 4�� ��� ��� � � � ��� 4�� � � � ���*4 � �� � 7

>P;

Page 23: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

[%�#VF7:GUQR7:CgMI68J80sEF9NOUJh7:EFO}E�¸&Jh0���GNJ8JI7F��µ�¶g¶g· Od0R¸&9N6hX'687:9N43o:X A 0S9}X A 0�Od7:C-EF6B9fK�6BJ8JNTL0sON0R¸&9d0SOEF4.VF7:Gf0R´PML0SQRX3<qys7{K.03�F032SodX A 684qK�7F2'mP4.7:9NJhVg6h�LX A 0s¸&Jh0�QR7:9HX'EF689N4�9d7�4�VP9�X'EFQRX'68Qx032'257F2543< @ 7�¸&9NOYEF9NO0SJ868Cf689NE=X�0�032'2'7F254SoNGN4�0�X A 0z��GN9NQRX'687:9

��� � ���*4 � �����*4������ ���� � � � �060� � 7

@(A 684�K�68JBJ�QR250SE=X�0}E+9d03K¾¸&J80gK�6hX A 0R´PX�0S9N4'6h7:9 ! ] 1"M � #�K A 68Q A 684zEiMI2'03X�X�VH_~MN25689HX�0SO��F032�4'6h7:9�7F�X A 0�6B9dMIGdX3oWK�6hX A EFJ8Jº4�VW9HX'EFQRX'68Q�03252'7F254 �&E=cFcF0SO�X A GI43j

� � ��( (�e ( ��a ��3fc,( � ��1 � e 0 8 1�� ��0�_ � �K A 03250�#=X A 689dc #g684�Eg4'GdTL0R´WMI2'0S4'4'6h7:9UEF9NO #=032'2'7F2�_�Od0S45QR256hMNX'6h7:92#�45ESVP4(K A E=X3uv4(K(2'7:9dcgK�68X A 6hX3<@(A 0�6BOd0SE�684�X A E=X1X A 0 ! ] 1BM � #�¸�Jh0�MIJ8ESVP4�X A 0D2'7:Jh0�7F��X A 0 ! ] 60%�I #s¸&J80�6B9�¹ E @ 0���<:[]9N4�X�0SEFO�7F�LJ8689d0

9WGNC�TL03254�X A 0-4�VW4'X�0SC ��GI4�X�MN25689HX'4�X A 0g0S9HX'6h2'0-689dM&GdXsKs6hX A 032'2'7F254 ��E=cFcF0SO�<-y�7¥K K.0SJ8J�X A 684�K.7F2'mP4Od03ML0S9NON4�M&E=2'X'JhVf7:9iX A 0�wWGNEFJ86hXaVf7F��X A 0�MN2'03X�XaV�_~MI25689HX�032S<[%�zX A 0®c:Jh7FTIEFJs�=E=2568E=TIJh0 � ��� � � � ��6B4}4'03X}X�7 � o�X A 0®4'VW9HX'E©´�Q A 0SQ'mF032iKs68J8Jg��E=cÀ�P6h7:J8E=X'687:9N4f7F�

!�4�X�256BQRX'9d0S4'4�#-EF4�Od0R¸&9d0SO�689�^P0SQRX'6h7:9"4d<@(A 0x4�VP9HX'E©´}Q A 0SQ'mF032sON7H0S4�E�MN2'03X�XaVfX A 7F2'7:GNc A ��7FT#odEFJhX A 7:GNc A X A 032'0xE=250�E��¤03K c:E=MI43< []9f7F2�Od032

X�7�Q A 0SQ5m ��7F2gQR7F2'2'0SQRX-9WGNC�TL032�7F�xE=2'c:GNCg0S9HX'4�X�7®MN2'0SON68Q3E=X�0S4�EF9NO 4'GIQ A oq68X3uv4�9N0SQR0S4'4'E=2'V¼X�7®4'X�7F2'0689d�¤7F25C-E=X'687:9+E=TL7:GdX�Od7:C-EF689I4sEF4xX A 03V�E=250�Q A 0SQ'mF0SO#oº4�7UK�0 A E{�F0�cF7:9d0gEFJ8JºX A 0�K�ESVFo#EF9IO+K�256hX�X�0S9X A 0®4�VP9�X'E©´ Q A 0SQ5mF032�689�4'GNQ A EÀK�ESV X A E=XU68X}4�X�7F250S4}EFJBJsX A 0l689N��7F25CfE=X'6h7:9�E=TL7:GdXUEÀOd7:C-EF689�689�=E=256h7:GN4�ONE=X'E�4'X�25GNQRX'Gd2'0S4So�K A 03X A 032�X A 0-Q A 0SQ'mF032�6hX'4�0SJ8�q9d030SON4�X A 0-689d�¤7F25C-E=X'6h7:9l7F2z9d7FX3<gys0S9NQR0fEcF7W7WOYK.E{VgX�7�6BCgMIJh0SCg0S9HX E�MIJ8EF9N9d032qX A E=X�GN4'0S4 X A 0x\qt�t�¹�9d7FX'E=X'6h7:9}684 X�7�4�X'E=2'X.K�6hX A X A 0x689HX�03259NEFJONE=X'E-4'X�25GNQRX'Gd2'0S4�QR7:9�X'EF689I689dcgX A 0�6B9d��7F2�C-E=X'6h7:9�E=TL7:GdX(E-Od7:CfEF689�odEF9NOiEFONOiK A E=X�03�F032s6B9NOd0R´P0S4DX A 0MIJ8EF9I9d032(9d030SON4D�¤7F2(0��YQ3680S9NQRVF<@ 7�ES�F7:6BO�QR7:J8J86B4'6h7:9N4xK�6hX A GI4�032543u#QR7POd0FoºX A 0S4�0fONE=X'Ei4'X�25GNQRX'Gd2'0S4�E=2'0f9d7FX�4'X�7F2'0SO�689�EF9HV®MIJ8EFQR0

X A E=X-684��P684'6hT&Jh0-TWV¼EFQ3Q368Od0S9HX�|�4'GNQ A EF4g4�VPC�TL7:J.MN2'7FML032'XaV¼J8684'X'4���< @(A 032'0�684�Elc:Jh7FTIEFJ A EF4 A X'E=TIJh0� � ���*4�� � � Q�� � 4 � �0Q���� ��X A E=XUQR7:9HX'EF689N4UEFJ8Jsc:Jh7FTIEFJxTI6B9NON689dc:4S< ts7:CfEF689N4UE=2'0�4�X�7F2'0SO 689�X A 684YX'E©_TIJh0FoLEF9NO+X A 0S9l4�VWC�TL7:J84(Ks6hX A ON7:C-EF689�45QR7FM�0�E=2'0�4�X�7F2'0SO®689�TI689NON6B9dcgX'E=TIJh0S4xEF4'4�7PQ368E=X�0SOlK�6hX A X A 0Od7:C-EF6B9�<

� � �� J� � � � ���� � �� �� �

@(A 0�4�7:J8GdX'6h7:9�Q A 0SQ5mF032 684ºEF9d7FX A 032�¹ 684�MzMN257FcF25EFC�< @ 7sQR7:C-MI68Jh0qEF9IO�Jh7:EFO�6hX3o¥�¤7:J8Jh7¥K�X A 0.689N4�X�2�GNQRX'6h7:9N4�¤7F2(X A 0�4�VP9HX'E©´�Q A 0SQ'mF032{oITIGdX(ON7 � �� 8 ��� � � �����*4������ ��� � #� � ��� 4���� � ��� � �*4 � �� � 7 E=X(X A 0�0S9NO�<Z 4�7:J8GNX'6h7:9UX�7fEg\qt�t�¹¼MN2'7FTIJh0SC�6B4(E�MIEF6h2D7F�16hX�0SC-4Sj;=<�Z!MN2�68C-6hX'6h�F0��/c�1 � e 0 3 ��*,+2�,0.c �3oI6�<£0F<hoNE-J86B4�X�7F��EFQRX'687:9N4DX A E=X A ES�F0�9N7g0R´WMIEF9I4'6h7:9N43<>W<�Z J86B4�X�7F��9d7:9NMN2568C-68X'6h�F0xEFQRX'687:9N43oIQ3EFJ8J80SO ��� �*� 0 3 �Te 0 � � 021�3�<@(A 0�4�0SQR7:9NOlQR7:CgML7:9d0S9�XsC-ESViTL0zE=TI4'0S9�X3< @(A 0�¸I254�XsC-ESVFo�7F� QR7:Gd254�0Fo&TL0z0SCgMNXaVFo&TIGNX(7:9NJhVU6h��X A 0MN2'7FT&Jh0SC�684�X�256h�P68EFJ�<^PGNMNML7:4�0gMN2'7FTIJ80SC � A EF4�689N68X'68EFJ14'6hX'GNE=X'687:9��.o 8HI&%�(&6�� o�EF9NO 8r�0X/A#(�!C30�/%2! �-<iZ 4�7:JBGdX'6h7:9

K�6hX A EFQRX'687:9�4�0SwWGd0S9NQR0 � EF9NO A 689�X'4 � 3fe2� , � 3 � 6h��EF9NO�7:9NJhV}6h��EFJ8JL7F� X A 0z��7:JBJh7{K�6B9dcgE=2'0�X�25Gd0Fj;=< � 6B4D��0SEF456hTIJh0z4�X'E=25X'689dcf689�4'6hX'GNE=X'6h7:9�.o&EF9NO�689�X A 0�4'6hX'GNE=X'6h7:9i2'0S4'GNJhX'6B9dc���2'7:C 0R´W0SQ3GNX'689dc � o� 684�X�25Gd0F<

>F>

Page 24: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

>W< �foIEF9NO�oN68� MN250S4�0S9�X3o � E=2'0�0R´W0SQ3GdX�0SO�THVU4�7:Cg0}|�9d7FX�9d0SQR0S4'45E=2568JhVUQR7:9�X'68c:Gd7:GN4���45GdTI4�0SwWGd0S9NQR07F� � <§W<�pq�F032'VUEFQRX'6h7:9i689 � X A E=X(684DOd0SQ3JBE=2'0SO 8E%2!.62F 4&�"!.40��X2A#(2!<3��2%2!C3 7PQ3Q3Gd254D689U7:9N0�7F� X A 0z45GdTI4�0R_wWGd0S9NQR0S4s689N4�X'EF9HX'68E=X'689Nc � 7F2 � <@ 7(25GN9�X A 0 4�7:J8GdX'6h7:9�Q A 0SQ'mF032{o=¸I254�X�Jh7:EFO�X A 0 Od7:C-EF689�7F�WX A 01MN257FTIJh0SC689-|�GN45689dc � � ���*4 � �����*4������ ���� � I��o

X A 0S9iQ3EFJBJ� ��� �� ��� � � 4 � �� � � � � 7

K A 03250 � 6B4qX A 0�EFQRX'6h7:9U4�0SwWGd0S9NQR0Fo � E=250xX A 0 A 6B9�X'43oPEF9NO � 684.E�MI2'7FTIJh0SC |¤7F2DMN2'7FTIJh0SC 9NEFCg0¥��< [%X2'03X'Gd2�9N4 � 6h�#6hX�Q3EF9Y�F032�6h��VfX A 0x4'7:J8GdX'6h7:9�o ��� � 6h�#68X.Q3EF9�u£X3<q[aX�C-ESVYMN25689HX�4'7:Cg0 A 0SJhMN��GNJICg0S454'E=cF0S4DEF4K.0SJ8J�<Zx4q7F����0SJh0SEF4�0�;=<v¦PoPX A 0s4�7:J8GdX'6h7:9fQ A 0SQ5mF032(Od7H0S4�9d7FX�EFQRX'GIEFJ8JhVgQ A 0SQ5m-�¤7F2qX A 0sMN2'0S4�0S9NQR0�7F�#EFQRX'6h7:9

0R´PMIEF9N4'6h7:9I43<q^W7-X A 0 � E=2'c:GNC-0S9�X(684�6hc:9d7F2'0SO�<[%�1X A 0�MI2'7FTIJh0SC Od0R¸&9N6hX'687:9�7WQ3Q3GN254s6B9�Ef¸&Jh0zTWVi6hX'4�0SJh��|���� �'����o�EF9NO+EY4�7:J8GdX'687:9i7PQ3Q3Gd254x689�Ef¸&Jh0

TWV}6hX'4'0SJh�.| 3�� �'����oIX A 0S9iX A 0zMN2'7PQR0SONGd250� ��� �� � � � � 4 � ����� 4 ���� � 3�� �'� ��� �'� 7

K�68JBJ12'0SEFOÀX A 0Y¸&Jh0S43o1Od0R¸&9N0YX A 0}MN2'7FT&Jh0SC�o�EF9NOÀ25GN9 ��� � � � � �*4 ���� � l7:9¼X A 0}4�7:JBGdX'6h7:9À689 3�� �'�3oK A 6BQ A C�GN4�XDTL0z689UX A 0z�¤7F25C� 3 1 � � �3 1 � � �]�]�]3 1 � � ��7

� ��� �N����� � ��/� � ���� � � � � ��� � ��� � � � ����� �����

Zx9 � 0.c �&e (-��a �/c�1 � e 0)3 ��*,+2�,0.c � 684�Ez4�0SwWGd0S9NQR0�� � � ������� � ��� o:K A 032'0 ��6841E�4'6hX'GIE=X'6h7:9�o � �������� � �E=2'0�cF257:GN9NO EFQRX'6h7:9¡X�0325C-43o�EF9NO �� � 684��¤0SEF4'6hTIJh0�689 X A 0�4'6hX'GNE=X'687:92'0S4'GNJ8X'689dc ��257:C 0R´W0SQ3GNX'689dc� �������� �� �4�X'E=2'X'6B9dc 689 �©< ��0�Q3EFJBJsX A 684�4'6hX'GNE=X'687:9 (�� 3 +&� 1�������| � � � � ������ �� � ��o�EF9IOOd0R¸&9d0®6hX689®X A 0-GI4'GNEFJ�K.E{VF< @(A 0-4'GNTI4'QR256hMIX a/e .�2503��03254zX�7�X A 0-Od7:C-EF689®Ks6hX A 2'0S4�ML0SQRX�X�7iK A 6BQ A (-��3 +&� 1 684Od0R¸&9N0SO�<�[%9�K A E=XD��7:JBJh7{K�4SodK�0zKs68J8JLE=TNTN2'03�P68E=X�0 (�� 3 +�� 1�������| � � � ������� �� � �DEF4 �� %<Z (-����� ���`� 1 � e 0 � � 1�� ��0�Od7:C-EF6B9 a0e . 7F�.EF9�EFQRX'6h7:9�4'M�0SQ � � 0�X A 0-EF9IQ A 7F2'0SO�EFQRX'687:9�4�0SwWGd0S9NQR0

� � � �������� � ��� 6B4 EzC-E=MNM&689dc � K A 7:4'0�Od7:C-EF689f684�X A 0�4�03X�7F�L7F25Od032'0SOgM&EF6h254�� � ���� oHK A 032'0 �!684 E4'GdTL0R´PMN2'0S4'456h7:9�7F� � |�ON0R¸&9d0SO-TWV�ML7:4'6hX'6h7:9�o:4'7�X�K.7�OI6 ��03250S9�X 7PQ3Q3Gd2'250S9NQR0S4q7F�LX A 0s4'EFCg0�0R´PMN2'0S454'6h7:9QR7:GN9HX�EF4�ON6 �L032'0S9HX��x7F2�EF9¼EFQRX'6h7:9¼X'E=cdo EF9NO � 684zE�45GdTI4�X'6hX'GNX'6h7:9&�EF9NO�K A 7:4�0-25EF9dcF0}684�E+4�03X�7F�GN9N687:9N4.7F��Q3J87:4�0SOi689HX�032'�=EFJ84�7F��X A 0 (��O���d689HX�032'�=EFJq½ ¦ �� ¿~<x| ��e 1�X A 0�689�X�03cF032s689�X�0325�©EFJ&� �Z 2'0SEFJ86��SE=X'6h7:9 � 7F� � 6B9�� � � � ������ � ��� 3[� 1 � 3�� ��3�4'GdTL0R´PMN2'0S4'4'687:9 � 7F� � � � 1�� (�� 3 ���Oc 1 1 e

4'GdT&4�X'6hX'GdX'6h7:9 � oI68� EF9NO�7:9IJhVY6h��7:9d0�7F��X A 0z�¤7:J8Jh7¥K�689dc�684DX�2�Gd0Fj;=< � 684DEF9+EFQRX'6h7:9P_�J8E=TL0SJLX�0325C�<>W< � 684�EF97PQ3Q3Gd2'2'0S9IQR0�7F��X A 0�X�032�C �@4�4#7 o�EF9NO X A 032'0¼684U4�7:Cg0! ¦#"$ %" � 4'GNQ A X A E=X�-| � �� � � ½ �¿~<

>F§

Page 25: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

§W< � 6B4qE�MN2568C-68X'6h�F0(EFQRX'6h7:9}X�0325C 7FX A 032�X A EF9 � 4�4 7 oHEF9NOYX A 032'0�684�4�7:Cg0 ; " " � 4'GIQ A X A E=X� | ��� � �� aoNEF9NO �-| � �� � � ½ � ; �¿~<

4d< �!684 E�9d7:9dMN256BC-6hX'6h�F0.EFQRX'6h7:9-X�0325Cio�K�6hX A � | �����=E=2568E=TIJ80R_~��2'030FoHEF9NOgX A 032'0s684 EF9g0R´PMIEF9N4'687:9 � �6B9 a/e .7F� � | ���D|¤X A E=X 6B43o�EF9 8r�0X/A (2!C30�/%�! �¤2'7:C X A 0 8E( 1=>.�/%�! Od0R¸�9N689dc � 7F2qE 8 ')�/>0M %�� �¤7F2����o#EF9NOlEf2'0SEFJB6��SE=X'6h7:9 � � K�6hX A 6B9 a/e . 7F� � | ���s689 � � � ������� � ��� o�4'GNQ A X A E=X �-| � �� � �� � | � | ��� �� ��<«W< � � �`3��0-.�2�#3 � � ����� ��� 7 oNEF9NO��¤7F2�EFJ8J 'o ; " "�� � ;=o � 4'E=X'684�¸I0S4 � �K�68X A 2'0S4�ML0SQRXDX�7

� odEF9NOf��7F2�EFJ8J ;�" �� " ��oPEF9NOY��7F2�EFJ8J � �� �-| � �� � ����� �-| � � �� � � " ��� &dEF9NO�-| � �� � ��� ��� � � �-| � �� ��<ªW< � � �rA (0-*(�6�60�&6 � � ����� � ��7 oLEF9IO+�¤7F2zEFJ8J�; " "���o � 45E=X'684]¸I0S4 � K�6hX A 2'0S4�ML0SQRX�X�7

� &&EF9NO��-| � �� � ��� ��� � � �-| �� �� ��<�H< � � �[�B!.4*12%2!&>*��X0> � � � � ����� ��� 7 o�EF9NO � 4'E=X'684]¸&0S4 � � K�68X A 2'0S4�ML0SQRX X�7 � oHK�6hX A �-| � �� � ��-| � ��� ��EF9NO�od�¤7F2(0SEFQ A � aj

� [%� � � 8 A&-*� 12%2!*�#��>#�/%�! � odX A 0S9 � 6B4DX�25Gd0z689 ���#<� [%� � � 8 '.( �"!&>*(*�"! � odX A 0S9 � 684(X�25Gd0z689 ���(��7F2sEFJ8J�689HX�03cF032�� � ½ � �� ¿~<K A 032'0 � � C-689#| �-| � � �� ���DEF9NO � � C-E©´#| �-| � � �� ����<bW< � � �[1BM#%*��1/� � � ����� ��� 7 o�EF9NOl��7F2�4�7:Cg0 'o1; " �" ��o � 4'E=X'684�¸I0S4 �� K�6hX A 2'0S4�ML0SQRXxX�7

� o&EF9NO��-| � �� � � �-| � �� ��<`W< � � �O�&%/-)32%"')� ,�� ( 3 � �`7 o&EF9NO�X A 032'0�6B4�Ef45GdTI4�X'6hX'GNX'6h7:9 � � 0R´WX�0S9ION689dc � THVUTI6B9NON689dc ,�� ( 3�o45GNQ A X A E=X � 4'E=X'684]¸&0S4 � � K�68X A 2'0S4�ML0SQRXDX�7 � � oIEF9NO �-| � �� � � �-| � ��� � ��<

;3¦P< � � �O�&%0-&��(*1"M ,=� ( 3 � � �B7 o&EF9NO+X A 032'0�684sEY4�03X�!�7F�q0R´WX�0S9N456h7:9N4(X�7 � 4'GNQ A X A E=Xx��7F2�EFJ8J� � � !¼o � � | ����684DcF257:GN9NO�od4'GNQ A X A E=X�68��½ � �� ¿ � �-| � �� ��oIX A 0S9

� ��� ��� � � �-| � �� � �

EF9IO

! �#" � � j � � 0R´PX�0S9NON4 � THV}TI689NOI689dc��©E=254(X�7fC-E=mF0 � � | ���.cF257:GN9NO�EF9NO�X�2�Gd0z689 �$�&%

;F;=< � � �O>&(�I � � ������� � � � � � � ������� � 7 oNEF9NO � 4'E=X'684]¸&0S4 � � K�6hX A 2'0S4�ML0SQRXDX�7 � odK�6hX A �-| � �� � ��-| � ��� ��oIEF9NO��¤7F2�EFJ8J ; " "'��o

� [%� � � � � �E7 odX A 0S9��-| � �� � � ½ � �� ¿~<� [%� �� �� � � �E7 odX A 0S9��-| � �� � � ½ � �� ¿~<� ��X A 032'K�684'0Fo �-| � �� � � ½ � �� ¿~<K A 032'0 � � C-689#| �-| � ��� ���DEF9NO � � C-E©´#| �-| � ��� ����<

;S>W< � � �[12%2!<3=>�-&( �B!#��� ���� ������� ��� 7 oDEF9NO �¤7F2}EFJBJ ¦�" "(��o�� 4'E=X'684�¸I0S4 �� �K�6hX A250S4�ML0SQRX(X�7 � EF9NO��-| �� �� �*) �-| �� �� � &�EF9NO �-| � �� � � �-| �� �� ��<

> 4

Page 26: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

[%� �-| � �� � 684�9d7FX c:68�F0S9�Es�=EFJ8Gd0.THV�2'03ML0SE=X�0SO�E=MNMIJB68Q3E=X'6h7:9z7F�IX A 0�2�GNJh0S4º6B9�X A 0�J8684'X3o¥X A 0S9��-| � �� � �� <��689NEFJBJhVFo1EF9ÀEF9IQ A 7F2'0SO EFQRX'6h7:9 4'0SwHGd0S9IQR0 3[� 1 � 3�� � 3�EF9 EFQRX'6h7:9 4�ML0SQY6h�DX A 0}EFQRX'6h7:9 4'M�0SQ A EF4�E

2'0SEFJ86 �SE=X'6h7:9i689HX�7gX A 0�EFQRX'6h7:9�4�0SwHGN0S9NQR0zX A E=X�45E=X'684]¸I0S4DX A 0�0S9�X'6h250�EFQRX'6h7:9�4'M�0SQ=<rs7FX�0�X A E=XDX A 0z��7F2�C-EFJ�Od0R¸&9N68X'6h7:9UC-E=mF0S4 �-| � �� � � � 6h� X A 032'0�6B4D9d7g7WQ3Q3GN2'2'0S9NQR0�7F� � 6B9N4'68Od0

E ��%0-*��( 1BM 7F2 �&%0-.32%"')� VP6h0SJ8ON689Nc�4'GdTI4'X'6hX'GdX'6h7:9 � oP7F2(6h�º9d7gEFQRX'6h7:9�QR7F2'250S4�ML7:9NON689dc�X�7�� 7PQ3Q3Gd254�689X A 0xEFQRX'6h7:9Y4'0SwHGd0S9IQR0F<�ys0S9NQR0�6h�LEF9YEFQRX'6h7:9}4�ML0SQ A EF4q2'03�¤032'0S9NQR0S4�X�7�X'E=c:4.��257:C QR7:9HX�0R´WX'4.X A E=X.C-E=mF09d7�4�0S9N4'0Fo�X A 03V�K�68JBJ#TL0�6B9�X�032'MI2'03X�0SO®EF4�X A 0�0SCgMNX�Vl4�03X3oºEF9NOlTL0�6hc:9d7F2'0SO®6h� GN4'0SOl6B9lQR7:9I4�X�25EF689HX'43<|¤[]CgMIJh0SCg0S9HX'E=X�7F254sC-ESV�9d7FXDK�EF9�X�X�7Y68CgM&Jh0SCg0S9HX.X A 0S4�0z4�0SC-EF9HX'68Q343< �

>F«

Page 27: J8EF9N9N6B9dcfe.7:CgML03X'6hX'6h7:9ie.7:C-Cf6hX X 030Fj @(Ahomepages.inf.ed.ac.uk/mfourman/tools/propplan/pddl.pdf · @(a 6b4ºc-ef9wgnefjpod0s4'qr2568t 0s4 x a 0 4 vp9 x'e©´lo

�U �` �C ��� �

½»;�¿g^dQR7FX�X�Zs9IOd2'03K�43o#�.256BEF9l�z03X�X'Jh032So ��GdX'J8G A EF9lp 257:J�oºEF9NO ��EFCg0S4zys0S9NONJh032S<��sC @ 25EF9N4'J87Fcdj�Z\�J8EF9N9N6B9dc�tx7:C-EF689U�¤7F2DX A 0�tx03�F0SJh7FMICg0S9HX(EF9NOU�.0S9NQ A CfE=2'mW6B9dc�7F� \qJBEF9N9N689dc�^WVW4'X�0SC-43<�;S`F`F«W<

½£>¥¿�Z�<{��E=2'2'03X�X3oFt�<©e A 25684�X'68EF9I4�7:9�oSk¼<¥�d25680SONC-EF9�o©�g<¥nx7:J8Od0S9#oFex<S�zK�7Fm�o �N< ^�<{\�0S9HT�0325X A VFo¥��<=^PGN9�oEF9IOit�<N��0SJ8O�< ��e�\.��\ GN4�032{uv4DC-EF9HGIEFJ�oº|¤�F03254'6h7:9"4d<v¦���< @ 0SQ A 9N6BQ3EFJ#�(03ML7F2'X�`F§¥_�¦:`¥_�¦:ª=O�o��x9N6»_�F032�4'6hX�V+7F� ��EF4 A 6B9dcFX�7:9�o#tx03MIE=2'X'Cg0S9HX�7F�.e.7:C-MIGdX�032�^PQ36h0S9NQR0�EF9NO®pq9Nc:689d030325689Ncdo�rs7{�F0SC�TL032;S`F`F«W<.Z��=EF68J8E=T&Jh0��W68Eg� @ \ ��257:C A�;�+ � ( � �-E=X ��>/A ] 1&3 ] 5 ( 3BM<�B! I0>*%2! ] �0�/; <

½£§¥¿ ��68C ��JhVWX A 0Fo1��2'0S9�p X�S687:9N6�o�� 7:J8EF9IONE+n�68J~o �(7FTL032'X �:7:4�03M A o�t�EF9¼�zE A 9�o�e.25EF68ci�z9d7FTIJh7PQ'm�o^PX�03�F0S9-k+6B9�X�7:9�o:ZxJ868Q36BEs\��03250 �Fod^PQR7FX�X ��0S68J8JhVFoFklEF9HGN0SJ8Ex/10SJh7:4�7doHEF9IO �xGd0SC-0S6P��EF9dcd<I\ 257WON68cFV4d<v¦Pj @(A 0�C-EF9WGNEFJDEF9NO X'GdX�7F256BEFJ�< @ 0SQ A 9N68Q3EFJ(��03M�7F25X-eDk+��_%e(^H_a`F>¥_5;S«=¦Pose�E=2�9d03c:6h0ik+0SJ8Jh7:9�x9N6h�F032�4'6hX�VFo#;S`F`F>W<

½ 4=¿��-<H¹ <de�J8E=2'm�<�r�03c:E=X'687:9}EF4���EF68J8Gd2'0F<L[]9fy�<Pn�EFJBJ8EF6h2'0�EF9IO �N<Hkl689dmF032SoH0SON6hX�7F2543o��Ne�_ �Tc � 0.a���� 1 �� � 3 � 3�oNMIE=cF0S4s>F`F§��W§F>F>W<�\�Jh0S9HGIC�\qGdTIJB684 A 689Nc�e.7F2'ML7F25E=X'6h7:9#oPrs03K � 7F25m&oIr���oº;S` �=bW<

½£«¥¿��-<Pe�Gd25256h0DEF9NO}Z�< @ E=X�0F<��x_�\qJ8EF9�j�X A 0s7FM�0S9fMIJ8EF9N9I689dczE=25Q A 6hX�0SQRX'Gd2'0F<���( 1 � � c,�T���� 021 �f��� � _ ��0.c �Ro«F>d|];{��j 4�`��WbFªWo#rs7{�F0SC�TL032�;S`F`P;=<

½£ª¥¿��-<Ppq2'7:J�o �d<dys0S9NONJh032{oWEF9NOUt�<NrxEFG�<1�sk�e�\(jdZ�4�7:GN9NOUEF9NO�QR7:CgM&Jh03X�0�MN2'7PQR0SONGd2'0x��7F2 A 6h0325E=2�_Q A 68Q3EFJLX'EF4�mH_�9d03XaK�7F2'mUMIJBEF9N9N689dcd<º[%9 + (�e`c �� 0.a� 021 �'� � e 0`�,� e 0��� +g� � 020�� 0�_ ! � 3�1 ��. 3�odM&E=cF0S4> 4�`��W>F« 4do ��GN9d0g;S`F` 4d<

½��{¿�tx2'03K klQ3ts032�Cg7FX�X3<N�(03�P684�0SO�rs684'M�klEF9HGIEFJ�< @ 0SQ A 9I68Q3EFJH��03ML7F2'X�ª 4�>WoF�qEFJ80De.7:C-MIGdX�032�^dQ36h0S9NQR0tx03MIE=25X'Cg0S9�X3o�;S`FbFbW<

½£b¥¿�tx2'03K�klQ3tx0325Cg7FX�X3< Z y�0SGd2�684�X'68QUpq4'X'68C-E=X�7F2g�¤7F2-k�0SEF9N4�_~0S9NON4-Zx9NEFJhVP4'684�689 \qJ8EF9I9N689dcd<�[]9+ (reBc��� 021 �,( 0)� 1 � e 0.��� � e 0`� ��(���0.c ��e 0��� + �d� 0�0���0�_ ! � 3�1 ��. 3���oNM&E=cF0S4�;�4�>��&;�4�`Wo1;S`F`FªW<

½£`¥¿�p�<�\ 0SOI9NEFGNJhX3<g^WVW9HX A 0S4'6 �S689dcfM&J8EF9N4xX A E=XzQR7:9HX'EF689�EFQRX'6h7:9N4�Ks6hX A QR7:9�X�0R´PX]_�Od03ML0S9NOd0S9HX�0���0SQRX'4S<� e . ��+�1 � 1 � e 0)���� 021 �f��� �d_ �,0.c �3o 4I|�4H��j?§F«Fª��W§ �=>Woq;S`FbFbW<

½»;3¦©¿�p�<�\ 0SOI9NEFGNJhX3<�Zxt�¹ j#p ´WMIJ87F25689dcYX A 0-C-68ONOIJh0�cF2'7:GI9NOlT�03XaK�030S9À^ @ �([]\.^�EF9NO®X A 0g4'68X'GNE=X'6h7:9Q3EFJBQ3GNJ8GN43<q[%9 + (�e`c�� # 3 1� 0215��� e 0`��� e 0 + ( ��0.c,� �.� � 3�er��� 0.e �g� �Oa`_ � � � ��(-��3,��0 1 � 1 � e 0j� 0.a � �O���3[e 0���0�_FoIMIE=cF0S4s§F> 4��W§F§F>Wo1;S`FbF`W<

½»;F;�¿�t�EF9+��0SJ8O®EF9NOl��2'0S9+pqX�S6h7:9N6�< @�A 0z¸I2�4�X�J8E{K�7F� 257FT�7FX'6BQ34�|�E}Q3EFJ8JºX�7UE=25C-4���<([%9 + (�e`c�� #� 1����� 15��� e 0`��� e 0����odMIE=cF0S4�;3¦ 4�>��&;3¦ 4 �Ho1;S`F` 4d<

½»;S>¥¿�t�E{�W68OÀ� 68JhmP689N43<$+ (��/c�1 � c@��� + �d� 0�0���0�_ . � � 1 �,0.a ��0�_ 1�� ��� �d� 3 3 � c@������ +g� � 0�0���0�_ + � (r�0a � _ .�<k+7F2'c:EF9+�zEFGd��C-EF9N9�\qGNTIJ8684 A 032543o�[]9NQ=o#;S`FbFbW<

>Fª