^] i4=`gla/b9c/b9cif@ ]di4='= 95/ / lal4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "!...

26

Upload: others

Post on 19-Jan-2020

15 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

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

687:9<;>=?+A@:B"+.C�DE+F;8GH)�IHJ:B"K�LMJON:P?/�7HL2Q*RTSEU4VXW4YZS[C<+A@H@:95@H\^]_I4=`G"La/b9c/b9cIF@�]dI4='=�95/�/�LaL4efg+hCi95jlk*7"+.CmCn+oN�prq_K�IAC5Lts*+A/!95I4@"+.C5L�U4BHG"La)b9cLaBH)�L?(�u 95@H\4La@:95LaBH)vJ:LM;

]dI4@";!/�)�B"K�/!95I4@";8Q*La)�I4@"+ABH/!9<wFBHLM;QvJ:L�C5L`x�IAD8Lzy�]dIAC5I4),+FJ:IOU4/,+A/�L2{>@:9c|FLa),;}95/!P"~]d),+.95\?�*@HI4N:C5IHK�j�p�R�U4R(*)�LaD�flKa(*La)�=`I4/�/�y!K�7"+.95)a~>yX�d+.C5L�{�@:95|4La)�;}95/TP�~Qv;!7:D895@g�>+A=�y�k*LaI4)�\A9<+`6�LMK�7^{>@:95|4La),;}95/!P�~fg+o@�BHL�C<+'��L�CcI:;!IOy�]�+o)�@HLa\A95Ltf�L�CmC5I4@g{>@:95|4La),;}95/!P"~(2+A@:95L�C���L�C<J�yT{�@:95|4La)�;}95/TPZIA-���+4;!7:95@H\4/�I4@�~(2+M|F9<JO��9mC5j495@";�y�U��8R�~

RX/>DE+F;8N"+4;!LMJZI4@O/�7HLt{�]�S8��S�Cn+o@H\4B"+A\4L2=?+o@�B"+.CXpHD>)!95/�/�La@^N:PZ/�7HL*-�IoCiC5IAD895@H\)�LM;!LM+o),K�7HLa)�;_-�)�I4=�/�7HLt{>@:95|4La),;}95/!P?Io-���+F;!7:95@H\4/�I4@�e

Q�@:/�7HI4@:P��8+A)�)�La/�/MpH(2+.|4Lz]d7H)!9<;!/!9<+A@";!IF@�prfl+A),K*�H)b9cLMJ:=Z+A@�p�]_7�BH@H\?�*D8I4j�pH�*L�95/�7�k�IAC<J:La@�pU�K�I4/�/�S[La@:N"La)�/�7�P4p"(2+.|F9<JOq�U4=�95/�7�p���95@H\�U4BH@�p"��(2+o@:9cL�C[��L�C<J

]dI4@:/,+4K�/�(*)�LaD�fgKa(*La)�=`I4/�/*yX=?KaJ:La)�=`I4/�/�VXJ:)�LaD2��P�+.C5L43�LMJ:B�~dDE9c/�7^K�I4=`=`La@:/,;8I4@O/�7:9n;>J:),+.-0/M3

Q*GH)!9mC��Hp�1MW4W4Y

 l¡_¢M£4¤4¥�¦:£6E7:9n;§=?+A@:B"+.CrJ:LM;�K�)!95N�LM;d/�7HLE;bP�@:/,+.¨�IA-ª©*«`«`¬8pA/�7HL�S[C<+A@H@:95@H\`(*I4=?+h9c@`(*L�­"@:95/!95I4@O®�+A@H\4B"+o\4L4p

/�7HLZGH)�I4N:C5La=`VX;!G�LMK�9m­rKa+A/!95I4@�C<+A@H\4B"+A\4L'-0I4)�/�7HL?Q*RTSEU4VXW4Y�G:C<+A@H@:95@H\�K�I4='G"La/!95/!95I4@�3�687HLZC<+A@H\FB"+A\4L7"+4;z)�I4BH\F7:CcP�/�7HLZ/�7HLZL�¨¯GH)�LM;�;}95|4La@HLM;�;'IA-�S[LMJ:@"+AB:C5/Mu°;�Q2(2®�±51M².³_-�I4)�GH)�IFG"I�;}95/!95I4@";´pd+A@"J�)�I4BH\F7:CcP/�7HL2L�¨HGH)�LM;�;}95|4La@HLM;�;�IA-d{*f�]8S�±°µA³�-�IF)�+4K�/!95I4@";a3E��BH)�7HI4G"L�9<;8/�I`La@"K�I4BH)�+A\4L2La=`G:95)!9<Ka+.C�La|h+.C5B"+A/b9cIF@IA-�G:C<+A@H@HLa)�G"La)!-0I4)�=Z+A@"K�L4p�+A@"J�J:La|FL�CcIFGH=`La@�/�IA-�;!/�+A@"JH+A),Jl;!La/,;�IA-�GH)�I4N:C5La=?;�+.CmCd95@¶K�I4='G"+A),+AN:C5L@HI4/,+o/!95I4@";a3

Page 2: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

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

687:9<;[=?+A@:B"+.C"J:LM;�K�)!95N"LM;§/�7HL�;!P:@�/,+h¨ pA+A@"J�pAC5LM;�;�-0I4)�=Z+.CmCcP4pA/�7HLE;bLa=?+A@:/!9<Ka;apAIA-"/�7HL�S[C<+A@H@:95@H\�(*I4=?+.95@(*L�­"@:95/!95I4@g®�+A@H\4B"+A\4L'y�©*«`«`¬[~,3d687HL*C<+A@H\4B"+o\4Lt;!BHGHG�I4)�/,;E/�7HL*-�IoCiC5IAD895@H\O;!P�@:/,+4K�/b9nK>-0LM+A/�BH)�LM;ae

� ��+F;}9<KzU�6��8RTSEU4VX;!/!P4C5L`+4K�/!95I4@";� ]dI4@"JF95/!95I4@"+.CªL���LMK�/,;� {�@:95|4La),;�+.C¯wFB"+A@�/b9i­rKa+o/!95I4@�Ih|FLa) J:P:@"+A=�9<K_BH@:95|4La),;!LM;_y��������npaI4N��!LMK�/ªK�)�LM+o/!95I4@t+A@"JzJ:LM;!/�)�B"K�/b9cIF@�~,p� (*I4=?+.95@^+.¨:95I4=?;8IA|4La)�;!/�)�+A/!9m­"LMJZ/�7HLaI4)!95LM;ap� U4G"LMK�9m­rKa+A/!95I4@lIA-d;�+.-0La/!P?K�I4@";!/�)�+.95@�/,;´3� U4G"LMK�9m­rKa+A/!95I4@lIA-�7:95La),+A),K�7:9<Ka+.C§+FK�/!95I4@";�K�I4=`G�I�;!LMJ%IA-�;!BHN"+4K�/b9cIF@";�+A@"J�;!BHNH\4I�+hCn;´3

� fg+o@"+A\4La=`La@:/8IA-ª=�B:C5/!95G:CcL�GH)�IFN:CcLa=Z;895@^=�B:C5/!95G:C5L`J:I4=?+.95@";8B";}95@H\OJF9�� La)b9c@H\O;!BHN";!La/�;�IA-�Cn+o@HV\4B"+A\4Lz-0LM+A/�BH)�LM;zyX/�I^;!BHGHG"I4)�/t;!7"+A)b9c@H\�IA-�J:I4=?+.95@";z+4K�)�I�;�;2JF9���La)�La@:/�G:C<+A@H@HLa),;z/�7"+o/27"+A@"JFC5L|h+A)�PF95@H\�C5La|4L�C<;*IA-�L�¨¯GH)�LM;�;}95|4La@HLM;�;�~,3

©*«`«`¬l9<;_95@:/�La@"J:LMJ�/�I�L�¨¯GH)�LM;�;8/�7HL���GH7:PH;}9<Ka;� `Io-�+`J:I4=?+h9c@�p /�7"+A/_9<;ap"D>7"+A/8GH)�LMJF9<Ka+A/�LM;>/�7HLa)�L+A)�L4p�D�7"+A/�+4K�/!95I4@";�+A)�L`G�I�;�;}95N:C5L4p�D�7"+o/�/�7HLO;!/�)�B"K�/�BH)�L`IA-�K�I4=`G�I4BH@"J�+4K�/!95I4@";*9<;ap_+A@"JlD�7"+A/z/�7HLL���LMK�/,;zIA-�+4K�/!95I4@";�+A)�L43�f^I:;!/�G:Cn+o@H@HLa),;�)�LMwFB:95)�LO95@¶+4JHJF95/!95I4@�;!I4=`LZj495@"J IA-!�a+4J:|F9<K�L4p" /�7"+A/z9<;ap+A@H@HI4/�+A/!95I4@";*+AN"I4BH/*D�7:9<K�7�+FK�/!95I4@";*/�IZB";!L295@�+A/�/,+.95@:95@H\?D�7:9<K�7�\4I�+hCn;´p"I4)E9c@�Ka+A)�)�PF95@H\?I4BH/*D�7:9<K�7K�I4=`G�I4BH@"Jl+4K�/!95I4@";ap�BH@"J:La)zD�7:9<K�7�K�95),K�BH=?;b/,+A@"K�LM;a32� Lt7"+.|4LzLa@"J:LM+.|4I4)�LMJ�/�IZGH)�IA|49<J:L�@HI^+4J:|F9<K�L+A/2+.CmC§+F;�G"+A)�/�IA-d/�7HL?©*«`«`¬�@HI4/,+A/b9cIF@$#"/�7"+o/�L�¨HG:C<+.95@";2/�7HL`+.C5=`I�;b/�G�La)�|4La),;!L`+ABH)�+�IA-d@HLaBH/�),+hCi95/!P;!BH)�)�I4BH@"JF95@H\�/�7HL8@HI4/,+o/!95I4@t+A/[|h+o)!95I4B";�G:C<+4K�LM;a3[Q2;�+*)�LM;!B:C5/�IA-�/�7:9<;[@HLaBH/�),+.Cm95/!P4p�+.C5=`I�;b/�+.CmC"G:C<+A@H@HLa),;D89mCmC�)�LMw4B:95)�LOL�¨H/�La@"JF95@H\�/�7HL'@HI4/,+A/!95I4@�p[NHBH/�La|4La)�PlG:C<+A@H@HLa)`DE9iCmC�D�+A@:/2/�I�L�¨¯/�La@"J�95/z9c@¶JF9���La)�La@:/D�+.P¯;a3

q§|4La@`D895/�7O+4J:|F9<K�L*CcL�-0/8I4BH/MpFD�L2+A@:/!9<K�95G"+A/�L*/�7"+A/�-0LaD�G:C<+A@H@HLa),;8D89mCmC�7"+A@"JFC5L2/�7HL*La@�/!95)�Lz©*«`«`¬C<+A@H\4B"+A\FL43�x>La@"K�L�D8L87"+.|4L_- +4K�/�I4)�LMJz/�7HL_C<+A@H\4B"+A\4L_95@:/�It;!BHN";bLa/,;[IA-"-0LM+A/�BH)�LM;ap4Ka+.CmC5LMJ&%'��(*)+�,%'�*-.�0/2143a3q�|FLa)�P?J:I4=?+h9c@^J:L�­"@HLMJZB";T9c@H\%©�«`«'¬�;!7HIFB:CnJ�J:LMK�C<+A)�L2D�7:9<K�7O)�LMw4B:95)�La='La@�/,;�9c/�+4;�;!BH=`LM;a3�Q G:Cn+o@HV@HLa)2/�7"+A/2J:I:LM;2@HI4/*7"+A@"JFC5L�+'\A95|4La@�)�LMw4B:95)�La=`La@:/�Ka+A@l/�7HLa@�;bj495GlIA|4La)v+hCiC�J:L�­"@:95/!95I4@";�K�I4@H@HLMK�/�LMJD895/�7O+2J:I4=?+.95@Z/�7"+A/8J:LMK�Cn+o)�LM;_/�7"+A/�)�LMwFB:95)�La=`La@:/MpH+A@"J�D8I4@�u�/�La|4La@Z7"+.|4L�/�I�K�IFG"L*D895/�7`95/,;_;!P:@�/,+h¨ 3

©*«`«`¬l9<;*J:LM;�K�La@"J:LMJZ-0)�I4= ;!La|4La),+.C�-0I4)�LaN�LM+A),;ae� Qv(2® ±n1M².³� 687HL�U4RTS_q�V65 -�I4)�=?+.Cm9<;!= ±51*5.³� 687HL�S�)�IHJF95\4P:V87"3°²z-0I4)�=?+hCi9<;!= ±°�.³� 687HL�{�f ]�S�-�IF)�=?+.Cm9<;!= ±°µ.³� 687HL�{�@HG�I4GO-0I4)�=Z+.Cm9n;b= ±°YA³� +A@"J�pH=`I�;b/EJF95)�LMK�/bCcP4p�/�7HL�{2]�SE��S�-0I4)�=?+hCi9<;!= ±"5A³��BH)87HI4G�L*9<;d/�I�La@"K�I4BH),+o\4L�;!7"+A)!95@H\�IA-�GH)�I4N:C5La=?;>+A@"J?+hCc\FI4)!95/�7H=?;apH+4;_D8L�CmCª+4;�/�I`+.CmC5IAD�=`LM+A@HV

95@H\A-0B:C§K�I4='G"+A)!9<;!I4@lIA-�/�7HL�G"La)!-0I4)�=Z+A@"K�L�IA-�G:C<+A@H@HLa),;�I4@gJF9���La)�La@:/�GH)�IFN:CcLa=Z;a3�Q G"+A)�/!9<K�B:Cn+o)2\4I�+.C9<;�/�ItGH)�Ih|F9<J:Lt+�@HIF/,+A/!95I4@Z-0I4)8GH)�I4N:C5La=?;>/�I`N�L�B";!LMJ'95@^/�7HL�Q*RTS8U4VXWFY�G:C<+A@H@:95@H\^K�I4@�/�LM;!/M3

1

Page 3: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

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

6�I^\A95|4L?+��r+.|4IF)2IA-�/�7HL Cn+o@H\4B"+A\4L4p�K�I4@";}9<J:La)`S[LMJ:@"+AB:C5/Mu°;v- +o=`I4B";*L�¨"+A=`G:C5Lg± WM³[95@:|4IAC5|F9c@H\l/�)�+A@";!VG"IF)�/,+A/!95I4@ IA-�I4N �TLMK�/,;*N�La/!D�LaLa@�7HI4=`LZ+A@"JlD8I4)�j�B";}95@H\g+ONH)b9cL�-XKa+4;!LZD�7HI�;bL`L���LMK�/,;>95@�|4IoCc|FL?N�I4/�7BH@:95|4La),;�+hCEwFB"+A@�/b9i­rKa+o/!95I4@¶y�������I4N��!LMK�/,;2+A)�L`=`IA|4LMJ�~�+A@"J�K�IF@"JF9c/b9cIF@"+.C�L�� LMK�/�;zy � �2/�7HLaP�+A)�L�95@";}9<J:L/�7HL*NH)!95L�- Ka+F;!L�D>7HLa@`95/_9<;8=`IA|4LMJ�~,3[687HLvJ:IF=?+.95@`9<;8J:LM;�K�)!95N�LMJZ95@O/�La)�=?;§IA-�/�7H)�LaL2+4K�/!95I4@O;�K�7HLa=?+A/,+yT;!7HIAD�@�N"L�C5IAD2~,3 ��LlLa@"Ka+AG";!B:C<+A/�Ll/�7HLM;bL�;�K�7HLa=?+A/,+ N�P�J:L�­"@:95@H\¶/�7HL�J:I4=?+h9c@+A@"J Cm9<;!/!95@H\�95/,;)�LMwFB:95)�La=`La@:/,;a3

�������! #"$�%���'&)(+*, #".-,/$ 0�1�324*'5'�46�7,&0/�84�39�3:;/3��<�=> )/3�?(>�@",A35B:C5�A4/$ ?D$5�:��<E=!*�8F @A'GH:IA4G0DJ #"�KL:C2�&�"F�F @A$ 1&E"!*�8M64���4�3�'21A35,9�3:;A'G0D!�'5N84&M24*�A$ 1&E"ND'O,G35�&�->9�3:2�&E"!5�AF*@"�AF5P�QP6RD'O,G35�&�->949�3:SD�/3�E�3 �2'*�AF�'5T�#*1AVU�WP6XD'O,G35�&�-PU�8Y6.84&M24*�A$ 1&E"J9

�@ ?"PU�WPU�GP6RD4O�GF5�&E-J9'9

Z'Z4Z

Q�J:I4=?+.95@�u°;2;bLa/2IA-�)�LMwFB:95)�La=`La@:/,;2+.CmC5IAD +ZG:C<+A@H@HLa)�/�I�wFB:9<K�jFC5P�/�L�CmC�9m-�95/*9<;*Cm95j4L�C5P�/�IZN"LZ+AN:C5L/�I�7"+A@"JFC5L�/�7HL�J:I4=?+.95@�3d� I4)8L�¨ +A='G:CcL4p /�7:9<;8|4La),;}95I4@OIo-ª/�7HL2NH)!95L�-XKa+4;!L2D8I4)!C<JZ)�LMwFB:95)�LM;�K�I4@"JF95/!95I4@"+.CL���LMK�/,;ap8;!I�+l;!/�)�+.95\47�/%U�6��8RTSEU4V0)�LaGH)�LM;!La@:/,+A/b9cIF@¶G:C<+A@H@HLa)OD8I4B:C<J�@HI4/`N�Lg+AN:C5L^/�Ig7"+o@"JFCcL�95/M3 Qj4LaP:D8I4),JzyT;!P:=�N"IACH;!/,+A)�/b9c@H\>D895/�7t+�K�IoCcIF@�~rB";!LMJ�95@t+ :I/F��<�=> @/F�?(>�@"�AF5 ­"L�C<J�9<;ªKa+hCiC5LMJ�+ % ��(*)+�4% �0-.�*/21[ �)\ # /�7HL�J:I4=?+.95@%9n;>;�+.9<JO/�I^] ��_)�`� %'��� %'� (0) �4%'�*-.�*/ 1'��a %d/�7"+o/b�r+A\"3

Q>CmCvJ:I4=?+h9c@"; 95@"K�C5B"J:L�+�-0LaD NHB:9mC5/�V 95@/!P�G�LM;ap8;!B"K�7�+4; &E-McM�'21A yT+A@:P�IFN��TLMK�/´~,pd+A@"J "4=�(�-$��/ 3f�I�;!/�J:I4=?+.95@";�J:L�­"@HLZ-�BH)�/�7HLa)�/TP:G"LM;´pd;!B"K�7�+4; 8'&�2'*�A! �&�" +A@"J D'O,G35E&E- y ��GH7:P¯;T9nKa+hC�I4N��!LMK�/ :~>95@/�7:9<;*J:I4=?+.95@�3

Q�K�I4@";!/,+A@:/�9<;�+z;!P:=tN�IAC�/�7"+A/_D89mCiC[7"+M|FL�/�7HL2;�+A='L�=`LM+o@:9c@H\ 9c@^+hCiC�GH)�IFN:CcLa=Z;�95@O/�7:9<;�J:IF=?+.95@�3RX@�/�7:9<;ZKa+4;!L QRd /�7HL�NH)!95L�- Ka+4;bL d 9<;Z;!B"K�7�+�K�IF@";!/,+A@:/M3�yXQ>C5/�7HI4BH\47�D�LlK�I4B:C<J�7"+M|FL^+�/!P:G"L-�/! 0�1�32'*45'� p:D8L2J:I4@�u�/�@HLaLMJ�9c/.pHN"LMKa+AB";bL�/�7HLa)�L4u ;8I4@:C5POI4@HL2NH)!95L�-XKa+4;!L43m~

R}@";}9<J:L�/�7HL�;�K�I4G�L�IA-`+ J:I4=?+.95@J:LMK�C<+A),+A/!95I4@�p*I4@HL�;!G"LMK�9m­"LM;�/�7HL�+4K�/!95I4@;�K�7HLa=?+A/,+�-0I4)O/�7HLJ:I4=?+h9c@�3

�3:*'2�A! �&�"X(!&0e36)-:SD$*1/3*?(>��AF��/35%�#U?(fU�8V6N8'&�2'*1A$ �&�">9:SD�/F�'2�&�"F�F @A$ 1&E"g�#*)"F���#*1A.QPU?(h9T�i"F&�AH��jkU�(gUE83949'9:���4�3�'21A��#*)"F���#*1Al-fU�8F9P�i"M&0A��?*�AYQPU?(h949

�C�,&0/F*�8'8f�#U1m$9�70O!�@"H�?*@"F�B�@ #"fU1m$9P�n"F&0AH�ojkU�mYQ$949'9

�?*@"F�B�#*�APU1mVU�8F9p�n"F&�A��#*1A%U1mVU?(q9'949'9'949.9

6E7:9n;_;!G"LMK�9m­"LM;8/�7"+A/d/�7HL>NH)!95L�- Ka+4;bLvKa+A@'N"L*=`IA|4LMJz-0)�I4=�C5I¯Ka+o/!95I4@ U?( /�I2C5IHKa+A/!95I4@ UE8 D�7HLa)�L*/�7HL;!P:=�N"IAC<;�;!/�+A)�/!95@H\`D895/�7^wFBHLM;!/!95I4@O=Z+A)�jH;�J:La@HI4/�L2|A+A)!9<+AN:C5LM;a38687HL2GH)�LMK�I4@"JF95/!95I4@";*JF9<K�/,+A/�Lz/�7"+A/8/�7HLNH)!95L�-XKa+4;!L`=�B";!/>95@:9c/b9n+hCiC5P�N�L�95@l/�7HL`;!/,+A)�/b9c@H\'C5I¯Ka+o/!95I4@l-0I4)�/�7HL +FK�/!95I4@l/�I?N�L�C5La\�+.Cd+A@"J�/�7"+A/>95/*9n;9mCmCcLa\:+.C�/�I�/�)�P�/�Iz=`IA|4L8/�7HL�NH)!95L�-XKa+4;!L*/�I�/�7HL>G:Cn+FK�L�D�7HLa)�L�95/�9<;§95@:95/!9<+.CmCcP43�6E7HL�L���LMK�/dLMwFB"+A/!95I4@O;�+.P¯;/�7"+A/z/�7HLZNH)!95L�- Ka+4;bL?=`IA|4LM;�/�IO95/,;zJ:LM;!/!95@"+A/!95I4@�p�9n;z@HI�C5I4@H\4La)�D�7HLa)�L'95/t;!/�+A)�/�LMJ�p�+A@"J La|4La)�P:/�7:95@H\95@";}9<J:L�/�7HL2NH)!95L�- Ka+F;!L29<;ECi95j4LaDE9n;bLt='Ih|FLMJ�3

5

Page 4: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

�3:*'2�A! �&�"lD4=�A36, #":SD$*1/3*?(>��AF��/35%�#U�W 6 D4O�GF5�&E-TU�8k6 8'&�2'*1A$ �&�">9:SD�/F�'2�&�"F�F @A$ 1&E"g�i"M&0AH��jkU1WYQ$9'9:���4�3�'21A��C7�O$�)"H�#*)"F���#*1AVU�WPU�8F9P�#*1AYQVU�8F9'9

�@ ?"pU1W$949.9

6E7:9n;'+4K�/!95I4@ J:L�­"@:95/!95I4@;!G�LMK�9m­"LM;Z/�7HLOL���LMK�/`IA-2GHBH/�/!95@H\�;bI4=`La/�7:95@H\ yX@HIF/t/�7HL^NH)!95L�-XKa+4;!L�y Q ~95/,;!L�Cm- � ~'95@";}9<J:L`/�7HL�NH)!95L�- Ka+F;!L43�R -�/�7HL�+4K�/!95I4@�9<;�+A/�/�La=`GH/�LMJ%D�7HLa@l/�7HL�I4N �TLMK�/>9<;�@HI4/2+A/*/�7HLt;�+A=`LG:C<+4K�L`y UE8 ~d+4;8/�7HL2NH)!95L�-XKa+4;!L4p�/�7HLa@^/�7HLa)�L*9<;�@HI`L���LMK�/M3

�3:*'2�A! �&�".AF*��3�46�&�=�A$9:SD$*1/3*?(>��AF��/35%�#U�W 6 D4O�GF5�&E-J9:SD�/F�'2�&�"F�F @A$ 1&E"g�i"M&0AH��jkU1WYQ$9'9:���4�3�'21A��i"M&0AH�@ ?"PU�W!9'9.9

6E7HL*­"@"+.C�+4K�/!95I4@OGH)�Ih|F9<J:LM;�+ DE+.P`/�I`)�La=`IA|4L2;!I4=`La/�7:9c@H\'-0)�I4=�/�7HL2NH)!95L�-XKa+4;!L43S[LMJ:@"+oB:Cc/.u°;[L�¨ +o=`G:C5L�GH)�I4N:C5La= ;!BHGHG�I�;!LMJ�/�7"+o/�+A/[7HI4=`L8I4@HL87"+4J�+*JF9<K�/!95I4@"+A)�P`+A@"J�+>NH)!95L�- Ka+4;bL

