using abstraction for planning in sokoban - webdocs cs ualberta

16

Upload: others

Post on 09-Feb-2022

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

�������������� ������� �������������������� � �����!�"�$#%�'&��������

(*),+�-�.�/1032,4,562879/:+<;�5>=?,@A@ 0�734,2�;B)�CD.8;B2�/1EB28;GFIHJEB280LKM0�7

NPO:QSR�TVUXW�O:Y�U�Z"[]\�Z3W�QD^DUX_`Ybadc8eJ_`OJYDeJOf�Yb_`ghO1TXiV_`Ukj'Z"[mlonqpIO1TVU9R

r]s8W�Z3YtUXZ3YBub\�R"YSR"sbRdv�w3xzy�r]{|"}"~��L�m���h�����t�h�3�"���%�h���8}"�"�8}��D�L���h������}h�����3�3��}M�V�3}

�����J�J�L�S�"�3�d� OJ^DTX_`i�UX_`e�iVO�RLTXe1� �SR"i�pIO:OJY iV^DeJeJOJiVi�[A^bn�[¡Z�T]a3R"W�OJi�n`_`¢hO�\��bOJiVi�R"Ybs\��DOJe1¢3O:TXiJuLpb^8U�iVOJO:W�i£UXZopIO]Z�[bn`_`W�_¤UXO�sPg3R�n`^bO�_qY¥a3R"W�OJiMiV^De1�*R�i�x�Z¦R"YSs*c��bZ3a"_§uR�YSs¥Qb^b¨:¨Jn`OJiMiV^be9� R"i�c8Z"¢hZ3pbR"YB©�ª¦UX�bO:T�UXOJe1�DYb_q«t^bOJi�R�TXO�YDOJeJOJiViXRLTVj¬UXZ�R�QbQ8TXZhR"e9�UX�DOoQIO1TV[¡Z"TXW�R�YbeJO�UX�bR�U]�8^DW�R"YDi]R�e1�D_`OJghO­_`YdUX�bOJiVO­�SRLT9s�sDZ"W�R"_`YbiJ©hv��b_`i�QbR"QIO:TO:®8QDnqZ�TXOJi�^DiV_qYDa QDnqR"YbYD_`Yba R"i�R�Y¯R�n`UXO1TXYSR�UX_`ghO¦QDTXZ"pbn`OJWd°�iVZ3n`g�_`Yba¬[AT9R�W�O:±�Z�TX¢d[¡Z"Tc�Z3¢hZ"pSR"YB©L²�TXOJg�_qZ"^bi�R�UVUXOJW�Q8UXi,UXZ­O:®8Q8TXOJiVi�c�Z3¢hZ"pSR"Y¥R�iMR�QbnqR�YbYb_`YDa¦R�QbQDnq_`e�RLUX_`Z3Yn`O�s¥UXZ¦QIZtZ�TmQIO:TV[¡Z�TXW�R"Ybe:O]TXOJiV^Dn`UXiJ©3l¦pDi�UVT9R"e:Umc8Z3¢3Z3pSR�Y¥_qi�_`YtUVTXZ�sD^DeJO�s*R"imR­YbO:±QDn<R�YbYD_qYDa³[¡Z�TXW³^Dn<RLUX_`Z3Y´Z�[�UX�bO¥sDZ"W�R"_`Y£©Dv��DO¥R"QbQ8TXZhR�e1�µR�pbi�UVT9R�e:UXi�Rdc8Z3¢3Z3pSR�YQ8TXZ3pbn`OJW>_qYtUXZ­TXZtZ3W�imR�YSs¬UX^bYbYDOJn`iJ©"v��b_`imR"n`n`Z�±­im[AZ"TmUX�bO�sDOJe:Z3W�QIZ3iV_¤UX_`Z3Y Z"[DUX�bO�bR�T9s _`YD_`UX_qR�nDQ8TXZ3pbn`OJW¶_`YtUXZ�iVO:ghO:T9R"n8iV_`W�Qbn`O:TmiV^DpD°�QDTXZ"pbn`OJW�iJuLO�R�e1� Z"[S±­�D_qe9�de�R�YpIO¦iVZ3n`ghO�s'O:·�eJ_`OJYtUXn¤jt©8v��bOPO1®DQIO1TX_qW�O:Y�U9R�nbTXOJiV^Dn`UXi�iV�DZ�±¸UX�SR�U�UX�bOPR�pbi�UVT9R�e:UX_`Z3Y�bR"iPUX�bO QIZ"UXOJYtUX_qR"n�[AZ"T*R"Y%O:®8QIZ3YDOJYtUX_qR"n�TXO�sD^De:UX_`Z3Y%_`Y%UX�DO³iV_`¨JOdZ�[�UX�bO iVO�R�TXe9�iVQbR"eJO¥O:®8Qbn`Z�TXO�sB©

¹ ºb»o¼I½,¾¬¿ À*Á�¼,ÂX¾o»

à 0 ? 71+¡ÄX/:+AH�Ä10"287:HJEGEB2DÄ @ 03)G/1.µ+AÅ´Æ,7103Ä1Ä1+AÇ80dÆ£0"79ÈÉ.D71ŵ28;BHL0d+A; ÊD2�Å´03Ä¬Ä ? HJE 2DĠ˦E,0"Ä:Ä¥28;B)˦E,0"HJÌD0�7JÄ�Í Ã .tÎ�0�ÇD0�734�ÈÉ.D7ÏÄ9.DÅ´0%/XÎ�.�Ð�Æ @ 2hÑ80�7¯ÊD28Å´0"Ä @ +AÌ806Ò³.¸2�;£)>FSEB.8Ê8+Ó4�.87´Æ ?BÔ�Ô�@ 0"Ä@ +AÌ80'FS.DÌ8.DÕB2�;m4,28Æ,Æ,7:.D2DHJE,0"Ä�ÕB2DÄ903)%.D;GEB0 ? 7:+AÄ9/1+¡H�Ä10"2�7JHJE�Ä90"0�ÅÖ/:.µÕ£0'.�È @ +AÅ´+q/:0")�Çt2 @A? 08Í× .87G0LØ,28Å¯Æ @ 0D4¦/:E,0ÙÄ9032�7JHJE¶0LKM.871/G7:0"Ú ? +A7103)Û/1.>Ä9. @ ÇD0ÜFS.DÌ8.DÕB2�;¶Æ,7:.8Õ @ 0"Å´ÄG+A;BHL7:0"2DÄ903Ä0LØIÆ£.D;,0�;b/:+A2 @<@ ÑÛά+q/:E¶/1E,0Ù)I+<ÝÏH ?,@ /XÑÛ.�È�/1EB0ÞÆ,7:.8Õ @ 0"Åàß átâ�ͬã ÕSÇS+A. ? Ä @ ÑD4oÎP2�+</1+A;,Ê ? ;D/:+ @HL.8Å´Æ ? /10�7JÄ�Õ�0"H�.8Å´06ä3åtÐÓÈÉ. @ )æÈ�2DÄX/:0�7�+AÄ';,.�/�/:E,0%Õ�0"Ä9/�ÎP2hÑ6/:.æ28)B)I7103Ä1Ä�/1E,+¡Ä�Æ,7:.8Õ @ 0"ÅGÍç 0�Îz2�Æ,Æ,7:.D2DHJE,0"Äo2�7:0¥;,0�03)I0")µ/1.´)I0"2 @ ά+</1EGÄ ? HJE%EB2�7J)µ)I.8ŵ28+<;BÄ"4bάE,0�7:0*E ? ŵ2�;£Ä¦Ä9/1+ @<@Æ£0"79ÈÉ.D71ÅÖÅ ? HJE�Õ£0�/9/:0�7¬/:EB2�;è/1E,0�Õ�0"Ä9/¥0LØI+¡ÄX/:+<;BʯÆB71.DÊ87J2�ŵÄ�Íé @ 2�;,;,+A;,Ê>H�2�;zÕ£0Ù2êÆ£.tÎ�0�71È ?,@ 2 @ /10�7:;B2�/1+AÇ806/:.êEB0 ? 7:+AÄ9/1+¡HÜÄ9032�7JHJEmÍ × .87G0LØ,2�Å´Æ @ 084

E ? Å´28;BÄo28710¬ÇD0�7:Ñ�ÊD.S.S)´2�/¦Æ @ 2�;,;B+<;,Ê'+<;µÊb2�Å´0"Ä"4D28;B)´;,.�/�Ú ? +q/:0 28ÄoÊ8.S.I)µ2t/¦Ä10"287:HJEB+<;,Ê£Íë E,0 @ 28Ä9/ÏÈÉ0�Î�ÑD0"287:Ä%EB2hÇ806Ä10�0";ìŵ2tíX.87è28)IÇt2�;£HL0"Ä%+<;ì/1E,0ÜH�2�Æ£2�Õ,+ @ +</1+A0"Äè.�È�Æ @ 2�;B;,+<;BÊÄ9ÑIÄ9/10�ŵÄ"4�+<;êÆB2�71/´Ä9/1+AÅ ?B@ 2�/10")îÕSÑÙ/1E,0GÆ @ 2�;,;,+A;,ÊÙHL.DůÆ�0L/:+q/:+<.D;BįE,0 @ )>28Ä�ÆB2�71/¯.8È¥/1EB0(¥ï é F�HL.D;IÈÉ0�7:0�;£HL0dßqä�âÓÍ Ã .tΦ0"Ç80�734"/1E,0"710¬2�7:0�.8; @ Ñ'2 ÈÉ0�Îê7103Ä ?,@ /:Ä�+A;�/1E,0 @ +q/:0�7J2t/ ? 710P2�Õ�. ? /? Ä9+A;,ÊGÆ @ 2�;,;,+A;,ÊG+<;Ù2èÊD2�Å´0�ÐÓÆ @ 2hÑS+<;BÊÏÆ,7:.8Ê87J2�Åðß<ä3ñ,4Lä"ò�âÓÍ é 2�71/ .8È­/1EB0¯0�ØIÆ @ 28;B2t/:+<.D;6ÈÉ.D7/1E,+¡Ä�+¡Ä�/1EB2�/�/1E,0*Æ£0"79ÈÉ.D71ŵ2�;£HL0LÐV)I7:+<ÇD0�;¯28Ä1Æ£03H�/­.�ÈMŵ2�;SÑ�Êb2�Å´0LÐ�Æ @ 2hÑb+A;,ʳ7103Ä9032�7JHJE'0�K�.D79/JÄ+AÄ'ů.D710ÏH�.8;B) ? HL+AÇ80µ/:.æÄ1E,.871/9ÐÓ/10"71Åó.DÕIíX0"HL/1+AÇ803Ä%ôÉ+ÓÍ 08ÍA4�άEB2�/'ά+ @A@ ŵ28Ì80%28;¸+<Å´ÆB2DH�/'+A;/1E,0P;,0�Øb/�/:. ? 7:;B2�Å´0";D/�õ�4h7J2t/1EB0�7]/1EB28; @ .8;,Ê8Ðk/:0�7:ÅöÊ8.D2 @ Ä"Í3ïV;¯Ä1+<;BÊ @ 0LÐV2�Ê80";b/]Ä9032�7JHJEm4b÷´øDùLú1û÷´û�ühýLþ�H�2�;GÕ�0�HL.8;£Ä9+¡)I0�7:0")è28ĬÄ1+<Å´Æ @ 0�Æ @ 2�;BĬ28;B)G2�7:084I2�7:Ê ? 28Õ @ Ñ84b/1E,0�Å´.bÄX/¥Ä ? H�H�0"Ä:ÄXÈ ?,@Æ @ 28;,;,+A;,Êÿ+¡)I0"2¸/1.ÿŵ2�ÌD0 +q/JÄÏÎP2hÑî+A;b/1.ÿÊb2�Å´0"Ä��hÆ ?BÔ�Ô�@ 0�Æ,7J28H�/:+AH�08Í�5628H�71.ÙÅ´.tÇ803ÄÏ2�7:0

Page 2: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

Ä903Ú ? 0�;BH�0"Ĭ.8È�Å´.tÇ803Ä�/1EB2�/ 2�7:0d/17:0"2�/103)G2DÄ¥2µÄ1+<;,Ê @ 0D4,Å´.87:0�Æ£.tÎ�0�71È ?,@ Å´.tÇD08Í ë E,0"ÑèH�28;)I7:28ŵ2t/1+¡H�2 @<@ ÑÏ7:0") ? HL0d/1EB0'Ä9032�7JHJE%/:710"0�ÕSÑèHL. @<@ 2�Æ£Ä9+A;,ʵ2µÄ ? ÕIÐk/:710"0�+<;b/:.Ï2µÄ9+A;,Ê @ 0�Å´.tÇ80DÍë E,0Ï+¡)I0"2 E£28Ä�Õ�0�0";ÿÄ ? H"HL03Ä1Ä9È ?,@A@ Ñ ? Ä10")Ù+A;Ù/1E,0%Ä @ +A)I+A;,Ê8Ðk/:+ @ 0ÏÆ ?,Ô"Ô�@ 0æß<ä"åtâ�Í ë Î�. .�ÈP/1EB0ů.bÄX/G0LKM0"HL/1+AÇ80ÙHL.8;£HL0�Æ,/:Ä ? Ä903)ì+A;ì/:E,0ÙFI.8Ì8.DÕB2�;ìÄ1. @ Ç80"7�� û�������� ���Vû��ýÙ28710æÅ´2DHL7:.ů.tÇD0"Ädô§/ ? ;,;,0 @ 28;B)%ÊD.D2 @ Å´2DHL7:.DÄJõ*ß átâ�ÍFS.8ÌD.8ÕB28;Ï+AĬ28;è0�Ø,HL0 @A@ 0�;b/P/10"Ä9/9Ð�Õ�0")%ÈÉ.87¬Æ @ 2�;,;B+<;,ʯ7:0"Ä10"2�7JHJEm4S28Ä�/:E,0�)I.8ŵ2�+A;G+AÄP7:0"HLÐ

.8Ê8;B+ Ô 0")ÿ2DÄ'Õ�0�+A;,ÊÜEB2�7J)¸;,.8/¯.D; @ ÑÜÈÉ.D7¯E ? ŵ28;BÄ�4�Õ ? /µ2 @ Ä1.6ÈÉ.87´2�71/1+��£H�+A2 @ +A;b/10 @A@ +<ÊD0�;BH�0ô�(¥ï9õo2�Æ,Æ @ +¡H�2�/1+A.8;BÄ¬ß átâ�Í8ïV;%FS.DÌ8.DÕB2�;m4�2dŵ28;µ+<;Ï2dŵ2 Ô 0¬EB28Ä�/1.�Æ ? Ä9EÏÄ9/1.D;,0"Ä�ÈÉ7:.8Å /1E,0"+<7H ? 7:710";b/ @ .IH"2t/1+A.8;´/:.')I03Ä9+AÊ8;B2�/103)´Ê8.D2 @B@ .IH�2t/:+<.D;BÄ"Í ë E,0*ÆB71.DÕ @ 0"Å�+¡Ä�)I+qÝÏH ?,@ /¦ÈÉ.87�2'HL.DůÐÆ ? /10"7�ÈÉ.87¦Ä90"Ç80�7J2 @ 7:0"2DÄ9.D;BÄ�+<;BH @<? )I+<;BÊ')I0"2D) @ .SHJÌIĬô�Æ£.bÄ9+</1+A.8;BÄ�ÈÉ71.DŠάE,+¡HJEµ;,.dÊ8.D2 @ ÄX/J2t/:0H�2�;µÕ�0¥7:0"2DHJE,0")BõL4t/1EB0 @ 2871ÊD0PÕ,7:28;BHJE,+A;,ÊdÈ�28HL/1.D7*ô�H"2�;µÕ�0¥.tÇ80"7¬ä"å8åbõ�4 @ .8;BÊ�.8ÆI/:+<ŵ2 @ Ä9. @<? Ð/1+A.8;BÄ�ô�H"2�;'Õ�0�.tÇ80�7]á8å8å*Å´.tÇ80"ÄJõ�432�;B)'2�;'0�ØIÆ£0";BÄ9+AÇ80 @ .tÎ�0�71Ð�Õ£. ? ;B)dE,0 ? 71+¡Ä9/1+¡H­0"Ä9/1+Aŵ2t/:.8734άE,+AHJE @ +<Å´+</:Ä¥Ä10"287:HJEGÄ9Æ�0�03)�Í£FS.DÌ8.8Õ£2�;%ÆB71.DÕ @ 0"ŵÄ�28710d03Ä9Æ�0"H�+A2 @<@ ÑÏHJEB2 @A@ 0�;,ÊD+<;,ʯÕ�0"H�2 ? Ä10/1E,0"Ñ�2�7:0oHL.DůÆ�.DÄ10")³/:. Õ�0¦2DÄ]),+qÝÏH ?B@ /�28Ä]Æ£.bÄ1Ä1+AÕ @ 0DÍ35æ2�;SÑ ÆB71.DÕ @ 0"ŵÄ]28710oH�.8Å�Õ,+<;£2t/1+A.8;£Ä.�È�Φ.D;B)I0"79È ?,@ 2�;B) Ä ? ÕI/ @ 0'+A)I0328Ä"4£28;B)��B;B)I+A;,ʵ/:E,0�Ä1. @A? /:+<.D;Gŵ2hÑG7103Ú ? +<7:0�Ä ? ÕBÄ9/:2�;b/:+A2 @7103Ä9. ? 7:H�0"Ä�� Õ£.8/1E¸ÈÉ.D7'E ? ŵ2�;£Ä'2�;£)ÿHL.DÅ¯Æ ? /10"7:Ä"Í]FS.DÌ8.8Õ£2�;¸EB2DÄ�Õ£0"0�;îÄ1E,.tά;Ù/:.æÕ�0é F é (*Ë��­Ð�H�.8Å´Æ @ 0L/10�ß ��â�ÍSC ? ;BÊ8EB28;,;BÄ��bFS.DÌ8.8Õ£2�;µÄ9. @ ÇD0�7�� û������������Vû�Mý¥+¡Ä�2�Õ @ 0¥/:.'Ä9. @ ÇD0/XΦ.G/1EB+<7J),Ä�.8Èo/1EB0ÏÄX/J2�;B),287:)��8å�ÐÓÆB71.DÕ @ 0"Å /103ÄX/'Ä ? +</10��Gß á,4��tâ�Í ë E,0�7:0´+AÄ�2 @ Ä1. 2�ÄX/:71.D;,ÊCD28ÆB2�;,03Ä90�FS.8ÌD.8ÕB28;îHL.DÅ´Å ? ;,+</XѸάE,.bÄ90GÕ£03ÄX/µÆ,7:.8ÊD7:28Å +¡Ä´Î¬7:+q/1/10�;êÕSÑî2æ7:0"Ä10"287:HJEB0�7άE,.µH�2 @A@ ÄPE,+<ŵÄ10 @ È�.D7¬E,0�7JÄ10 @ È! 8ýJý#"$8ú1ýJý%îß á�âÓÍïV; /:E,+¡Ä�2�71/1+¡H @ 0�Î�0�+<;b/17:.I) ? H�0­2P;,.tÇ80 @ Æ @ 28;,;,+A;,Ê¥2�ÆBÆ,71.b28HJE*/1.¬/:E,0­ÊD28Å´0�.8ÈIFI.8Ì8.DÕB2�;�4

ά+q/:EÛ/1E,0 ÊD.D2 @ .8È .tÇD0�7JHL.8Å´+A;,ÊÞ/1E,0 @ +<Å´+</:2�/1+A.8;Bĵ.8ȳÆB710"Çb+A. ? ĵ2�Æ,Æ,7:.D2DHJE,0"įÕB2DÄ903)î.D;E,0 ? 7:+¡ÄX/:+AHÏÄ10"287:HJE�Í ë E,0�7:0%28710%2�/ @ 0"28Ä9/�/XÎ�.6ÎP2hÑSÄ�/1.67:0�Æ,7:0"Ä10�;b/¯FI.8Ì8.DÕB2�;¸2DÄ�2 Æ @ 2�;IÐ;,+<;Bʯ)I.Dŵ2�+A;m4b28;B)µ/:E,0�7:0*+¡ÄP2'E ? ÊD0 )I+<KM0�7:0�;BH�0 +A;Ï/:0�7:ŴĦ.�È]0LÝÏHL+A0�;BH�ѵգ0�/XΦ0"0�;µ/:E,0�Å�Íë E,0&�B7JÄX/34m;B28+<ÇD0Ï2�Æ,Æ,7:.D2DHJEÞ+¡Ä�/:.�/17J2�;BÄ @ 2t/10Ï2 @<@ /1E,0%Æ,71.DÆ£0"79/:+<03Ä�.�È�/1EB0%)I.8ŵ28+<;Ù/:.62Æ @ 28;,;,+A;,Ê´710"Æ,7:0"Ä10�;b/:2�/1+A.8;mÍ�'Ü0dH"2 @A@ /1E,+¡ÄP/:E,0�"(�<ø)��ÜFS.DÌ8.8Õ£2�;è),.8ŵ2�+A;è7:0�ÆB7103Ä90";D/J2t/:+<.D;mÍ× .87¬+A;BÄ9/:28;BHL0D4B2¯710"Ê ?,@ 2�7PÅ´.tÇ80³+<;6FS.DÌ8.DÕB2�;èÕ£03HL.8Å´03Ä¥2�;�28HL/1+A.8;G+<;G/1EB0�Æ @ 28;,;,+A;,ÊÏ)I.8ÐÅ´28+<;�Í é 710"ÇS+<. ? Ä­0�ØSÆ�0�7:+Aů0";b/:Ä�ÕB28Ä10")%.8;µ/:E,+¡ÄP710"Æ,7103Ä90";b/:2t/:+<.D;µÊ80";,0�7J2t/:0")µÆ�.S.87P7103Ä ?B@ /JÄßqäDäLâ�Í ë E,0�Ä10"H�.8;B)�28Æ,Æ,7:.D28HJE�4,άE,+¡HJE Φ0�ά+ @<@�? Ä10�+A;�/1E,0�ÆB2�Æ�0�734B+¡Ä¬/:.%2�Æ,Æ @ Ñ�2�ÕBÄ9/17J28HLÐ/1+A.8; /:.Ï/1EB0�)I.DÅ´28+<;�4�Ä1.µ/1E£2t/³/1E,0�Æ @ 28;,;,0"7*;,0"0")6.D; @ ÑGÄ1. @ Ç80�/:E,0�Ä1+AÅ¯Æ @ 0"7³28ÕBÄX/:7:2DH�/:0")Æ,71.DÕ @ 0�Å�Í*'Þ0�H"2 @A@ /1E,+¡ÄP/:E,0%ø,+Lþ��kú1øDù-�¬FS.DÌ8.8Õ£2�;è),.8ŵ2�+A;mÍ£ã ? 7¥28ÕBÄX/:7:2DH�/*FS.DÌ8.8Õ£2�;%7:0�Æ,Ð7103Ä90";D/J2t/:+<.D; ? Ä903Ä 2%Æ,7:0�Æ,7:.IHL0"Ä:Ä1+<;,ʵÆBEB28Ä10�/:.è)I03HL.8Å´Æ�.DÄ10�/:E,0'Æ ?BÔ�Ô�@ 0¯+<;b/1.%/XΦ.Ï/XÑbÆ�0"Ä.�ÈP.8ÕIíX03H�/:Ä�.�ú1û3ût÷�þÏ2�;B) �0/*��ý%�¤þ�Ím(�/�/1E,0Ï28ÕBÄ9/17J28H�/ @ 0�ÇD0 @ 4M/1E,0µÅµ2 Ô 0µ+AÄd7:0") ? HL03)æ/:. 2Ê87J2�Æ,EÞ.�Èo7:.S.8ÅµÄ @ +A;,Ì803)6ÕSÑ / ? ;,;,0 @ Ä"Í ë E,0´71.S.DŴij2�7:0�/17:0"2t/:0")Þ28Ä1+%�<ø8ù32$+Jû%4SýLþ�Í ë E,0�ÑEB2hÇ80µ2�Õ£ÄX/:7:2DH�/�ÄX/J2t/:0"Äd/:EB2t/�Å´.I)I0 @ /1E,0"+<7�+A;b/10"71;B2 @ HL.D;*�BÊ ? 7:2�/1+A.8;mÍ ë E,0µÆ @ 28;,;,+A;,Ê628HLÐ/1+A.8;BÄ"4IάE,+¡HJEG28710d0"Ä:Ä10�;b/1+¡2 @A@ ѵŵ2DHL7:.DĦ.�È�710"Ê ?,@ 2�7¬FS.8ÌD.8ÕB28;%Å´.tÇ803Ä�4S7:0LÈÉ0"7¦/:.´Å¯.tÇS+A;,Ê´2ÄX/:.8;,0dÈÉ7:.8ÅÖ.D;,0�.8Õ,íX0"H�/'ô�71.S.DÅÖ.87¬/ ? ;,;,0 @ õP/1.Ï2�;B.�/1EB0�734I7:2�/1E,0"7P/1EB28;�Ä1+AÅ¯Æ @ ÑèÆ ? Ä1E,+<;BÊ.8;,0¯ÄX/:.8;,0�/:.è28;æ28)hí92DHL0";D/ ÈÉ710"0'Ä:Ú ? 2�7:08Í é @ 28;,;,+A;,ÊÏ+¡Ä ),.8;,0¯2t/*/:E,+¡Ä*E,+AÊ8EÞ2�ÕBÄ9/17J28HL/1+A.8;@ 0"Ç80 @ 4mάE,+¡HJEÙEB28Ä'2�Å ? HJEÿÄ1ŵ2 @A@ 0"7�Ä9032�7JHJEÜÄ1ÆB28H�08Í�-�ÑÜÄ9Æ @ +</9/1+A;,Ê /:E,0µÆ,7:.8Õ @ 0�Å +<;b/:.62@ .IH�2 @ HL.8Å´Æ�.8;,0";b/¬ô�Å´.tÇ80"Ä]ά+</1E,+A;µ2*7:.S.8ÅÏõ�28;B)¯2*Ê @ .DÕB2 @ HL.DÅ´Æ£.D;,0�;b/¬ôÉÅ´.tÇ803Ä]Õ�0L/XÎ�0�0";71.S.8ŵÄd2�;£)6/ ? ;,;,0 @ ÄJõ�4�/:E,0µ+A;,+q/:+A2 @ Ä9032�7JHJEÞÄ1ÆB28H�0�+¡Ä³/17J2�;£ÄXÈÉ.D71Å´0")æ+<;b/:.�2GE,+A0�7J2�7JHJESÑ�.�ÈÄ9ŵ2 @A@ 0�7�Ä9Æ£28HL03Ä�4h0328HJE'ά+</1E´2dHL.D717:0"Ä1Æ£.D;B)I+A;,Ê*7:0") ? H�/:+<.D;'+A;�/:E,0¬Ä9032�7JHJE�0LKM.871/�7103Ú ? +<7:0")mÍë E,0�2�Æ,ÆB71.b28HJEÏ+¡Ä¥Ä1+<Å´+ @ 287P/1.65���ý�ú1øtú:ù75*��ù:ø)�98;:¯ß <hâ�Í

= v��bOPUXOJi�UoiV^D_`UXO¬_`ioR�g3R�_`n<R�pbn`O*R�U­�tUVUXQ�> ?�?L®8iVZ3¢hZ"pSR�Y£© n`eJiJ© W�_`U�© O�s8^*?�®DiVZ"¢hZ3pbR"YB© �tUXW�n§©

ñ

Page 3: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

ïV;%. ? 7�28Æ,Æ,7:.D28HJE�4�/1EB0³28ÕBÄX/:7:2DH�/�Æ @ 28;,;,+A;,ʯÆ,71.DÕ @ 0�Å +AÄPÄ1. @ Ç803) ? Ä1+<;,Ê�/1EB0³Ä9/:28;B),2�7J)Æ @ 28;,;,0"7 ëA@�é @ 28;6ß ò�âÓÍIã ? 7o+A;,+</1+¡2 @ 7103Ä ?,@ /:Ħ2�7:0¥Ç80"71Ñ�0�;BH�. ? 7J2�ÊD+<;BÊB4�Ä1E,.tά+<;BÊ'2�Ä ? ÕBÄ9/:2�;,Ð/1+¡2 @ 7:0") ? HL/1+A.8;�+<;�/1E,0PÆ @ 2�;B;,+<;BʳÄ10"287:HJE�0�K�.D79/�7:0"Ú ? +A7103)�ÍhïV;'0LKM0"HL/"4t/:E,0PÄ9032�7JHJE'Æ,7:.8Õ @ 0�ÅEB28ĬÕ�0�0"; Ä9Æ @ +</*+<;b/:.´/XΦ.µÅ ? HJE Ä9ŵ2 @A@ 0�7¥Ä10"2�7JHJE,03Ä%.,2 @ .SH"2 @ ÆB710"Æ,71.IH�0"Ä:Ä9+A;,Ê´Ä9032�7JHJEG28;B)2�Ê @ .DÕB2 @ Ä10"287:HJE�Íë E,0'7:0�ŵ2�+A;B)I0"7*.8È�/1E,0¯ÆB2�Æ�0�7³+¡Ä Ä9/17 ? H�/ ? 7:0")62DÄ¥ÈÉ. @<@ .tÎ¥Ä%.£ïV; /1EB0�;,0�ØS/³Ä10"H�/:+<.D;6Î�0

+<;b/17:.I) ? H�0µ/1E,0G)I.8ŵ28+<;¸.8È FS.8ÌD.8ÕB28;mÍ]FS03H�/1+A.8;ÿòæÄ ? Ŵŵ2�7:+ Ô 0"Ä'. ? 7'Ê80�;B0�7J2 @ Æ @ 2�;B;,+<;BÊÈÉ7:28ů0"Φ.D71Ì´ÈÉ.D7 FS.DÌ8.8Õ£2�;è28;B) FS0"HL/1+A.8;B�µÆ,7:.tÇS+A)I03Ĭ)I0L/J2�+ @ Ä*2�Õ�. ? /¥. ? 7¬;,.tÇ80 @ 2�ÕBÄ9/17J28HL/710"Æ,7103Ä90";b/:2t/:+<.D;µ/1.�/1EB0³Êb2�Å´08Í,FS03H�/:+<.D;�<'Æ,7103Ä90";b/:Ä�0LØIÆ�0�7:+<Å´0�;b/J2 @ 7103Ä ?B@ /JÄ�28;B)èFI0"H�/:+<.D;á¯H�.8;b/:28+<;£Ä¬HL.8;£H @A? Ä9+A.8;£Ä�28;B)G+A),0"28Ä�ÈÉ.D7PÈ ? 71/1E,0"7¬Î¦.D71ÌMÍ

C D�EGFIH�¾KJ­¾ML;N�»POì¾KQRN�Â1»

FS.8ÌD.8ÕB28;Ï+AÄ�2¯Ä9+A;,Ê @ 0*Æ @ 2hÑD0�7�ÊD2�Å´0³HL7:0"2t/:0")µ+A;èCb2�Æ£2�;Ï+A;%/:E,0³0"2�7 @ ÑGäS�,TDå8Ä"Í ë E,0³Æ ?,Ô"Ô�@ 0HL.8;£Ä9+¡ÄX/JÄo.8È]2�Å´2 Ô 0 Î¬E,+AHJEèEB28Äo/XÎ�.'/XÑSÆ�0"Ħ.�È]Ä:Ú ? 2�7:0"Ä�.D+A;B2DH�HL03Ä1Ä1+AÕ @ 0VUoø����Mþ%W%/Bøtú1ýLþ³28;B)28H�H�0"Ä:Ä9+AÕ @ 0X��Y�VýLú���û�úèþ%W%/Bøtú1ýLþ�ͦFS0"Ç80�7J2 @ þ��Vû��ýLþ 2�7:0G+A;,+</1+¡2 @A@ ÑêÆ @ 28HL03)î.D;>Ä1.8Å´0�.�ȳ/1EB0+<;b/10"71+A.87ÏÄ:Ú ? 2�7:0"Ä"Í ë E,0"710 +¡ÄÏ2 @ Ä1.Ù2Û÷µø� /1EB2�/%H�28;>ÎP2 @ Ìê2871. ? ;B)êÕSÑîÅ´.tÇS+<;,ÊÜÈÉ7:.8ÅE,+AijH ? 717:0�;b/¥Æ�.DÄ1+q/:+<.D; /1.%28;SÑG2D)hí928H�0�;b/¥ÈÉ7:0�0�+A;b/10�7:+A.87¥Æ�.DÄ1+q/:+<.D;mÍM([ZJú1ýJý¯Æ£.bÄ9+</1+A.8; +¡Ä*28;+<;b/10"71+A.87dÄ:Ú ? 2�7:0'/:EB2t/d+AÄd;B.�/d.SH"H ? ÆB+<03)æÕSÑ 0�+</1EB0�7�2�ÄX/:.8;,0¯.87 /1E,0´Åµ2�;�Í�ï�Èo/1EB0�7:0�+¡Äd2ÄX/:.8;,0�;,0LØS/*/:.Ï/:E,0�ŵ28;æ2�;B) /1E,0�Æ£.bÄ9+</1+A.8;6Õ�0�EB+<;B)6/1E,0´Ä9/1.8;B0'+¡Ä¥ÈÉ7:0�0D4B/:E,0�;æ/1E,0�Å´28;H�2�;ÙÆ ? Ä9EÙ/:E,0%Ä9/1.8;B0´/1.�/1E£2t/�ÈÉ7:0�0ÏÄ:Ú ? 2�7:08Í ë E,0%Å´28;Ùů.tÇD0"ijÈÉ.D71ÎP2�7J)6/:.�/1E,0%+<;,+</1+¡2 @Æ£.bÄ9+</1+A.8;ÿ.8ÈP/1E,0GÄX/:.8;,0DÍ ë E,0%Ê8.D2 @ .8È�/:E,0GÊD2�Å´0µ+¡Ä�/:.æÆ ? Ä9Eÿ2 @<@ /1E,0GÄX/:.8;,03Ä�/:.ÞÄ1.8Å´0Ä9Æ�0"H�+\�£H¥Å´2871ÌD0")�+<;b/:0�7:+<.D7�Æ£.bÄ9+</1+A.8;BÄoH�2 @A@ 0")&Dû3ø��£þ%W-/Bø�ú1ýLþJÍ × +<Ê ? 710�ä¥Ä1E,.tÎ¥Ä�28;¯0�Ø,2�Å´Æ @ 0.�È�2´FI.8Ì8.DÕB2�;èÆ,7:.8Õ @ 0�Å�Í

]M^`_ ��aS� ²�TXZ3pDnqO:Wcbed�_`Y*UX�DO]i�U9R�YSsDR�T9sGfSg­QDTXZ"pbn`OJW¶c�Z3¢hZ"pSR�YPUXOJi�U�iV^b_¤UXO3©�v��DO]iV_¤®¥a"ZhR"n�iX«t^SRLTXOJiRLTXOPUX�bO¬W�RLTX¢hO�s�Z3YbO:i¦RLU­UX�bO�TX_`a3�tUoOJYbs�Z"[�UX�bO¬W�R"¨:O3©

ò

Page 4: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

ã ;,0'.8È�/1E,0¯Å´.DÄ9/ +A;D/:0�7:0"Ä9/1+A;,ÊÏÈÉ032t/ ? 7103Ä*.8ȦFS.8ÌD.8ÕB28;m4BάEB+AHJEæH�.8;b/17:+AÕ ? /103Ä¥/:.èÕ�.�/:E+q/JĬEB2�7J)I;,03Ä1Ĭ28;B)è+q/JĬգ032 ? /XÑD4,+¡ÄP/1E,0�ÆB7103Ä90";BHL0d.�ÈG 8ýJøh ��<û3ù72�Í�( ),0"28) @ .IHJÌÏ7:0LÈÉ0"7:Ä�/:.´28;? ;BÄ1. @ Çh28Õ @ 0¬Æ£.bÄ9+</1+A.8;m48άE,0�;¯/1EB0�7:0¬+AÄ­2�/ @ 0328Ä9/­.8;,0¥Ä9/1.D;,0P/1E£2t/oH�28;´;,0�ÇD0�7�Õ�0¥Æ ? Ä1E,0")�/:.2dÊ8.D2 @ Ä1Ú ? 28710DÍ ë E,0"710¥28710Pŵ2�;SÑ�/XÑSÆ�0"Äo.�È�)I0"2D) @ .IHJÌIÄ�+A;ÏFS.8ÌD.8ÕB28;m4tÈÉ7:.8Å /:E,0*Ä1+<Å´Æ @ 0"Ä9/"4άE,+AHJE�2tKM0"H�/�.8; @ Ñd.8;B0oÄX/:.8;,0D4�/:.³Ä1.8Å´0­ÇD0�7:Ñ³Ä ? ÕI/ @ 0�Õ @ .IHJÌh2D)I0"Ä"4L/:EB2t/�H�28;�+A;bÇD. @ Ç80­Åµ28;bÑÄX/:.8;,03ĦÄ:H�2�/9/10"7103)Ï.tÇD0�7­/:E,0³Î¬E,. @ 0 Æ ?,Ô�Ô"@ 0DÍ Ã ? ŵ2�;BÄ�άE,.´HL7:0"2�/10dFS.8ÌD.8ÕB28; @ 0"Ç80 @ ÄoÈ ?,@<@ Ñ0LØIÆ @ .8+</'/1EB+AÄ�Æ,7:.8Æ�0�71/XÑÞ.8Ȭ/1E,0èÊD2�Å´0µ/:.æ.DÕI/:28+<;ÿ)I+<ÝÏH ?,@ /´Æ,71.DÕ @ 0�ŵÄ�Í�ã*ȧ/10";m4�/:E,0GÌ80�Ñ+AÄ:Ä ? 0�+A;ÞÄ1. @ ÇS+<;,Êè2%Æ,7:.8Õ @ 0"Å +¡Ä /1.�)I0L/:0"HL/dÄ1.8Å´0'Æ�.�/:0�;b/1+¡2 @ )I0328) @ .IHJÌIÄ 28;B)6)I0"Ç80 @ .8ÆÞ2ÄX/:7:2�/10�ÊDÑ�/1EB2�/�2hÇ8.D+A)BÄ*/:E,0�Å�ÍmïV;¸H�.8Å´Æ ? /:0�7�Æ,7:.8ÊD7:28Å´Ä"4�/1E,0ÏÚ ? 2 @ +</XÑ6.8Ȧ/:E,0Ï)I0"2D) @ .SHJÌ)I0L/:0"H�/:+<.D;¸2 @ Ê8.87:+</1E,Å�)I0"H�+AÄ1+<ÇD0 @ Ñæ2tKM0"HL/:Äd/:E,0Ï0�ݵH�+<0";BHLÑÞ.�È�/1E,0%άE,. @ 0´Æ,71.DÊ87J2�Å�Í�ï�Ȭ2)I0"2D) @ .IHJÌê+AÄG)I0L/:0"HL/10")m4­/1EB0�;¶/:E,0ÞÄ10"287:HJE>/17:0�0æ+AÄ%Æ,7 ? ;,0")¶28;B)Û/1EB0æÄ9032�7JHJEÛ0LKM.871/%+AÄÄ9+AÊ8;,+��£H"2�;b/ @ Ñ67:0") ? H�0")�Í�FS+<;£HL0µ/:E,0�7:0µ+AÄ�;,. Ê8.b2 @ ;,.I)I0µ+A;Ü/1E,0%Ä ? ÕI/:710"0µ.�Ȭ2 )I0"2D) @ .SHJÌÄX/J2t/10D4S/1E,+¡ÄPÌS+<;£)è.8È]Æ,7 ? ;,+A;,ʯ+AĬ2 @ ÎP2hÑIÄPÄ12�ÈÉ08ÍSïV; HL.8;b/:7:2DÄX/34D+<È�2´)I0328) @ .IHJ̵0LØI+¡ÄX/JÄ¦Õ ? /¥+AÄ;,.�/¥)I0�/10"HL/103)�4I/1EB0�7:0�+AÄ�/:E,0�),2�;BÊ80�7�/:EB2t/P/1EB0�HL.87:7:0"Ä1Æ£.D;B)I+A;,Ê�;B.S),0³Î¬+ @A@ Õ£0d0�ØSÆ£2�;B)I03)2�;B)�/1EB0¥Ä9032�7JHJE¯H�.8;b/1+A; ? 0"Ä�+A;¯/1E,0¬7:0"Ä ?,@ /1+A;,Ê�Ä ? ÕI/17:0�0�ÈÉ.87¦2 @ .D;,ʳ/1+Aů0D4�ά+</1Eµ;,.d7:0"Ä ?,@ /JÄ�ÍïV;æFS.8ÌD.8ÕB28;m4I/1EB0�Ä1. @A? /1+A.8; @ 0�;,Ê8/1E6H"2�; Õ�0�)I0%�B;,0")6+<;�/XÎ�.ÏÎP2hÑSÄ�.,0"+q/:E,0�7*/1E,0�Å´28;

