gil-blythe-aaai00-2.ps

%!PS-Adobe-2.0
%%Creator: dvips 5.58 Copyright 1986, 1994 Radical Eye Software
%%Title: planet-ws00.dvi
%%CreationDate: Thu May  4 01:23:24 2000
%%Pages: 6
%%PageOrder: Ascend
%%BoundingBox: 0 0 612 792
%%DocumentFonts: Times-Bold Times-Roman Times-Italic
%%EndComments
%DVIPSCommandLine: dvips -o planet-ws00.ps planet-ws00
%DVIPSParameters: dpi=300, comments removed
%DVIPSSource:  TeX output 2000.05.04:0123
%%BeginProcSet: tex.pro
/TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N
/X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72
mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1}
ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale
isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div
hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul
TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if}
forall round exch round exch]setmatrix}N /@landscape{/isls true 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 /nn 0 N /IE 0 N /ctr 0 N /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 /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 /E{pop nn dup definefont setfont}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 /ch-image{ch-data
dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N
/rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 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 sub]{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 /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul
add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore userdict
/eop-hook known{eop-hook}if showpage}N /@start{userdict /start-hook
known{start-hook}if pop /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
65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0
0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V
{}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7
getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false}
ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false
RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1
false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform
round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg
rlineto rulex neg 0 rlineto fill 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 /w{0 rmoveto}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 /x{0 S rmoveto}B /y{3 2 roll p
a}B /bos{/SS save N}B /eos{SS restore}B end
%%EndProcSet
%%BeginProcSet: texps.pro
TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2
index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll
exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics
exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub
dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def}
ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict
end definefont 3 -1 roll makefont /setfont load]cvx def}def
/ObliqueSlant{dup sin S cos div neg}B /SlantFont{4 index mul add}def
/ExtendFont{3 -1 roll mul exch}def /ReEncodeFont{/Encoding exch def}def
end
%%EndProcSet
%%BeginProcSet: special.pro
TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N
/vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen
false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B
/@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit
div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{
/CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{
10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B
/@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale
true def end /@MacSetUp{userdict /md known{userdict /md get type
/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup
length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{}
N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath
clippath mark{transform{itransform moveto}}{transform{itransform lineto}
}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{
itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{
closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39
0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N
/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1
scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get
ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip
not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0
TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR
pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1
-1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg
TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg
sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr
0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add
2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp
{pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72
div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray}
N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict
maxlength dict begin /magscale true def normalscale currentpoint TR
/psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts
/psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx
psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy
scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR
/showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{
psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2
roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath
moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict
begin /SpecialSave save N gsave normalscale currentpoint TR
@SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial
{CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto
closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx
sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR
}{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse
CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury
lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath
}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{
end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin}
N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{
/SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX
SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X
/startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad
yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end
%%EndProcSet
TeXDict begin 40258431 52099146 1000 300 300
(/nfs/isd/blythe/Papers/aaai99/planet/planet-ws00.dvi)
@start /Fa 137[13 15 8 11 11 15 1[15 15 21 8 1[8 8 15
2[13 1[13 15 15 13[15 2[18 21 2[16 2[10 4[21 9[10 58[{}24
29.166668 /Times-Italic rf /Fb 135[23 1[23 25 15 18 20
1[25 23 25 38 13 25 15 13 25 23 15 20 25 20 25 23 9[46
2[30 25 2[28 36 33 1[30 1[23 2[36 28 30 33 33 1[33 19[15
11 44[{}38 45.833332 /Times-Bold rf /Fc 206[12 49[{}1
25.000000 /Times-Roman rf /Fd 81[16 52[15 15 21 15 15
8 11 10 15 15 15 15 23 8 15 1[8 15 15 10 13 15 13 15
13 3[10 1[10 3[27 1[21 1[16 19 2[21 21 26 3[10 1[21 16
18 21 19 19 21 6[8 15 15 15 15 15 15 15 15 15 3[10 7
16 15 42[{}56 29.166668 /Times-Roman rf /Fe 165[20 4[24
20 18 22 1[18 24 24 1[20 1[13 11 2[18 20 1[22 22 24 65[{}16
33.333332 /Times-Roman rf /Ff 80[21 21 51[16 18 18 28
1[21 12 16 16 1[21 21 21 30 12 18 1[12 21 21 12 18 21
18 21 21 6[23 23 25 35 3[21 25 2[30 28 35 23 1[18 1[30
3[30 1[25 25 11[21 2[21 21 2[10 14 5[14 39[{}46 41.666668
/Times-Italic rf /Fg 80[19 19 51[15 17 17 25 17 19 10
15 15 1[19 19 19 27 10 17 1[10 19 19 10 17 19 17 19 19
3[15 1[15 3[31 23 27 21 19 23 27 23 27 25 31 21 25 17
12 27 1[23 23 27 25 23 23 6[12 19 19 19 19 19 6[9 12
9 4[12 39[{}60 37.500000 /Times-Italic rf /Fh 171[18
3[17 1[22 1[18 6[18 3[22 65[{}6 29.999987 /Times-Roman
rf /Fi 47[37 13[12 16[19 2[21 51[17 19 19 27 19 19 10
15 12 1[19 19 19 29 10 19 10 10 19 19 12 17 19 17 19
17 7[27 1[35 27 27 23 21 25 27 21 27 27 33 23 27 15 12
27 27 21 23 27 25 25 27 5[10 10 19 19 19 19 19 19 19
19 19 19 10 9 12 9 2[12 12 12 39[{}72 37.500000 /Times-Roman
rf /Fj 81[23 52[21 21 30 21 23 14 16 18 1[23 21 23 35
12 23 14 12 23 21 14 18 23 18 23 21 12[28 23 2[25 32
9[28 3[30 19[14 45[{}32 41.666668 /Times-Bold rf /Fk
14 122 df<387C7E7E3E0E1E1C78F060070B798416>44 D<70F8F8F8700505788416>46
D<00F80003FC0007FE000F07001C3F80387F8078FF8071C3C071C3C0E381C0E381C0E381
C0E381C0E381C0E381C0E381C071C38071C38078FF00387E001C3C000F03C007FFC003FF
0000FC0012197E9816>64 D<7E0000FE00007E00000E00000E00000E00000E00000E3E00
0EFF000FFF800F83C00F00E00E00E00E00700E00700E00700E00700E00700E00700E00E0
0F01E00F83C00FFF800EFF00063C001419809816>98 D<003F00007F00003F0000070000
070000070000070003C7000FF7001FFF003C1F00780F00700700E00700E00700E00700E0
0700E00700E00700700F00700F003C1F001FFFE00FE7F007C7E014197F9816>100
D<03E00FF81FFC3C1E780E7007E007FFFFFFFFFFFFE000E000700778073C0F1FFE0FFC03
F010127D9116>I<03E3C007F7E00FFFE01C1CC0380E00380E00380E00380E00380E001C
1C000FF8001FF0001BE0003800001800001FFC001FFF003FFF807803C0E000E0E000E0E0
00E0E000E07001C07C07C03FFF800FFE0003F800131C7F9116>103
D<7E0000FE00007E00000E00000E00000E00000E00000E3C000EFE000FFF000F87800F03
800E03800E03800E03800E03800E03800E03800E03800E03800E03800E03807FC7F0FFE7
F87FC7F01519809816>I<018003C003C0018000000000000000007FC07FC07FC001C001
C001C001C001C001C001C001C001C001C001C001C07FFFFFFF7FFF101A7D9916>I<FFC0
00FFC000FFC00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C00001C00001C00001C00001C00001C00001C00001C00001C000FFFF80FFFF80FFFF
8011197E9816>108 D<0FEC3FFC7FFCF03CE01CE01C70007F801FF007F8003C600EE00E
F00EF81EFFFCFFF8C7E00F127D9116>115 D<0300000700000700000700000700007FFF
00FFFF00FFFF000700000700000700000700000700000700000700000701000703800703
8007038007870003FE0001FC0000F80011177F9616>I<7E1F80FE3F807E1F800E03800E
03800E03800E03800E03800E03800E03800E03800E03800E03800E03800E0F800FFFF007
FBF803E3F01512809116>I<7F1FC0FF9FE07F1FC01C07000E07000E0E000E0E00070E00
071C00071C00039C00039C0003980001B80001B80000F00000F00000F00000E00000E000
00E00001C00079C0007BC0007F80003F00003C0000131B7F9116>121
D E /Fl 69[18 10[23 23 3[18 47[18 21 21 30 21 21 12 16
14 21 21 21 21 32 12 21 12 12 21 21 14 18 21 18 21 18
14 6[30 30 39 30 30 25 23 28 1[23 30 30 37 25 30 16 14
30 30 23 25 30 28 28 30 1[18 3[12 12 21 21 21 21 21 21
21 21 21 21 12 10 14 10 2[14 14 14 32 35 37[{}77 41.666668
/Times-Roman rf /Fm 134[25 1[36 25 28 17 19 22 1[28 25
28 41 14 28 1[14 28 25 17 22 28 22 1[25 7[36 1[50 1[36
33 1[36 1[30 39 36 1[33 39 25 19 1[39 1[33 36 36 33 36
6[17 12[17 45[{}41 50.000000 /Times-Bold rf /Fn 134[29
3[32 19 23 26 1[32 29 32 1[16 2[16 32 29 19 26 32 1[32
29 12[39 32 42 1[36 45 42 1[39 6[39 3[42 6[19 58[{}27
58.333336 /Times-Bold rf end
%%EndProlog
%%BeginSetup
%%Feature: *Resolution 300dpi
TeXDict begin

%%EndSetup
%%Page: 1 1
1 0 bop 103 152 a Fn(PLANET)l(:)14 b(A)g(Shar)o(eable)h(and)g(Reusable)
g(Ontology)h(for)e(Repr)o(esenting)h(Plans)680 294 y
Fm(Y)-6 b(olanda)12 b(Gil)g(and)g(Jim)g(Blythe)429 340
y Fl(University)d(of)h(Southern)f(California)g(/)h(Information)e
(Sciences)k(Institute)751 385 y(Marina)e(del)g(Rey)m(,)h(CA)f(90292)681
431 y Fk(gil@isi.edu,)19 b(blythe@isi.edu)286 -210 y
Fl(In)10 b(Proceedings)g(of)g(the)h(AAAI)f(2000)f(workshop)g(on)h
(Representational)f(Issues)i(for)f(Real-world)f(Planning)g(Systems.)351
481 y Fj(Abstract)-20 560 y Fi(Ontologies)c(are)h(becoming)f(a)h
(recognized)t(vehicle)f(for)i(knowledge)-20 601 y(reuse,)f(knowledge)g
(sharing,)t(and)g(modeling.)k(This)c(paper)g(presents)-20
643 y Fh(PLANET)p Fi(,)14 b(an)e(ontology)f(for)j(representing)d
(plans.)24 b(T)m(o)12 b(show)g(that)-20 684 y Fh(PLANET)g
Fi(is)g(a)g(comprehensive)e(ontology)h(that)i(can)e(be)h
Fg(r)o(eused)d Fi(to)-20 726 y(build)j(new)g(applications,)g(we)f
(describe)g(several)g(specializations)-20 767 y(of)f(it)g(to)g
(represent)e(plans)h(in)h(three)f(dif)o(ferent)h(real-world)h(domains)
-20 809 y(that)c(were)g(made)g(by)g(adding)f(minor)h(extensions)e(to)j
Fh(PLANET)p Fi(')n(s)f(gen-)-20 850 y(eral)g(de\256nitions)f(and)h
(classes.)j(In)e(past)e(work,)i(we)f(have)f(developed)-20
892 y(several)k(plan)g(evaluation)f(systems)g(in)i(these)f(domains,)g
(and)g(have)-20 933 y(integrated)j(them)g(in)g(several)f(occasions)f
(with)j(plan)e(editors)h(and)-20 975 y(plan)c(generation)f(systems.)k
(For)e(each)d(of)j(these)e(integrations,)h(and)-20 1016
y(often)k(for)h(each)e(system)h(in)g(the)h(integration,)h(a)e(new)g
(format)h(for)-20 1058 y(exchanging)8 b(plans)i(was)f(devised.)17
b Fh(PLANET)10 b Fi(can)f(represent)h(all)h(of)-20 1099
y(the)j(plans)g(that)h(we)f(and)g(others)g(have)f(used)g(in)i(these)e
(domains,)-20 1141 y(providing)f(a)g(standard)f(universal)g(format)i
(for)g(knowledge)d Fg(shar)o(-)-20 1182 y(ing)g Fi(that)g(can)f(be)g
(used)g(as)g(an)g(interlingua)h(in)g(integrated)f(planning)-20
1224 y(applications.)k(Finally)n(,)c(the)g(paper)f(discusses)f(how)i
(we)g(have)f(used)-20 1265 y Fh(PLANET)h Fi(as)f(a)h
Fg(knowledge)f(modelling)g Fi(tool)i(to)f(design)f(representa-)-20
1307 y(tions)j(for)h(courses)d(of)j(action)e(in)i(a)f(military)h
(domain,)g(guiding)e(us)-20 1348 y(to)f(make)g(useful)f(distinctions)h
(and)f(modelling)h(choices.)293 1477 y Fm(Intr)o(oduction)-62
1543 y Fl(As)17 b(we)h(develop)e(lar)o(ger)h(and)g(more)g(complex)g
(intelligent)d(sys-)-62 1589 y(tems)f(in)f(knowledge-intensive)e
(domains,)j(it)f(becomes)i(imprac-)-62 1635 y(tical)e(and)f(even)h
(infeasible)f(to)g(develop)g(knowledge)g(bases)h(from)-62
1680 y(scratch.)17 b(Recent)11 b(research)h(investigates)e(how)g(to)g
(develop)g(intel-)-62 1726 y(ligent)i(systems)h(by)f(drawing)g(from)g
(libraries)g(of)g(reusable)h(com-)-62 1772 y(ponents)g(that)f(include)g
(both)g(ontologies)f(\(Neches)j Ff(et)f(al.)23 b Fl(1991\))-62
1817 y(and)15 b(problem-solving)c(methods)j(\(Breuker)g(and)g(V)-5
b(an)15 b(de)f(V)-5 b(elde)-62 1863 y(1994\).)30 b(This)15
b(paper)h(introduces)e Fe(PLANET)587 1848 y Fd(1)605
1863 y Fl(,)j(a)f(reusable)g(ontol-)-62 1909 y(ogy)g(for)g
(representing)g(plans.)34 b Fe(PLANET)17 b Fl(complements)g(recent)-62
1954 y(ef)o(forts)e(on)g(formalizing,)h(or)o(ganizing,)g(and)f
(unifying)e(AI)i(plan-)-62 2000 y(ning)20 b(algorithms)f(\(Kambhampati)
i(et)g(al)f(1995;)g(Y)l(ang)g(1990;)-62 2046 y(Nunes)g(et)f(al)f
(1997\))g(by)h(focusing)f(on)g(the)h(representation)f(of)-62
2091 y(plans,)k(and)e(adds)f(a)h(practical)g(perspective)f(in)g(that)g
(it)g(is)g(de-)-62 2137 y(signed)14 b(to)g(accomodate)i(a)f(diverse)f
(range)h(of)f(real-world)f(plans)-62 2183 y(\(including)20
b(manually)i(created)h(ones\).)50 b(As)22 b(more)h(complex)-62
2228 y(planning)13 b(systems)i(are)g(developed)e(to)h(operate)g(in)g
(knowledge-)-62 2274 y(intensive)e(environments,)h(ontologies)e
(present)h(an)h(approach)g(to)-62 2320 y(enable)21 b(richer)e(plan)h
(representations)f(\(Cohen)g Ff(et)h(al.)43 b Fl(1998;)-62
2365 y(V)-5 b(alente)11 b Ff(et)g(al.)j Fl(1999\).)-20
2414 y(W)m(e)21 b(have)g(drawn)f(from)h(our)f(past)g(experience)i(in)e
(design-)-62 2459 y(ing,)i(developing)c(and)i(integrating)e(planning)g
(tools,)j(and)f(ex-)-62 2505 y(pect)i Fe(PLANET)h Fl(to)e(ease)h(these)
g(tasks)g(in)e(the)h(future)g(in)g(three)p -62 2551 250
2 v -9 2579 a Fc(1)6 2595 y Fh(PLANET)p Fi(:)13 b(a)c
Fh(PLAN)f Fi(semantic)h Fh(NET)1031 642 y Fl(ways.)34
b(First,)18 b(we)e(have)h(already)g(found)e(it)h(useful)g(for)g
Ff(knowl-)1031 687 y(edge)f(modelling)p Fl(.)26 b(By)14
b(providing)e(a)j(structure)f(that)f(formalizes)1031
733 y(useful)e(distinctions)d(for)i(reasoning)g(about)g(states)h(and)g
(actions,)g(a)1031 778 y(knowledge)f(engineer)h(can)h(\256nd)f(the)f
(semantics)i(of)f(informal)e(ex-)1031 824 y(pressions)g(of)f(plans)h
(\(e.g.,)i(textual)d(or)g(domain-speci\256c\))h(through)1031
870 y(designing)i(mappings)h(to)g(the)g(ontology)m(.)20
b(Reports)11 b(on)h(ef)o(forts)g(to)1031 915 y(model)c(plans)g(in)f
(various)g(application)f(domains)i(\(Nau)g(et)g(al)g(1995;)1031
961 y(Knoblock)e(1996\))g(indicate)g(the)g(dif)o(\256culties)g(of)g
(representing)g(real-)1031 1007 y(world)h(domains,)h(and)g(point)e(out)
h(the)g(need)i(for)e(better)g(methodolo-)1031 1052 y(gies)15
b(for)e(knowledge)h(modelling)f(for)h(planning)e(and)j(for)f(richer)
1031 1098 y(representations)j(of)f(planning)g(knowledge.)34
b(W)m(e)17 b(believe)g(that)1031 1144 y Fe(PLANET)e Fl(takes)g(a)f
(step)g(in)f(that)g(direction.)25 b(Second,)15 b(a)g(plan)e(on-)1031
1189 y(tology)d(can)j(be)f(a)h(central)f(vehicle)f(for)h
Ff(knowledge)f(r)n(euse)j Fl(across)1031 1235 y(planning)f
(applications.)27 b Fe(PLANET)16 b Fl(contains)e(general,)i(domain-)
1031 1281 y(independent)10 b(de\256nitions)g(that)g(are)i(common)g(and)
f(useful)g(across)1031 1326 y(planning)17 b(domains.)38
b(T)m(o)19 b(create)g(a)g(plan)e(representation)h(in)f(a)1031
1372 y(new)12 b(domain,)g(these)g(general)g(de\256nitions)e(can)i(be)g
(used)g(directly)1031 1418 y(and)g(would)e(not)g(need)i(to)f(be)h
(rede\256ned)f(for)g(every)h(new)g(domain.)1031 1463
y(Only)g(domain-dependent)g(extensions)g(will)f(need)i(to)f(be)h
(added.)1031 1509 y(Third,)8 b Fe(PLANET)h Fl(should)d(facilitate)h
(integration)f(of)h(planning)f(tools)1031 1555 y(through)11
b Ff(knowledge)i(sharing)p Fl(.)21 b(Currently)m(,)12
b(practical)h(ef)o(forts)f(to)1031 1600 y(integrate)f(planning)f(tools)
g(are)i(done)g(by)f(designing)f(separate)i(in-)1031 1646
y(terchange)g(formats)f(for)f(\(almost\))h(each)h(pair)f(of)g(tools,)f
(since)h(de-)1031 1692 y(signing)i(a)j(more)f(universal)f(format)h(is)f
(costly)g(and)h(often)f(more)1031 1737 y(dif)o(\256cult)f(than)h
(designing)e(the)i(entire)g(set)g(of)g(pairwise)f(formats.)1031
1783 y(These)f(dif)o(\256culties)e(are)h(in)f(part)h(because)h(these)f
(systems)g(include)1031 1829 y(decision-support)d(tools)i(such)g(as)h
(plan)f(editors,)g(plan)g(evaluation)1031 1874 y(tools,)15
b(and)f(plan)g(critiquers)f(\(Bienkowski)g(and)h(Hoebel)g(1998\),)1031
1920 y(which)c(represent)h(plans)f(in)g(ways)h(that)f(are)h(dif)o
(ferent)f(from)h(tradi-)1031 1966 y(tional)6 b(AI)h(plan)g(generation)g
(systems.)15 b(An)7 b(ontology)e(like)h Fe(PLANET)1031
2011 y Fl(can)i(provide)e(a)i(shared)f(plan)g(representation)f(for)h
(systems)h(to)e(com-)1031 2057 y(municate)12 b(and)f(exhange)h
(information)d(about)i(the)g(plan,)h(and)f(can)1031 2103
y(facilitate)d(the)h(creation)f(of)g(a)i(common,)f(overarching)f
(knowledge)1031 2148 y(base)16 b(for)f(future)g(integrations)e(of)i
(planning)f(tools.)29 b(An)15 b(exam-)1031 2194 y(ple)e(of)g(a)g
(successful)h(integration)d(of)i(planning)e(tools)h(through)f(a)1031
2240 y(knowledge)f(base)h(is)f(shown)g(in)f(\(V)-5 b(alente)11
b Ff(et)f(al.)15 b Fl(1999\).)1073 2321 y Fe(PLANET)k
Fl(makes)f(the)f(following)e(representational)i(commit-)1031
2367 y(ments)c(to)f(provide)f(broad)h(coverage.)23 b(First,)12
b(planning)f(contexts)1031 2412 y(that)i(refer)g(to)f(domain)h
(information)e(and)i(constraints)f(that)g(form)1031 2458
y(the)h(background)e(of)i(a)g(planning)e(problem)h(are)h(represented)g
(ex-)1031 2504 y(plicitly)m(.)k(Planning)10 b(problems,)i(which)f
(supplement)g(the)g(context)1031 2549 y(with)e(information)f(about)i
(the)g(initial)e(state)i(of)g(the)g(world)f(and)h(the)1031
2595 y(goals,)g(are)f(represented)h(explicitly)d(and)i(are)h
(accessible)g(from)f(the)p eop
%%Page: 2 2
2 1 bop -62 -33 a Fl(context.)27 b(Alternative)13 b(plans)h(themselves)
h(are)g(then)e(accessible)-62 12 y(from)j(each)g(planning)e(problem)h
(for)g(which)g(they)g(are)h(relevant.)-62 58 y(Second,)f
Fe(PLANET)g Fl(maintains)e(an)h(explicit)e(distinction)e(between)-62
103 y Ff(external)18 b(constraints)p Fl(,)g(which)e(are)i(imposed)f(on)
g(a)h(context)e(or)-62 149 y(planning)9 b(problem)h(externally)g(to)g
(a)h(planning)e(agent)h(\(including)-62 195 y(user)k(advice)g(and)g
(preferences\),)i(and)d Ff(commitments)g Fl(which)g(the)-62
240 y(planning)f(agent)i(elects)g(to)f(add)h(as)g(a)g(partial)f
(speci\256cation)g(of)g(a)-62 286 y(plan)f(\(for)f(example,)j(a)e(step)
g(ordering)f(commitment\).)20 b(The)13 b(cur)o(-)-62
332 y(rent)d(version)e(of)h Fe(PLANET)i Fl(does)f(not)e(represent)i
(aspects)g(related)f(to)-62 377 y(the)i(execution)f(of)g(plans)h(and)f
(actions,)h(adversarial)g(planning,)e(or)-62 423 y(agent)i(beliefs)f
(and)g(intentions.)-20 471 y(W)m(e)f(present)g(the)f(main)h
(de\256nitions)e(in)i Fe(PLANET)p Fl(,)h(including)d(ini-)-62
516 y(tial)13 b(planning)f(context,)i(goals,)h(actions)e(and)h(tasks,)h
(and)e(choice)-62 562 y(points.)22 b(Next,)14 b(we)f(describe)h(three)f
(specializations)f(of)g Fe(PLANET)-62 608 y Fl(for)f(three)g
(real-world)e(domains)i(where)g(plans)g(are)g(of)g(a)g(very)g(dif-)-62
653 y(ferent)17 b(nature.)35 b(W)m(e)17 b(conclude)g(with)e(a)j
(discussion)d(of)i(related)-62 699 y(work)10 b(and)h(some)g
(anticipated)e(directions)g(for)h(future)f(work.)-6 801
y Fm(PLANET)l(:)k(An)f(Ontology)f(for)h(Repr)o(esenting)370
859 y(Plans)-62 923 y Fl(This)i(section)g(describes)g(how)g(dif)o
(ferent)f(aspects)i(of)e(a)i(plan)e(are)-62 969 y(represented)h(in)e
Fe(PLANET)p Fl(.)24 b(As)13 b(a)g(convention,)f(we)i(use)f(boldface)-62
1014 y(to)d(highlight)d(terms)j(that)f(are)h(de\256ned)h(in)e
Fe(PLANET)i Fl(when)f(they)f(are)-62 1060 y(\256rst)i(introduced)e(and)
i(described)f(in)g(the)h(text.)k(Figure)10 b(1)h(shows)f(a)-62
1106 y(diagram)f(of)f(the)g(major)g(concepts)h(and)f(relations)g(in)f
(the)h(ontology)m(.)-62 1199 y Fb(Planning)k(Pr)o(oblems,)g(Scenarios,)
h(and)f(Contexts)-62 1263 y Fl(A)i Fj(planning)f(pr)o(oblem)h(context)f
Fl(represents)h(the)g(initial,)f(given)-62 1309 y(assumptions)h(about)e
(the)i(planning)e(problem.)25 b(It)13 b(describes)h(the)-62
1354 y(background)c(scenario)h(in)f(which)g(plans)h(are)g(designed)f
(and)h(must)-62 1400 y(operate)j(on.)24 b(This)13 b(context)f(includes)
h(the)g(initial)e(state,)k(desired)-62 1446 y(goals,)c(and)f(the)g
(external)g(constraints.)-20 1493 y(A)j Fj(world)f(state)h
Fl(is)f(a)h(model)g(of)f(the)h(environment)e(for)h(which)-62
1539 y(the)h(plan)f(is)h(intended.)21 b(When)13 b(using)e(a)j(rich)e
(knowledge)g(repre-)-62 1585 y(sentation)f(system,)h(the)f(state)h(may)
g(be)f(represented)h(in)f(a)h(context)-62 1630 y(or)j(microtheory)m(.)
30 b(A)16 b(certain)f(world)f(state)i(description)e(can)i(be)-62
1676 y(chosen)10 b(as)g(the)f Fj(initial)e(state)j Fl(of)f(a)g(given)g
(planning)f(problem,)h(and)-62 1722 y(all)14 b(plans)g(that)g(are)h
(solutions)d(of)i(this)g(planning)e(problem)i(must)-62
1767 y(assume)e(this)d(initial)g(state.)-20 1815 y(The)i
Fj(desir)o(ed)g(goals)e Fl(express)i(what)f(is)f(to)h(be)g
(accomplished)g(in)-62 1860 y(the)e(process)g(of)f(solving)f(the)i
(planning)e(problem.)14 b(Sometimes)8 b(the)-62 1906
y(initial)k(planning)f(context)i(may)h(not)e(directly)g(specify)h(the)g
(goals)-62 1952 y(to)d(be)h(achieved,)g(instead)f(these)h(are)g
(deduced)g(from)f(some)h(initial)-62 1997 y(information)e(about)g(the)h
(situation)e(and)j(some)g(abstract)f(guidance)-62 2043
y(provided)f(as)i(constraints)f(on)g(the)g(problem.)-20
2091 y(W)m(e)i(make)h(a)g(distinction)c(between)j Ff(external)h
(constraints)d Fl(im-)-62 2136 y(posed)g(on)g(planning)f(problems)g
(and)h(the)g Ff(commitments)f Fl(made)i(by)-62 2182 y(the)16
b(plan.)30 b Fj(External)15 b(constraints)h Fl(may)g(be)g(speci\256ed)g
(as)g(part)-62 2228 y(of)c(the)g(planning)e(context)h(to)g(express)h
(desirable)g(or)f(undesirable)-62 2273 y(properties)i(or)g(ef)o(fects)i
(of)e(potential)e(solutions)h(to)h(the)g(problem,)-62
2319 y(including)d(user)i(advice)g(and)g(preferences.)21
b(Examples)12 b(of)g(exter)o(-)-62 2365 y(nal)h(constraints)e(are)i
(that)e(the)h(plan)g(accomplishes)h(a)g(mission)e(in)-62
2410 y(a)i(period)d(of)h(seven)i(days,)f(that)f(the)g(plan)g(does)h
(not)f(use)h(a)g(certain)-62 2456 y(type)h(of)f(resource,)j(or)d(that)g
(transportation)e(is)j(preferrably)f(done)-62 2502 y(in)e(tracked)h
(vehicles.)k(Commitments)10 b(are)h(discussed)f(later)n(.)-20
2549 y(The)i(initial)d(requirements)i(expressed)h(in)e(the)h(planning)f
(prob-)-62 2595 y(lem)k(context)e(need)i(not)e(all)g(be)i(consistent)e
(and)h(achievable)h(\(for)1031 -33 y(example,)i(initial)c(external)i
(constraints)f(and)i(goals)e(may)i(be)f(in-)1031 12 y(compatible\),)8
b(rather)f(its)g(aim)g(is)g(to)g(represent)g(these)h(requirements)1031
58 y(as)15 b(given.)27 b(A)15 b(plan)f(may)h(satisfy)f(or)g(not)g
(satisfy)f(external)i(con-)1031 103 y(straints.)61 b(PLANET)17
b(represents)f(these)g(options)e(with)g(multi-)1031 149
y(ple)9 b Fj(planning)g(pr)o(oblems)h Fl(for)f(each)h(planning)e
(problem)h(context,)1031 195 y(which)i(may)h(add)f(new)g(constraints)f
(and)h(goals,)h(or)e(relax)i(or)e(drop)1031 240 y(given)18
b(ones.)38 b(A)18 b(planning)f(problem)g(is)h(created)h(by)f(forming)
1031 286 y(speci\256c)11 b(goals,)f(constraints)f(and)h(assumptions)g
(about)f(the)h(initial)1031 332 y(state.)21 b(Several)13
b(plans)e(can)i(be)f(created)h(as)g(alternative)f(solutions)1031
377 y(for)k(a)h(given)e(planning)g(problem.)32 b(A)16
b(planning)f(problem)h(also)1031 423 y(includes)10 b(information)e
(used)i(to)f(compare)i(alternative)e(candidate)1031 469
y(plans.)33 b(Planning)15 b(problems)h(can)h(have)f(descendant)h
(planning)1031 514 y(problems,)c(which)e(impose)h(\(or)g(relax\))g(dif)
o(ferent)f(constraints)g(on)1031 560 y(the)f(original)e(problem)h(or)g
(may)h(assume)h(variations)e(of)g(the)h(initial)1031
606 y(state.)52 b(T)m(ypically)m(,)14 b(AI)g(planning)e(systems)i
(assume)h(one)f(given)1031 651 y(planning)9 b(problem)h(and)g(do)g(not)
f(address)i(this)f(process,)h(which)f(is)1031 697 y(essential)h(when)f
(working)f(with)g(real-world)g(environments.)1073 743
y(A)15 b(planning)f(problem)g(may)i(have)g(a)g(number)f(of)g
Fj(candidate)1031 789 y(plans)d Fl(which)g(are)i(potential)d
(solutions.)20 b(A)12 b(candidate)h(plan)f(can)1031 835
y(be)f Fj(untried)g Fl(\(i.e.,)h(it)e(is)h(yet)f(to)g(be)h(explored)f
(or)g(tested\),)h Fj(r)o(ejected)1031 880 y Fl(\(i.e.,)k(for)e(some)h
(reason)g(it)f(has)h(been)f(rejected)h(as)g(the)f(preferred)1031
926 y(plan\))e(or)f Fj(feasible)h Fl(\(i.e.,)i(tried)d(and)h(not)f
(rejected\).)18 b(One)11 b(or)g(more)1031 972 y(feasible)h(plans)f(may)
h(be)g(marked)f(as)i Fj(selected)p Fl(.)19 b(All)11 b(of)g(these)h(are)
1031 1017 y(sub-relations)d(of)h(candidate)g(plan.)1031
1106 y Fb(Goals,)h(Objectives,)h(Capabilities,)f(and)h(Effects)1031
1166 y Fl(A)h Fj(goal)f(speci\256cation)i Fl(represents)f(anything)f
(that)g(gets)h(accom-)1031 1212 y(plished)c(by)g(a)h(plan,)g(subplan)e
(or)i(task.)15 b(Both)8 b(capabilities)h(and)g(ef-)1031
1258 y(fects)h(of)f(actions)g(and)g(tasks)h(are)g(subtypes)e(of)h(goal)
g(speci\256cation,)1031 1303 y(as)j(well)f(as)h(posted)e(goals)h(and)g
(objectives.)18 b(Goals)11 b(may)h(be)f(vari-)1031 1349
y(abilized)c(or)g(instantiated.)k Fj(State-based)c(goal)g
(speci\256cations)g Fl(are)1031 1395 y(goal)h(speci\256cations)f(that)g
(typically)g(represent)h(goals)f(that)g(refer)h(to)1031
1440 y(some)f(predicate)g(used)g(to)g(describe)g(the)g(state)g(of)g(t)o
(he)g(worl)o(d,)e(for)i(ex-)1031 1486 y(ample)f(`achieve)g(\(at)g(Jim)g
(LAX\)',)g(`deny)g(\(at)g(Red-Brigade)g(South-)1031 1532
y(Pass\)')14 b(or)e(`maintain)g(\(temperature)h(Room5)f(30\)'.)22
b Fj(Objective-)1031 1577 y(based)16 b(goal)f(speci\256cations)g
Fl(are)i(goal)e(speci\256cations)g(that)g(are)1031 1623
y(typically)d(stated)g(as)i(verb-)e(or)h(action-based)g(expressions,)g
(such)1031 1669 y(as)e(`transport)e(brigade5)h(to)f(R)n(yad'.)1073
1715 y(Goal)j(speci\256cations)h(also)g(include)f(a)i
Fj(human)e(r)o(eadable)i(de-)1031 1761 y(scription)e
Fl(used)g(to)f(provide)f(a)j(description)d(of)h(a)h(goal)g(to)f(an)h
(end)1031 1806 y(user)n(.)17 b(This)11 b(is)f(useful)h(because)h(often)
e(times)h(users)g(want)g(to)f(view)1031 1852 y(information)j(in)h(a)h
(format)g(that)f(is)g(dif)o(ferent)g(from)g(the)h(internal)1031
1897 y(format)e(used)g(to)f(store)h(it.)22 b(This)13
b(could)f(be)h(a)g(simple)g(string)f(or)g(a)1031 1943
y(more)f(complex)f(structure.)1031 2032 y Fb(Actions,)i(Operators,)g
(and)g(T)l(asks)1031 2092 y Fj(Plan)f(task)g(descriptions)h
Fl(are)f(the)g(actions)g(that)f(can)i(be)f(taken)g(in)1031
2138 y(the)f(world)g(state.)16 b(They)11 b(include)e(templates)i(and)f
(their)g(instantia-)1031 2183 y(tions,)d(and)g(can)h(be)f(abstract)h
(or)e(speci\256c.)15 b(A)7 b(plan)g(task)g(description)1031
2229 y(models)k(one)f(or)g(more)h Fj(actions)e Fl(in)h(the)g(external)g
(world.)1073 2275 y(A)i Fj(plan)h(task)f Fl(is)g(a)i(subclass)f(of)f
Fj(plan)g(task)h(description)g Fl(and)1031 2321 y(represents)c(an)f
(instantiation)e(of)i(a)g(task)g(as)h(it)f(appears)h(in)e(a)i(plan.)14
b(It)1031 2367 y(can)e(be)f(a)g(partial)f(or)h(full)e(instantiation.)14
b(A)d Fj(plan)f(task)h(template)1031 2412 y Fl(is)g(also)h(a)g
(subclass)g(of)f Fj(plan)g(task)g(description)h Fl(that)f(denotes)g(an)
1031 2458 y(action)h(or)g(set)g(of)g(actions)g(that)f(can)i(be)f
(performed)g(in)g(the)g(world)1031 2504 y(state.)28 b(In)14
b(some)h(AI)f(planners)g(the)g(two)g(classes)h(correspond)f(to)1031
2549 y(operator)7 b(instances)g(and)g(operator)f(schemas)j
(respectively)m(,)f(and)f(in)1031 2595 y(others)g(they)h(are)g(called)g
(tasks)f(and)h(task)g(decomposition)e(patterns.)p eop
%%Page: 3 3
3 2 bop 75 -75 a
 28417720 21029112 2368143 2368143 49731010 37890293 startTexFig
 75 -75 a
%%BeginDocument: planet-ont.eps
%ADO_ImageableArea: 30.96 30 761.04 582
userdict begin/dscInfo 5 dict dup begin
/Title(planet-diagram-no-boxes.ppt)def
/Creator(Microsoft PowerPoint: PSPrinter 8.3.1)def
/CreationDate(1:40 PM Tuesday, January 19, 1999)def
/For(Jim Blythe)def
/Pages 1 def
end def end
/md 154 dict def md begin/currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if
/bd{bind def}bind def
/xdf{exch def}bd
/xs{exch store}bd
/ld{load def}bd
/Z{0 def}bd
/T/true
/F/false
/:L/lineto
/lw/setlinewidth
/:M/moveto
/rl/rlineto
/rm/rmoveto
/:C/curveto
/:T/translate
/:K/closepath
/:mf/makefont
/gS/gsave
/gR/grestore
/np/newpath
14{ld}repeat
/$m matrix def
/av 83 def
/por true def
/normland false def
/psb-nosave{}bd
/pse-nosave{}bd
/us Z
/psb{/us save store}bd
/pse{us restore}bd
/level2
/languagelevel where
{
pop languagelevel 2 ge
}{
false
}ifelse
def
/featurecleanup
{
stopped
cleartomark
countdictstack exch sub dup 0 gt
{
{end}repeat
}{
pop
}ifelse
}bd
/noload Z
/startnoload
{
{/noload save store}if
}bd
/endnoload
{
{noload restore}if
}bd
level2 startnoload
/setjob
{
statusdict/jobname 3 -1 roll put
}bd
/setcopies
{
userdict/#copies 3 -1 roll put
}bd
level2 endnoload level2 not startnoload
/setjob
{
1 dict begin/JobName xdf currentdict end setuserparams
}bd
/setcopies
{
1 dict begin/NumCopies xdf currentdict end setpagedevice
}bd
level2 not endnoload
/pm Z
/mT Z
/sD Z
/realshowpage Z
/initializepage
{
/pm save store mT concat
}bd
/endp
{
pm restore showpage
}def
/endp1
{
pm restore
}def
/endp2
{
showpage
}def
/$c/DeviceRGB def
/rectclip where
{
pop/rC/rectclip ld
}{
/rC
{
np 4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
:K
clip np
}bd
}ifelse
/rectfill where
{
pop/rF/rectfill ld
}{
/rF
{
gS
np
4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
fill
gR
}bd
}ifelse
/rectstroke where
{
pop/rS/rectstroke ld
}{
/rS
{
gS
np
4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
:K
stroke
gR
}bd
}ifelse
/G/setgray ld
/:F1/setgray ld
/:F/setrgbcolor ld
/:F4/setcmykcolor where
{
pop
/setcmykcolor ld
}{
{
3
{
dup
3 -1 roll add
dup 1 gt{pop 1}if
1 exch sub
4 1 roll
}repeat
pop
setrgbcolor
}bd
}ifelse
/:Fx
{
counttomark
{0{G}0{:F}{:F4}}
exch get
exec
pop
}bd
/:rg{/DeviceRGB :ss}bd
/:sc{$cs :ss}bd
/:dc{/$cs xdf}bd
/:sgl{}def
/:dr{}bd
/:nmCRD{pop}bd
/:fCRD{pop}bd
/:ckcs{}bd
/:ss{/$c xdf}bd
/$cs Z
/@a
{
np :M 0 rl :L 0 exch rl 0 rl :L fill
}bd
/@b
{
np :M 0 rl 0 exch rl :L 0 rl 0 exch rl fill
}bd
/@c
{
moveto lineto stroke
}bd
/arct where
{
pop
}{
/arct
{
arcto pop pop pop pop
}bd
}ifelse
/x1 Z
/x2 Z
/y1 Z
/y2 Z
/rad Z
/@q
{
/rad xs
/y2 xs
/x2 xs
/y1 xs
/x1 xs
np
x2 x1 add 2 div y1 :M
x2 y1 x2 y2 rad arct
x2 y2 x1 y2 rad arct
x1 y2 x1 y1 rad arct
x1 y1 x2 y1 rad arct
fill
}bd
/@s
{
/rad xs
/y2 xs
/x2 xs
/y1 xs
/x1 xs
np
x2 x1 add 2 div y1 :M
x2 y1 x2 y2 rad arct
x2 y2 x1 y2 rad arct
x1 y2 x1 y1 rad arct
x1 y1 x2 y1 rad arct
:K
stroke
}bd
/@i
{
np 0 360 arc fill
}bd
/@j
{
gS
np
:T
scale
0 0 .5 0 360 arc
fill
gR
}bd
/@e
{
np
0 360 arc
:K
stroke
}bd
/@f
{
np
$m currentmatrix
pop
:T
scale
0 0 .5 0 360 arc
:K
$m setmatrix
stroke
}bd
/@k
{
gS
np
:T
0 0 :M
0 0 5 2 roll
arc fill
gR
}bd
/@l
{
gS
np
:T
0 0 :M
scale
0 0 .5 5 -2 roll arc
fill
gR
}bd
/@m
{
np
arc
stroke
}bd
/@n
{
np
$m currentmatrix
pop
:T
scale
0 0 .5 5 -2 roll arc
$m setmatrix
stroke
}bd
/S/show ld
/A{
0.0 exch ashow
}bd
/R{
0.0 exch 32 exch widthshow
}bd
/W{
0.0 3 1 roll widthshow
}bd
/J{
0.0 32 4 2 roll 0.0 exch awidthshow
}bd
/V{
0.0 4 1 roll 0.0 exch awidthshow
}bd
/fcflg true def
/fc{
fcflg{
vmstatus exch sub 50000 lt{
(%%[ Warning: Running out of memory ]%%\r)print flush/fcflg false store
}if pop
}if
}bd
/$f[1 0 0 -1 0 0]def
/:ff{$f :mf}bd
/MacEncoding StandardEncoding 256 array copy def
MacEncoding 39/quotesingle put
MacEncoding 96/grave put
/Adieresis/Aring/Ccedilla/Eacute/Ntilde/Odieresis/Udieresis/aacute
/agrave/acircumflex/adieresis/atilde/aring/ccedilla/eacute/egrave
/ecircumflex/edieresis/iacute/igrave/icircumflex/idieresis/ntilde/oacute
/ograve/ocircumflex/odieresis/otilde/uacute/ugrave/ucircumflex/udieresis
/dagger/degree/cent/sterling/section/bullet/paragraph/germandbls
/registered/copyright/trademark/acute/dieresis/notequal/AE/Oslash
/infinity/plusminus/lessequal/greaterequal/yen/mu/partialdiff/summation
/product/pi/integral/ordfeminine/ordmasculine/Omega/ae/oslash
/questiondown/exclamdown/logicalnot/radical/florin/approxequal/Delta/guillemotleft
/guillemotright/ellipsis/space/Agrave/Atilde/Otilde/OE/oe
/endash/emdash/quotedblleft/quotedblright/quoteleft/quoteright/divide/lozenge
/ydieresis/Ydieresis/fraction/currency/guilsinglleft/guilsinglright/fi/fl
/daggerdbl/periodcentered/quotesinglbase/quotedblbase/perthousand
/Acircumflex/Ecircumflex/Aacute/Edieresis/Egrave/Iacute/Icircumflex/Idieresis/Igrave
/Oacute/Ocircumflex/apple/Ograve/Uacute/Ucircumflex/Ugrave/dotlessi/circumflex/tilde
/macron/breve/dotaccent/ring/cedilla/hungarumlaut/ogonek/caron
MacEncoding 128 128 getinterval astore pop
level2 startnoload
/copyfontdict
{
findfont dup length dict
begin
{
1 index/FID ne{def}{pop pop}ifelse
}forall
}bd
level2 endnoload level2 not startnoload
/copyfontdict
{
findfont dup length dict
copy
begin
}bd
level2 not endnoload
md/fontname known not{
/fontname/customfont def
}if
/Encoding Z
/:mre
{
copyfontdict
/Encoding MacEncoding def
fontname currentdict
end
definefont :ff def
}bd
/:bsr
{
copyfontdict
/Encoding Encoding 256 array copy def
Encoding dup
}bd
/pd{put dup}bd
/:esr
{
pop pop
fontname currentdict
end
definefont :ff def
}bd
/scf
{
scalefont def
}bd
/scf-non
{
$m scale :mf setfont
}bd
/ps Z
/fz{/ps xs}bd
/sf/setfont ld
/cF/currentfont ld
/mbf
{
/makeblendedfont where
{
pop
makeblendedfont
/ABlend exch definefont
}{
pop
}ifelse
def
}def
/currentpacking where {pop sc_oldpacking setpacking}if end
md begin
/mT[.24 0 0 -.24 30.959 581.976]def
/sD 16 dict def
/f0_1/Times-Bold
:mre
/f0_100 f0_1 100 scf
/f0_83 f0_1 83 scf
/f0_58 f0_1 58 scf
/f1_1/Times-Roman
:mre
/f1_50 f1_1 50 scf
/Courier findfont[10 0 0 -10 0 0]:mf setfont
initializepage
gS 0 0 3042 2300 rC
1 G
21 25 3000 2250 rC
21 25 3000 2250 rF
0 G
481 101 -3 3 533 110 3 481 98 @a
530 113 -3 3 556 115 3 530 110 @a
553 118 -3 3 578 121 3 553 115 @a
575 124 -3 3 599 127 3 575 121 @a
596 130 -3 3 618 133 3 596 127 @a
615 136 -3 3 637 139 3 615 133 @a
634 142 -3 3 653 144 3 634 139 @a
650 147 -3 3 669 150 3 650 144 @a
666 153 -3 3 682 155 3 666 150 @a
679 158 -3 3 694 160 3 679 155 @a
691 163 -3 3 703 164 3 691 160 @a
700 167 -3 3 711 169 3 700 164 @a
708 172 -3 3 716 172 3 708 169 @a
713 175 -3 3 719 176 3 713 172 @a
716 179 -3 3 720 179 3 716 176 @a
-3 -3 720 183 3 3 717 179 @b
-3 -3 719 185 3 3 717 180 @b
-3 -3 715 187 3 3 716 182 @b
-3 -3 710 188 3 3 712 184 @b
-3 -3 703 189 3 3 707 185 @b
692 189 -3 3 703 186 3 692 186 @a
682 189 -3 3 695 186 3 682 186 @a
670 189 -3 3 685 186 3 670 186 @a
658 188 -3 3 673 186 3 658 185 @a
644 187 -3 3 661 185 3 644 184 @a
628 185 -3 3 647 184 3 628 182 @a
612 183 -3 3 631 182 3 612 180 @a
594 180 -3 3 615 180 3 594 177 @a
556 174 -3 3 597 177 3 556 171 @a
515 166 -3 3 559 171 3 515 163 @a
-3 -3 514 183 3 3 515 163 @b
469 156 -3 3 514 180 3 469 153 @a
-3 -3 472 156 3 3 519 145 @b
-3 -3 518 165 3 3 519 145 @b
515 165 -3 3 559 170 3 515 162 @a
556 173 -3 3 597 176 3 556 170 @a
594 179 -3 3 614 179 3 594 176 @a
611 182 -3 3 630 181 3 611 179 @a
627 184 -3 3 646 183 3 627 181 @a
643 186 -3 3 660 184 3 643 183 @a
657 187 -3 3 672 185 3 657 184 @a
669 188 -3 3 684 186 3 669 185 @a
681 189 -3 3 694 186 3 681 186 @a
691 189 -3 3 702 186 3 691 186 @a
-3 -3 702 189 3 3 706 185 @b
-3 -3 709 188 3 3 712 184 @b
-3 -3 715 187 3 3 715 182 @b
-3 -3 718 185 3 3 717 180 @b
-3 -3 720 183 3 3 717 180 @b
716 180 -3 3 720 180 3 716 177 @a
713 176 -3 3 719 177 3 713 173 @a
707 172 -3 3 716 173 3 707 169 @a
699 168 -3 3 710 169 3 699 165 @a
689 163 -3 3 702 165 3 689 160 @a
678 158 -3 3 692 160 3 678 155 @a
664 153 -3 3 681 155 3 664 150 @a
649 147 -3 3 667 150 3 649 144 @a
632 142 -3 3 652 144 3 632 139 @a
614 136 -3 3 635 139 3 614 133 @a
594 130 -3 3 617 133 3 594 127 @a
574 125 -3 3 597 127 3 574 122 @a
552 119 -3 3 577 122 3 552 116 @a
529 113 -3 3 555 116 3 529 110 @a
481 102 -3 3 532 110 3 481 99 @a
-3 -3 484 102 3 3 481 98 @b
-3 -3 720 183 3 3 717 180 @b
51 793 :M
f0_58 sf
-.115(justified)A
151 693 :M
-.027(complete)A
226 593 :M
.022(consistent)A
301 468 :M
.026(feasible)A
-3 -3 73 752 3 3 295 149 @b
-3 -3 173 652 3 3 295 149 @b
-3 -3 248 552 3 3 295 149 @b
295 152 -3 3 323 424 3 295 149 @a
601 85 :M
f1_50 sf
.006(plan-commitments)A
496 138 -3 3 533 165 3 496 135 @a
530 168 -3 3 564 193 3 530 165 @a
561 196 -3 3 579 207 3 561 193 @a
576 210 -3 3 592 220 3 576 207 @a
589 223 -3 3 604 232 3 589 220 @a
601 235 -3 3 615 244 3 601 232 @a
612 247 -3 3 625 255 3 612 244 @a
622 258 -3 3 633 265 3 622 255 @a
630 268 -3 3 640 274 3 630 265 @a
637 277 -3 3 646 282 3 637 274 @a
643 285 -3 3 650 289 3 643 282 @a
647 292 -3 3 652 295 3 647 289 @a
649 298 -3 3 653 299 3 649 295 @a
-3 -3 652 305 3 3 650 299 @b
-3 -3 652 305 3 3 649 302 @b
-3 -3 651 306 3 3 649 302 @b
-3 -3 649 307 3 3 648 303 @b
-3 -3 646 308 3 3 646 304 @b
634 306 -3 3 646 305 3 634 303 @a
621 300 -3 3 637 303 3 621 297 @a
606 292 -3 3 624 297 3 606 289 @a
587 280 -3 3 609 289 3 587 277 @a
565 266 -3 3 590 277 3 565 263 @a
541 249 -3 3 568 263 3 541 246 @a
515 229 -3 3 544 246 3 515 226 @a
-3 -3 507 241 3 3 515 226 @b
458 182 -3 3 507 238 3 458 179 @a
458 182 -3 3 529 213 3 458 179 @a
-3 -3 518 228 3 3 526 213 @b
515 228 -3 3 544 245 3 515 225 @a
541 248 -3 3 568 262 3 541 245 @a
565 265 -3 3 589 276 3 565 262 @a
586 279 -3 3 608 288 3 586 276 @a
605 291 -3 3 624 296 3 605 288 @a
621 299 -3 3 637 302 3 621 296 @a
634 305 -3 3 647 304 3 634 302 @a
644 307 -3 3 650 304 3 644 304 @a
-3 -3 650 307 3 3 649 303 @b
-3 -3 652 306 3 3 649 303 @b
-3 -3 652 306 3 3 650 300 @b
649 298 -3 3 653 300 3 649 295 @a
646 292 -3 3 652 295 3 646 289 @a
642 285 -3 3 649 289 3 642 282 @a
636 277 -3 3 645 282 3 636 274 @a
629 268 -3 3 639 274 3 629 265 @a
620 258 -3 3 632 265 3 620 255 @a
610 247 -3 3 623 255 3 610 244 @a
599 235 -3 3 613 244 3 599 232 @a
587 223 -3 3 602 232 3 587 220 @a
574 210 -3 3 590 220 3 574 207 @a
560 196 -3 3 577 207 3 560 193 @a
529 168 -3 3 563 193 3 529 165 @a
495 139 -3 3 532 165 3 495 136 @a
-3 -3 498 139 3 3 496 135 @b
-3 -3 651 306 3 3 648 303 @b
648 306 -3 3 652 303 3 648 303 @a
-3 -3 652 306 3 3 649 303 @b
726 210 :M
.02(plan-refinements)A
551 385 :M
-.139(subplans)A
2401 60 :M
-.016(capability)A
2401 135 :M
-.102(effects)A
2401 210 :M
-.012(preconditions)A
2576 418 :M
f0_58 sf
-.094(planning-level)A
2551 543 :M
-.118(human-readab)A
2920 543 :M
.142(le)A
2551 613 :M
(description)S
-3 -3 1974 201 3 3 1973 178 @b
-3 -3 1970 219 3 3 1971 198 @b
-3 -3 1964 236 3 3 1967 216 @b
-3 -3 1956 250 3 3 1961 233 @b
-3 -3 1947 262 3 3 1953 247 @b
-3 -3 1937 270 3 3 1944 259 @b
-3 -3 1926 276 3 3 1934 267 @b
-3 -3 1921 277 3 3 1923 273 @b
1912 277 -3 3 1921 274 3 1912 274 @a
1911 277 -3 3 1915 274 3 1911 274 @a
1903 276 -3 3 1914 274 3 1903 273 @a
1895 272 -3 3 1906 273 3 1895 269 @a
1888 266 -3 3 1898 269 3 1888 263 @a
1881 259 -3 3 1891 263 3 1881 256 @a
1875 250 -3 3 1884 256 3 1875 247 @a
1870 239 -3 3 1878 247 3 1870 236 @a
1866 227 -3 3 1873 236 3 1866 224 @a
1863 213 -3 3 1869 224 3 1863 210 @a
1850 212 -3 3 1866 210 3 1850 209 @a
-3 -3 1853 212 3 3 1861 172 @b
1861 175 -3 3 1879 210 3 1861 172 @a
1864 213 -3 3 1879 210 3 1864 210 @a
1864 213 -3 3 1870 223 3 1864 210 @a
1867 226 -3 3 1874 236 3 1867 223 @a
1871 239 -3 3 1879 246 3 1871 236 @a
1876 249 -3 3 1885 256 3 1876 246 @a
1882 259 -3 3 1891 263 3 1882 256 @a
1888 266 -3 3 1899 269 3 1888 263 @a
1896 272 -3 3 1907 273 3 1896 269 @a
1904 276 -3 3 1915 274 3 1904 273 @a
-3 -3 1915 277 3 3 1912 274 @b
1912 277 -3 3 1921 274 3 1912 274 @a
-3 -3 1921 277 3 3 1923 272 @b
-3 -3 1926 275 3 3 1934 267 @b
-3 -3 1937 270 3 3 1944 258 @b
-3 -3 1947 261 3 3 1953 247 @b
-3 -3 1956 250 3 3 1960 232 @b
-3 -3 1963 235 3 3 1966 216 @b
-3 -3 1969 219 3 3 1970 198 @b
-3 -3 1973 201 3 3 1972 178 @b
1972 181 -3 3 1976 178 3 1972 178 @a
-3 -3 1915 277 3 3 1912 274 @b
1826 310 :M
f1_50 sf
-.088(sub-task)A
901 385 :M
.032(task-of)A
1370 552 -3 3 1917 549 3 1370 549 @a
np 1913 566 :M
1946 550 :L
1913 534 :L
1913 566 :L
3 lw
eofill
1476 510 :M
-.026(task-template)A
1345 577 -3 3 1770 785 3 1345 574 @a
np 1759 800 :M
1796 800 :L
1774 771 :L
1759 800 :L
eofill
-3 -3 1148 896 3 3 1145 599 @b
np 1130 892 :M
1146 925 :L
1162 892 :L
1130 892 :L
eofill
1176 910 :M
-.018(commitments)A
1551 660 :M
-.121(accomplishes)A
-3 -3 1148 727 3 3 1245 699 @b
1145 727 -3 3 1248 799 3 1145 724 @a
1251 710 :M
.092(ordering)A
1251 810 :M
.043(temporal)A
1591 223 -3 3 1609 241 3 1591 220 @a
-3 -3 1294 472 3 3 1606 241 @b
1291 472 -3 3 1324 510 3 1291 469 @a
-3 -3 1324 513 3 3 1635 282 @b
1635 285 -3 3 1653 302 3 1635 282 @a
-3 -3 1653 305 3 3 1725 185 @b
-3 -3 1594 223 3 3 1725 185 @b
-3 -3 248 1203 3 3 248 1180 @b
-3 -3 242 1221 3 3 245 1200 @b
-3 -3 234 1238 3 3 239 1218 @b
-3 -3 223 1252 3 3 231 1235 @b
-3 -3 211 1263 3 3 220 1249 @b
-3 -3 197 1271 3 3 208 1260 @b
-3 -3 182 1276 3 3 194 1268 @b
-3 -3 174 1277 3 3 179 1273 @b
163 1277 -3 3 174 1274 3 163 1274 @a
162 1277 -3 3 166 1274 3 162 1274 @a
150 1275 -3 3 165 1274 3 150 1272 @a
139 1271 -3 3 153 1272 3 139 1268 @a
128 1264 -3 3 142 1268 3 128 1261 @a
119 1256 -3 3 131 1261 3 119 1253 @a
110 1246 -3 3 122 1253 3 110 1243 @a
103 1234 -3 3 113 1243 3 103 1231 @a
97 1221 -3 3 106 1231 3 97 1218 @a
93 1206 -3 3 100 1218 3 93 1203 @a
76 1205 -3 3 96 1203 3 76 1202 @a
-3 -3 79 1205 3 3 91 1170 @b
91 1173 -3 3 115 1204 3 91 1170 @a
94 1206 -3 3 115 1204 3 94 1203 @a
94 1206 -3 3 101 1218 3 94 1203 @a
98 1221 -3 3 107 1231 3 98 1218 @a
104 1234 -3 3 114 1243 3 104 1231 @a
111 1246 -3 3 123 1253 3 111 1243 @a
120 1256 -3 3 132 1261 3 120 1253 @a
129 1264 -3 3 143 1268 3 129 1261 @a
140 1271 -3 3 154 1272 3 140 1268 @a
151 1275 -3 3 166 1274 3 151 1272 @a
-3 -3 166 1277 3 3 163 1274 @b
163 1277 -3 3 174 1274 3 163 1274 @a
-3 -3 174 1277 3 3 179 1273 @b
-3 -3 182 1276 3 3 194 1268 @b
-3 -3 197 1271 3 3 207 1260 @b
-3 -3 210 1263 3 3 220 1248 @b
-3 -3 223 1251 3 3 230 1234 @b
-3 -3 233 1237 3 3 238 1218 @b
-3 -3 241 1221 3 3 243 1200 @b
-3 -3 246 1203 3 3 246 1180 @b
246 1183 -3 3 251 1180 3 246 1180 @a
162 1277 -3 3 166 1274 3 162 1274 @a
-3 -3 166 1277 3 3 163 1274 @b
251 1260 :M
.021(planning-problems)A
995 1177 -3 3 1492 1174 3 995 1174 @a
np 1488 1191 :M
1521 1175 :L
1488 1159 :L
1488 1191 :L
eofill
1151 1160 :M
.008(initial-state)A
1526 1193 :M
f0_58 sf
-.017(world-state)A
-3 -3 998 1127 3 3 1815 883 @b
np 1819 900 :M
1846 875 :L
1810 869 :L
1819 900 :L
eofill
1401 1060 :M
f1_50 sf
-.044(desired-goals)A
995 1252 -3 3 1492 1249 3 995 1249 @a
np 1488 1266 :M
1521 1250 :L
1488 1234 :L
1488 1266 :L
eofill
1076 1235 :M
-.005(external constraints)A
450 183 -3 3 623 1099 3 450 180 @a
np 467 180 :M
446 150 :L
435 185 :L
467 180 :L
eofill
276 960 :M
-.052(candidate-plans)A
570 802 -3 3 748 974 3 570 799 @a
570 802 -3 3 773 874 3 570 799 @a
-3 -3 573 802 3 3 720 749 @b
-3 -3 573 802 3 3 645 649 @b
651 635 :M
-.027(rejected)A
495 102 -3 3 1042 99 3 495 99 @a
np 1038 116 :M
1071 100 :L
1038 84 :L
1038 116 :L
eofill
470 152 -3 3 1046 483 3 470 149 @a
np 1034 497 :M
1071 500 :L
1051 469 :L
1034 497 :L
eofill
2045 296 -3 3 2073 293 3 2045 293 @a
-3 -3 2073 502 3 3 2070 293 @b
2070 502 -3 3 2123 499 3 2070 499 @a
-3 -3 2123 502 3 3 2120 293 @b
2120 296 -3 3 2148 293 3 2120 293 @a
2095 227 -3 3 2148 293 3 2095 224 @a
-3 -3 2048 296 3 3 2095 224 @b
2195 202 -3 3 2525 503 3 2195 199 @a
np 2511 515 :M
2546 525 :L
2533 491 :L
2511 515 :L
eofill
2295 227 -3 3 2522 381 3 2295 224 @a
np 2510 395 :M
2546 400 :L
2528 368 :L
2510 395 :L
eofill
2295 227 -3 3 2692 224 3 2295 224 @a
np 2688 241 :M
2721 225 :L
2688 209 :L
2688 241 :L
eofill
2295 152 -3 3 2692 149 3 2295 149 @a
np 2688 166 :M
2721 150 :L
2688 134 :L
2688 166 :L
eofill
2295 77 -3 3 2692 74 3 2295 74 @a
np 2688 91 :M
2721 75 :L
2688 59 :L
2688 91 :L
eofill
726 760 :M
-.063(feasible)A
776 885 :M
-.142(selected)A
726 1010 :M
.01(unexplored)A
2470 802 -3 3 2567 799 3 2470 799 @a
np 2563 816 :M
2596 800 :L
2563 784 :L
2563 816 :L
eofill
2626 818 :M
f0_58 sf
-.014(planning - level)A
-3 -3 2448 752 3 3 2594 642 @b
np 2603 657 :M
2621 625 :L
2585 630 :L
2603 657 :L
eofill
1945 883 -3 3 1973 880 3 1945 880 @a
-3 -3 1973 977 3 3 1970 880 @b
1970 977 -3 3 2023 974 3 1970 974 @a
-3 -3 2023 977 3 3 2020 880 @b
2020 883 -3 3 2048 880 3 2020 880 @a
1995 852 -3 3 2048 880 3 1995 849 @a
-3 -3 1948 883 3 3 1995 849 @b
2245 882 -3 3 2270 879 3 2245 879 @a
-3 -3 2270 927 3 3 2267 879 @b
2267 927 -3 3 2326 924 3 2267 924 @a
-3 -3 2326 927 3 3 2323 879 @b
2323 882 -3 3 2348 879 3 2323 879 @a
2295 852 -3 3 2348 879 3 2295 849 @a
-3 -3 2248 882 3 3 2295 849 @b
2495 1152 -3 3 2967 1149 3 2495 1149 @a
np 2963 1166 :M
2996 1150 :L
2963 1134 :L
2963 1166 :L
eofill
2551 1135 :M
f1_50 sf
-.037(resource-needed)A
2495 1227 -3 3 2967 1224 3 2495 1224 @a
np 2963 1241 :M
2996 1225 :L
2963 1209 :L
2963 1241 :L
eofill
2551 1210 :M
(amount)S
2495 1302 -3 3 2967 1299 3 2495 1299 @a
np 2963 1316 :M
2996 1300 :L
2963 1284 :L
2963 1316 :L
eofill
2551 1285 :M
-.05(when-needed)A
301 140 :M
f0_83 sf
.053(plan)A
51 1165 :M
.147(planning-problem-context)A
1076 568 :M
f0_58 sf
-.125(plan-task)A
1976 568 :M
-.137(plan-task-tem)A
2322 568 :M
-.1(plate)A
1526 165 :M
f0_83 sf
.096(plan-task-description)A
1826 830 :M
.48(goal)A
1974 830 :M
f0_100 sf
.086(-)A
f0_83 sf
.095(specification)A
1901 1043 :M
f0_58 sf
-.038(objective-based-)A
2306 1043 :M
.038(goal-spec)A
2226 968 :M
-.027(state-based-goal)A
2628 968 :M
.103(-spec)A
1926 1218 :M
.074(resource-requiremen)A
2452 1218 :M
(t)S
gR
endp
end
%%EndDocument

 endTexFig
 -62 744 a Fl(Figure)10 b(1:)15 b(An)10 b(overview)h(of)f(the)g
Fe(PLANET)i Fl(ontology)m(.)i(Arrows)c(pointing)e(into)h(space)j
(represent)f(relations)e(whose)i(ranges)g(are)g(not)f(\256xed)g(in)-62
790 y(the)h(ontology)m(.)-20 923 y(Plan)i(task)g(descriptions)f(have)h
(a)h(set)f(of)g(preconditions,)f(a)i(set)-62 969 y(of)c(ef)o(fects,)h
(a)f(capability)m(,)f(and)h(can)h(be)e(decomposed)i(into)d(a)i(set)g
(of)-62 1015 y(subtasks.)16 b(Not)10 b(all)g(these)g(properties)g(need)
h(to)f(be)g(speci\256ed)h(for)f(a)-62 1060 y(given)c(task)g
(description,)g(and)g(typically)g(planners)g(represent)g(tasks)-62
1106 y(dif)o(ferently)k(depending)g(on)g(their)h(approach)g(to)f
(reasoning)h(about)-62 1152 y(action.)19 b(The)12 b Fj(capability)d
Fl(of)i(a)h(task)g(or)f(task)g(template)g(describes)-62
1197 y(a)18 b(goal)e(for)g(which)g(the)h(task)f(can)h(be)g(used.)35
b(A)16 b Fj(pr)o(econdition)-62 1243 y Fl(represents)g(a)g(necessary)h
(condition)c(for)i(the)g(task.)31 b(If)15 b(the)g(task)-62
1289 y(is)e(executed,)h(its)e Fj(effects)h Fl(take)g(place)h(in)d(the)i
(given)f(world)f(state.)-62 1334 y(T)m(asks)f(can)f(be)g(decomposed)g
(into)e Fj(subtasks)h Fl(that)g(are)h(themselves)-62
1380 y(task)15 b(descriptions.)25 b(Hierarchical)15 b(task)f(network)f
(planners)h(use)-62 1426 y(task)c(decomposition)f(or)h(operator)f
(templates)h(\(represented)g(here)-62 1471 y(as)15 b(plan)f(task)h
(templates\))f(and)g(instantiate)f(them)i(to)e(generate)i(a)-62
1517 y(plan.)g(Each)9 b(template)g(includes)f(a)h(statement)f(of)g(the)
h(kind)e(of)h(goal)-62 1563 y(it)e(can)g(achieve)g(\(represented)g(as)h
(a)g Fj(capability)p Fl(\),)h(a)e(decomposition)-62 1608
y(network)j(into)g Fj(subtasks)p Fl(,)i(each)g(subtask)e(is)h(matched)g
(against)g(the)-62 1654 y(task)i(templates)g(down)f(to)g(primitive)f
(templates,)i(represented)g(as)-62 1700 y Fj(primitive)c(plan)g(task)g
(descriptions)p Fl(.)15 b(Other)8 b(planners)g(compose)-62
1745 y(plans)i(as)g(an)f(ordered)h(set)f(of)g(primitive)f
Fj(plan)h(steps)h Fl(\(often)f(called)-62 1791 y(operators,)h(as)h(in)e
Fe(STRIPS)j Fl(and)e Fe(UCPOP)h Fl(\(W)m(eld)e(1994\)\).)14
b(Plan)c(steps)-62 1837 y(are)15 b(specializations)e(of)h(primitive)e
(plan)h(task)h(descriptions)e(that)-62 1882 y(have)c(some)g(set)g(of)f
(ef)o(fects,)i(as)g(they)e(are)h(typically)d(used)j(in)f(means-)-62
1928 y(ends)k(analysis)f(planners.)-20 2033 y(Like)15
b(goal)f(speci\256cations,)i(plan)e(task)g(descriptions)f(also)i(in-)
-62 2079 y(clude)f(a)g Fj(human)f(r)o(eadable)h(description)p
Fl(.)26 b(Some)14 b(AI)f(planners)-62 2124 y(specify)h(this)f
(information)e(as)k(a)f(set)f(of)h(parameters)g(of)g(the)f(task)-62
2170 y(that)g(are)g(used)g(to)g(determine)f(which)h(subset)g(of)f(ar)o
(guments)h(will)-62 2216 y(be)e(printed)e(when)h(the)g(plan)g(is)g
(displayed.)-20 2321 y Fj(Planning)f(levels)h Fl(can)h(be)f(associated)
h(to)e(task)h(descriptions)f(as)-62 2367 y(well)g(as)h(to)e(goal)g
(speci\256cations.)15 b(Some)10 b(AI)f(planners)f(assign)h(lev-)-62
2412 y(els)j(to)e(tasks)h(\(e.g.,)h Fe(SIPE)h Fl(\(W)n(ilkins)c
(1988\)\),)i(others)f(assign)h(levels)-62 2458 y(to)k(particular)g
(predicates)h(or)f(goals)g(\(e.g.,)j Fe(ABSTRIPS)p Fl(\).)32
b(Levels)-62 2504 y(are)15 b(also)e(used)h(in)f(real-world)f(domains,)j
(for)e(example)h(military)-62 2549 y(plans)9 b(are)g(often)g(described)
g(in)f(dif)o(ferent)g(levels)g(according)h(to)f(the)-62
2595 y(command)k(structure,)e(echelons,)h(or)f(nature)g(of)g(the)g
(tasks.)1031 923 y Fb(Plans)1031 980 y Fl(A)g Fj(plan)f
Fl(represents)h(a)g(set)g(of)f(commitments)h(to)f(actions)g(taken)h(by)
1031 1026 y(an)j(agent)f(in)g(order)g(to)g(achieve)i(some)f
(speci\256ed)g(goals.)43 b(It)12 b(can)1031 1072 y(be)i(useful)f(to)g
(state)h(that)f(a)h(plan)f(forms)g(a)i Fj(sub-plan)e
Fl(of)g(another)1031 1117 y(one.)i(For)7 b(example,)i(military)d(plans)
h(often)g(include)f(subplans)h(that)1031 1163 y(represent)13
b(the)f(movement)g(of)g(assets)h(to)f(the)g(area)i(of)e(operations)1031
1209 y(\(i.e.,)e(logistics)e(tasks\),)h(and)g(subplans)f(that)g(group)g
(the)h(operations)1031 1254 y(themselves)i(\(i.e.,)g(force)g
(application)e(tasks\).)1031 1340 y Fb(Choice)j(Points,)g
(Alternatives,)g(Decisions,)f(and)1031 1390 y(Commitments)1031
1447 y Fl(In)h(searching)g(or)f(designing)f(a)j(plan,)f(a)g(number)g
(of)f(choices)i(typ-)1031 1493 y(ically)h(need)i(to)e(be)h(made.)30
b(At)14 b(a)i(given)e(choice)h(point,)g(several)1031
1539 y(alternatives)e(may)g(be)h(considered,)f(and)h(one)f(\(or)f
(more\))h(chosen)1031 1584 y(as)i(selected.)27 b(Such)15
b(choices)f(are)h(represented)f(in)g Fe(PLANET)h Fl(as)g(a)1031
1630 y(type)e(of)f Fj(commitment)p Fl(.)21 b(Commitments)12
b(can)i(be)f(made)h(in)e(both)1031 1676 y(plans)h(and)g(tasks.)23
b Fj(Plan)13 b(commitments)e Fl(are)j(commitments)f(on)1031
1721 y(the)h(plan)f(as)h(a)g(whole,)g(and)f(may)h(be)g(in)f(the)g(form)
g(of)g(actions)h(at)1031 1767 y(variously)d(detailed)g(levels)h(of)g
(speci\256cation,)h(orderings)e(among)1031 1813 y(actions)e(and)h
(other)e(requirements)i(on)f(a)h(plan)f(such)g(as)h(a)g(cost)f(pro-)
1031 1858 y(\256le.)15 b(The)9 b(tasks)f(that)g(will)f(form)h(part)g
(of)g(the)g(plan)g(are)h(represented)1031 1904 y(as)16
b(a)f(subset)g(of)g(the)g(commitments)g(made)h(by)e(the)h(plan.)29
b Fj(T)l(ask)1031 1950 y(commitments)8 b Fl(are)i(commitments)g(that)f
(af)o(fect)h(individual)c(tasks)1031 1995 y(or)14 b(pairs)f(of)g
(tasks.)26 b(An)13 b Fj(ordering)i(commitment)d Fl(is)h(a)i(relation)
1031 2041 y(between)e(tasks)f(such)g(as)g(\(before)g(A)g(B\).)g(A)g
Fj(temporal)f(commit-)1031 2087 y(ment)d Fl(is)f(a)g(commitment)h(on)f
(a)g(task)h(with)e(respect)i(to)e(time,)i(such)g(as)1031
2132 y(\(before)14 b(?task)f(?time-stamp\).)25 b(Another)12
b(kind)h(of)g(commitment)1031 2178 y(is)d(the)f(selection)g(of)h(a)g
(plan)f(task)h(description)e(because)j(it)e Fj(accom-)1031
2224 y(plishes)h Fl(a)g(goal)f(speci\256cation.)15 b(This)9
b(relation)g(records)h(the)f(intent)1031 2269 y(of)h(the)h(planning)e
(agent)h(for)g(the)h(task,)g(and)f(is)h(used)f(in)g Fe(PLANET)i
Fl(to)1031 2315 y(represent)f(causal)g(links.)1031 2401
y Fb(Discussion)1031 2458 y Fe(PLANET)k Fl(does)f(not)e(include)h
(representations)g(for)f(some)j(entities)1031 2504 y(that)i(are)g
(typically)f(associated)h(with)f(planning)g(domains,)j
Ff(e.g.)1031 2549 y Fl(agents,)g(resources,)h(time,)f(and)e(location.)
35 b(Dif)o(ferent)16 b(systems)1031 2595 y(that)7 b(reason)h(about)f
(plans)g(use)h(dif)o(ferent)f(approaches)h(to)f(represent)p
eop
%%Page: 4 4
4 3 bop -62 -33 a Fl(and)18 b(reason)f(about)g(these)h(entities.)35
b(Separate)18 b(ontologies)d(for)-62 12 y(them)9 b(can)g(be)g
(developed)f(and)h(integrated)e(with)h Fe(PLANET)p Fl(.)16
b(W)m(e)8 b(use)-62 58 y Fe(PLANET)17 b Fl(in)e(combination)f(with)h
(an)g(ontology)e(of)i(Allen')n(s)g(time)-62 103 y(relations)10
b(and)h(the)f Fe(OZONE)h Fl(resource)g(ontology)e(\(Smith,)h(Lassila,)
-62 149 y(&)15 b(Becker)g(1996\),)f(and)g(in)f(combination)g(with)g(an)
h(ontology)e(of)-62 195 y(plan)f(evaluations)e(and)i(critiques)e(that)h
(we)h(have)g(developed.)k(For)-62 240 y(systems)g(and)f(domains)f
(where)h(there)g(is)g(no)f(need)i(for)e(complex)-62 286
y(representations)h(of)f(agents,)i(resources,)h(time,)e(and)g
(location,)g(it)-62 332 y(is)g(trivial)f(to)g(extend)h
Fe(PLANET)h Fl(with)e(simple)h(representations)f(of)-62
377 y(them)7 b(and)g(we)g(have)g(done)g(so)g(ourselves)g(for)g(some)g
(of)g(the)g(domains)-62 423 y(described)k(below)m(.)-9
519 y Fm(Using)i(PLANET)g(for)f(Real-W)m(orld)g(Domains)-62
577 y Fl(This)k(section)g(describes)g(how)f(we)h(used)g
Fe(PLANET)h Fl(to)f(represent)-62 623 y(plans)9 b(in)f(three)g(dif)o
(ferent)g(domains.)14 b(Although)7 b(all)h(three)g(are)i(mil-)-62
668 y(itary)j(domains,)h(the)f(plans)g(are)h(of)e(a)i(radically)f(dif)o
(ferent)f(nature)-62 714 y(in)k(each)i(case.)35 b(In)16
b(the)g(\256rst)g(two)f(domains,)j(plans)f(were)g(built)-62
760 y(manually)c(by)g(users)h(and)g(needed)g(to)f(be)g(represented)h
(as)g(given,)-62 805 y(containing)e(potential)g(\257aws)i(and)f(often)f
(serious)h(errors.)24 b(In)13 b(the)-62 851 y Fe(JF)n(ACC)19
b Fl(domain,)i(plans)d(are)i(hierarchically)e(decomposed)h(and)-62
897 y(have)11 b(verb-based)f(objectives.)15 b(Information)9
b(about)g(causal)i(links)-62 942 y(and)k(task)f(decomposition)e
(templates)j(is)f(not)f(provided.)25 b(In)14 b(the)-62
988 y Fe(COA)e Fl(domain,)f(plans)g(have)g(a)h(hierarchical)f(\257avor)
g(that)f(is)h(not)f(al-)-62 1034 y(ways)f(explicitly)e(represented)i
(in)e(the)i(plan.)14 b(In)8 b(the)g(W)m(orkarounds)-62
1079 y(domain,)i(plans)g(were)h(generated)f(automatically)f(by)h(an)g
(AI)f(plan-)-62 1125 y(ner)n(.)31 b(This)10 b(section)g(describes)h
(the)f(domains)g(in)f(more)i(detail.)-62 1212 y Fb(PLANET)l(-JF)m(ACC)
-62 1271 y Fl(This)19 b(is)e(a)i(domain)f(of)g(air)g(campaign)g
(planning)f(where)h(users)-62 1316 y(follow)j(the)g
(strategies-to-tasks)g(methodology)f(\(T)m(odd)h(1994;)-62
1362 y(Thaler)13 b(1993\).)21 b(In)12 b(this)f(approach,)j(users)e
(start)g(with)f(high-level)-62 1408 y(objectives)j(and)g(decompose)h
(them)f(into)f(subobjectives)g(all)h(the)-62 1453 y(way)f(down)f(to)g
(the)h(missions)f(to)g(be)h(\257own.)21 b(Using)12 b(a)h(plan)g(edit-)
-62 1499 y(ing)h(tool,)g(a)h(user)g(de\256nes)g(objectives,)g
(decomposes)h(them)e(into)-62 1545 y(subobjectives,)i(and)e(can)i
(specify)e(temporal)g(orderings)g(among)-62 1590 y(plan)d(steps.)18
b(Some)12 b(subobjectives)e(may)i(be)f(handed)g(to)g(an)g(auto-)-62
1636 y(mated)k(planner)f(to)f(be)i(\257eshed)f(out)f(to)h(lower)g
(levels.)26 b(The)15 b(rest)-62 1682 y(of)d(this)g(discussion)f(will)g
(focus)h(on)g(the)g(representation)g(of)f(these)-62 1727
y(manually)f(created)i(plans.)-20 1773 y(Figure)j(2)h(shows)g(an)g
(excerpt)g(of)g(an)g(air)f(campaign)i(plan)e(as)-62 1819
y(it)h(would)g(be)g(speci\256ed)i(by)e(a)h(domain)f(expert,)i
(indicating)d(the)-62 1864 y(hierarchical)i(decomposition)e(through)f
(indentation.)31 b(Options)-62 1910 y(\(marked)8 b(with)f(stars\))g
(indicate)g(disjunctive)f(branches)i(of)f(the)g(plan)-62
1956 y(that)12 b(are)h(explored)f(as)h(alternatives.)21
b(The)13 b(bottom)f(of)g(the)g(\256gure)-62 2001 y(shows)f(how)f(a)g
(user)h(can)g(specify)f(an)h(objective.)-20 2047 y Fj(Air)h(campaign)g
(objectives)h Fl(are)g(verb-based)f(statements,)i(so)-62
2093 y(we)k(represent)g(them)f(as)h(a)g(subclass)f(of)g
(objective-based)g(goal)-62 2138 y(speci\256cations.)27
b(Some)14 b(of)g(their)f(clauses)i(are)f(turned)f(into)g(con-)-62
2184 y(straints)e(on)h(the)g(goal,)g(including)e(temporal)h
(constraints)g(\()p Ff(within)-62 2230 y(21)e(days)p
Fl(\),)h(geographical)e(constraints)g(\()p Ff(in)g(W)l(estern)i(Region)
p Fl(\),)f(and)-62 2275 y(resource)j(constraints)f(\()p
Ff(using)f(B-52s)h(fr)n(om)g(airbase)g(XYZ)p Fl(\).)h(Each)-62
2321 y(objective)7 b(may)h(have)f(several)h(children)e(and)i(several)f
(parents)h(\(un-)-62 2367 y(like)g(plans)f(generated)h(by)g
(hierarchical)f(AI)h(planners)g(where)g(there)-62 2412
y(is)k(only)f(one)h(parent\).)41 b Fj(Options)12 b Fl(indicate)g
(alternative)f(ways)h(to)-62 2458 y(decompose)j(an)e(objective,)h(and)f
(are)h(represented)g(as)g(a)g(special-)-62 2504 y(ization)8
b(of)g(alternative)g(plans.)14 b(The)c(decomposition)d(hierarchy)h(is)
-62 2549 y(divided)j(into)g Fj(levels)p Fl(,)i(including)d(low-level)h
(air)h(tasks)g(and)g(other)-62 2595 y(higher)o(-level)e(air)g
(objectives.)1031 -30 y Fd(O1:)g(Eliminate)d(enemy)e(SSM)j(threat)e(to)
h(US)g(allies)h(by)e(D+5)1065 3 y(*Option1:)i(Destroy)e(all)h(known)f
(enemy)g(SSM)h(launchers)f(and)g(launch)g(facilities)h(by)f(D+5)1091
36 y(O111:)j(Destroy)d(\256xed)g(enemy)g(SSM)i(launch)d(sites)j(by)e
(D+5)1117 69 y(O1111:)i(Destroy)f([them])e(on)i(NW)g(area)g(using)f
(precision)g(weapons)1143 103 y(*Option1:)i(Destroy)e([them])g(using)g
(stealth)h(aircraft)1169 136 y(O111111:)g(Destroy)g([them])e(using)i
(F117)f(with)h(GBU-27)1143 169 y(*Option2:)h(Destroy)e([them])g(using)g
(SEAD)h(aircraft)1031 202 y(launch)f(sites)i(by)e(D+5)1091
236 y(O112:)j(Destroy)d(storage)g(facilities)i(for)e(SSM)h(equipment)e
(by)h(D+5)1065 269 y(*Option2:)i(Disrupt)e(and)h(disable)f(the)h(enemy)
f(C2)h(infrastructure)e(for)h(SSM)1031 302 y(O2:)k(Airlift)d(wounded)e
(and)h(civilian)h(non-comba)o(tants)e(by)h(D+2)1031 368
y Fa(Objective)h(ID:)f Fd(O-152)g Fa(Level:)k Fd(AO)d
Fa(Phase:)i Fd(II)e Fa(Par)o(ents:)j Fd(O-98,)c(O-61)1031
402 y Fa(Statement:)j Fd(Maintain)d(air)h(superiority)e(over)h(NW)i
(sector)1031 435 y Fa(Sequence)d(r)o(estrictions:)11
b Fd(Before)6 b(O-138,)g(Before)g(O-124)1031 563 y Fl(Figure)k(2:)k(An)
c(excerpt)h(of)f(an)g(air)g(campaign)h(plan)f(and)g(the)g(spec-)1031
609 y(i\256cation)g(of)g(an)g(objective.)1031 746 y Fb(PLANET)l(-COA)
1031 810 y Fl(This)g(is)f(a)h(Course)f(of)g(Action)g(\()p
Fe(COA)p Fl(\))g(analysis)g(problem)g(in)g(a)h(mil-)1031
856 y(itary)e(domain)h(of)f(relevance)i(to)e(the)h(DARP)l(A)g(High)e
(Performance)1031 902 y(Knowledge)13 b(Bases)i(\(HPKB\))e(Program)h
(\(Cohen)f Ff(et)h(al.)25 b Fl(1998\).)1031 947 y(W)m(e)11
b(developed)f(a)h(critiquing)d(tool)h(that)g(\256nds)h(\257aws)h(in)f
(manually)1031 993 y(developed)i Fe(COA)p Fl(s)h(for)f(Army)g
(operations)g(at)g(the)g(division)e(level.)1031 1039
y(A)j Fe(COA)g Fl(is)f(speci\256ed)i(by)e(a)h(user)g(as)h(a)f(set)g(of)
f(textual)g(statements)1031 1084 y(\()p Ff(who)j Fl(does)g
Ff(what)p Fl(,)h Ff(when)p Fl(,)g Ff(wher)n(e)p Fl(,)i(and)d
Ff(why)p Fl(\),)i(together)d(with)g(a)1031 1130 y(sketch)h(drawn)f
(over)g(a)h(map.)29 b(The)15 b Fe(PLANET)p Fl(-)p Fe(COA)h
Fl(ontology)c(al-)1031 1175 y(lows)f(us)h(to)f(represent)h(the)f
Fe(COA)h Fl(that)f(results)g(from)g(joining)f(both)1031
1221 y(text)e(and)h(sketch,)g(which)f(is)h(the)f(input)f(to)h(our)g
(critiquing)e(tool.)14 b(An)1031 1267 y(example)d(of)f(part)g(of)g(a)h
Fe(COA)f Fl(textual)g(statement)g(follows:)1073 1314
y Fg(On)g(H)h(hour)f(D)g(day)n(,)h(a)f(mechanized)f(division)h(attacks)
g(to)h(seize)e(OBJ)1031 1360 y(SLAM)k(to)g(pr)o(otect)f(the)h(northern)
e(\257ank)h(of)i(the)f(corps)e(main)i(effort.)26 b(A)1031
1406 y(mechanized)8 b(brigade)g(attacks)h(in)h(the)f(north,)h(as)f(an)g
(economy)f(of)i(for)o(ce,)1031 1451 y(to)j(\256x)g(enemy)e(for)o(ces)h
(in)h(zone)e(denying)h(them)h(the)f(ability)i(to)f(interfer)o(e)1031
1497 y(with)e(the)f(main)g(effort')-5 b(s)10 b(attack)g(in)g(the)g
(south.)33 b(A)10 b(tank)f(heavy)g(brigade,)1031 1543
y(the)i(main)f(effort,)h(passes)e(thr)o(ough)f(the)j(southern)d
(mechanized)g(brigade)1031 1588 y(and)h(attacks)f(to)i(seize)e(the)h
(terrain)f(vicinity)i(of)f(OBJ)g(SLAM)g(denying)f(the)1031
1634 y(enemy)g(access)f(to)i(the)g(terrain)f(southwest)g(of)i(RIVER)f
(T)o(OWN.)g([...])1073 1682 y Fl(A)k(typical)f Fe(COA)i
Fl(includes)e(the)h(overall)g(mission)g(and)g(a)g(set)h(of)1031
1727 y(tasks)9 b(that)g(need)g(to)f(be)h(performed)g(divided)f(into)f
(\256ve)j(categories:)1031 1773 y(close,)f(reserve,)h(security)m(,)e
(deep)g(and)f(rear)i(\(not)d(shown)h(here\).)15 b(The)1031
1819 y(close)d(statements)g(always)g(contains)f(a)h(main)f(ef)o(fort)g
(for)g(the)g Fe(COA)1031 1864 y Fl(and)j(a)h(set)f(of)g(supporting)d
(ef)o(forts.)26 b(In)14 b(our)f(representation,)i(the)1031
1910 y(mission)10 b(de\256nes)i(two)e(important)g(features)h(of)g(the)f
(plan:)15 b(its)c(top-)1031 1956 y(level)e(goal)g(\(e.g.,)i
Ff(pr)n(otect)e(the)g(northern)f(\257ank)h(of)g(the)g(corps)g(main)1031
2001 y(effort)p Fl(\),)16 b(and)f(an)g(indication)f(of)h(the)g
(top-level)e(task)i(to)g(be)g(used)1031 2047 y(to)e(accomplish)h(that)f
(goal)g(\(e.g.,)j Ff(attack)d(to)h(seize)g(OBJ)h(SLAM)p
Fl(\).)1031 2093 y(W)m(e)9 b(de\256ne)h Fe(COA)f Fj(pr)o(oblem)g
Fl(as)g(a)h(subclass)f(of)g(planning-probl)o(em,)1031
2138 y(make)16 b(its)f(problem)f(goal)h(the)g(top-level)e(goal)i
(indicated)f(in)h(the)1031 2184 y(mission)8 b(statement,)h(and)g(add)f
(the)h(rest)f(of)g(the)h(mission)e(statement)1031 2230
y(as)18 b(a)g(constraint)e(on)h(how)g(to)g(select)h(tasks)g(in)f(the)g
(plan.)36 b(The)1031 2275 y(\256ve)14 b(task)g(categories)g(are)h
(represented)f(as)h(sub-plans)e(\(they)g(are)1031 2321
y(not)e(subtasks)g(or)g(subgoals)g(but)g(useful)g(categories)h(to)e
(group)h(the)1031 2367 y(unit')n(s)g(activities\).)22
b(Each)14 b(sentence)f(in)f(the)h(statement)g(is)f(turned)1031
2412 y(into)17 b(a)i(plan)e(task)h(as)h(follows.)37 b(There)19
b(is)f(a)h(speci\256cation)f(of)1031 2458 y Ff(who)c
Fl(is)g(doing)f(the)h(task,)i(e.g.,)h Ff(a)d(mechanized)g(brigade)p
Fl(,)h(which)1031 2504 y(is)h(represented)g(as)g(the)g(agent)g(of)f
(the)h(plan-task.)31 b(There)17 b(is)e(an)1031 2549 y(indication)c(of)i
Ff(what)e Fl(is)i(to)f(be)h(done,)h(e.g.,)h Ff(attacks)d(to)g(\256x)h
(enemy)1031 2595 y(for)n(ces)p Fl(,)e(which)f(is)f(interpreted)f(as)j
(a)f(\256x)f(plan-task)g(\(where)h(\256x)g(is)f(a)p eop
%%Page: 5 5
5 4 bop -62 -33 a Fl(kind)10 b(of)h(task)g(that)f(is)h(a)g(subclass)g
(of)g(the)g(class)g(attack\).)17 b(The)12 b Ff(why)-62
12 y Fl(\(or)7 b Ff(purpose)p Fl(\))g(e.g.,)g Ff(to)g(deny)g(enemy)g
(for)n(ces)g(the)g(ability)g(to)f(int)o(erfer)n(e)-62
58 y(with)j(the)g Fe(COA)p Ff(')-5 b(s)10 b(main)f(effort)g
Fl(can)h(be)g(a)g(state-based)g(\(\252enable)h(P\272,)-62
103 y(\252prevent)18 b(P\272\))f(or)g(action-based)g(\(\252protect)g
(another)f(unit)g(from)-62 149 y(enemy\272\).)i(Therefore,)11
b(the)g(ontology)d(de\256nes)j(the)f Fj(purpose)i Fl(of)e(a)-62
195 y Fe(COA)i Fl(task)f(as)g(a)h(goal)f(speci\256cation)g(that)f(can)i
(be)f(either)g(an)g(ef)o(fect)-62 240 y(or)d(a)g(capability)e(of)h(the)
g(plan-task.)14 b(The)8 b Ff(wher)n(e)p Fl(,)h(e.g.,)h
Ff(in)d(the)g(North)-62 286 y Fl(is)14 b(the)g(location)e(of)h(the)h
(plan)f(task.)26 b(The)14 b Ff(when)f Fl(clause)i(\(e.g.,)h
Ff(H)-62 332 y(hour)f(D)g(day)p Fl(\))f(is)h(represented)g(as)h(a)f
(temporal)f(commitment)h(or)-62 377 y(as)i(an)f(ordering)e(commitment)h
(if)g(it)g(is)h(speci\256ed)g(with)e(respect)-62 423
y(to)g(another)g(task.)27 b(Finally)m(,)14 b(the)g Fj(main)f(effort)i
Fl(and)f Fj(supporting)-62 469 y(efforts)9 b Fl(are)g(de\256ned)f(as)h
(specializations)f(of)g(the)g(subtask)g(relation.)-20
516 y(The)19 b Fe(PLANET)h Fl(ontology)c(also)j(represents)g(the)f
(context,)i(as-)-62 562 y(sumptions,)14 b(and)g(situation)e(in)h(which)
h(the)f(plan)h(is)f(supposed)g(to)-62 608 y(work)e(in)f(this)f(domain.)
17 b(A)10 b Fe(COA)h Fl(is)g(supposed)f(to)g(accomplish)h(the)-62
653 y(mission)16 b(and)f(other)h(guidance)f(provided)g(by)g(the)h
(commander)n(,)-62 699 y(and)9 b(to)f(work)g(in)g(the)g(context)g(of)g
(the)h(given)e(situation)g(as)i(analyzed)-62 745 y(by)j(the)g
(commander)r(')n(s)h(staf)o(f,)g(which)e(includes)h(terrain)g(informa-)
-62 790 y(tion)i(and)i(enemy)g(characteristics.)31 b(W)m(e)15
b(de\256ne)h Fe(COA)g Fj(pr)o(oblem)-62 836 y(context)10
b Fl(as)h(a)f(subclass)g(of)f(planning-problem-context,)e(and)j(de-)-62
882 y(\256ne)j(its)e(scenario)i(to)f(be)g(composed)h(of)e
Fj(commander)i(pr)o(oducts)-62 927 y Fl(and)g Fj(staff)e(pr)o(oducts)p
Fl(.)21 b(All)12 b Fe(COA)g Fl(problems)f(are)i(attached)f(to)g(this)
-62 973 y(problem)e(context.)-62 1066 y Fb(PLANET)l(-W)m(orkar)o(ound)q
(s)-62 1130 y Fl(W)m(e)16 b(developed)g(a)g(tool)e(to)h(aid)g(in)g
(military)f(tar)o(get)i(analysis)f(by)-62 1176 y(analyzing)g(how)f(an)h
(enemy)g(force)g(may)h(react)f(to)f(damage)i(to)e(a)-62
1221 y(geographic)d(feature)f(\(e.g.,)i(a)f(bridge)f(or)g(a)h(tunnel\))
f(\(Cohen)f Ff(et)i(al.)-62 1267 y Fl(1998\).)k(The)c(possible)f
(workarounds)f(include)h(using)g(alternative)-62 1313
y(routes,)j(repairing)d(the)i(damage,)i(or)d(breaching)h(using)f
(engineer)o(-)-62 1358 y(ing)i(techniques)g(such)h(as)g(installing)d(a)
j(temporary)f(bridge.)24 b(Be-)-62 1404 y(cause)7 b(the)g(purpose)g(of)
g(damaging)g(the)g(tar)o(get)g(is)g(typi)o(cally)g(t)o(o)g(delay)-62
1450 y(the)i(movement)h(of)e(some)i(enemy)g(unit)e(or)g(supply)m(,)h
(it)f(is)h(important)-62 1495 y(to)f(estimate)h(how)f(long)f(the)h
(implementation)f(of)h(the)g(workaround)-62 1541 y(will)14
b(take.)28 b(Note)15 b(that)f(this)f(depends)i(on)f(what)h(actions)f
(can)i(be)-62 1587 y(performed)h(in)f(parallel.)33 b(The)17
b(system)g(was)g(also)f(designed)g(to)-62 1632 y(show)10
b(not)f(one)h(possible)f(workaround)f(plan)h(but)g(several)i(options)
-62 1678 y(that)f(the)g(enemy)h(may)g(take.)-20 1726
y(W)m(e)20 b(divided)e(the)i(problem)f(in)g(two.)43 b(First,)22
b(we)e(used)g(the)-62 1771 y(AI)f(planner)g(Prodigy)e(\(V)-5
b(eloso)19 b Ff(et)g(al.)41 b Fl(1995\))17 b(to)i(generate)g(a)-62
1817 y(workarounds)e(plan.)37 b(W)m(e)18 b(added)g(information)d(to)i
(the)h(opera-)-62 1862 y(tors)9 b(about)g(the)h(resources)g(used,)g
(and)g(which)f(resources)h(are)h(non-)-62 1908 y(shareable.)34
b(The)16 b(planner)g(then)f(generated)i(a)f(partial)g(order)f(of)-62
1954 y(workaround)f(steps,)i(in)e(which)g(unordered)g(steps)h(can)h(be)
e(com-)-62 1999 y(pleted)9 b(in)f(parallel.)15 b(Second)9
b(we)g(built)f(a)h(plan)f(evaluation)g(system)-62 2045
y(to)g(estimate)g(the)g(time)g(that)f(each)i(step)f(takes)g(to)f
(complete)i(and)f(cal-)-62 2091 y(culate)13 b(the)e(overall)g(duration)
f(based)j(on)e(the)h(partial)f(order)n(.)19 b(This)-62
2136 y(is)8 b(a)h(knowledge-based)e(system)i(that)e(used)h(several)h
(ontologies)d(of)-62 2182 y(engineering)k(assets,)h(units,)f(and)g
(workaround)f(steps)i(and)f(plans.)-20 2230 y Fe(PLANET)j
Fl(did)d(not)g(exist)h(when)g(this)f(workarounds)g(plan)h(ontol-)-62
2275 y(ogy)e(was)g(\256rst)g(developed,)g(so)g(we)h(describe)f(a)h
(reimplementation)-62 2321 y(using)15 b Fe(PLANET)p Fl(.)32
b(Actions)15 b(are)h(represented)g(as)g(primitive)d(plan)-62
2367 y(steps.)28 b(The)14 b(ordering)f(commitments)i(and)f(resources)h
(used)f(are)-62 2412 y(straightforward)d(to)h(represent)h(in)f
Fe(PLANET)p Fl(.)24 b(In)13 b(the)f(planner)g(we)-62
2458 y(subdivided)e(the)g(step)h(parameters)h(into)e(those)h(whose)g
(values)g(af-)-62 2504 y(fected)17 b(plan)f(correctness)h(and)g(those)f
(that)g(were)h(only)e(used)h(to)-62 2549 y(determine)d(the)f(length)g
(of)g(the)g(plan)g(after)h(it)f(was)h(created.)23 b(This)-62
2595 y(distinction)8 b(had)i(not)g(been)h(captured)f(in)g(the)g
(original)e(system.)p 1042 -53 960 2 v 1041 7 2 60 v
1154 -16 a Fd(Domain)p 1272 7 V 49 w(Axioms)p 1414 7
V 49 w(Concepts)p 1572 7 V 48 w(Rels)p 1673 7 V 1699
-33 a(Covered)1699 1 y(concepts)p 1839 7 V 1865 -16 a(Coverage)p
2000 7 V 1042 9 960 2 v 1041 54 2 46 v 1121 41 a Fe(PLANET)p
1272 54 V 80 w Fl(305)p 1414 54 V 116 w(26)p 1572 54
V 60 w(37)p 1673 54 V 1839 54 V 2000 54 V 1042 56 960
2 v 1041 102 2 46 v 1160 88 a(COA)p 1272 102 V 79 w(267)p
1414 102 V 116 w(58)p 1572 102 V 60 w(37)p 1673 102 V
124 w(39)p 1839 102 V 84 w(67\045)p 2000 102 V 1041 147
V 1100 134 a(COA)i(u.c)p 1272 147 V 80 w(106)p 1414 147
V 137 w(7)p 1572 147 V 60 w(12)p 1673 147 V 1839 147
V 250 w(35\045)p 2000 147 V 1042 149 960 2 v 1041 195
2 46 v 1126 181 a(JF)m(ACC)p 1272 195 V 79 w(102)p 1414
195 V 116 w(15)p 1572 195 V 60 w(12)p 1673 195 V 124
w(12)p 1839 195 V 84 w(80\045)p 2000 195 V 1041 240 V
1066 226 a(JF)m(ACC)g(u.c)p 1272 240 V 101 w(86)p 1414
240 V 137 w(9)p 1572 240 V 80 w(6)p 1673 240 V 1839 240
V 251 w(28\045)p 2000 240 V 1042 242 960 2 v 1041 288
2 46 v 1183 274 a(W)-5 b(A)p 1272 288 V 80 w(100)p 1414
288 V 116 w(13)p 1572 288 V 60 w(10)p 1673 288 V 124
w(13)p 1839 288 V 63 w(100\045)p 2000 288 V 1041 333
V 1123 319 a(W)g(A)11 b(u.c)p 1272 333 V 101 w(91)p 1414
333 V 116 w(12)p 1572 333 V 80 w(4)p 1673 333 V 1839
333 V 251 w(30\045)p 2000 333 V 1042 335 960 2 v 1090
430 a(T)m(able)g(1:)j(Estimates)d(of)f(reuse)h(of)f(the)g
Fe(PLANET)i Fl(ontology)m(.)1179 566 y Fm(Coverage)g(and)g(Knowledge)g
(Reuse)1031 628 y Fl(W)m(e)i(wanted)f(to)f(measure)i(the)f(amount)g(of)
f(reuse)i(of)f(the)f(general)1031 673 y Fe(PLANET)g Fl(ontology)c(in)h
(each)i(speci\256c)g(domain.)k(Here)c(we)g(present)1031
719 y(estimates)j(of)f(reuse)h(in)f(creating)g(new)h(terms,)h(since)e
(we)h(are)g(in-)1031 765 y(terested)k(in)f(understanding)e(the)j
(generality)e(and)i(coverage)g(of)1031 810 y Fe(PLANET)p
Fl(.)34 b(T)m(o)16 b(do)g(this,)h(we)f(estimated)g(how)g(many)g(axioms)
g(of)1031 856 y Fe(PLANET)c Fl(were)g(actually)e(used)h(in)f(each)i
(domain,)f(and)g(how)f(many)1031 902 y(new)h(axioms)f(were)h(needed.)
1073 949 y(It)i(is)i(important)d(to)i(factor)g(out)g(domain)g
(de\256nitions)e(that)i(are)1031 994 y(part)9 b(of)g(what)g(is)g(often)
f(described)i(as)g(populating)c(the)j(knowledge)1031
1040 y(base,)g(or)e(knowledge)f(base)h Ff(stuf\256ng)p
Fl(.)13 b(For)6 b(example,)j(there)e(may)g(be)1031 1086
y(\256fty)g(or)g(\256ve)h(hundred)f(possible)f(tasks)i(in)f(a)h(domain)
f(that)g(share)h(the)1031 1131 y(same)j(basic)e(structure)f(but)g(this)
g(should)g(not)g(distort)f(a)j(measure)g(of)1031 1177
y(how)h(reusable)h(a)g(general-purpose)f(ontology)e(is.)18
b(For)11 b(this)g(eval-)1031 1223 y(uation)g(we)h(take)g(these)g
(de\256nitions)e(out)h(of)h(the)f(domain-speci\256c)1031
1268 y(ontologies)j(and)j(leave)f(only)f(those)h(de\256nitions)e(that)i
(speci\256ed)1031 1314 y(the)e(basic)g(structure)g(of)f(the)h(plans.)26
b(W)m(e)14 b(estimated)h(the)e(size)i(of)1031 1360 y(each)h(ontology)c
(by)h(counting)g(its)g(axioms.)28 b(W)m(e)14 b(considered)g(an)1031
1405 y(axiom)g(to)g(be)h(any)f(statement)g(about)g(the)g(world,)h
(including)d Fj(isa)1031 1451 y Fl(predicates,)f(class)f(constraints,)f
(and)g(role)g(constraints.)14 b(W)m(e)c(make)1031 1497
y(strong)e(use)i(of)e(inheritance)h(among)g(classes,)i(so)e(axioms)g
(are)h(only)1031 1542 y(stated)g(and)h(thus)e(counted)h(once.)1073
1589 y(W)m(e)i(counted)g(the)g(concepts)g(in)g(each)h(domain)f(that)f
(were)i(sub-)1031 1635 y(concepts)g(of)g(a)g(concept)g(in)f(the)h
Fe(PLANET)h Fl(ontology)m(,)e(to)g(measure)1031 1680
y(of)h(the)f(coverage)i(of)f(the)g(domain)f(that)g(the)h(ontology)e
(provided.)1031 1726 y(W)m(e)16 b(estimated)f(how)g(many)h(axioms)f(of)
g(the)g Fe(PLANET)i Fl(ontology)1031 1772 y(were)d(actually)e(used)h
(in)f(each)i(domain)e(by)h(computing)e(the)i(\252up-)1031
1817 y(ward)h(closure\272)f(of)g(the)h(de\256nitions)d(in)i(the)g
(domain)g(ontologies.)1031 1863 y(The)g(results)e(are)i(as)f(shown)f
(in)h(T)m(able)g(1.)20 b(Coverage)12 b(is)g(high:)k(on)1031
1909 y(average,)h(82\045)c(of)h(the)g(concepts)g(de\256ned)g(in)g(each)
h(domain)f(are)1031 1954 y(subconcepts)e(of)g(concepts)g(in)f
Fe(PLANET)p Fl(.)22 b(However)n(,)13 b(the)f(propor)o(-)1031
2000 y(tion)h(of)h(the)g(ontology)d(used)k(by)e(each)i(domain)f(is)g
(much)g(lower)n(,)1031 2046 y(averaging)d(31\045)f(of)g(the)g(axioms.)
17 b(This)10 b(is)h(not)e(surprising.)15 b(First,)1031
2091 y Fe(PLANET)c Fl(covers)f(a)f(range)h(of)f(planning)e(styles,)j
(including)d(actions)1031 2137 y(with)j(preconditions)f(and)h(ef)o
(fects)i(and)f(decomposition)e(patterns,)1031 2183 y(but)j(none)g(of)g
(the)g(domains)g(has)h(all)f(of)g(these.)22 b(Second,)13
b Fe(PLANET)1031 2228 y Fl(can)h(represent)f(incremental)f(decisions)h
(of)f(planners,)i(including)1031 2274 y(commitments)8
b(and)g(untried)f(alternatives,)h(but)f(the)h(domains)g(only)1031
2320 y(represented)k(complete)g(plans.)19 b(In)11 b(general)h(we)g(do)f
(not)g(expect)h(a)1031 2365 y(single)e(domain)g(to)f(use)i(a)g(high)e
(proportion)f(of)i(the)g(ontology)m(.)1073 2412 y(There)k(are)g
(various)e(other)h(ways)h(to)e(reuse)i(knowledge.)23
b(One)1031 2458 y(can)7 b(measure)g(the)g(reuse)g(of)g(ontologies)g(by)
g(estimating)f(how)g(many)1031 2504 y(terms)k(are)g(used)f(during)f
(problem)h(solving)e(or)i(reasoning.)14 b(An)9 b(in-)1031
2549 y(formal)f(analysis)g(of)g(the)g Fe(JF)n(ACC)g Fl(and)g(W)m
(orkarounds)f(domains)h(\(the)1031 2595 y(problem)13
b(solvers)h(for)f(the)g Fe(COA)h Fl(domain)g(were)g(under)f(develop-)p
eop
%%Page: 6 6
6 5 bop -62 -33 a Fl(ment\))7 b(showed)g(that)g(most)g(\(if)g(no)o(t)g
(all)o(\))g(t)o(he)g(new)g(de\256nit)o(io)o(ns)g(wou)o(ld)-62
12 y(be)15 b(used)f(during)e(problem)h(solving,)h(but)f(this)g(should)g
(be)h(deter)o(-)-62 58 y(mined)7 b(empirically)m(.)14
b(The)8 b(ontology)d(is)h(also)h(reused)h(in)e(modelling)-62
103 y(a)14 b(new)f(domain.)22 b(Even)13 b(if)g(a)g(term)g(is)f(not)g
(used)h(in)f(the)h(new)g(sys-)-62 149 y(tem,)d(it)e(may)h(still)e(have)
i(been)g(used)g(to)f(understand)g(how)g(to)g(model)-62
195 y(certain)j(aspects)g(of)f(the)g(domain)g(as)h(we)g(discuss)f
(next.)280 294 y Fm(Related)i(W)m(ork)-62 355 y Fl(In)17
b(creating)f Fe(PLANET)p Fl(,)k(we)d(have)g(drawn)f(from)h(previous)e
(work)-62 401 y(on)25 b(languages)h(to)f(represent)g(plans)g(and)g
(planning)f(knowl-)-62 446 y(edge)e(\(Ghallab)f Ff(et)h(al.)48
b Fl(1998;)20 b(W)n(ilkins)g(and)i(Myers)f(1995;)-62
492 y(Kambhampati)10 b(et)g(al)f(1995;)g(Y)l(ang)g(1990\).)14
b(These)c(languages)g(are)-62 538 y(often)j(constrained)f(by)g(the)g
(reasoning)g(capabilities)g(that)g(can)i(be)-62 583 y(provided)8
b(in)g(practice)i(by)e(AI)h(planning)e(systems.)15 b(Since)9
b Fe(PLANET)-62 629 y Fl(is)f(an)g(ontology)m(,)f(it)g(does)g(not)g
(make)i(speci\256c)g(commitments)f(about)-62 675 y(the)16
b(language)g(in)g(which)f(various)g(items)h(are)h(expressed.)33
b(The)-62 720 y(planning)10 b(knowledge)h(represented)h(in)f(these)h
(languages)f(can)i(be)-62 766 y(mapped)g(into)d Fe(PLANET)p
Fl(.)20 b Fe(PLANET)13 b Fl(also)e(accomodates)i(plans)e(that)-62
812 y(were)16 b(not)e(created)h(by)f(AI)h(planning)e(systems,)j(and)f
(provides)e(a)-62 857 y(representation)c(for)g(the)g(context)g(of)g
(the)h(planning)d(problems)i(that)-62 903 y(are)j(given)d(to)h(these)h
(systems.)-20 950 y Fe(SP)m(AR)f Fl(\(T)m(ate)g(1998\))e(is)h(an)h
(ongoing)d(ef)o(fort)i(to)f(create)i(a)g(standard)-62
995 y(vocabulary)d(for)g(plans)g(that)g(is)g(compatible)g(with)f(other)
h(standards,)-62 1041 y(such)k(as)h(the)e(Process)i(Interchange)f
(Format)g(\()p Fe(PIF)p Fl(\))g(and)g(the)g(NIST)-62
1087 y(Process)k(Speci\256cation)f(Language)g(\()p Fe(PSL)p
Fl(\).)53 b(These)15 b(ef)o(forts)e(are)-62 1132 y(aimed)e(at)f(plan)g
(representations)f(of)h(a)h(more)f(general)g(nature,)h(and)-62
1178 y(cover)c(aspects)g(of)g(plan)g(execution.)12 b(However)n(,)d(as)e
(a)g(result)g(of)g(their)-62 1224 y(generality)13 b(they)h(would)e
(require)i(many)g(more)g(extensions)f(than)-62 1269 y
Fe(PLANET)f Fl(to)e(represent)g(the)g(domains)h(discussed)f(in)g(this)f
(paper)n(.)-20 1316 y(Related)k(work)f(on)g(problem-solving)e(methods)i
(for)g(planning)-62 1362 y(\(V)-5 b(alente)9 b(et)g(al.)14
b(1998;)7 b(Nunes)i(et)f(al)h(1997\)analyzes)f(AI)g(planning)-62
1407 y(algorithms)i(\(or)h(planning)e(methods\))i(and)g(identi\256es)g
(the)g(typical)-62 1453 y(knowledge)e(roles)g(that)f(characterize)j
(the)e(main)g(types)g(of)g(domain)-62 1499 y(knowledge)15
b(used)g(by)g(these)h(planning)d(methods.)60 b(The)16
b(main)-62 1544 y(knowledge)h(roles)g(in)g(this)f(study)h(map)h
(directly)e(to)h(classes)h(in)-62 1590 y Fe(PLANET)p
Fl(.)37 b(It)10 b(would)g(be)h(useful)g(to)f(add)h(to)g
Fe(PLANET)h Fl(the)f(static)g(vs)-62 1636 y(dynamic)g(distinctions)d
(contributed)g(by)i(this)f(study)m(.)300 1734 y Fm(Conclusions)-62
1796 y Fl(W)m(e)14 b(described)f Fe(PLANET)p Fl(,)i(an)e(ontology)d
(for)j(representing)f(plans,)-62 1841 y(and)f(showed)g(its)e(use)i(in)f
(three)h(real-world)f(domains,)g(two)g(where)-62 1887
y(plans)f(are)g(created)h(by)e(humans)h(and)g(one)g(where)g(they)f(are)
i(created)-62 1933 y(by)18 b(an)g(AI)g(planner)n(.)38
b(In)18 b(these)g(domains,)i(a)f(high)d(proportion)-62
1978 y(of)h(the)g(classes)h(created)f(were)h(usefully)d(covered)j(by)e
Fe(PLANET)p Fl(.)-62 2024 y Fe(PLANET)7 b Fl(is)g(also)g(useful)g(in)g
(knowledge)g(modell)o(in)o(g)g(by)f(str)o(ucturi)o(ng)-62
2070 y(important)g(distinctions)f(in)i(planning)e(domains,)j(and)f(can)
h(ease)h(the)-62 2115 y(task)14 b(of)f(creating)h(new)g(planning)e(or)h
(plan)g(evaluation)g(systems.)-62 2161 y(The)h(ontology)d(also)i(shows)
g(promise)g(as)g(a)h(tool)d(for)i(integrating)-62 2207
y(dif)o(ferent)8 b(systems)h(that)f(combine)h(to)f(solve)g(a)h
(planning)e(problem.)222 2305 y Fm(Acknowledgements)-62
2367 y Fi(W)m(e)18 b(gratefully)h(acknowledge)c(the)i(support)h(of)g
(DARP)m(A)f(with)h(con-)-62 2412 y(tract)c(DABT63-95-C-0059)e(as)g
(part)i(of)f(the)g(DARP)m(A/Rome)g(Labora-)-62 2458 y(tory)f(Planning)e
(Initiative,)j(with)e(contract)g(F30602-97-C-0118)d(as)j(part)-62
2504 y(of)e(the)f(DARP)m(A)f(Joint)h(Forces)e(Air)j(Component)e
(Commander)g(\(JF)m(ACC\))-62 2549 y(program,)i(and)e(with)i(grant)f
(F30602-97-1-0195)e(as)i(part)g(of)h(the)f(DARP)m(A)-62
2595 y(High)i(Performance)e(Knowledge)f(Bases)h(Program.)1406
-33 y Fm(Refer)o(ences)1052 17 y Fi(Bienkowski,)d(M.)h(and)g(Hoebel,)f
(L.)i(1998.)f(Integrating)g(AI)g(Components)1052 59 y(for)k(a)f
(Military)i(Planning)d(Application.)13 b(In)c Fg(IAAI-98)p
Fi(.)1052 110 y(Breuker)o(,)j(J.)h(and)e(V)l(an)h(de)f(V)l(elde)h(W)m
(.)h(\(Eds.\))21 b(1994.)g Fg(CommonKADS)1052 151 y(Library)13
b(for)i(Expertise)e(Modelling)p Fi(.)i(IOS)g(Press,)g(Amsterdam,)h(The)
1052 193 y(Netherlands,)8 b(1994.)1052 244 y(Cohen,)i(P)l(.;)i(Schrag,)
f(R.;)h(Jones,)e(E.;)i(Pease,)e(A.;)j(Starr)o(,)e(B.;)i(and)d(Gun-)1052
285 y(ning,)j(D.)23 b(1998.)f(The)12 b(darpa)f(high-performance)h
(knowledge)f(bases)1052 327 y(project.)j Fg(AI)9 b(Magazine)f
Fi(19\(4\).)1052 378 y(Ghallab,)14 b(M.;)j(Howe,)d(A.;)j(Knoblock,)c
(C.;)k(McDermott,)e(D.;)i(Ram,)1052 419 y(A.;)e(V)l(eloso,)d(M.;)j(W)m
(eld,)f(D.;)g(and)e(W)o(ilkins,)h(D.)22 b(1998.)f(Pddl)12
b(\320)h(the)1052 461 y(planning)5 b(domain)h(de\256nition)g(language.)
h(T)m(echnical)e(report.)k(A)m(vailable)1052 502 y(at)g(http://www)n
(.cs.yale.edu/pub/mcdermott/software/pddl.tar)n(.gz.)1052
553 y(Kambhampati,)f(S.,)h(Knoblock,)f(C.)h(A.,)h(and)d(Y)l(ang,)i(Q.)k
(1995.)e(Planing)1052 595 y(as)c(Re\256nement)g(Search:)12
b(A)c(Uni\256ed)g(Framework)f(for)i(Evaluating)e(De-)1052
637 y(sign)j(T)o(radeof)o(fs)f(in)h(Partial-Order)i(Planning.)j
Fg(Arti\256cial)10 b(Intelligence)p Fi(,)1052 678 y(76,)f(pp)g
(167\261238.)1052 729 y(Knoblock,)17 b(C.)g(A.)32 b(1996.)f(Building)17
b(a)f(Planner)f(for)i(Information)1052 771 y(Gathering:)c(A)d(Report)f
(from)h(the)f(T)o(renches.)i(In)e Fg(AIPS-96)p Fi(.)1052
822 y(Myers,)h(K.)h(L.)17 b(1996.)e(Strategic)10 b(Advice)f(for)i
(Hierarchical)f(Planners.)1052 863 y(In)f Fg(KR-96)p
Fi(.)1052 914 y(Nau,)j(D.)g(S.,)h(Gupta,)f(S.)g(K.,)g(and)f(Regli,)i(W)
m(.)f(C.)20 b(1995.)f(AI)12 b(Planning)1052 956 y(V)l(ersus)h
(Manufacturing-Operation)g(Planning:)22 b(A)14 b(Case)f(Study.)25
b(In)1052 997 y Fg(IJCAI-95)p Fi(.)1052 1048 y(Neches,)11
b(R.;)k(Fikes,)d(R.;)j(Finin,)e(T)m(.;)i(Gruber)o(,)d(T)m(.;)j(Patil,)f
(R.;)h(Senator)o(,)1052 1090 y(T)m(.;)c(and)d(Swartout,)j(W)m(.)j
(1991.)g(Enabling)8 b(technology)g(for)j(knowledge)1052
1131 y(sharing.)i Fg(AI)c(Magazine)f Fi(36\26156.)1052
1183 y(Nunes)j(de)i(Barros,)g(L.,)i(Hendler)o(,)e(J.,)h(and)e
(Benjamins,)h(V)-5 b(.)13 b(R.)23 b(1995.)1052 1224 y(AI)10
b(Planning)e(V)l(ersus)g(Manufacturing-Operation)h(Planning:)j(A)e
(Case)1052 1266 y(Study.)j(In)c Fg(IJCAI-97)p Fi(.)1052
1317 y(Smith,)14 b(S.)e(F)m(.;)i(Lassila,)e(O.;)j(and)c(Becker)o(,)g
(M.)22 b(1996.)e(Con\256gurable,)1052 1358 y(mixed-initiative)c
(systems)d(for)i(planning)f(and)g(scheduling.)26 b(In)16
b Fg(Ad-)1052 1400 y(vanced)7 b(Planning)h(T)m(echnology)p
Fi(.)1052 1451 y(T)m(ate,)14 b(A.)24 b(1998.)e(Roots)12
b(of)i(SP)m(AR\261Shared)c(Planning)i(and)g(Activity)1052
1492 y(Representation.)24 b Fg(The)13 b(Knowledge)f(Engineering)g
(Review)g Fi(13:1,)j(pp)1052 1534 y(121\261128,)7 b(March)i(1998.)1052
1585 y(Thaler)o(,)d(D.)h(E.)i(1993.)f(Strategies)d(to)i(T)m(asks,)f(A)g
(Framework)g(for)h(Linking)1052 1626 y(Means)h(and)g(Ends.)13
b Fg(RAND)c(T)m(echnical)e(Report)p Fi(.)1052 1677 y(T)m(odd,)21
b(D.)e(F)m(.)38 b(1994.)g(Strategies-to-T)m(asks)17 b(Baseline)h(for)h
(USAF)1052 1719 y(Planning.)e Fg(Internal)10 b(Document,)g(Strategic)g
(Planning)f(Division,)j(HQ)1052 1760 y(United)d(States)g(Air)g(For)o
(ce)p Fi(.)1052 1812 y(V)l(alente,)14 b(A.,)i(Benjamins,)e(V)-5
b(.)14 b(R.,)h(Nunes)d(de)h(Barros,)i(L.)25 b(1998.)g(A)1052
1853 y(Library)11 b(of)g(System-Derived)e(Problem-Solving)i(Methods)e
(for)j(Plan-)1052 1895 y(ning.)h Fg(International)c(Journal)e(of)j
(Human-Computer)d(Studies)p Fi(,)i(48.)1052 1946 y(V)l(alente,)k(A.;)h
(Russ,)e(T)m(.;)j(MacGregor)o(,)d(R.;)j(and)c(Swartout,)j(B.)21
b(1999.)1052 1987 y(Building)14 b(and)g(\(re\)using)g(an)g(ontology)f
(of)i(air)g(campaign)d(planning.)1052 2029 y Fg(IEEE)d(Intelligent)h
(Systems)e Fi(14\(1\).)1052 2080 y(V)l(eloso,)j(M.;)i(Carbonell,)f(J.;)
g(P)r(\302)-14 b(erez,)12 b(A.;)h(Borrajo,)f(D.;)h(Fink,)f(E.;)h(and)
1052 2121 y(Blythe,)c(J.)14 b(1995.)e(Integrating)d(planning)f(and)h
(learning:)k(The)8 b(prodigy)1052 2163 y(architecture.)13
b Fg(J.)c(Experimental)f(and)g(Theor)o(etical)g(AI)h
Fi(7:81\261120.)1052 2214 y(W)m(eld,)19 b(D.)33 b(1994.)g(A)16
b(gentle)g(introduction)h(to)g(least-commitment)1052
2255 y(planning.)c Fg(AI)c(Magazine)p Fi(.)1052 2307
y(W)o(ilkins,)e(D.)f(E.)h(1988.)g Fg(Practical)f(Planning:)k(Extending)
c(the)g(Class)o(ical)1052 2348 y(AI)k(Planning)e(Paradigm)p
Fi(.)k(Mor)o(gan)d(Kaufmann.)1052 2399 y(W)o(ilkins,)16
b(D.)f(E.)g(and)e(Myers,)j(K.)f(L.)27 b(1995.)f(A)15
b(Common)e(Knowl-)1052 2441 y(edge)6 b(Representation)g(for)g(Plan)g
(Gene)o(ration)g(and)g(Re)o(ac)o(tive)g(Exec)o(ution.)1052
2482 y Fg(Journal)i(of)h(Logic)f(and)h(Computation)p
Fi(,)g(5\(6\),)h(pp)e(731\261761)1052 2533 y(Y)l(ang,)g(Q.)13
b(1990.)e(Formalizing)d(Planning)g(Knowledge)f(for)i(Hierarchi-)1052
2575 y(cal)g(Planning.)k Fg(Computational)8 b(Intelligence)p
Fi(,)h(6\(1\),)h(pp)f(12\26124.)p eop
%%Trailer
end
userdict /end-hook known{end-hook}if
%%EOF