D895/�7O+zG"+MPHK�7HLMK�j�95@";}9<J:L�9c/.3�� BH)�/�7HLa)�='I4)�L4pH;!BHGHG"I:;!L�/�7"+A/dD8L*D89<;!7HLMJZ/�I�7"+.|4L*/�7HL2JF9<K�/!95I4@"+A)�PO+A@"JNH)!95L�-XKa+4;!Lt+o/�D8I4)�j�pHNHBH/�D�+A@:/�LMJZ/�I'j4LaLaG^/�7HL2G"+.PHK�7HLMK�j^+A/�7HIF=`L43d� LtKa+A@l;!G"LMK�9m-0P^/�7HL2G:C<+A@H@:95@H\GH)�I4N:C5La=�+4;_-0IACmC5IhD*;ae

�������! #"$�%�iD�/,&E-M8M�?( K3��AF6@D!*� ��F9�3: �'&)(+*� ?".-�/! 0�1�32'*45'�46�7�&�/�84�39�3:o #"J @A��nDF8M*42'�XOF&)(+�,9P�iDM8M*'24�N&0�4�$ �2'��9

�o&E-Fc��'21AlD>9f��&�-Fc��'2�A �39P�o&E-Fc��'21Al->9�?*�AYQ.OF&@(>��9P�?*�A��.OM&@(+�,9P�#*1A��lOF&)(+��9f�) #"��!9'9

�3:;K�&�*�8 �?*@"F���?*�A.Q &0�4�$ �2'��9T�#*�A��V&��'�! 02'�,9P�#*1A��.OF&)(+��949'949

��@HLZK�I4B:C<Jl/�7HLa@l95@:|4I4j4L?+ZG:C<+A@H@HLa)�N:P^/!P:G:9c@H\l;!I4=`La/�7:9c@H\%Cm9cjFL �K'/3*)D'O!6@DF8�*@"� K3�1A36@D!*� 1�39 3687HL2G:C<+A@H@HLa)�K�7HLMK�jH;8/�IZ;!LaL*9m-�9c/*Ka+A@^7"+A@"JFC5Lz/�7HL�J:I4=?+.95@�)�LMw4B:95)�La='La@�/,;*+A@"J'9m-�;!I"p:G:C<+A@";a3

���.���$��� ������ � �!� �������

��BH)*@HI4/,+A/!95I4@'9<;�+o@^q[¨H/�La@"J:LMJ^�8s*��yTqd�8s*�_~dD895/�7O/�7HL*-0IACmC5IhDE9c@H\OK�I4@:|4La@:/!95I4@";ae

� qd+4K�7O)�B:C5L29<;8IA-�/�7HL*-0I4)�=�+3���/ 1S��_*18� _�@���*-.�*/ 1�� :':nj �����,� / 3 � a /"3

� Q�@H\AC5LzNH),+4K�j4La/,;8J:L�Cm9c= 9c/2@"+o=`LM;8IA-d;!P:@�/,+FK�/!9<K*L�CcLa='La@�/,;´3

� U�w4B"+A)�L�NH),+4K�j4La/,;vy���+o@"J���~�;!BH)�)�I4BH@"JOIFGH/!95I4@"+.C�=?+A/�La)!9<+.CX38��7HLa@�+`;�wFB"+A)�LzNH),+4K�j4La/�7"+4;*+;!BHG"La),;�K�)!95GH/�LMJO)�LMwFB:95)�La=`La@:/ �r+o\"p";!B"K�7^+4;ae

� �3:IA4G0D!�'5 Z4Z'Z 9 ����� �� "!�#%$"&('

9c/_=`LM+A@";_/�7"+A/_/�7HL�=?+o/�La)!9<+.C"9<;§95@"K�C5B"JH+AN:C5LtIF@:CcP 9i-[/�7HLvJ:IF=?+.95@?N�L�95@H\ J:L�­"@HLMJZ7"+F;�J:LMK�C<+A)�LMJ+�)�LMwFB:9c)�La=`La@�/E-�I4)>/�7"+A/ �r+A\"38U4LaL'U4LMK�/!95I4@�1*)H3

Page 5: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

� UA9c= 9iC<+A)bCcP4p§/�7HL�;bP�=�N"IoC :4:nj =?+.P^N"LO;!BHG�La),;�K�)!95GH/�LMJ�D895/�7�+O)�LMwFB:95)�La=`La@:/��r+o\"p�95@"JF9<Ka+A/!95@H\/�7"+A/8/�7HL2L�¨HG"+A@";}95I4@�9<;8G"I�;�;}95N:CcL�I4@:C5PZ9m-d/�7HL�J:I4=Z+.95@O7"+4;�J:LMK�C<+A)�LMJO/�7"+A/ �r+A\�3

� Q�@^+4;b/�La)!9<;!j�y � ~_=`LM+A@";���aLa)�ItIF)�=`I4)�L2Io- �#H+zG:CcB";zy��H~�=`LM+A@"; ��I4@HL2I4)�='I4)�L2IA-�3"

� U4I4=`L`;!P:@�/,+FK�/!9<K2L�C5La=`La@:/,;�+A)�L�G"+A),+o=`La/�La)!9��aLMJ�3�q�3�\"3np � 8F 05�Ag�#5�G1(M-M&'839 ��=�95\47:/�J:La@HI4/�L`+Ci9<;!/*IA-�;!P:=�N"IAC<;ap�D�7HLa)�Lz/�7HLa)�L�9n;2+o@gqd�8s*�¶J:L�­"@:95/!95I4@l-0I4) � 83 �5�A�� �?+A@"J�+?J:L�­"@:95/!95I4@l-0I4)� 5�G1(M-F&48 �¯3[687HL2-0I4)�='La)�= 9c\F7�/8C5I:I4jZCm95j4L

� 83 051A�� � :4:nj ��� � 9

;!I�/�7"+A/�+zCm9<;!/*IA-d;!P�=�N�IAC<;_9<; �!B";!/ � � 5�G�(�-F&48 � � 9 3

� ��),JF95@"+A)�POG"+A)�La@:/�7HLM;}9<;*+A)�L�+A@OLM;�;!La@�/b9n+hC�G"+A)�/�IA-�/�7HL�;!P:@�/,+h¨�D8L�+A)�L�J:L�­"@:95@H\^+A@"J%7"+.|4L2@HI;!La=?+A@:/!9<Ka;_95@^/�7HL�q_�8s���=`La/�+zC<+A@H\4B"+A\4L43

Q2;�D8L�;�+.9<Jz95@^U4LMK�/!95I4@l14p ©�«`«'¬O9<;�95@:/�La@"J:LMJZ/�I2L�¨HGH)�LM;�;_I4@:C5P�/�7HL*GH7�PH;}9<Ka;_IA- +zJ:I4=?+.95@�pH+A@"JD89mCmCd)�LMwFB:9c)�L`L�¨¯/�La@";}95I4@l/�I?)�LaGH)�LM;!La@:/2/�7HL`;!LM+A),K�7HVXK�I4@:/�)�IAC�+FJ:|49<K�L�/�7"+A/*=`I�;!/*G:C<+A@H@HLa),;�@HLaLMJ�32��L)�LMK�I4='=`La@"J�/�7"+A/t+.CmC�;!B"K�7�L�¨H/�La@";}95I4@";zI4N�LaP�/�7HL�-�IoCiC5IAD895@H\�K�I4@:|4La@:/!95I4@�e�Q*@�L�¨H/�La@"J:LMJ�©*«`«`¬L�¨HGH)�LM;�;}95I4@ 9<;t+o@�I4)�JF9c@"+o)�P�©�«`«'¬ L�¨HGH)�LM;�;}95I4@�D895/�7 ;!I4=`LZ;!BHN"L�¨HGH)�LM;�;}95I4@"; IA-�/�7HL�-0I4)�= �� �

� 9 p�D�7HLa)�L � 9<;2+A@^BH@HL�¨H/�La@"J:LMJ�©*«`«`¬�L�¨¯GH)�LM;�;}95I4@�+A@"J � 9n;2;bI4=`Lt+FJ:|49<K�L432687HL � � �@HI4/�+A/!95I4@95@"JF9<Ka+A/�LM;�/�7"+A/ªD8L�+A)�L8+4;�K�La@"JF95@H\�/�Iv+ ��='La/,+ ECcLa|FL�C 3_687HL8D�IF),J���L�¨HGH)�LM;�;T9cIF@2 *7HLa)�L_9n;�95@:/�La)�GH)�La/�LMJ+4;.�a+A@:P^G"+A)�/�IA-�+�©*«`«`¬ L�¨HGH)�LM;�;}95I4@l/�7"+o/�9<;2L�95/�7HLa)�+O;T9c@H\oCcLZ;!P�=�N�IAC�IF)v+A@lL�¨HGH)�LM;�;}95I4@ IA-d/�7HL-0I4)�= � Z4Z'Z 9 3" �HI4)�9c@";b/,+A@"K�L4p[/�7HLOJ:L�­"@:9c/b9cIF@ IA- ($&�e36@- \o9c|FLa@�+AN�IA|4L�=�95\47�/zN"LZLa@H7"+A@"K�LMJ -0I4)�+G"+A)�/b9nK�B:C<+A)*G:C<+A@H@HLa)*/�7�B";´e�3:*'2�A! �&�"X(!&0e36)-

:SD$*1/3*?(>��AF��/35%�#U?(fU�8V6N8'&�2'*1A$ �&�">9:SD�/F�'2�&�"F�F @A$ 1&E"g�#*)"F�������P�#*1AkQ U?(h9

�CK,&M*�8�6�A4G0D$� : *'2)O> ���e3*)-F8���9'9�����P�i"M&0A��ojTU�( U�83949

�CK,&M*�8�6�A4G0D$� : �$ 180AF��/$949'9:���4�3�'21A��#*)"F���#*1Al-fU�8F9P�i"M&0A��?*�AYQPU?(h949

�C�,&0/F*�8'8f�#U1m$9�70O!�@"H�?*@"F�B�@ #"fU1m$9P�n"F&0AH�ojkU�mYQ$949'9

�?*@"F�B�����f�?*�AVU1m%UE839 :SD�/! �(+*1/'GF6'���4�3�42�A$9�����f�n"F&0Ag�#*�APU1mVU?(q9'9 :5� ����'64���'�F�'21A$9'949'949'9

/�I�95@"JF9<Ka+A/�Lz/�7"+A/1F3*y :SD�/$ o(+*1/'G364���4�3�'21A |H;a3 :5� 1�M�'64���4�3�'21A ~,e2D�7HLa@�/�7HLZG:C<+A@H@HLa)`La@"K�I4BH@:/�La),;�+�\4I�+.CdIo-�/�7HL-�I4)�= �#*1AVU�mPUE839 p�95/`=Z+MP�95@:/�)�IHJ:B"K�L^+ ($&0eF6@- +4K�/!95I4@ 95@�/�I�+�G:C<+A@�95@ I4),J:La)�/�Il+4K�7:9cLa|FL/�7"+A/8\4I�+.CXp:NHBH/�+�\FI�+.C�IA-ª/�7HL*-0I4)�= �i"M&0AH�#*1AVU�mPU?(q9'9 p:D�7:9mC5L295/�=Z+MPZN"L�+FK�7:95La|4LMJ%N�PO+A@+4K�/!95I4@ZIA-ª/�7:9<;_-0I4)�= 9c@:/�)�IHJ:B"K�LMJZ-0I4)�+A@HI4/�7HLa)�)�LM+4;!I4@�p:;!7HI4B:C<JO@HI4/�Ka+AB";bLv+ ($&�e36)- +4K�/!95I4@O/�IN"LtK�)�LM+A/�LMJ�#

5 3*yTJF9�� La)�La@�/ K�&�*�8�6�A'G�D$� ; ~,e`R -�+A@¶+FK�/!95I4@¶;!B"K�7¶+4; �;($&�e36@- -���DF8�*'2'��� DF8�*'24���39 +A)!9<;!LM;ap§95/;!7HI4B:C<JZN"L2)�L'�!LMK�/�LMJ 95=`=`LMJF9<+A/�L�C5P4p�),+A/�7HLa)8/�7"+A@Z\A95|F9c@H\')!9<;!L�/�I +�;!BHNH\FI�+.C �i"F&�A���jlDM8M*'24���DM8M*42'���F9'9 3

7

Page 6: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

Q2J:I4GH/!95@H\�/�7:9n;ZK�I4@:|4La@:/!95I4@¶;!7HI4B:C<J�95=`GH)�Ih|FLO/�7HLOG"I4)�/,+AN:9mCm9c/!P IA-2G:C<+A@HV0GH)�I4N:C5La= K�IACmC5LMK�/!95I4@";apN"LMKa+oB";!L�+zG:Cn+o@H@HLa)�B";}95@H\O©*«`«`¬�Ka+A@ON"L2D�)b9c/�/�La@?/�I295\4@HI4)�L�+hCiCª+4J:|F9<K�L*95@OBH@HL�¨¯G�LMK�/�LMJ^K�I4@:/�L�¨H/,;a3RX@O/�7HL*-�BH/�BH)�L4pHD8L2=?+.P�95@�/�)�I¯J:B"K�L�+�='I4)�L�K�I4=`G:C5L�¨^;!P:@�/,+h¨`-�IF)�+A/�/,+FK�7:95@H\`+4J:|F9nK�Lz/�I�N"LzB";!LMJZN�PJF9���La)�La@�/*G:C<+A@H@HLa),;ap�NHBH/>-�I4)>@HIhD /�7HL�I4@:C5P�\4La@HLa),+.CªGH)b9c@"K�95G:C5L�9<;>/�7"+A/�+A@�L�¨¯GH)�LM;�;}95I4@lIA-�/�7HL2-0I4)�=�� � � 9 Ka+A@ZI¯KaK�BH)*+A@�P:D�7HLa)�L4pH+A@"J'D89mCmCª=`LM+A@ZL�¨"+4K�/!C5P`/�7HL�;�+o=`L�/�7:95@H\?+4; � p¯+F;[-X+A)�+4;8J:I4=?+.95@GH7:P¯;}9<Ka;*+A)�L�K�I4@"K�La)�@HLMJ�3

]_I4=`=`La@:/,;�95@l©�«'«`¬gN�La\A95@OD895/�7O+t;bLa=�9<K�IAC5I4@^y � � ¯~�+A@"J'La@"JZD895/�7Z/�7HL�@HL�¨H/8@HLaD8Cm95@HL43dQ*@�P;!B"K�7g;!/�)!95@H\`N"La7"+.|4LM;_Cm95j4L�+`;}95@H\AC5L`;!G"+4K�L43

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

��L�@HIAD J:LM;�K�)!95N"L`/�7HLzC<+A@H\4B"+o\4L�=`IF)�L2-0I4)�=?+hCiC5P43�6E7HL q_�8s���-�I4)2J:L�­"@:95@H\g+ZJ:I4=?+.95@�;!/�)�B"K�/�BH)�L9<;ae

� �4&@(+*, #" � :4:nj��������! #"$�T���4&@(>*� #" � "$*�(+� � 9��� ��W4A3�@"!5� 1&E"$6E�M�1� ������ /3�E<E=> )/3�46��M�1� � ���� A'G�D$�'546������ � ��� �" "!�# $ &��� 2�&�"$5�AF*@",A35'6E�M�1� ������ �'&)(+*� ?"$61e3*�/F5'6E�M��� ��� � ��� !�����(#� $����������� � #� $��� D�/F���3 �2'*1A3�'546������ � ���� A$ o(+��8��'545'6������ ������ 5'*1�3��A4G36E�M��� ��� � ������� �" ���� $�� ��� # $����� 51A'/�=$2�A�=�/F�'6������ ��� 9

� �1W'A3�)"$5, �&E"!6������ � :4:nj��3:��W4A3�@"M�M5 � �4&@(+*, #"."!*?(>� ��� 9� /F��<E=J @/F�'6������ � :4:nj��3:;/3�E<E=> )/3��(+�@",A35 � /F��<E=J @/F�'6��F��G � �h9� /F��<E=J @/F�'6��F��G � :4:nj! ��� �o_018��a /#"�$� A4G0D$�45'6E�M��� � :4:nj��3:;A'G�D$�'5 � A4G0D!���Y83 �5�A��n"$*?(>��9 � 9� 2E&E"$51A3*)"�A3546������ � :4:nj��3:2�&�"$5�AF*@",A35 � A'G�D$�E�.83 �5�A��n"$*?(>��9 � 9� �4&@(+*, #"!6�e3*1/3546��M�1� � :4:nj��3: �'&)(+*� ?"$61e3*�/! 0*)-F8M�45

� A'G�D$��� 83 051A �o�'&@(>*� ?"$6�eF*�/F6��M�42�8�*�/3*1A$ )&E"J9 � 9� D,/3���F 024*�A3�45'6E�M��� � :4:nj��3:SD�/F���3 �2'*1A3�'5 � *1A�&)(h 02 ��&0/1(M=M8M*.5 �3��8���A,&E" � � 9� *1A�&@(q 02X�,&0/1(M=F8�*.5��F��8���A�&�" �

:4:nj�� � D�/F���3 �2'*1A3� � � A4G0D!���.8F 05�Ag�Ce3*1/$ �*@-F8���9 � 9� D,/3���F 024*�A3� � :4:nj � "!*?(>� �� eF*�/$ �*@-M8M� � :4:njVU � "$*�(+� �� A! �(+�E8M�45'5'6E�M�1� � :4:nj��3:;A$ o(+��8��'545 � 83 @AF��/F*�8 �n"$*?(>��9 � � 9� 51A'/0=!2�A�=�/3�46������ � :4:nj � *42�A! �&E"!6������ �� 51A'/0=!2�A�=�/3�46������ � :4:nj � % �&��(#%$'�(����#) �&�� � *�W! �&)(+6������ �� 51A'/0=!2�A�=�/3�46������ � :4:nj � ��� ��#) $'�(���"!�� $��(#� $�� � (+�1A0OM&'�M6E�M�1� �

Q>C5/�7HI4BH\47ZD8L�7"+.|4L>95@"JF9<Ka+A/�LMJO/�7HL�+A)�\4BH=`La@:/,;�9c@^+zG"+A)�/!9<K�B:Cn+o)�I4),J:La)Mp:/�7HLaP'=?+.P?K�I4=`L>95@^+A@�PI4),J:La).pHL�¨ K�LaGH/E-�I4)>/�7HL �o�'&@(>*� ?" Z'Z4Z 9 9c/�;!L�Cm-b3

* %na�+*��3�a-,��HIF)ª/�7HL8K�I4@:|4La@:95La@"K�L�Io-r;!I4=`L§9c='G:CcLa='La@�/�La)�;ap4D8L�J:L�­"@HL�+�´;!/�)!9<K�/�;!BHN";!La/ >IA-�©*«`«`¬/�7"+A/_95=`G�I�;!LM;>/�7HL2-0IACmC5IhDE9c@H\O+4JHJF95/!95I4@"+.C[)�LM;!/�)!9<K�/!95I4@";´e

)

Page 7: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

1F38Q�CmCHj4LaP�D8I4)�J�+A)�\FBH=`La@�/�;�y0-0I4) ���M�1�$ ?"$�f�o�'&@(>*� ?" Z'Z4Z 9'9 +o@"Jt+hCiC";}95=�9mC<+A)�K�IF@";!/�)�B"K�/,; ~r=�B";!/+AGHG"LM+A)E9c@�/�7HL2I4),J:La)*;!G"LMK�9m­"LMJ�95@^/�7HL2=?+A@:B"+.CX38yXQ*@^+A)�\4BH=`La@:/�=?+.P`N�L�I4= 9c/�/�LMJ�3m~5 3��AB";!/�I4@HL�©*«`«`¬ J:L�­"@:95/!95I4@�yXIA-�+`J:IF=?+.95@�pHGH)�I4N:C5La=^p�La/,KA3m~2=?+.PO+AGHG"LM+o)�G"La)>­HC5L43� 38QvJHJ:La@"JH+%yT;!LaL�U4LMK�/!95I4@�141A~d+A)�L*-0I4)�N:9<JHJ:La@�3s*+A=`LM;*Io->J:IF=?+.95@";ap�Cm95j4LZI4/�7HLa)zI¯KaK�BH)�)�La@"K�LM;�Io-E;!P:@�/�+4K�/!9<K`Ka+A/�La\FI4)�P � "$*�(+� �Hp�+A)�LZ;!/�)!95@H\�;*IA-

K�7"+A),+4K�/�La)�;�N�La\A95@H@:9c@H\lD895/�7�+'C5La/�/�La)�+o@"JgK�IF@�/,+h9c@:95@H\ZC5La/�/�La)�;ap�JF95\A95/,;ap�7:P:G"La@";zy ��V6 ¯~,pr+o@"J^BH@"J:La)�V;�K�I4)�LM;*y � :~,3_]�+4;!L*9<;8@HIF/�;}95\4@:9m­rKa+A@:/M3

R -v/�7HL :C�1W'AF�@"F��5 +o)�\4BH=`La@:/�9<;`GH)�LM;!La@�/.pd/�7HLa@�/�7:9<;?J:IF=?+.95@ 95@H7HLa)!95/,;')�LMwFB:9c)�La=`La@�/�;ap8/!P�G�LM;apK�I4@";!/�+A@�/�;aph+FK�/!95I4@";ap4+.¨:95I4=?;ap4+A@"Jz/!95=`L�C5LM;�;TCcP�/�)�BHL�GH)�I4G"I�;T9c/b9cIF@";�-�)�IF=�/�7HL8@"+A='LMJtJ:IF=?+.95@";apAD�7:9<K�7+A)�L�Ka+hCiC5LMJ�/�7HL � /3_ � 3 1Sa %�3dIo-�/�7:9<;�J:IF=?+.95@�3

6E7HL :;/3�E<E=> )/3��(+�@",A35 ­"L�C<J 9n; 95@�/�La@"J:LMJ¶/�I^-0I4)�=Z+.Cm9 �aLl/�7HLZ-X+4K�/`/�7"+A/`@HI4/?+hCiC*G:Cn+o@H@HLa),;OKa+A@7"+A@"JFC5L�+.CmC�GH)�I4N:C5La=?;8;!/,+o/,+AN:C5L�95@Z/�7HLz©�«`«'¬g@HI4/�+A/!95I4@�3[R0-ª/�7HL�)�LMwFB:95)�La=`La@:/89<;_=�9<;�;}95@H\OyT+A@"J @HI4/95@H7HLa)!95/�LMJ�-0)�I4= +o@�PO+A@"K�LM;!/�IF)vJ:I4=Z+.95@�~,p"/�7HLa@O95/vJ:L�-X+AB:C5/,;*/�I :5�A4/$ #D!5 3dR}@^\4La@HLa)�+.CXp�+`J:I4=?+.95@%9n;/,+AjFLa@?/�I�J:LMK�C<+A)�L2La|4La)�P')�LMw4B:95)�La='La@�/�/�7"+A/�+A@�P`+A@"K�LM;b/�I4)�J:LMK�C<+A)�LM;a3�Q J:LM;�K�)!95GH/!95I4@OIo-�+.CmC�G"I�;�;T9cN:C5L)�LMwFB:95)�La=`La@:/,;89<;_-0I4BH@"J�9c@ U4LMK�/!95I4@�1*)H3

6E7HL :IA'G�D$�45 +A)�\4BH='La@�/2B";!LM;2+�;!P:@�/,+h¨^N"I4)�)�IhD8LMJ%-0)�I4= sE9n;bG¶±��M³�/�7"+o/�9<;2B";bLMJlL�C<;!LaD�7HLa)�L'95@©*«`«`¬ yXNHBH/�IF@:CcPZ9m- :IA4G0D> ?"�K 9<;�7"+o@"JFCcLMJ%N�PZ/�7HLzG:Cn+o@H@HLa)M3

� A4G0D$�E�.83 �5�A����+9 � :':nj � �� A4G0D$�E�.83 �5�A����+9 � :':nj � �" �!�#%$"& ��� 6 � A'G0D!� ��� A'G�D$��� 83 051A ���+9 �� A4G0D$� � :':nj � "$*�(+� �� A4G0D$� � :':njB�#�� )A0O!��/ � A'G0D!� � � 9� A4G0D$� � :':nj � ������� $"��� ���8E=!�@",A � A4G0D$� � 9