ů.tÇD0�Å´0�;b/JÄM.87�Ä9/1.D;,0�Æ ? Ä1E,0"Ä]H�28;³Õ�0oH�. ? ;b/103)�Í�( Ä�2¬HL.D;BÄ10"Ú ? 0�;£HL084J/:E,0�7:0o28710�/XÎ�.P/XÑbÆ�0"Ä.�È£.DÆI/1+Aŵ2 @ Ä1. @A? /1+A.8;£Ä�Í Ã .tΦ0"Ç80�734hÄ9+A;BHL0P/:E,0¬)I.8ŵ28+<;¯+AÄ�E£2�7J)'0";,. ? ÊDEm4tÎ�0P),.8;i� /�7103Ú ? +<7:0.8ÆI/:+<ŵ2 @ Ä1. @A? /:+<.D;BÄ�ôÉ;,.D7¥)I.µE ? ŵ2�;BÄJõ�j�ø)Yk%Ä1. @A? /:+<.D;èά+ @<@ )I.BÍ ë E,+¡ÄP7:0 @ 2tØ,2t/:+<.D;è2 @A@ .tÎ¥Ä? Ä�/1.Ï)I0%�B;,0�+AÅ´Æ£.D79/J2�;b/¬0"Ú ? +AÇh2 @ 0";BHL0d7:0 @ 2t/:+<.D;BÄ9EB+<ÆBÄ�Õ�0L/XÎ�0�0"; @ .IH�2 @ H�.8;*�£Ê ? 7J2t/:+<.D;BÄ�.�È/1E,0¥Åµ2 Ô 0�/1EB2�/ @ 0"28)�/:.�2�Ä9+AÅ´Æ @ +��£H"2t/1+A.8;´.8È£/:E,0¬+<;B+q/:+A2 @ Æ,7:.8Õ @ 0�Å�Í�( @<@ /1E,0¥03Ú ? +<Çt2 @ 0";BHL03Ä)I0-�B;B0")ì+A;ì/:E,+¡Ä�ÆB2�Æ�0�734¦Î¬EB+AHJE Ä ? ÆBÆ£.D79/è/1E,0Ù+A;D/:71.I) ? H�/1+A.8; .�È�/:E,0ÞÌD0�ѶHL.D;BHL0"ÆI/�.�È2�ÕBÄ9/17J28HL/�Ä9/:2t/:0"Ä"4t+<ÊD;,.87:0­/:E,0P.8ÆI/:+<ŵ2 @ +</XÑ�HL.D;B)I+</1+A.8;mÍhï�È�),0"Ä1+<7:0")�4h;,.D;IÐ�.8ÆI/:+<ŵ2 @ Ä1. @A? /1+A.8;£ÄH�2�;GÕ�0�+<Å´Æ,7:.tÇ803)%+A;G2´Æ�.DÄ9/9Ð�Æ,7:.IHL0"Ä:Ä1+<;,Ê�Æ,EB2DÄ90DÍ

