(original) (raw)

%!PS (but not EPSF; comments have been disabled) /TeXDict 200 dict def TeXDict begin /N /def load def /B{bind def}N /S /exch load def /X{S N}B /TR /translate load N /isls false N /vsize 10 N /@rigin{ isls{[0 1 -1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale Resolution VResolution vsize neg mul TR matrix currentmatrix dup dup 4 get round 4 exch put dup dup 5 get round 5 exch put setmatrix}B /@letter{/vsize 10 N}B /@landscape{/isls true N /vsize -1 N}B /@a4{/vsize 10.6929133858 N}B /@a3{ /vsize 15.5531 N}B /@ledger{/vsize 16 N}B /@legal{/vsize 13 N}B /@manualfeed{ statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /df{/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]N df-tail}B /df-tail{/nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar {CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /E{pop nn dup definefont setfont}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ ch-data dup length 1 sub get}B /ctr 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put }if put /ctr ctr 1 add N}B /I{cc 1 add D}B /bop{userdict /bop-hook known{ bop-hook}if /SI save N @rigin 0 0 moveto}B /eop{clear SI restore showpage userdict /eop-hook known{eop-hook}if}B /@start{userdict /start-hook known{ start-hook}if /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for}B /p /show load N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /v{/ruley X /rulex X V}B /V{gsave TR -.1 -.1 TR 1 ruley scale rulex 1 false RMat{BDot}imagemask grestore}B /a{moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail} B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{4 M}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w}B /r{p 2 w} B /s{p 3 w}B /t{p 4 w}B /w{0 rmoveto}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos {/SS save N}B /eos{clear SS restore}B end TeXDict begin 1000 300 300 @start /Fa 31 126 df<0300030007000F003F00F700470007 0007000700070007000700070007000700070007000700070007007FF07FF00C177C9614>49 D<0FC01FF03838701CE00EE00EE00E400E000E001C001C00380030007000E001C0030006000C00 180E300E7FFE7FFE0F177E9614>I<0FC01FF03838701C701C201C001C001C0038007007E007F0 0038001C000E000E400EE00EE00E701C78383FF00FC00F177E9614>I61 D<1FE03FF8701CE00EE00E400E003C 007000E001C003800380038003800300000000000000000003000780078003000F177E9614>63 D95 D<1FC0007FF000707800201800001C00001C0007FC001FFC00 3C1C00701C00E01C00E01C00E01C00707C003FFF800F8F8011107E8F14>97 DI<03 F80FFC1C1C380870006000E000E000E000E00060007000380E1C1E0FFC03F00F107E8F14>I<00 7E00007E00000E00000E00000E00000E00000E0007CE000FFE001C3E00301E00700E00E00E00E0 0E00E00E00E00E00E00E00E00E00700E00301E00383E001FEFC007CFC012177F9614>I<07E00F F01C38301C700CE00EE00EFFFEFFFEE00060007000380E1C1E0FFC03F00F107E8F14>I<007C00 FE01CE03840380038003807FFEFFFE038003800380038003800380038003800380038003800380 7FFC7FFC0F177F9614>I<07CF001FFF80383B80301800701C00701C00701C003018003838003F F00037C0007000007000003FF8001FFC003FFE00700F00E00380E00380E00380E003807007003C 1E001FFC0007F00011197F8F14>II<030007800780030000000000000000007F807F80038003800380 038003800380038003800380038003800380FFFCFFFC0E187D9714>I107 DIII<07C01F F03C78701C701CE00EE00EE00EE00EE00EE00E701C783C3C781FF007C00F107E8F14>II<03CE 000FFE001C3E00301E00700E00E00E00E00E00E00E00E00E00E00E00E00E00700E00301E001C3E 000FEE0007CE00000E00000E00000E00000E00000E00000E00007FC0007FC012187F8F14>II<0FD83FF86038C038C038F0007F803FF007F8001C6006E006 F006F81CFFF8CFE00F107E8F14>I<030007000700070007007FFCFFFC07000700070007000700 070007000700070E070E070E070C03FC00F00F157F9414>IIII121 D<003E00FE01E003800380038003800380038003800380038003807F00FE007F00038003800380 038003800380038003800380038001E000FE003E0F1D7E9914>123 D<7800FE000F0003800380 0380038003800380038003800380038001FC00FE01FC0380038003800380038003800380038003 8003800F00FE0078000F1D7E9914>125 D E /Fb 20 122 df<0000E000000000E000000001F0 00000001F000000001F000000003F800000003F800000006FC00000006FC0000000EFE0000000C 7E0000000C7E000000183F000000183F000000303F800000301F800000701FC00000600FC00000 600FC00000C007E00000FFFFE00001FFFFF000018003F000018003F000030001F800030001F800 060001FC00060000FC000E0000FE00FFE00FFFE0FFE00FFFE0231F7E9E28>65 D<001FF80000FFFF0001F81F8007E007E00FC003F01F8001F81F0000F83F0000FC7F0000FE7E00 007E7E00007EFE00007FFE00007FFE00007FFE00007FFE00007FFE00007FFE00007FFE00007FFE 00007F7E00007E7F0000FE7F0000FE3F0000FC3F8001FC1F8001F80FC003F007E007E001F81F80 00FFFF00001FF800201F7D9E27>79 D<03FC080FFF381E03F83800F8700078700038F00038F000 18F00018F80000FC00007FC0007FFE003FFF801FFFE00FFFF007FFF000FFF80007F80000FC0000 7C00003CC0003CC0003CC0003CE00038E00078F80070FE01E0E7FFC081FF00161F7D9E1D>83 D85 D<01FE0007FF801F0FC03E0FC03E0FC07C0FC07C0300FC0000FC0000FC0000FC 0000FC0000FC00007C00007E00003E00603F00C01F81C007FF0001FC0013147E9317>99 D<0007F80007F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F801F8 F80FFEF81F83F83E01F87E00F87C00F87C00F8FC00F8FC00F8FC00F8FC00F8FC00F8FC00F87C00 F87C00F87E00F83E01F81F07F80FFEFF03F8FF18207E9F1D>I<01FE0007FF800F83C01E01E03E 00F07C00F07C00F8FC00F8FFFFF8FFFFF8FC0000FC0000FC00007C00007C00003E00181E00180F 807007FFE000FF8015147F9318>I<001F8000FFC001F3E003E7E003C7E007C7E007C3C007C000 07C00007C00007C00007C000FFFC00FFFC0007C00007C00007C00007C00007C00007C00007C000 07C00007C00007C00007C00007C00007C00007C00007C00007C0003FFC003FFC0013207F9F10> I104 D<1C003E003F007F003F003E 001C00000000000000000000000000FF00FF001F001F001F001F001F001F001F001F001F001F00 1F001F001F001F001F001F00FFE0FFE00B217EA00E>I108 D110 D<01FF0007FFC01F83F03E00F83E00F87C007C7C007CFC007EFC007EFC007E FC007EFC007EFC007E7C007C7C007C3E00F83E00F81F83F007FFC001FF0017147F931A>II<01F81807FE381F87783F01F83E01F87E00F87C00F8FC00F8FC 00F8FC00F8FC00F8FC00F8FC00F87C00F87E00F87E00F83F01F81F87F80FFEF803F8F80000F800 00F80000F80000F80000F80000F80000F80007FF0007FF181D7E931C>II<0FE63FFE701E600EE006E006F800FFC07FF83FFC 1FFE03FE001FC007C007E007F006F81EFFFCC7F010147E9315>I117 DI121 D E /Fc 5 84 df<0000038000000F0000003C000000F0000003C000000F0000003C000000F000 0003C000000F0000003C000000F0000000F00000003C0000000F00000003C0000000F00000003C 0000000F00000003C0000000F00000003C0000000F000000038019187D9520>60 D62 D<00000C0000000C0000001C00 00001C0000003C0000007C0000005C0000009C0000008E0000010E0000010E0000020E0000040E 0000040E0000080E0000080E0000100E0000200E00003FFE000040070000400700008007000100 0700010007000200070002000700060007001E000700FF807FF01C1D7F9C1F>65 D<01FFFF00003C01C0003800E0003800F0003800700038007000700070007000F0007000F00070 01E000E003C000E0078000E01F0000FFFC0001C00F0001C0078001C003C001C003C0038003C003 8003C0038003C0038003C0070007800700070007000E0007001C000E007800FFFFC0001C1C7E9B 1F>I<000FC100303300400F008006018006030006030006060004060004070000070000078000 03F00001FF0000FFC0003FE00003E00000F0000070000030000030200030200030600060600060 6000C0600080F00300CC060083F800181E7E9C19>83 D E /Fd 1 16 df<03C00FF01FF83FFC7F FE7FFEFFFFFFFFFFFFFFFF7FFE7FFE3FFC1FF80FF003C010107E9115>15 D E /Fe 4 75 df<000000040000000C00000018000000300000003000000060000000C0000000 C00000018000000300000003000000060000000C0000000C000000180000003000000030000000 60000000C0000000C00000018000000300000003000000060000000C0000000C00000018000000 300000003000000060000000C0000000C00000018000000300000003000000060000000C000000 0C00000018000000300000003000000060000000C0000000400000001E2C81AA00>10 D45 D<0600060006000F000F000F001F801F801F803FC03FC07FE07FE0FFF0FFF00C0F86A700>54 D<40000000C0000000600000003000000030000000180000000C0000000C000000060000000300 0000030000000180000000C0000000C0000000600000003000000030000000180000000C000000 0C0000000600000003000000030000000180000000C0000000C000000060000000300000003000 0000180000000C0000000C0000000600000003000000030000000180000000C0000000C0000000 600000003000000030000000180000000C000000041E2C81AA00>74 D E /Ff 38 122 df45 D<1F0060C06060F070F030603000700070006000C001C0 0180020004000810101020207FE0FFE00C137E9211>50 D<0FC030707038703870380038003000 E00FC0007000380018001C601CF01CF018E03860701FC00E137F9211>I<003000003000007800 007800007800009C00009C00011E00010E00010E0002070002070004038007FF800403800801C0 0801C01000E03800E0FE07FC16147F9319>65 D<00FC200703600C00E018006030006070002060 0020E00000E00000E00000E00000E00000E000006000207000203000201800400C008007030000 FC0013147E9318>67 D69 D73 D76 D78 D<01F800070E001C0380 3801C03000C07000E0600060E00070E00070E00070E00070E00070E000707000E07000E03000C0 3801C01C0380070E0001F80014147E9319>II82 D<1F1030F06030C030C010C010E00070007F003FC00FF000F000380018801880188018C030F060 8FC00D147E9312>I<7FFFF0607030407010407010807008807008807008007000007000007000 00700000700000700000700000700000700000700000700000700007FF0015147F9318>I88 D<7F00E1C0E0404060006007E0 38606060C060C064C06461E43E380E0D7E8C11>97 DI<0FE0187020706020C0 00C000C000C000C0006000201018200FC00C0D7F8C0F>I<00780018001800180018001800180F 98187820386018C018C018C018C018C0186018203810580F9E0F147F9312>I<0F801040202060 30C010FFF0C000C000C0006000201018200FC00C0D7F8C0F>I<03C00CE018E018401800180018 00FF00180018001800180018001800180018001800180018007F000B1480930A>I<0F3C30E620 40606060606060204030C02F00600060003FE03FF06018C00CC00CC00C601830300FC00F147F8C 11>II<2070200000000000F03030303030303030303030FC06157F9409>I108 DII<0FC0186020106018C00C C00CC00CC00CC00C6018601838700FC00E0D7F8C11>II<0F88184820386018C018 C018C018C018C0186018203818580F9800180018001800180018007E0F137F8C11>II<3E806180C080C080E000 7E003F8003C080C080C0C0C0E1809F000A0D7F8C0D>I<10001000100030007000FF8030003000 3000300030003000300030803080308011000E0009127F910D>IIIIII E /Fg 14 118 df45 D<07C01C7030183018600C600C600CE00EE00EE00EE00EE00EE00EE00EE00EE00EE00EE00E 600C701C301830181C7007C00F187D9715>48 D<0FC010702038401C801EC00EE00E400E001E00 1C001C00380030006000C00180030006020C02080210043FFC7FFCFFFC0F187D9715>50 D<00180000180000380000780000F80000B8000138000238000238000438000838001838001038 00203800403800C03800FFFF8000380000380000380000380000380000380003FF8011187E9715 >52 D<01F006080C0C181C301C300070006000E000E3C0EC30F018F01CE00CE00EE00EE00E600E 600E700C301C18180C3007C00F187D9715>54 D<07C0182030107018601CE00CE00CE00EE00EE0 0E600E701E301E186E078E000E000C001C001870187030606020C01F000F187D9715>57 D<00600000600000F00000F00000F000013800013800013800021C00021C00040E00040E0007FE 000807000807001003801003803803C0FC0FF014137F9217>97 D<01F080060D801C0380380180 300180700080600080E00000E00000E00000E00000E000006000807000803000803801001C0200 060C0001F00011137E9216>99 D102 D105 D112 D114 D<1F9020704030C010C010C0 00E0007C007F803FC007E000700070003080308030C020E0409F800C137E9211>I117 D E /Fh 36 122 df<0001FC3C00060E6700 0C0EC7001C0DC6001C01C0003801C0003803800038038000380380003803800070038007FFFFF8 00700700007007000070070000E0070000E00E0000E00E0000E00E0000E00E0001C00E0001C01C 0001C01C0001C01C0001C01C0003801C0003803800038038000380380003003800070030000700 700006006000C6606000E470C000C8618000703E00002025819C19>11 D<0001FC000703000C03 001C07001C0300180000380000380000380000380000700007FFFC00701C00701C00701C00E038 00E03800E03800E03800E07001C07001C07001C07001C0E201C0E201C0E20380E4038064038038 038000030000070000060000C60000E40000CC00007000001825819C17>I45 D<0000180000001800000038000000380000007800000078000000B8000001B80000 0138000002380000023C0000041C0000041C0000081C0000181C0000101C0000201C0000201C00 007FFC0000401C0000801C0001801C0001001C0002001C0002001C0004000E000C000E001C001E 00FF00FFC01A1D7E9C1F>65 D<01FFFE00003C0780003803C0003801C0003801C0003801C00070 01C0007003C0007003C00070078000E0070000E00E0000E03C0000FFF80001C01C0001C00E0001 C00F0001C00F0003800F0003800F0003800F0003800F0007001E0007001C0007003C0007007800 0E01E000FFFF80001A1C7D9B1D>I<0003F020001E0C60003002E000E003C001C001C0038001C0 070000C00E0000801E0000801C0000803C0000803C000000780000007800000078000000F00000 00F0000000F0000000F0000000F0000400F0000400F0000400F000080070000800700010003800 2000180040000C0180000706000001F800001B1E7A9C1E>I<01FFFFE0003C00E0003800600038 004000380040003800400070004000700040007020400070200000E0400000E0400000E0C00000 FFC00001C0800001C0800001C0800001C080000381010003800100038002000380020007000400 0700040007000C00070018000E007800FFFFF0001B1C7D9B1C>69 D<0003F020001E0C60003002 E000E003C001C001C0038001C0070000C00E0000801E0000801C0000803C0000803C0000007800 00007800000078000000F0000000F0000000F001FFC0F0001E00F0001C00F0001C00F0001C00F0 001C00700038007000380038003800180078000C0090000707100001F800001B1E7A9C20>71 D<01FFC0003C0000380000380000380000380000700000700000700000700000E00000E00000E0 0000E00001C00001C00001C00001C0000380000380000380000380000700000700000700000700 000F0000FFE000121C7E9B10>73 D<01FE0007F8003E000780002E000F00002E001700002E0017 00002E002700004E002E00004E004E00004E004E00004E008E00008E011C00008E011C00008E02 1C00008E021C000107043800010704380001070838000107103800020710700002072070000207 2070000207407000040740E000040780E000040700E0000C0700E0001C0601E000FF861FFC0025 1C7D9B25>77 D<01FFFC00003C070000380380003801C0003801C0003801C0007003C0007003C0 007003C00070038000E0078000E0070000E00E0000E0380001FFE00001C0000001C0000001C000 0003800000038000000380000003800000070000000700000007000000070000000F000000FFE0 00001A1C7D9B1C>80 D<01FFF800003C0E00003807000038038000380380003803800070078000 7007800070078000700F0000E00E0000E01C0000E0700000FFC00001C0C00001C0600001C07000 01C07000038070000380700003807000038070000700F0000700F0400700F0400700F0800F0078 80FFE0790000001E001A1D7D9B1E>82 D<000F8400304C00403C00801801001803001803001806 001006001006000007000007000003E00003FC0001FF00007F800007C00001C00001C00000C000 00C02000C02000C0600180600180600300600200F00400CC180083E000161E7D9C17>I<1FFFFF C01C0701C0300E00C0200E0080600E0080400E0080401C0080801C0080801C0080001C00000038 00000038000000380000003800000070000000700000007000000070000000E0000000E0000000 E0000000E0000001C0000001C0000001C0000001C0000003C000007FFE00001A1C799B1E>I<03 CC063C0C3C181C3838303870387038E070E070E070E070E0E2C0E2C0E261E462643C380F127B91 15>97 D<3F00070007000E000E000E000E001C001C001C001C0039C03E60383038307038703870 387038E070E070E070E060E0E0C0C0C1C0618063003C000D1D7B9C13>I<01F007080C08181C38 38300070007000E000E000E000E000E000E008E010602030C01F000E127B9113>I<001F800003 80000380000700000700000700000700000E00000E00000E00000E0003DC00063C000C3C00181C 00383800303800703800703800E07000E07000E07000E07000E0E200C0E200C0E20061E4006264 003C3800111D7B9C15>I<01E007100C1018083810701070607F80E000E000E000E000E000E008 6010602030C01F000D127B9113>I<0003C0000670000C70001C60001C00001C00003800003800 00380000380000380003FF8000700000700000700000700000700000E00000E00000E00000E000 00E00001C00001C00001C00001C00001C000038000038000038000030000030000070000C60000 E60000CC00007800001425819C0D>I<00F3018F030F06070E0E0C0E1C0E1C0E381C381C381C38 1C383830383038187818F00F700070007000E000E0C0C0E1C0C3007E00101A7D9113>I<0FC000 01C00001C0000380000380000380000380000700000700000700000700000E78000E8C000F0E00 0E0E001C0E001C0E001C0E001C0E00381C00381C00381C00383800703880703880707080707100 E03200601C00111D7D9C15>I<01800380010000000000000000000000000000001C0026004700 47008E008E000E001C001C001C0038003800710071007100720072003C00091C7C9B0D>I<0FC0 0001C00001C0000380000380000380000380000700000700000700000700000E0F000E11000E23 800E43801C83001C80001D00001E00003F800039C00038E00038E00070E20070E20070E20070E4 00E06400603800111D7D9C13>107 D<1F800380038007000700070007000E000E000E000E001C 001C001C001C0038003800380038007000700070007000E400E400E400E40068003800091D7C9C 0B>I<3C1E0780266318C04683A0E04703C0E08E0380E08E0380E00E0380E00E0380E01C0701C0 1C0701C01C0701C01C070380380E0388380E0388380E0708380E0710701C0320300C01C01D127C 9122>I<3C3C002646004687004707008E07008E07000E07000E07001C0E001C0E001C0E001C1C 00381C40381C40383840383880701900300E0012127C9117>I<01E007180C0C180C380C300E70 0E700EE01CE01CE01CE018E038E030E06060C031801E000F127B9115>I<07870004D98008E0C0 08E0C011C0E011C0E001C0E001C0E00381C00381C00381C0038180070380070300070700070600 0E8C000E70000E00000E00001C00001C00001C00001C00003C0000FF8000131A7F9115>I<3C3C 26C2468747078E068E000E000E001C001C001C001C0038003800380038007000300010127C9112 >114 D<01F006080C080C1C18181C001F001FC00FF007F0007800386030E030C030806060C01F 000E127D9111>I<00C001C001C001C00380038003800380FFE00700070007000E000E000E000E 001C001C001C001C00384038403840388019000E000B1A7D990E>I<1E03002707004707004707 00870E00870E000E0E000E0E001C1C001C1C001C1C001C1C003838803838801838801839001C59 00078E0011127C9116>I<1E06270E470E4706870287020E020E021C041C041C041C0818083808 181018200C4007800F127C9113>I<1E01832703874703874703838707018707010E07010E0701 1C0E021C0E021C0E021C0E04180C04181C04181C081C1C100C263007C3C018127C911C>I<1E03 270747074707870E870E0E0E0E0E1C1C1C1C1C1C1C1C38383838183818381C7007F00070007000 E0E0C0E1C0818047003C00101A7C9114>121 D E /Fi 24 124 df45 D<07E000183800200C00400E00400700F00780F80780F80380F803807003800007800007000007 00000E00000C00001C0000380000700000C0000180000300000200800400800800801001003FFF 007FFF00FFFF00111C7D9B17>50 D80 D<001FC00000F0780001C01C00070007000E0003801E 0003C01C0001C0380000E0780000F0780000F070000070F0000078F0000078F0000078F0000078 F0000078F0000078F0000078F000007870000070780000F0780000F0380000E01C0701C01C08C1 C00E1043800710270003D03E0000F87808001FD008000018080000181800001C3800000FF00000 0FF0000007E0000003C01D257D9C23>I<7FFFFFC0700F01C0600F00C0400F0040400F0040C00F 0020800F0020800F0020800F0020000F0000000F0000000F0000000F0000000F0000000F000000 0F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000 000F0000001F800003FFFC001B1C7D9B21>84 D<00200000700000700000700000B80000B80000 B800011C00011C00011C00020E00020E0004070004070007FF000803800803800803801801C038 03C0FE0FF815157F9419>97 D<00FC200782600E01E01C00E0380060780020700020F00020F000 00F00000F00000F00000F00000F000207000207800203800401C00400E008007830000FC001315 7E9419>99 DIII104 DI107 DIII<01F800070E000C03001C03803801C07801E07000E0F000 F0F000F0F000F0F000F0F000F0F000F0F000F07000E07801E03801C01C03801E0780070E0001F8 0014157E941A>II< 01F800070E000E07001C03803801C07801E07000E0F000F0F000F0F000F0F000F0F000F0F000F0 F000F07000E07801E038F1C01D0B801D0B80070E0001FC100004100006300007F00007E00003E0 0001C0141B7E941A>II<1F1030F06030C030C010C010C000E0007E003FC01FE003F0007800380018801880188010C0 30F0608FC00D157E9413>I<7FFFF0607030407010407010807008807008807008007000007000 00700000700000700000700000700000700000700000700000700000700000700007FF0015157F 9419>I119 D123 D E /Fj 3 52 df<0C003C00CC000C000C000C000C000C000C000C000C000C000C000C000C00FF80 09107E8F0F>49 D<1F00618040C08060C0600060006000C00180030006000C00102020207FC0FF C00B107F8F0F>I<1F00218060C060C000C0008001800F00008000400060C060C060804060801F 000B107F8F0F>I E /Fk 51 122 df<00FC7C0183C607078E0607040E07000E07000E07000E07 000E07000E0700FFFFF00E07000E07000E07000E07000E07000E07000E07000E07000E07000E07 000E07000E07000E07000E07007F0FF0171A809916>11 D<00FC000182000703000607000E0200 0E00000E00000E00000E00000E0000FFFF000E07000E07000E07000E07000E07000E07000E0700 0E07000E07000E07000E07000E07000E07000E07007F0FE0131A809915>I<007E1F8001C17040 0703C060060380E00E0380400E0380000E0380000E0380000E0380000E038000FFFFFFE00E0380 E00E0380E00E0380E00E0380E00E0380E00E0380E00E0380E00E0380E00E0380E00E0380E00E03 80E00E0380E00E0380E00E0380E07F8FE3FC1E1A809920>14 D<60C0F1E0F9F068D00810081008 10102010202040C1800C0B7F9913>34 D<60F0F868080808101020C0050B7D990B>39 D<00800100020004000C00080018003000300030006000600060006000E000E000E000E000E000 E000E000E000E000E0006000600060006000300030003000180008000C00040002000100008009 267D9B0F>I<8000400020001000180008000C0006000600060003000300030003000380038003 80038003800380038003800380038003000300030003000600060006000C000800180010002000 4000800009267E9B0F>I<60F0F07010101020204080040B7D830B>44 DI<60F0F06004047D830B>I<0F80106020304038803CC01CE01C401C003C003800380070006000 C001800100020004040804100430083FF87FF8FFF80E187E9713>50 D<000C0000000C0000000C 0000001E0000001E0000003F000000270000002700000043800000438000004380000081C00000 81C0000081C0000100E0000100E00001FFE0000200700002007000060078000400380004003800 08001C0008001C001C001E00FF00FFC01A1A7F991D>65 D<003F0201C0C603002E0E001E1C000E 1C0006380006780002700002700002F00000F00000F00000F00000F00000F00000700002700002 7800023800041C00041C00080E000803003001C0C0003F00171A7E991C>67 DI70 D72 DI76 D78 D<007F000001C1C000070070000E0038001C00 1C003C001E0038000E0078000F0070000700F0000780F0000780F0000780F0000780F0000780F0 000780F0000780F000078078000F0078000F0038000E003C001E001C001C000E00380007007000 01C1C000007F0000191A7E991E>II82 D<0FC21836200E6006C006C002C002C002E00070007E00 3FE01FF807FC003E000E00070003800380038003C002C006E004D81887E0101A7E9915>I<7FFF FF00701C0700401C0100401C0100C01C0180801C0080801C0080801C0080001C0000001C000000 1C0000001C0000001C0000001C0000001C0000001C0000001C0000001C0000001C0000001C0000 001C0000001C0000001C0000001C0000001C000003FFE000191A7F991C>II<18 30204040804080810081008100B160F9F078F030600C0B7B9913>92 D<3F8070C070E020700070 007007F01C7030707070E070E071E071E0F171FB1E3C10107E8F13>97 DI<07F8 0C1C381C30087000E000E000E000E000E000E0007000300438080C1807E00E107F8F11>I<007E 00000E00000E00000E00000E00000E00000E00000E00000E00000E0003CE000C3E00380E00300E 00700E00E00E00E00E00E00E00E00E00E00E00E00E00600E00700E00381E001C2E0007CFC0121A 7F9915>I<07C01C3030187018600CE00CFFFCE000E000E000E0006000300438080C1807E00E10 7F8F11>I<01F0031807380E100E000E000E000E000E000E00FFC00E000E000E000E000E000E00 0E000E000E000E000E000E000E000E007FE00D1A80990C>I<0FCE187330307038703870387038 303018602FC02000600070003FF03FFC1FFE600FC003C003C003C0036006381C07E010187F8F13 >II<18003C003C001800000000000000000000000000FC001C001C001C001C00 1C001C001C001C001C001C001C001C001C001C00FF80091A80990A>I<018003C003C001800000 000000000000000000000FC001C001C001C001C001C001C001C001C001C001C001C001C001C001 C001C001C001C001C041C0E180E3007E000A2182990C>IIIII<07E01C38300C700E6006E007E007E007E007 E007E0076006700E381C1C3807E010107F8F13>II<03C2000C2600381E00300E00700E00E00E00E00E 00E00E00E00E00E00E00E00E00700E00700E00381E001C2E0007CE00000E00000E00000E00000E 00000E00000E00007FC012177F8F14>II<1F2060E04020C020C020F0007F003FC01FE000F08070 8030C030C020F0408F800C107F8F0F>I<0400040004000C000C001C003C00FFC01C001C001C00 1C001C001C001C001C001C201C201C201C201C200E4003800B177F960F>IIIIII E /Fl 32 122 df<003FE3F801F03F1C03C03E3E07C07C3E0F807C3E0F807C1C0F807C000F807C 000F807C000F807C000F807C00FFFFFFC0FFFFFFC00F807C000F807C000F807C000F807C000F80 7C000F807C000F807C000F807C000F807C000F807C000F807C000F807C000F807C000F807C007F E1FFC07FE1FFC01F1D809C1C>11 D<003FC00001F0300003C0380007C07C000F807C000F807C00 0F8038000F8000000F8000000F8000000F800000FFFFFC00FFFFFC000F807C000F807C000F807C 000F807C000F807C000F807C000F807C000F807C000F807C000F807C000F807C000F807C000F80 7C000F807C007FE1FF807FE1FF80191D809C1B>I<01C00003E00001C00041C100F1C780F9CF80 FDDF803EBE0007F00007F0003EBE00FDDF80F9CF80F1C78041C10001C00003E00001C00011127D 9E18>42 D45 D<00038000000380000007C0000007C0000007 C000000FE000000FE000001FF000001BF000001BF0000031F8000031F8000061FC000060FC0000 E0FE0000C07E0000C07E0001803F0001FFFF0003FFFF8003001F8003001F8006000FC006000FC0 0E000FE00C0007E0FFC07FFEFFC07FFE1F1C7E9B24>65 D68 DI78 D80 D<0FF8001C1E003E0F803E07803E07C01C07C00007C0007FC007E7C01F07C03C07C07C07 C0F807C0F807C0F807C0780BC03E13F80FE1F815127F9117>97 DI<03FC000E0E001C1F003C1F00781F00780E00F80000F80000F80000F80000F80000F800 007800007801803C01801C03000E0E0003F80011127E9115>I<000FF0000FF00001F00001F000 01F00001F00001F00001F00001F00001F00001F001F9F00F07F01C03F03C01F07801F07801F0F8 01F0F801F0F801F0F801F0F801F0F801F07801F07801F03C01F01C03F00F0FFE03F9FE171D7E9C 1B>I<01FC000F07001C03803C01C07801C07801E0F801E0F801E0FFFFE0F80000F80000F80000 7800007C00603C00601E00C00F038001FC0013127F9116>I<007F0001E38003C7C00787C00F87 C00F83800F80000F80000F80000F80000F8000FFF800FFF8000F80000F80000F80000F80000F80 000F80000F80000F80000F80000F80000F80000F80000F80000F80007FF8007FF800121D809C0F >I<03F8F00E0F381E0F381C07303C07803C07803C07803C07801C07001E0F000E0E001BF80010 00001800001800001FFF001FFFC00FFFE01FFFF07801F8F00078F00078F000787000707800F01E 03C007FF00151B7F9118>II<1E003F003F003F003F001E 00000000000000000000000000FF00FF001F001F001F001F001F001F001F001F001F001F001F00 1F001F001F00FFE0FFE00B1E7F9D0E>I108 DII<01FC000F07801C01C03C01E07800F07800F0F800F8F800F8F800F8F800F8F8 00F8F800F87800F07800F03C01E01E03C00F078001FC0015127F9118>II<03F0 600F0CE01E07E03C03E07C03E07803E0F803E0F803E0F803E0F803E0F803E0F803E07803E07C03 E03C03E01C07E00E0FE003F3E00003E00003E00003E00003E00003E00003E0001FFC001FFC161A 7E9119>II<1FD830786018E018E018F000 FF807FE07FF01FF807FC007CC01CC01CE01CE018F830CFC00E127E9113>I<0300030003000300 070007000F000F003FFCFFFC1F001F001F001F001F001F001F001F001F001F0C1F0C1F0C1F0C0F 08079803F00E1A7F9913>IIIIII E /Fm 77 128 df<007E1F0001C1B1800303E3C00703C3C00E03C1800E01C0 000E01C0000E01C0000E01C0000E01C0000E01C000FFFFFC000E01C0000E01C0000E01C0000E01 C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E01C0000E 01C0000E01C0000E01C0007F87FC001A1D809C18>11 D<007E0001C1800301800703C00E03C00E 01800E00000E00000E00000E00000E0000FFFFC00E01C00E01C00E01C00E01C00E01C00E01C00E 01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C07F87F8151D809C17>I< 007FC001C1C00303C00703C00E01C00E01C00E01C00E01C00E01C00E01C00E01C0FFFFC00E01C0 0E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C00E01C0 0E01C00E01C07FCFF8151D809C17>I<003F07E00001C09C18000380F018000701F03C000E01E0 3C000E00E018000E00E000000E00E000000E00E000000E00E000000E00E00000FFFFFFFC000E00 E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E 00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C000E00E01C00 7FC7FCFF80211D809C23>I<6060F0F0F8F86868080808080808101010102020404080800D0C7F 9C15>34 D<00E00000019000000308000003080000070800000708000007080000070800000710 000007100000072000000740000003C03FE003800F00038006000380040005C0040009C0080010 E0100030E010006070200060702000E0384000E03C4000E01C8000E00F0020E007002070078040 3009C0401830E18007C03E001B1F7E9D20>38 D<60F0F8680808081010204080050C7C9C0C>I< 004000800100020006000C000C0018001800300030007000600060006000E000E000E000E000E0 00E000E000E000E000E000E000E000600060006000700030003000180018000C000C0006000200 0100008000400A2A7D9E10>I<800040002000100018000C000C00060006000300030003800180 0180018001C001C001C001C001C001C001C001C001C001C001C001C00180018001800380030003 00060006000C000C00180010002000400080000A2A7E9E10>I<60F0F070101010102020408004 0C7C830C>44 DI<60F0F06004047C830C>I<0001000300060006000600 0C000C000C0018001800180030003000300060006000C000C000C0018001800180030003000300 060006000C000C000C00180018001800300030003000600060006000C000C00010297E9E15>I< 03C00C301818300C300C700E60066006E007E007E007E007E007E007E007E007E007E007E007E0 07E00760066006700E300C300C18180C3007E0101D7E9B15>I<030007003F00C7000700070007 000700070007000700070007000700070007000700070007000700070007000700070007000700 0F80FFF80D1C7C9B15>I<07C01830201C400C400EF00FF80FF807F8077007000F000E000E001C 001C00380070006000C00180030006010C01180110023FFE7FFEFFFE101C7E9B15>I<07E01830 201C201C781E780E781E381E001C001C00180030006007E00030001C001C000E000F000F700FF8 0FF80FF80FF00E401C201C183007E0101D7E9B15>I<000C00000C00001C00003C00003C00005C 0000DC00009C00011C00031C00021C00041C000C1C00081C00101C00301C00201C00401C00C01C 00FFFFC0001C00001C00001C00001C00001C00001C00001C0001FFC0121C7F9B15>I<300C3FF8 3FF03FC020002000200020002000200023E024302818301C200E000E000F000F000F600FF00FF0 0FF00F800E401E401C2038187007C0101D7E9B15>I<00F0030C06040C0E181E301E300C700070 006000E3E0E430E818F00CF00EE006E007E007E007E007E007600760077006300E300C18180C30 03E0101D7E9B15>I<4000007FFF807FFF007FFF00400200800400800400800800001000001000 00200000600000400000C00000C00001C000018000018000038000038000038000038000078000 078000078000078000078000078000030000111D7E9B15>I<03E00C301008200C200660066006 60067006780C3E083FB01FE007F007F818FC307E601E600FC007C003C003C003C0036002600430 0C1C1007E0101D7E9B15>I<03C00C301818300C700C600EE006E006E007E007E007E007E00760 07700F300F18170C2707C700060006000E300C780C78187010203030C00F80101D7E9B15>I<60 F0F0600000000000000000000060F0F06004127C910C>I<003F800000C0600003001800040004 000800020010000100201F00802070808040E0404040C0384041C0384081803820838038208380 38208380382083803820838038208180382041C0382040C0384040E0784020709880201F0F0010 0000000800000004000000030001E000C01F80003FF0001B1D7E9C20>64 D<000600000006000000060000000F0000000F0000000F00000017800000178000001780000023 C0000023C0000023C0000041E0000041E0000041E0000080F0000080F0000180F8000100780001 FFF80003007C0002003C0002003C0006003E0004001E0004001E000C001F001E001F00FF80FFF0 1C1D7F9C1F>II<001F808000E0618001801980070007800E0003 801C0003801C00018038000180780000807800008070000080F0000000F0000000F0000000F000 0000F0000000F0000000F0000000F0000000700000807800008078000080380000801C0001001C 0001000E000200070004000180080000E03000001FC000191E7E9C1E>IIII<001F808000E0618001801980070007800E000380 1C0003801C00018038000180780000807800008070000080F0000000F0000000F0000000F00000 00F0000000F0000000F000FFF0F0000F80700007807800078078000780380007801C0007801C00 07800E00078007000B800180118000E06080001F80001C1E7E9C21>III<1FFF00F800780078007800780078007800780078007800 780078007800780078007800780078007800787078F878F878F878F0F040E021C01F00101D7F9B 15>IIIII<003F800000E0E0000380380007001C000E000E001C0007003C000780 38000380780003C0780003C0700001C0F00001E0F00001E0F00001E0F00001E0F00001E0F00001 E0F00001E0F00001E0700001C0780003C0780003C0380003803C0007801C0007000E000E000700 1C000380380000E0E000003F80001B1E7E9C20>II82 D<07E0801C1980300580700380600180E00180E00080E00080E00080F00000F800007C0000 7FC0003FF8001FFE0007FF0000FF80000F800007C00003C00001C08001C08001C08001C0C00180 C00180E00300D00200CC0C0083F800121E7E9C17>I<7FFFFFC0700F01C0600F00C0400F004040 0F0040C00F0020800F0020800F0020800F0020000F0000000F0000000F0000000F0000000F0000 000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F0000000F00 00000F0000000F0000001F800003FFFC001B1C7F9B1E>IIII<7FFFF07C01F070 01E06003C06003C0400780400F80400F00401E00001E00003C00007C0000780000F00000F00001 E00003E00003C0100780100780100F00101F00301E00203C00203C00607800E0F803E0FFFFE014 1C7E9B19>90 D<08081010202040404040808080808080B0B0F8F8787830300D0C7A9C15>92 D<1FC000307000783800781C00301C00001C00001C0001FC000F1C00381C00701C00601C00E01C 40E01C40E01C40603C40304E801F870012127E9115>97 DI<07E00C301878307870306000E000E000E000E000E000E00060007004300418080C3007C00E12 7E9112>I<003F0000070000070000070000070000070000070000070000070000070000070003 E7000C1700180F00300700700700600700E00700E00700E00700E00700E00700E0070060070070 0700300700180F000C370007C7E0131D7E9C17>I<03E00C301818300C700E6006E006FFFEE000 E000E000E00060007002300218040C1803E00F127F9112>I<00F8018C071E061E0E0C0E000E00 0E000E000E000E00FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E 000E007FE00F1D809C0D>I<00038003C4C00C38C01C3880181800381C00381C00381C00381C00 1818001C38000C300013C0001000003000001800001FF8001FFF001FFF803003806001C0C000C0 C000C0C000C06001803003001C0E0007F800121C7F9215>II<18003C003C0018000000000000000000000000000000FC001C001C001C001C001C001C001C 001C001C001C001C001C001C001C001C001C00FF80091D7F9C0C>I<00C001E001E000C0000000 00000000000000000000000FE000E000E000E000E000E000E000E000E000E000E000E000E000E0 00E000E000E000E000E000E000E060E0F0C0F1C061803E000B25839C0D>IIIII<03F000 0E1C00180600300300700380600180E001C0E001C0E001C0E001C0E001C0E001C0600180700380 3003001806000E1C0003F00012127F9115>II<03C1000C3300180B00300F0070 0700700700E00700E00700E00700E00700E00700E00700600700700700300F00180F000C370007 C700000700000700000700000700000700000700000700003FE0131A7E9116>II<1F90 30704030C010C010E010F8007F803FE00FF000F880388018C018C018E010D0608FC00D127F9110 >I<04000400040004000C000C001C003C00FFE01C001C001C001C001C001C001C001C001C001C 101C101C101C101C100C100E2003C00C1A7F9910>IIII<7F8FF00F03800F03000702 0003840001C80001D80000F00000700000780000F800009C00010E00020E000607000403801E07 C0FF0FF81512809116>II<7FFC70386038407040F040E041C003C0038007000F 040E041C043C0C380870087038FFF80E127F9112>II<6060F0F0F0F06060 0C047C9C15>127 D E /Fn 44 122 df<000FF83F00007FFDFFC001F81FE3E003E03F87E007C0 3F87E00F803F07E00F803F03C00F801F00000F801F00000F801F00000F801F00000F801F00000F 801F0000FFFFFFFC00FFFFFFFC000F801F00000F801F00000F801F00000F801F00000F801F0000 0F801F00000F801F00000F801F00000F801F00000F801F00000F801F00000F801F00000F801F00 000F801F00000F801F00000F801F00000F801F00000F801F00007FF0FFF0007FF0FFF00023237F A221>11 D<000F800000001FC000000038600000007060000000F030000000F030000001E03000 0001E030000001F060000001F060000001F0C0000001F180000001F380000000FF001FFC00FE00 1FFC00FC00018000FC000180007C00030000FE00060003BE000600073F000C000E1F0018001E1F 8018003C0FC030007C07E06000FC07F0C000FC03F0C000FC01F98000FC00FF0000FE007E000C7E 003F000C3F007FC0181F81E7F0780FFF81FFE001FC003F8026237EA22C>38 D<387CFEFFFF7F3B03030706060C1C18702008117C8610>44 DI<03FC000FFF003C1FC07007E07C07F0FE03F0FE03F8FE03F8FE01F87C01F83803F80003F800 03F00003F00007E00007C0000F80001F00003E0000380000700000E01801C0180380180700180E 00380FFFF01FFFF03FFFF07FFFF0FFFFF0FFFFF015207D9F1C>50 D<0000700000000070000000 00F800000000F800000000F800000001FC00000001FC00000003FE00000003FE00000003FE0000 0006FF000000067F0000000E7F8000000C3F8000000C3F800000183FC00000181FC00000381FE0 0000300FE00000300FE00000600FF000006007F00000E007F80000FFFFF80000FFFFF800018001 FC00018001FC00038001FE00030000FE00030000FE000600007F000600007F00FFE00FFFF8FFE0 0FFFF825227EA12A>65 DI<0003FE0080001F FF818000FF01E38001F8003F8003E0001F8007C0000F800F800007801F800007803F000003803F 000003807F000001807E000001807E00000180FE00000000FE00000000FE00000000FE00000000 FE00000000FE00000000FE00000000FE000000007E000000007E000001807F000001803F000001 803F000003801F800003000F8000030007C000060003F0000C0001F800380000FF00F000001FFF C0000003FE000021227DA128>IIII73 D<03FFFF03FFFF0007F00007F00007F00007F00007F00007F00007F00007F00007F00007F0 0007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F01807F0 7E07F0FF07F0FF07F0FF07F0FF07E07E0FE07C1FC01FFF0007F80018227FA11D>I76 DII<0007FC0000003FFF800000FC07E00003F001F8 0007E000FC000FC0007E001F80003F001F80003F003F00001F803F00001F807F00001FC07E0000 0FC07E00000FC0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00000FE0FE00 000FE0FE00000FE0FE00000FE07E00000FC07F00001FC07F00001FC03F00001F803F80003F801F 80003F000FC0007E0007E000FC0003F001F80000FC07E000003FFF80000007FC000023227DA12A >II82 D<01FC0407FF8C1F03FC3C007C7C003C78001C78001CF8000CF8000CFC 000CFC0000FF0000FFE0007FFF007FFFC03FFFF01FFFF80FFFFC03FFFE003FFE0003FF00007F00 003F00003FC0001FC0001FC0001FE0001EE0001EF0003CFC003CFF00F8C7FFE080FF8018227DA1 1F>I<7FFFFFFF807FFFFFFF807E03F80F807803F807807003F803806003F80180E003F801C0E0 03F801C0C003F800C0C003F800C0C003F800C0C003F800C00003F800000003F800000003F80000 0003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F800 000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F8 00000003F8000003FFFFF80003FFFFF80022227EA127>I87 D<07FC001FFF803F07C03F03E03F01E03F01F01E01F00001F00001F0003FF003FDF01FC1F03F01 F07E01F0FC01F0FC01F0FC01F0FC01F07E02F07E0CF81FF87F07E03F18167E951B>97 DI<00FF8007FFE00F83 F01F03F03E03F07E03F07C01E07C0000FC0000FC0000FC0000FC0000FC0000FC00007C00007E00 007E00003E00301F00600FC0E007FF8000FE0014167E9519>I<0001FE000001FE0000003E0000 003E0000003E0000003E0000003E0000003E0000003E0000003E0000003E0000003E0000003E00 01FC3E0007FFBE000F81FE001F007E003E003E007E003E007C003E00FC003E00FC003E00FC003E 00FC003E00FC003E00FC003E00FC003E00FC003E007C003E007C003E003E007E001E00FE000F83 BE0007FF3FC001FC3FC01A237EA21F>I<00FE0007FF800F87C01E01E03E01F07C00F07C00F8FC 00F8FC00F8FFFFF8FFFFF8FC0000FC0000FC00007C00007C00007E00003E00181F00300FC07003 FFC000FF0015167E951A>I<003F8000FFC001E3E003C7E007C7E00F87E00F83C00F80000F8000 0F80000F80000F80000F8000FFFC00FFFC000F80000F80000F80000F80000F80000F80000F8000 0F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80007FF8007FF800 13237FA211>I<03FC1E0FFF7F1F0F8F3E07CF3C03C07C03E07C03E07C03E07C03E07C03E03C03 C03E07C01F0F801FFF0013FC003000003000003800003FFF801FFFF00FFFF81FFFFC3800FC7000 3EF0001EF0001EF0001EF0001E78003C7C007C3F01F80FFFE001FF0018217E951C>II<1C003F007F007F007F003F001C 000000000000000000000000000000FF00FF001F001F001F001F001F001F001F001F001F001F00 1F001F001F001F001F001F001F001F00FFE0FFE00B247EA310>I107 DIII<00FE0007FFC00F83E01E00F03E00F87C007C7C00 7C7C007CFC007EFC007EFC007EFC007EFC007EFC007EFC007E7C007C7C007C3E00F81F01F00F83 E007FFC000FE0017167E951C>II114 D<0FF3003FFF00781F0060 0700E00300E00300F00300FC00007FE0007FF8003FFE000FFF0001FF00000F80C00780C00380E0 0380E00380F00700FC0E00EFFC00C7F00011167E9516>I<018000018000018000018000038000 0380000780000780000F80003F8000FFFF00FFFF000F80000F80000F80000F80000F80000F8000 0F80000F80000F80000F80000F80000F81800F81800F81800F81800F81800F830007C30003FE00 00F80011207F9F16>IIII121 D E /Fo 23 122 df<000003800000000007C00000000007C0000000000FE0000000000FE0000000000FE0000000 001FF0000000001FF0000000003FF8000000003FF8000000003FF80000000073FC0000000073FC 00000000F3FE00000000E1FE00000000E1FE00000001C0FF00000001C0FF00000003C0FF800000 03807F80000007807FC0000007003FC0000007003FC000000E003FE000000E001FE000001E001F F000001C000FF000001FFFFFF000003FFFFFF800003FFFFFF80000780007FC0000700003FC0000 700003FC0000E00001FE0000E00001FE0001E00001FF0001C00000FF0001C00000FF00FFFE001F FFFEFFFE001FFFFEFFFE001FFFFE2F297EA834>65 D<00003FF001800003FFFE0380000FFFFF87 80003FF007DF8000FF8001FF8001FE00007F8003FC00003F8007F000001F800FF000000F801FE0 000007801FE0000007803FC0000007803FC0000003807FC0000003807F80000003807F80000000 00FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF8000000000FF80 00000000FF8000000000FF80000000007F80000000007F80000000007FC0000003803FC0000003 803FC0000003801FE0000003801FE0000007000FF00000070007F000000E0003FC00001E0001FE 00003C0000FF8000F800003FF007E000000FFFFFC0000003FFFF000000003FF8000029297CA832 >67 D73 D80 D82 D<007F806003FFF0E007FFF9E00F807FE01F00 1FE03E0007E07C0003E07C0001E0FC0001E0FC0001E0FC0000E0FE0000E0FE0000E0FF000000FF C000007FFE00007FFFE0003FFFFC001FFFFE000FFFFF8007FFFFC003FFFFE000FFFFE00007FFF0 00007FF000000FF8000007F8000003F8600001F8E00001F8E00001F8E00001F8F00001F0F00001 F0F80003F0FC0003E0FF0007C0FFE01F80F3FFFF00E0FFFE00C01FF0001D297CA826>I<7FFFFF FFFFC07FFFFFFFFFC07FFFFFFFFFC07F803FC03FC07E003FC007C078003FC003C078003FC003C0 70003FC001C0F0003FC001E0F0003FC001E0E0003FC000E0E0003FC000E0E0003FC000E0E0003F C000E0E0003FC000E000003FC0000000003FC0000000003FC0000000003FC0000000003FC00000 00003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003F C0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC0000000003FC00000 00003FC0000000003FC0000000003FC0000000003FC00000007FFFFFE000007FFFFFE000007FFF FFE0002B287EA730>II<01FF800007FFF0000F81 F8001FC07E001FC07E001FC03F000F803F8007003F8000003F8000003F8000003F80000FFF8000 FFFF8007FC3F800FE03F803F803F803F003F807F003F80FE003F80FE003F80FE003F80FE003F80 7E007F807F00DF803F839FFC0FFF0FFC01FC03FC1E1B7E9A21>97 D<001FF80000FFFE0003F01F 0007E03F800FC03F801F803F803F801F007F800E007F0000007F000000FF000000FF000000FF00 0000FF000000FF000000FF000000FF0000007F0000007F0000007F8000003F8001C01F8001C00F C0038007E0070003F01E0000FFFC00001FE0001A1B7E9A1F>99 D<00003FF80000003FF8000000 3FF800000003F800000003F800000003F800000003F800000003F800000003F800000003F80000 0003F800000003F800000003F800000003F800000003F800001FE3F80000FFFBF80003F03FF800 07E00FF8000FC007F8001F8003F8003F8003F8007F0003F8007F0003F8007F0003F800FF0003F8 00FF0003F800FF0003F800FF0003F800FF0003F800FF0003F800FF0003F8007F0003F8007F0003 F8007F0003F8003F8003F8001F8003F8000F8007F80007C00FF80003F03BFF8000FFF3FF80003F C3FF80212A7EA926>I<003FE00001FFF80003F07E0007C01F000F801F801F800F803F800FC07F 000FC07F0007C07F0007E0FF0007E0FF0007E0FFFFFFE0FFFFFFE0FF000000FF000000FF000000 7F0000007F0000007F0000003F8000E01F8000E00FC001C007E0038003F81F0000FFFE00001FF0 001B1B7E9A20>I<0007F0003FFC00FE3E01F87F03F87F03F07F07F07F07F03E07F00007F00007 F00007F00007F00007F00007F000FFFFC0FFFFC0FFFFC007F00007F00007F00007F00007F00007 F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007F00007 F00007F00007F0007FFF807FFF807FFF80182A7EA915>I104 D<07000FC01FE03FE03FE03FE01FE00FC00700000000000000000000000000 0000FFE0FFE0FFE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00FE00F E00FE00FE00FE00FE00FE0FFFEFFFEFFFE0F2B7DAA14>I108 D110 D<003FE00001FFFC0003F07E 000FC01F801F800FC03F800FE03F0007E07F0007F07F0007F07F0007F0FF0007F8FF0007F8FF00 07F8FF0007F8FF0007F8FF0007F8FF0007F8FF0007F87F0007F07F0007F03F800FE03F800FE01F 800FC00FC01F8007F07F0001FFFC00003FE0001D1B7E9A22>II114 D<03FE300FFFF01E03F03800F0700070F00070F00070F80070FC0000FFE0007FFE00 7FFF803FFFE01FFFF007FFF800FFF80003FC0000FC60007CE0003CF0003CF00038F80038FC0070 FF01E0F7FFC0C1FF00161B7E9A1B>I<00700000700000700000700000F00000F00000F00001F0 0003F00003F00007F0001FFFF0FFFFF0FFFFF007F00007F00007F00007F00007F00007F00007F0 0007F00007F00007F00007F00007F00007F00007F03807F03807F03807F03807F03807F03803F0 3803F87001F86000FFC0001F8015267FA51B>I121 D E end TeXDict begin @a4 bop -4 138 a Fo(The)22 b(Use)g(of)i(Condition)e(T)n(yp)r(es)g(to)h(Restrict)e (Searc)n(h)i(in)f(an)i(AI)f(Planner)459 235 y Fn(Austin)c(T)-5 b(ate,)18 b(Brian)h(Drabble)f(&)g(Je\013)g(Dalton)580 281 y Fm(Arti\014cial)13 b(In)o(telligence)h(Applications)f(Institute)756 327 y(Univ)o(ersit)o(y)h(of)f(Edin)o(burgh)828 372 y(80)g(South)h(Bridge)784 418 y(Edin)o(burgh)g(EH1)g(1HN)823 464 y(United)h(Kingdom)427 509 y(A.T)m(ate@ed.ac.uk,)e(B.Drabble@ed.ac.uk)h(&)g(J.Dalton@ed.ac.uk)337 642 y Fl(Abstract)22 717 y Fk(Condition)20 b(satisfaction)h(in)e(planning)i (has)e(receiv)o(ed)22 759 y(a)e(great)i(deal)f(of)g(exp)q(erimen)o(tal)i(and) f(formal)f(atten-)22 801 y(tion.)34 b(A)18 b(\\T)m(ruth)h(Criterion")h(lies)g (at)e(the)h(heart)g(of)22 842 y(man)o(y)11 b(planners)i(and)f(is)g(critical)i (to)d(their)h(capabiliti)q(es)22 884 y(and)17 b(p)q(erformance.)30 b(Ho)o(w)o(ev)o(er,)17 b(there)h(has)f(b)q(een)h(lit-)22 925 y(tle)c(study)h(of)g(w)o(a)o(ys)f(in)h(whic)o(h)g(the)g(searc)o(h)g(space)f (of)h(a)22 967 y(planner)d(incorp)q(orating)i(suc)o(h)d(a)g(T)m(ruth)g (Criterion)h(can)22 1008 y(b)q(e)h(guided.)22 1055 y(The)k(aim)h(of)f(this)h (do)q(cumen)o(t)g(is)g(to)f(giv)o(e)h(a)f(descrip-)22 1096 y(tion)g(of)g(the)g(use)g(of)f(condition)k(\\t)o(yp)q(e")d(information)22 1138 y(to)i(inform)i(the)f(searc)o(h)g(of)g(an)g(AI)f(planner)j(and)f(to)22 1179 y(guide)d(the)f(pro)q(duction)i(of)e(answ)o(ers)g(b)o(y)g(a)g(planner's) 22 1221 y(truth)h(criterion)j(algorithm.)35 b(The)18 b(authors)i(aim)f(to)22 1262 y(promote)13 b(discussion)i(on)e(the)g(merits)g(or)f(otherwise)i(of)22 1304 y(using)h(suc)o(h)g(domain-dep)q(enden)o(t)i(condition)f(t)o(yp)q(e)f (re-)22 1345 y(strictions)20 b(as)e(a)h(means)g(to)f(comm)o(unicate)i(v)n (aluable)22 1387 y(information)15 b(from)e(the)g(domain)i(writer)e(to)g(a)g (general)22 1428 y(purp)q(ose)h(domain-indep)q(en)q(den)o(t)i(planner)659 1412 y Fj(1)676 1428 y Fk(.)14 1552 y Fn(In)n(tro)r(duction)i(to)g(Condition) h(T)n(yping)-62 1616 y Fm(Researc)o(h)k(in)f(AI)g(planning)e(has)i(in)o(tro)q (duced)h(a)e(range)h(of)-62 1661 y(progressiv)o(ely)17 b(more)d(p)q(o)o(w)o (erful)i(tec)o(hniques)h(to)e(address)i(in-)-62 1707 y(creasingly)h(more)e (realistic)i(applications)e(\(Allen,)i(Hendler)-62 1753 y(&)d(T)m(ate)g (1990\).)20 b(A)14 b(lesson)i(learned)f(in)f(the)h(exp)q(ert)i(systems)-62 1798 y(and)e(kno)o(wledge-based)f(systems)h(\014eld)f(is)g(that)g(it)g(is)h (imp)q(or-)-62 1844 y(tan)o(t)10 b(to)f(mak)o(e)f(maxim)o(um)d(use)10 b(of)f(domain)e(kno)o(wledge)j(where)-62 1890 y(it)k(is)g(a)o(v)n(ailable)e (in)h(order)i(to)f(address)h(man)o(y)d(real)i(problems.)-62 1935 y(One)g(p)q(o)o(w)o(erful)f(means)f(of)h(using)g(domain)d(kno)o(wledge)j (to)g(re-)-62 1981 y(strict)i(and)e(guide)h(searc)o(h)g(in)f(a)h(planner)f (is)h(to)f(recognise)i(ex-)-62 2027 y(plicit)f(precondition)h(t)o(yp)q(es,)g (as)f(in)o(tro)q(duced)i(in)o(to)e(In)o(terplan)-62 2072 y(\(T)m(ate)h (1975\))e(and)h(Nonlin)f(\(T)m(ate)h(1977\))g(and)g(subsequen)o(tly)-62 2118 y(used)23 b(in)e(other)h(systems)f(suc)o(h)h(as)g(Deviser)g(\(V)m(ere)g (1981\),)-62 2164 y(S)p Fi(ipe{2)c Fm(\(Wilkins)e(1988\))h(O-Plan)h(\(Currie) g(&)g(T)m(ate)g(1991\))-62 2209 y(and)c(O-Plan2)g(\(T)m(ate,)f(Drabble)h(&)g (Kirb)o(y)f(1994\).)-20 2257 y(An)e(explicit)f(accoun)o(t)g(of)g(the)h Fh(Go)n(al)h(Structur)n(e)e Fm(or)g Fh(tele)n(olo)n(gy)-62 2302 y Fm(of)16 b(a)h(plan)f(can)g(b)q(e)i(k)o(ept)e(in)h(these)h(systems.)26 b(This)16 b(records)p -62 2345 250 2 v -10 2372 a Fj(1)8 2387 y Fk(O-Plan2)i(w)o(ork)g(is)h(supp)q(orted)g(b)o(y)f(the)g Fg(us)g Fk(Adv)n(anced)h(Re-)-62 2429 y(searc)o(h)11 b(Pro)r(jects)g(Agency)g (\()p Fg(arp)n(a)p Fk(\))f(and)h(the)f(US)g(Air)h(F)m(orce)f(Rome)-62 2470 y(Lab)q(oratory)i(acting)g(through)f(the)g(Air)g(F)m(orce)f(O\016ce)g (of)g(Scien)o(ti\014c)-62 2512 y(Researc)o(h)19 b(\()p Fg(afsc)p Fk(\))d(under)i(con)o(tract)g Fg(f49620-92-c-0042)p Fk(.)26 b(The)-62 2553 y(pro)r(ject)15 b(is)g(monitored)h(b)o(y)f(Dr.)22 b(Northrup)15 b(F)m(o)o(wler)g Fg(i)q(i)q(i)g Fk(at)f(Rome)-62 2595 y(Lab)q(oratory)m(.)1031 642 y Fm(the)21 b(causal)e(relationships)h(b)q (et)o(w)o(een)h(actions)f(in)g(the)g(plan)1031 687 y(and)d(can)h(sho)o(w)f (the)h(in)o(ten)o(tions)g(of)e(the)i(domain)e(writer)h(or)1031 733 y(planner)i(in)f(satisfying)f(conditions)i(on)f(actions.)32 b(In)18 b(some)1031 778 y(circumstances,)c(suc)o(h)g(domain)d(kno)o(wledge)j (can)f(b)q(e)h(used)h(to)1031 824 y(prune)f(the)f(searc)o(h)h(of)e(a)h (planner.)18 b(The)13 b(information)d(is)j(pro-)1031 870 y(vided)d(to)g(the)h (planner)f(via)f(a)h(planner's)g(domain)e(description)1031 915 y(language)15 b(\(e.g.,)h(T)m(ask)f(F)m(ormalism)e({)i Fi(tf)h Fm({)g(in)g(Nonlin)f(and)1031 961 y(O-Plan\).)29 b(The)18 b(domain)e(writer)i(tak)o(es)g(the)g(resp)q(onsibilit)o(y)1031 1007 y(for)13 b(a)g(delib)q(erate)g(pruning)g(of)f(the)i(searc)o(h)g(space)g (or)f(for)g(pro-)1031 1052 y(viding)f(preferences)17 b(via)12 b(condition)h(t)o(yp)q(es.)18 b(This)c(caused)g(us)1031 1098 y(to)c(adopt)g(the)h(term)f Fh(know)r(le)n(dge)i(b)n(ase)n(d)g(planning)f Fm(to)f(describ)q(e)1031 1144 y(our)k(w)o(ork.)1073 1207 y(Nonlin)g(and)h (O-Plan)g Fi(tf)h Fm(extends)g(the)g(notion)f(of)g(a)g(pre-)1031 1253 y(condition)g(on)g(an)h(action)f(and)g(mates)g(it)g(with)g(a)g(\\pro)q (cess")1031 1299 y(orien)o(ted)g(view)f(of)f(action)h(descriptions.)20 b(A)14 b Fi(tf)g Fm(sc)o(hema)f(de-)1031 1344 y(scription)e(sp)q(eci\014es)i (a)d(metho)q(d)g(b)o(y)h(whic)o(h)f(some)g(higher)h(lev)o(el)1031 1390 y(action)f(can)g(b)q(e)g(p)q(erformed)g(\(or)g(higher)f(lev)o(el)h(goal) e(ac)o(hiev)o(ed\).)1031 1436 y(Eac)o(h)23 b(sc)o(hema)f(is)h(though)o(t)f (of)g(as)h(pro)o(vided)f(b)o(y)g(its)h(o)o(wn)1031 1481 y(\\manager".)16 b(The)d(sc)o(hema)f(in)o(tro)q(duces)i(lo)o(w)o(er)e(lev)o(el)g(actions)1031 1527 y(under)i(the)g(direction)f(of)g(its)g(manager)f(and)h(uses)h(that)f (man-)1031 1573 y(ager's)i(o)o(wn)g(resources.)23 b(The)15 b(sc)o(hema)g(ma)o(y)e(sa)o(y)h(that)h(some)1031 1618 y(sp)q(eci\014c)21 b(sub-action)d(is)h(included)g(in)g(order)g(to)g(set)h(up)f(for)1031 1664 y(some)e(later)h(sub-action)g(as)g(part)g(of)f(the)h(o)o(v)o(erall)f (task.)29 b(In)1031 1710 y Fi(tf)p Fm(,)22 b(suc)o(h)g(in)o(ternally)e (satis\014ed)i(requiremen)o(ts)g(in)e(actions)1031 1755 y(are)g(sp)q (eci\014ed)h(as)f Fl(sup)q(ervised)d Fm(conditions.)35 b(The)19 b(\\man-)1031 1801 y(ager")g(also)f(relies)h(on)f(other)h(\(normally)d (external\))j(agen)o(ts)1031 1847 y(to)h(p)q(erform)f(tasks)i(that)f(are)h (their)f(o)o(wn)g(resp)q(onsibilities,)1031 1892 y(but)d(a\013ect)h(the)f (abilit)o(y)e(of)h(this)h(manager)e(to)i(do)f(the)i(task.)1031 1938 y(These)g(are)g(giv)o(en)e(as)h Fl(unsup)q(ervised)c Fm(conditions.)26 b(There)1031 1984 y(are)19 b(other)g(conditions)g(whic)o(h)f(the)h (\\manager")e(ma)o(y)g(wish)1031 2029 y(to)g(imp)q(ose)g(on)g(the)h (applicabilit)o(y)d(of)i(particular)g(solutions)1031 2075 y(\(e.g..)25 b(don't)16 b(try)h(this)f(metho)q(d)f(for)h(house)h(building)e(if)h(the)1031 2121 y(building)j(is)g(o)o(v)o(er)h(\014v)o(e)g(stories)h(tall\).)35 b(These)21 b(are)g(termed)1031 2166 y Fl(holds)10 b Fm(and)h Fl(usewhen)g Fm(conditions)g(in)g(di\013eren)o(t)i(v)o(ersions)f(of)1031 2212 y(Nonlin)17 b(and)g(are)h(no)o(w)f(called)h Fl(only)p 1632 2212 15 2 v 16 w(use)p 1716 2212 V 16 w(if)f Fm(conditions)g(in)1031 2258 y(O-Plan2.)1073 2321 y(Condition)12 b(t)o(yping)h(can)h(b)q(e)h(used)g (to)e(restrict)i(searc)o(h)g(in)f(a)1031 2367 y(planner,)h(but)g(there)i(is)d (w)o(ork)h(to)g(b)q(e)g(done)h(on)e(ho)o(w)h(far)f(this)1031 2412 y(tec)o(hnique)j(can)g(b)q(e)f(dev)o(elop)q(ed.)25 b(It)17 b(is)f(often)g(di\016cult)f(for)h(a)1031 2458 y(domain)e(writer)i(to)f(c)o (ho)q(ose)i(the)f(correct)h(t)o(yp)q(e)f(for)f(a)h(condi-)1031 2504 y(tion)e(to)g(most)f(e\013ectiv)o(ely)i(restrict)h(the)e(searc)o(h)i (space)f(while)1031 2549 y(not)25 b(o)o(v)o(er-indulging)d(and)i(thro)o(wing) g(a)o(w)o(a)o(y)f(plans)i(whic)o(h)1031 2595 y(should)17 b(b)q(e)h (considered)h(v)n(alid)d(in)g(the)i(domain.)26 b(T)m(o)q(ol)16 b(sup-)p eop bop -62 -33 a Fm(p)q(ort)16 b(to)g(aid)e(in)i(the)g(reliable)f(mo)q(delling)e (of)h(large)i(domains)-62 12 y(will)8 b(undoubtably)h(b)q(e)h(needed.)18 b(In)10 b(practice,)g(w)o(e)g(ha)o(v)o(e)f(found)-62 58 y(that)j(condition)e (t)o(yping)h(is)g(an)g(essen)o(tial)g(asp)q(ect)i(of)d(enco)q(ding)-62 103 y(realistic)15 b(problems)e(to)h(an)g(AI)h(planner)f(in)g(order)h(to)f (reduce)-62 149 y(searc)o(h)i(spaces)f(to)f(a)f(manageable)f(lev)o(el.)177 275 y Fn(Other)18 b(Related)g(W)-5 b(ork)-62 363 y Fm(The)17 b(concept)g(of)f(pro)o(viding)e(explicit)i(domain)e(enco)q(der)j(in-)-62 409 y(put)c(to)e(guide)h(planning)e(has)i(its)g(ro)q(ots)g(in)g(early)f (researc)o(h)j(on)-62 454 y(the)19 b(Planner)e(language)g(family)l(.)26 b Fi(Popler)18 b Fm(\(Da)o(vies)g(1973\))-62 500 y(iden)o(ti\014ed)j(the)g (searc)o(h)h(space)f(implications)d(of)i(pro)o(viding)-62 546 y(only)c(a)g(single)h(t)o(yp)q(e)g(of)f(\\goal")e(whic)o(h)j(can)g(either)g (already)-62 591 y(b)q(e)j(true)h(or)e(whic)o(h)g(can)h(induce)g(subgoaling)e (to)h(b)q(e)h(made)-62 637 y(true.)k(In)o(terplan)15 b(\(T)m(ate)h(1975\))e (pro)o(vided)h(a)h(simple)d(facilit)o(y)-62 683 y(to)19 b(indicate)f(that)g (nominated)f(conditions)h(should)g(not)g(b)q(e)-62 728 y(sub-goaled)12 b(up)q(on.)17 b(That)11 b(is,)h(that)f(no)h(metho)q(d)e(of)h Fh(achieving)-62 774 y Fm(them)g(should)g(b)q(e)h(in)o(tro)q(duced)g(in)o(to) f(the)h(plan.)k(Nonlin)11 b(\(T)m(ate)-62 820 y(1977\))i(pro)o(vided)g(a)g (comprehensiv)o(e)g(set)h(of)e(condition)h(t)o(yp)q(es)-62 865 y(as)18 b(describ)q(ed)i(earlier.)30 b(These)19 b(w)o(ere)g(used)g(to)f (restrict)h(the)-62 911 y(options)e(considered)i(to)e(satisfy)f(a)h (condition)g(in)f(the)i(Non-)-62 957 y(lin)13 b(\\)p Fi(qa)i Fm(Algorithm".)g Fi(Qa)f Fm(w)o(as)g(a)f(precursor)j(to)d(the)i(T)m(ruth)-62 1002 y(Criterion)k(used)g(in)f(man)o(y)e(planners)j(whic)o(h)f(use)h(a)f (partial)-62 1048 y(order)c(plan)e(represen)o(tation)i(and)e(mak)o(e)f(use)j (of)e(Goal)f(Struc-)-62 1094 y(ture)17 b(or)f(causal)g(links)g(to)f(direct)i (searc)o(h.)26 b(See)17 b(\(T)m(ate)f(1993\))-62 1139 y(for)e(a)g(historical) f(p)q(ersp)q(ectiv)o(e.)-20 1195 y(A)g(more)f(general)i(condition)e (satisfaction)h(approac)o(h,)g(not)-62 1241 y(using)f(suc)o(h)h(domain)c(kno) o(wledge,)i(is)h(used)h(in)e Fi(tweak)h Fm(based)-62 1286 y(on)17 b(Chapman's)d(formalisation)f(of)j(the)g(Mo)q(dal)g(T)m(ruth)g(Cri-)-62 1332 y(terion)k(\()p Fi(mtc)p Fm(\))f(\(Chapman)f(1987\).)35 b(This)19 b(approac)o(h)h(do)q(es)-62 1378 y(not)h(address)h(searc)o(h)g(con) o(trol)f(issues.)40 b(Chapman's)19 b(w)o(ork)-62 1423 y(pro)o(vides)f(a)f (description)h(of)e(the)i(searc)o(h)h(space,)f(but)g(not)f(a)-62 1469 y(sp)q(eci\014cation)e(of)e(ho)o(w)h(to)g(con)o(trol)f(or)h(prune)h (searc)o(h)g(in)f(that)-62 1515 y(space.)-20 1570 y(There)22 b(has)f(b)q(een)g(little)f(study)h(of)f(w)o(a)o(ys)g(in)h(whic)o(h)f(the)-62 1616 y(searc)o(h)f(space)g(of)e(a)g(planner)g(incorp)q(orating)g(a)h(T)m (ruth)f(Cri-)-62 1662 y(terion)g(can)g(b)q(e)g(guided.)25 b(Drummond)14 b(\(Drummond)g(1993\))-62 1707 y(argues)23 b(that)e(there)i(has)f(b)q(een)g (to)q(o)g(m)o(uc)o(h)e(concen)o(tration)-62 1753 y(on)c(planner)f(asp)q(ects) j(that)d(deal)g(with)h(logically)d(or)i(syn)o(tac-)-62 1799 y(tically)20 b(complete)h(condition)f(ac)o(hiev)o(emen)o(t,)h(and)g(to)q(o)g (lit-)-62 1844 y(tle)i(atten)o(tion)f(has)h(b)q(een)g(paid)f(to)g(other)h (capabilities)e(of)-62 1890 y(practical)14 b(planners)f(suc)o(h)h(as)g (Nonlin,)e(S)p Fi(ipe-2)g Fm(and)h(O-Plan.)-62 1936 y(These)25 b(other)f(capabilities)f(include)g(hierarc)o(hical)h(expan-)-62 1981 y(sion,)18 b(a)e(simple)g(but)h(e\013ectiv)o(e)i(resource)g(allo)q (cation)d(mec)o(h-)-62 2027 y(anism,)k(and)g(explicit)g(languages)g(to)g (describ)q(e)i(and)e(allo)o(w)-62 2073 y(for)15 b(the)h(protection)f(of)f (the)i(a)f(plan's)f(causal)h(structure)i(\(ef-)-62 2118 y (fects/conditions\).)-20 2174 y(A)c(n)o(um)o(b)q(er)f(of)g(researc)o(hers)j (ha)o(v)o(e)e(pre-analysed)g(op)q(erator)-62 2220 y(information)e(to)j(guide) g(searc)o(h.)-20 2275 y(Collins)9 b(and)g(Pry)o(or)h(\(Collins)f(&)h(Pry)o (or)g(1993\))f(pro)o(vide)h(the)-62 2321 y(\014rst)16 b(critical)f(analysis)g (on)g(the)g(use)h(of)f(condition)f(t)o(yp)q(es)i(in-)-62 2367 y(tended)f(to)f(\014lter)g(out)f(options)g(that)h(w)o(ould)e(otherwise)j(ha)o (v)o(e)-62 2412 y(to)g(b)q(e)g(considered)h(b)o(y)f(a)f(planner.)21 b(They)15 b(conclude)g(that)g(in)-62 2458 y(the)e(ma)r(jorit)o(y)c(of)j (cases)h(suc)o(h)f(\014lter)h(conditions)e(are)h(misused)-62 2504 y(and)e(ma)o(y)f(not)g(ha)o(v)o(e)h(the)h(e\013ect)h(in)o(tended.)17 b(Their)10 b(argumen)o(ts)-62 2549 y(assume)16 b(that)g(c)o(hanges)h(to)f (the)h(set)g(of)f(op)q(erators)h(a)o(v)n(ailable)-62 2595 y(migh)o(t)11 b(in)o(v)n(alidate)g(domain)f(mo)q(delling)g(assumptions)i(ab)q(out)1031 -33 y(the)g(use)g(of)e(\014lters\(true)1403 -49 y Ff(2)1424 -33 y Fm(\),)h(that)g(most)f(pro)o(viders)i(of)e(systems)1031 12 y(emplo)o(ying)e(condition)h(t)o(yp)q(es)i(did)f(not)g(fully)e(appreciate) j(that)1031 58 y(use)16 b(of)d(\014lter)i(conditions)f(w)o(ould)g(restrict)i (the)f(searc)o(h)g(space)1031 103 y(\(false\),)c(and)g(that)g(restricting)h (the)f(searc)o(h)h(space)g(using)f(suc)o(h)1031 149 y(\014lter)g(conditions)g (is)g(not)f(useful)h(due)g(to)g(the)g(restrictions)i(un-)1031 195 y(der)k(whic)o(h)g(they)f(correctly)i(apply)d(\(false,)i(their)g(argumen) o(t)1031 240 y(assumes)f(that)f(hierarc)o(hical)g(mo)q(delling)e(is)i(not)g (used)i(prop-)1031 286 y(erly)11 b(in)e(planning)g(or)i(that)f(\014lter)g (conditions)g(can)h(b)q(e)g(\\hierar-)1031 332 y(c)o(hically)h(promiscuous") 1426 317 y Ff(3)1455 332 y Fm({)g(they)h(m)o(ust)f(not)g(b)q(e\).)18 b(Although)1031 377 y(the)10 b(Collins)e(and)h(Pry)o(or)h(critical)f (analysis)f(pap)q(er)i(is)g(\015a)o(w)o(ed)f(in)1031 423 y(making)k(some)i (of)g(these)i(assumptions,)e(it)g(is)g(none-the-less)1031 469 y(a)i(useful)g(do)q(cumen)o(t)g(in)f(raising)g(the)i(issue)g(of)e(the)i(v)n (alidit)o(y)1031 514 y(or)c(otherwise)h(of)e(utilising)g(condition)g(t)o(yp)q (e)i(information)c(to)1031 560 y(restrict)k(searc)o(h)f(in)f(a)g(planner)g (and)g(ma)o(y)f(start)i(wider)f(study)1031 606 y(and)i(debate)h(on)e(whether) i(suc)o(h)g(condition)e(t)o(yp)q(es)i(are)f(v)n(alid)1031 651 y(and)e(useful.)18 b(Unfortunately)m(,)13 b(the)h(w)o(ork)f(tak)o(es)h(to)q (o)f(simplis-)1031 697 y(tic)f(a)g(view)f(of)g(ho)o(w)h(condition)f(t)o(yp)q (es)h(\(\014lter)h(and)e(otherwise\))1031 743 y(are)k(already)e(used)i(in)e (planning)g(systems)h(to)q(da)o(y)m(.)1073 790 y(It)k(is)g(hop)q(ed)h(that)g (the)g(curren)o(t)h(pap)q(er)f(go)q(es)g(some)e(w)o(a)o(y)1031 835 y(to)o(w)o(ards)d(pro)o(viding)f(an)h(information)d(base)k(on)f(whic)o(h) g(com-)1031 881 y(men)o(t,)f(study)h(and)g(analysis)f(will)f(b)q(e)j(p)q (ossible.)1040 978 y Fn(O-Plan2)k(Domain)e(Description)h(Language)1328 1036 y(T)-5 b(ask)19 b(F)-5 b(ormalism)1031 1098 y Fi(Tf)21 b Fm(is)g(used)g(b)o(y)g(a)f(domain)f(enco)q(der)j(to)f(giv)o(e)f(an)h(o)o(v) o(erall)1031 1143 y(hierarc)o(hical)12 b(description)h(of)e(an)h(application) e(area)i(b)o(y)g(sp)q(ec-)1031 1189 y(ifying)g(the)i(activities)f(within)g (the)h(domain)d(and)i(in)g(particu-)1031 1235 y(lar)i(their)h(more)e (detailed)h(represen)o(tation)i(as)e(a)g(set)i(of)d(sub-)1031 1280 y(activities)d(with)g(ordering)g(constrain)o(ts)h(imp)q(osed.)k(Plans)11 b(are)1031 1326 y(generated)j(b)o(y)f(c)o(ho)q(osing)f(suitable)h (\\expansions")f(for)h(activ-)1031 1372 y(ities)h(\(b)o(y)g(re\014ning)g (them)f(to)h(a)f(more)g(detailed)h(lev)o(el\))f(in)h(the)1031 1417 y(plan)19 b(and)f(including)g(the)i(relev)n(an)o(t)f(set)g(of)g(more)f (detailed)1031 1463 y(sub-activities)e(describ)q(ed)i(therein.)26 b(Ordering)17 b(constrain)o(ts)1031 1509 y(are)g(then)g(in)o(tro)q(duced)g (to)f(ensure)i(that)f(asserted)h(e\013ects)g(of)1031 1554 y(some)d (activities)h(satisfy)m(,)g(and)f(con)o(tin)o(ue)i(to)e(satisfy)m(,)h(condi-) 1031 1600 y(tions)e(on)g(the)g(use)h(of)e(other)h(activities.)k(Other)d (constrain)o(ts,)1031 1646 y(suc)o(h)23 b(as)f(a)f(time)f(windo)o(w)h(for)h (the)g(activit)o(y)f(or)g(resource)1031 1691 y(usage)g(required,)g(are)g (also)e(included)h(in)g(the)g(description.)1031 1737 y(These)g(descriptions)f (of)e(activities)h(form)f(the)h(main)e(struc-)1031 1783 y(ture)e(within)f Fi(tf)f Fm(-)h(the)h Fh(schema)p Fm(.)k(Sc)o(hemas)13 b(are)g(also)g(used)h (in)1031 1828 y(a)g(completely)g(uniform)e(manner)i(to)g(describ)q(e)i Fh(tasks)p Fm(,)e(set)i(to)1031 1874 y(the)g(planning)d(system,)h(in)h(the)g (same)f(language.)20 b(Other)c Fi(tf)1031 1920 y Fm(structures)g(hold)e (global)e(information)e(and)k(heuristic)g(infor-)1031 1965 y(mation)c(ab)q(out)i(preferences)j(of)c(c)o(hoices)i(to)e(b)q(e)i(made)e (during)1031 2011 y(planning.)1084 2108 y Fn(O-Plan2)18 b(T)-5 b(riangle)18 b(Mo)r(del)g(of)h(Activit)n(y)1031 2170 y Fm(O-Plan2)h(uses)h(a) f(hierarc)o(hical)g(mo)q(del)f(of)g(activit)o(y)h(whic)o(h)1031 2216 y(giv)o(es)12 b(emphasis)f(to)h(an)f(o)o(wner's)h(p)q(ersp)q(ectiv)o(e)i (of)d(ho)o(w)h(an)f(ac-)1031 2261 y(tivit)o(y)e(is)h(p)q(erformed)g(and)g (the)h(en)o(vironmen)o(t)e(in)g(whic)o(h)h(it)g(can)p 1031 2300 250 2 v 1083 2327 a Fj(2)1100 2343 y Fk(T)m(o)q(ol)i(supp)q(ort)g(ma)o (y)f(help)i(in)f(a)o(v)o(oiding)h(suc)o(h)f(domain)h(enco)q(d-)1031 2385 y(ing)h(errors.)1083 2413 y Fj(3)1100 2429 y Fk(Hierarc)o(hical)k (promiscuit)o(y)g(o)q(ccurs)e(when)g(a)f(domain)i(mo)q(d-)1031 2470 y(eller)22 b(confuses)g(the)e(lev)o(els)i(at)f(whic)o(h)g(e\013ects)h (are)e(in)o(tro)q(duced)1031 2512 y(and)13 b(conditions)i(are)d(required.)18 b(This)13 b(is)g(esp)q(ecially)i(problematic)1031 2553 y(for)i(the)h(w)o(a)o (ys)f(in)h(whic)o(h)g(AI)f(planners)i(t)o(ypically)h(handle)f(\014lter)1031 2595 y(conditions.)p eop bop -62 -33 a Fm(b)q(e)19 b(sanctioned,)h(resourced)g(and)f(used.)32 b(This)18 b(is)g(re\015ected)-62 12 y(in)f(the)g(\\triangle")e(mo)q(del)h(of) f(an)i(activit)o(y)f(\(see)i(Figure)e(1\).)-62 58 y(The)c(v)o(ertical)g (dimension)d(re\015ects)14 b(activit)o(y)d(decomp)q(osition,)-62 103 y(the)h(horizon)o(tal)e(dimension)f(re\015ects)k(time.)j(Inputs)11 b(and)g(out-)-62 149 y(puts)h(are)f(split)f(in)o(to)g(three)i(principal)e (categories)i(\(authorit)o(y)m(,)-62 195 y(conditions/e\013ects)j(and)f (resources\).)20 b(Arbitrarily)13 b(complex)-62 240 y(mo)q(delling)j(is)i(p)q (ossible)g(in)f(all)g(dimensions.)29 b(\\T)o(yp)q(es")18 b(are)-62 286 y(used)k(to)e(further)i(di\013eren)o(tiate)f(the)g(inputs)g(and)f (outputs)-62 332 y(and)14 b(their)g(seman)o(tics.)p 241 848 378 2 v 241 848 a Fe(\012)269 806 y(\012)296 765 y(\012)324 723 y(\012)352 682 y(\012)379 640 y(\012)402 606 y(\012)28 b(J)458 647 y(J)485 689 y(J)513 730 y(J)541 772 y(J)568 813 y(J)591 848 y(J)p 146 763 95 2 v 199 762 a(-)p 619 763 V 473 w(-)p 429 517 2 95 v 430 464 a(6)361 738 y Fm(activit)o(y)300 788 y(decomp)q(osition)361 385 y(activit)o(y)-41 716 y(authorit)o(y)-57 768 y(conditions)-37 809 y(resources)732 716 y(authorit)o(y)732 768 y(e\013ects)732 809 y(resources)p 146 471 237 2 v 341 470 a Fe(-)-6 482 y Fm(con)o(text)p 335 882 48 2 v 389 890 a(time)p 477 882 V 483 881 a Fe(-)97 982 y Fm(Figure)14 b(1:)k(T)m(riangle)13 b(mo)q(del)f(of)h(Activit)o(y)-20 1079 y(\\En)o(try")d(to)g(the)g(mo)q(del)e (can)i(b)q(e)h(from)d(an)o(y)h(of)h(three)h(p)q(oin)o(ts)-62 1125 y(in)16 b(the)h(triangle)f(mo)q(del.)24 b(F)m(rom)15 b(the)i(top)f(v)o (ertex)h(it)f(is)h(p)q(os-)-62 1170 y(sible)d(to)g(ask)g(for)f(activit)o(y)g (expansions)h(or)g(decomp)q(ositions.)-62 1216 y(F)m(rom)d(the)i(righ)o(t)f (side)h(of)f(the)h(triangle,)e(it)h(is)h(p)q(ossible)f(to)h(ask)-62 1262 y(for)d(activities)g(satisfying)f(or)h(pro)o(viding)e(the)j(output)f (require-)-62 1307 y(men)o(t)g(\(a)h(desired)h(e\013ect)h(or)e(\\goal",)e(a)i (required)h(resource,)h(or)-62 1353 y(a)f(needed)h(authorit)o(y\).)k(These)c (t)o(w)o(o)e(p)q(oin)o(ts)h(are)g(used)g(mostly)-62 1399 y(b)o(y)17 b(our)g(planners)h(to)f(date.)28 b(The)17 b(third)g(p)q(oin)o(t)g(on)f(the)i (left)-62 1444 y(side)11 b(can)f(re\015ect)i(triggering)d(conditions)h(for)g (an)g(activit)o(y)f(and)-62 1490 y(will)14 b(b)q(e)i(needed)h(when)e(impro)o (v)o(ed)f(mo)q(dels)g(of)g(indep)q(enden)o(t)-62 1536 y(pro)q(cesses)j(are)e (used)f(as)g(in)g(our)g(Excalibur)g(\(Drabble)g(1993\))-62 1581 y(extension)g(to)e(Nonlin.)17 b(A)12 b(\\con)o(text")h(requiremen)o(t)f (p)q(ermits)-62 1627 y(use)19 b(of)e(eac)o(h)h(particular)f(expansion)h(or)f (decomp)q(osition)f(of)-62 1673 y(an)e(activit)o(y)m(.)-20 1718 y(The)h(triangle)f(mo)q(del)f(of)h(activit)o(y)g(is)h(a)f (generalisation)g(of)-62 1764 y(pro)q(cess)k(mo)q(dels)d(used)i(in)f(man)o(y) e(structured)19 b(analysis)c(and)-62 1810 y(design)e(tec)o(hniques)h(\()p Fi(sadt)p Fm(\))f(suc)o(h)h(as)f Fi(idef)p Fm(,)f Fi(r)p Fm(-Charts,)h(etc.,) -62 1855 y(and)h(can)g(b)q(e)h(directly)f(related)g(to)g(them.)114 1946 y Fn(O-Plan2)19 b(Condition)g(T)n(yp)r(es)-62 2001 y Fm(Condition)k(t)o (yping)g(allo)o(ws)f(relev)n(an)o(t)i(information)d(to)i(b)q(e)-62 2047 y(k)o(ept)d(ab)q(out)g(when,)h(ho)o(w)e(and)h(wh)o(y)f(a)g(condition)g (presen)o(t)-62 2093 y(in)d(the)g(plan)g(has)g(b)q(een)g(satis\014ed)h(and)f (the)g(w)o(a)o(y)f(it)h(is)f(to)h(b)q(e)-62 2138 y(treated)c(if)e(the)i (condition)e(cannot)h(b)q(e)g(main)o(tained.)k(All)10 b(con-)-62 2184 y(dition)15 b(statemen)o(ts)h(app)q(ear)h(in)e(O-Plan2)g(T)m(ask)h(F)m (ormalism)-62 2230 y(action)h(sc)o(hemas.)26 b(Conditions)16 b(pla)o(y)g(a)g(greater)i(role)e(in)h(O-)-62 2275 y(Plan)e(than)h(in)f (previous)g(planning)f(systems)i(since)g(there)h(is)-62 2321 y(no)h Fh(sp)n(e)n(cial)g Fm(notion)f(of)h Fh(go)n(al)p Fm(.)30 b(Nonlin)17 b(\(T)m(ate)h(1977\),)g Fi(no)o(ah)-62 2367 y Fm(\(Sacerdoti)c (1977\))e(and)h(S)p Fi(ipe{2)g Fm(\(Wilkins)f(1988\))g(st)o(yle)h(goal)-62 2412 y(no)q(des)23 b(in)f(action)g(expansions)g(b)q(ecome)g(simply)e Fl(ac)o(hiev)o(e)-62 2458 y Fm(conditions)c(in)g(O-Plan.)25 b(The)16 b Fl(ac)o(hiev)o(e)f Fm(condition)g(t)o(yp)q(e)i(is)-62 2504 y(the)e(only)e(one)h(on)g(whic)o(h)g(sub-goaling)e(is)i(p)q(ermitted.) -20 2549 y(Conditions)i(are)i(one)f(of)g(the)h(most)e(elab)q(orate)h(of)g (all)f Fi(tf)-62 2595 y Fm(statemen)o(ts)c(due)f(to)g(the)h(v)n(ariet)o(y)f (of)f(condition)g(t)o(yp)q(es)i(iden)o(ti-)1031 -33 y(\014ed)h(as)f(b)q(eing) g(needed)h(for)f(practical)g(planning)f(in)g(O-Plan2.)1031 12 y(The)19 b(\\pro)q(cess")g(or)f(\\manager")e(view)i(of)g(hierarc)o(hical)f (ac-)1031 58 y(tivit)o(y)12 b(description)h(used)h(in)e(Nonlin)f(con)o (tributed)j(the)f(three)1031 103 y(basic)18 b(condition)e(t)o(yp)q(es)i(of)f Fl(sup)q(ervised)p Fm(,)e Fl(unsup)q(ervised)1031 149 y Fm(and)i Fl(usewhen)p Fm(.)25 b(O-Plan)16 b(researc)o(h)j(and)e(applications)e(ex-) 1031 195 y(p)q(erience)20 b(iden)o(ti\014ed)d(the)h(need)h(to)e(separate)i(t) o(w)o(o)d(di\013eren)o(t)1031 240 y(uses)24 b(b)q(eing)e(made)e(of)i(the)g (Nonlin)g Fl(usewhen)e Fm(condition)1031 286 y(t)o(yp)q(e.)g(This)14 b(led)g(to)g(the)h(in)o(tro)q(duction)f(of)f Fl(only)p 1805 286 15 2 v 16 w(use)p 1889 286 V 17 w(if)g Fm(and)1031 332 y Fl(only)p 1124 332 V 16 w(use)p 1208 332 V 17 w(for)p 1284 332 V 16 w(query)p Fm(.)18 b(A)c(more)f(\015exible)g Fl(ac)o(hiev)o(e)g Fm(condi-)1031 377 y(tion)18 b(de\014nition)f(w)o(as)h(also)g(required)h(to)f (remo)o(v)o(e)f(temp)q(oral)1031 423 y(scop)q(e)k(limitatio)o(ns)c(on)i(the)h (w)o(a)o(ys)f(in)g(whic)o(h)h(earlier)f(plan-)1031 469 y(ners)d(suc)o(h)f(as) f(Nonlin)f(could)h(satisfy)g(goals)g(b)o(y)g(adding)f(new)1031 514 y(activities)h(in)o(to)f(a)h(plan.)1073 560 y(The)g(O-Plan2)f(condition)h (t)o(yp)q(es)g(are)h(th)o(us:)1031 627 y Fd(\017)21 b Fl(only)p 1166 627 V 16 w(use)p 1250 627 V 16 w(if)33 b Fm(conditions)g(pro)o(vide)g (an)h(applicabilit)o(y)1073 672 y(c)o(hec)o(k)13 b(on)e(the)h(con)o(text)h (in)e(whic)o(h)h(a)f(sc)o(hema)h(can)g(b)q(e)g(used.)1073 718 y(These)j(are)e(sometimes)f(referred)j(to)f(as)f(\014lter)h(conditions.)1031 780 y Fd(\017)21 b Fl(only)p 1166 780 V 16 w(use)p 1250 780 V 16 w(for)p 1325 780 V 17 w(query)e Fm(conditions)h(are)h(used)h(to)e(mak)o (e)1073 826 y(queries)10 b(at)f(a)h(p)q(oin)o(t)e(in)h(the)h(plan)f(to)g (instan)o(tiate)h(or)f(restrict)1073 871 y(v)n(ariables)k(in)g(a)h(sc)o (hema.)1031 934 y Fd(\017)21 b Fl(unsup)q(ervised)14 b Fm(conditions)k(m)o (ust)f(b)q(e)i(satis\014ed)g(at)f(the)1073 979 y(required)i(p)q(oin)o(t,)f (but)g(it)g(is)g(assumed)g(that,)h(in)e(circum-)1073 1025 y(stances)c(in)d (whic)o(h)h(the)h(sc)o(hema)f(in)o(tro)q(ducing)g(suc)o(h)h(a)e(con-)1073 1071 y(dition)g(is)i(used,)g(that)f(the)i(condition)d(will)g(ha)o(v)o(e)i(b)q (een)g(sat-)1073 1116 y(is\014ed)f(elsewhere.)20 b(Therefore,)13 b(they)f(act)h(as)f(a)f(sequencing)1073 1162 y(constrain)o(t.)1031 1224 y Fd(\017)21 b Fl(sup)q(ervised)13 b Fm(conditions)j(are)g(satis\014ed)h (directly)f(within)1073 1270 y(the)d(sc)o(hema)g(con)o(taining)e(them)h(b)o (y)h(the)g(delib)q(erate)h(in)o(tro-)1073 1316 y(duction)e(of)g(a)g(suitable) h(e\013ect)h(\(or)f(alternativ)o(e)f(e\013ects\))j(at)1073 1361 y(an)g(earlier)h(p)q(oin)o(t)f(or)g(b)o(y)h(the)g(direct)g(inclusion)f (of)g(an)g(ac-)1073 1407 y(tion)f(kno)o(wn)g(to)g(ac)o(hiev)o(e)h(the)g (necessary)i(e\013ect)f(\(at)e(some)1073 1453 y(more)j(detailed)g(lev)o(el)h (in)f(the)i(action's)e(decomp)q(osition\).)1073 1498 y(They)d(ma)o(y)e(b)q(e) i(used)h(as)f(a)f(means)g(to)h(explicitly)f(record)i(a)1073 1544 y(protection)i(in)o(terv)n(al)f(within)f(the)j(causal)e(structure)j(of)d (a)1073 1590 y(plan.)1031 1652 y Fd(\017)21 b Fl(ac)o(hiev)o(e)c Fm(conditions)h(can)h(b)q(e)h(satis\014ed)f(b)o(y)g(an)o(y)f(means)1073 1698 y(a)o(v)n(ailable)g(to)j(the)g(planner)g(including)e(the)j(addition)d (of)1073 1743 y(new)14 b(actions)g(in)o(to)f(the)i(plan.)1073 1810 y(Other)e(condition)f(t)o(yp)q(es)h(can)f(b)q(e)h(iden)o(ti\014ed)g(but) f(the)h(ones)1031 1855 y(ab)q(o)o(v)o(e)19 b(ha)o(v)o(e)g(b)q(een)h(found)f (to)g(b)q(e)h(useful)f(w)o(a)o(ys)f(to)h(extract)1031 1901 y(kno)o(wledge)g(from)e(a)i(domain)e(writer)j(in)f(a)f(comm)o(unicable)1031 1947 y(form)11 b(that)i(can)g(b)q(e)g(used)g(to)g(restrict)h(searc)o(h)g(in)e (an)h(AI)f(plan-)1031 1992 y(ner.)1073 2038 y(Condition)i(t)o(yping)g(helps)i (direct)g(the)f(planning)f(pro)q(cess,)1031 2084 y(but)e(it)f(also)g (requires)h(that)g(the)g(domain)d(enco)q(der)k(structures)1031 2129 y(the)j(hierarc)o(h)o(y)g(of)f(the)h(tasks)g(or)g(actions)g(clearly)m(.) 22 b(It)16 b(forces)1031 2175 y(c)o(hec)o(ks)c(to)e(b)q(e)h(made)e(on)i(pro)q (cesses)i(or)d(actions)g(whic)o(h)h(should)1031 2221 y(comm)o(unicate)j(with) h(others)h({)g(ensuring)g(they)g(actually)f(do)1031 2266 y(adv)o(ertise)g (their)f(results)h(through)f(a)g(common)d(v)o(o)q(cabulary)m(.)1271 2360 y Fn(O-Plan2)19 b(Plan)f(Lev)n(els)1031 2418 y Fm(Before)12 b(describing)g(condition)e(t)o(yp)q(es)i(and)f(their)h(de\014nitions,)1031 2464 y(it)k(is)g(useful)h(to)f(describ)q(e)i(ho)o(w)d(O-Plan2)h(uses)i (hierarc)o(hical)1031 2510 y(mo)q(delling)12 b(lev)o(els)h(in)h(its)g(op)q (eration.)p eop bop -20 -33 a Fl(De\014nitio)o(n)-20 24 y Fm(Eac)o(h)20 b(action)e(and)i (e\013ect)g(is)f(in)o(tro)q(duced)i(at)e(a)g(single)-20 69 y(domain)12 b(mo)q(delling)f(lev)o(el)i(and)h(higher)g(lev)o(el)f(activities) -20 115 y(in)o(tro)q(duce)19 b(activities)e(and)h(e\013ects)i(at)d(the)i (same)e(or)g(a)-20 161 y(lo)o(w)o(er)d(lev)o(el.)-20 235 y(A)g(plan)f(lev)o (el)g(can)h(b)q(e)g(in)o(tro)q(duced)h(for)e(t)o(w)o(o)h(distinct)g(pur-)-62 280 y(p)q(oses:)-73 354 y(1.)20 b(F)m(or)13 b(con)o(v)o(enience)j(of)d (abstraction)h(and)g(aggregation.)-73 423 y(2.)20 b(T)m(o)h(place)h(an)f (order)h(on)g(the)g(commitm)o(en)o(ts)d(and)j(con-)-20 469 y(strain)o(ts)14 b(made)f(during)h(planning.)-20 543 y(The)21 b(n)o(umerical)d(plan)i(lev)o(els)g(are)h(assigned)g(b)o(y)f(the)h(O-)-62 588 y(Plan2)f Fi(tf)g Fm(compiler)f(in)h(quite)h(an)f(in)o(tuitiv)o(e)f(w)o (a)o(y)m(.)37 b(Lev)o(el)-62 634 y(n)o(um)o(b)q(ers)17 b(increase)g(as)g(lo)o (w)o(er)f(lev)o(el,)g(more)g(detailed)g(action)-62 680 y(and)g(e\013ect)i (descriptions)f(are)g(giv)o(en.)24 b(Ho)o(w)o(ev)o(er,)16 b(there)h(can)-62 725 y(b)q(e)12 b(\\lo)q(ops")e(in)h(the)g(structure,)j(suc)o(h)d(that)g(some) f(actions)h(can)-62 771 y(expand)k(recursiv)o(ely)g(or)f(ma)o(y)f(expand)h (bac)o(k)g(to)h(themselv)o(es)-62 817 y(via)h(other)h(sc)o(hemas.)26 b(In)16 b(suc)o(h)h(cases,)h(all)d(the)i(actions)g(and)-62 862 y(e\013ects)22 b(in)e(the)g(\\lo)q(ops")f(are)h(mapp)q(ed)f(to)h(the)g (same)f(plan)-62 908 y(mo)q(delling)11 b(lev)o(el.)18 b(The)c(detailed)g(w)o (a)o(y)e(in)i(whic)o(h)f(lev)o(el)g(n)o(um-)-62 954 y(b)q(ers)j(are)e (assigned)g(is)g(as)g(follo)o(ws.)-20 1002 y(Eac)o(h)f(sc)o(hema)e(represen)o (ts)k(a)d(w)o(a)o(y)g(to)g(p)q(erform)f(the)i(action)-62 1048 y(indicated)g(b)o(y)e(its)i Fl(expands)d Fm(clause.)18 b(The)13 b(\014rst)g(w)o(ord)f(of)f(the)-62 1094 y Fl(expands)j Fm(pattern)i(is)f (referred)i(to)e(as)g(the)g Fh(action)i(name)e Fm(of)-62 1139 y(the)g(sc)o(hema.)i(Eac)o(h)e(sc)o(hema)e Fc(S)k Fm(links)c(its)h(action)f (to)h(a)f(n)o(um-)-62 1185 y(b)q(er)18 b(of)e(direct)h(successor)i(actions:) 24 b(the)17 b(sub-actions)g(listed)-62 1231 y(in)c(the)g(sc)o(hema's)f (de\014nition.)17 b(These)d(successor)i(actions)c(are)-62 1276 y(normally)17 b(at)h(the)i(next)f(lo)o(w)o(er)f(lev)o(el)h(\(except)h(when)f (lo)q(ops)-62 1322 y(are)g(in)o(v)o(olv)o(ed\).)30 b(A)19 b(further)g(set)g (of)f(direct)h(successors)i(can)-62 1368 y(b)q(e)f(found)f(b)o(y)g(taking)f (the)i(action)e(names)h(of)f(all)g(sc)o(hemas)-62 1413 y(that)e(ha)o(v)o(e)g (an)g Fl(only)p 281 1413 15 2 v 16 w(use)p 365 1413 V 16 w(for)p 440 1413 V 17 w(e\013ects)f Fm(that)h(matc)o(hes)f(an)o(y)-62 1459 y Fl(ac)o(hiev)o(e)e Fm(condition)g(of)g Fc(S)r Fm(.)-20 1508 y(This)j(will)e(de\014ne)j(a)e(graph)h(in)f(whic)o(h)h(the)g(action)g (names)-62 1553 y(are)23 b(v)o(ertices)h(and)f(there)g(is)g(an)f(edge)h(from) e(eac)o(h)i(action)-62 1599 y(name)14 b(to)g(eac)o(h)g(of)g(its)g(directly)h (reac)o(hable)f(successors.)22 b(The)-62 1645 y(next)15 b(step)g(is)e(to)h (\014nd)g(the)h Fh(str)n(ongly)f(c)n(onne)n(cte)n(d)i(c)n(omp)n(onents)-62 1690 y Fm(\()p Fi(scc)p Fm(s\))g(in)e(this)i(graph)f(in)g(order)h(to)f(build) g(a)g(new)h(graph)f(in)-62 1736 y(whic)o(h)i(eac)o(h)f Fi(scc)g Fm(is)g(treated)h(as)f(a)g(unit.)25 b(This)16 b(new)h(graph)-62 1782 y(is)g(acyclic)g(and)g(the)h(lev)o(el)f(of)f(an)h(action)f(can)i(b)q(e)f (found)g(b)o(y)-62 1827 y(taking)j(the)h(longest)f(path)h(to)f(the)h Fi(scc)e Fm(that)i(con)o(tains)f(it)-62 1873 y(through)14 b(this)g(graph.)k (This)13 b(will)f(also)h(iden)o(tify)g(the)i(lev)o(el)e(at)-62 1919 y(whic)o(h)k Fh(e\013e)n(cts)h Fm(are)f(in)o(tro)q(duced)h(in)o(to)e (the)i(plan.)27 b(The)17 b(plan)-62 1964 y(lev)o(el)c(mapp)q(er)g(is)g (sensitiv)o(e)g(to)g(lo)q(ops)g(in)g(the)g(graph)g(and)g(the)-62 2010 y Fi(scc)p Fm(s)g(comp)q(onen)o(ts)g(represen)o(t)j(suc)o(h)e(lo)q(ops.) k(Whenev)o(er)c(y)o(ou)-62 2056 y(can)k(get)g(from)d Fc(A)j Fm(to)f Fc(B)j Fh(and)e Fm(from)d Fc(B)20 b Fm(to)d Fc(A)g Fm(in)g(a)g(directed)-62 2101 y(graph,)d Fc(A)g Fm(and)f Fc(B)k Fm(are)d(in)g(the)g(same)f Fi(scc)p Fm(.)-62 2205 y Fn(Condition)18 b(T)n(yp)r(es)g(for)g(the)f(Domain)g(W)-5 b(riter)-62 2272 y Fm(This)25 b(section)g(giv)o(es)g(de\014nitions)f(of)g(O-Plan2)g(condition) -62 2318 y(t)o(yp)q(es)c(in)f(terms)f(of)g(what)h(information)d(a)j(domain)d (writer)-62 2364 y(pro)o(viding)g(a)g(library)f(of)h(action)g(or)h(plan)e (comp)q(onen)o(ts)h(can)-62 2409 y(state,)28 b(hop)q(efully)23 b(in)h(an)f(understandable)j(w)o(a)o(y)d(without)-62 2455 y(kno)o(wledge)11 b(of)g(ho)o(w)f(the)i(AI)f(planner)g(w)o(ould)g(go)f(ab)q(out)h(using)-62 2501 y(this)j(in)g(detail.)-20 2549 y(F)m(or)c(eac)o(h)h(condition)f(t)o(yp)q (e)g(used)i(within)d(O-Plan2)h(w)o(e)h(pro-)-62 2595 y(vide)j(b)q(elo)o(w)g (the)g(follo)o(wing)e(information:)1031 -33 y Fd(\017)21 b Fl(Purp)q(ose)p Fm(:)e(This)c(describ)q(es)j(the)e(condition)f(t)o(yp)q(e)h (in)f(do-)1073 12 y(main)f(terms)h(for)h(use)g(b)o(y)g(the)g(domain)e(enco)q (der)j(and)f(de-)1073 58 y(scrib)q(es)e(the)e(circumstances)h(under)g(whic)o (h)f(the)h(condition)1073 103 y(t)o(yp)q(e)h(should)g(b)q(e)g(used.)1031 169 y Fd(\017)21 b Fl(De\014niti)o(on)p Fm(:)29 b(This)20 b(describ)q(es)j (the)f(condition)e(t)o(yp)q(e)h(in)1073 215 y(planner)14 b(terms)g(and)g (describ)q(es)j(in)d(more)f(detail)h(ho)o(w)g(the)1073 260 y(planner)h(go)q(es)g(ab)q(out)g(dealing)f(with)h(the)h(condition)e(t)o(yp)q (e)1073 306 y(on)f(b)q(ehalf)h(of)f(the)i(domain)c(enco)q(der.)1031 372 y Fd(\017)21 b Fl(Examples)p Fm(:)c(These)e(clarify)e(the)h(use)h(of)e (eac)o(h)i(t)o(yp)q(e.)1031 463 y Fb(Only)p 1144 463 16 2 v 19 w(use)p 1237 463 V 19 w(if)1031 526 y Fd(\017)21 b Fl(Purp)q(ose)p Fm(:)e(This)c(is)g(a)g(\014lter)h(condition)f(on)g(the)h(applica-)1073 571 y(bilit)o(y)c(of)h(a)h(particular)g(sc)o(hema.)1031 637 y Fd(\017)21 b Fl(De\014niti)o(on)p Fm(:)i(It)c(ma)o(y)d(b)q(e)j(giv)o(en)f (on)g(statemen)o(ts)g(in)o(tro-)1073 683 y(duced)j(as)g(e\013ects)h(at)e(a)g (higher)h(lev)o(el)f(or)g(on)g(the)h(same)1073 728 y(mo)q(delling)11 b(lev)o(el)j(as)g(the)g(sc)o(hema)f(in)o(tro)q(ducing)h(it.)1031 794 y Fd(\017)21 b Fl(Examples)p Fm(:)g(On)16 b(static)g(facts)g(\(those)h (nev)o(er)g(refuted)g(in)1073 840 y(the)10 b(plan)g(and)f(referred)j(to)e(as) g Fl(alw)o(a)o(ys)g Fm(facts)g(in)f(O-Plan2\):)1073 914 y Fa(only_use_)o(if) 16 b({type_of)h(soil})g(=)j(sandy)1073 993 y Fm(and)14 b(on)f(dynamic)g (facts)h(\(whose)h(v)n(alue)e(can)h(c)o(hange)g(o)o(v)o(er)1073 1039 y(time\):)1073 1114 y Fa(only_use_)o(if)i({apportion)o(ed)o(_fo)o(rce)g (?regiment)o(})1759 1155 y(=)j(unallocated)1073 1234 y Fm(In)14 b(the)h(\014rst)g(example)e(the)i(condition)f(w)o(ould)f(b)q(e)i(used)h(to) 1073 1280 y(allo)o(w)11 b(a)h(sc)o(hema)g(to)g(b)q(e)h(selected)i(whic)o(h)d (w)o(as)g(suitable)h(for)1073 1326 y(use)19 b(if)e(the)h(soil)g(t)o(yp)q(e)g (is)g(sandy)m(.)30 b(In)18 b(the)h(second)g(exam-)1073 1371 y(ple,)f(the)h(condition)e(w)o(ould)h(only)f(allo)o(w)f(the)j(sc)o(hema)f(to) 1073 1417 y(b)q(e)e(c)o(hosen)h(if)e(a)g(particular)g(force)i(w)o(as)e(a)o(v) n(ailable)f(at)h(this)1073 1463 y(p)q(oin)o(t)e(in)f(the)i(plan.)j(During)c (the)h(course)h(of)d(the)i(plan)f(the)1073 1508 y(force's)f(status)h(ma)o(y)d (v)n(ary)h(and)g(with)h(it)f(the)i(abilit)o(y)d(to)i(use)1073 1554 y(the)i(sc)o(hema.)1031 1645 y Fb(Only)p 1144 1645 V 19 w(use)p 1237 1645 V 19 w(for)p 1320 1645 V 18 w(query)1031 1708 y Fd(\017)21 b Fl(Purp)q(ose)p Fm(:)e(A)d(query)g(mec)o(hanism)d(to)i (establish)h(curren)o(t)1073 1754 y(v)n(alues)d(for)h(v)n(ariables.)1031 1819 y Fd(\017)21 b Fl(De\014niti)o(on)p Fm(:)29 b(It)21 b(ma)o(y)e(b)q(e)j (giv)o(en)e(on)h(statemen)o(ts)g(at)g(a)1073 1865 y(higher)13 b(or)f(on)h(the)g(same)f(mo)q(delling)e(lev)o(el)j(as)g(the)g(sc)o(hema)1073 1911 y(including)h(it.)23 b(There)17 b(should)e Fh(always)g Fm(b)q(e)h(an)g(answ)o(er)g(for)1073 1956 y(suc)o(h)e(a)g(query)g(when)g(it)g (is)g(ev)n(aluated)f(at)h(an)f(appropriate)1073 2002 y(lev)o(el.)1031 2068 y Fd(\017)21 b Fl(Examples)p Fm(:)c(On)d(static)g(facts:)1073 2184 y Fa(only_use_)o(for)o(_q)o(uer)o(y)i({country_of)g(?city})h(=)i (?country)1073 2263 y Fm(and)13 b(on)h(dynamic)e(facts:)1073 2338 y Fa(only_use_)o(for)o(_q)o(uer)o(y)k({position_o)o(f)g(?robot})1798 2379 y(=)k(?location)1073 2458 y Fm(The)14 b(\014rst)h(example)d(w)o(ould)h (allo)o(w)f(the)j(coun)o(try)f(in)g(whic)o(h)1073 2504 y(a)f(cit)o(y)g(is)g (lo)q(cated)h(to)f(b)q(e)h(lo)q(ok)o(ed)f(up.)18 b(The)13 b(second)i(exam-) 1073 2549 y(ple)e(allo)o(ws)e(the)j(dynamic)d(lo)q(okup)h(of)h(the)g(p)q (osition)g(of)f(the)1073 2595 y(rob)q(ot.)p eop bop -62 -33 a Fb(Unsup)q(ervised)-62 37 y Fd(\017)21 b Fl(Purp)q(ose)p Fm(:)i(Sp)q(eci\014es)18 b(a)f(sc)o(heduling)h(constrain)o(t)f(on)g(the)-20 83 y(sc)o(hema)c(whic)o(h)g(is)g(\(normally\))e(satis\014ed)j(externally)m(.) k(Ex-)-20 128 y(ceptionally)m(,)13 b(it)i(ma)o(y)d(also)i(sp)q(ecify)i(an)e (in)o(ternal)h(ordering)-20 174 y(requiremen)o(t)10 b(within)f(the)h(sc)o (hema)f(making)e(use)k(of)e(actions)-20 219 y(in)o(tro)q(duced)15 b(for)e(other)i(reasons.)-62 290 y Fd(\017)21 b Fl(De\014nitio)o(n)p Fm(:)g(It)c(ma)o(y)e(b)q(e)i(giv)o(en)g(on)f(statemen)o(ts)h(at)g(the)-20 336 y(same)e(or)h(a)f(higher)h(mo)q(delling)e(lev)o(el)h(if)g(the)i (condition)e(is)-20 381 y(satis\014ed)f(externally)f(to)h(the)g(sub-actions)f (of)g(the)h(sc)o(hema)-20 427 y(or)j(at)g(the)h(same)e(or)h(lo)o(w)o(er)g(mo) q(delling)d(lev)o(el)j(if)f(the)i(con-)-20 473 y(dition)h(is)h(satis\014ed)h (from)d(the)j(sub-actions)g(within)e(the)-20 518 y(sc)o(hema.)-62 589 y Fd(\017)i Fl(Example)p Fm(:)-20 711 y Fa(unsupervis)o(ed)16 b({status)h(ground_bu)o(ffe)o(r})f(=)j(empty)f(at)h(2)-20 796 y Fm(This)14 b(w)o(ould)f(mak)o(e)f(a)i(sub-action)f(n)o(um)o(b)q(er)g(2)h (in)o(tro)q(duced)-20 841 y(b)o(y)h(the)h(sc)o(hema)f(o)q(ccur)h(after)f (some)g(other)g(action)g(in)g(the)-20 887 y(plan)e(whic)o(h)h(empties)f(the)i (ground)p 544 887 13 2 v 15 w(bu\013er.)-62 986 y Fb(Sup)q(ervised)-62 1056 y Fd(\017)21 b Fl(Purp)q(ose)p Fm(:)15 b(T)m(o)10 b(protect)h(an)g(in)o (tended)g(e\013ect)i(of)d(some)f(ear-)-20 1102 y(lier)14 b(sub-activit)o(y)f (up)h(to)g(the)g(p)q(oin)o(t)g(required.)-62 1172 y Fd(\017)21 b Fl(De\014nitio)o(n)p Fm(:)g(It)c(ma)o(y)e(b)q(e)i(giv)o(en)g(on)f(statemen) o(ts)h(at)g(the)-20 1218 y(same)h(or)h(on)g(a)f(lo)o(w)o(er)h(mo)q(delling)d (lev)o(el)j(as)g(the)g(sc)o(hema)-20 1263 y(including)13 b(it.)-62 1334 y Fd(\017)21 b Fl(Example)p Fm(:)-20 1414 y Fa(supervised)16 b({status)h(ground_bu)o(ff)o(er})f(=)j(full)686 1456 y(at)g(3)g(from)f(2)-20 1541 y Fm(This)f(w)o(ould)g(protect)i(the)f(ground)p 554 1541 V 15 w(bu\013er)h(as)e(b)q(eing)h(full)-20 1587 y(b)q(et)o(w)o(een)24 b(the)g(end)g(of)e(a)h(sc)o(hema)f(sub-action)h(n)o(um)o(b)q(er)-20 1632 y(2)j(\(sa)o(y)h(where)h(some)e(data)g(w)o(as)h(captured)h(in)o(to)e (the)-20 1678 y(ground)p 109 1678 V 15 w(bu\013er\))21 b(to)e(the)h(b)q (eginning)f(of)g(a)h(later)f(sc)o(hema)-20 1724 y(sub-action)14 b(n)o(um)o(b)q(er)f(3)g(where)i(the)f(data)f(migh)o(t)f(b)q(e)i(used.)-62 1822 y Fb(Ac)o(hiev)o(e)-62 1892 y Fd(\017)21 b Fl(Purp)q(ose)p Fm(:)26 b(T)m(o)17 b(allo)o(w)g(a)h(condition)g(to)h(b)q(e)g(satis\014ed)g(b) o(y)-20 1938 y(the)c(optional)d(inclusion)h(of)g(sub-activities.)-62 2008 y Fd(\017)21 b Fl(De\014nitio)o(n)p Fm(:)46 b(Sp)q(eci\014es)31 b(a)e(requiremen)o(t)g(whic)o(h)g(the)-20 2054 y(sc)o(hema)23 b(writer)h(is)f(optionally)e(prepared)k(to)e(meet)g(b)o(y)-20 2100 y(adding)16 b(new)i(structure)h(in)o(to)d(the)i(plan)e(at)h(the)h(same)e (or)-20 2145 y(lo)o(w)o(er)j(mo)q(delling)f(lev)o(el)h(as)h(the)g(sc)o(hema)f (including)g(the)-20 2191 y(condition.)-62 2261 y Fd(\017)i Fl(Example)p Fm(:)-20 2342 y Fa(achieve)c({in_posit)o(ion)f(?tool})h(=)i (workbench)e(at)h(1)-20 2427 y Fm(This)i(allo)o(ws)f(the)i(required)g(to)q (ol)e(to)h(b)q(e)h(mo)o(v)o(ed)d(to)i(the)-20 2473 y(required)15 b(place)f(if)f(it)g(is)h(not)g(already)g(there.)-20 2549 y(The)k(follo)o (wing)d(table)j(summarises)e(the)i(w)o(a)o(ys)g(in)f(whic)o(h)-62 2595 y(eac)o(h)e(O-Plan2)e(condition)g(t)o(yp)q(e)i(ma)o(y)d(b)q(e)i (satis\014ed.)p 1032 -73 978 2 v 1031 -40 2 34 v 1057 -50 a Ff(Condition)p 1346 -40 V 210 w(Lev)o(els)d(Considered)p 1733 -40 V 165 w(T)o(yp)q(e)p 2009 -40 V 1032 -38 978 2 v 1031 -5 2 34 v 1057 -15 a(only)p 1120 -15 10 2 v 13 w(use)p 1179 -15 V 12 w(if)p 1346 -5 2 34 v 164 w(ab)q(o)o(v)o(e)p 1478 -5 V 49 w(same)p 1600 -5 V 1733 -5 V 203 w(EXTERNAL)p 2009 -5 V 1031 28 V 1346 28 V 1478 28 V 1600 28 V 1733 28 V 2009 28 V 1031 61 V 1057 51 a(only)p 1120 51 10 2 v 13 w(use)p 1179 51 V 12 w(for)p 1231 51 V 12 w(query)p 1346 61 2 34 v 51 w(ab)q(o)o(v)o(e)p 1478 61 V 49 w(same)p 1600 61 V 1733 61 V 203 w(EXTERNAL)p 2009 61 V 1031 94 V 1346 94 V 1478 94 V 1600 94 V 1733 94 V 2009 94 V 1032 96 978 2 v 1031 129 2 34 v 1057 119 a(unsup)q(ervised)p 1346 129 V 129 w(ab)q(o)o(v)o(e)p 1478 129 V 49 w(same)p 1600 129 V 1733 129 V 182 w(EXTERNAL)f(or)p 2009 129 V 1031 162 V 1346 162 V 1478 162 V 1504 152 a(same)p 1600 162 V 50 w(b)q(elo)o(w)p 1733 162 V 75 w(INTERNAL)p 2009 162 V 1032 164 978 2 v 1031 197 2 34 v 1346 197 V 1478 197 V 1600 197 V 1733 197 V 2009 197 V 1031 231 V 1057 221 a(sup)q(ervised)p 1346 231 V 1478 231 V 297 w(same)p 1600 231 V 50 w(b)q(elo)o(w)p 1733 231 V 75 w(INTERNAL)p 2009 231 V 1031 264 V 1346 264 V 1478 264 V 1600 264 V 1733 264 V 2009 264 V 1032 265 978 2 v 1032 275 V 1031 309 2 34 v 1057 299 a(ac)o(hiev)o(e)p 1346 309 V 1478 309 V 343 w(same)p 1600 309 V 50 w(b)q(elo)o(w)p 1733 309 V 74 w(OPTIONAL)p 2009 309 V 1032 310 978 2 v 1088 397 a Fn(Condition)19 b(T)n(yp)r(e)f(Corresp)r(ondence)g(to)1211 455 y(Nonlin,)g(SIPE-2)g(and)h(A)n (CT)1031 525 y Fm(Nonlin)12 b(\(T)m(ate)h(1977\))f(w)o(as)h(the)g(\014rst)h (Edin)o(burgh)f(planner)g(to)1031 571 y(use)f(the)f(T)m(ask)f(F)m(ormalism)d (\()p Fi(tf)p Fm(\))k(language)e(and)i(made)f(use)h(of)1031 617 y Fl(sup)q(ervised)p Fm(,)i Fl(unsup)q(ervised)f Fm(and)k Fl(usewhen)e Fm(condition)1031 662 y(t)o(yp)q(es.)31 b(It)18 b(handled)g(ac)o(hiev)n(able)f(conditions)h(b)o(y)f(including)1031 708 y(goal)c(no)q(des)i(in)e(the)h(action)g(expansion.)1073 758 y(The)23 b(S)p Fi(ipe{2)f Fm(planner)g(\(Wilkins)g(1988\))f(also)h (includes)1031 803 y(supp)q(ort)d(for)f(a)g(n)o(um)o(b)q(er)g(of)f(condition) h(t)o(yp)q(es)h(and)f(is)g(con-)1031 849 y(v)o(erging)27 b(on)g(similar)e(t)o (yp)q(es)j(to)f(those)h(a)o(v)n(ailable)d(in)h(O-)1031 895 y(Plan2.)21 b(A)15 b(dev)o(elopmen)o(t)g(of)f(the)i(S)p Fi(ipe{2)f Fm(domain)d(descrip-)1031 940 y(tion)j(language)f(to)i(link)e(to)h(w)o(ork)g (on)g(the)h Fi(prs)f Fm(\(Pro)q(cedural)1031 986 y(Reasoning)f(System\))g (reactiv)o(e)h(execution)g(supp)q(ort)h(system)1031 1032 y(\(George\013)c (1986\))e(is)g(no)o(w)h(underw)o(a)o(y)g(to)f(create)j(a)d(shared)i(do-)1031 1077 y(main)j(description)i(language)f(called)h Fi(a)o(ct)p Fm(.)26 b(The)17 b(follo)o(wing)1031 1123 y(sections)i(compare)f(O-Plan2)f (condition)h(t)o(yp)q(e)g(usage)h(with)1031 1169 y(the)c(those)f(used)h(in)f (Nonlin,)e(S)p Fi(ipe{2)i Fm(and)f Fi(a)o(ct)p Fm(.)p 1031 1242 1015 2 v 1030 1276 2 34 v 1056 1266 a Ff(O-Plan2)p 1345 1276 V 195 w(Nonlin)p 1583 1276 V 142 w(SIPE-2)p 1815 1276 V 130 w(A)o(CT)p 2045 1276 V 1031 1277 1015 2 v 1030 1310 2 34 v 1056 1300 a(only)p 1119 1300 10 2 v 13 w(use)p 1178 1300 V 12 w(if)p 1345 1310 2 34 v 163 w(usewhen)p 1583 1310 V 117 w(precondition)p 1815 1310 V 52 w(precondition)p 2045 1310 V 1030 1344 V 1056 1334 a(only)p 1119 1334 10 2 v 13 w(use)p 1178 1334 V 12 w(for)p 1230 1334 V 12 w(query)p 1345 1344 2 34 v 50 w(none)p 1583 1344 V 170 w(none)p 1815 1344 V 164 w(setting)p 2045 1344 V 1030 1377 V 1056 1367 a(unsup)q(ervised)p 1345 1377 V 128 w(unsup)q(ervised)p 1583 1377 V 52 w(external)p 1815 1377 V 115 w(w)o(ait-un)o(til)p 2045 1377 V 1030 1410 V 1056 1400 a(sup)q(ervised)p 1345 1410 V 164 w(sup)q(ervised)p 1583 1410 V 88 w(protect-un)o(til)p 1815 1410 V 51 w(require-un)o(til)p 2045 1410 V 1030 1443 V 1056 1433 a(ac)o(hiev)o(e)f(at)e(N)p 1345 1443 V 133 w(none)p 1583 1443 V 170 w(none)p 1815 1443 V 164 w(none)p 2045 1443 V 1030 1476 V 1056 1467 a(ac)o(hiev)o(e)i(after)p 1345 1476 V 130 w(goal)p 1583 1476 V 178 w(goal)p 1815 1476 V 172 w(ac)o(hiev)o(e)p 2045 1476 V 1031 1478 1015 2 v 1031 1538 a Fl(only)p 1124 1538 15 2 v 16 w(use)p 1208 1538 V 17 w(if)19 b Fm(This)i(is)f(the)h(same)e(as)i(Nonlin's)e Fl(usewhen)1073 1584 y Fm(\(originally)c(called)h Fl(holds)p Fm(\).)26 b(It)17 b(is)g(the)h(same)e(as)h(a)g Fl(pre-)1073 1629 y(condition)11 b Fm(in)j(either)i(S)p Fi(ipe{2)e Fm(or)h Fi(a)o(ct)p Fm(.)20 b(The)15 b Fl(*already)1073 1675 y Fm(condition)9 b(in)g(later)h(releases)i (of)d(Deviser)i(\(V)m(ere)g(1981\))e(p)q(er-)1073 1720 y(forms)j(the)j(same)e (function.)1031 1791 y Fl(only)p 1124 1791 V 16 w(use)p 1208 1791 V 17 w(for)p 1284 1791 V 16 w(query)20 b Fm(In)11 b(Nonlin)f(and)g(S)p Fi(ipe{2)p Fm(,)h(suc)o(h)g(con-)1073 1836 y(ditions)22 b(w)o(ere)i(mo)q (delled)d(as)i Fl(usewhen)e Fm(conditions)h(or)1073 1882 y Fl(preconditi)o(on)o Fm(s)c(resp)q(ectiv)o(ely)j(and)f(not)g(treated)h(sepa-) 1073 1928 y(rately)m(.)i(Nonlin)15 b(or)h(S)p Fi(ipe{2)g Fm(treated)h(a)f (query)g(condition)1073 1973 y(in)f(the)g(same)g(w)o(a)o(y)f(as)i(an)f Fl(only)p 1591 1973 V 16 w(use)p 1675 1973 V 16 w(if)f Fm(\014lter)i (condition,)1073 2019 y(except)g(that)e(it)g(w)o(as)h(assumed)f(that)g(v)n (ariables)g(w)o(ould)g(b)q(e)1073 2065 y(b)q(ound)k(b)o(y)f(satisfying)g(it.) 30 b(This)18 b(incorrectly)g(limits)e(the)1073 2110 y(range)i(of)f (legitimate)e(solutions.)30 b(As)18 b(in)f(O-Plan2,)h Fi(a)o(ct)1073 2156 y Fm(separates)e(query)f(t)o(yp)q(e)h(conditions)e(for)g(clarit)o(y)g({) h(calling)1073 2202 y(them)e(the)h Fl(setting)p Fm(.)1031 2272 y Fl(unsup)q(ervised)j Fm(Later)f(releases)h(of)d(S)p Fi(ipe{2)h Fm(allo)o(w)f(an)h Fl(ex-)1073 2318 y(ternal)9 b Fm(condition)h(to)h(giv)o(e) g(this)g(capabilit)o(y)m(.)k(In)d Fi(a)o(ct)p Fm(,)e(this)1073 2363 y(is)k(called)f Fl(w)o(ait-un)o(til)o Fm(.)1031 2433 y Fl(sup)q(ervised)18 b Fm(The)f(same)d(as)i(a)g Fl(protect-un)o(t)o(i)o(l)c Fm(in)k(S)p Fi(ipe{2)1073 2479 y Fm(and)d Fl(require-un)o(ti)o(l)d Fm(in)k Fi(a)o(ct)p Fm(.)1031 2549 y Fl(ac)o(hiev)o(e)h(at)g(N)21 b Fm(This)11 b(imp)q(oses)e(no)h(restriction)h(on)g(the)f(tem-)1073 2595 y(p)q(oral)17 b(scop)q(e)i(of)f(an)o(y)f(activit)o(y)g(inserted)i(in)f (the)g(plan)g(to)p eop bop -20 -33 a Fm(satisfy)12 b(the)g(condition.)17 b(There)c(is)f(no)f(equiv)n (alen)o(t)h(in)f(Non-)-20 12 y(lin,)17 b(S)p Fi(ipe{2)g Fm(or)h Fi(a)o(ct)f Fm(all)f(of)h(whic)o(h)g(mak)o(e)f(suc)o(h)j(temp)q(o-)-20 58 y(ral)c(scop)q(e)i(restrictions)g(and)e(th)o(us)h(restrict)h(the)g (domains)-20 103 y(whic)o(h)d(can)g(b)q(e)g(mo)q(delled.)-62 169 y Fl(ac)o(hiev)o(e)h(at)h(N)g(after)f Fc(<)p Fl(time)f(p)q(oin)o(t)p Fc(>)19 b Fm(This)67 b(is)f(an)-20 214 y Fl(ac)o(hiev)o(e)17 b Fm(with)g(a)h(temp)q(oral)f(restriction)i(on)f(the)h(p)q(oin)o(ts)-20 260 y(within)g(the)h(plan)e(from)g(whic)o(h)h(a)g(con)o(tributor)h(ma)o(y)d (b)q(e)-20 306 y(c)o(hosen)e(to)f(satisfy)g(the)h(condition.)k(This)14 b(is)g(a)g(more)g(gen-)-20 351 y(eral)g(w)o(a)o(y)g(to)g(describ)q(e)i (Nonlin,)d Fi(no)o(ah)k Fm(and)d(S)p Fi(ipe{2)g Fm(goal)-20 397 y(no)q(des)e(whic)o(h)f(app)q(ear)h(in)f(the)g(expansion/decomp)q (osition)-20 443 y(part)17 b(of)f(their)h(op)q(erator)g(sc)o(hemas.)27 b(F)m(or)16 b(these)i(systems,)-20 488 y(the)11 b Fc(<)p Fm(time)e(p)q(oin)o (t)p Fc(>)h Fm(is)g(restricted)i(to)e(b)q(e)h(after)g(the)f(start)h(of)-20 534 y(the)k(time)f(range)h(of)f(the)i(expansion)f(of)f(the)h(sc)o(hema)g (con-)-20 580 y(taining)d(the)j(condition.)i(In)d Fi(a)o(ct)f Fm(this)g(is)h(called)f Fl(ac)o(hiev)o(e)-20 625 y Fm(and)e(has)g(the)h(same) e(\014xed)h(restriction)h(on)f(temp)q(oral)f(scop)q(e)-20 671 y(as)k(Nonlin,)e Fi(no)o(ah)k Fm(and)e(S)p Fi(ipe{2)p Fm(.)311 769 y Fn(Summary)-62 832 y Fm(In)k(large)f(realistic)g(domains,)f(w)o(e)h(b)q (eliev)o(e)h(that)f(signi\014can)o(t)-62 877 y(domain)8 b(kno)o(wledge)i(m)o (ust)f(b)q(e)i(made)e(a)o(v)n(ailable)f(to)i(a)g(planner)-62 923 y(in)i(order)h(to)f(reduce)i(searc)o(h)f(spaces)h(to)d(a)h(manageable)f (lev)o(el.)-62 969 y(One)19 b(imp)q(ortan)o(t)e(w)o(a)o(y)g(in)h(whic)o(h)g (this)h(can)f(b)q(e)h(done)f(e\013ec-)-62 1014 y(tiv)o(ely)13 b(is)f(to)h(get)g(a)f(domain)f(writer)i(to)g(pro)o(vide)g(information)-62 1060 y(ab)q(out)20 b(a)f(domain)e(from)h(whic)o(h)h(w)o(e)h(can)g(extract)g (instruc-)-62 1106 y(tions)14 b(to)f(the)h(planning)e(system)h(ab)q(out)h(ho) o(w)f(to)g(satisfy)g(and)-62 1151 y(main)o(tain)f(conditions)h(required)i(in) e(the)i(plan.)-20 1198 y(Condition)g(t)o(yp)q(es)h(can)g(b)q(e)g(a)g(v)n (aluable)e(aid)h(to)h(pro)o(viding)-62 1244 y(kno)o(wledge)i(ab)q(out)g(a)g (domain)d(to)j(a)g(domain-indep)q(enden)o(t)-62 1290 y(planner.)g(Condition) 11 b(t)o(yping)h(can)h(successfully)g(restrict)h(the)-62 1335 y(searc)o(h)22 b(for)f(a)f(plan,)h(but)g(there)h(is)f(w)o(ork)f(to)h(b)q(e)g (done)g(on)-62 1381 y(ho)o(w)h(far)f(this)h(tec)o(hnique)h(can)f(b)q(e)g(dev) o(elop)q(ed.)43 b(It)22 b(is)f(of-)-62 1427 y(ten)h(di\016cult)f(for)f(a)h (domain)e(writer)j(to)f(c)o(ho)q(ose)h(the)f(cor-)-62 1472 y(rect)h(t)o(yp)q(e)e(for)f(a)h(condition)f(to)h(most)e(e\013ectiv)o(ely)j (restrict)-62 1518 y(the)d(searc)o(h)f(space)h(while)e(not)h(o)o(v)o (er-indulging)d(and)j(thro)o(w-)-62 1564 y(ing)12 b(a)o(w)o(a)o(y)e(plans)i (whic)o(h)g(should)g(b)q(e)g(considered)h(v)n(alid)e(in)g(the)-62 1609 y(domain.)33 b(Impro)o(v)o(ed)18 b(planning)g(kno)o(wledge)h(capture)i (aids)-62 1655 y(no)o(w)14 b(under)h(dev)o(elopmen)o(t)e(ma)o(y)f(assist)i (in)f(this)h(pro)q(cess.)-20 1702 y(One)22 b(aim)c(of)j(this)g(pap)q(er)g (has)h(b)q(een)g(to)e(seek)i(to)f(sepa-)-62 1748 y(rate)d(the)g(domain)d (writer)i(orien)o(ted)h(description)g(of)e(condi-)-62 1793 y(tion)f(t)o(yp)q(es)h(from)e(the)h(mec)o(hanisms)f(used)i(b)o(y)f(a)g (planner)g(to)-62 1839 y(satisfy)m(,)e(main)o(tain)e(and)j(re-satisfy)g (conditions.)-20 1886 y(By)j(making)e(this)i(information)d(more)i(widely)g(a) o(v)n(ailable,)-62 1932 y(the)i(authors)g(aim)d(to)i(promote)f(discussion)i (on)f(the)g(merits)-62 1978 y(or)j(otherwise)h(of)f(using)f(suc)o(h)i (domain-dep)q(enden)o(t)e(condi-)-62 2023 y(tion)e(t)o(yp)q(e)g(restrictions) h(as)e(a)h(means)f(to)g(comm)o(unicate)e(in-)-62 2069 y(formation)9 b(from)h(the)i(domain)d(writer)j(to)f(a)g(general)h(purp)q(ose)-62 2115 y(domain-indep)q(enden)o(t)17 b(planner.)28 b(The)17 b(con)o(trol)g(of)g (planner)-62 2160 y(searc)o(h)e(via)d(condition)h(t)o(yp)q(es)h(is)f(w)o (orth)o(y)g(of)f(a)h(serious)h(study)-62 2206 y(in)g(its)g(o)o(wn)f(righ)o (t,)g(and)h(could)g(form)e(an)h(ideal)h(Ph.D.)f(topic.)196 2304 y Fn(Ac)n(kno)n(wledgemen)n(ts)-62 2367 y Fm(W)m(e)f(are)g(grateful)f (for)g(discussions)h(on)g(condition)f(t)o(yp)q(es)h(with)-62 2412 y(Drew)20 b(McDermott,)f(Nancy)h(Lehrer,)h(Glen)e(Reece,)i(Mark)-62 2458 y(Drummond,)35 b(Subbarao)d(Kam)o(bhampati,)i(Dan)e(W)m(eld,)-62 2504 y(Craig)22 b(Knoblo)q(c)o(k)h(and)f(Louise)h(Pry)o(or,)i(as)e(w)o(ell)f (as)g(from)-62 2549 y(the)15 b(commen)o(ts)c(of)i(the)i(review)o(ers)g(and)e (con)o(v)o(ersations)h(with)-62 2595 y(other)j(mem)o(b)q(ers)e(of)h(the)g(AI) h(planning)d(comm)o(unit)o(y)m(.)22 b(Sorry)1031 -33 y(w)o(e)15 b(had)g(to)f(b)q(e)i(ruthless)g(to)e(ac)o(hiev)o(e)h(the)h(\014nal)e(page)h (coun)o(t.)1031 12 y(The)j(w)o(ork)g(rep)q(orted)h(here)g(has)f(b)q (ene\014ted)h(from)d(input)i(b)o(y)1031 58 y(talen)o(ted)g(researc)o(hers)j (who)c(ha)o(v)o(e)g(participated)h(in)f(the)h(O-)1031 103 y(Plan)f(and)g (related)h(pro)r(jects.)29 b(Thanks)17 b(to)g(Da)o(vid)f(Wilkins)1031 149 y(who)d(help)q(ed)h(in)f(c)o(hec)o(king)g(the)h(comparison)e(to)h(S)p Fi(ipe{2)g Fm(and)1031 195 y Fi(a)o(ct)h Fm(usage)g(of)f(condition)g(t)o(yp)q (es.)19 b(Errors)c(remain)e(ours.)1390 286 y Fn(References)1052 342 y Fm(Allen,)18 b(J.,)g(Hendler,)h(J.)e(&)h(T)m(ate,)g(A.)f(1990.)f Fh(R)n(e)n(adings)j(in)1052 387 y(Planning)p Fm(,)14 b(Morgan-Kaufmann.)1052 443 y(Chapman,)f(D.)i(1987.)f(Planning)g(for)h(Conjunctiv)o(e)g(Goals,)1052 489 y Fh(A)o(rti\014cial)f(Intel)r(ligenc)n(e)p Fm(,)f(V)m(ol.)f(32,)h(pp)h (333-377.)1052 544 y(Collins,)d(G.)h(&)i(Pry)o(or,)f(L.)f(1993.)f(On)j(the)f (Misuse)h(of)e(Filter)1052 590 y(Conditions:)k(A)11 b(Critical)f(Analysis,)h (in)f Fh(Curr)n(ent)i(T)m(r)n(ends)f(in)1052 636 y(AI)17 b(Planning)p Fm(,)g(\(eds.)f(Bac)o(kstr\177)-21 b(om,)16 b(C.)g(&)g(Sandew)o(all,)f(E.\),) 1052 681 y(IOS)f(Press.)1052 737 y(Currie,)22 b(K.W.)d(&)h(T)m(ate,)h(A.)f (1991.)f(O-Plan:)30 b(the)20 b(Op)q(en)1052 782 y(Planning)15 b(Arc)o(hitecture,)j Fh(A)o(rti\014cial)d(Intel)r(ligenc)n(e)h Fm(V)m(ol)e(51,)1052 828 y(No.)f(1,)g(pp)h(49-86,)f(North-Holland.)1052 884 y(Da)o(vies,)19 b(D.J.M.)e(1973.)f(POPLER)j(1.5)f(Reference)i(Man-)1052 929 y(ual,)f(Theoretical)f(Psyc)o(hology)g(Unit)h(Rep)q(ort)g(no.1.,)f(De-) 1052 975 y(partmen)o(t)d(of)h(Arti\014cial)f(In)o(telligence,)i(Univ)o(ersit) o(y)f(of)f(Ed-)1052 1021 y(in)o(burgh.)1052 1076 y(Drabble,)c(B.)f(1993.)f (Excalibur:)16 b(A)11 b(Program)e(for)h(Planning)1052 1122 y(and)j(Reasoning)f(with)h(Pro)q(cesses,)i Fh(A)o(rti\014cial)e(Intel)r (ligenc)n(e)p Fm(,)1052 1168 y(V)m(ol.)f(62)i(No.)f(1,)g(pp)h(1-40.)1052 1223 y(Drummond,)22 b(M.E.)g(1993.)f(On)i(Precondition)g(Ac)o(hiev)o(e-)1052 1269 y(men)o(t)g(and)g(the)h(Computational)d(Economics)i(of)g(Auto-)1052 1314 y(matic)17 b(Planning,)g(in)h Fh(Curr)n(ent)g(T)m(r)n(ends)g(in)h(AI)f (Planning)p Fm(,)1052 1360 y(\(eds.)c(Bac)o(kstr\177)-21 b(om,)13 b(C.)h(&)g(Sandew)o(all,)e(E.\),)h(IOS)i(Press.)1052 1416 y(George\013,)30 b(M.P)m(.)c(&)h(Lansky)m(,)i(A.L.)d(1986.)g(Pro)q(cedural)1052 1461 y(Kno)o(wledge,)13 b(in)f Fh(Pr)n(o)n(c)n(e)n(e)n(dings)h(of)h(the)g (IEEE)p Fm(,)f(Sp)q(ecial)f(Issue)1052 1507 y(on)g(Kno)o(wledge)g(Represen)o (tation,)h(V)m(ol.)d(74,)i(pp)g(1383-1398.)1052 1563 y(Sacerdoti,)22 b(E.)e(1977.)f Fh(A)i(Structur)n(e)f(for)h(Plans)g(and)g(Be-)1052 1608 y(haviours)p Fm(,)11 b(Arti\014cial)f(In)o(telligence)h(Series,)g(North) g(Holland.)1052 1664 y(T)m(ate,)h(A.)h(1975.)e(Using)h(Goal)f(Structure)k(to) d(Direct)i(Searc)o(h)1052 1710 y(in)f(a)h(Problem)f(Solv)o(er.)g(Ph.D.)g (Thesis,)h(Univ)o(ersit)o(y)g(of)f(Ed-)1052 1755 y(in)o(burgh.)1052 1811 y(T)m(ate,)h(A.)g(1977.)f(Generating)h(Pro)r(ject)i(Net)o(w)o(orks,)e (in)g(Pro-)1052 1856 y(ceedings)26 b(of)e(the)h(In)o(ternational)f(Join)o(t)g (Conference)j(on)1052 1902 y(Arti\014cial)22 b(In)o(telligence)g (\(IJCAI-77\),)i(Cam)o(bridge,)e(MA,)1052 1948 y(USA.)1052 2003 y(T)m(ate,)c(A.)f(1993.)e(The)j(Emergence)g(of)f(\\Standard")g(Plan-) 1052 2049 y(ning)12 b(and)g(Sc)o(heduling)h(System)f(Comp)q(onen)o(ts,)f(in)h Fh(Curr)n(ent)1052 2095 y(T)m(r)n(ends)g(in)g(AI)h(Planning)p Fm(,)f(\(eds.)f(Bac)o(kstr\177)-21 b(om,)11 b(C.)g(&)g(Sande-)1052 2140 y(w)o(all,)h(E.\),)h(IOS)h(Press.)1052 2196 y(T)m(ate,)22 b(A.,)f(Drabble,)h(B.)e(&)h(Kirb)o(y)m(,)h(R.)d(1994.)g(O-Plan2:)1052 2242 y(an)g(Op)q(en)h(Arc)o(hitecture)h(for)d(Command,)f(Planning)h(and)1052 2287 y(Con)o(trol,)j(in)f Fh(Intel)r(ligent)g(Sche)n(duling)p Fm(,)i(\(eds.)f(F)m(o)o(x,)f(M.)g(&)1052 2333 y(Zw)o(eb)q(en,)15 b(M.\),)e(Morgan)g(Kaufmann.)1052 2389 y(V)m(ere,)k(S.)e(1981.)f(Planning)h (in)h(Time:)k(Windo)o(ws)15 b(and)h(Du-)1052 2434 y(rations)g(for)g (Activities)h(and)f(Goals,)f Fh(IEEE)j(T)m(r)n(ansactions)1052 2480 y(on)d(Pattern)f(A)o(nalysis)g(and)h(Machine)g(Intel)r(ligenc)n(e)e Fm(V)m(ol.)e(5.)1052 2535 y(Wilkins,)39 b(D.)34 b(1988.)g Fh(Pr)n(actic)n(al) f(Planning)p Fm(,)41 b(Morgan-)1052 2581 y(Kaufmann.)p eop end userdict /end-hook known{end-hook}if