Q /!P:G"LMJ�Ci9<;!/*9<;*B";!LMJ�/�IOJ:LMK�C<+A)�L�/�7HLz/TP:G"LM;>IA-�+ Cm9n;b/2IA-dLa@�/b9c/b9cLM; #�/�7HL�/!P:G"LM;2+A)�L2GH)�LMK�LMJ:LMJlN�P+O= 9c@:B";�;T9c\F@ y � 6 :~,p�+A@"J�La|4La)�PlI4/�7HLa)2L�C5La=`La@:/�IA-�/�7HL Ci9<;!/z9<;�J:LMK�C<+A)�LMJ�/�I�N"L`Io-�/�7HL�­")�;!/�/!P:G"L/�7"+A/z-0IACmC5IhD*;z95/Mp�I4) &E-McM�42�A 9m-2/�7HLa)�L^+A)�LZ@HI�/!P:G"LM;z/�7"+A/z-0IACmCcIAD�95/M3 Q�@ L�¨"+A=`G:C5LOIA-�+ � A'G0D!���83 �5�A �i"$*�(+�,9 �29<;

?"�AF��K3�1/.��84&M*1AV6X"'=�(�-$�1/lD'O,G35�&�-

R0-*/�7:9<;�I¯KaK�BH)�;`+4;�+ :IA4G0D$�45 +o)�\4BH=`La@:/�/�I�+lJ:I4=?+h9c@�p�9c/ZJ:LMK�Cn+o)�LM;�/�7H)�LaLZ@HLaD�/!P�G�LM;ap #",A3�1K3��/ p��84&M*1A p�+A@"J D4O�GF5�&E- 32687HLz­"),;!/2/!D8I?+A)�L ;bBHNrK�C<+4;�;!LM;�IA- "'=E(M-!��/ p"/�7HLzC<+4;!/�+Z;!BHN�K�Cn+F;�;2IA- &�-FcM�42�AyXN:P`J:L�- +AB:C5/a~�3d687"+A/[9<;ap:La|4La)�P 9c@:/�La\4La)§9<;�+�@�BH=�N�La)Mp:La|4La)�P �"I�+A/§9n;8+�@�BH=�N"La).p¯+o@"J�La|4La)�P`GH7:PH;}9<Ka+.CI4N��!LMK�/89<;�+A@OIFN��TLMK�/.3

Q*@?+A/�I4=�9<K_/TP:G"L>@"+A=`L89<;��!B";!/8+*/!95=`L�C5LM;�;_BH@"+A)�P�GH)�LMJF9<Ka+A/�L4pH+A@"J�=Z+MPzN"L�B";bLMJ`D�7HLa)�La|4La)�;!B"K�7+zGH)�LMJF9<Ka+A/�L*=?+Aj4LM;8;!La@";bL43�RX@O+4JHJF95/!95I4@O/�I�+A/�I4=�9<K>/!P�G�L�@"+A='LM;ap:/�7HLa)�L2+A)�L�/!D8ItK�I4='G"I4BH@"J'/!P�G�LM;a3�#�, @A�O$��/���� Z'Z'Z ����9 9<;§/�7HL�BH@:95I4@`IA-�/!P�G�LM; �� /�I ��� 3 �C��8�=$�)"�A��9 9n;§/�7HL8/!P�G�L�IA- +o@tIFN��TLMK�/�D>7HI�;!L|h+hCcBHLz|h+A)b9cLM;E-0)�I4= ;}95/�B"+o/!95I4@O/�I?;}95/�B"+o/!95I4@�p"+A@"J�9n;>+.C5DE+.PH;8IA-�/!P�G�L � 38y�U4LaL'U4LMK�/!95I4@�105H3m~

6E7HL :n�4&@(>*� #"!6�eF*�/$ �*@-M8M�'5 J:LMK�C<+A),+A/!95I4@�9n;*B";bLMJO-0I4)2J:I4=?+.95@";*/�7"+o/�J:LMK�C<+A)�L`/�7HLz)�LMwFB:9c)�La=`La@�/�r+A\ :C�1W0D�/F�'545� �&�"$64��e3*E8E=!*�A$ 1&E" #8/�7:9n;%)�LMwFB:9c)�La=`La@�/.pv+o@"J�/�7HL�+4KaK�I4=`G"+o@�PF95@H\¶;!P�@:/,+4K�/b9nK K�Cn+F;�;�'&)(+*, #"$61e3*1/36����'2E8M*�/F*�A! �&E" p4+A)�L�J:LM;�K�)!95N"LMJ%95@�U4LMK�/!95I4@�1*5H3

6E7HL :C2E&E"$51A3*)"�A35 ­"L�C<J 7"+4;z/�7HL^;�+o=`L�;bP�@:/,+.¨�+F;�/�7HL :;A'G�D$�'5 ­"L�C<J�pdNHBH/`/�7HL^;!La=?+A@:/!9<Ka;�9n;JF9���La)�La@�/.3ds�IAD�/�7HL�@"+o=`LM;8+A)�L�/,+oj4La@�+F;d@HLaDK�I4@";b/,+A@:/,;[95@Z/�7:9<;�J:I4=?+.95@�p:D�7HI�;bL�/!P:G"LM;8+A)�L�\o9c|FLa@+4;�J:LM;�K�)!95N"LMJl+AN"IA|4L43�q>3�\"35p:/�7HL�J:LMK�C<+A),+o/!95I4@

µ

Page 8: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

�3:2�&E"!5�AF*@"�AF5 ;�+A7"+A),+ V�/�7HLM+A/�La)JF9c|F9<;}95I4@�1`JF95|49<;}95I4@25ZV8JF95|49<;}95I4@�~

95@"JF9<Ka+A/�LM;�/�7"+o/295@ /�7:9<;�J:I4=?+.95@�/�7HLa)�LO+A)�L`/�7H)�LaL�JF9<;!/!95@H\4B:9<;!7HLMJ�K�I4@";!/,+o@�/,;´p 5'*)O$*1/3* J:La@HI4/!95@H\�+A0O!�'*1A3��/ +A@"JO/!D8It;bP�=�N"IoCn;*J:La@HI4/!95@H\ �F @e$ �5� 1&E" ;a3

6E7HL : D,/3�E�3 024*�AF�'5 ­"L�CnJlK�I4@";T9n;b/,;*IA-�+ Ci9<;!/2Io-�J:LMK�Cn+o),+A/!95I4@";*IA-�GH)�LMJF9<Ka+A/�LM;´p�I4@"K�L`+A\�+.95@^B";T9c@H\/�7HL2/!P:G"LMJ:V Cm9<;!/�;!P:@�/,+h¨?/�I?J:LMK�C<+A)�Lz/�7HL�+A)�\FBH=`La@�/�;8IA-ªLM+4K�7^IF@HL43

6E7HL :IA$ o(+�E8M�'545 ­"L�C<J�K�I4@";}9<;!/,;*IA-�+'Cm9n;b/tIo-dCm95/�La),+.C<;2/�7"+A/�+A)�L�/,+AjFLa@g/�I?N�L`/�)�BHL?+o/v+.CmC8/!95=`LM;95@O/�7:9<;�J:I4=?+h9c@�3_687HL�;!P:@�/,+h¨�� 83 @AF��/F*�8h�n"$*�(+��9 �*D89mCiC�N"L�J:L�­"@HLMJ�95@lU4LMK�/!95I4@gµH3[R}/�\4I:LM;dDE9c/�7HI4BH/;�+.PF9c@H\�/�7"+o/d/�7HL*GH)�LMJF9<Ka+A/�LM;8B";bLMJ'9c@Z/�7HL*/!95=`L�C5LM;�;8GH)�IFG"I�;}95/!95I4@";E=tB";b/�N�LvJ:LMK�C<+A)�LMJZL�9c/�7HLa)�7HLa)�L*I4)95@`+A@t+A@"K�LM;b/�I4)ªJ:I4=Z+.95@�3dy!�dB:9mC5/�V 95@`GH)�LMJF9<Ka+A/�LM;�;!B"K�7`+4; � j EN"La7"+.|4L�+4;�9m-r/�7HLaP2D�La)�L�95@H7HLa)!95/�LMJz-0)�I4=+A@^+A@"K�LM;b/�I4)�J:I4=?+.95@�p"+hCc/�7HI4BH\47OD�7HLa/�7HLa)>/�7HLaP?+4K�/�B"+hCiC5P^+A)�L�95=`G:C5La=`La@:/�LMJ�/�7:9<;8D�+.P?J:LaG"La@"JH;>I4@/�7HL*95=`G:C5La=`La@:/,+A/!95I4@�3c~

6E7HL�)�La=?+.95@:95@H\�­"L�C<JH;�J:L�­"@HL2+4K�/!95I4@";8+A@"J')�B:C5LM;§9c@O/�7HL�J:I4=?+.95@�pH+A@"J'D89mCmC N�L�\o9c|FLa@?/�7HL�95)8IAD�@;!LMK�/!95I4@";´3

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

687HL�q_��s*� -0I4)�+A@^+4K�/b9cIF@gJ:L�­"@:95/!95I4@�9<;ae� *42�A$ 1&E"!6��M�1� � :':nj��F:C*'21A$ 1&E" � *'2�A! �&�"Y�0=4"$2�A,&0/ �

: D$*1/3*�(+��AF��/F5f� � A4G0D!���.8F 05�AH�e3*�/! 0*)-F8M�,9 � 9� *'21A$ 1&E"$6E�M�1�l-F&4�0G � 9

� *42�A$ 1&E"Y��='"!2�A�&�/ � :':nj � "$*?(>� �� *42�A$ 1&E"!6��M�1� -M&'��G � :':nj � :Ie3*1/35f� � A4G0D$�E�.83 �5�A �Ce3*1/$ �*@-F8���9 � 9 �

� : D�/F�'2E&E"F�F @A! �&E" ��� � � �� :C��W�D$*)"$5� 1&E"

� *'21A$ 1&E"P5)D$�'2 ��� � ��� ��#) $'�(���"!� $���#) $�� :C��W�D$*)"$5� 1&E"L: (>��A0OM&'��5 ��� �� ��#) $������ !�� $�(#) $��� : (+*, #",A3*� ?" ��� � ��� � �� ��#) $������"!�� $��(#� $�� :C�1�'�F�'2�A � ���4�3�42�A � �� :n&E"M80GF6� #"!6'�1W0D$*)"$5, �&E"!5 � -M&'&'8��'*)" ��� � �� ��#) $�����"!�� $�� #� $��

6E7HL : D!*�/F*?(+�1A3�1/35 Ci9<;!/[9<;�;}95=`G:C5Pz/�7HL_Ci9<;!/�Io-"|h+A)!9<+AN:C5LM;§I4@�D�7:9<K�7�/�7HLdG"+A)�/!9<K�B:Cn+o)�)�B:C5L�I4G"La)�+A/�LM;ap�8� � �5p[95/,;'+A)�\4BH=`La@:/,;ap§B";}95@H\�/�7HLO/!P:G:95@H\�;!P:@�/,+h¨�J:LM;�K�)!95N"LMJ�+AN"IA|4L43 687HL :Ie3*1/35 Cm9<;!/�+o)�L`C5IHKa+.CmC5PN"IFBH@"JO|h+o)!9<+AN:C5LM;*D�7HI�;!L�;!La=Z+A@�/b9nKa;>+A)�L2L�¨HG:Cn+h9c@HLMJ�N�L�CcIAD�3

6E7HL : D,/3�42�&E"M�3 )A$ �&�" 9<;2+A@OI4GH/!95I4@"+hC�\4I:+.CªJ:LM;�K�)!95GH/!95I4@�y�kv(z~_/�7"+A/�=�B";!/�N�Lt;�+o/!9<;}­"LMJ�N"L�-0I4)�L/�7HLl+4K�/!95I4@ 9<;O+AGHG:Cm95LMJ�3�Qv;ZJ:L�­"@HLMJ�N"L�C5IAD�y�U4LMK�/!95I4@�µ:~,p>©�«`«'¬�\4I�+hCvJ:LM;�K�)!95GH/!95I4@";�+A)�L^wFB:9c/�LL�¨HGH)�LM;�;}95|4L4ed+o@^+A)�N:95/�),+A)�P�-�BH@"K�/b9cIF@HV -�)�LaL*­")�;!/�V0I4),J:La)_C5I4\A9<Ka+.C�;!La@�/�La@"K�L*9n;>+.CmCcIAD8LMJ�3�R -�@HI`GH)�LMK�I4@"JF95V/!95I4@";*+A)�L�;!G�LMK�9m­"LMJ�p�/�7HLa@^/�7HL�+FK�/!95I4@O9<;*+.C5DE+.PH;_L�¨¯LMK�BH/,+oN:CcL43���� ��_*143�Cm9<;!/2/�7HL�K�7"+A@H\4LM;>D�7:9<K�7�/�7HL+4K�/!95I4@'95=`G"I:;!LM;8I4@Z/�7HL2K�BH)�)�La@:/E;b/,+A/�L*IA-�/�7HL2D8I4)!C<J�3�q ��LMK�/,;_=?+.P�N"L2BH@:95|4La),;�+.CmCcP^wFB"+A@:/!9m­"LMJO+A@"JK�I4@"JF95/!95I4@"+.CXp[NHBH/2-0B:CmCd­"),;b/2I4),J:La)�;!La@:/�La@"K�LM;�y���� \ �np�JF9n;��TBH@"K�/!95I4@¶+o@"J�U4jFIAC5La=�-0BH@"K�/!95I4@";�~v+o)�L�@HI4/+.CmC5IAD�LMJ�3�687:B";ap�95/*9<;>9c='G"I4)�/�+A@�/2/�I?)�LM+hCi9��aL`/�7"+A/�©�«'«`¬�9n;2+F;!P�='=`La/�)!9<KAe�+FK�/!95I4@lGH)�LMK�I4@"JF95/!95I4@";+A)�L�K�IF@";}9<J:La),+AN:C5P^=`IF)�L�L�¨HGH)�LM;�;T9c|FL�/�7"+A@^+FK�/!95I4@^L���LMK�/,;a3

6E7HL :���4�3�'21A J:LM;�K�)!95N"LM;*/�7HL2L���LMK�/,;8Io-�/�7HL�+FK�/!95I4@�38U4LaL`U4LMK�/b9cIF@ ��3

Page 9: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

R -"/�7HL�J:I4=?+.95@�J:LMK�Cn+o)�LM;[)�LMwFB:9c)�La=`La@�/ :C*'21A$ 1&E"$64��W�D$*@"!5� 1&E"$5 pa/�7HLa@295/[9<;�CcLa\o9c/b9c=Z+A/�L8/�I>9c@"K�C5B"J:L+A@ :C�1W0D!*@"$5, �&�" ­"L�C<J�-�IF)�+A@�+4K�/!95I4@�p�D>7:9nK�7�;!G�LMK�9m­"LM;t+hCiC8/�7HL�D�+MPH;*/�7HL`+4K�/!95I4@ =?+.PON"L?Ka+A)�)!95LMJI4BH/>95@^/�La)�=Z;�IA-8yXGH)�LM;bBH=?+AN:C5Pg;}95=`G:C5La)a~�+FK�/!95I4@";a38RX/>9<;�+hCn;bI?=`LM+o@:9c@H\o-�B:Cd/�I 9c='G"I�;!L`+`K�IF@";!/�),+.95@://�7"+A/�+ ��� � ��N"Lz=?+.95@�/�+.95@HLMJO/�7H)�IFBH\47HI4BH/8/�7HL�L�¨HLMK�BH/!95I4@�IA-§+o@^+4K�/!95I4@�38U4LaL'U4LMK�/!95I4@gYH3

Q*@^+4K�/!95I4@^J:L�­"@:95/!95I4@l=�B";!/�7"+.|4L�+o@ :���4�3�'21A IF)�+A@ :C�1W0D!*@"$5, �&�" p4NHBH/./Fa 1 � a 1���3� )�LaL�|A+A)!9<+AN:C5LM;2+A)�Lz@HI4/2+.CmCcIAD8LMJ�3*Q�CmC�|h+A)b9n+oN:CcLM;v95@�+o@g+4K�/!95I4@lJ:L�­"@:95/!95I4@ y �8� � �5p 95@�9c/�;�GH)�LMK�IF@HV

JF95/!95I4@";ap�=?+.95@:/�La@"+A@"K�LtK�IF@"JF9c/b9cIF@�p"L�¨HG"+A@";}95I4@�p�I4)�L���LMK�/,;�~�=�B";!/�N�L295@"K�C5B"J:LMJ�95@^/�7HL : D$*1/3*�(+��AF��/I4) :Ie3*1/35 Cm9<;!/Mp�I4)8L�¨¯G:Cm9<K�95/!C5P^95@:/�)�IHJ:B"K�LMJ�D895/�7^+`wFB"+A@�/b9i­"La).3

:Ie3*1/35 9<;§=?+.95@:C5Pt+2K�I4@:|4La@:95La@"K�L43��d+A)!9<+AN:C5LM;_+AGHG"LM+A)b9c@H\27HLa)�L�N�La7"+.|4L�+4;�9m-�N"IFBH@"J�L�¨:9<;!/�La@:/!9<+.CmC5P95@�GH)�LMK�I4@"JF95/!95I4@";�+A@"J�BH@:9c|FLa),;�+.CmC5Pz9c@zL���LMK�/,;apAL�¨"K�LaGH/ª/�7"+o/�95/�9<;�+A@2La)�)�I4)�9m-"=`IF)�L�/�7"+A@zI4@HL�95@";!/,+o@"K�L;�+A/b9n;T­"LM;8/�7HL�L�¨:9<;!/�La@:/!9<+.CªGH)�LMK�IF@"JF9c/b9cIF@�3*U4I"pF-�I4)>L�¨ +A='G:CcL4p 95@^/�7HL*-0IACmC5IAD895@H\�J:L�­"@:95/!95I4@

�F:C*'21A$ 1&E" 5@D�/F*�GF6@D$*, #",A:SD$*�/F*?(>��A3�1/35T�#U42k6Y2E&'8'&�/$9:;e3*�/F5f�#U1WP6N8'&�2'*�A! �&�">9:SD�/3�42�&�"F�3 )A$ 1&E"g�#*�AY/,&E-F&�AVU�W!9:���'�F�'21A��C�,&0/3*E8'8 �?U�GV6XD4O�G35E&E-J9

�C7�O$�)"H�#*1AVU�GPU�W!9�#2E&'8'&�/VU�G U'2�949'949

9m-d/�7HL2)�I4N�I4/�=�B";!/8N"L�95@g+A/�='I�;!/8I4@HL2G:C<+4K�L�/�I?+.|4IA9<JO+A@OLa)�)�IF)M3Q>CmC�/�7HLt|A+A)!9<+AN:C5LM;2IHKaK�BH)�)!95@H\Z-0)�LaLz95@g/�7HL :C�1�'�F�'2�A I4) :C*'21A$ 1&E" ­"L�CnJ�=tB";b/�N�LtN�I4BH@"J�95@l/�7HL

: D,/3�42�&E"M�3 )A$ �&�" ­"L�C<J�36E7HL2I4GH/!95I4@"+.C�+o)�\4BH=`La@:/ : &E"M80G36, #"!6'��W�D$*)"$5� 1&E"!5 9<;�J:LM;�K�)b9cN�LMJ�95@�U4LMK�/!95I4@lYH3

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

Q \FI�+.C�J:LM;�K�)!95GH/!95I4@�9<;OB";bLMJ¶/�I�;!G�LMK�9m-�P/�7HL�J:LM;T9c)�LMJ�\4I�+.C<; 95@�+�G:C<+A@H@:95@H\¶GH)�I4N:C5La= +A@"J�+.C<;!I/�7HL�GH)�LMK�I4@"JF95/!95I4@";v-�IF)�+A@g+4K�/b9cIF@�3��HBH@"K�/!95I4@HV -0)�LaL�­")�;!/�V0I4),J:La)2GH)�LMJF9nKa+o/�LzCcIF\A9<KZy095@"K�C5B"JF9c@H\l@HLM;!/�LMJwFB"+A@�/b9i­"La)�;�~�9<;�+hCiC5IAD8LMJ�3

��� � � :':nj � *�A,&@(q 02X�,&0/�(�=F8�*>�CAF��/1(h9 ���� � � :':njB�#*@"M� ��� � � � 9��� � � :':nj � 83 )A3�1/3*�8q�CAF��/�(q9 ���� � � :':nj � %�#������"$�� � #������ !���� $�%�#%�(#) $� �o&0/ ��� � � � 9��� � � :':nj � %�#������"$�� � #������ !���� $�%�#%�(#) $�l�n"F&�A ��� � � 9��� � � :':nj � %�#������"$�� � #������ !���� $�%�#%�(#) $� �) �(�DF80G ��� � ����� � � 9��� � � :':nj � ��� #)� ��� $�� #��)��� !���� $�%�#%�(#) $�

�?��W$ �5�AF5f� � A'G0D!���.8F 051A �CeF*�/! 0*@-M8M�,9 � � 9 ��� � � 9��� � � :':nj � �"$ #��������)��� !���� $%�# ��#) $��

���&0/F*�848 � � A'G0D!���.8F 051A �CeF*�/! 0*@-M8M�,9 � � 9 ��� � � 9� 8F @A3�1/3*E8h� �o9 � :':nj � *�A,&@(q 02X�,&0/�(�=F8�*>� �o9 �� 8F @A3�1/3*E8h� �o9 � :':njB�i"F&�A � *1A�&)(h 02 ��&0/1(M=M8M*>� ��9 � 9� *1A�&@(q 02X�,&0/1(M=F8�*>� ��9 � :':njB� � D,/3�E�3 024*�AF� � � � 9� AF��/�( � :':nj � "$*�(+� �� AF��/�( � :':nj � e3*1/$ �*@-F8�� �

Y

Page 10: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

D�7HLa)�L4pFIA- K�IFBH),;!L4p�+o@`I¯KaK�BH)�)�La@"K�L�Io- + � D,/3�E�3 024*�AF� �v;b7HI4B:C<J`+A\4)�LaL>D895/�7�95/,;�J:LMK�C<+A),+A/b9cIF@`95@Z/�La)�=?;IA-�@�BH=�N�La)�+A@"J�pHD�7HLa@l+AGHG:Cm9<Ka+AN:C5L4p�/TP:G"LM;EIA-§+o)�\4BH=`La@:/,;a3

x>I4G�L�-�B:CmC5P^/�7HL�;bLa=?+A@:/!9<Ka;8IA-�/�7HLM;!L2L�¨HGH)�LM;�;�;}95I4@";E9<;�IFN�|F95I4B";a3

� ���^ � � �

©*«`«`¬ +hCiC5IAD�; N"I4/�7�K�I4@"JF95/!95I4@"+.Cg+A@"J BH@:9c|FLa),;�+.CmC5P wFB"+A@:/!9m­"LMJ L���LMK�/,;a3 687HL J:LM;�K�)!95GH/!95I4@ 9n;;!/�)�+.95\47�/b-�I4)�DE+o),J�e

� �1�'�3�42�A � :4:nj��#*)"F� � ���'�F�'21A ��� 9� �1�'�3�42�A � :4:nj��i"M&0A � *�A�&)(h �2X��&�/�(M=M8M*J�CA3�1/�(q9 � 9� �1�'�3�42�A � :4:nj � *1A�&@(q 02 ��&�/�(M=M8M*J�CA3�1/�(q9 �� �1�'�3�42�A � :4:nj � � $%�# ��#) $�������������%��X���&�/3*�848 � � e3*1/$ 0*)-F8�� ��� 9 � �1�'�F�'2�A � 9� �1�'�3�42�A � :4:nj � � $%�# ��#) $�������������%�� �70O!�@" ��� � ��� ���'�F�'21A � 9� �1�'�3�42�A � :4:nj � ������� $������?2@O!*@"�KF� � �,8E=!�@"�A ��� �1W0D,/3�'545� 1&E" � 9

� Ld+4;�;!BH=`L_/�7"+A/�+.CmCH|h+A)!9<+AN:C5LM;[=�B";!/�N"L8N�I4BH@"J�yXL�95/�7HLa)[D895/�7�+�w4B"+o@�/!9m­"La)[I4)�95@�/�7HLdG"+A),+o=`La/�La),;;!LMK�/!95I4@�IA-d+A@^+4K�/!95I4@^J:L�­"@:95/!95I4@�~,3

Q2; 9c@�������� �4p8/�7HL�/�)�BH/�7�|h+.C5BHLlIA-�GH)�LMJF9<Ka+A/�LM;O+A)�Lg+F;�;!BH=`LMJ /�I�G"La)�;}9<;!/Z-�IF)�D�+A),J 95@�/!95=`L43{>@:Ci95j4L��������� �4p�©*«`«`¬l7"+4;�@HI`J:L�C5La/�L*Cm9<;!/ d 95@";!/�LM+4JZIA-ªJ:L�C5La/!95@H\ �o&E"f*X->9 I4@HL2;}95=`G:C5P�+4;�;!La)�/,;�i"M&0A��o&E"f*R-J9'9 3�R0-�+A@�+4K�/!95I4@�u°;�L���LMK�/,;2J:I�LM;�@HI4/2=`La@:/!95I4@�+ZGH)�LMJF9<Ka+A/�L���/�7HLa@�/�7HL�/�)�BH/�7lIA-/�7"+A/8GH)�LMJF9<Ka+A/�L�9<;�+F;�;!BH=`LMJ%BH@"K�7"+A@H\FLMJON:P�+A@Z95@";!/�+A@"K�L�IA-�/�7HL�+4K�/b9cIF@�3

6E7HLv;!La=Z+A@�/b9nKa;EIA- �C7�O$�)" ��� 9 +A)�L�+4;§-0IACmC5IhD*;ae�R0-���9<;8/�)�BHL*N"L�-0I4)�L2/�7HL�+4K�/!95I4@�p:/�7HLa@OL���LMK�/� IHKaK�BH),;*+.-0/�La)M3�� 9<;*+ 3 ��_�a /F]�� % ����% ��_�a /F] �418� a /O±51M².³X3d6E7HLt+4K�/!95I4@Z9<;E-�LM+F;}95N:CcL�La|4La@%9m-�� 9n;E-X+.C<;!L4pNHBH/�/�7HLzL���LMK�/�� IHKaK�BH),;8I4@:C5PZ9m-�� 9<;�/�)�BHL43

��C5BHLa@:/,;�+A)�L2L�¨¯G:C<+.95@HLMJ%95@�U4LMK�/!95I4@�1*5H3

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

RX@O=Z+A@�PZK�Cn+F;�;}9<Ka+.C � �4�*%n� %n_ � ��_����FG:Cn+o@H@HLa),;2y!;!B"K�7O+4;*UA95G�L?±51*5.³Xp���VXS�Cn+o@�± ).³XpH+A@"JO{�f ]�S�± µM³ ~�\FI�+.C<;+A)�LO;!G�LMK�9i­"LMJ�95@�/�La)�=?;zIA-�+AN";!/�),+FK�/t+4K�/!95I4@";z/�IlKa+A)�)�PlI4BH/`+4;�D8L�CiC�+4;'yXIF)295@";!/�LM+4J IA-M~*\4I�+.C<;z/�I+4K�7:95La|4L43�Q�;!IoCcBH/b9cIF@?/�I�+2G:C<+A@H@:95@H\ZGH)�I4N:C5La=?;§9<;�+z;!LMwFBHLa@"K�L2IA-ª+4K�/!95I4@";_/�7"+A/ �TIA95@:/!C5P?K�I4=`G�I�;!L2+.CmC/�7HL`+AN";!/�),+4K�/2+4K�/!95I4@";2IF)!95\A95@"+.CmCcP )�LMw4BHLM;b/�LMJ�3`©*«`«`¬¶+.CmC5IAD�;*-0I4)*/�7:9<;�;!/!PFC5LtIo-�G:C<+A@H@:95@H\lN�P�GH)�I4V|F9nJF95@H\O+A@ :��W�D$*@"!5� 1&E" ­"L�C<J�9c@^+FK�/!95I4@�J:L�­"@:95/!95I4@";´p"GH)�IA|F9<J:LMJZ/�7HLvJ:IF=?+.95@�J:LMK�C<+A)�LM;8)�LMwFB:9c)�La=`La@�/:C*42�A! �&E"!6'�1W0D$*)"$5, �&E"!5 3�687HLz­"L�C<J�pª+F;2J:LM;�K�)!95N"LMJ�+AN"IA|4L4p 9<;2IA-d/�7HL�-0I4)�= :C�1W0D!*@"$5, �&�" � *42�A$ 1&E"5@D!�'2 �Hp:D�7HLa)�L � *'21A$ �&�"V5)D$�42 ��7"+4;8/�7HL*-0IACmC5IhDE9c@H\O;!P:@�/�+.¨ e