l m�noN�»*» Â9»Gp Â9»PH�¾KJ­¾ML;N�»

'¶E,+ @ 0´Åµ2�;SÑ6)I.8ŵ28+<;BÄ /:EB2t/�2�7:0 ? Ä903)æ2Dij2%/103ÄX/1ÐÓÕ�0")æÈÉ.87�H ? 717:0�;b/dÆ @ 2�;,;,+A;,Ê�Ä9ÑIÄ9/10"Å´Ä2�7:0ÏÚ ? +q/:0èÄ1+<Å´Æ @ 084�FS.8ÌD.8ÕB28;Ü+¡Ä�7:0"H�.8ÊD;,+ Ô 0")Ü+A;¸/1E,0%Æ @ 28;,;,+A;,ÊæH�.8Å´Å ? ;B+q/XÑÙ28Ä�2 EB2�7J)Æ @ 28;,;,+A;,Êî)I.Dŵ2�+A;mÍ�Ò³0";,0�7J2 @ Æ ? 71Æ�.DÄ106Æ @ 2�;B;,0�7JÄ%H"2�;,;,.8/%)I0"2 @ ά+</1E¶/:E,0æÊb2�Å´062t/G2Ä12�/1+¡ÄXÈ�2DH�/1.D71Ñ @ 0"Ç80 @ Í�C ? ;BÊ8EB28;,;BÄ�28;B)ÿFIHJEB280LKM0�7'Æ�.8+A;b/'. ? /�/1E,0 @ +AÅ´+q/:0")¸Æ�0�71ÈÉ.87:ŵ2�;BH�0/1EB2�/dÄ9/:2�/10LÐ�.�ȧÐÓ/1EB0LÐV2�71/*È ?,@A@ Ñ62 ? /1.Dŵ2t/103)6Æ @ 2�;B;,0�7JÄ H"2�;Ü28HJE,+A0�ÇD0'+A;ÜFS.DÌ8.8Õ£2�;ÿß Ttâ�Ímã ;B0;,0"H�0"Ä:Ä12871ÑÛÄX/:0�Æz+<;z+<Å´Æ,7:.tÇS+<;,Êî/1E,0ÜÆ @ 2�;,;B0�7JÄ%��Æ£0"79ÈÉ.D71ŵ28;BHL06+A; FS.8ÌD.8ÕB28;¶+AÄ%/1. ? Ä1028),)I+</1+A.8;£2 @ )I.DÅ´28+<;,Ð�Ä1Æ£03HL+��£H¯ÌS;,.tÎ @ 03)IÊ80D4�Ä ? HJE¸2DÄ�)I0"2D) @ .IHJÌ6)I0�/103H�/1+A.8;�Í ë E,+¡Ä�+AÄdάESÑΦ0µHJE,.bÄ90�/1. ? Ä10 × 2�E,+A0�Å -�2DH�HJE ? Ä�� ëA@�é @ 2�;�4�.D;,0´.�È­/:E,0´ÈÉ0�Î�Æ @ 2�;,;,0"7:Ä /:EB2t/�2 @A@ .tÎ¥Ä? Ä90"7:Ä�/:.´Æ @<? Ê�Ð�+<; @ +<Õ,7J2�7:+A0"Ħ/1EB2�/*HL.D;D/J2�+A;G),.8ŵ2�+A;IÐVÄ9Æ�0"H�+\�£H³HL.I)I0Ïß òtâ�Íë E,0dÅ´28+<;6FS.DÌ8.DÕB2�;IÐVÄ1Æ£03HL+��£H¥È ? ;BH�/:+<.D;BÄP/1E£2t/¬Î¦0�+AÅ´Æ @ 0�Å´0�;b/103)�)I0"2 @ ά+q/:Ei.

qsr 0328) @ .IHJÌt.bFS+A;BHL0d)I0328) @ .IHJÌSÄo2tKM0"H�/¦/1E,0dÄ10"2�7JHJE´0LÝÏHL+A0�;£HLÑ84bÎ�0¥+<;b/:71.I) ? H�0")Ï2�Ú ? +AHJÌ/103ÄX/³/1.�)I0L/:0"HL/ @ .IH�2 @ )I0328) @ .IHJÌGÆ£2t/9/:0�7:;BÄ"Í('Ü0 ? Ä90¯C ? ;,Ê8EB28;,;BÄ���)B2t/:28ÕB28Ä1084�άE,+¡HJEHL.D;D/J2�+A;BÄ´2 @A@ /1E,0 @ .IH�2 @ ),0"28) @ .IHJ̸ÆB2�/9/10"71;£Ä'/:EB2t/ÏH"2�;>.SH"H ? 7´+A;>2u<tØ��Ù2�7:0"2êß á�âÓÍ( @ /1E,. ? Ê8E'/1E,+¡Ä�0�;,E£2�;BH�0�Å´0�;b/�Î�2DÄ]28;�+<Å´Æ�.871/:28;D/�ÊD28+<;�4�/:E,0¦ÆB71.DÕ @ 0"Åö.�È£)I0328) @ .IHJÌIÄÎ�2DÄ�È�2�7PÈÉ7:.8ÅÖÕ�0�+A;,ÊÏÄ1. @ Ç803)�Í

q à 0 ? 71+¡Ä9/1+¡H�0�Çt2 @A? 2�/1+A.8;GÈ ? ;BHL/1+A.8;i.�FS+A;BHL0�/:E,0�E,0 ? 7:+AÄ9/1+¡HdÈ ? ;BHL/1+A.8; EB2DÄ*2´Õ,+AÊÏ+AÅ´ÆB28HL/.8;Ù/:E,0%Ú ? 2 @ +</XÑÞ.8È�/:E,0%Ä10"287:HJE¸2 @ Ê8.D71+</1EBÅG4�Î�0 ? Ä10")¸2æH ? Ä9/1.DÅ E,0 ? 7:+AÄ9/1+¡H�4�H"2 @A@ 03)v ��B÷µø��Vù75*��w84BάE,+¡HJE�+AĬ2 @ Ä1. ? Ä903)%+A;$�*û)������w6���Vû�Mýµß átâ�Í

Page 5: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

q Fb/:2�/10¯0"Ú ? +AÇt2 @ 0�;BH�0,. ë E,0¯),0-�B;,+</1+A.8;Þ.�Èo03Ú ? +<Çt2 @ 0";BHL0�.�ÈoÄ9/:2t/:0"ij2 @ Ä9.èEB28ij2%Ä1Æ�0"HL+¡2 @+<Å´Æ�.871/:28;BHL0�+<;ÞFI.8Ì8.DÕB2�;�Í × .D7 + @A@<? Ä9/17J2t/:+<.D;m4�Φ0�ÆB71.tÇS+¡)I0�/:E,0�ÈÉ. @<@ .tά+<;BÊÏ0LØ,2�Å´Æ @ 08ÍF ? Æ,Æ�.DÄ106/:EB2t/è/XΦ.>ÄX/J2t/:0"ÄÏE£2hÇ806+¡)I0�;b/:+AH"2 @ ÄX/:.8;,0æH�.8;*�£Ê ? 7J2t/:+<.D;BÄµÕ ? / )I+<K�0"710";b/ŵ2�;GÆ£.bÄ9+</1+A.8;BÄ"Í,F ? Æ,Æ�.DÄ10 È ? 79/:E,0�7P/:EB2t/�/1EB0³Åµ28;GH"2�;%ÎP2 @ Ì´ÈÉ7:.8Å .8;B0 Æ�.DÄ1+q/:+<.D;Ï/:./1E,0%.�/1EB0�73Í ë E,0´/XΦ. Ä9/:2�/10"Ä'2�7:0¯03Ú ? +<Çt2 @ 0";D/%ô ? ; @ 0"Ä:Ä�Î�0´Ä10�0"Ìæ.DÆI/1+Aŵ2 @ Ä1. @A? /1+A.8;£Ä/1EB2�/ Å´+A;,+<Å´+ Ô 0�Å´28; Å´.tÇ80�Å´0";D/JÄ:õLÍY'Ü0�ÎP2�;b/¥/1.%0�;BH�.S),0�/1EB+AÄ*710 @ 2�/1+A.8;BÄ1E,+AÆm4£2DÄ¥+</@ 0328),Ä­/1.'28;µ+<Å´Æ,7:0"Ä:Ä1+<ÇD0¬7103) ? H�/:+<.D;µ.�È�/:E,0*Ä10"2�7JHJEµÄ9Æ£28HL0DÍ × .87­/:E,+¡Ä­7:0"28Ä1.8; ëA@]é @ 2�;Î�2DÄ�0�;BEB2�;BH�0")¯Î¬+</1E´È ? ;BHL/1+A.8;B2 @ +</XÑ�Ä ? HJE´/:EB2t/�/:E,0¥Æ @ 2�;,;B0�7­;,.tÎÛÄ ? Æ,Æ�.871/:Ä­H ? ÄX/:.8ÅÈ ? ;BHL/1+A.8;BÄP/:.ÏHJE,0"HJÌ´/:E,0�0"Ú ? +AÇt2 @ 0�;BH�0dÕ£0�/XΦ0"0�; ÄX/J2t/:0"Ä"Í

ë .¬0";,EB2�;£HL0­Ä1ÑSÄ9/10"Å Æ�0�71ÈÉ.87:ŵ2�;BH�084J/1EB0­Æ @ 2�+A;³Æ @ 28;,;,+A;,ʬ710"Æ,7:0"Ä10�;b/:2�/1+A.8;³.�È,FS.8ÌD.8ÕB28;m4άE,+AHJE�HL.D;BÄ1+AÄ9/:Ħ.�È]/17J2�;BÄ @ 2�/1+A;,Ê�/:E,0dÊD28ů0³Æ,7:.8Æ�0�71/1+A0"Ä�+A;D/:.¯2�Æ @ 2�;,;B+<;,Ê @ 2�;,Ê ? 2�ÊD0 Ä ? HJE28Ä´F ëAx ï é F�4]ÎP28Ä�2 @ Ä9.67:0�Æ @ 2DHL0")ÿÕbÑÙ26Æ£2�71/1+¡2 @A@ Ѹ2�Õ£ÄX/:7:2DH�/103)Ù710"Æ,7:0"Ä10�;b/:2�/1+A.8;m4�H"2 @A@ 03)�0/*��ý%�¬FI.8Ì8.DÕB2�;�Í�ïV;ÿ/ ? ;,;,0 @ FS.8ÌD.8ÕB28;¸Î¦0è+A),0�;b/1+<ÈÉÑÿ2 @A@ /1E,0è/ ? ;B;,0 @ įÆ,7103Ä90";b/�+A;ÿ/1EB0Å´2 Ô 0µ2�;£)æ/:71032t/d/1EB0�Å 2�/'2GE,+<ÊDEÜ28ÕBÄ9/17J28H�/ @ 0�ÇD0 @ ô�2DÄ�Ä1E,.tά;æ+A;ÿFS0"HL/1+A.8;X�bõLÍ�( @A@ /1EB0Æ£.bÄ1Ä1+<Õ @ 0¥H�.8;*�BÊ ? 7J2t/1+A.8;£Ä�.8ÈM2³/ ? ;,;,0 @ 2�7:0P7103) ? HL03)�/:.�2³ÈÉ0�ÎÛ2�ÕBÄ9/17J28HL/�Ä9/:2�/103Ä­2�;B)�Æ @ 2�;IÐ;,+<;BÊ�28HL/1+A.8;BÄ¦Ä ? HJEÏ28Ä­Æ£2�7:Ìb+A;,Ê'2'ÄX/:.8;,0¥+A;BÄ1+A),0 2�/ ? ;,;,0 @ .D7o.D7oÆ ? Ä1E,+A;,Ê'2�ÄX/:.8;,0*2DHL7:.DÄ:Ä2'/ ? ;,;,0 @ 28710d)I0-�£;,0")�Íë E,0�28Õ£.tÇD0'Å´.I)I+\��H�2t/:+<.D;BÄ @ 03) /1.�2èÆ,71.DÊ87J2�Å /1EB2�/³+¡Ä³Å ? HJEÞů.D710�0LÝÏHL+A0�;b/³/1EB28;

Æ @ 28+<;�/:7:28;BÄ @ 2�/1+A.8;�ά+q/:E6;,.%),.8ŵ2�+A;IÐVÄ9Æ�0"H�+\�£H�È ? ;BH�/:+<.D;BÄ"Í Ã .tÎ�0�ÇD0�734I/1EB0'Ä9ÑIÄ9/10"Å H�. ?,@ );,.�/µ)I0"2 @ ά+q/:Eê0"Ç80�;êÅ´.S),0�7J2t/10 @ ÑÿH�.8Å´Æ @ 0LØÿÆ ?BÔ�Ô�@ 0"Ä"Íoã ; @ Ѹ.8;,0èÈÉ71.DÅ /1E,0 Ä9/:28;B),2�7J)/10"Ä9/¯Ä ? +</10è.�ÈG�8å ÆB71.DÕ @ 0"ŵÄ'H�28;¸Õ£0GÄ9. @ ÇD0")ÜÕSÑæ/:E,+¡Ä�28Æ,Æ,7:.D28HJE�Í ë E,0 @ +<Å´+</:2�/1+A.8;Bį2�7:0Æ,7103Ä90";b/´Õ�0"H"2 ? Ä1084o0�Ç80";î/:E,. ? Ê8Eê/1E,0æ28Æ,Æ,7:.D2DHJEî)I0"2 @ ÄÏά+q/:Eê/:E,0�È�28HL/1.D7:į/:EB2t/Ïŵ2�ÌD0FS.8ÌD.8ÕB28;èEB287:)m4I+q/¥+¡Ä¬;,.8/¥Æ£.tÎ�0�71È ?,@ 0";,. ? ÊDE%/:.Ï)I.µ+</¥0LÝÏHL+A0�;b/ @ Ñ8Í ë E,0�Ä9032�7JHJEGÄ1ÆB2DHL0d+AÄ7103) ? HL03)ÜÕbÑ6/1E,0µ/ ? ;,;,0 @ ŵ28H�71.bÄ�4�Õ ? /�/1E,0µ7:0") ? H�/1+A.8;Ù+¡Ä�;,.8/�Õ,+<Ê�0";,. ? ÊDEÜ/1. 28HJE,+A0�ÇD0710328Ä1.8;B28Õ @ 0PÆ�0�71ÈÉ.87:ŵ2�;BH�08Í85 .D710".tÇ80"7"4t2 @ /1EB. ? ÊDE´Ä1ŵ2 @A@ )I0328) @ .IHJÌIÄ­2�7:0¥)I0L/:0"HL/10")m4�/1EB0�7:02�7:0*ŵ2�;SÑ @ 2871ÊD0�7�)I0"2D) @ .IHJÌ´ÆB2�/9/10"71;£Äo/:EB2t/¬Ä9/1+ @<@ EB2hÇD0¥/1.¯Õ�0³)I032 @ /�ά+</1E�Í*'Þ0 /1E,0"710�ÈÉ.87:0;,0�03)I0")�2¬Å´0�/1E,.I)d/:.¬È ? 71/1E,0"7�7:0") ? H�0�/1EB0oÄ9032�7JHJE�Ä9ÆB2DHL0­28;B)�)I0"2 @ ά+</1E'),0"28) @ .IHJÌIÄ�Å´.87:00LÝÏHL+A0�;b/ @ Ñ8Í × .D7�/1EB+AÄ�710328Ä1.8;ÙÎ�0µ+<;b/17:.I) ? H�0")ÿ2�;,0"Î 710"Æ,7:0"Ä10�;b/:2�/1+A.8;Ü.�Ȭ/1EB0%)I.8ŵ28+<;m48y+�þ��Óú1ø8ù%�A�MûS28ûh+Jø�B4�άE,+AHJE ? Ä10"Ä�28ÕBÄX/:7:2DH�/:+<.D;æ;,.8/d.D; @ Ñ�ÈÉ.87d/ ? ;,;,0 @ ÄdÕ ? /'2 @ Ä1.èÈÉ.87d/1EB07103ÄX/¬.�È�/1EB0�Å´2 Ô 0DÍ

z {|L~}8¼I½�N�Á�¼,ÂX¾¦» Â1»PHP¾MJ­¾ML�N�»

8y+�þ��Óú1ø8ù%�(�Mû�2Dû,+Jø)'+¡Ä�2P;,.tÇD0 @ 2�;£) EB+<ÊDE @ Ñd2�Õ£ÄX/:7:2DH�/103)*7:0�ÆB7103Ä90";D/J2t/:+<.D; .8ÈD/:E,0­ÊD28Å´0�/1EB2�/710"Æ @ 2DHL03Ä�/1EB0¦+A;,+</1+¡2 @ E ? Ê80�Ä9032�7JHJE�Ä9ÆB2DHL0¦ÕbÑ�Ä10�ÇD0�7J2 @ Ä1ŵ2 @A@ 0"7]Ä10"287:HJE�Ä1ÆB28H�0"Ä"Í ë EB0�Ä10"287:HJE+AĬ)I03HL.DůÆ�.DÄ10")%+<;b/:.¯Ä10�ÇD0�7J2 @�@ .IH�2 @ Ä9032�7JHJE,0"Ħ2�;B)è.8;,0³Ê @ .8Õ£2 @ Ä9032�7JHJEmÍSïV;%.�/:E,0�7PÎ�.87J),Ä"4/1E,0 +<;,+</1+¡2 @ Æ,7:.8Õ @ 0�Å +¡Ä�/17J2�;£ÄXÈÉ.D71Å´0")¯+A;b/1.'Ä10�ÇD0�7J2 @ Ä1+<Å´Æ @ 0�7¦Æ,7:.8Õ @ 0�ŵĭ+A;%2�),+<ÇS+¡)I0LÐV2�;B)IÐHL.8;£Ú ? 0�7�ŵ2�;,;B0�73Í�ïV;´/1E,+¡Ä­28Æ,Æ,7:.D28HJE¯Æ @ 2�;,;B+<;,Ê�+¡Ä­)I.D;,0¥2t/�/:E,0¥Ê @ .DÕB2 @I@ 0�ÇD0 @ 4�+<;µ2dÅ ? HJEÄ9+AÅ´Æ @ 0"7 28ÕBÄX/:7:2DH�/*Ä1ÆB28H�08Í ë .Ï.DÕI/:28+<;�/:E,0'2�Õ£ÄX/:7:2DH�/1+A.8;�.8È�/:E,0'ÆB71.DÕ @ 0"Å�4I/1E,0e�B7JÄX/ Ä9/10"Æ+AÄ*/1.èÆ£0"79ÈÉ.D71Å 2�;6+A;,+</1+¡2 @ 2�;B2 @ ÑIÄ1+AÄ*.�È�/1EB0�ŵ2 Ô 0�/1E£2t/�)I0"H�.8Å´Æ£.bÄ903Ä¥+</ +A;b/1.%.DÕIíX0"HL/:Ä*.�È/XΦ.µ/XÑSÆ�0"Ä�.�ú1û3ût÷�þ'2�;£)X�0/*��ý%�¤þ�Í ë E,0';B0LØS/¥/XÎ�.%Ä ? ÕIÐ�Ä10"HL/1+A.8;BÄ¥Æ,71.tÇS+¡)I0�)I0�/:2�+ @ Ä*2�Õ�. ? /Å´2 Ô 0�2�;£)èÆB71.DÕ @ 0"Å )I03HL.8Å´Æ�.DÄ1+q/:+<.D;mÍ

<

Page 6: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

�9�0� ���Y�,�$�����,�(�u�K�(���������(�

ë E,0¦H�.8;BH�0�ÆI/�.�ÈB2¬/ ? ;,;,0 @ Å´2DHL7:.¥ÎP28Äm+A;b/17:.I) ? HL03)�+A;V�*û)������w����Vû��ý³ß átâ�Í"ïV;�/1E,0PH ? 7:7:0�;b/Ç80�7JÄ1+<.D;î.�Èd. ? 7µÆ,71.DÊ87J2�Å�4�άE,+¡HJEê+¡ÄÏH�2 @<@ 0")c���¡þ�ø�4­/ ? ;,;,0 @ ĵ.8È��Ü28ÕBÄX/:7:2DH�/¯/XÑSÆ£03ÄÏ2�7:0)I0L/:0"H�/:0")�4�+A;BH @<? ),+<;,Ê�Ä1.8Å´0'/:71+AÇS+A2 @ .8;,03Ä*/:EB2t/dEB2hÇD0 @ 0�;,Ê8/1EÙå,Í × +<Ê ? 710µñèÄ9E,.tΥij2%ÈÉ0�Î0LØ,2�Å´Æ @ 0"ÄP.8È]/ ? ;,;,0 @ Ä"Í

]M^`_ ���B��� RLTX_`Z3^bi�UkjDQIO:i�Z"[�UX^bYDYbOJn`iJ©

ë ? ;B;,0 @ Ä�2�7:0�Ä1+<Å´Æ @ 0P.8ÕIíX03H�/JÄ�/:EB2t/­)I.D;i� /�;,0"0")�Å ? HJE¯Æ,7:.IHL0"Ä:Ä1+<;,Ê£Í ë EB0�+A7�ÆB71.DÆ£0"79/:+<03ÄH�2�;ÜÕ�0µ.8ÕI/J2�+A;,0")Þά+q/:E @ +</9/ @ 0ÏH�.8Å´Æ ? /J2t/:+<.D;B2 @ 0�K�.D79/3Í�'Þ0Ï)I0%�B;,0Ï28ÕBÄX/:7:2DH�/�ÄX/J2t/:0"ÄdÈÉ.D7/ ? ;,;B0 @ ÄÏ/:EB2t/ HJEB2�7J28HL/10"71+ Ô 0�/:E,0�+A7GÄ9/1.D;,0æH�.8;*�BÊ ? 7J2t/1+A.8;�ÍK'¶E,+ @ 0Ü2¸/ ? ;,;,0 @ H"2�;¶EB2hÇD0Å´28;SÑ%HL.D;*�BÊ ? 7:2�/1+A.8;Bijô§/:E,0 @ .D;,Ê80"7P+q/¥+¡Ä�4S/:E,0 @ 2�7:Ê80�7¦/1EB0�; ? Å'Õ�0�7¬.�È�HL.D;*�BÊ ? 7:2�/1+A.8;BÄ�+</H�2�;ÜEB2hÇD03õ�4M/:E,0µ; ? Å'Õ�0�7'.�ȦÆ�.DÄ:Ä1+<Õ @ 0Ï2�Õ£ÄX/:7:2DH�/�ÄX/J2t/103Äd+AÄ�Ç80�7:ÑæÄ1ŵ2 @A@ Í r 0�Æ�0�;B),+<;,Ê .D;+q/JÄo/XÑSÆ�084,2'/ ? ;B;,0 @ H"2�;%E£2hÇ80*Õ�0L/XÎ�0�0";æäd2�;B)èò'Æ�.DÄ:Ä1+<Õ @ 0 @ 0�Êb2 @ 2�Õ£ÄX/:7:2DH�/�Ä9/:2�/103Ä�4I28ĦÎ�0Ä9E,.tÎ +<;Þ/1E,0¯ÈÉ. @<@ .tά+<;BÊè0�ØI28Å´Æ @ 0DÍmFS+<;£HL0¯/1E,0 @ 0�;,Ê8/1EÜ.�Ȧ/1E,0¯/ ? ;,;,0 @ +A;Þ/1E,0 @ .tΦ0"79Ð @ 0�ȧ/HL.87:;,0"7¬+<; × +AÊ ? 7:0'ñ¯+AÄ*åµ2�;B)è/1EB0�7:0LÈÉ.87:0�;,.ÏÄ9/1.D;,0�H�28;GÕ�0�/:0�Å´Æ£.D7:2871+ @ Ñ&"Bøtú�2Dý7 G+A;BÄ1+A),0+q/34�/1E,0"710´+¡Ä�.8; @ Ñ6.D;,0µ2�ÕBÄ9/17J28HL/dÄ9/:2�/10¯/1E£2t/�/1EB0´/ ? ;,;B0 @ H"2�;ÜEB2hÇ80D4mHL.87:7:0"Ä1Æ£.D;B)I+A;,ÊÏ/:./1E,0�Ä9+</ ? 2t/1+A.8;êάE,0�;>+</¯+¡Ä¯0�Å´ÆI/XÑ8Í ë E,0Þþ��kú:ø��\�5���/ ? ;,;B0 @ +A;ÿ/1EB0 ? ÆBÆ£0"79Ð�71+AÊ8Eb/´HL.87:;,0"7.�È × +AÊ ? 7:0GñæH�2�;îEB2hÇ80%/XΦ.æ28ÕBÄ9/17J28H�/´ÄX/J2t/:0"Ä�.]0"+q/:E,0�7¯/1EB0%/ ? ;,;,0 @ +¡Ä¯0�Å´ÆI/XÑÙ.87�/1EB0�7:0+Aij2èÄ9/1.D;,0'Æ£2�7:Ì80")�+A;BÄ1+A),0�+</"ÍMïV;6/:E,0 @ 2�/9/10"7³H"28Ä10�+</³+¡Ä³;,.�/³+<Å´Æ�.871/:2�;b/dάE,0�7:0'0�Ø,28H�/ @ Ñ/1E,0�Ä9/1.8;B0³+¡ÄPÆ @ 28H�0")1�!2 @A@ /:E,0�HL.D;*�BÊ ? 7:2�/1+A.8;BÄ�2�7:0³0"Ú ? +AÇh2 @ 0";b/¬28;B)%/1E,0"Ñ%2�7:0 Å´0"71ÊD0")+<;b/1.Þ/1EB0GÄ:2�Å´0è28ÕBÄ9/17J28H�/´ÄX/J2t/:08Í ë E,0è/ ? ;,;B0 @ +A;ÿ/1EB0 ? ÆBÆ£0"79Ð @ 0�ȧ/ÏHL.87:;,0"7'.�È × +AÊ ? 710�ñEB28ij/:E,710"0´Æ£.bÄ1Ä1+<Õ @ 0µ2�Õ£ÄX/:7:2DH�/�ÄX/J2t/:0"Ä"Í]ã ;,0µ2�ÕBÄ9/17J28HL/�Ä9/:2�/10´+¡Ä�)I0-�B;B0")ÞÈÉ.87d/:E,0µ0�Å´ÆI/XÑ/ ? ;,;B0 @ Í ë E,0�7:0¯+AÄ�2 @ Ä1.è.D;,0µÄX/J2t/:0�ÈÉ.D7³/1E,0µÄ1+q/ ? 2t/:+<.D;ÞάE,0";¸2èÄ9/1.D;,0´+AÄdÆ ? Ä9E,03)æ+A;BÄ1+A),0/1E,7:. ? ÊDE�/1E,0 @ 0�ȧ/ 0";B) .�È�/:E,0�/ ? ;,;,0 @ Í ë E,0 @ 2DÄX/ 28ÕBÄ9/17J28H�/³ÄX/J2t/10'+AÄ*ÈÉ.87*/1E,0¯H�28Ä10�άE,0";2èÄ9/1.D;,0´Î�2DÄ Æ ? Ä9EB0")6+A;BÄ1+A),0�/:E,7:. ? ÊDE6/1EB0µ71+AÊ8Eb/d0�;B)Þ.�È­/:E,0¯/ ? ;B;,0 @ Í ë E,03Ä90 @ 2DÄX/d/XÎ�.2�ÕBÄ9/17J28HL/oÄX/J2t/103Ä�EB2hÇD0P),+qKM0�7:0�;b/oÆ,7:.8Æ�0�71/1+A0"Ä"Í�ïV;´/:E,0A�B7JÄX/oH"28Ä1084t/:E,0*Ä9/1.D;,0¥H�28;µÕ£0¬/J2�ÌD0�;

á

Page 7: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

. ? / /1E,7:. ? ÊDE /1EB0 @ 0Lȧ/d0�;B)æ.8; @ Ñ84�άE,+ @ 0�+<; /:E,0´Ä903HL.8;£)6H�2DÄ90�/:E,0�Ä:2�Å´0¯28H�/:+<.D;æH�28;6Õ�0)I.8;,0³/:E,71. ? Ê8Eè/1EB0�71+AÊ8Eb/¬0�;B)G.D; @ ÑDÍ(¬È§/10"7�H�.8Å´Æ ? /:+<;,Ê6/ ? ;,;B0 @ Ä�4�2 @A@ /:E,0Ï7:0�ŵ2�+A;,+A;,Ê6+A;D/:0�7:+<.D7�Æ�.8+A;D/JÄ'28710µÊD71. ? Æ£03)Þ/1.�Ð

Ê80L/:E,0�7'+<;¸HL.D;,;,03H�/103)ÙHL.8Å´Æ�.8;,0";b/:Ä�H"2 @A@ 03)îú1û3ût÷�þ�Í ë Î�.�Æ£.D+<;b/:Ä�Õ£0 @ .D;,Ê�/1.�/:E,0%Ä:2�Å´071.S.8Å +qÈ­2�;£)è.D; @ Ñ%+<È�/:E,0�7:0�+¡Ä¥2µHL.D;,;,0"HL/1+A.8;�Õ�0L/XÎ�0�0�;G/:E,0�Å /1EB2�/ )I.S0"Ä¥;,.�/*H�71.bÄ1Ĭ28;bÑ/ ? ;,;B0 @ Í('Ü0�),0-�B;,0´2�Õ£ÄX/:7:2DH�/ Ä9/:2�/10"Ä*ÈÉ.87 71.S.DÅ´Ä*+<;æ/1E,0'ÈÉ. @A@ .tά+A;,ÊÏÎP2hÑt.Mã ;,0¯2�ÕBÄ9/17J28HL/ÄX/J2t/10�7:0�Æ,7:0"Ä10�;b/:Ä]2 @A@ /1E,0�71.S.DÅöH�.8;*�£Ê ? 7J2t/:+<.D;BÄ�/:EB2t/�H�28;'Õ�0¦.DÕI/:28+<;,03)�ÈÉ7:.8Åö0"2DHJE'.8/1E,0"7+<;�Ä ? HJEè2�Î�2hѯ/1E£2t/¬;,0�+</1EB0�7¥2�;SѵÄ9/1.8;B0 ;,.D7�/1E,0dŵ2�; @ 032hÇ80"Ħ.87P0";D/:0�7JĦ/1E,0³71.S.DÅóôÉÎ�0Ä12hÑ /:EB2t/�/:E,0"Ä10ÏHL.D;*�BÊ ? 7:2�/1+A.8;BÄ�287106ý3W%/*�§ühø)�<ý-��1õ�Í�'Þ0ÏH"2 @A@ 2G71.S.DÅó/1E£2t/'HL.D;b/:2�+A;BÄ�2�/@ 0328Ä9/*.8;,0�Ê8.b2 @ Ä:Ú ? 2�7:0'26bû"ø)��ú1û"û�÷�Í('Ü0�0"ůÆBEB28Ä1+ Ô 0�.8;£HL0�Å´.87:0�/:EB2t/ /1E,0´)I0-�£;,+q/:+<.D;.�È�2�Õ£ÄX/:7:2DH�/�Ä9/:2�/103Ä­ÈÉ.D7¦7:.S.8ŵÄo28;B)´/ ? ;,;,0 @ Ä�Æ,7:0"Ä10�7:Ç80"ÄoÄ9. @ Çt2�ÕB+ @ +q/XÑ´Õ ? /�;,.8/¦.DÆI/1+Aŵ2 @ +q/XÑ.�È�Ä9. @<? /:+<.D;BÄ"Í

R1R3

T1

T2R2

T3

T0R0

T3

T2R2 R3

R1

R0

T1

T0

R0 R1 R2 R3

LOCAL PROBLEMS

GLOBAL PROBLEM

]M^`_ ���B� l QDTXZ3pDn`OJW���b³w�Z"[¬UX�DOÏUXO:i�U¯iV^D_`UXO���_`i�sDOJeJZ"W�QIZ3iVO�sÙ_`YtUXZ iVOJghO1T9R"nPR�pbi�UVT9R�e:U´iV^DpD°Q8TXZ3pDnqO:W�iJ©�v��bO:TXO�_qi�Z"YbO�a3n`Z3pbR"n­QDTXZ"pbn`OJW R�id±�OJn`noR"i�Z"YbO�nqZteJR"noQDTXZ3pDn`OJW [AZ"T�O�R�e1�6TXZtZ3W´©�oZtZ3W�i­R�YSs�UX^DYbYDOJn`i­R�TXO¥sDO:YbZ"UXOJs�ptjV ÛR"YbsV¡¥u8TXO:iVQIOJe:UX_`ghOJn¤jt©

�9��¢ £y¤���¥§¦0�w�¨�©���,�(�u�K�(�S�ª���0���ã ;BHL0¯/1EB0Ïŵ2 Ô 0´+¡Ä�Ä1Æ @ +</�+A;D/:.�71.S.8ŵÄ�28;B)Þ/ ? ;,;B0 @ Ä�4�/:E,0µ+A;,+q/:+A2 @ Æ,7:.8Õ @ 0�Å�H�28;ÞÕ�0Ï)I0LÐHL.8Å´Æ�.DÄ10")Þ+<;b/:.6Ä90"Ç80�7J2 @ Ä1ŵ2 @A@ 0"7�.8;,03Ä�4m2DÄ�Ä9E,.tά;Ü+A; × +AÊ ? 710µò,Ím(�/�/:E,0ÏÊ @ .DÕB2 @�@ 0�Ç80 @ 42µÄ9032�7JHJEèÆ,7:.8Õ @ 0"Å +¡Ä¬/17J2�;£ÄXÈÉ.D71Å´0")è+A;D/:.Ï2´Ê87J2�Æ,E¸ô0«�¬�­¯®�°"õ�4£Î¬E,0�7:0d/1E,0';,.I)I0"ÄG«~¬­7:0�Æ,Ð7103Ä90";D/¯71.S.DÅ´Ä�2�;B)¸/1E,0G0")IÊD0"ÄV®�°µ7:0�ÆB7103Ä90";D/�/ ? ;B;,0 @ Ä�Í�-�0"Ä1+¡)I0"Ä�/1E,0GÊ @ .8ÕB2 @ Æ @ 2�;B;,+<;BÊÆ,71.DÕ @ 0�Å�48Î�0*2 @ Ä1.�Ê80L/PÄ90"Ç80"7:2 @I@ .IH�2 @ Ä10"287:HJE´Æ,7:.8Õ @ 0�ŵÄ"48.D;,0¬ÈÉ.87¦0"2DHJEµ71.S.8Å�Í ë EB0 HL.DůÐÆ @ 0�ØI+q/XÑÞ.�Ȭ2 @ .IH�2 @ Æ,7:.8Õ @ 0�Å�),0�Æ�0�;B),Ä�.8;ÙÕ£.8/1EÙ/:E,0ÏÄ9+ Ô 0Ï28;B)æ/1E,0%Ä1EB28Æ£0´.�Ȭ2�7:.b.DÅ�Íë E,0 @ .IH�2 @ Æ,7:.8Õ @ 0�Å 2t/1/:28HJEB0")Ü/1.æ/1E,0è.8;,0�Ð�Ä:Ú ? 2�7:0µ7:.b.Dű«�ñ�+¡Ä'Å ? HJEÿÄ1+<Å´Æ @ 0�7�/1EB28;/1E,0G.8;,0�2t/1/:2DHJE,0")Ù/:.æ/:E,0 @ 2871ÊD0"Ä9/�7:.b.DŲ«³òBÍ�'¶EB+ @ 0%/:E,0�HL.8Å´Æ @ 0LØI+</XѸ.�È¥/:E,0G+<;,+</1+¡2 @

Page 8: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

Æ,71.DÕ @ 0�Å +<;BH�710328Ä10"Ä�0�ØIÆ£.D;,0�;b/1+¡2 @A@ Ñ�ά+</1Eµ/:E,0 Ä1+ Ô 0¥.8È�/:E,0*ŵ2 Ô 0848/1E,0³HL.DÅ¯Æ @ 0�ØS+</Xѯ.�È�/1EB0@ .IH�2 @ Æ,7:.8Õ @ 0"ŴĦ+A;BHL7:0"2DÄ90¬0�ØSÆ�.8;B0�;b/1+¡2 @A@ Ѵά+</1Eµ/:E,0 Ä1+ Ô 0*.8È�/1E,0 71.S.DÅ´Äo.8; @ Ñ8ÍS5 .D710".tÇ80�734Ä9+A;BHL0´/:E,0 @ .IH�2 @ HL.8Å´Æ ? /:2t/:+<.D;Ù+AÄ�)I.8;,0µ.D; @ Ñæ.8;£HL084�+q/JÄ�7:0"Ä ?,@ /JÄ�H�28;ÙÕ£0Ï7:0 ? Ä903)Þŵ28;bÑ/1+Aů03Ä¥) ? 7:+A;,ʯ/1E,0�Ê @ .DÕB2 @ Ð @ 0�ÇD0 @ Ä10"2�7JHJEmÍ

³ �i�h��¦�£y¤���¥�¦����´� @ .IH�2 @ Æ,7:.8Õ @ 0�Å ÈÉ.D7­0"2DHJE�7:.S.8Å +¡Ä�/:.�HL.8Å´Æ ? /10*28;B)¯Æ,71.tÇS+¡)I0¬Ú ? +AHJÌ28H�H�0"Ä:Ä�/1.'+<;IÈÉ.D71ŵ2�/1+A.8;´;,0�03)I0")µ2�/oÆ @ 2�;,;B+<;,Ê�/1+Aů0DÍSFI.'2t/­/:E,0 @ .IH�2 @£@ 0"Ç80 @ 4�Î�0*H�.8Å´Æ ? /:0/1E,0PÊ87J2�ÆBE�.�È£28ÕBÄ9/17J28H�/�ÄX/J2t/:0"Ä�.�È,/:E,0P71.S.DÅGÍ × .D7�0"28HJE�2�ÕBÄ9/17J28HL/�Ä9/:2t/:084tÄ1.8Å´0¦ÆB71.DÆ£0"79/:+<03Ä2�7:0�2 @ Ä1.èH�2 @ H ?,@ 2t/103) /:EB2t/�ά+ @<@ Õ�0 ? Ä903) /1.�HJE,03HJÌ�2DH�/:+<.D;æÆ,7:0"H�.8;B)I+</1+A.8;£Ä 2�/³Æ @ 2�;B;,+<;BÊ/1+Aů0DÍ × .87¦+<;BÄ9/:28;BHL0D48ÈÉ.D7¦28;Ï2�ÕBÄ9/17J28HL/¦ÄX/J2t/:0¥Î¦0 Å´+<ÊDED/¦Î�28;D/o/1.'ÌS;,.tÎÛάE,0�/1E,0"7oÎ�0*H�28;Æ ? Ä1Eµ.8;,0PÅ´.87:0¥ÄX/:.8;,0¬+A;b/1.d/:E,0¥7:.b.DÅ /1EB71. ? Ê8Eµ2dHL0"79/J2�+A;�/ ? ;,;,0 @ Íb(¥;,.8/1E,0"7­+AůÆ�.871/:28;b/7103Ä ?,@ /¬.�Èm/:E,0 @ .SH"2 @ HL.DÅ´Æ ? /:2�/1+A.8;è+AÄ�/:EB2t/¥2 @A@ /1EB0dÄ9/:2�/103Äo/:EB2t/*H�.8;b/:28+<; @ .IH"2 @ )I0"2D) @ .SHJÌÆB2t/1/10�7:;BĬ28710�)I0�/10"HL/103)G28;B)è0 @ +<Å´+A;B2t/:0")èÈÉ71.DÅ /1EB0�Ä9032�7JHJEGÄ1ÆB28H�08Íë E,0�ÄX/:0�ÆBĬ.8È�/:E,0 @ .IH"2 @ 2�Õ£ÄX/:7:2DH�/1+A.8;�2�7:0dÄ ? Ŵŵ2�7:+ Ô 0")G28Ä�ÈÉ. @<@ .tÎ¥Ä"Í

µ ¦�¶(��¤�����·§�¸� x .S.8ÅµÄ @ .SH"2 @ é 71.IHL03Ä1Ä1+A;,ÊdS>­TXOJW�ZLghO�sDO�R"s¯iX«t^SRLTXOJi3¹y)>opD^b_`nqs�n`Zte�R"n£W�ZLghOPa"T9R�Qb�Y¹º >oW�RLTX¢�sDO�R"sDn`Zte1¢'eJZ"Yh»Sa"^DT9RLUX_qZ"Ybi3¹¼h>­TX^DYµcb\�\|�§i�UVTXZ"Yba3n¤j�eJZ3YDYbOJe1UXO�s�eJZ"W�QIZ3YDOJYtUXi¯��R"n`a3Z�TX_`UX�DW´uh»bYSs�R"pbi�UVT9R�e:Uoi�U9R�UXOJiG�Él�cw��¹½ >¦s8O:UXO:TXW�_`YbO¦QDTXZ3QIO1TVUX_qO:i¦Z�[mlPcIu,»bYSs�R"pbi�UVT9R�e:UoW�ZLghOJiA�ÉR"e1UX_qZ"Ybi¯��[¡Z�TPl�c,©

ë E,0¬710"Å´.tÇh2 @ .�Èm)I0328)´Ä:Ú ? 2�7:0"Ä�+¡Äo)I.D;,0¥0"287 @ +A0�734�) ? 7:+<;,Ê�ŵ2 Ô 0¥Æ,7:0�ÆB71.IHL03Ä1Ä1+A;,ÊBÍ ë Î�./XÑbÆ�0"ij.8ȦÄ1Ú ? 287103Ä 28710�ŵ2�7:Ì80")æ28ij)I0"2D)�.mFS.8Å´0´Ä1Ú ? 287103Ä 28710¯HL.8Å´Æ @ 0L/:0 @ Ñ ? Ä10 @ 0"Ä:Ä 28;B)Φ0 7:0�Å´.tÇ80è/1EB0�Å ÈÉ71.DÅ /1EB06ŵ2 Ô 0¸ô�08Í ÊBÍA4­/ ? ;,;,0 @ Ä´/:EB2t/%E£2hÇ80�.8;,0 0";B)ÛH @ .DÄ10")BõLÍo(*Ä)I.8;,0�+A;$�*û)������w6���Vû�Mý%ß átâ�4,Î�0�2 @ Ä9.µÅµ2�7:̵/:E,0´þ���û)�ý%¾¯ 8ýJø, �Ä:Ú ? 2�7:0"Ä"4IάE,0�7:0d/1EB0�Å´28;H�2�;¸ÊD. Õ ? /�Ä9/1.D;,0"Ä�H�28;,;,.�/�Õ�0%Æ ? Ä9EB0")ÙÕ�0"H�2 ? Ä10Ï.�È¥)I0328) @ .IHJÌ�Í ç 0LØS/34]Ä9/:2�71/1+A;,Ê�ÈÉ7:.8Å/1E,0�+A;,+</1+¡2 @ Ä9/1.D;,0�HL.8;��BÊ ? 7J2t/:+<.D;%.8È]/:E,0�71.S.DÅG4IÎ�0�HL.DÅ¯Æ ? /10d/:E,0&�<û3ù:ø)��÷µûtütýy�ú1ø3"�5 .�È2 @A@ Æ�.DÄ:Ä1+<Õ @ 0´HL.8;��BÊ ? 7J2t/:+<.D;BÄ*/1EB2�/³/:E,0¯71.S.8ÅóH"2�;ÞEB2hÇ80DÍ�'Ü0µH�2�; ? Ä10'/:E,0 @ .IH�2 @ ů.tÇD0Ê87J2�Æ,E�/:.è)I0�/10"HL/d2 @<@ )I0328) @ .IHJÌGH�.8;*�BÊ ? 7J2t/1+A.8;£Ä¬/1E£2t/³H"2�;6.IH"H ? 7 @ .IH"2 @A@ Ñ�+A; /1E,0¯7:.b.DÅ�Í'Þ0GHL.8;£Ä9+¡)I0�7¯2 @ .SH"2 @ Æ£.bÄ9+</1+A.8;Ù/:.æÕ�0è)I0328) @ .IHJÌ803)Ù+qÈ¥Î�0èH"2�;,;,.8/�H @ 0"287�/:E,0%7:.S.8Å�.�ÈÄX/:.8;,03Ä'.D7"4�0"Ú ? +AÇt2 @ 0�;b/ @ Ñ84�+<È¥/1E,0"710G+¡Ä';,.ÜÆB2�/1Eî+A;ÿ/:E,0 @ .IH�2 @ Å´.tÇD0%Ê87J2�ÆBEÙÈÉ71.DÅ /1EB2�/Æ£.bÄ9+</1+A.8;ê/1.Ü/1EB0G0"Å´ÆI/XÑÿÆ�.DÄ1+q/:+<.D;mÍ¿'Þ0 ŵ2871̸Æ�.DÄ1+q/:+<.D;BÄ ? Ä1+<;,ÊÙ7:0L/:71.DÊ87J28)I0%28;B2 @ ÑIÄ9+¡Ä"4ÄX/J2�71/1+A;,ÊdÈÉ71.DÅ /:E,0¥0"ůÆ,/XѯÆ�.DÄ1+</1+A.8;m4DάE,+AHJEµ+¡Ä�ŵ2�7:Ì803)´28Ä @ 0�Êb2 @ Í8(¬È§/:0�7P2 @A@ /1EB0;ÀMÐoÁ%ÂoÃ�ÀiÄHL.8;��BÊ ? 7J2t/:+<.D;BĬEB2hÇD0�Õ£0"0�;ÞÅ´2871ÌD0")�28Ä*0�+</1E,0"7 @ 0�Êb2 @ .D7 )I0328) @ .IHJÌM4BÎ�0�Ê8.µ/:.Ï/:E,0';,0�ØS/@ 0"Ç80 @ 2�;B)Ûŵ2871Ìê/1E,0>ôªÀ�Å ä3õ�ÐoÁ�ÂoÃ�ÀiÄÞH�.8;*�£Ê ? 7J2t/:+<.D;BÄ%.�+<È�/1EB0�7:0æ+¡Ä%2¸ÆB2�/1E¶ÈÉ7:.8Å /1EB0H ? 7:710";b/dô�ÀÆÅÛähõ�ÐoÁ�ÂoÃ�ÀiÄdÆ£.bÄ9+</1+A.8;%/1.µ2 @ 0�Êb2 @ ÀMÐoÁ%ÂoÃ�ÀiÄd.D7�ôªÀÆŶä3õVÐ#Á�ÂoÃ�ÀiÄdÆ�.DÄ1+q/:+<.D;m4b/1E,0";/1E,0�H ? 717:0�;b/¬Æ�.DÄ1+q/:+<.D;è+¡Ä @ 0�ÊD2 @ /1.S.BÍ�ã*/:E,0�7:ά+¡Ä90D4I+q/¥+¡Ä¬)I0"2D) @ .SHJÌD0")�ÍïV;è/:E,0�;,0�Øb/*Ä9/10"Æm4I/:.µ.8ÕI/J2�+A;%/:E,0�2�ÕBÄ9/17J28HL/¥ÄX/J2t/103Ĭ.�È]/1E,0'71.S.8Å�4IÎ�0d7 ? ;G/:E,0'FBˬË