� *42�A$ 1&E"P5)D$�42 � :': j � *'21A$ 1&E"$61A3�1/�( �� *42�A$ 1&E"P5)D$�42 � :': j��@ #"!6'2E&E"�AF��W4A � *'2�A! �&�"P5@D!�'2 �

� *'21A$ 1&E"$6E�M�1�l-F&4�0G � 9� *42�A$ 1&E"P5)D$�42 � :': j��#2@OM&3 �2'� � *'2�A! �&�"P5@D!�'2 � � 9� *42�A$ 1&E"P5)D$�42 � :': j��C��&�/35E&@(+�%� � A4G0D!���N83 051A �e3*�/! 0*)-F8M�,9 � � 9

� *'21A$ 1&E"P5)D$�'2 � 9� *42�A$ 1&E"P5)D$�42 � :': j��#5'�1/$ ��'5 � *'2�A! �&�"P5@D!�'2 � � 9� *42�A$ 1&E"P5)D$�42 � :': j��iD$*1/3*E8'8M�E8 � *'21A$ �&�"P5@D!�'2 ��� 9

W

Page 11: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

� *42�A$ 1&E"P5)D$�42 � :': j��CA3*1K � *42�A! �&E"!6�8�*@-$�E8 AF��/1( � �� *42�A! �&E"T5@D$�42 �� *42�A! �&E"!6�8�*@-$�E8 AF��/1( � � 9

� *42�A$ 1&E"P5)D$�42 � :': j � �� ����� � �����"!�%$�"#� $����&0/F�'*42@O � A'G0D!���.8F 051A �CeF*�/! 0*@-M8M�,9 �

��� � ��� *'21A$ 1&E"P5)D$�'2 � 9� *42�A$ 1&E"P5)D$�42 � :': j � %�� &�������!�� $��(#� %$�

�?2�&E"!5�A4/3*� ?"$�E�p� � *'21A$ 1&E"P5)D$�'2 � � 9� *'2�A! �&�"P2�&�"$5�A4/3*, #"�A � � 9

� *42�A$ 1&E"P2E&E"!5�A'/F*� ?"�A � :4:njf�@ #"!6'2E&E"�AF��W4A � *'2�A! �&�"P2�&�"$5�A4/3*, #"�A �� *'21A$ 1&E"$6E�M�1�l-F&4�0G � 9

� *42�A$ 1&E"P2E&E"!5�A'/F*� ?"�A � :4:njf�#5'�1/$ ��'5 � *'2�A! �&�"P2�&�"$5�A4/3*, #"�A � � 9� *42�A$ 1&E"P2E&E"!5�A'/F*� ?"�A � :4:njf�iD$*1/3*E8'8M�E8 � *'21A$ �&�"P2�&�"$51A'/3*, #",A ��� 9� *42�A$ 1&E"!6�A3�1/�( � :': j�� � *42�A! �&E" �0='"!2�A,&0/ � � AF��/1( � � 9� *42�A$ 1&E"!6�8M*)-$�E8 AF��/�( � :':nj � *'21A$ 1&E" 8�*@-$�E8 �

�R� ��� *42�A! �&E"k8M*@-!��8 � 9�R� ��� *42�A! �&E"k8M*@-!��8 � 9

� *42�A$ 1&E" 8�*@-!��8 � :': j � "$*�(+� �

q[¨H/�),+'K�7HIA9<K�LM;*=?+.PON�L +FJHJ:LMJ^/�I?+A@g+FK�/!95I4@lL�¨¯G"+A@";T9cIF@�+h-�/�La)>/�7HL`+4K�/!95I4@O9<;2J:L�­"@HLMJ�p�N:PO/�7HL�B";!LIA- :�(+��A�OF&4� ;ap"+F;�J:LM;�K�)!95N"LMJg9c@ U4LMK�/!95I4@ 14143_Q�@l+4K�/!95I4@OD895/�7l@HI`L�¨HG"+A@";}95I4@�9<;*Ka+.CmCcLMJl+ ��%��,-.�418� +0���_018��a /��"I4) �!B";!/�+ ��%��,-.�418� +0�M3�R}/d9<;�+hCcD�+.PH;dG�I�;�;}95N:C5L�/�It/�L�CiC�N:P?/�7HLv+4K�/b9cIF@^J:L�­"@:9c/b9cIF@O9m-�/�7HL�+4K�/!95I4@9<;*GH)!95=�95/!95|4L #�9m-E+.CmC�95/,;*L�¨HG"+A@";}95I4@";�+o)�L`J:L�­"@HLMJl|49<+Z=`La/�7HI¯JH;ap�/�7HLa@g/�7HL :C��W�D$*)"$5� 1&E" +A)�\4BH='La@�/;!7HI4B:C<J%N"L�/�7HL�;!P�=�N�IAC : (>��A�OF&'��5 3

Q*@�+4K�/!95I4@�=Z+MPON�L`L�¨HG"+A@"J:LMJl95@:/�I^+O;!/�)�B"K�/�BH)�L�IA-E+FK�/!95I4@";ap�L�95/�7HLa)�+O;!La)!95LM;!V0G"+A)�+.CmCcL�C�K�I4=�N:95V@"+A/!95I4@�p:I4).p49m-�/�7HL2J:I4=?+.95@^J:LMK�C<+A)�LM;8)�LMw4B:95)�La=`La@:/ :n��*�K364��W�D$*@"!5� 1&E"$5 +A@^+A)�N:9c/�),+A)�P�G"+A)�/b9n+hC IF),J:La)yXD895/�7O;!/�LaG";�Cn+oN"L�C5LMJON:P A3*1K ~,3[R0-�/�7HLa)�L>9<;�+�K�7HIA9<K�LzIA-�L�¨¯G"+A@";T9cIF@";ap:95/89<;_95@"JF9<Ka+A/�LMJOB";T9c@H\ 2)OF&F 02'� 3Q �,&0/F5�&@(>� N�La7"+.|4LM;8Cm95j4L�+`K�7HIo9nK�L�+A=`I4@H\Z+.CmC�95/,;_95@";!/,+A@"K�LM;´3

6E7HL2I4@:C5PONHB:9iC5/�V 95@�+4K�/!95I4@�/�La)�= 9<; �#6'6,9 p:I4)/Fa�� a(�r3Q*@:P�D�7HLa)�L�+A@^+4K�/!95I4@%9n;>+.CmCcIAD8LMJ�p�/�7HL2L�¨¯G"+o@";}95I4@^=?+.P`7"+.|4L�+o@OL�¨¯GH)�LM;�;}95I4@^IA-�/�7HL*-0I4)�=�@ ?"$6'2E&E",A3��W4A �,��_018��a / 3%���o_ �

:SD�/3�42�&�"F�3 )A$ 1&E" �:�(+*� ?"�AF*� #"��p9

687:9<;*K�I4@";!/�)�B"K�/_9<;>B";!LMJZ/�I?J:LMK�C<+A)�LzGH)�LMK�I4@"JF95/!95I4@";*+A@"JZ=?+.95@:/�La@"+A@"K�L�K�I4@"JF95/!95I4@";�Io-§+4K�/b9cIF@";8/�7"+A/+A)�L*J:BHL2GHBH)�L�C5P`/�I�/�7HL�9c)8IHKaK�BH)�)!95@H\�95@Z/�7HLvK�IF@�/�L�¨H/dIo- /�7:9n;_L�¨HG"+A@";}95I4@�3>yXRX/8;!7HI4B:C<J /Fa 1HN"L*B";!LMJZ/�I)�LaG�LM+A/�/�7HL�GH)�LMK�IF@"JF9c/b9cIF@";t+F;�;!IHK�9n+o/�LMJlD895/�7l/�7HL?J:L�­"@:95/!95I4@�IA-8/�7HL?+4K�/!95I4@�95/,;!L�Cm-�3m~�� I4)*L�¨ +A='G:CcL4p/�I�95@"JF9<Ka+A/�L�+�G:C<+A@^/�I`La|h+4K�B"+o/�L�+A@^+A)�LM+ IA-ª-0)!95La@"JFC5PO-0I4),K�LM;�+o@"JZ/�7HLa@^;!7HL�CmCª95/Mp I4@HL�=�95\47:/�D�)b9c/�L�#54��/! 0�'5%�#2�8��'*1/VU'*1/3�'*,9

�@ #"!6'2E&E"�AF��W4A �?5@O$�E8'8kU4*�/F�'*�9: D�/F�'2E&E"F�F @A! �&E"g�i"M&0AH�#�1W$ �5�A35%�#U�W 6 =4"> )A$9

�#*@"M���C�'/! 0�)"F�'8�GkU1W$9f�@ ?"PU�WPU4*�/3�4*�949'9'949'9

Q2;`;!P:@:/,+4K�/!9<KO;!BH\�+o)Mp8©*«`«`¬ +hCiC5IAD�;�PFI4B /�IlD�)!95/�L �#*42@O> ���eF� � 9 +4;�+A@�+ANHNH)�La|F9<+A/!95I4@ -0I4)�@ ?"$642�&E",A3�1W'AB�#6'6,9�: D�/F�'2E&E"F�F @A! �&E" � 9 3

1M²

Page 12: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

6E7HL �?2�&E"!5�A4/3*� ?"$�E����� � 9 ;!P:@�/,+h¨�+.CmC5IAD�;*-X+.95)!C5P�+A)�N:95/�)�+A)�PO-0BH)�/�7HLa)�K�I4@"JF95/!95I4@";z/�ION"L 9c='VG"I:;!LMJ`IF@�+A@Z+4K�/!95I4@O;!G"LMKAp:D895/�7'C<+AN"L�C<;�;!/�+A@"JF95@H\�95@'-�IF)�+4K�/!95I4@";8+A@"J /�7HL�95)�La@"J:G�IA95@�/�;a3�6E7HL8C<+AN"L�C<;+A)�L�J:L�­"@HLMJ�N�PZ/�7HL �CA3*1K �`� � �)� 3 ��_*18� a / 9 K�IF@";!/�)�B"K�/M3_Q�C<+AN"L�Cd;!/,+o@"JH;8-0I4)�/�7HLzD�7HIAC5Lt+FK�/!95I4@�yXIHK�VK�BH)�)�La@"K�LA~*BH@:C5LM;�;*95/*9<;2w4B"+hCi9m­"LMJ N�P �?I4) �Hp�95@lD�7:9<K�7�Ka+F;!Lz9c/�;b/,+A@"JH;>-0I4)2/�7HL�N"La\A95@H@:95@H\lI4)*La@"JIA-�/�7HLt+FK�/!95I4@�3�RX@";T9nJ:L � p �?5'��/! 0�45�� ����� Z4Z'Z � �09 95=`G�I�;!LM;*+A@g+4JHJF95/!95I4@"+hC�I4)�J:La)!95@H\`)�LMwFB:9c)�La=`La@�/I4@�/�7HL�/b9c='L�G�IA95@�/�;�/,+A\F\4LMJ � ������ �� � 3 �@ ?"$642�&E",A3�1W'AB�#5'�1/$ ��'5�� � Z4Z'Z � ��9 �n_oa /3] �418��a / 3 � 9 Ka+A@�N�LB";!LMJ'/�I295=`G�I�;!L*L�¨¯/�),+�K�I4@"JF95/!95I4@";vyXI4)d+A@H@HI4BH@"K�L*L�¨H/�),+2L���LMK�/,; ~ªIA-�/�7HL>95@�/�La)�|h+.C�K�I4)�)�LM;!G�I4@"JF95@H\`/�I;!B"K�7g+A@^+FJHJF9c/b9cIF@"+.CªI4),J:La)b9c@H\�3

� I4)�L�¨"+A=`G:C5L4p4/�I2L�¨HG"+A@"JZ+A@`+4K�/!95I4@�95@:/�I2-0I4BH)d;!BHN"+FK�/!95I4@"; ���!9 p �CQ!9 p ���39 p4+A@"J ���!9 p4;!B"K�7`/�7"+A/���!9 GH)�LMK�LMJ:LM; �Q$9 +o@"J ���!9 p"+A@"J ���F9 GH)�LMK�LMJ:LM; ���!9 p:D895/�7gK�IF@"JF9c/b9cIF@ ���$9 =?+h9c@:/,+.95@HLMJ�-�)�IF=�/�7HLLa@"JOIo- ���!9 BH@�/!9mC�/�7HL2La@"JOIo- ���!9 p:D�)!95/�L:C�1W0D!*@"$5, �&�"��?2�&E"!5�A4/3*� ?"$�E� �'�?5'��/! 0�45P�A3*�K��H� � �@"F��6'*,9'9P�Q$9'9

�?5'��/! 0�45P���39f�CAF*�K�� � -!��KF6��39T���$9T� � �@"M�M6��F9'949'9�) #"!6'2�&�"�AF��W'AB�#54��/! 0�'5 �@"F��6'*X-$�1K36E�k�@"M�M6��F9

: (>*� ?"�A3*, #"g���!9'9'9

Q2;�+A@Z9mCmC5B";!/�),+o/!95I4@^IA-d+.CmCª/�7:9<;ap 7HLa)�L*9<;�+�-0),+A\4=`La@:/8IA-�/�7HL�{�@:95|4La)�;}95/TPOIo-�fl+A)�PFCn+o@"JO6�),+o@";}C5I4\J:I4=?+h9c@�±51�³XpH;!G"LMK�9m-0P495@H\O7HIAD/�I'BH@:CcI:+4J^+ �r+o/�N"LMJZ/�)�B"K�j�e

�F:C*42�A$ 1&E".=4"F84&M*��: D!*�/F*?(+�1A3�1/35T�#U@Df6RD!*'2 �3*�KF�.U�eP6Ne3�)O> �2�8M�NU�8V6 8'&�2'*1A$ �&�">9:C�1W0D!*@"$5, �&�"

�#2@OM&3 �2'�

Z'Z4Z � 5'�1e3�1/3*�8Y2@OF&F 024�'5.�E83 �������C�,&0/35E&@(>�f�#U42.6Y2�/3*)"$�,9

�@ ?"$6'2E&E",A3��W4A�#2E&E"!5�A'/F*� ?"$���

�#54��/! 0�'5%�CA3*1KH�iD> �2��F6@='D!6@D!*'2��F*�KF�'6�eF�@OJ 02�8��U@DPU42YU�eVUE839

� � �)"F�M6)"���9'9�CA3*1KH� � -!��K36)" �F9

�iD'=,A36E�'&07�"$6)D$*'2 �3*1K3�'61K'/,&E='"M�U@DPU42YU�83949'9

�) #"$642�&�"�A3�1W'AB�#54��/$ ��'5.�)"F��6@"�� -$��KF6@" �39:�(+*� ?"�AF*� #" �#*@"M� �#*1A36)D$*'2 �3*1K3�NU@DfU'2,9

�#*1A364��<E=J #DE(+�@",AkU42YU�83949'949: D,/3�42�&E"M�3 )A$ �&�"��?*@"M� �C�,8M*�A�-$�E�kU�e!9

�#��(MD�A4GVU'2,9�#*1A36@D!*'2 �3*�KF�.U@DTU�e$9�#*1A36�eF�@OJ 02�8��.U�e U�839�#*1A36'�E<E=J #D�(>�@",AkU42kUE83949'9'949'9

s>I4/�L�/�7"+A/z©�«'«`¬¶J:I�LM;�@HI4/�+.CmC5IhD PFI4Bl/�I�;bG"LMK�9m-�PlD�7HLa/�7HLa)295/ -������ 3 3 �*/ 3 �*/�I'95@";!La)�/�;!/�LaG";*/�I+4K�7:95La|4L�+A@z9c@HVXK�IF@�/�L�¨H/�GH)�LMK�I4@"JF95/!95I4@'IA-r+�K�7HIA9<K�L2yT+F;�I4GHG"I:;!LMJz/�I�B";T9c@H\�95/�+4;�+.��­HC5/�La) *K�I4@"JF95/!95I4@�~,3687"+A/E- +.CmC<;E9c@:/�I`/�7HL�Ka+A/�La\4I4)�P`IA-d+4J:|49<K�L4p�D�7:9<K�7%9<;�7"+A@"JFC5LMJ�9c@l+�G:C<+A@H@HLa)�VX;!G�LMK�9m­rK`D�+.P43

141

Page 13: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

6E7HL D$*�/F*�848M��8 K�I4@";!/�)�B"K�/[95=`G"I�;bLM;�@HI�K�I4@";!/�),+.95@�/�;[I4@�/�7HL�L�¨HLMK�BH/!95I4@`I4),J:La)_IA-"95/,;�+o)�\4BH=`La@:/,;a3x>IhD8La|4La).p4+*C<+AN"L�Cª+4;�;!I¯K�9<+A/�LMJ�D895/�7O+2G"+A),+hCiC5L�C�K�I4=`G"I:;}95/!95I4@`9<;8+4;�;bI¯K�9<+A/�LMJ D895/�7?/�7HL8­"),;!/8+4K�/!95I4@`IA-/�7HL2K�I4=`G�I�;}95/!95I4@O/�I�N"La\o9c@�p¯9c@O/�7HLvKa+4;bL�IA-�+��*� �Cn+oN"L�CXpHI4)8/�7HL>C<+4;!/�+4K�/!95I4@Z/�I�La@"J�pF9c@O/�7HLvKa+4;bL�IA-+ �*�H3" lq�3�\"3np�/�I�95@"JF9<Ka+A/�Lz/�7"+A/�+�K�I4@"JF95/!95I4@^N�L�/�)�BHL�-0)�I4=�/�7HL2La@"JZIA- *'21A � BH@:/!9mC�+�;!La/�IA-�+FK�/!95I4@";G"La)b-�I4)�=`LMJ'95@^G"+A),+hCiC5L�C�D895/�7 *'2�A � +o)�L*­"@:9<;!7HLMJ�p�D�)!95/�L

�#2E&E"$51A'/F*� #"!���f�CAF*�KH�iD!*�/3*E8'8���8f�CA3*1KH�#*'21A ��9P� � �)"F��6'*'21A ��9'9�#*'21A �F9

Z'Z4Z�#*'21A � 9'9� � *E8'84�'&E"!��949

�@ ?"$642�&E",A3�1W'AB�#5'�1/$ ��'5.�)"F�M64*'21A � *E8'8'�4&E"!��9: (+*, #",A3*� ?"H�#2E&E"M�3 @A! �&�">9'949

R -�/�7HL�J:I4=?+.95@gJ:LMK�C<+A)�LM;�)�LMwFB:95)�La=`La@:/ :I�,&0/F�'*'2)O$64��W0D!*@"!5� �&�"$5 pA/�7HLa@g+A@^+4K�/b9cIF@^Ka+A@O7"+.|4L�+A@L�¨HG"+A@";}95I4@ZIA-�/�7HL�-0I4)�= ���&0/F�'*42@OH���39 �zy � ~ � y � ~ 9 pFD�7HLa)�L � 9<;8+t;bLa/dIA-�/!P�G�LMJ`|A+A)!9<+AN:C5LM;ap �zy � ~9<;�+zGH)�LMK�I4@"JF95/!95I4@�p�+A@"J � y � ~[9<;�+A@O+4K�/!95I4@^;bG"LMKA38687HL�9<J:LM+ 9<;8/�I�L�¨¯G"+o@"JZ/�7HL�+4K�/!95I4@'95@�/�I �aLa)�I�I4)=`I4)�L�IHKaK�BH)�)�La@"K�LM;>IA- � y � ~,p:I4@HL*-�IF)�LM+FK�7Z95@";!/,+o@"K�L2IA-��zy � ~�/�7"+A/_9<;8/�)�BHL2N"L�-0I4)�L*95@^/�7HL�;T9c/�B"+A/!95I4@D�7HLa@�/�7HLZL�¨¯G"+A@"J:LMJ�+4K�/!95I4@�N"La\o9c@"; L�¨¯LMK�BH/!95I4@�3 y�U4LaLZQ�GHG�La@"JF9m¨�Q�-0I4)�+OGH)�LMK�9<;!L^J:L�­"@:95/!95I4@ IA-D�7"+A/E9c/>=`LM+A@";_-0I4)�+A@^+FK�/!95I4@HVX;!G"LMK�/�I`N�Lt;�+A/b9n;T­"LMJZN�P^+A@^+FK�/!95I4@^;!LMwFBHLa@"K�L43m~

6E7HL ;bP�@:/,+.¨^IA-d/�7HL�C<+A@H\FB"+A\4L�G"La)�= 9c/�;>Cn+oN"L�C<;2/�IZIHKaK�BH)295@";}9<J:L 2@OM&3 �2'� +A@"J ��&�/3�4*'2@O +4K�/!95I4@;!G�LMKa;a3�RX/�9<;Z+gK�IF@";!LMw4BHLa@"K�L�IA-2/�7HL`-0I4)�=Z+.C�;!La=?+A@:/!9<Ka;�IA-�Q*GHG"La@"JF9m¨�Q /�7"+o/?y!+:~�+gK�IF@";!/�),+.95@:/=`La@:/!95I4@:95@H\g+ C<+AN"L�C_9c@";T9nJ:LZ+ 2)OF&F 02'� NH),+A@"K�7g/�7"+A/vJ:I:LM;!@�u�/*IHKaK�BH)tJ:I:LM;!@�u�/2K�I4@";!/�),+h9c@�+A@:P:/�7:95@H\2#yXN�~�+2K�I4@";!/�),+h9c@:/d='La@�/!95I4@:95@H\`+2)�L�-�La)�La@"K�L*/�I�+vCn+oN"L�C�95@";}9<J:Lv+ �,&0/F�'*'2)O I4) ��&�/35�&)(+� -0)�I4= I4BH/�;}9<J:LJ:I:LM;!@�u�/�K�I4@";b/�),+.95@^+A@:P�/�7:9c@H\�3

R}@lU4LMK�/!95I4@ ) D�L2='La@�/!95I4@HLMJ%/�7"+A/�+o@^+4K�/!95I4@^J:L�­"@:95/!95I4@l=?+.P�K�IF@�/,+h9c@^+o@^+A)�\4BH=`La@:/:n&�"F80GF6� ?"$6'�1W0D!*@"$5, �&�"$5 3