2 @ Ê8.87:+</1E,Å�4hάE,+¡HJE¯H�.8Å´Æ ? /:0"Ä�/1EB0PÄ9/17:.8;BÊ @ Ñ�HL.8;B;,0"HL/10")¯HL.DÅ´Æ£.D;,0�;b/:Ä�.8ÈB/1EB0 @ .IH�2 @ ů.tÇD0Ê87J2�Æ,EmÍi�¦28HJEÜÄX/:71.D;,Ê @ Ñ6HL.D;,;,0"HL/103)ÜH�.8Å´Æ�.8;,0";D/�Õ�0"H�.8Å´0"Ä�28;Ù28ÕBÄ9/17J28H�/�Ä9/:2t/:08ÍmïV;Ü/:E,+AÄÎ�2hÑD4�0"Ú ? +AÇt2 @ 0�;b/�H�.8;*�BÊ ? 7J2t/1+A.8;£Ä�2�7:0¥Å´0�7:Ê80")�/:.8Ê80�/1E,0"7o+A;b/1.�/:E,0 Ä:2�Å´0*28ÕBÄX/:7:2DH�/oÄ9/:2�/108Í( @A@ )I0328) @ .IHJÌèÄ9/:2t/:0"Ä¥28710dŵ2�ÆBÆ£03)�+<;b/1.%.8;,0�28ÕBÄX/:7:2DH�/*)I0328) @ .IHJÌ%Ä9/:2t/:08Í ë .µÕ�0'2�Õ @ 0d/:.

T

Page 9: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

HJE,0"HJÌÙ28HL/1+A.8;¸Æ,7:0"H�.8;B)I+</1+A.8;£Ä'2t/'/1E,0èÆ @ 28;,;,+A;,Ê @ 0�ÇD0 @ 4�ÈÉ.D7'0"2DHJEÿ2�ÕBÄ9/17J28HL/'ÄX/J2t/:0èÄ1.8Å´0Æ,7103)I+¡H�2t/:0"ÄG2�7:0Þ2 @ Ä1.êH�.8Å´Æ ? /:0") ôkÄ ? HJEz28Ä�Ç8H"2�;ìÆ ? Ä9Ez.8;,0ÞÅ´.87:0ÞÄ9/1.8;B0Þ+A;BÄ1+A)I0Þ/1EB071.S.8Å /:E,7:. ? ÊDEæ0�;b/:7:28;BHL0VÈ�ÇDõLÍ�'¶E,0�;Þ/1EB0¯Çt2 @<? 0´.8È­/1E,03Ä90´Æ,7:0"),+AH"2t/103ij+AÄ~®;«�Éyʵ4�Î�02 @ Ä9. HL.DÅ´Æ ? /10´/:E,0µ7:0"Ä ?,@ /:+<;BÊ�28ÕBÄ9/17J28H�/�Ä9/:2�/10"Ä�2�ȧ/10"7�Φ0´Æ�0�71ÈÉ.87:Åó/:E,0ÏHL.D717:0"Ä1Æ£.D;B)I+A;,Ê28H�/:+<.D;BÄ"4,Ä ? HJE�28ÄPÆ ? Ä9EB+<;,ʵ.D;,0�ÄX/:.8;,0D4IÆ ?,@A@ +A;,ʵ.D;,0�ÄX/:.8;,0D4I0L/:H8Í× .87¬7:.S.8ŵÄ�/1E£2t/¥EB2hÇD0 ? Æ�/1. äS<�;,.D;IÐV)I0"2D)èÄ:Ú ? 2�7:0"ÄPÎ�0�2�7:0 ? Ä ? 2 @<@ Ñè28Õ @ 0d/1.ÏHL.DůÐ

Æ @ 0�/10è/1E,0 @ .IH"2 @ Æ,71.IH�0"Ä:Ä9+A;,Êæ)I03Ä1H�71+AÕ�0")ÿ28Õ£.tÇD08Í Ã .tΦ0"Ç80"7"4�ÈÉ.D7 @ 2�7:Ê80%71.S.8ŵÄ'+q/´+AÄ�;,.8/ÈÉ0"28Ä1+AÕ @ 0´/:.6HL.DÅ¯Æ ? /10Ï2 @<@ /:E,0ÏÆ�.DÄ:Ä9+AÕ @ 0Ï2�ÕBÄ9/17J28HL/�ÄX/J2t/103Ä�Í�ã ? 7�H ? 7:7:0�;b/�Æ,7:.8Ê87J2�ÅóH ? 71Ð710";D/ @ Ñ�EB28;B) @ 0"Ä .8; @ Ñ H�2DÄ903ĥάE,0"710'2 @ 2871ÊD0�7:.b.DÅ +Aij)I+A7103H�/ @ Ñ @ +A;,ÌD0")�/:.è2ÏÊD.D2 @ 7:.b.DÅ�ÍÒ³+<ÇD0�;æ28;æ2�ÕBÄ9/17J28HL/³Ä9/:2�/10'.8È�/1E,0 @ 2�7:Ê80�7:.S.8Å�4Y�£7:Ä9/ Î�0�HJE,03HJÌèάEB0L/1EB0�7dΦ0¯H�28;6Æ ? Ä1E2 ÄX/:.8;,0µ/:.�/1E,0%Ê8.D2 @ 71.S.DÅGÍ�ï�ȬÄ1.B4�Φ0%2DH�H�.8Å´Æ @ +AÄ1EÜ/1E,+¡Ä�28HL/1+A.8;ÿ28;B)Ù)I.8;i� /�H�.8Å´Æ ? /:0Æ,7103HL.D;B)I+</1+A.8;Bį.�È�2�;SѸ.8/1E,0"7µÆ£.bÄ1Ä1+<Õ @ 0 28HL/1+A.8;BÄ"Í ë E,+¡Ä´.8ÆI/:+<Å´+ Ô 2t/:+<.D; @ 0"2D),į/1.¸2ÙÄ1+<Ê8Ð;,+\��H�2�;b/³7103) ? H�/:+<.D;6.�Èo/1E,0 @ .IH�2 @ ÆB71.DÕ @ 0"Å�HL.8Å´Æ @ 0LØI+</XÑ8Ímã*/1E,0"71ά+¡Ä1084�Æ,7103HL.D;B)I+</1+A.8;BÄ*.�È.�/1EB0�7³Æ£.bÄ1Ä1+<Õ @ 0¯28H�/:+<.D;Bij2�7:0'HL.DÅ¯Æ ? /103)�Í ë .%È ? 79/:E,0�7dÄ1Æ£0"0") ? Æ /1E,0´HL.DÅ´Æ ? /:2�/1+A.8;m4�Î�0ÄX/:.87:0 Å´+A;,+<ŵ2 @ )I0"2D) @ .IHJ̵ÆB2�/9/:0�7:;BÄP2�;B)èŵ2tØI+<ŵ2 @�@ 0�Êb2 @ ÆB2�/9/10"71;£Ä�ÍI(¥;SÑÏÆ�.DÄ1+</1+A.8;è/1EB2�/HL.8;b/J2�+A;BÄ*2è)I0"2D) @ .IHJÌ�ÆB2�/9/10"71;æ+AÄ + @A@ 0�ÊD2 @ ÍM(¥;SÑ�Æ�.DÄ1+q/:+<.D;6/1E£2t/ +¡ÄdHL.D;D/J2�+A;,0")�+A;Þ2 @ 0"ÊD2 @ÆB2t/1/10�7:;¯+AÄ @ 0�Êb2 @ Í Ã .tÎÿ/:.dH�.8Æ�0Pά+q/:E @ 2�7:Ê80�71.S.DÅ´Ä�+A;�ÊD0�;,0"7:2 @ +AÄ�Ä9/1+ @<@ 28;�.DÆ£0";¯Ú ? 03ÄX/:+<.D;2�;B)GHL.D;BÄX/:+q/ ? /103Ĭ.8;B0³.8È�. ? 7¬Åµ2�+A;G),+<7:0"HL/1+A.8;BÄ�ÈÉ.D7PÈ ? / ? 7:0�7:0"Ä10"2�7JHJEmÍë .%Ä ? Ŵŵ2�7:+ Ô 084£/1E,0¯.87:+AÊ8+A;B2 @ ÆB71.DÕ @ 0"Å�H�2�;æÕ£0¯2�ÕBÄ9/17J28HL/10")6+<;b/1.è71.S.DÅ´Ä 2�;B) / ? ;IÐ

;,0 @ Ä�Í ë E,0¦+<;b/:0�7:;B2 @ ÄX/J2t/:0o.�È�2¥7:.b.DÅ H�2�;'Õ£0PHL.DÅ¯Æ ? /103)�ÕSÑ�710�/17:.8Ê87J28),0�28;B2 @ ÑIÄ9+¡Ä�28ÄmÆ£2�71/.�Èo/:E,0µÆ,7:0�Æ,7:.IHL03Ä1Ä1+<;BÊèÄ9/:2�ÊD08Í�ã ? 7�Ä1+<Å´Æ @ +AÄ9/1+¡Hµ2�ÆBÆ,71.b28HJE /:. HL.8Å´Æ ? /1+A;,Ê�71.S.8ŵĠ/ ? 71;BÄ. ? /³/1.�Õ�0'/:E,0´Õ£.8/9/ @ 0�;B0"HJÌ +A;ÞÆ�0�71ÈÉ.87:ŵ2�;BH�0èô�Ä10�0µFS03H�/1+A.8;u<8õLÍ Ã .tÎ�0�Ç80"7"4£+q/�ÎP28ij)I.8;B0/1E,+¡ÄoÎP2hÑ�ÈÉ.D7¦Ä1+<Å´Æ @ +¡HL+</XÑ84SÄ9+A;BHL0*+q/�Î�2DÄ�Å´.87:0¥+<Å´Æ�.871/:28;D/o/1.�),0L/10"71Å´+A;,0¬/:E,0*ÇS+¡2�Õ,+ @ +</Xѯ.�È/1E,0'28ÕBÄ9/17J28H�/:+<.D; 2�Æ,Æ,7:.D2DHJE%/:EB2�; +</*ÎP28ÄP/:.Ïŵ2tØI+Aů+ Ô 0�Æ�0�71ÈÉ.87:ŵ2�;BH�08Í�ã ÕSÇS+A. ? Ä @ ÑD4,;,.8/2 @A@ /1E,0ÏÄ9/:2�/10"Ä�H�.8Å´Æ ? /:0")Þ+<;Ü/:E,0´Æ,710"Æ,7:.SH�0"Ä:Ä9+A;,ÊGά+ @A@ Õ�0µ;,0�03)I0")Ù) ? 7:+A;,ÊG2GÆ @ 2�;B;,+<;BÊÄ9032�7JHJEmÍD( Õ£0�/9/10"7�28Æ,Æ,7:.D2DHJE¯Î�. ?B@ )µÕ�0¥/:.�H�.8Å´Æ ? /:0*.8; @ Ñ´Ä ? ÕBÄ90�/:Ħ.�È�/:E,0*7:.S.8ÅB� ĦÄX/J2t/:028ÄP;,0"0")I03)èÕSѵ/:E,0�Æ @ 2�;,;B0�73Í

Ë ¦���¥§��¦t£y¤���¥§¦0�w� ïV;�/:E,0oÊ @ .DÕB2 @ ÆB71.DÕ @ 0"Å�4L/1EB0¦2�Õ£ÄX/:7:2DH�/1+A.8;d+¡Äm.DÕI/:28+<;,03)dÕSѠŵ2�ÆBÆ,+<;BÊ/1E,0¬Åµ2 Ô 0�/1.�2dÄ9ŵ2 @<@ ÊD7:28Æ,E'.8È�7:.S.8ŵÄ�HL.D;,;,0"HL/103)�ÕSÑ�/ ? ;,;,0 @ Ä"Í ë EB+AÄ�Ê @ .DÕB2 @ Æ,7:.8Õ @ 0"Å +AÄÄ9. @ ÇD0")³ÕSÑ Æ @ 2�;B;,+<;BÊ¥+<;�2�ÕBÄ9/17J28HL/]FS.8ÌD.8ÕB28;mÍ ë .¬7 ? ;�. ? 7�0�ØIÆ£0"71+AÅ´0�;b/:Ä"4�Î�0 ? Ä10") ëA@]é @ 2�;0�;,EB28;BHL03)Üά+q/:EÙ),.8ŵ2�+A;IÐVÄ9Æ�0"H�+\�£H¯ÌS;,.tÎ @ 0")IÊD084m2DÄ�)I0"Ä:HL7:+<Õ�0")Ü+A;ÿFS0"HL/1+A.8;Ùò,Í é @ 28;,;,+A;,Ê28H�/:+<.D;Bĵ;,.tÎ 7:0LÈÉ0"7µ/1.ÿÅ´.tÇS+A;,ʸ.8;,0ÞÄX/:.8;,0�ÈÉ7:.8Å .8;,0æ71.S.8Å .87µ/ ? ;,;,0 @ /:.î2�;B.�/1EB0�7347:2�/1E,0"7�/1EB28;ÏÄ9+AÅ´Æ @ Ñ�Æ ? Ä1E,+A;,Ê�.8;,0¥Ä9/1.D;,0¬.87�Å´.tÇS+A;,ʳ/1E,0¥Åµ28;¯ÕSÑ�.8;,0¬Ä:Ú ? 2�7:08ÍDã ÕIíX03H�/:Ä+<;SÇ8. @ ÇD0") +<;�2¬Ä9/1.D;,0�Å´.tÇ80"ů0";b/�HJE£2�;,ÊD0]/:E,0�+A7]28ÕBÄ9/17J28H�/mÄ9/:2�/10"Ä�2tȧ/10"7�/1EB0oHL.D717:0"Ä1Æ£.D;B)I+A;,Ê28H�/:+<.D;ì+¡Ä%HL.DÅ´Æ @ 0�/103)�Í ë 28Õ @ 0îäÞÄ ? Å´Å´2871+ Ô 03ĵ/:E,0Þ2DH�/1+A.8;ì/XÑbÆ�0"Äè+A;¶/1E,0Ùò¸Æ @ 2�;B;,+<;BÊ2�Æ,Æ,7:.D2DHJE,0"Äo)I+AÄ:H ? Ä1Ä10")µ+A;Ï/:E,+¡Ä¦Æ£2�Æ�0�7S.DÆ @ 2�+A;m4b/ ? ;,;,0 @ Ä"4S28;B)Ï28ÕBÄX/:7:2DH�/�FI.8Ì8.DÕB2�;�Í,'¶E,+ @ 0/1E,0o2DH�/:+<.D;BÄm2 @ ÎP2hÑSÄM7:0LÈÉ0"7�/1.*Æ ? Ä1E,+<;BÊ¥2¥ÄX/:.8;,0�ÈÉ7:.8Å .8;B0�;,.I)I0�/1.¥28;,.�/:E,0�734�/:E,0oÅ´0"28;,+A;,Ê.�ÈP;,.I)I0"Ä�+¡Ä'),+qKM0�7:0�;b/�.�710"Ê ?,@ 2�7�Ä:Ú ? 2�7:0"ij+A;¸Æ @ 28+<;ÿFS.DÌ8.DÕB2�;m4M/ ? ;,;,0 @ Ä�2�;B)ÙÄ:Ú ? 2�7:0"Äd+A;/ ? ;,;B0 @ FS.DÌ8.DÕB2�;m4I28;B)G71.S.8ŵÄP2�;£)%/ ? ;,;,0 @ Ä¥+<; 2�Õ£ÄX/:7:2DH�/¥FS.8ÌD.8ÕB28;mÍë E,0¬Æ @ 2�;,;,+A;,Ê�ÊD.D2 @ +¡Ä�0LØIÆ,7:0"Ä:Ä10")¯28Ä�/:E,0¥HL.D;tí ? ;BHL/1+A.8;´.�È�/1E,0 HL.8;£)I+q/:+<.D;BÄ�/1E£2t/o0328HJE

Ê8.D2 @ 7:.S.8ÅóÄ1E,. ?B@ )æ.8Õ�0�Ñ8Í ë E,0´.tÇD0�7J2 @A@ Ê8.b2 @ +AÄd7:0"2DHJE,0")6άE,0�;Ù2 @A@ Ê8.D2 @ 7:.S.8ŵij2�7:0�+A;/1E,0¯2�ÕBÄ9/17J28HL/*ÄX/J2t/10�άE,0�7:0'2 @<@ +q/JÄ¥Ê8.b2 @ Ä1Ú ? 287103Ä¥2�7:0�.IH�H ? Æ,+<03) ÕSÑG2%ÄX/:.8;,0DÍBïV; × +AÊ ? 7:0ò,4�«då¯+AÄP/:E,0�.8; @ ÑÏÊD.D2 @ 7:.S.8ÅÖ.8È�/:E,0�ŵ2 Ô 0�28;B)G+q/*H�.8;b/:28+<;BÄAT¯ÊD.D2 @ Ä:Ú ? 2�7:0"Ä"Í

Page 10: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

�oOJQDTXO:iVOJYtU9R�UX_`Z3YvmjDQIO ̦Z�sDOJi l¦e1UX_qZ"YbiQbnqR"_`Y iX«t^SRLTXOJi Í�Î�Ï�Ð(��Ñ�Ò%Ó)Ô =7Õ Ñ�Ò�Ó)Ô%Ö��c�Z3¢hZ"pSR"YUX^DYbYDOJn`i iX«t^SR�TXO:i�×>UX^DYbYbO:nqi Í�Î�Ï�Ð(��Ñ�Ò%Ó)Ô =7Õ Ñ�Ò�Ó)Ô%Ö��c�Z3¢hZ"pSR"Y Ø7Ù%Ò�Ï-Ï��ÛÚÜÎwÑYÑYÔ-Ý��R�pbi�UVT9R�e:U TXZtZ"W�i�×êUX^bYbYDOJn`i Í�Î�Ï�Ð(��Ñ�Ò%Ó)Ô =7Õ Ñ�Ò�Ó)Ô%Ö��c�Z3¢hZ"pSR"Y �§Z"p,ÞÓOJe:UXi¯�

ß �D��à`áBaS� lîeJZ3W�QbR�TX_`iVZ3Y¯Z"[�R"e1UX_qZ"Ybi­_`Y¯UX�bO¦UX�DTXOJO*c�Z3¢hZ"pSR"Y�QbnqR"YDYb_`Yba TXOJQDTXOJiVO:Y�U9RLUX_`Z3YbiJ©

˦.8Å´ÆB2�7:0")�/1.�Æ @ 2�+A;ÏFS.8ÌD.8ÕB28;¯28;B)'/ ? ;,;B0 @ FI.8Ì8.DÕB2�;�4"/:E,0*28ÕBÄX/:7:2DH�/�7:0�Æ,7:0"Ä10�;b/:2�/1+A.8;Ä9E,.tÎ¥Ä�ÊD71032t/10"7�Æ,71.DÅ´+AÄ10�ÈÉ.87­28)B)I7103Ä1Ä1+A;,Ê*/:E,0¬ÊD28Å´0P2DÄ�2³Æ @ 28;,;,+A;,ÊdÆ,7:.8Õ @ 0�Å�Í�(*ĭά+ @A@ Õ�0Ä9E,.tά;è+<;6FS03H�/:+<.D;B<,4IÆ,71.DÕ @ 0�ŵĦ/1EB2�/¬H"2�;,;B.�/¬Õ£0�Ä1. @ Ç803)ÏÕSѵ/:E,0~�B7:Ä9/P/XΦ.´2�ÆBÆ,71.b28HJE,03Ä2�7:0�0328Ä1+ @ Ñ EB2�;£) @ 03)æ+A;Þ/1E,0µ2�Õ£ÄX/:7:2DH�/d.8;,0DÍ ë EB0�/XÎ�.GÅ´28+<;ÞÈ�28HL/1.D7:Ä*/1EB2�/�0LØIÆ @ 2�+A;æ/:E,+AÄ+<Å´Æ�.871/:2�;b/�+<Å´Æ,7:.tÇ80"Å´0�;b/]2�7:0¦Ä10"287:HJE�Ä9ÆB2DHL0�Ä9+ Ô 0P2�;B)�)I0"2D) @ .SHJÌ�)I0�/103H�/1+A.8;�Í3ïV;¯2�ÕBÄ9/17J28HL/FS.8ÌD.8ÕB28;Ù/1E,0�Ä9032�7JHJEÿÄ9Æ£28HL0è+AįŠ? HJEîÄ1Å´2 @<@ 0�7�/1E£2�;ÿ+A;îÆ @ 2�+A;ê28;B)Ù/ ? ;,;,0 @ FI.8Ì8.DÕB2�;�Í-¦.8/1EèÕ,7:28;BHJE,+A;,Ê�È�2DH�/:.87¬2�;B)èÄ9. @<? /1+A.8; @ 0�;BÊ�/1EG2�7:0 ÊD71032t/ @ Ñ´7:0") ? H�0")è28Ä�2'7:0"Ä ?,@ /�.8È�/1EB02�ÕBÄ9/17J28HL/1+A.8;mÍ8ã ;,0P2�ÕBÄ9/17J28HL/�Å´.tÇD0o.87�2DH�/1+A.8;�+AÄ�/XÑSÆ,+¡H�2 @<@ Ñ�HL.DÅ´Æ£.bÄ903)�.�ÈMÄ90"Ç80"7:2 @ ;,.D71ŵ2 @FS.8ÌD.8ÕB28;%Å´.tÇ803Ä�Í é @ 28;,;,+A;,Ê´+<; 2�Õ£ÄX/:7:2DH�/*FS.8ÌD.8ÕB28;è+¡Ä¬2 @ Ä1.´Ä1+AÅ¯Æ @ 0"7¥Õ£03H�2 ? Ä90³/:E,0�7:0�2�7:0@ 03Ä1Ä�),0"28) @ .IHJÌIij/1.æ),0"2 @ ά+q/:EmÍ]( @<@ /1E,0%),0"28) @ .IHJÌIij/1EB2�/�H�28;Ù.SH"H ? 7'+<;BÄ1+¡)I0Ï.8;B0µ71.S.8Å2�7:0 EB28;B) @ 0")èÕSÑ´/1E,0 @ .SH"2 @ 2�;£2 @ ÑSÄ1+¡Ä�ÍI( Å´.tÇ80³;,0�ÇD0�7�Ê8.S0"Ä�+A;D/:.µ2 @ .IH�2 @ )I0328) @ .IHJÌMÍ ë EB0.8; @ Ñ�)I0328) @ .IHJÌIÄ�/1EB2�/oÄX/:+ @A@ EB2hÇD0¦/:.�Õ£0 HL.8;£Ä9+¡)I0�7:0")¯2t/�/:E,0¬Æ @ 2�;,;B+<;,Ê @ 0�ÇD0 @ 28710�/:E,0 @ 2871ÊD0.8;,03Ä�/1EB2�/¥+<;SÇ8. @ ÇD0 +A;b/10"7:2DH�/1+A.8;£Ä¦Õ�0L/XÎ�0�0"; Ä90"Ç80�7J2 @ 7:.S.8ŵÄP2�;B)è/ ? ;,;,0 @ Ä"Í

â ã�äAå�Fm½BÂ�QIF]»o¼*N¿nVæçF�}bÀ�nV¼�}

ïV;�/1EB+AÄ�Ä903H�/:+<.D;�Φ0¦Æ,7:0"Ä10�;b/]0�ØSÆ�0�7:+Aů0";b/:2 @ 7:0"Ä ?,@ /JÄmÈÉ.D7]Ä1. @ ÇS+<;,ÊdFS.8ÌD.8ÕB28; ? Ä1+<;,ʳ2�ÕBÄ9/17J28HLÐ/1+A.8;mÍMFS+<;£HL0�+</ +¡Ä¬Å´.87:0�Å´0"2�;B+<;,Ê8È ?,@ /:.Ï7 ? ;�/1E,0�/10"Ä9/:Ä*.8; 7:0"2 @ Æ,7:.8Õ @ 0�ŵÄ�ôk28Ä¥.DÆ,Æ�.DÄ10")/1. ? Ä1+A;,Êd/1.tÑ�Æ,71.DÕ @ 0�ŵÄ:õL48Î�0¬EB2hÇ80¥HJEB.DÄ10�;�ä"åd. ? /­.�ÈM/1EB0;�8å @ 0�ÇD0 @ Ä�ÈÉ71.DÅ /:E,0*Ä9/:28;B),2�7J)/10"Ä9/³Ä ? +</10�ÈÉ.D7*. ? 7*0�ØSÆ�0�7:+Aů0";b/:Ä"Í ë E,0Ïä3åµÆ,7:.8Õ @ 0�ŵÄ"4,άE,+¡HJEæ2�7:0�Ä1E,.tά;�+<;æ(*Æ,Æ�0�;B)I+<Ø(�4S2�7:0*Ä9. @ Çt28Õ @ 0¬ÕSÑ´. ? 7o2�ÕBÄ9/17J28HL/�FS.DÌ8.8Õ£2�;µÄ9ÑIÄ9/10"ÅGÍSFS+<Ø´ÆB71.DÕ @ 0"ŵÄ*ôXäD4bñ,4Dá,4��S4£ä��I4hT8åbõ2�7:0dH�.8Å´Æ�.DÄ10")è.�È�Ä9ŵ2 @A@ 7:.b.DŵĬ2�;B)%/1E,0"710�ÈÉ.87:0³/1E,0 @ .IH�2 @ Æ,710"Æ,7:.SH�0"Ä:Ä9+A;,Ê´H�28;èÕ�0�)I.8;B0HL.8Å´Æ @ 0L/:0 @ Ñ8Í ë E,0d.8/1E,0"7PÈÉ. ? 7�ô�òB4*�B4Y<,4��Dõ�HL.D;D/J2�+A;%Õ�.�/:E @ 2�7:Ê80³2�;B)GÄ1Å´2 @<@ 7:.S.8ŵÄ"Í,ã ? 7H ? 7:710";b/�ÈÉ7:28ů0"Φ.D71ÌæÈÉ.87 @ 2�7:Ê80µ7:.S.8ŵÄ�H"2�;ÿÄ ? H�H�0"Ä:ÄXÈ ?,@A@ ÑÜH�.8Æ�0Ïά+q/:EÙ/1E,03Ä90èÆ,7:.8Õ @ 0�ŵÄ"Íë E,0"Ä10´7103Ä ?,@ /:Ä�Ä1E,. ?,@ )ÞÕ�0µÇb+A0�Î�0")Þ28ÄdÆ,7:0 @ +Aů+A;B2871ÑD4M2DÄdΦ0µÄ:H�2 @ 0¯/1EB0´Ä1ÑIÄX/:0�Å�/:.�EB2�;IÐ) @ 0�/1E,0�7:0�ŵ28+<;,+A;,Ê1TDå´Æ,71.DÕ @ 0�ŵÄ�Í�ã ? 7*Ä1ÑIÄX/:0�Å�4£H"2 @A@ 03)è�¿�¡þ�øt4 ? Ä903Ä*28ÕBÄX/:7:2DH�/ FS.DÌ8.DÕB2�;2�;B) ëA@�é @ 28;mÍ ë .Ù0�Çt2 @<? 2�/10�+</:Ä´Æ�0�71ÈÉ.87:Å´28;BHL0D4�Φ0 HL.DÅ´ÆB2�7:0")|���¡þ�ø¸Î¬+</1Eê/XΦ.Ù.8/1E,0"72�Æ,Æ,7:.D2DHJE,0"Ä�. ëA@�é @ 28;èÅö/ ? ;,;B0 @ FI.8Ì8.DÕB2�;ÜôÉ.D7¥Ä9+AÅ´Æ @ Ñ%/ ? ;B;,0 @ FS.8ÌD.8ÕB28;£õo28;B)è�*û)������w���Vû��ý�4IάE,+¡HJE�+AÄ�/:E,0�Õ£03ÄX/*Ä10"287:HJE,ÐÓÕB2DÄ903)èFS.DÌ8.DÕB2�;GÄ9. @ ÇD0�7¬2hÇt2�+ @ 28Õ @ 0DÍ× +AÊ ? 710A�'Ä1E,.tÎ¥Ä�EB.tÎî/:E,0 Ä1. @A? /1+A.8; @ 0�;,Ê8/1EÏ+¡Ä­7:0") ? HL03)�+A;��¿�¡þLø�2�;£)1�*û����\��wV���Vû�MýLÍ

é¿ê 7:0�ÆB7103Ä90";D/JÄ�/1E,06; ? Å�Õ£0"7Ï.�È�Ä9/1.8;B0 Æ ? Ä1E,0"ĵ+A;>/1E,0ÞÄ9. @<? /:+<.D;BįÈÉ. ? ;B)>ÕbÑ|�*û)������w���Vû��ý�Í ë E,0"Ä10´2�7:0�/1EB0¯Õ�0"Ä9/�Çt2 @A? 0"Ä /1E£2t/dΦ0¯ÌS;,.tÎ .�ÈX4�28;B)6+A;Þŵ28;bÑ H"28Ä10"Ä /1E,0"Ñ62�7:00"Ú ? 2 @ /:.�/:E,0d.8ÆI/:+<ŵ2 @ Çh2 @<? 0"Ä"ÍIFI+<;BH�0��*û����\��w1���Vû��ý ? Ä903Ä�Å´2DHL7:.�Å´.tÇD0"Ħ+<;G+q/JÄ�/ ? ;B;,0 @

ä3å

Page 11: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

Å´2DHL7:.DÄ�2�;B)'Ê8.b2 @ Å´2DHL7:.DÄ"4S« é 4tάEB+AHJE�+AÄ]/1EB0 @ 0�;BÊ�/1E¯.�ÈB/1E,0¬Ä1. @A? /1+A.8;'ÈÉ. ? ;B)�ÕSÑe�*û)������w���Vû��ý�4b+AÄ�Ä9ŵ2 @<@ 0�7¦/1EB28; é¿ê Í�ë é 4SάE,+¡HJE%Ä9/:28;B),ÄoÈÉ.87P2�ÕBÄ9/17J28HL/�FS.8ÌD.8ÕB28;m48+¡Äo/1E,0 @ 0";,Ê�/:E.�È�/1EB0 Ä1. @A? /1+A.8;µÈÉ. ? ;B)µÕSÑ6���¡þ�øGôÉ+ÓÍ 08ÍA4D/:E,0*; ? Å�Õ£0"7¦.8ÈmÆ @ 2�;,;,+A;,ʯ28H�/:+<.D;BÄJõ�Íhë é +¡ÄoÅ ? HJEÄ9ŵ2 @A@ 0�7¯/1EB28; éMê 4­28į.8;,0�Æ @ 2�;B;,+<;BÊÙ2DH�/:+<.D;î+A;>28ÕBÄX/:7:2DH�/ÏFS.8ÌD.8ÕB28;êH�.87:7103Ä9Æ�.8;B)BÄ�/:.Ä90"Ç80�7J2 @ 7:0�Ê ?B@ 287*Å´.tÇ803Ä�Í�FS+A;BHL0�/1E,0µÄ1. @A? /1+A.8; @ 0";,Ê�/:Eæ7:0") ? H�/1+A.8;Þ+AÄd2èÅ´0"28Ä ? 7:0'.8ȦE,.tÎ/1E,0´Ä9032�7JHJEæÄ1ÆB28H�0'+¡Ä 7:0") ? HL03)�4�/1E,0¯Ê87J2�Æ,EÞÄ ? ÊDÊ803ÄX/JÄ¥/:EB2t/d. ? 7³Ê @ .8Õ£2 @ Ä9032�7JHJEæÄ9Æ£28HL0�+AÄÄ9ŵ2 @A@ 0�7P/1E£2�;è/1E,0�ŵ2�+A; Ä9032�7JHJEèÄ1ÆB28H�0 ? Ä903)%+A;$�*û)������w6���Vû�MýLÍ ë EB+AĬ+¡Ä¬2�;G+AůÆ�.871/:28;b/7103Ä ?,@ /"4,2DÄP+q/¥ÆB71.Dů+¡Ä10"Ĭ2�;G0LØIÆ�.8;,0";b/1+¡2 @ 7:0") ? HL/1+A.8;G+<;G/:E,0�Ä9032�7JHJEèÄ1ÆB28H�08Í

0

100

200

300

7 1 6 2 3 5 17 80 2 4

Solu

tion

Len

gth

ì

Problem Number