R0-8/�7:9<;*9<; A y!J:L�- +AB:C5/*9<; "> �8 ~,p�/�7HLa@�+'G:C<+A@H@HLa)29<;�@HI4/�+.CmC5IhD8LMJ�/�IO+4;�;!BH='Lt/�7"+A/*95@";!/,+A@"K�LM;*IA-8/�7HL+4K�/!95I4@¶+o)�LZ-�LM+F;}95N:CcL%9m-29c/�;�GH)�LMK�I4@"JF95/!95I4@";Z+A)�L^;�+o/!9<;}­"LMJ�3�RX@";!/�LM+FJ�p_9c/ZKa+A@�95@"K�CcB"J:L�+A@¶+FK�/!95I4@�95@+OG:C<+A@ IF@:CcP�9i->9c/�IHKaK�BH),;�+4;z/�7HLZL�¨¯G"+A@";T9cIF@�IA-2;!I4=`L`IF/�7HLa)t+4K�/b9cIF@�3g687HL'95@�/�La@"J:LMJ�B";!L?Io-�/�7:9<;@HI4/,+o/!95I4@O9<;*/�I�95@"JF9<Ka+A/�L'/�7"+A/�D8LtJ:IZ@HI4/*)�LM+.CmC5P^j:@HIAD +.CmC�/�7HL�GH)�LMK�I4@"JF95/!95I4@";2IA-d/�7HLt+4K�/!95I4@�p �!B";!/;!I4='L�;!/,+A@"JH+A)�JOK�I4@�/�L�¨¯/,;§95@^D>7:9nK�7^/�7HL�GH)�LMK�I4@"JF95/!95I4@";*+A)�L�;bBH)�L2/�I`N�Lt;�+A/b9n;T­"LMJ�3

U4LaL%U4LMK�/!95I4@¶141z-0I4)2+O@HI4/,+o/!95I4@l/�7"+A/2+.CmCcIAD�;zK�BH=�N"La),;!IF=`L`+4K�/!95I4@�L�¨HG"+A@";}95I4@";�/�ION"L`NH)�I4j4La@95@�/�I`=`I4)�L2=Z+A@"+A\4LM+AN:C5L2G:95LMK�LM;a3

� �% ��� � �

Q>¨�95I4=?;*+A)�L�C5I4\A9<Ka+.C�-0I4)�=�B:C<+4;8/�7"+A/2+4;�;bLa)�/�)�L�C<+A/!95I4@";b7:9cG";z+A=`I4@H\'GH)�I4G"I:;}95/!95I4@";*/�7"+A/*7HIAC<J�D895/�7:95@+l;}95/�B"+A/!95I4@�yT+4;�I4GHG"I:;!LMJ�/�Ig+FK�/!95I4@�J:L�­"@:95/!95I4@";´pdD�7:9<K�7¶J:L�­"@HLO)�L�C<+A/!95I4@";!7:95G";Z+4K�)�I�;�;�;!B"KaK�LM;�;T9c|FL;}95/�B"+A/b9cIF@";�~,3d6�I`7"+.|4L�+.¨:95I4=?;apH+`J:I4=Z+.95@^=�B";!/�J:LMK�C<+A)�L�)�LMwFB:9c)�La=`La@�/ : �'&)(+*� ?"$64*�W$ 1&@(>5 3

� *1W$ �&)(+6E�M��� � :4:nj��3:*�W! �&@( ��� � � 9:;e3*1/35f� � A'G�D$�E�.83 �5�AH�CeF*�/$ �*@-M8M��9 � 9:2�&�"�A3�1W'A ��� � �:o �(�DF83 ��'5 � 83 )A3��/F*�8q�CA3�1/�(q9 � 9

1*5

Page 14: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

687HL :IeF*�/F5 ­"L�C<J�N"La7"+.|4LM;�Cm95j4L�+*BH@:95|4La),;�+.Crw4B"+o@�/!9m­"La)M3[Q>CmCr/�7HL8|h+o)!9<+AN:C5LM;�/�7"+A/�IHKaK�BH)[95@`/�7HL�+.¨:95I4==�B";!/�N�L�J:LMK�Cn+o)�LMJ�7HLa)�L43

� I4)8L�¨ +o=`G:C5L4p"D8L2=�95\47:/�J:L�­"@HL�/�7HL�K�Cn+F;�;}9<Ka+.C�N:CcIHK�j¯;!V0D8I4)bCnJ%GH)�LMJF9<Ka+A/�LM; *)-F&0eF� +A@"J 2�8��'*1/ +4;-0IACmCcIAD�;´e�3:*�W$ 1&@(

:;e3*1/35f�?U�WPU�GP6RD4O�G35E&E-J9:2�&�"�A3�1W'A��o&E"fU�W U�G$9:o �(�DF83 ��'5f�?*@-M&0e3� U�WPU�G!9'9'9

�F:C*1W$ �&)(:;e3*1/35f�?U�WPU�GP6RD4O�G35E&E-J9:2�&�"�A3�1W'A��?��W! 05�AF5f�#U1mV6XD'O,G35�&�->9

�#*@"M� ��&�"PU�WPU1m$9P�?*@-F&�e3�YU�m U�G$949'9:o �(�DF83 ��'5f�?*@-M&0e3� U�WPU�G!9'9

�F:C*1W$ �&)(:;e3*1/35f�?U�WP6XD'O�GF5�&�->9:2�&�"�A3�1W'A��o&0/H��jYU�W � *)-F8M�,9

�i"M&0A��?��W! 05�AF5f�#U)-P6X-F84&M2��!9��&�"fU@-PU1W$9'949'9

:o �(�DF83 ��'5f�?2�8��'*�/ U�W$949

{>@:C5LM;�;2+OJ:I4=?+h9c@�J:LMK�C<+A)�LM;*)�LMw4B:95)�La=`La@:/ :IA4/0=!�'6@"!��KF*�A$ 1&E" p "M&0A 9<;*/�)�LM+A/�LMJ�B";}95@H\O/�7HL�/�LMK�7HV@:9<w4BHL�IA-!��@HLa\:+A/!95I4@ +4;�- +.9mC5BH)�L* �± 7A³X3�687"+A/�=`LM+o@";z95/`=?+Aj4LM;z@HI�;!La@";!LO/�I _�a /3_)��)4] �`+^@HLa\:+A/�LMJ-0I4)�=�B:C<+�#8/�7HLaP ;!7HI4B:C<J IHKaK�BH)?IF@:CcP +4;`J:LMJ:B"K�/b9c|FL^\4I�+hCn;´pdD�7HLa@ �n"F&0A��>9 ;!B"KaK�LaLMJH;'9m-�+A@"J�I4@:C5P9m- � - +.9mC<;a3�yXR - � K�I4@:/,+.95@";z|h+A)b9n+oN:CcLM;´p8/�7HLO)�LM;!B:C5/,;`+o)�L?BH@"J:L�­"@HLMJ�3c~ x>La@"K�Lg+h¨�95I4=?;�+A)�L?/�)�LM+A/�LMJJF95)�LMK�/!95I4@"+.CmC5P4p�+.C5D�+.P¯;8B";bLMJO/�I`K�I4@"K�C5B"J:L�/�7HL :� �(�DF8F 0�'5 ­"L�C<J�pr+A@"JZ@HLa|FLa)�/�I`K�I4@"K�C5B"J:L`+z-0I4)�=�B:C<+-0)�I4=�/�7HL :C2�&�"�AF��W'A ­"L�CnJ�3%y��8-�K�I4BH),;!L4p�D�7HLa/�7HLa)�+A@�+.¨�95I4= 9<;2B";!LMJ�-0I4)�D�+A)�JOI4)2N"+4K�j:DE+o),J%9n;z+=?+A/�/�La)8IA-§+FJ:|49<K�L4p�+A@"J�©�«'«`¬l9<;�;}9mC5La@:/�I4@O/�7:9n;E9<;�;!BHL43m~

Q*@HI4/�7HLa)§95=`G"I4)�/,+A@:/d)�LM+4;bI4@�-0I4)d/�7HL2JF95)�LMK�/!95I4@"+.Cm95/!P?Io-�+h¨�95I4=?;�9<;d/�It+.|4IA9<J�IA|4La)!C5P?K�IF=`G:C5L�¨`95@HV/�La),+FK�/!95I4@";[D895/�7?+4K�/b9cIF@?J:L�­"@:95/!95I4@";a38687HL8)�B:C5L�9<;�/�7"+A/�+FK�/!95I4@?J:L�­"@:95/!95I4@";8+A)�L8@HI4/8+.CmCcIAD8LMJz/�I27"+.|4LL���LMK�/,;�/�7"+A/d=`La@:/!95I4@ZGH)�LMJF9<Ka+A/�LM;_/�7"+A/_I¯KaK�BH)_95@O/�7HL :� �(�DF8F 0�'5 ­"L�C<JZIA-ª+A@Z+.¨�95I4=�3�6E7HL�95@:/�La@�/b9cIF@9<;�/�7"+A/�+4K�/!95I4@¶J:L�­"@:95/!95I4@";'=`La@:/!95I4@ � GH)!95=�95/!95|4L* �GH)�LMJF9nKa+o/�LM;zCm95j4L &�" pd+A@"J /�7"+A/`+.CmC�K�7"+A@H\4LM;�95@/�)�BH/�7O|h+.C5BHL�Io- �aJ:La)!95|4LMJ� 'GH)�LMJF9<Ka+A/�LM;ECm9cjFL *@-M&0eF� I¯KaK�BH)�/�7H)�I4BH\47^+.¨:95I4=?;a3§�¶95/�7HIFBH/E+h¨�95I4=?;´pH/�7HL+4K�/!95I4@`J:L�­"@:95/!95I4@";_D89mCmCr7"+.|4L_/�I�J:LM;�K�)!95N"L2K�7"+A@H\4LM;�95@`+.CmC"GH)�LMJF9<Ka+A/�LM;�/�7"+A/�=�95\47:/�N"L�+0��LMK�/�LMJzN�P�+A@+4K�/!95I4@�p D�7:9<K�7%CcLM+FJH;�/�I`+`K�IF=`G:C5L�¨g;!IA-0/TD�+A)�L�La@H\A95@HLaLa)!95@H\lyXIF)��´J:I4=?+.95@^La@H\o9c@HLaLa)b9c@H\+ :~�GH)�I4N:C5La=^3

R -�+?J:IF=?+.95@�J:LMK�Cn+o)�LM;2)�LMwFB:95)�La=`La@:/ :;A'/0=!�'6)"$��KF*�A! �&E" yXD�7:9<K�7^95=`G:Cm95LM; : &ED$�)"$617�&0/,8'� ~�pH/�7HLa@L�¨"+4K�/!C5P^7HIAD�+4K�/!95I4@�J:L�­"@:95/!95I4@";�95@�/�La),+4K�/2D895/�7�+h¨�95I4=?;*N�LMK�I4=`LM;*7"+A)�J^/�IOBH@"J:La),;!/,+A@"J�p[+A@"J�/�7HL=?+A@"+o\4La=`La@:/�/,+AjFLM;*@HIg)�LM;!G"I4@";T9cN:9mCm95/!P�-�I4)z/�7HL`I4BH/�K�I4=`L43lyT� I4)2L�¨"+A=`G:C5L4p[9m-�/�7HLa)�L'9<;�+A@�+.¨:95I4=���������p¯+o@"J?+A@O+4K�/!95I4@^Ka+oB";!LM; �n"F&�A 9 D�7HLa@ � +A@"J� +A)�L*/�)�BHL4pHJ:I:LM;���N�LMK�I4=`L*-X+.C<;!L*I4)���.~

6E7HL�J:IF=?+.95@)�LMwFB:95)�La=`La@:/ :C5)='-,K�&M*E8M61A0O�/,&E=,K0O$64*�W! �&@(>5 95@"JF9<Ka+A/�LM;%/�7"+A/^+�\4I:+.C�95@:|4IAC5|F9c@H\J:La)!95|4LMJ GH)�LMJF9<Ka+A/�LM;%=?+.P¶7"+.|4Ll/�I N"L�;!IAC5|4LMJ�N:P ­"@"JF95@H\+4K�/!95I4@";%/�I¶K�7"+o@H\4L�/�)�BH/�7 |A+.C5BHLM;OIA-)�L�C<+A/�LMJ%GH)!95=�95/!95|4L`GH)�LMJF9<Ka+A/�LM;a3�� I4)�L�¨"+A=`G:C5L4p�+�\4I�+hC �?*@-F&�e3� �YQ!9 =�95\47:/�N�L`+4K�7:95La|4LzN�POL�95/�7HLa)+4K�7:95La|495@H\ ��&�"��YQ$9 I4)t+FK�7:95La|F9c@H\ �?*@"M� �#*)" �� 9p�?*@-M&0e3�� Q!9'9 -�I4)�;!I4=`L 3OQ J:I4=?+.95@

1M�

Page 15: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

/�7"+A/8J:I�LM;_@HI4/8J:LMK�C<+A)�L*/�7:9<;d)�LMw4B:95)�La=`La@:/8=?+.P`;!/!9mCmC 7"+.|4L*+.¨�95I4=Z;ap:NHBH/d/�7HLaP`DE9iCmC�N"L*B";!LMJ'I4@:C5P`-0I4)/!95=`L�C5LM;�;>GH)�LMJF9<Ka+A/�LM;a3

s>I4/�L*/�7"+A/*+�\A95|4La@OGH)�LMJF9<Ka+A/�L`Ka+A@ON�L295@^/�7HL :o �(�DF83 ��'5 ­"L�C<J�IA-ª=`I4)�L2/�7"+A@OI4@HL�+.¨�95I4=�3

��� � ���) � ��� � ��� ���$��� ��� �

Q�J:I4=?+.95@¶J:LMK�C<+A)!95@H\�)�LMw4B:95)�La='La@�/ :5'*��F��A4G36'2E&E"!5�A'/F*� ?"�A35 9<;`+.CmC5IAD�LMJ /�I�;!G"LMK�9m-0P 3��i� �01 � _�a /��3 18% � �,/ 143 �ªJ:L�­"@HLMJ�+4;>N"+4K�j:\4)�IFBH@"J^\FI�+.C<;*/�7"+A/*=�B";!/�N�L?;�+A/b9n;T­"LMJ^/�7H)�I4BH\47HI4BH/*/�7HL�G:C<+A@H@:95@H\lGH)�I4VK�LM;�;a3>Q�G:C<+A@�9<;2+.CmC5IhD8LMJ�I4@:C5PO9m-�+A/>95/,;*La@"J�@HI4@HL�Io-d/�7HLM;!L�N"+4K�j�\4)�I4BH@"JO\4I:+.C<;89<;>-X+.C<;!L43�R}@gIF/�7HLa)D8I4),JH;ap¯9i-8I4@HL�Io-d/�7HLtK�I4@";b/�),+.95@:/,;89<;>|495IAC<+A/�LMJg+o/v;!IF=`L�G�IA95@�/>95@g/�7HL�G:C<+A@�p�95/2=�B";!/�N"LMK�IF=`L�/�)�BHL+A\�+h9c@ON:PZ/�7HL�La@"J�3

� 54*��3�1A'GF6��M�1� � :': j �3:5'*1�3��A4G ��� � � 9

� I4)8L�¨ +o=`G:C5L4pHI4@HL�K�I4B:C<J^K�IF=`=?+A@"JO+�;!IA-0/�N�I4/*yT;!IA-0/!DE+o)�L�)�I4N�I4/a~�/�I`+.|4IA9<JOJ:L�C5La/!95@H\`­HC5LM;>/�7"+A/+A)�L2@HIF/�N"+4K�j4LMJZBHG^I4@O/�+AG"L2D895/�7�/�7HL*-0IACmCcIAD895@H\OK�I4@";!/�)�+.95@�/Me

�3:5'*��F��A4G�C�,&0/F*�8'8B�#U��!9

�o&0/���$ �8��YU��$9T�C7'/! @A4A3�@"!6�A,&M6�AF*@D!�lU1�$9'949'9

Q2;8La|4La)�P�D�7HLa)�L2L�Cn;bL295@�©*«`«`¬dp:-0)�LaL2|A+A)!9<+AN:C5LM;2+A)�L2@HI4/*+.CmCcIAD8LMJ�3R}/29<;�95=`G"I4)�/,+A@:/�/�I�@HI4/�L`/�7"+o/t;�+.-0La/!PgK�I4@";b/�),+.95@:/,;�J:I /Fa 1�)�LMw4B:95)�L^+A@�+A\4La@:/�/�I -���� ��/�7HLa=

/�)�BHL # ),+A/�7HLa)Mp:/�7HL�+o\4La@�/>=tB";b/E+.|4Io9nJOK�)�LM+A/!95@H\ / ����|495IAC<+A/b9cIF@";*IA-ª/�7HL�K�I4@";!/�),+h9c@:/,;a3�� I4)8L�¨ +A='G:CcL4p9m-�+?K�I4@";b/�),+.95@:/�;!G"LMK�9m­"LM;z/�7"+A/2+.CmCdIA-�=�P%­HCcLM;�N"L`)�LM+4J�GH)�I4/�LMK�/�LMJ�p�/�7HLa@g/�7HL +o\4La@�/2D8I4B:C<Jl+.|4IA9<JK�7"+A@H\A95@H\t+A@:P�Io-r=�P*­HC5LM;d/�I�N�L�)�LM+4JH+AN:C5L #:NHBH/[9m-�=tP Z DF8M*)" ­HCcLE9n;_+.C5)�LM+4J:Pz)�LM+4JH+AN:C5L895@`/�7HLE9c@:95/!9<+.C;!/,+o/�L4p:/�7HLa@^/�7HL�+o\4La@�/8D8I4B:C<JO@HIF/�GH)�I4/�LMK�/8/�7"+o/8­HC5L43

� I4)�J:La/,+.9mC<;�Io-§;�+h-�La/!P?K�I4@";b/�),+.95@:/,;apHG:C5LM+4;!Lz)�L�-0La)�/�IO±5141�³X3U�+h-�La/!P�K�I4@";!/�),+.95@�/�;�;!7HI4B:C<J�@HI4/�N�L�K�I4@:-0B";!LMJzD895/�7 :IA! �(>��8M�45'5 GH)�I4G�I�;}95/!95I4@";a3_y�U4LaL2U4LMK�/b9cIF@ 7"3m~

6_95=`L�C5LM;�;%GH)�I4G"I:;}95/!95I4@";^+A)�L�+hCcD�+.PH;`/�)�BHL^95@�+hCiC�GH)�I4N:C5La=?;'95@/�7HL�J:I4=?+.95@�p2+A@"J 95/^;!7HI4B:C<J�N�L95=`G"I:;�;}95N:C5L*-�I4)d+o@�P`+4K�/!95I4@'/�I�K�7"+o@H\4L�/�7HLa=^3�x>La@"K�L�@HI�;!G"LMK�9<+.C�=`LM+F;!BH)�LM;d+o)�L8)�LMw4B:95)�LMJ'/�I2La@";!BH)�L/�7"+A/8/�7HLaP^+o)�L2@HI4/8|495IAC<+A/�LMJ�3

� � � �.�.���� �P ��� � �Y� ��� � � ������� � ���� ��������� �� � �� �C���$� �

Q>Cc/�7HI4BH\47�©�«`«'¬ +.CmC5IAD�;�+�J:I4=?+.95@�/�I^N�L�J:L�­"@HLMJ +F;2I4@HLZ\A95\�+A@:/!9<K �M�1�$ ?"$� p�95/�9n;zIA-0/�La@�='I4)�LK�I4@:|4La@:95La@�/8/�IzNH)�LM+Aj`/�7HLvJ:L�­"@:95/!95I4@Z95@:/�I�G:9cLMK�LM;´3�687HL>-0IACmCcIAD895@H\�@HI4/,+o/!95I4@�+hCiC5IAD�;8+4JHJF95@H\`+.¨:9cIF=?;+A@"JO+4K�/b9cIF@^L�¨HG"+A@";}95I4@";>/�I`+A@OL�¨�9<;!/b9c@H\^J:IF=?+.95@�e

�������$ ?"$�f�?*��4�M�@"M�E=E( � "!*?(+� � 9�F:n�4&@(+*, #" � "!*?(+� � 9� ��W4A'/3*46������ � � 9

� �1W'A'/F*'6E�M��� � :': j � *42�A$ 1&E"!6��M�1� �� �1W'A'/F*'6E�M��� � :': j � %� �&��(#%$�������#� �&�� � *�W! �&@(>6������ �� �1W'A'/F*'6E�M��� � :': j � �� � #) $������"!� $�(#� %$� � (>��A�OF&'��6������ �

1 7

Page 16: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

� �1W'A'/F*'6E�M��� � :': j � ������ �" ���� $� ��� # $���� � 5'*��F��A4G36������ �� (>��A0OM&'��6��M�1� � :': j �3:�(+��A�OF&4� � *42�A$ 1&E"Y��='"!2�A�&�/ �

� : "!*?(>� � "!*?(+� � �:SD$*�/F*?(>��A3�1/35f� � A'G�D$�E�.83 �5�AH�CeF*�/$ �*@-M8M��9 � 9� *'2�A! �&�"$6������l-M&'��G �

S[C5LM+4;bL�)�La=`La=�N�La)�/�7"+o/Mp"+4;8L�¨HG:C<+.95@HLMJ�95@�U4LMK�/!95I4@ 7"p 9c@�/�7HL �´;!/�)!9<K�/�;!BHN";bLa/ �IA-�©*«`«`¬�+4JHJ:La@"JH++A)�L2@HIF/�+.CmC5IhD8LMJ�3

R}@";}9<J:Lv+ ���M�1�$ ?"$�f�?*��'���@"M�E=�( Z'Z'Z 9 Z4Z'Z 9 L�¨¯GH)�LM;�;}95I4@�p :C*42�A$ 1&E" ;�+o@"J :*�W$ 1&@( ;�N"La7"+.|4L*+4;/�7HI4BH\F7g/�7HLaPg7"+FJlN"LaLa@l95@"K�C5B"J:LMJ�95@�/�7HL`I4)!95\A95@"+.C �������$ ?"$�f�o�'&)(+*� ?" Z'Z4Z 9 Z'Z4Z 9 L�¨HGH)�LM;�;T9cIF@-0I4)�/�7HL�J:I4=Z+.95@�3 : (>��A0OM&'� J:LMK�C<+A)�+A/!95I4@";*;!G"LMK�9m-0PO-0BH)�/�7HLa)�K�7HIA9<K�L�G�IA95@�/,;E-0I4)�/�7HLzL�¨¯G"+A@";T9cIF@^IA-d+A@+.C5)�LM+4J:P:VXJ:LMK�C<+A)�LMJl+4K�/!95I4@�p�+.C5=`I�;b/�+4;8/�7HIFBH\47O/�7HL�\o9c|FLa@ � *42�A! �&E"!6������X-F&'��G ��95@"K�C5B"J:LMJ�95@";}9<J:L`+2@OM&3 �2'� 9c@l/�7HLzI4)!95\A95@"+.C�L�¨¯G"+o@";}95I4@^IA-d/�7HLt+4K�/!95I4@�3*y}RX/�J:I:LM;!@�u�/*D8I4)�jOw4B:95/�L�/�7"+A/>@HLM+A/!C5PON"LMKa+AB";bL/�7HL`G"+o),+A=`La/�La)�;�=?+.P�7"+M|FL`@HLaD @"+A=`LM;ap[+A@"JlN�LMKa+AB";!LO+A@ � *'21A$ �&�"$6E�M���X-F&4�0G �'9<;2@HI4/zL�¨ +4K�/bCcPD�7"+A/.u°;_L�¨¯G�LMK�/�LMJ%9c@l+ 2)OF&F 02'� 3m~

R}@�+Z=`La/�7HIHJgJ:L�­"@:95/!95I4@�p[/�7HL � *42�A$ 1&E"!6��M�1� -M&'��G �?=Z+MPO@HIF/27"+M|FLt+A@ :C�1�'�F�'2�A ­"L�CnJ I4)2+A@:n&�"F8�G36� ?"$64��W0D!*@"!5� �&�"$5 ­"L�CnJ�3

f�La/�7HIHJO@"+o=`LM;�+o)�Lt+A@�+.9<J%95@�J:LM;�K�)!95N:95@H\^GH)�I4N:C5La= ;!IoCcBH/b9cIF@";�+4;*;!/�)�B"K�/�BH)�LM;�Io-�9c@";b/,+A@:/!9<+A/�LMJ+4K�/!95I4@^;�K�7HLa=?+F;a3dqd+FK�7^+4K�/b9cIF@^7"+4;_95/,;EIhD>@^;!G"+4K�L2IA-�=`La/�7HIHJO@"+A='LM; #H/�7HLa)�L*9<;>@HI`@HLaLMJO/�It=Z+Aj4L/�7HLa=�BH@:9<wFBHL?IA|4La)2+OJ:I4=?+.95@�3zR0-�+A@�+4K�/!95I4@�7"+4;*+Z=`La/�7HIHJ�;!BHGHG:Cm95LMJ�9c@�9c/�;*I4)!95\A95@"+.CEJ:L�­"@:95/!95I4@�p/�7HL2@"+A='L2IA-�/�7"+A/�=`La/�7HIHJ'9<;�/�7HL�;�+A=`L�+4;E/�7HL2@"+A=`L2IA-�/�7HL�+4K�/b9cIF@O95/,;!L�Cm-�3

q�¨ +o=`G:C5L4e�������! #"$�%�#*��4�M�)"F�E=E(p2'*1/'/4G36?(>��A�OF&'��5�9

: �'&@(>*� ?".A4/3*@"!5�84&0K

Z4Z'Z�F: (+�1A0OM&'��� � ����� 6���� �36���Q:S"$*?(>�R=$5)=$*E8:SD$*�/F*?(>��A3�1/35T�#U)Dp6XD!*'2��F*�KF�lU1A32YU�AF2.6NA32'�)"�AF��/$9:��W0D!*@"!5� �&�"H�C�,&0/F5�&@(>�P�?U@O4='-P6XO'=4->9

�@ #"!6'2E&E"�AF��W4A �?5'��/! 0�45f�#24*�/'/4G36E�3 @/F�'21AkU)DpU1A32 � U@O4='->9�#24*�/'/4G36E�3 @/F�'21AkU)DpU)O'=4-PU�AF2��3949

: D,/3�'2E&E"M�3 @A! �&�"��?��W$ �5�AF5f�#U42� @A4G � U42� )A'G �Y6.2� )A'GU1/3��K � U�/F��K �k6N/3��K! �&�">9

�?*@"F���) #"$642� )A'GYU�A32 �lU'2� )A'G �09�) #"$642� )A'GYU�A32��VU'2� )A'G �39�) #"$61/3�1K$ �&�"VU42� )A'G �XU�/3�1K ��9�) #"$61/3�1K$ �&�"VU42� )A'G �YU�/3�1K �F9�?5'��/4e3�45lU)O'='-fU1/3��K �09�?5'��/4e3�45lU)O'='-fU1/3��K �39�?*�e3*, �8�*@-F8��lU)O'=4->9'949'949

:SD�/3�42�&�"F�3 )A$ 1&E"g�i"F&�A��iO!*�mF*�/��4&E=!5.U@DJ9'9'9

Z4Z'Z 9

6E7HL?)�LM+F;!I4@�/�I�\A95|4LO+4JHJ:La@"JH+l@"+A=`LM;�9<;�;!I^/�7HL�;!PH;!/�La=�D89mCmC�j�@HIAD D�7HLa@¶+A@ +4JHJ:La@"J:BH= 9n;N"L�95@H\Z)�LMJ:L�­"@HLMJ'95@";!/�LM+4JZIo-ªN"L�95@H\O+4JHJ:LMJ'-�IF)d/�7HL*­"),;b/�/b9c='L43ª��7HLa@^+ �������! #"$�%�#*��4�M�)"F�E=E( �R9

1 )

Page 17: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

Z'Z4Z 9 L�¨HGH)�LM;�;}95I4@Z9<;_La|h+.C5B"+A/�LMJ�p"+.CmCr/�7HL*=?+A/�La)!9<+.CrGH)�La|F95I4B";}C5PO+4;�;!IHK�9<+A/�LMJ'D895/�7 � 9<;dLa)�+4;!LMJ'N"L�-0I4)�L/�7HLOJ:L�­"@:95/!95I4@";`+A)�LZ+4JHJ:LMJ�3^687HLZ@"+A=`L`Io->+o@�+4JHJ:La@"J:BH= 9<;�C5I¯Ka+.C�/�I%95/,;�J:I4=Z+.95@�pd;!IgJF9���La)�La@:/J:I4=?+h9c@";*Ka+A@O7"+.|4L�+4JHJ:La@"JH+ D895/�7^/�7HL�;�+A=`L2@"+A=`L43

� � � ��.�$ � ������� � � � ���� �������

R0-t+�J:I4=?+h9c@�J:LMK�C<+A)�LM;Z)�LMwFB:95)�La=`La@:/ :C�1W0D�/F�'545� �&�"$64��e3*E8E=!*�A$ 1&E" p[/�7HLa@ 95/�;!BHGHG�I4)�/,;Z+ NHB:9iC5/�V 95@GH)�LMJF9<Ka+A/�L �#��eF*�8 ��� 9 /�7"+A/�;!B"KaK�LaLMJH; 9i-2/�7HLZ|h+.C5BHL�IA-�L�¨HGH)�LM;�;}95I4@ � 9n;��?3 � 7"+4;�®�9<;!GHV Cm95j4L;!P:@�/�+.¨?-0I4)*L�¨¯GH)�LM;�;}95I4@";ap�D�7:9<K�7�;!7HIFB:CnJl+A/>C5LM+4;!/2+.CmC5IhD -0BH@"K�/!95I4@"; �"p 6 p � p�+A@"J�� #�/�7:9<;2+A)�\4BH='La@�/G"I:;}95/!95I4@ 9<;Z;�+.9<J /�I N"Lg+o@ � +)�0� )'� 18� a /._oa /218��� 103¶q�|A+.C5B"+A/!95I4@�K�I4@�/�L�¨¯/,;'+A)�LO/�7HLOI4@:C5P G:C<+4K�LM; 95@©*«`«`¬�D�7HLa)�Ll-�BH@"K�/b9cIF@";^+A)�L�+.CmCcIAD8LMJ�p2L�¨"K�LaGH/O-0I4)O/�La)�=Z;OJ:La@HI4/!95@H\+4K�/!95I4@";a3 ��;!7HIFB:CnJ @HI4/95@"K�C5B"J:L�+A@:P�|A+A)!9<+AN:C5LM; #>9m-�95/OJ:I�LM;ap8/�7HLO\4I�+.C�D89mCmC�-X+.9mC�95@+A@�95=`G:C5La=`La@:/,+A/!95I4@HVXJ:LaG�La@"J:La@�/�DE+.P43y�U4I4='LZ9c='G:CcLa='La@�/,+o/!95I4@";ZD89mCmC�JF9<;!/!95@H\4B:9<;!7 N"La/!D8LaLa@ -X+.9mCcBH)�L�J:BHL�/�I �Zu°;z|h+hCcBHLlN�L�9c@H\¶JF9���La)�La@:/-0)�I4=�� +o@"J -X+.9mC5BH)�L�J:BHLl/�I�/�7HL%9c@"+oN:9iCm95/!P/�I�\FLa@HLa),+A/�Ll+.CmC�95@";!/,+o@"K�LM;ZIA- �Z3�]�-b3 ��<E=!*�A! �&E" pN"L�C5IAD�3m~

Q*@HI4/�7HLa)'La|h+.C5B"+A/!95I4@�K�I4@�/�L�¨¯/�9<;Z/�7HLl+A)�\4BH='La@�/`/�I �A3�'51A � 9 3�x>La)�L ��9<;Z+A@¶L�¨HGH)�LM;�;T9cIF@D�7HI�;bL�=?+.95@�-0BH@"K�/�I4)>9n;*IF@HLtIo- j p �¯p �Hp � j p�I4) � j 3�6E7HLtL�¨HGH)�LM;�;T9cIF@^9<;*La|A+.C5B"+A/�LMJ�p�+A@"J�/�7HLz\4I�+.C;!B"KaK�LaLMJH;E9m-�9c/>La|h+.C5B"+A/�LM;>/�I � 3

6E7HL`\4I�+.C �i-F&�='"M�M����6� ?"�A���� 9 ;!B"KaK�LaLMJH;z9m- � 9<;�+A@l95@�/�La\4La)z9c@�/�7HL�95@:/�La)�|A+.C�± � ³}3 +A@"J � +A)�L2La|A+.C5B"+A/!95I4@lK�I4@�/�L�¨¯/,;´3

6E7HLt\FI�+.C �#�E<E=$*1A$ 1&E"� 9 /�)!95LM;*/�IZN:95@"Jl|h+A)b9n+oN:CcLM;�;!IZ/�7"+A/ +A@"J +A)�L�LMw4B"+hC 3z�dIF/�7 +A@"J +A)�L*La|h+.C5B"+A/b9cIF@^K�I4@�/�L�¨¯/,;´p�NHBH/_9m-�/�7HLa)�L>9n;>+A@?BH@:N"IFBH@"JO|h+o)!9<+AN:C5L4p:95/89<;8N"I4BH@"JZ/�ItD>7"+A/�La|4La)|h+hCcBHLZD8I4B:C<Jl=?+AjFL +A@"J La|h+.C5B"+A/�LZ/�IO/�7HLZ;�+A=`L`/�7:9c@H\�3?q�3 \"35p�9m- U1G 7"+4;�N"LaLa@�N"I4BH@"Jl/�IgµHp+A@"J U�W 9<;8BH@:N"I4BH@"J�p�/�7HLa@ �#�E<E=!*�A$ 1&E"g� � U�W �F9P�#6YU�G��39'9 D89mCmCªN:95@"J U�W /�IO143_(*I4@�u�/dL�¨HG"LMK�/+A@'95=`G:C5La=`La@�/�+A/!95I4@^/�I J:I`+A@:P:/�7:95@H\�-X+A@"K�PZ7HLa)�L #:La|4La)�P'95=`G:C5La=`La@�/�+A/!95I4@^;!7HI4B:C<J�+A/�C5LM+4;!/>7"+A@"JFC5L/�7HL`Ka+4;!L'D�7HLa)�L�/�7HLa)�L�9<;2+O;}95@H\AC5LZI¯KaK�BH)�)�La@"K�L`IA-�+A@lBH@�N�I4BH@"J�|A+A)!9<+AN:C5L4p�NHBH)b9cLMJ�+A/2=`I:;!/�95@";}9<J:L+A@OL�¨HGH)�LM;�;}95I4@�IA-�/�7HL*-�IF)�= � � Z'Z'Z 9 36E7HL�J:I4=?+.95@HV0|h+o),;�J:L�­"@HLMJ%95@ �������! #"$�%���'&)(+*, #" Z4Z'Z 9 Z'Z'Z 9 L�¨HGH)�LM;�;T9cIF@";�+A)�L2La|h+.C5B"+A/�LMJ�95@La|h+hCcB"+o/!95I4@gK�I4@:/�L�¨H/,;a3d6E7HL�;!P�@:/,+.¨Z9<;