SPRSAS

]M^`_ �-í�� c8Z"n`^DUX_`Z3Y*n`OJYba�UX� _`Y�î�ïÛð�ñ~�ªò!ói�BR"YSs~ô¿õSöÛö ïÛ÷�ø!ùhú�õ�÷�û!�ª Aói�1©�ó�üÜ_`i�eJn`Z3iVO�UXZ­UX�bO]Y�^bW³pIO1TZ�[�i�UXZ3YDO¬Qb^DiV�bOJi­_`Y�UX�DO¬Z3QDUX_`W�R�nBiVZ"n`^DUX_`Z3YB©

'¶E,0�; ? Ä1+<;BÊd/ ? ;,;B0 @ FI.8Ì8.DÕB2�;�4 ëA@�é @ 2�;´H�28;µÄ90 @ )I.DÅ Ä1. @ Ç80¬2dÆ,7:.8Õ @ 0�Å�0�;b/1+A710 @ ÑèôÉ+A;. ? 7�/:0"Ä9/�Ä ? ÕBÄ10L/34�.8; @ Ñ*/1E,0�Ä9+AÅ´Æ @ 03ÄX/]Æ,71.DÕ @ 0�Å�4�άE,+¡HJE�EB2DÄmá¥Ä9/1.8;B0"Ä"4�H�28;�Õ£0oÄ1. @ Ç803)Bõ�Í × .D7/1E,+¡Ä¥7:0"2DÄ9.D;m4,Î�0�Ä9. @ ÇD0�Ä ? Õ,ÐÓÆ,7:.8Õ @ 0"Å´Ä¥.�È�/1E,0'+<;,+</1+¡2 @ Æ,7:.8Õ @ 0�Å�ÍB(�Ä ? Õ,ÐÓÆ,7:.8Õ @ 0"Å +¡Ä¥.8Õ,Ð/:2�+A;,03)�ÕSÑ�7:0�Å´.tÇS+A;,Ê*ÈÉ7:.8Å /1E,0¬+A;,+</1+¡2 @ H�.8;*�BÊ ? 7J2t/1+A.8;�Ä9.Dů0¬Ä9/1.D;,0"Ä�2DÄ�Φ0 @<@ 2DÄ�2�;´0"Ú ? 2 @; ? Å'Õ�0�7�.�È�Ê8.b2 @ Ä:Ú ? 2�7:0"Ä"Í × +AÊ ? 7:0�<d7:0�ÇD0"2 @ Ä�E,.tÎÛ/:E,0*0�K�.D79/oÈÉ.87¦Ä1. @ ÇS+<;BÊ'Ä ? ÕIÐÓÆB71.DÕ @ 0"ŵÄ.�È é 7:.8Õ @ 0�Åþý'áÏ0�Ç8. @ ÇD0"Ä�ÈÉ.D7��*û)������w©�(��û)�ýèô�« é õ�4,/ ? ;,;B0 @ FS.8ÌD.8ÕB28;Üô�® é õ�4£2�;B)ÿ�¿�¡þLøô�ë é õ�Í Ã 0�7:0 /:E,0d; ? Å'Õ�0�7¬.8È]0LØIÆB28;B)I03)%;,.I)I03ÄP+<;G/:E,0dÅ´28+<;�Ä10"2�7JHJEè28710³Æ @ .�/1/10")Ùô�;,.�/:0/1E,0 @ .DÊD2�7:+</1E,Å´+¡H�Ä1H"2 @ 03õ�Í ë ? ;,;,0 @ FS.DÌ8.8Õ£2�;�+AÄ*.8; @ Ñ�2�Õ @ 0�/1.èÄ9. @ ÇD0�Ä ? Õ,ÐÓÆ,7:.8Õ @ 0"Ŵĥά+q/:E�µ.D7 @ 0"Ä:ÄdÄX/:.8;,03Ä�Í × .87d/1EB0¯;B0LØS/�Ä ? Õ,ÐÓÆ,7:.8Õ @ 0"Å ô0T�ÄX/:.8;,03Ä:õ¥/1E,+¡Ä�Ä1ÑSÄ9/10"Å�)I+¡)I;i� /y�B;B)Ü2Ä9. @<? /:+<.D;µ2tȧ/10"7o7 ? ;,;,+A;,ÊdÈÉ.D7­Å´.87:0P/1EB28;%ñ�å'Ë é�� EB. ? 7JÄ�ÍS˦.8Å´ÆB2�7:0")�/:.e�*û����\��wV���Vû�MýL4���¡þ�øG28HJE,+A0�ÇD0"Ä¥2%7103) ? H�/:+<.D; ÕSÑG2ÏÈ�28H�/:.87*/1EB2�/ 7:0�ŵ2�+A;BÄ¥Ä9/:28Õ @ 0�.tÇ80"7¬/1E,0�άE,. @ 0'Ä10L/³.�ÈÄ ? Õ,ÐÓÆ,7:.8Õ @ 0"Å´Ä .�È é 7:.8Õ @ 0�Å ý�á,Í ë E,+¡ÄdÊ87J2�ÆBEæ2 @ Ä9.è+ @A@A? ÄX/:7:2�/103Ä EB.tÎ )I7J2�ŵ2t/:+AH"2 @A@ ÑG/1EB0

äDä

Page 12: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

1

10

100

1000

10000

100000

1 2 3 4 5 6 7 8 9 10

Num

ber

of e

xpan

ded

node

s

Number of stones

TSRSAS

]M^`_ ���B� v��bO¯O:®8QSR"YbsDO�s YDZ�sDOJi�_`Y6UX�bO´W�R�_qYæiVO�RLTXe1�æ[¡Z"T'R�pbi�UVT9R�e:U�c8Z"¢hZ3pbR"Y �ªò!ói�1umUX^bYbYDOJnc�Z3¢hZ"pSR�Y©�Û¡�ói�1u8R"YbsÆô¿õSöÛö ïÛ÷�ø~ùwú�õ�÷*û��ª !ó9�1©8v��DOPg"R"n`^bOJi]±�O:TXOPZ"pDU9R�_qYDO�s'[AZ"T­iV^DpD°�QDTXZ"pbn`OJW�i�Z�[²�TXZ3pDn`OJWsb³w8©

Ä9032�7JHJE¯0�K�.D79/oH"2�;µÕ�0¥7:0") ? H�0")´ÕSÑ�/1E,0*HJEB.8+¡HL0¬.�È�Æ,7:.8Õ @ 0"Å�7:0�Æ,7:0"Ä10�;b/J2t/1+A.8;´2�;£)µÄ9. @ ÇS+A;,Êů0�/1E,.I)�Íë 28Õ @ 0�ñ�Æ,7:0"Ä10�;b/:ÄP2¯Å´.87:0�)I0L/J2�+ @ 03)GH�.8Å´ÆB2871+¡Ä9.D;ÏÕ�0L/XÎ�0�0�; 28ÕBÄX/:7:2DH�/¥FS.8ÌD.8ÕB28;è28;B)

/ ? ;,;B0 @ FI.8Ì8.DÕB2�;�Í ë E,0'),2�/:2µ)I0"ů.D;BÄ9/17J2t/103Ä¥2´E ? Ê80�),+qKM0�7:0�;BH�0�+<;�/:0�7:ŵĥ.�È�0LÝÏH�+<0";BHLÑÕ£0�/XΦ0"0�;G/1E,0�/XΦ.µ2�ÆBÆ,71.b28HJE,03Ä�Í*�oÇ80�;G+<È�/:E,0�; ? Å�Õ£0"7:ÄP+A;�/1E,0 ê�ê�� H�. @A? Å´;�Ä10�0"ÅÖ/:.Õ£0 @ 2�7:Ê80D4£/:E,0µÆ,7:0�Æ,7:.IHL03Ä1Ä1+<;BÊè+¡ÄdÈ�28Ä9/"Í ë EB0µÆ,71.IH�0"Ä:Ä9+A;,Ê�HL.DÄ9/�ÈÉ.87�2G;,.I)I0µ+A;Ü/1E,0 @ .IH�2 @Ä9032�7JHJE6Ä9ÆB2DHL0�+AÄ @ .tÎ�4�Ä1+<;£HL0�/1E,0"710�+Aij;,.èE,0 ? 7:+¡ÄX/:+AH'È ? ;BHL/1+A.8;6/:.èÕ�0´HL.8Å´Æ ? /10")mÍ�.8È­/1EB0@ .IH�2 @ Ä9032�7JHJE�Ä1ÆB28H�0¬2�7:0�HJE,032�Æ�ôÉ0DÍ Ê£Í<4t/:E,0�7:0P+AÄ�;B.�E,0 ? 7:+¡ÄX/:+AH¦È ? ;BHL/1+A.8;¯/1.dÕ�0¥HL.DÅ¯Æ ? /103)Bõ�Íë 28Õ @ 0�ò¯Ä9EB.tÎ¥Ä�2´H�.8Å´ÆB2�7:+¡Ä9.D;%Õ�0L/XÎ�0�0�;$���¡þ�øµ28;B)B�*û����\��w6���Vû�MýLÍI(*Ä¥+<;è/1E,0�H"28Ä10

.�È]28ÕBÄX/:7:2DH�/¬FS.8ÌD.8ÕB28;m4w� û��������Æ���Vû�Mýd2 @ Ä9. ? Ä903Ħ/XΦ.'/XÑbÆ�0"Ä�.8È�Ä9032�7JHJE%2�;B)m48/:.�Õ�0³28Õ @ 0/1.³Æ£0"79ÈÉ.D71Å 2¥Å´0328Ä ? 710"Å´0�;b/"43Φ0PHL.D;BÄ1+A)I0"7]2 .8;,0�Ðk/:.�Ð�.8;,0¦HL.87:7:0"Ä1Æ£.D;B)I0�;£HL0­Õ�0L/XÎ�0�0";�/1EB0Ä9032�7JHJEGÄ1ÆB28H�0"ÄP+A;G/1E,0�/XÎ�.Ï2�ÆBÆ,71.b28HJE,03Ä�ÍI(�/¬/:E,0�Ê @ .8Õ£2 @�@ 0�Ç80 @ �*û)������w6�(��û)�ý�),.b03ÄP/1EB0Ä9.8Ð�H"2 @A@ 03)%/:.8ÆIÐ @ 0�Ç80 @ Ä10"287:HJEm4£Î¬E,.DÄ10�Æ ? 71Æ�.DÄ10�+¡Ä¬/1.6�B;B)62%Ê8.b2 @ Ä9/:2�/108Í('Ü0�)I0";,.�/:0�/1EB0; ? Å'Õ�0�7�.�ÈmÄ9032�7JHJE,0")´;B.S),0"Äo2�/o/:E,0¥/:.8Æ @ 0�ÇD0 @ ÕSÑÆ®�� � 28;B)ÏH�.8Å´ÆB2�7:0¬+</¦/:. ê�� ÈÉ7:.8Å2�ÕBÄ9/17J28HL/�FS.8ÌD.8ÕB28;mÍ ë E,0"710*+AĦ2 @ Ä9.d/:E,0*ÆB2�/9/:0�7:;%Ä9032�7JHJE´+<;6� û������������Vû�MýL4DάE,.DÄ10¥Åµ2�+A;Ê8.D2 @ +¡Ä¬/1.è)I0L/:0�7:ů+A;,0'),0"28) @ .IHJÌGÆB2t/1/10�7:;BÄ¥28;B)��B;B)6Õ£0�/9/10"7 Õ�. ? ;B),ĬÈÉ.D7¥/:E,0�E,0 ? 71+¡Ä9/1+¡HÈ ? ;BH�/:+<.D;¸ß �hâoô ê�é�� +¡Ä�/1E,0�; ? Å�Õ£0"7¬.�È�0LØIÆB2�;£)I0")è;,.I)I0"ÄP+A;G/1E,0�Æ£2t/9/:0�7:;GÄ10"287:HJE�õ�Í*'Ü0HL.8Å´ÆB28710GÆB2�/9/10"71;¶Ä10"287:HJEÿ+A;[�*û)������w´���Vû�Mý�ά+q/:E @ .IH�2 @ Æ,7:0�Æ,7:.IHL0"Ä:Ä1+<;,ÊÞ+<; �¿�¡þLø�4¦2DÄ/1E,0"Ñ%Õ�.�/1E 28710³Å´0"2�;£ÄP/1.µÄ1+<Å´Æ @ +qÈÉÑ%/1E,0�ŵ28+<; Ä10"2�7JHJEmÍë E,0µÊ8.S.I)Ù;,0�Î¥Ä�+AÄ�/1EB2�/"4mÈÉ.D7'ŵ2�;SÑÞÆ,71.DÕ @ 0�ŵÄ�4m/1E,0Ï; ? Å�Õ£0"7'.8ÈPÆ @ 28;,;,+A;,Ê ;,.I)I0"Ä

ê�� +AÄèÄ9ŵ2 @<@ 0�7µ/:EB2�; ê�é�� 4oάE,+¡HJEìÄ ? Æ,Æ�.871/:ĵ/:E,0æH @ 28+<Å /1EB2�/%. ? 7%Ê @ .8Õ£2 @ Ä10"287:HJEÄ9ÆB2DHL0G+AÄ´Ä1ŵ2 @A@ 0"7'/:EB2�;ê/1E,0G.8;B0GH�.8;BÄ1+A),0�7:0")ÿÕSÑ � û������������Vû�MýLÍ�ïV;ÛHL.8;b/:7:2DÄX/34]άE,0";

ähñ

Page 13: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

lopbi�UVT9R�e:U¦c8Z"¢hZ3pbR"Y v�^bYDYbOJn£c�Z3¢hZ"pSR"Yc�^bpD°�Q8TXZ3pbn`OJW ²mn�Ì ²]²iÌ v�_`W�O ²mn�Ì v�_`W�O

dS�Éw�� �d d"u g%¼S¼ d3© ½ d�g�u ½ {Sf dLy�w8© y%¼y)�Éw�� y-¼ w,d"u\d�d º g8© f º {Sg�u -¼�g f�¼�f�g8© y)dº � S� { ¼3{hy g8©�dLy � tu f)d�f d�y3y%¼3{8© w3w¼h�Éw�� f ¼hd"u g"w ½ g8© {Sg y� tu ½ d3¼ º g3w)d3© f�¼½ �Éw�� ¼Sg�¼ g8© y�g ½�º u\d7¼hd d�d� º�º © { ºw,� S� d3f ½ ¼8u º d� d3© g3w )d"u ½ �f {,d�{�f8© � )�É{�� d º y"w�u g)dSd g8© ½ d º y g8© {3{f,�Éw�� d º y-¼ ½ g8© y ½ º�½ u %fSf ¼h{3{ º © ½S½d� )� ½ � d�g%¼� º g3w�u y"y%¼ y%f8© w º d3¼8u\dJ{Sf º f)d3© ¼ty{Sg,�Éw�� d3g º f ½ u ½ { º º © ghy d3¼8u y�w3w f�¼Sf8© f3{

ß �D��à`á��B� l¦pDi�UVT9R"e:U³c8Z"¢hZ3pbR"Y�g�iJ©£UX^bYbYDOJn�c8Z3¢3Z3pSR�Y£©Mc8^DpD°�QDTXZ"pbn`OJW��t���h��_`i*Z3pDU9R�_`YbO�sG[<TXZ3WQ8TXZ3pDnqO:W��dptj¥QbnqR"eJ_`YDa��*i�UXZ"YbOJim_`Y UX�DO�W�R"¨:O3©hv��DO�iV^bp8°kQ8TXZ3pDnqO:W�iMn`_qi�UXOJsdR�TXO�UX�DO�nqR�TXa3O:i�U]UX�bR�UUX^DYbYDOJn£c8Z3¢3Z3pSR�Y´e�R�Y´iVZ3n`ghO3©�üAÝ�� _`ioUX�DOPY�^bW pIO:T�Z"[mO1®DQbR"YbsDO�s'YbZ�sDO:i¦s8^DTX_`Yba UX�bO¬QbnqR�YbYb_`YDaiVOJR�TXe9�£©(üAü�� _`i¥UX�DOdY�^bW pIO:T¬Z"[�O:®8QSR"YbsDO�sÏYbZ�s8OJi*sD^8TX_qYDa�UX�DOdQDTXOJQ8TXZteJOJiViV_`YbaµQD�SR�iVO3©Mv��DOUX_`W�OP_`i­W�O�R�iV^DTXO�s'_qY¯iVOJeJZ3YbsDiJ©

lopbi�UVT9R�e:U¦c8Z"¢hZ3pbR"Y �¦Z"n`nq_`YDa'c�UXZ3YDO²�TXZ3pbn`OJW ²mn\Ì ²�²9Ì v�_qW�O v��YÌ ²]c,Ì v�_`W�O

d �d d3u g�¼�¼ d3© ½ ½ g d3u g%¼ty g8©�d3¼y w ºS½ why�u g º d�w8©�d3g {�g �u ½%º g g8© w ºº d�y d�f8u f%¼h{ y�© g�¼ {� dLy�u f�ghy g8© y º¼ dLy�{ wSf8u ½ dSd º © y�g d�{� ½ g8u º wSf º © y� ½ º w y%f� �u º�º ¼ y º ©�d7¼ y�g3y ¼ º u y%f�¼ d3© 3yw º w ½ ¼Du ¼,d3¼ d3© º {%¼ ½ u�d�d�{ g8© º d ½ ¼ º�½ u {)d º d3© ½ d3u º fhy y"{8u ¼3wSg d3© º f ºS½ �u wSg� d3© g,d d3u {"{�¼ ¼ º w8u {�g,d y"y�©�d� d� {SgSf)d ¼�¼S¼Du g� º dJw3w8© f"{ y�u g º { y�f8u�d�d�w y�© y º{Sg ¼� {� � �u f)d3¼ ¼D© ½ w d�w ½ y"w8u f%¼ º y�© y ½

ß �D��à`á��,� l¦pbi�UVT9R�e:U]c8Z"¢hZ3pbR"Y g8iJ©�ô¿õSöÛö ïÛ÷�øAùhú�õ�÷�û1©�üAÝ��ö_`imUX�DO�Y�^bW pIO:T�Z"[SO:®8QSR"YbsDO�s¥YbZ�s8OJim_`YUX�DO¬QbnqR"YDYb_`Yba³iVO�R�TXe9�£u�üAü�� _qi­UX�bO¬Y�^DW³pIO:T�Z�[mQDTXOJQ8TXZteJOJiViV_`Yba�YDZ�sDOJiJuh¡���� _`ioUX�DO¬Y�^bW³pIO1TZ�[]UXZ"QD°�n`OJghOJn�YbZ�sDO:iJuBR"YSs6üGó�� _`i�UX�DO Y�^DW³pIO:T¦Z"[]YbZ�s8OJi�_`YÏUX�bO*QSR�UVUXO1TXY%iVOJR�TXe9�£©Bv��bO*UX_`W�O_`i­W�O�R�iV^DTXO�s'_qY¯iVOJeJZ3YbsDiJ©

ä3ò

Page 14: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

2�;B2 @ Ñ Ô +A;,Ê ê�é�� 28;B) ê�ê�� 4hΦ0�+<;,ÈÉ0�7�/1E£2t/K�*û)������we���Vû�Mý�+AÄ�Å´.D710�0LÝÏHL+A0�;b/�ÈÉ7:.8Å /:E,+AÄÆ£0"7:Ä1Æ£03H�/:+<ÇD08ÍBïV;£)I0�03)�4(� û��������1�(��û)�ý'+AÄ 2��B;,0 @ Ñè/ ? ;B0") 2�ÆBÆ @ +¡H�2�/1+A.8;m4£)I0�ÇD0 @ .8Æ�0")�.tÇ80"7Ä90"Ç80�7J2 @ Ñ8032�7JÄ�.�È£0�K�.D79/34tάE,+ @ 0�/1EB0�7:0�+¡Ä�Ä9/1+ @<@ 7:.S.8Å /:.³+AÅ´Æ,7:.tÇ80o. ? 7 @ .SH"2 @ HL.DÅ´Æ ? /:2�/1+A.8;mÍ( @ /1E,. ? Ê8EÏÆB710"Æ,71.IH�0"Ä:Ä9+A;,Ê�Ä10"2�7JHJE´+AĦÇ80"71Ñ�È�28Ä9/"4b7:.b.DŵĭH�28;ÏÕ£0 Õ,+AÊBÍw'Þ0*/1E,0"710�ÈÉ.87:0¥;,0�03)Î�2hÑIÄ�/:.�ÊD0L/P2�7:. ? ;B)µ/1E,0³Æ£0"79ÈÉ.D71ŵ28;BHL0¥Õ�.�/1/ @ 0�;,03HJ̵+<;£) ? HL03)ÏÕSÑ´Æ,7:0�Æ,7:.IHL0"Ä:Ä1+<;,Ê£ÍbFS.DÅ´0+A)I0328ÄèEB2hÇ80Þ2 @ 710328)IÑ>Õ£0"0�;z+<Å´Æ @ 0�Å´0�;b/:0")ì+A;ì. ? 7GÄ1ÑIÄX/:0�Å�4P28ÄGÄ9E,.tά;¶+A; FI0"H�/:+<.D;[�BÍé 7:.8Õ @ 0�ŵÄ�ý�ò,4tý��£4£28;B)ÿýV�,4BάEB+AHJE6H�.8;b/:28+<; @ 2�7:Ê80�7:.b.DŵÄ�4,28710�Ä1. @ Ç803)è0�ÝÏHL+A0�;b/ @ ÑèÕSÑ. ? 7¦Æ,71.DÊ87J2�Å�Í Ã .tΦ0"Ç80�734t/:E,0�7:0 28710¥Åµ28;bѯ+AůÆB71.tÇD0�Å´0�;b/:Ä­/1EB2�/�H"2�;ÏÕ�0¥È ? 71/1EB0�7P28),)I03)+<; .D7:)I0"7¬/1.µÆB71.IHL03Ä1Ä¥0LÝÏHL+A0�;b/ @ Ñ @ 2871ÊD0³7:.S.8ŵÄ"Í��*û)������w6���Vû�Mý�+¡Ä*2 @ Ä1.´È�28Ä9/10"7¬/1E£2�; . ? 7Ä9ÑIÄ9/10�Å�4]ά+q/:E¸/1E,0è0LØ,HL0"ÆI/1+A.8;¸.8È é 7:.8Õ @ 0�Ųýe�æ2�;B) é 7:.8Õ @ 0�Ųýe�BÍ ë E,0è.tÇ80"71E,0328)Þ+AÄ)I0L/:0�7:ů+A;,03)îÕSÑÙ/1EB0 @ .IH�2 @ ÆB71.IHL03Ä1Ä1+A;,ÊÜ2DįΦ0 @<@ 28Ä�/:E,0 ? Ä128Ê80è.�ȳ2ÞÊ80";,0�7J2 @ Æ ? 71Æ�.DÄ10Æ @ 28;,;,0"7"Í ë EB0ÏÇ80"7:Ä1+<.D;Ù.�È ëA@�é @ 28;Þ/:EB2t/�Φ0 ? Ä10")Ù+A;¸. ? 7�0LØIÆ�0�7:+<Å´0�;b/JÄ�+¡Ä�.�ȧ/:0�;Ù/XÎ�..87J)I0�7JĬ.�ȭŵ28Ê8;,+</ ? ),0�Ä @ .tÎ�0�7¬/:EB2�;6/1E,0 @ 2�/103ÄX/³0LØIÆ£0"71+AÅ´0�;b/:2 @ ÇD0�7JÄ9+A.8;�.�È�/:E,0¯Æ @ 28;,;,0"7ß ñtâÓÍmã ; /1EB0�.8/1E,0"7*EB28;B)�4M. ? 7 Å´0L/1EB.S)æEB28Ä¥/1E,0´28),Çh28;b/:2�ÊD0�/1E£2t/ .8/1E,0"7 Æ @ 28;,;,0�7JĬ/:.S.H�2�;¸Õ�0 ? Ä903)Ü/1.æÄ1. @ Ç80´/:E,0%Ê @ .DÕB2 @ Æ @ 28;,;,+A;,Ê6Æ,7:.8Õ @ 0�Å�4]άE,0�7:0"2DÄe�*û)������w �(��û)�ý%+AÄ�2Ä9Æ�0"H�+A2 @ Æ ? 7:Æ£.bÄ90�Ä1ÑSÄ9/10"Å�Íã ? 7��B7:Ä9/µ7103Ä ?B@ /JĵHL.8;��B71Å /1EB2�/´. ? 7µÆ,7:.8Õ @ 0�ůÐVÄ9. @ ÇS+A;,ÊÞ287:HJEB+q/:0"H�/ ? 7:0èÎ�.87:ÌIÄ�Í�'Ü0