� �4&@(+*, #"!6�e3*1/3546��M�1� � :':njB�3:n�4&@(>*� #"!6�eF*�/$ �*@-M8M�'5� A'G�D$�E�.83 �5�A �o�'&)(+*� ?"$61e3*�/F6����'2�8�*�/F*@A! �&�">9 �

� �4&@(+*, #"!6�e3*1/36E�M�'2E8M*1/3*�A! �&�" � :4:;j � "$*�(+� � �X� � "!*?(>� ��� 2�&E"!5�AF*@"�A � 9

q>3�\"35e�������! #"$�%���'&)(+*, #"P24*�A36, #"!6�A0O!�'6)O$*�A!9

�F:IA'G�D$�45RA�O> #",K$9�F:n�'&)(+*, #"$61e3*1/$ 0*)-F8��'5 �i"4=�(FA0O> ?"�KF5 �F9 6 ?"�A3�1K3�1/$9

Z4Z'Z�F:C*�W! �&)(:;e3*�/F5f�#U, .6Y #",A3��KF��/!9:2�&E",A3�1W'A��n-F&E=4"F�����M6, #",AkU, � "'=�(FA0OJ #"�KF5�9:o �(MDM83 ��'5f�A0O> ?"�KVU, '949'9

1Mµ

Page 18: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

Q |A+A)!9<+AN:C5LzCm9cjFL`/�7:9<;89<;2;�K�IFG"LMJ�IA|4La)�/�7HLzLa@�/!95)�L`J:I4=Z+.95@�pr+A@"J�9<;>9c@H7HLa)b9c/�LMJlN�P^J:IF=?+.95@";*/�7"+A/L�¨H/�La@"J`/�7:9n;_I4@HL43§R0-ª/�7HL>|h+A)!9<+AN:C5L*9<;_)�LMJ:LMK�C<+A)�LMJ'95@^+A@`L�¨H/�La@"JF95@H\`/�7HLaIF)�P4pA95/�;!7"+4J:IAD�;§/�7HL�IF)!95\A95@"+.CN:95@"JF95@H\"3

R -r+�J:I4=?+h9c@`J:LMK�C<+A)�LM;[)�LMw4B:95)�La=`La@:/ :;��8�=$�@",A35 p./�7HLa@�9c/�;!BHGHG�I4)�/,;�/�7HLd/!P:G"L ���8�=$�@",A � A4G0D!� � 9 pG:C5B";�;!I4='L�@HLaD�GH)�LMJF9<Ka+A/�LM;´3�QY�"BHLa@:/_9<;�+2/�La)�= DE9c/�7?/!95=`LaV0|A+A)�PF95@H\`|h+.C5BHL'y09X3�L435p�+z|A+.C5BHL2/�7"+A/�Ka+A@K�7"+A@H\4L�+4;[+�)�LM;bB:Cc/�Io-"G"La)!-0I4)�=�95@H\�+A@�+4K�/!95I4@�~,3�687HL_GH)�I4G�I�;}95/!95I4@ �#2)=�/'/F�@",A36�eF*�8�=$� � � 9 9<;[/�)�BHL95@g+�;}95/�B"+A/b9cIF@O9m- � 9<;�/�7HL�K�BH)�)�La@�/8|A+.C5BHLtIo-�� 95@^/�7"+A/�;}95/�B"+o/!95I4@�3�� BH)�/�7HLa)MpF9m-d+�G:C<+A@H@HLa)�7"+o@"JFCcLM;/�7HL :I�,8E=!�@"�AF5 )�LMwFB:9c)�La=`La@�/.p�/�7HLa@l/�7HLa)�L�=�B";!/*N"L`+ZNHB:9mC5/�V 95@�GH)�LMJF9<Ka+A/�L ���8E=!�@",A36'�1e3*E8 ��� 9 pD�7:9<K�7�;bB"KaK�LaLMJH;*9m- � 9<;*/�7HLz|h+.C5BHL`Io-��?p B";}95@H\O/�7HL`K�BH)�)�La@:/�|A+.C5BHL`IA-�+A@:P �"BHLa@�/2/�7"+A/�IHKaK�BH),;>95@� yT+A@"J I4/�7HLa)�D89<;!LON"La7"+.|F9c@H\�Ci95j4L �1e3*�8 ~,3 UA95=�9mC<+A)!C5P4p8/�7HLa)�L'9<;`+�GH)�LMJF9<Ka+A/�L ��8�=$�)"�A361A3�45�A /�7"+A/9<;*/�I AF�'51A +F; ��8�=$�@",A364��e3*E8 9<;*/�I ��e3*E8 3�R}@�+FJHJF9c/b9cIF@�p�/�7HLa)�L�9<;2+A@lL�� LMK�/ �#2)O$*)"�K3� � � 9 /�7"+A/K�7"+A@H\4LM;>/�7HL�|A+.C5BHL`IA- �"BHLa@:/�� /�I �Z3 � 9<;2+A@�La|h+.C5B"+A/b9cIF@�K�IF@�/�L�¨H/Mp�+A@"JZ95/,;>|h+hCcBHL 9n;2K�IF=`GHBH/�LMJD895/�7�)�LM;!G"LMK�/>/�I`/�7HL�;}95/�B"+o/!95I4@^I4NH/�+.95@:9c@H\ZN"L�-0I4)�L2/�7HL�+4K�/!95I4@�y!K�-b3 70O!�@" ~�3

�F:C*'21A$ 1&E"NDF&E=,/:SD$*�/F*?(>��A3�1/35T�#U45�&E=,/324�.U����'5�A 6k2E&E",A3*� ?"$�1/$9:;e3*�/F5f�#U45��,8kU�����8V6f�C�,8E=!�@"�AN"'=�(�-$�1/$9lUE�M2'*)DP6X"'=E(M-$�1/$9:SD�/3�42�&�"F�3 )A$ 1&E"g�#*@"M� �#2E&E",A3�@",A35.U45�&�=�/324�.U'51��8F9

�#2E&E",A3�@",A35.UE�M�45�AVUE�0��8F9�#24*@D!*'2� )A'GVUE�M�45�AVUE�M2'*)D>9�C�,8E=!�@"�AF6�AF�'5�Ag� � jB� � U'51��8kUE�0��8F9lU���2'*)D>9'949

:���'�F�'21A��C7�O$�@" �#*@"M� �#2E&E",A3�@",A35.U45�&�=�/324�.U'51��8F9�#2E&E",A3�@",A35.UE�M�45�AVUE�0��8F9'9

�#*@"M� �#2)O$*)"�K3� U'5��,8��39�#2)O$*)"�K3� U��0�,8�� � UE�0��8VU45���8F9'949'9'9

��@HL2Io-ª/�7HL�+4JHJF95/!95I4@"+.C�NHB:9mC5/�V 95@^-0BH@"K�/!95I4@";8/�7"+A/�K�I4=`LM;8D895/�7O)�LMw4B:95)�La=`La@:/ :;��8�=$�@",A35 9n; �#5)=�(��� ��9 3d687:9<;89<;*+ �"BHLa@�/*D�7HI�;!L2|A+.C5BHLz9c@l+�;}95/�B"+A/!95I4@%9n;

�� ;!B"K�7O/�7"+A/ � � ' 9<;>/�)�BHL��

y � ~

� J:LMK�Cn+o)�LM;�+.CmCª/�7HL2|A+A)!9<+AN:C5LM;*IA- � /�7"+A/�+A)�La@�u�/�+.C5)�LM+FJ:P?N�I4BH@"J�3 � 9<;�+ �"BHLa@:/�V0La|h+.C5B"+A/b9cIF@�K�IF@�/�L�¨H/M3�HIF)�L�¨ +o=`G:C5L4p

���8E=!�@",A36'�1e3*E8p�?5@=�(L�#U@Df6RD!��/F5�&E"TU�7P6X"'=�(�-$�1/$9�#*@"M� �#*)-F&�*�/��YU@DfU'�E8M��eF*�A,&0/$9

�C7F�� )K0O�A U@DfU�7!9'9U�7$949

;!B"KaK�LaLMJH;>9m- U�7 9<;�/�7HLt/�I4/,+.C�D8L�95\47�/*IA-�+.CmC�/�7HL�G�LaI4G:C5L`I4@l+ U'�E8M��eF*�A,&0/ yT+'|h+o)!9<+AN:C5L`D�7:9<K�7l=�B";!/N"LON�I4BH@"J ;!I4='LaD�7HLa)�L`L�C<;!LA~,3�s>I4/�LZ/�7"+A/z/�7HLZ|h+.C5BHLOIA-�/�7:9n; �"BHLa@:/`J:LaG"La@"JH;'I4@�D>7HI^9<;zI4@�/�7HLL�C5La|h+A/�I4)Mp:@HI4/8I4@ZD�7"+A/d/�7HL�9c)>=?+4;�;�9n;´pHN"LMKa+AB";bL*9c@O/�7:9n;§-0I4)�=�B:C<+A/!95I4@'95/Mu°;8+4;�;!BH='LMJ`@HI4/8/�I�K�7"+o@H\4L43R0-dJF95La/!95@H\Z9<;�/�I�N�L�/,+AjFLa@Z9c@:/�I?+FKaK�I4BH@�/.pH/�7HLa@OD8L2D8I4B:C<JOD�)!95/�L

���8E=!�@",A36'�1e3*E8p�?5@=�(L�#U@Df6RD!��/F5�&E"TU�7P6B�C��8�=$�)"�Al"4=�(M-!��/!9'9�#*@"M� �#*)-F&�*�/��YU@DfU'�E8M��eF*�A,&0/$9

�C7F�� )K0O�A U@DfU�7!9'9U�7$949

1 �

Page 19: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

D�7HLa)�L2@HIAD U�7 9n;*+ �"BHLa@:/895/,;!L�Cm-�3

� � ������� � �

Q GH)�I4N:C5La=�9<;[D�7"+A/[+�G:C<+A@H@HLa)�/�)b9cLM;�/�I2;!IAC5|4L43[RX/�9<;ªJ:L�­"@HLMJ D895/�7�)�LM;bG"LMK�/�/�I�+*J:I4=?+h9c@�3[Q GH)�IFN:CcLa=;!G�LMK�9i­"LM;E/TD8I*/�7:95@H\�;ae�+A@�95@:95/!9<+.Cª;}95/�B"+A/b9cIF@�p�+A@"J`+*\FI�+.C"/�I2N�Lv+4K�7:95La|4LMJ�3d�_LMKa+AB";!L>=?+A@:P�GH)�I4N:C5La=?;=?+.P?;!7"+o)�Lt+A@Z95@:95/!9<+.Cd;}95/�B"+A/!95I4@�p /�7HLa)�L29<;�+t- +4K�9mCm95/!PZ-�I4)*J:L�­"@:9c@H\O@"+o=`LMJ'95@:9c/b9n+hC§;}95/�B"+o/!95I4@";a3

� D,/�&E-M8M��( � :': j �������$ ?"$�f�nD�/,&E-F8��?( � "$*�(+� � 9�F:n�4&@(+*, #" � "$*�(+� � 9�"� /F��<E=J @/F�'6������ ����"� 5, @A0=!*�A! �&E" � ��"� &�-FcM�42�AY���'2E8M*�/F*�A! �&E" � ��"� ?"> @A ���� K�&�*�8 � ��"� 8��@"�K4A0O!6'5@D!�'2 � �

� 5, @A0=!*�A! �&E" � :': j �3:5� @A�=$*1A$ �&�" � ?"> )A35� )Al"$*�(+� � 9� &�-FcM�42�AY���'2E8M*�/F*�A! �&E" � :4:nj��3: &E-McM�'21A35 � A4G0D$�E�.83 �5�AH�i"!*?(>��9 � 9� ?"> @A � :': j �3:o #"> )A � 8F @AF��/3*E8h�n"$*?(>��9 � � 9� ?"> @AF5� )Al"$*�(+� � :': j � "!*?(+� �� K,&M*�8 � :': j �3:;K�&M*E8 ��� � � 9� K,&M*�8 � :': j � �� � #) $������"!�%$�(#� $�

�3:��W0D!*@"!5� �&�" � *'21A$ �&�"P5@D!�'2J�#*'21A$ 1&E"$61A3�1/�(h9 � 9� 8��@"�K4A0O!6'5@D!�'2 � :': j �3: 8M�@",K'A�O � �F:C5'�1/$ �*�8 � #"�AF��KF��/ � 9 � � �F: D$*1/3*E8'8M�E8 � ?"�AF��K3�1/ � 9 � 9

R}@:95/!9<+.C§;T9c/�B"+A/!95I4@";�+A)�L�J:L�­"@HLMJ^/�7�B";ae� ?"> @AF5� )AY�M�1� � :4:nj��������$ ?"$�f�?5� )A0=$*1A$ 1&E" � #"J @AF5� @AN"$*?(>� � 9

�3: �'&@(>*� ?" � "!*?(+� � 9� � &E-McM�42�AY���'2�8�*�/F*�A$ 1&E" � �� � #"J @A � � 9

Q D�/�&�-F8��?( J:L�­"@:95/!95I4@Z=tB";b/�;!G�LMK�9m-�P�L�95/�7HLa)d+A@z95@:95/!9<+.C ;}95/�B"+o/!95I4@�N�Pz@"+A=`L4pAI4)�+8Cm9<;!/_IA-H95@:9c/b9n+hCiC5P/�)�BHL�Cm9c/�La),+.C<;ap�I4)*N"I4/�7�3�R0-_95/v;!G�LMK�9m­"LM;�N�I4/�7�p�/�7HLa@^/�7HL�Cm95/�La),+hCn;2+o)�L�/�)�LM+A/�LMJ^+F;�L���LMK�/,;�yT+4JHJH;*+A@"JJ:L�C5La/�LM;�~�/�Iz/�7HL�@"+o=`LMJ?;T9c/�B"+A/!95I4@�3d687HL :n&�-Fc��'2�AF5 ­"L�C<J�pF9i-�GH)�LM;!La@:/Mp:J:LM;�K�)!95N"LM;>I4N��!LMK�/,;�/�7"+A/dL�¨:9<;!/95@�/�7:9<;[GH)�I4N:C5La= I4)�9c@:95/!9<+.C�;}95/�B"+A/!95I4@�NHBH/�+A)�L_@HI4/dJ:LMK�C<+A)�LMJ�95@`/�7HL :C2�&�"$51A3*@",A35 ­"L�C<J�Io-H9c/�;�J:I4=?+.95@I4)�+o@�P^;!BHG�La),J:I4=?+h9c@�3*��N �TLMK�/,;*J:IZ@HI4/�@HLaLMJ�/�I`N�LtJ:LMK�C<+A)�LMJ%9m-d/�7HLaPOIHKaK�BH)�95@l/�7HL :� #"J @A Cm9<;!/>95@+�D�+.P`/�7"+A/>=?+Aj4LM;_/�7HL�95)*/TP:G"L2BH@"+o=tN:95\4BHIFB";a3

Q>CmC�GH)�LMJF9<Ka+A/�LM;�D�7:9<K�7t+A)�L�@HIF/�L�¨¯G:Cm9<K�95/!C5P`;�+.9<J2/�I>N"L�/�)�BHL§95@�/�7HL[95@:95/!9<+.C"K�I4@"JF95/!95I4@";�+A)�Ld+4;�;!BH=`LMJN:P^©*«`«`¬�/�I'N"L2-X+.C<;!L4pHBH@:C5LM;�;>/�7HL�J:I4=?+.95@^J:LMK�C<+A)�LM;>)�LMwFB:9c)�La=`La@�/ :n&�D$�)"$6�7,&0/,8'� 3

� I4)8L�¨ +o=`G:C5L4p

�������! #"$�%�#5� )A0=!*�A$ 1&E"N-�/! 0���F2'*45'�'6, #"J @A$9�F:n�'&)(+*, #"N-�/$ ����F2'*'54�'617�&0/,8'�F9�F:n&E-McM�42�A35 ���$9�F:� #"J @A��nDF8�*'2'� OF&@(>��9P�nDF8�*'2'� &0�'�! 024��9'949

1MY

Page 20: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

�������! #"$�%�iD�/,&E-M8M�?( K3��AF6@D!*� ��F9�3: �'&)(+*� ?".-�/! 0�1�32'*45'�46�7�&�/�84�39�3:5� )A0=$*1A$ 1&E".-,/$ 0�1�324*'5'�46� ?"> @A!9�3:o #"J @A��?*�AYQ.OF&@(>��9P�?*�A��.OM&@(+�,9P�#*1A��lOF&)(+��9f�) #"��!9'9�3:;K�&�*�8 �?*@"F���?*�A.Q &0�4�$ �2'��9T�#*�A��V&��'�! 02'�,9P�#*1A��.OF&)(+��949'949

6E7HL :;K�&�*�8 IA-�+�GH)�I4N:C5La= J:L�­"@:95/!95I4@�=?+.Pl95@"K�C5B"J:L�+l\FI�+.C�J:LM;�K�)!95GH/!95I4@�I4)Oy 9i-2/�7HLlJ:I4=?+.95@7"+4;�J:LMK�C<+A)�Lt/�7HL2)�LMw4B:95)�La='La@�/ :*'2�A! �&�"$6'�1W0D!*@"$5, �&�"$5 ~�+A@�L�¨¯G"+A@";T9cIF@�p"I4)>N"I4/�7�3_Q ;!IAC5BH/!95I4@^/�I?+GH)�I4N:C5La= 9<;�+O;!La)b9cLM;zIA-�+4K�/!95I4@";z;!B"K�7 /�7"+A/`y!+:~�/�7HL?+4K�/!95I4@�;bLMw4BHLa@"K�L'9<;2-0LM+4;}95N:C5LO;!/,+A)�/b9c@H\Z95@�/�7HL\A95|4La@Z95@:95/,+.C�;T9c/�B"+A/!95I4@^;}95/�B"+A/b9cIF@$#�yXN�~�/�7HL :IK,&M*E8 pA9m-d+A@:P4p:9<;8/�)�BHL>95@O/�7HL�;}95/�B"+A/!95I4@O)�LM;!B:C5/!95@H\`-0)�I4=L�¨HLMK�BH/!95@H\�/�7HL�+4K�/!95I4@`;!LMwFBHLa@"K�L #�yTK.~�/�7HL :C�1W0D!*@"$5, �&�" p´9i-�+A@:P4p.9n;_;�+A/!9<;}­"LMJ N�P2/�7HL*;!La)!95LM;[IA- +FK�/!95I4@";y095@^/�7HL�;!La@";!L�L�¨HG:C<+.95@HLMJ%9c@�Q�GHG�La@"JF9m¨gQz~,3

� I4)_95@";!/,+A@"K�L4p 95@^/�7HL2/�)�+A@";!G"IF)�/,+A/!95I4@OJ:I4=?+h9c@�p�I4@HL2=�95\47:/�7"+.|4L2/�7HL2GH)�I4N:C5La=�������! #"$�%�iD�/,&E-M8M�?( A'/3*)"$5)DF&0/4A36)-$�'*)"$5,9

�F:n�'&)(+*, #"YA4/3*@"!5@DM&0/'A!9�F:C5� )A0=!*�A$ 1&E" 5�AF*@"F��*�/,�M6@"!��A47�&0/��$9�F:� #"J @A��n-$�4*@"$5 -$�'*)"$5�� � 9

�?*�A.-$�4*@"!5�� � 2@OJ 024*�K�&F9'9�F:C��W�D$*)"$5� 1&E"g�#2E&E"$51A'/F*� #"!��� �A3*1K��#24*�/'/4G36, #"$61A'/F*� #"

-!�'*@"!5�� � 2@OJ 02'*1K�& "!��74G�&0/��$9� � �@"M�3949

�) #"!6'2�&�"�AF��W'AY�@"M�:SD�/F�'2�&�"F�F @A$ 1&E"g�i"M&0AH�#5)DF&3 18M�E� -!�'*@"!5�� � 9'949'949'9

6E7HL :I/F��<�=> @/F�?(>�@"�AF5 ­"L�C<J^Io-�+`GH)�IFN:CcLa=�J:L�­"@:95/!95I4@l9<;>-�IF)�/�7HL�),+A)�L�Ka+4;!L�9c@lD�7:9<K�7�/�7HLz\4I�+.CI4)>95@:9c/b9n+hCEK�I4@"JF95/!95I4@";2;!G�LMK�9m­"LMJl95@�+ZGH)�I4N:C5La=�)�LMwFB:95)�L`;!I4=`Lzj495@"JlIA-dL�¨HGH)�LM;�;T9c|FLa@HLM;�;2/�7"+o/89<;*@HI4/-0I4BH@"JZ95@^/�7HL2GH)�I4N:C5La=^u°;�J:IF=?+.95@�3

6E7HL : 8M�)"�K'A�O ­"L�C<J%IA-§+ GH)�I4N:C5La= J:L�­"@:95/!95I4@�J:LMK�C<+A)�LM;>/�7"+A/�/�7HLa)�L*9n;Ej�@HIAD�@O/�I'N"L�+`;!IoCcBH/b9cIF@IA-d+�\A95|4La@ZC5La@H\4/�7$#�/�7:9<;8=?+.PZN"LzB";!L�-�B:C[/�I`G:C<+A@H@HLa),;>/�7"+A/_C5I�IFjZ-�I4)�;!IoCcBH/b9cIF@";�N:P`C5La@H\4/�7�3

{>@:Cm95j4L�+4JHJ:La@"J:BH= @"+A=`LM;>yT;!LaL�U4LMK�/!95I4@�1F1A~,p4GH)�I4N:C5La= @"+A='LM;�+o)�L�\oCcIFN"+.CX3dq[¨"+4K�/!C5PZ7HIhD�/�7HLaP+A)�L2G"+F;�;!LMJZ/�I?+ G:Cn+o@H@HLa)�9<;E9c='G:CcLa='La@�/,+o/!95I4@HVXJ:LaG"La@"J:La@:/M3

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

x>La)�L*9<;�+�/�+AN:C5Lt;!7HIAD895@H\`/�7HL�JF9���La)�La@:/�jF95@"JH;�Io-�@"+A='LM;�+A@"JZIA|4La)8D�7"+A/�;�K�I4G"Lz/�7HLaP�+o)�L2N"I4BH@"J

1MW

Page 21: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

� � -.� 1 ����� _oa � ��8LM;!La)�|4LMJOD8I4),J ©*«`«`¬ C<+A@H\4B"+A\4L(*I4=?+h9c@O@"+o=`L k>C5I4N"+.C6_P�G�L (*IF=?+.95@�p:95@H7HLa)!95/�LMJ]dI4@";b/,+A@:/ (*IF=?+.95@�p:95@H7HLa)!95/�LMJ(*I4=?+h9c@O|A+A)!9<+AN:C5L (*IF=?+.95@�p:95@H7HLa)!95/�LMJS�)�LMJF9nKa+o/�L (*IF=?+.95@�p:95@H7HLa)!95/�LMJQ2K�/!95I4@O-0BH@"K�/�I4) (*IF=?+.95@�p:95@H7HLa)!95/�LMJQ2JHJ:La@"J:BH= (*IF=?+.95@�p:C5I¯Ka+hCUA95/�B"+A/!95I4@�@"+A=`L (*IF=?+.95@�p:95@H7HLa)!95/�LMJS�)�I4N:C5La=�@"+A=`L k>C5I4N"+.Cf�La/�7HIHJZ@"+A=`L S[La)*+4K�/!95I4@Z-0BH@"K�/�I4)

s*+A=`LM;ED895/�7�;�K�I4G"L �aJ:I4=?+h9c@�p 95@H7HLa)!95/�LMJ� ^+o)�L2|49<;}95N:C5L'9c@l+?J:IF=?+.95@g+A@"Jl+.CmC[95/,;�J:LM;�K�La@"JH+A@�/�;a3s*+A=`LM;�DE9c/�7?;�K�I4G�L �aJ:I4=?+h9c@�poC5I¯Ka+.C, �+A)�L8|F9<;}95N:CcL2DE9c/�7:9c@O+2J:I4=?+h9c@ZNHBH/d+A)�L>@HI4/�|49<;}95N:C5L*95@�J:LM;�K�La@HVJH+A@:/�J:I4=?+.95@";a3Zf�La/�7HI¯J�@"+A='LM;�+A)�L`+OJ:IHK�BH=`La@:/,+A/!95I4@�K�IF@�|4La@:95La@"K�L4pd+o@"J^@HLaLMJ 7"+.|4L�@HI^;�K�I4G�LL�¨"K�LaGH/�/�7"+o/�Io-�/�7HL*-0BH@"K�/�I4)>IA-�D>7:9nK�7^/�7HLaP�+A)�L2=`La/�7HIHJH;a3

6E7HLa)�L�9<;�Ci95=�95/�LMJ G"I�;�;}95N:9iCm95/!P�Io-�IA|4La)!C5I�+4JF95@H\^@"+o=`LM;�9c@�©*«`«`¬d3^687HLO;�+A='L`@"+A=`L`=Z+MPlN�LB";!LMJ�-0I4)�+*\oCcIFN"+.C5VX;�K�I4G"L>La@�/!95/!P�yXL43�\�35ph+>GH)�I4N:C5La=O~ª+o@"Jt+*J:I4=?+h9c@HVX;�K�I4G"L�La@:/!95/!P`yXL43 \"35pM+*GH)�LMJF9<Ka+A/�LA~,3�_BH/�/�7HL?;�+A='L�J:I4=Z+.95@HVX;�K�I4G"LMJ�@"+o=`L?Ka+A@H@HI4/�N�L?B";!LMJ�-0I4)�/!D8IgJF9���La)�La@:/tjF95@"JH;zIA-�La@�/!95/!P43l�HI4)95@";!/,+A@"K�L4p�/�7HL�;�+o=`L2@"+A=`L�Ka+A@H@HIF/�N"LzB";!LMJZ-0I4)�+�/!P�G�L�+A@"J^+o@^+4K�/!95I4@�3

6E7HLO)�B:C5LM;z-�IF)`=`La/�7HIHJ�@"+A=`LM;�+A)�LZC5I:I�;!La)Mp_N"LMKa+oB";!L^/�7HLaP +A)�LZ@HI4/`/�)�BHL?@"+o=`LM;a3 687HLOI4@:C5P)�LM;!/�)!9<K�/!95I4@O9<;8/�7"+o/�/!D�I`JF9<;!/!95@"K�/*=`La/�7HIHJH;_-0I4)�/�7HL�;�+o=`L�+4K�/!95I4@�=?+.P`@HI4/�7"+.|4L2/�7HL�;�+A=`L2@"+A=`L43

� � � ���$ �����P�� ���$ �� ����� ���� �

x>La)�L�9<;�+%/,+AN:C5L`IA-�+.CmC�)�LMwFB:95)�La=`La@:/,;*95@�©�«`«'¬ ²H3°²H3ZU4IF=`L`)�LMwFB:95)�La=`La@:/,;*95=`G:C5P�I4/�7HLa),; #ª;bI4=`L+A)�L*+ANHNH)�La|F9n+o/!95I4@";§-�I4)8K�I4=`=`IF@?;!La/,;§IA-ª)�LMwFB:95)�La=`La@:/,;a3[R0-�+zJ:I4=?+.95@O;!/!95GHB:C<+A/�LM;_@HI�)�LMwFB:9c)�La=`La@�/�;ap95/89<;�+F;�;!BH=`LMJZ/�IZJ:LMK�Cn+o)�Lt+�)�LMw4B:95)�La=`La@:/>-�I4) :C51A'/$ ?D$5 3

54²

Page 22: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

� � (0) �4%'�*-.�*/ 1 � � 3?_*%�� ��18��a /:C5�A4/$ ?D$5 �8+4;T9nK U�6��8R!S8U4VX;!/!PFCcL�+4JHJH;*+A@"JOJ:L�C5La/�LM;:IA'G�D> ?"�K Q>CmC5IhD�/!P�G�L2@"+A=`LM;_95@lJ:LMK�Cn+o),+A/!95I4@";>IA-�|h+A)!9<+AN:C5LM;:n�3 �5�c�='"$21A$ )e3�'6)D�/F�'2�&�"F�F @A$ 1&@"$5 Q>CmC5IhD &0/ 95@^\FI�+.CªJ:LM;�K�)!95GH/!95I4@";:C��<�=$*E83 @A4G U4BHGHG�I4)�/ j +F;dNHB:9mC5/�V 95@�GH)�LMJF9<Ka+A/�L:C��W! 051A3�@",A$ �*�8M6)D�/F�'2�&�"F�F @A$ 1&@"$5 Q>CmC5IhD ��W! 051A35 95@^\FI�+.CªJ:LM;�K�)!95GH/!95I4@";: ='"J @eF��/354*�8�6@D�/F�'2E&E"F�F @A! �&E"!5 Q>CmC5IhD ��&�/3*E8'8 95@^\FI�+.CªJ:LM;�K�)!95GH/!95I4@";:n<E=!*@",A$ @�! 0�E�M6@D,/3�42�&E"M�3 )A$ �&�"F5 � :C��W! 051A3�@",A$ �*�8M6)D�/F�'2�&�"F�F @A$ 1&E"!5

� : ='"J @eF��/354*�8�6@D�/F�'2E&E"F�F @A! �&E"!5:C2�&�"F�F @A$ 1&E"!*�8M64���4�3�'21A35 Q>CmC5IhD 70O!�@" 95@g+4K�/b9cIF@^L���LMK�/,;:C*'21A$ 1&E"$64��W�D$*@"!5� 1&E"$5 Q>CmC5IhD +4K�/!95I4@";E/�I`7"+.|4L :��W�D$*@"!5� 1&E"$5:I��&�/3�4*'2@O!6'�1W0D$*)"$5, �&E"!5 Q>CmC5IhD +4K�/!95I4@";EL�¨¯G"+A@";T9cIF@";�/�I'B";!L �,&0/3�4*'2)O

y 9c='G:Ci95LM; :C*42�A$ 1&E"!6'��W�D$*)"$5� 1&E"!5 ~:n�M*1K364��W0D!*@"!5� �&�"$5 Q>CmC5IhD C<+AN"L�C5LMJl;!BHN"+4K�/b9cIF@";

y 9c='G:Ci95LM; :C*42�A$ 1&E"!6'��W�D$*)"$5� 1&E"!5 ~:n�'&)(+*, #"$64*�W! �&@(>5 Q>CmC5IhD J:I4=?+h9c@";E/�I`7"+.|4L :C*1W$ 1&@( ;:C5@=4-�K,&M*�8�6�A�O�/�&�=�K�O$6'*1W$ 1&@(+5 k>95|4La@g+.¨:95I4=?; � ���t+o@"JO\4I�+hC��:pH\4La@HLa),+o/�L�;!BHNH\4I�+hC �:C5'*1�3�1A'G3642�&�"$5�A4/3*, #"�AF5 Q>CmC5IhD :C54*��F��A'G K�I4@"JF95/!95I4@";E-�I4)*+`J:I4=?+.95@:C��W�D�/F�'5'5, �&�"$6'�1e3*E8E=$*1A$ 1&E" U4BHGHG�I4)�/ �1e3*�8 GH)�LMJF9<Ka+A/�L�9c@l+.¨:9cIF=?;

y 9c='G:Ci95LM; :n�4&@(+*, #"!6'*�W! �&)(+5 ~:I��8�=$�)"�A35 U4BHGHG�I4)�/*/!P�G�L ���8�=$�@",A �o9 3

R}=`G:Cm95LM; :��W�D�/3�45'5, �&E"!6'�1e3*�8�=$*1A$ �&�":n&ED!�@"!6�7�&�/�84� (*IF@�u�/8=?+Aj4L2/�7HL��´K�CcI:;!LMJ:V0D8I4)!C<J^+4;�;!BH=`GH/!95I4@2 z-0I4)�+hCiC

GH)�LMJF9nKa+o/�LM; d 9X3�L435pF9m-�+A@^+A/�I4= 9nK>-0I4)�=�B:C<+z9<;>@HI4/j:@HIAD�@O/�I�N"Lz/�)�BHL4p:95/89<;>@HI4/�@HLMK�LM;�;�+A)!9mC5Pg+4;�;bBH=`LMJ'- +hCn;bL

:IA'/�=$�46@"$�1K3*1A$ �&�" (*IF@�u�/87"+A@"JFC5L "F&0A B";}95@H\?@HLa\:+A/!95I4@g+F;�-X+.9mC5BH)�L4pNHBH/>/�)�LM+A/895/�+F;_95@O­"),;!/�V0I4),J:La)8C5I4\A9<Ky 9c='G:Ci95LM; :n&�D$�@"!6�7,&0/�84�39

:C*��48 � :C5�A4/$ ?D$5 � :;A'G�D> #",K� :n�3 �5�c�='"$21A$ )e3�'6)D�/F�'2�&�"F�F @A$ 1&E"!5� :C��<�=$*E83 @A4G� :n<E=!*@",A$ @�! 0�E�M6@D,/3�42�&E"M�3 )A$ �&�"$5� :C2�&�"F�F @A$ 1&E"!*�8M64���4�3�'21A35

: =$2)DF&�D � :C*��48 � :n�4&@(+*, #"!6'*�W! �&)(+5� :C5'*1�3�1A'G3642�&�"$5�A4/3*, #"�AF5

� � ��� ���.���!�b ��� �� �

687:9<;�;!LMK�/b9cIF@�J:LM;�K�)b9cN�LM;�7HIAD�/�I�)�BH@?/�7HLvS_(2(2®g;bP�@:/,+.¨?K�7HLMK�j4La)>I4@"K�L�PFI4B?7"+.|4L*J:IhD>@:CcI:+4J:LMJZ/�7HL/,+A)�JF9<;!/�)b9cNHBH/b9cIF@^­HC5L43

6E7HL8­HC5L2GrJHJFCX3°;!PH;!/�La=�K�I4@:/,+.95@";8+��2+A@:/�)�IAD895/ �aVXJ:L�-X;!PH;!/�La=�J:L�­"@:9c/b9cIF@OIA- DM�'�48M6'51G0",A3*�WF6'2)O$�'2 �+A@"J DF�4�'8�6'5�&48E=,A$ �&�"$642@O$�42�� p´D�7:9<K�7`+A)�L8/�7HL�;!P:@:/,+.¨tK�7HLMK�j4La)d+o@"Jt;bIAC5BH/!95I4@`K�7HLMK�j4La)MpA)�LM;bG"LMK�/!95|4L�C5P43Q2J0�TB";!/8/�7HL2JF95)�LMK�/�I4)�P`@"+A=`LM;�9c@O/�7HLvKa+.CmC<;8/�I ��� : ������� � � � � ��pA/�7HLa@'C5I�+4J 9c@OG�JHJFCX3°;!PH;!/�La=^pH+A@"JZJ:I

� ��� : ��� � �������36�� � � � � � � � � ���36�� � � � ���36 � ��� � � 9

5H1

Page 23: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

R -ªP4I4BOK�I4=`G:9mC5L�+A@"J C5I�+4JO+*­HC5L*-0B:CmCªIA-�©�«'«`¬�J:L�­"@:95/!95I4@";apH/�7HLa@O/�7HLvJ:I4=Z+.95@?D89mCmCªN�L�J:L�­"@HLMJ+4;§P4I4BZL�¨¯G�LMK�/M3dx>IhD8La|4La).pA/�7:9<;8D8I4)�jH;[I4@:C5P`9m-ª/�7HLE­HCcL�K�IF@�/,+h9c@";_@HI`;!P:@�/�+4K�/!9<K8La)�)�IF),;a3�6�I�­"@"JO+A@"JL�Cm95=�95@"+A/�L�La)�)�I4)�;ap:B";!L�/�7HL*-0BH@"K�/!95I4@

����� ���F6 � �����F6 � � � � ��� � ��� �! �8�� � 9

6E7:9n;�D89mCmC>K�)�LM+A/�L?+%@HLaD ­HC5LOD895/�7�L�¨H/�La@";}95I4@ � Z 2)O � ZD>7:9nK�7 9n;�+%GH)�La/�/!P�V0GH)b9c@:/�LMJl|FLa),;}95I4@�IA-/�7HL*95@HGHBH/Mp�D895/�7g+hCiC�;!P�@:/,+4K�/b9nK*La)�)�I4),; �r+A\4\FLMJZ/�7�B";´e� � �*%�%na % � ] � 3�_0% � ��18� a / : 1�� �4/4\ ���

D�7HLa)�L o/�7:95@H\ �9<;�+';!BHN"L�¨HGH)�LM;�;}95I4@�+A@"J oLa)�)�I4)�VXJ:LM;�K�)!95GH/!95I4@2 ?;�+MPH;_D�7"+A/Mu ;8D�)�I4@H\�D895/�7%95/M36E7HLd9<J:LM+v9n;§/�7"+A/[/�7HL � Z 2@O � 8­HC5L�G:C<+.PH;�/�7HL8)�IAC5L�Io-r/�7HL� Z 84&0K 8­HC5L895@?®�+F6�L���34R}@";!/�LM+4JzIA-�Ci95@HL@:BH=tN�La),;2/�7HL ;bP¯;!/�La= �TB";!/zGH)!95@�/�;*/�7HL`La@:/!95)�L�95@HGHBH/�D895/�7 La)�)�I4),; �r+o\4\4LMJ�3`x>IhD D8L�CmCd/�7:9<;2D8I4)�j¯;

J:LaG"La@"JH;*G"+o)�/!C5P?IF@O/�7HL�w4B"+hCi95/!POIA-�/�7HL2GH)�La/�/!P:V0GH)!95@�/�La)M3R -t/�7HL�\AC5I4N"+.C�|A+A)!9<+AN:C5L � ��� � � � � 9n;O;bLa/?/�I � p8/�7HLg;!P:@:/,+.¨ K�7HLMK�j4La)ODE9iCmC �r+A\ |F95IAC<+A/!95I4@";ZIA-

�a;!/�)!9<K�/�@HLM;�;� `+F;�J:L�­"@HLMJZ95@�U4LMK�/b9cIF@&7"36E7HLv;!P:@:/,+.¨�K�7HLMK�jFLa)EJ:I:LM;8+zGH)�La/�/!P`/�7HI4)�I4BH\47 �TI4N�p:+.C5/�7HI4BH\47O/�7HLa)�Lv+o)�Lv+�-0LaD�\�+AG";a3[RX@OIF),J:La)

/�I�K�7HLMK�jl-0I4)`K�I4)�)�LMK�/t@:BH=�N"La)�IA-v+o)�\4BH=`La@:/,;z/�I^GH)�LMJF9nKa+o/�LM;?+o@"J�;!B"K�7�p[95/Mu°;z@HLMK�LM;�;�+A)�P�/�I�;!/�I4)�L95@:-�IF)�=?+A/!95I4@�+AN�I4BH/2J:I4=?+.95@";2+4;*/�7HLaP^+o)�L`K�7HLMK�j4LMJ�p�;!IZD8L�7"+.|4L�\FI4@HL`+.CmCd/�7HL�D�+.P4pr+o@"J^D>)!95/�/�La@/�7HL�;!P:@�/�+.¨ K�7HLMK�j4La)'95@�;!B"K�7 + D�+.P /�7"+A/�95/^;!/�IF)�LM;?+hCiC�/�7HL^95@:-0I4)�=?+o/!95I4@ +AN�I4BH/^+�J:I4=?+.95@�95@|h+o)!95I4B";�JH+A/�+O;!/�)�B"K�/�BH)�LM;ap�D�7HLa/�7HLa)2/�7HLZK�7HLMK�j4La)*95/,;!L�Cm-�@HLaLMJH;2/�7HL 9c@:-0I4)�=Z+A/!95I4@lI4)2@HI4/M3�x>La@"K�L?+\4I:I¯J DE+.P�/�I�9c='G:CcLa='La@�/�+2G:C<+A@H@HLa)>/�7"+A/dB";bLM;�/�7HL2Sd(2(2®%@HI4/,+A/!95I4@ 9n;_/�I�;!/,+A)�/�D895/�7?/�7HL895@�/�La)�@"+.CJH+A/,+';!/�)�B"K�/�BH)�LM;�K�I4@:/,+.95@:95@H\?/�7HL*95@:-0I4)�=?+o/!95I4@^+AN"IFBH/�+`J:I4=?+h9c@�p�+A@"JO+4JHJ%D�7"+A/�La|FLa)d95@"J:L�¨HLM;*/�7HLG:C<+A@H@HLa)*@HLaLMJH;8-0I4)�L���K�95La@"K�P43