EB2hÇ80æ2 @ 7:0"2D)IÑî.DÕI/:28+<;B0")¶0"Çb+¡)I0";BHL0 /:EB2t/�2�ÕBÄ9/17J28HL/GFS.DÌ8.8Õ£2�;Û+AÄèÅ´.87:060LÝÏH�+<0";D/è/1EB28;.�/1EB0�7�Æ @ 2�;B;,+<;BÊ6710"Æ,7:0"Ä10�;b/:2�/1+A.8;Bij.�ÈP/:E,0ÏÊD28Å´08Í ë .�/1E,0%Õ£03ÄX/'.8Ȭ. ? 7�ÌS;,.tÎ @ 0"),Ê8084�;B.Æ,710"ÇS+<. ? Ä³Æ @ 28;,;,+A;,Ê 2t/1/10�Å´ÆI/JÄd+<;ÿFS.DÌ8.DÕB2�; @ 0")æ/1. Ä1. @ ÇS+<;,ÊG7:0"2 @ ÆB71.DÕ @ 0"ŵÄ�Í Ã .tÎ�0�ÇD0�73428Ĭ/:E,0´HL.8Å´ÆB2871+¡Ä1.8;�ά+q/:E �*û)������wB���Vû��ý�Ä1E,.tÎ¥Ä�4£ÆB2�71/:Ä*.�È­. ? 7 287:HJE,+</103H�/ ? 710D4£Ä ? HJEæ2DÄ@ .IH�2 @ HL.8Å´Æ ? /:2t/:+<.D;m4�2�7:0�Ä9/1+ @<@ +A;Þ28;æ032�7 @ Ñ Ä9/:2�ÊD08Í�( ÈÉ0�Î .8È­/1EB0¯+¡)I0328ij2�Õ�. ? /�E,.tÎö/:.+<Å´Æ,7:.tÇ80³. ? 7¥Ä1ÑIÄX/:0�ÅB� ÄPÆ£0"79ÈÉ.D71ŵ2�;£HL0�2�7:0 ÆB7103Ä90";D/:0")è+<;6FS03H�/:+<.D;�áBÍ

� Þ¾¦»*Á�n9À�}SÂX¾o»�}uN�»*¿"!¥À¥¼IÀ*½�F$# ¾­½YJ

ïV;æÊD28Å´0"Ä*Ä ? HJEæ2DijFI.8Ì8.DÕB2�;�4£2�ÆBÆ,71.b28HJE,03ĬÕB2DÄ903) .8;6EB0 ? 7:+AÄ9/1+¡H'Ä10"287:HJE6Ä10�0"Å /1.%Õ�0¯.�È@ +AÅ´+q/:0")>Çt2 @A? 08Í�ïV;ê/1E,+¡Ä´ÆB2�Æ�0�7´Î�0�EB2hÇ80èÆ,71.DÆ£.bÄ903)î28;>2 @ /:0�7:;B2t/:+<ÇD0%Æ,7:.8Õ @ 0�ůÐVÄ9. @ ÇS+A;,Ê2�7JHJE,+q/:0"HL/ ? 7:0¥ÕB2DÄ903)´.8;Ï(¥ï�Æ @ 28;,;,+A;,ÊBÍIFS+A;BHL0*/1E,0³H @ 28Ä:Ä9+¡H�2 @ 710"Æ,7:0"Ä10�;b/:2�/1+A.8;´.�È]FS.DÌ8.DÕB2�;28Ä­2dÆ @ 2�;B;,+<;BÊ�)I.8ŵ2�+A;µ)I+¡)´;,.�/ @ 0"2D)¯/1.�28H"HL0"ÆI/:28Õ @ 0¬7:0"Ä ?,@ /:Ä"4�Î�0¬EB2hÇ80¬2 @ Ä1.³+A;b/17:.I) ? HL03)2�ÕBÄ9/17J28HL/¥FI.8Ì8.DÕB2�;�4IÅ´28Æ,Æ,+A;,ʯ/1E,0'Æ ?,Ô�Ô"@ 0d/:.Ï2´E,+AÊ8E @ Ñè28ÕBÄX/:7:2DH�/:0")èÆ @ 28;,;,+A;,ʵ)I.8ŵ28+<;mÍã ? 7A�B7JÄX/¥0�ØIÆ£0"71+AÅ´0�;b/:2 @ 7103Ä ?,@ /:Ä*Ä ? ÆBÆ£.D79/¬/:E,0'H @ 2�+AÅÖ/:EB2t/*28ÕBÄ9/17J28H�/ FI.8Ì8.DÕB2�;è. ? /:Æ£0"79ÐÈÉ.87:Å´Ä�.�/:E,0�7]Æ @ 28;,;,+A;,Ê¥7:0�Æ,7:0"Ä10�;b/J2t/1+A.8;£Ä�.�ÈS/1EB0oÊD28Å´08Í × ? 71/1E,0"71Å´.87:084"Ä9+A;BHL0¦2�ÕBÄ9/17J28HL/1+A.8;@ 0328),Ä*/1.�2%E ? ÊD0'7:0") ? H�/1+A.8;Þ.�È­/:E,0¯Ê @ .8ÕB2 @ Ä10"287:HJE6Ä1ÆB28H�084MÎ�0�2�7:0'0";BHL. ? 7J2�Ê803)G/1.�Ä12hÑ/1EB2�/ Æ @ 2�;,;B+<;,ÊGHL. ?,@ )6Õ£0 ? Ä10")�/:.%.tÇ80"7:H�.8Å´0³/1E,0 @ +<Å´+</:2t/:+<.D;BÄ 0LØIE,+AÕ,+q/:0") ÕSÑ�E,0 ? 71+¡Ä9/1+¡HÄ9032�7JHJE%+A; FI.8Ì8.DÕB2�;�Íë E,0�7:0µ2�7:0¯Åµ28;bÑÞ)I+<7:0"HL/1+A.8;Bij/:EB2t/�Î�0´Æ @ 2�;Ü/1. 0�ØSÆ @ .D710¯Î¬+q/:Eÿ2�ÕBÄ9/17J28HL/�FI.8Ì8.DÕB2�;�Í

ã ? 7¬ÈÉ7J2�Å´0�Î�.87:Ì%)I.S0"Ä¥;,.�/ H ? 7:710";D/ @ ÑèEB2�;£) @ 0�2 @A@ /XÑSÆ£03Ä¥.�È @ 2�7:Ê80d7:.b.DŵÄ�Í,ïV;62D),)I+</1+A.8;m4/1E,0 71.S.8ÅµÄ @ .IH�2 @ HL.DÅ¯Æ ? /:2�/1+A.8;ÏH�28;´Õ£0*È ? 79/:E,0�7¦.8ÆI/:+<Å´+ Ô 03)�ÍD( Ä¦2�H�.8;BÄ10"Ú ? 0";BHL0D4�.8;,0*.�È. ? 7�ŵ2�+A;µÈ ? / ? 710³Î¦.D71Ì´)I+A7103H�/:+<.D;BÄ­+¡Ä­/:.¯H�.8Å´Æ @ 0L/:0 2�;£)µ+<Å´Æ,7:.tÇ80¥/1E,0 @ .IH"2 @ ÆB71.IHL03Ä1Ä1+A;,ÊÈÉ.87­Õ�.�/:EµÊ8.D2 @ 2�;B)¯7:0�Ê ?,@ 287�71.S.8ŵÄ"Í8(¥;B.�/1EB0�7­0";,EB2�;£HL0�Å´0";D/�/:EB2t/­Î�0¬0LØIÆ�0"HL/­/1.�EB2hÇD0¬2Ê87:0"2t/­+AÅ´ÆB28HL/o.8;´/:E,0*Ä1ÑIÄX/:0�Šƣ0"79ÈÉ.D71ŵ2�;£HL0¬+¡Ä­2�Ä1Å´2879/:0�7o),0"HL.DÅ´Æ£.bÄ9+</1+A.8;´.�ÈM/:E,0¥Åµ2 Ô 0+<;b/1.�7:.S.8ŵĭ28;B)�/ ? ;,;B0 @ Ä�Íh'¶E,+ @ 0¥. ? 7�E,0 ? 71+¡ÄX/:+AH¥7 ?,@ 0P/1E£2t/­Ê ? +A)I03Ä�/1EB+AÄoÆ,71.IH�0"Ä:Ä�+AÄ¦Ú ? +q/:071+AÊ8+¡)�4�+</]H"2�;�Õ�0o7:0�Æ @ 28H�0")³ÕSѳ2¬Ä9/17J2t/:0�Ê8ѳ2�+AÅ´+<;,Ê¥/1.¥.DÆI/1+AÅ´+ Ô 0oÄ90"Ç80"7:2 @ ÆB2�7J2�Å´0�/10�7JÄ�ôÉ0DÍ Ê£Í<4ů+A;,+AÅ´+ Ô 0�/1EB0�; ? Å�Õ£0"7*.�È­7:.S.8ŵÄ*28;B)G/ ? ;,;,0 @ Ä"4�Å´+A;,+Aů+ Ô 0'/1E,0�+<;b/:0�7J28H�/:+<.D;BÄ¥Õ�0L/XÎ�0�0";

�

Page 15: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

71.S.8ŵĥ28;B)G/ ? ;,;,0 @ ÄJõ�ÍM5 .87:0�.tÇD0�734S/1E,0�Ê @ .8ÕB2 @ Æ @ 2�;,;,+A;,Ê%Ä10"287:HJE Ä1ÆB28H�0�H�28; Õ£0'È ? 79/:E,0�7Ä9+AÅ´Æ @ +��B03)�4­)I0L/:0"HL/1+A;,Ê @ 2871ÊD0è)I0328) @ .IHJÌSÄ'/1E£2t/´+<;SÇ8. @ ÇD0%+A;b/10�7J28HL/1+A.8;BÄ�Õ�0L/XÎ�0�0�;ÛÄ10�Ç80"7:2 @71.S.8ŵÄG2�;B) / ? ;,;,0 @ Ä"Í ã ;,0Þ+AÅ´Æ£.D79/J2�;b/GÈ ? / ? 7:0Ù7103Ä9032�7JHJEÛ/1.DÆ,+AHÞ+¡ÄG/1.ê/17:Ѷ. ? 7�+¡)I0"2DÄ+<;Ù7:0"2 @ Ð @ +<ÈÉ0´Æ @ 28;,;,+A;,Ê6)I.DÅ´28+<;£ÄµôÉ08Í ÊBÍA4m7:.8Õ�.�/:+AH"Äd710 @ 2�/10")£õ�Ím( ? /1.8ŵ2�/1+¡HÏ2�ÕBÄ9/17J28HL/1+A.8;Þ.�ÈÆ @ 28;,;,+A;,ʵ)I.8ŵ28+<;BĬH"2�;�2 @ Ä9.´Õ�0�2�;G+<;b/:0�7:0"Ä9/1+A;,Ê´0LØS/10";BÄ9+A.8;G.�È�. ? 7¬Î¦.D71ÌMÍ

æçF�%7F�½�F�»*ÁtF�}

d3©'&�©)(�R�eJe1��^DiJ©�l�*�²]c,+ gSg ²�nqR�YbYb_`YDa'\�Z3W�QIO:UX_¤UX_`Z3YB©.-0/�1©ñ�ø�ñ327ïÛ÷*û1uSQbR"a3O:i�¼� 34 ½ w8uBy%gSg)d3©y�©'&�©)(�R�eJe1��^DiJ©�²MO1TXiVZ3YSR�n�eJZ"W�W³^DYb_`e�R�UX_`Z"Y£u65´R�TXe9�Ïy%gSghyt©º ©'&�©7(�R�eJe1��^Di R�YSs8&�©:9¥R"pbR"YD¨�R8©'f�iV_`YDaµv�OJW�QIZ"T9R�n;�BZ3a3_`eJi¥UXZµr�®8QDTXOJiVi c8OJR�TXe9�6\�Z3YtUVTXZ3n9¬YDZ�±­nqOJsDa3OP[AZ"T�²�nqR�YbYb_`YDaD©;-�<�ú�ï =.>7ïªñSö?/¯÷wú0û7ö`ö ï\ø�û�÷@>¯û1u(dJw,>�dLy º 4wd�f,d"u£y�g�gSg8©

¼D©'A8©]\�^bn`pIO:TXiVZ3YB©Þcbª�9PªB(�l�Ì _`i�²]cD²,lo\�rm°�eJZ"W�Qbn`O:UXO3©�v�OJe9�bYD_qeJR"n�TXOJQIZ�TVU�u]N�OJQSRLTVUXW�OJYtUZ�[�\�Z"W�Qb^8UX_qYDa�c8eJ_`OJYDeJO3u,f�YD_`ghO:TXiV_¤UÓjµZ�[�lon`pIO:TVU9R8uBr�sDW�Z"Y�UXZ"Y£u,lon`pIO:TVU9R8u£\�R�YSR3sDR8uid�f�f� t©C ��D�EGF�F C ��D��V�3�����8}h�L���3�h��}��V�3}�FHD3�h�IF�Jt�8����K���D8�"�3�D��F6L3M�M�N�F�J�KIM�N�OIPRQ ©

½ ©A�¥© � Z"n`UXO"uS5è©�²MO:TXOJ¨3u(�*©7TI_qW�W�O1T�u�R�YSsèl*©U5´R"eJNPZ"YSR�n<s,© � _`O:T9R�TXe9�b_`e�R�n�l�V�>�c�O�R�TXe9�b_`YDalopbi�UVT9R�e:UX_`Z3Y � _qO1T9R�TXe9�b_`OJi rm·�e:_qO:Y�UXn¤jt©'v�O:e1�DYb_`e�R"n�TXOJQIZ"TVU�u£f�YD_`ghO:TXiV_¤UÓj%Z"[¦ª¦UVU9RJ±�R8u�v��o°f ½ °od�{�u(d3fSf ½ ©

w8©¥l¥©�A3^bYDa3�bR"YbYDiJ©XW;Y)ð[Z�ïÛ÷)ø�ú\Zwûeîiï�]�ïÛú�ð_^�`Gûbadc;ûbe�û7ö�õbf?]�û�÷hú�ðÆïÛ÷XùhïÛ÷)øSö\û_g�-Mø�û�÷wú;ù�û#ñ�<[>hZt©²m�bNêUX�bOJiV_`iJuYd�fSf�f8©

�©¥l¥©?A"^bYba"�SR�YbYbioR�YSsiAD©Ic8e9�SR�O_j,O:T�©�c8_`Yba"nqO1°Óloa3OJYtU�c8OJR�TXe9�´_`Y¯UX�bO¥²�TXOJiVOJYDeJO¥Z"[mNPO�R"sDn`Zte9¢,©*kYkW;<#õ3>¯ûoû[l�ïÛ÷)ø�ð�-�-�-0/bgnm�o�p�1©ñ�l�ï`ð7õ%÷�q.r�/hp's�ùR-PuDQSR�a3OJiM¼hd3f�4�¼ty%¼8utA3^bn¤j1d�f�f3{�©

{8©¥l¥©�A3^DYba"�SR"YDYbi�R"YSsuAD©�c8e9�SR"Obj,O:T�©BNPZ3W�R�_qY8°�NPOJQIOJYbsDOJYtU]c8_`YDa3n`O:°kl¦a"OJYtU­c8OJR�TXe9��r�YD�SR"YDeJO:°W�O:Y�UXiJ©?*ÓYvW;<#õ3>¯ûoûwl%ïÛ÷)ø�ð�/bx?y7-0/bgnm�m�p�ùwú�õ3>hz3ZhõSö ]{ptù)a§û[l�û�÷Du�QSR"a"OJi ½ �g34 ½ ½ ubl¦^Da3^bi�UKd�f�fSf�©

f8©¥l¥©;A"^bYba"�SR�YbYbi�R"Ybs|AD©­c�e1�bR"O_j,O1T�© c8Z"¢hZ3pbR"Y�>�r�YD�SR�YbeJ_`Yba iV_`YDa3n`O:°kR"a"OJYtU´iVO�RLTXe1�ÿ^biV_`YDas8Z3W�R�_qY�¢�YbZ�±­n`O�sDa"O3©;-�<�ú�ï =}>7ïªñSö?/¯÷wú0û7öÛö ï�ø�û�÷@>¯û1u(d�y�fh�Üdh48y���> y�d�f348y ½ d3uMy�g�g,d3©

d3g8©A�¥©br­©)9¬Z"TV[Ó©�5´R"e:TXZ�°�Z3QIO:T9RLUXZ"TXi3>£lê±�OJR"¢'W�O:UX�bZ�s�[AZ"T¦n`O�R�TXYD_qYDaD©0-�<¯ú�ï =}>7ïªñSö,/¯÷hú0û7öÛö ï\ø�û�÷?>�û1uy�wh�Üd���> ºS½ 4R � �u�d3f3{ ½ ©

d�d3©¬N ©U5¯e:NPO:TXW�Z"UVU�©�f¦iV_`YbaÆ�oOJa"TXO:iViV_qZ"YD°~5´R�UXe9�æx¦T9R"QD�bi¬UXZÏ\�Z"Y�UVTXZ"n�c�O�R�TXe9�G_`Y ²mnqR"YbYD_`YbaD©d3fSf� �© �t�h��D�E~F�FH�����m�V�h���n�t}h�3���Ó�"~3�IFH��J����IFH�������IF�����FH�����D�h}��D��F��I��~t�h�L�b�"�h�����t���I� ©

d�y�©¥l¥©�c8�SR�Qb_¤TXZD© ùhú�<bY6>7ú�YR<oû[l�/¯÷@l�Y6>7ú�ïªõ�÷çïÛ÷����bfhûb<�úVù)�%ð¯ú0ûb]�ðX© v£^DTX_`Yba�*kYbi�UX_¤UX^DUXO�²mTXOJiViJ©l¦sbs8_qiVZ"YD°���O:iVnqO1jtu*d�f3{� �©

d º ©¬N ©,r­©@�Ù_qn`¢�_`YbiJ©¥f¦iV_qYDa�¢�YDZL±­n`O�s8a3O*UXZ�eJZ"YtUVTXZ3nMUVTXOJO iVO�R�TXe9�b_`Yba8©�-�<�ú�ï =.>7ïªñSö:/¯÷hú0û7öÛö ï\ø�û�÷?>�û1udJ{,>�db4 ½ d"utd�f"{hy�©

ä�<

Page 16: Using Abstraction for Planning in Sokoban - Webdocs Cs Ualberta

{ D�EGF ¹S�Rmæ½,¾ML~noF9Q D�F9}D¼|H¬À*ÂV¼*F

Problem #80

Problem #1

Problem #4

Problem #7

Problem #2

Problem #5

Problem #9

Problem #3

Problem #6

Problem #17

ä3á