6�I^+.|4IA9<J�K�IACmCm9<;}95I4@";zD895/�7�B";!La),;au�K�IHJ:L4p[/�7HLM;!L?JH+A/�+O;!/�)�B"K�/�BH)�LM;2+A)�L�@HI4/t;b/�I4)�LMJ%95@�+o@�P�G:Cn+FK�L/�7"+A/z9<;�|F9<;}95N:CcLlN:P�+4KaK�9<J:La@:/OyT;!B"K�7¶+4;�;!P:=tN�IAC�GH)�I4G�La)�/!PlCm9n;b/,;�~,3 687HLa)�L'9<;`+l\AC5I4N"+hCE7"+F;!7 /,+AN:C5L� �����F6 � � � Q ���36 � �4Q���� � /�7"+A/�K�IF@�/,+h9c@";O+hCiC2\AC5I4N"+.C2N:95@"JF95@H\�;a3�(*I4=?+.95@";O+A)�Ll;!/�I4)�LMJ�95@�/�7:9<;Z/,+AVN:C5L4p�+A@"J�/�7HLa@�;!P:=tN�IAC<;�DE9c/�7�J:IF=?+.95@�;�K�I4G"L�+A)�L`;!/�IF)�LMJ'95@�N:95@"JF9c@H\�/,+AN:C5LM;2+4;�;bI¯K�9<+A/�LMJ%D895/�7l/�7HLJ:I4=?+h9c@�3

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

687HL8;!IAC5BH/!95I4@`K�7HLMK�j4La)�9<;ª+A@HIF/�7HLa)ª®�9<;!G�GH)�I4\F),+A=^3[6�I�K�IF=`G:9mCcL�+A@"JvC5I�+4J�95/Mpa-0IACmC5IAD�/�7HL§95@";!/�)�B"K�/!95I4@";-0I4)�/�7HL�;!P:@:/,+.¨�K�7HLMK�jFLa)MpHNHBH/�J:I � ��� : � � � ��� ���F6 � � � � � � � ��� ���36 ����� � ��� � 6 ����� � � 9 +o/�/�7HL2La@"J�3

Q ;!IAC5BH/!95I4@�/�I`+`Sd(2(2®�GH)�I4N:C5La=�9<;*+�G"+.95)�IA-[95/�La=?;ae1F38Q�GH)!95=�95/!95|4L ��_*18� a / 3 ��(*)+�*/F_��Mpo9X3�L435p"+zCm9<;!/*IA-�+4K�/b9cIF@";�/�7"+o/�7"+.|4L2@HI'L�¨¯G"+A@";T9cIF@";a35 38QCm9<;!/*IA-�@HIF@HGH)!95=�95/!95|4Lt+4K�/b9cIF@";ap"Ka+.CmC5LMJ ���"��� /�3 � a / � �4/2143a3

687HL�;!LMK�I4@"J^K�IF=`G"I4@HLa@:/*=?+.P?N�L +oN";!La@�/.3�687HL�­"),;!/�=Z+MP4p�IA-dK�I4BH),;!L4p N"L�La=`GH/!P4pHNHBH/*I4@:C5PO9m-d/�7HLGH)�I4N:C5La= 9<;�/�)b9c|F9<+.CX3

U4BHGHG�I�;!LZGH)�I4N:C5La= ��7"+F;*95@:95/!9<+.C�;}95/�B"+A/!95I4@���p :;K�&�*�8�� p[+A@"J :C��W�D$*)"$5� 1&E" �Z3`Q�;!IoCcBH/b9cIF@D895/�7l+4K�/!95I4@^;!LMwFBHLa@"K�L � +A@"JZ7:95@:/,; � 3?a�� +*� 3 ��9m-§+o@"JOI4@:C5PZ9m-§+hCiC[IA-�/�7HL*-�IACmC5IAD895@H\�+o)�L2/�)�BHL4e1F3 � 9<;E-�LM+4;T9cN:C5L?;b/,+A)�/!95@H\�95@l;}95/�B"+A/!95I4@���p"+A@"J�95@^/�7HL�;}95/�B"+A/!95I4@�)�LM;!B:C5/!95@H\Z-�)�I4=�L�¨HLMK�BH/!95@H\ � p� 9<;8/�)�BHL43

5 5

Page 24: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

5 3 �?pH+A@"J�p¯9i-�GH)�LM;!La@:/Mp � +A)�L2L�¨¯LMK�BH/�LMJ%N�PO;!I4='L�yX@HI4/�@HLMK�LM;�;�+A)!9mC5P^K�I4@�/b9c\FBHI4B";�~�;!BHN";bLMw4BHLa@"K�LIA- � 3

� 3�q�|4La)�PZ+4K�/!95I4@Z95@ � /�7"+A/_9<;�J:LMK�C<+A)�LMJ :n&�"F8�G36� ?"$64��W0D!*@"!5� �&�"$5 IHKaK�BH),;_95@^IF@HL2IA-ª/�7HL�;!BHN";bLaVw4BHLa@"K�LM;E95@";!/,+A@:/!9<+A/!95@H\ � I4) � 3

6�I8)�BH@�/�7HLd;!IAC5BH/!95I4@tK�7HLMK�j4La)Mp´­"),;!/�C5I�+4J*/�7HLdJ:I4=?+.95@�Io-¯/�7HL�GH)�I4N:C5La=95@`y}B";}95@H\ ��� ���F6 � �����F6 � � � � ��� � ��~,p/�7HLa@lKa+.CmC

� ������ � ��� � 6 ����� � � � � � 9

D�7HLa)�L � 9<;8/�7HL2+4K�/!95I4@^;bLMw4BHLa@"K�L4p � +o)�L�/�7HL�7:95@:/,;ap"+A@"J � 9n;>+�GH)�I4N:C5La=�yXI4)_GH)�I4N:C5La=�@"+A=`LA~�3ªR}/)�La/�BH)�@"; � 9i-�9c/*Ka+A@?|FLa)!9m-�P`/�7HL�;!IAC5BH/!95I4@�p � ��� 9m-[9c/�Ka+A@�u /M3[RX/8=?+.P�GH)!95@�/�;bI4=`L*7HL�CcG:-0B:Cª=`LM;�;�+A\4LM;_+4;D8L�CmC 3

Q2;�Io-��EL�CcLM+F;!Lt1F3°²HpA/�7HL2;!IAC5BH/!95I4@OK�7HLMK�j4La)8J:I�LM;§@HI4/�+4K�/�B"+.CmCcPZK�7HLMK�j�-0I4)�/�7HL*GH)�LM;!La@"K�L*IA-ª+4K�/!95I4@L�¨HG"+A@";}95I4@";a3>U4I`/�7HL � +A)�\FBH=`La@�/_9<;E9c\F@HI4)�LMJ�3

� � � �+��� � � � ��'������� � � � � ������� �� �� � � ���������

Q*@ � /F_ �4a %'��]���_018��a / 3 ��(*)+�*/F_���9<;_+2;!LMw4BHLa@"K�L�� ��� � � ����� � ��� pAD>7HLa)�L ���_9<;�+2;}95/�B"+A/!95I4@�p�� � ����� � �+A)�L \4)�I4BH@"J�+4K�/!95I4@ /�La)�=?;ap2+A@"J ��� � � 9<;%-0LM+4;}95N:C5L�95@�/�7HL�;}95/�B"+A/b9cIF@)�LM;!B:C5/!95@H\�-�)�I4=$L�¨¯LMK�BH/b9c@H\� ������� ���t;!/�+A)�/!95@H\ 9c@ � � 3�� L�Ka+hCiC�/�7:9n;�;}95/�B"+A/!95I4@ %'� 3 )'� 1�� �2y � � � � ������ ��� � ~,p�+o@"J J:L�­"@HL 95/95@�/�7HL`B";bB"+.CdD�+MP43�687HL`;!BHN";�K�)b9cGH/^]�a -�)�L�-�La)�;*/�IO/�7HL`J:I4=?+.95@�DE9c/�7�)�LM;!G�LMK�/�/�IZD�7:9<K�7 %'� 3 )4��1 9n;J:L�­"@HLMJ�3_RX@^D>7"+A/8-0IACmCcIAD�;´pHD8L�D89mCmCd+ANHNH)�La|F9n+o/�L�%'� 3 )'� 1�� �*y � � � � �������� ��� � ~d+4; ���!3

Q %'�o��������� 18��a / � �,1�� �4/^J:I4=Z+.95@ ]0a -�IA-�+A@�+4K�/!95I4@�;!G"LMK � �,/Z/�7HL`+A@"K�7HI4)�LMJ +4K�/!95I4@�;!LMwFBHLa@"K�L� � � � ������ � � � 9n;_+2=?+oGHG:9c@H\��D�7HI�;bL�J:I4=?+.95@�9<;_/�7HL�;bLa/�IA-�I4),J:La)�LMJ�G"+h9c)�;�� � �� � pMD>7HLa)�L�� 9n;_+;!BHN�L�¨¯GH)�LM;�;}95I4@OIA- � yTJ:L�­"@HLMJ`N:P�G"I�;T9c/b9cIF@�p¯;bI�/!D8I�JF9 ��La)�La@:/dIHKaK�BH)�)�La@"K�LM;_IA-�/�7HL*;�+A=`L�L�¨HGH)�LM;�;T9cIF@K�I4BH@:/t+4;zJF9�� La)�La@�/a~*I4)t+o@�+4K�/!95I4@�/,+A\"p�+o@"J � 9n;�+�;!BHN";!/!95/�BH/!95I4@$#_+A@"JlD�7HI�;bL?),+o@H\4L�9<;�+�;!La/�IA-BH@:95I4@";>IA-§K�C5I�;bLMJZ95@�/�La)�|h+.C<;>IA-�/�7HL %'�o���F95@:/�La)�|h+hC�±°² �� ³X3�y � a 1�/�7HL*95@:/�La\4La)>95@�/�La)�|h+.C � ~

Q )�LM+.Cm9��M+A/!95I4@� IA- � 9c@�� ��� � � ���� � ��� 3?� 18��3�� � 3�;!BHN�L�¨¯GH)�LM;�;}95I4@ � IA- � � �,1�� %'� 3 � ��_*1 1Sa;!BHN";!/b9c/�BH/!95I4@ � pF9m-�+A@"JZI4@:C5PZ9m-dI4@HL2IA-�/�7HL*-0IACmC5IhDE9c@H\'9<;�/�)�BHL4e1F3 ��9<;�+o@^+4K�/!95I4@HV C<+AN"L�C�/�La)�=�35 3 � 9<;^+A@IHKaK�BH)�)�La@"K�L IA-t/�7HL /�La)�= �#646�9 p*+A@"J�/�7HLa)�L^9<;�;!I4=`L�� ²������ � ;!B"K�7/�7"+A/zy � �� ~ � ±�� � ³X3

� 3 ��9<;�+�GH)!95=�95/!95|4L�+4K�/!95I4@Z/�La)�= I4/�7HLa)8/�7"+A@ �#6'6,9 p�+A@"J'/�7HLa)�L>9<;8;!I4=`L�� 1�� �!� � ;bB"K�7Z/�7"+A/� y �'~ � ����p"+o@"Jzy � �� ~ � ±��#"¶1 �0³X3

7�3 ��9<;d+*@HIF@HGH)!95=�95/!95|4L�+4K�/!95I4@`/�La)�=^pAD895/�7 � y �'~r|A+A)!9<+AN:C5LaV -�)�LaL4p"+A@"J�/�7HLa)�L89<;d+A@`L�¨HG"+A@";}95I4@ ��$9c@ ]�a -�IA- � y �'~�yX/�7"+o/[9n;´p�+A@ :C�1W0D!*@"$5, �&�" -0)�I4= /�7HL :C*'21A$ 1&E" J:L�­"@:95@H\ ��I4)d+ : (+�1A0OM&'� -0I4)�`~�p"+A@"J^+')�LM+.Cm9��M+A/!95I4@ %$�D895/�7:95@N]�a - IA- � y �`~[95@&� � � � �������� � � � p�;!B"K�7g/�7"+A/ zy � �� ~ � $ y � y �`~ �' ~,3

) 3 � � �#54��/$ ��'5 � � ���� �)( 9 p�+A@"J'-�IF)�+.CmC*��p�1�� �+�-,." 14p ;�+A/b9n;T­"LM; ���[D895/�7�)�LM;!G"LMK�/*/�I� p�+A@"J -0I4)�+.CmC/� 10 1%� �32 0 � ,lp:+A@"J -�I4)8+.CmC � �54 zy ��� �� ~ ��76 4 zy � 6��� ~ �� �/� �76 #H+A@"Jzy � �� ~ ��8 ��9 � 9 ( zy �)� �� ~�3

54�

Page 25: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

µ 3 � � �iD!*�/F*�8'8���8 � � ���� � ( 9 p�+A@"J%-�I4)2+.CmC�1 ��� 10 ��,lp �;�+o/!9<;}­"LM;�� � D895/�7l)�LM;!G�LMK�/�/�I� #H+A@"Jzy � �� ~ ��8 ��9 � 9 ( zy �)� �� ~,3

�:3 � � �) #"$642�&�"�A3�1W'A � � � � ���� � � 9 p�+o@"J �;�+A/!9<;}­"LM; � � D895/�7Z)�LM;!G�LMK�/d/�I � pFD895/�7 zy � �� ~ �zy � � �� ~d+A@"J�p:-0I4)�LM+FK�7 � �Te

� R0- � � � : D,/3�42�&E"M�3 )A$ �&�" � p:/�7HLa@ � 9n;E/�)�BHL*95@ ���[3� R0- � � � : (>*� ?"�A3*, #" � p /�7HLa@ � 9<;>/�)�BHL*95@ ����-�I4)*+.CmC�95@�/�La\FLa)���4 ± � ³}3

D�7HLa)�L �� =�95@�y zy � ���� ~�~�+A@"J � � =?+.¨�y zy � ���� ~�~,3Y 3 � � �#2)OF&F 02'� � � ���� ��( 9 p�+A@"J�-�I4)2;!I4='L ��p�1����)��,lp �;�+A/b9n;T­"LM; ����D895/�7l)�LM;bG"LMK�/2/�I� pH+A@"Jzy � �� ~ � zy �)� �� ~�3

W 3 � � �C�,&0/35E&@(>� +)� % 3 � ��9 p"+A@"J%/�7HLa)�L29<;*+?;bBHN";!/!95/�BH/!95I4@ � $ L�¨H/�La@"JF95@H\ � N�PON:95@"JF95@H\ +)� %�3ap;!B"K�7O/�7"+A/ ;�+A/b9n;T­"LM; � � DE9c/�7O)�LM;!G"LMK�/*/�I � $ pH+A@"J zy � �� ~ � zy � ���� $ ~�3

1M² 3 � � ���&�/3�'*42@O +)� % 3 � � �@9 p�+A@"J%/�7HLa)�Lz9<;�+Z;!La/�� Io-dL�¨¯/�La@";T9cIF@";*/�I � ;!B"K�7�/�7"+A/>-�IF)�+.CmC� $ 4� p � $ y �z~�9<;8\4)�I4BH@"J�p";!B"K�7^/�7"+o/d9m-�± � ³ � zy � �� ~,pA/�7HLa@

���8 ��9 � 9 ( zy �)� �� $ ~

+A@"J

� ���� $ e � $ L�¨H/�La@"JH; � N�PZN:95@"JF9c@H\O|A+A),;8/�I`=?+Aj4L � $ y �z~d\F)�I4BH@"JO+A@"JZ/�)�BHL*9c@�� � �

141F3 � � �A3*�K � � ���� � � � � � � � � ���� � ( 9 pH+A@"J ;�+A/!9<;}­"LM; � � D895/�7O)�LM;!G�LMK�/�/�I � p:D895/�7 zy � �� ~ �zy � � �� ~,pH+A@"J'-0I4)�+hCiC3� 1%� �3�-,lp

� R0- � � �L� � �n9 pH/�7HLa@ zy � �� ~ � ± ³X3� R0- � � �L� � �n9 pH/�7HLa@ zy � �� ~ � ± � � ³X3� ��/�7HLa)�D89<;!L4p zy � �� ~ � ± � ³}3

D�7HLa)�L �� =�95@�y zy � ���� ~�~�+A@"J � � =?+.¨�y zy � ���� ~�~,31*5 3 � � �?2�&E"!5�A4/3*� ?"$�E� ��� � � ����� � ( 9 p�+A@"J�-0I4)?+.CmC � ² � � � ,lp �;�+A/b9n;T­"LM; � � D895/�7

)�LM;!G"LMK�/>/�I � +A@"Jzy ��� �� ~���zy � � �� ~ #�+o@"J zy � �� ~ � zy � � �� ~,3R0- zy � �� ~F9<;[@HI4/ª\o9c|FLa@ +>|h+hCcBHL>N�P2)�LaG�LM+A/�LMJ�+AGHG:Cm9<Ka+A/!95I4@`Io-"/�7HL8)�B:C5LM;�9c@�/�7HL§Cm9n;b/Mp4/�7HLa@ zy � �� ~ �' 3

��95@"+.CmC5P4p8+A@�+o@"K�7HI4)�LMJ�+4K�/b9cIF@�;!LMwFBHLa@"K�L 3?� 18��3�� � 32+A@�+FK�/!95I4@¶;!G"LMK 9m-v/�7HL�+4K�/b9cIF@�;!G�LMKZ7"+4;�+)�LM+.Cm9��M+A/!95I4@%95@�/�IZ/�7HL�+4K�/b9cIF@^;!LMw4BHLa@"K�L�/�7"+o/E;�+A/!9<;}­"LM;8/�7HLzLa@�/b9c)�L�+4K�/!95I4@g;bG"LMKA3

s>I4/�L*/�7"+A/>/�7HL*-�IF)�=?+.CªJ:L�­"@:95/!95I4@l=?+Aj4LM; zy � �� ~ � ' 9m-�/�7HLa)�L*9<;>@HI`I¯KaK�BH)�)�La@"K�L�IA-���95@";}9<J:L+ �,&0/3�4*'2)O I4) ��&�/35�&)(+� PF9cL�C<JF95@H\^;!BHN";!/b9c/�BH/!95I4@ � p:I4)_9m-�@HI`+4K�/!95I4@^K�IF)�)�LM;!G�I4@"JF95@H\`/�I ��I¯KaK�BH)�;_95@/�7HL�+FK�/!95I4@�;bLMw4BHLa@"K�L43dx>La@"K�L>9i-�+A@?+4K�/!95I4@O;!G�LMK�7"+4;§)�L�-0La)�La@"K�LM;_/�I2/,+A\�;�-�)�I4=�K�I4@:/�L�¨¯/�;�/�7"+A/�=Z+Aj4L@HI^;!La@";!L4p�/�7HLaP^D89mCmC�N�L�95@:/�La)�GH)�La/�LMJ�+4;>/�7HL�La=`GH/!Pg;!La/Mp�+A@"J�N"L 9c\F@HI4)�LMJ%9m-EB";bLMJO95@�K�IF@";!/�),+.95@:/,;a3yXR}=`G:C5La=`La@�/�+A/�I4),;E=?+.P`@HI4/�D�+A@:/8/�I�95=`G:C5La=`La@:/�/�7HLM;bLt;!La=?+o@�/!9<Ka;a3c~

5 7

Page 26: ^] I4=`GLa/b9c/b9cIF@ ]dI4='= 95/ / LaL4eqyang/221/pddl.pdf1 _ @ *-. */ , / a 9 "! #%$"&(' *)

�P �@ �$ �� �

±51´³�U�K�I4/�/2Q�@"J:)�LaD*;apª�_)!9<+A@��*La/�/!C5La)Mpª�*BH/!C5BH7"+A@ q�)�IACXpª+A@"J �4+A='LM;�x>La@"JFCcLa).3?{>= 68),+A@";}C5I4\�e�QS�Cn+o@H@:9c@H\O(*I4=?+h9c@Z-0I4)_/�7HL�(*La|4L�C5I4GH=`La@:/�+A@"JO�_La@"K�7H=?+o)�j495@H\`Io-�S[C<+A@H@:95@H\�U4P¯;!/�La=?;a3d1.W4W )H3

±"5o³�Q�3M�8+A)�)�La/�/MpM(�3A]d7H)b9n;b/!9<+A@";!I4@�p4f�3a�H)!95LMJ:=?+o@�p4��3Ak�IAC<J:La@�p:]�3.�*D�IFjrp � 3mU"3MS[La@:N"La)�/�7:P4pA��3AU4BH@�p+A@"J�(�3:��L�C<J�3�{�]�S8��S B";!La)Mu°;E=?+A@:B"+.CXp�yX|4La),;T9cIF@ 7"3°²:~,3�6�LMK�7H@:9<Ka+.Cd�8LaG�I4)�/�W4�oVX²4WAVX²4µ4J�pH{>@:95V|4La)�;}95/TP�IA-d��+4;b7:9c@H\F/�I4@�p�(*LaG"+A)�/�=`La@�/*IA-�]dIF=`GHBH/�La)zU�K�9cLa@"K�LO+A@"Jlq�@H\o9c@HLaLa)b9c@H\�pªs>Ih|FLa=tN�La)1MWFW )H3[Q�|A+.9mC<+AN:C5L`|49<+`��6>S�-0)�I4= D4='- � *� ��+A/ �'A�D Z 2'5 Z 73*45@O> ?"�K4A�&E" Z �E�E= 3

±°�o³ �.95= �§C5P�/�7HL4p_��)�La@ q�/ ��9cIF@:9 p[��IAC<+A@"JH+ k>9iCXp��8I4N�La)�/ �oI�;!LaGH7�p�(2+A@��2+A7H@�p_]d)�+.95\^�*@HI4N:C5I¯K�jrpU4/�La|FLa@?f%9c@:/�I4@�pAQ>Cm9<K�9n+�S �La)�L �4p:U�K�I4/�/��8L�9mCmC5P4p"fl+A@:BHL�Cn+���L�C5I�;!I"p:+A@"J ��BHLa=`L�9"��+A@H\"3"S§)�I¯JF95\4P7"3 ²HeO687HLO=?+A@:B"+.C�+A@"J�/�BH/�IF)!9<+.CX3�6�LMK�7H@:9nKa+hC��8LaG�I4)�/O]8fg{>V!]�U4VXW 5oV�1 )4²Hp8]8+A)�@HLa\A95L^f�L�CmCcIF@{>@:95|4La),;}95/!P4pª1.W4W 5H3

± 7F³v��3H®�3 ]�C<+A)�j�3�s�La\�+o/!95I4@�+F;[-X+.9mCcBH)�L43�RX@Oxz3"k2+.CmC<+.95)�Lv+o@"J �H3:f%9c@HjFLa)Mp:LMJF9c/�I4),;ap��>ao\ ��_�� /F] � � 1S�� � 3 � 3apHG"+A\4LM; 54W4���¯� 5 5H34S[C5La@:BH= S§BHN:Cm9n;b7:9c@H\ ]dI4)�G�I4),+A/b9cIF@�p¯s>LaD���I4)�j�p¯s>��p�1MW �hY 3

± )o³v��3�]dBH)�)b9cL2+A@"J�Q�3H6ª+o/�L43���VXS�C<+A@�e�/�7HL*I4G"La@ZG:C<+A@H@:95@H\?+A),K�7:95/�LMK�/�BH)�L43���% 18� � _0������ /218�@�����`\ �0/F_��Mp) 5¯y,1A~,e 7:W��¯Y4µHp4s>IA|4La=�N"La)�1.W4WH143

±°µo³v��3"q§)�IACXp �H3"x>La@"JFC5La)Mp"+A@"JO(�3Hs*+AB�3�{�f ]�S>e�Q�;!I4BH@"JO+A@"JOK�I4='G:CcLa/�L2GH)�I¯K�LMJ:BH)�L2-0I4)d7:95La),+A)�VK�7:9<Ka+.Cª/,+4;bj�V0@HLa/!D8I4)�j�G:C<+A@H@:95@H\"3_RX@ * %na@_��� /F]�� /21S� �� a /?�*�>a /���� *b� � /2/2�4/4\ �03 18�0-3ap4G"+o\4LM;5 7:W�� 5 ) 7�p �ABH@HLO1MW4W 7"3

±��.³v(*)�LaD flKa(*La)�=`I4/�/M34�8La|F9n;bLMJ`s89<;!G`fl+A@:B"+.CX3�6�LMK�7H@:9<Ka+.Cr�ELaG"I4)�/dµ 7 5Hpa�d+.C5L*]dI4='GHBH/�La)dU�K�95La@"K�L(*LaG"+A)�/�=`La@:/Mp�1MW4Y4YH3

±°Yo³v(*)�LaD fgKa(*La)�=`I4/�/M3�Q�x�LaBH)!9<;!/b9nK�qd;!/b9c=Z+A/�I4)z-0I4)`f^LM+o@";!V0La@"JH;�Q*@"+.C5P¯;}9<; 95@ S[C<+A@H@:95@H\"3�R}@* % a@_���� / 18�*%�/F� 18� a /3���� a /?� �*%'�0/F_�� a /���� * �`� / /2�4/4\ �03 18�*- 3���p G"+A\4LM;21 7+5��r1 7�W pH1MW4W4µH3

±°Wo³vq>3�S[LMJ:@"+AB:C5/M3`U4P:@:/�7HLM;}9���95@H\gG:C<+A@";�/�7"+A/2K�I4@:/,+.95@�+4K�/!95I4@";*DE9c/�7�K�IF@�/�L�¨H/�VXJ:LaG�La@"J:La@�/�L���LMK�/,;a3 a - ��) 1S� 18� a /3������/218�)� ��� \ �*/3_ �.p 7Hy67H~,e � )4µ��¯� ��5HpH1MW4YFYH3

±51M²o³vq>3�S[LMJ:@"+AB:C5/M3�Q2(2®�e�q�¨¯G:C5I4)!95@H\�/�7HL�=�9<JHJFCcLZ\4)�IFBH@"J^N�La/!D�LaLa@ U�6��8RTSEUg+A@"J�/�7HL?;T9c/�B"+A/!95I4@Ka+.C<K�B:C5B";a3>RX@ * %na)_�� "�3 1�� / 16�� a /?�*�+a / * %��4/F_*� �!��� 3 an���/Fa �b���o]@\ � � � ��%'� 3 �*/21S� 18��a / � /F] � �o���3?a /2�4/4\Fp:G"+A\4LM;�� 5 7��¯�4� 5 p"1MW4YFWH3

±5141´³v(2+A@���L�C<Jl+A@"J ��)�La@gq§/ ��95I4@:9X3v6E7HL2­"),;!/>C<+.D�IA-d)�I4N"I4/b9nKa;�yT+ZKa+.CmC�/�I?+A)�=?; ~,38RX@ * %na@_�� "� 1��� � 16�� a /?�*�>a /����,p:G"+A\4LM;�1M² 7 5���1M² 7 ��p�1MW4W 7�3

±51*5o³v(2+.|F9nJ���9mC5j495@";a3 * %n��_018��_���� * �`� / /2�4/4\ , � ��18�0/F] �4/4\ 1�� �� �`� 3�3 ��_�������� *b�`� /2/ �,/'\ *b� %n��] �`\ -�3f�I4)�\:+A@��2+oB:-�=?+o@H@gS�BHN:Cm9<;!7HLa),;´p�RX@"KAp�1MWFY4YH3

5 )