handling time: constraint-based interval planning
DESCRIPTION
Handling Time: Constraint-based Interval Planning. Compliments: David E. Smith [email protected]. An Autonomous Spacecraft. Observation-1 priority time window target instruments duration Observation-2 Observation-3 Observation-4 …. Objective: maximize science return. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/1.jpg)
Slides compliments of Dave Smith, NASA Ames
Handling Time:Constraint-based Interval Planning
Compliments:David E. Smith
![Page 2: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/2.jpg)
Slides compliments of Dave Smith, NASA Ames
An Autonomous Spacecraft
Observation-1prioritytime windowtargetinstrumentsduration
Observation-2
Observation-3
Observation-4
…Objective:
maximize science return
![Page 3: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/3.jpg)
Slides compliments of Dave Smith, NASA Ames
Complications
Observation-1prioritytime windowtargetinstrumentsduration
Observation-2
Observation-3
Observation-4
…
calibrationtarget1target2…
consumables:fuelpowerdata storagecryogen
angle between targets turn duration
Objective:maximize science return
linke
d
![Page 4: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/4.jpg)
Slides compliments of Dave Smith, NASA Ames
Strips Assumptions
Instantaneous actions
No time constraints
No concurrent actions
No continuous quantities
![Page 5: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/5.jpg)
Slides compliments of Dave Smith, NASA Ames
Some STRIPS Operators
TakeImage (?target, ?instr):Pre: Status(?instr, Calibrated), Pointing(?target)Eff: Image(?target)
Calibrate (?instrument):Pre: Status(?instr, On), Calibration-Target(?target), Pointing(?target)Eff: ¬Status(?inst, On), Status(?instr, Calibrated)
Turn (?target):Pre: Pointing(?direction), ?direction ≠ ?targetEff: ¬Pointing(?direction), Pointing(?target)
no time, no resources
![Page 6: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/6.jpg)
Slides compliments of Dave Smith, NASA Ames
Needed Extensions
Resources
Time
Uncertainty
![Page 7: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/7.jpg)
Slides compliments of Dave Smith, NASA Ames
World Description
State-centric:for each time describe propositions that are true
Proposition-centric:for each proposition describe times it is true
Pointing(A7)
Status(Cam2, Calibrated)
Turn(A7)
Pointing(Earth)Status(Cam2, Calibrated)
¬ Image(A7)
Turn(A7) Pointing(A7)Status(Cam2, Calibrated)
¬ Image(A7)
Pointing(Earth)
![Page 8: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/8.jpg)
Slides compliments of Dave Smith, NASA Ames
Allen’s Ordering Relationships
A BA before B
A BA meets B
A
BA overlaps B
A contains BA
B
A = BA
B
A
BA starts B
A
BA ends B
![Page 9: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/9.jpg)
Slides compliments of Dave Smith, NASA Ames
TakeImage Schema
TakeImage(?target, ?instr)A
P {Status(?instr, Calibrated)P Contains(P, A)}
Q {Pointing(?target)Q Contains(Q, A)}
R {Image(?target)R Meets(A, R)}
TakeImage (?target, ?instr):Pre: Status(?instr, Calibrated), Pointing(?target)Eff: Image(?target)
![Page 10: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/10.jpg)
Slides compliments of Dave Smith, NASA Ames
Shorthand
Pointing(?target)
Status(?instr, Calibrated)
TakeImage(?target, ?instr) Image(?target)meets
contains
contains
TakeImage (?target, ?instr)contained-by Status(?instr, Calibrated)contained-by Pointing(?target)meets Image(?target)
![Page 11: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/11.jpg)
Slides compliments of Dave Smith, NASA Ames
Turn
Turn (?target)met-by Pointing(?direction)meets Pointing(?target)
Pointing(?target)Pointing(?direction) Turn(?target)meetsmeets
![Page 12: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/12.jpg)
Slides compliments of Dave Smith, NASA Ames
Calibrate
Status(?instr, Calibrated)
Pointing(?target)
CalibrationTarget(?target)
Calibrate(?instr)meetsmeets
contains
contains
Status(?instr, On)
Calibrate (?instr)met-by Status(?instr, On)contained-by CalibrationTarget(?target)contained-by Pointing(?target)meets Status(?instr, Calibrated)
![Page 13: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/13.jpg)
Slides compliments of Dave Smith, NASA Ames
Algorithm
Choose:introduce an action & instantiate constraintscoalesce propositions
Propagate constraints
![Page 14: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/14.jpg)
Slides compliments of Dave Smith, NASA Ames
Initial Plan
Past Image(?target)meets
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
Futuremeets
-∞ ∞
![Page 15: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/15.jpg)
Slides compliments of Dave Smith, NASA Ames
Expansion 1
Image(A7) Futuremeets
Past meets
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
∞
Pointing(A7)
Status(?instr, Calibrated)
TakeImage(A7, ?instr)meets
contains
contains
before
![Page 16: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/16.jpg)
Slides compliments of Dave Smith, NASA Ames
Expansion 2
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
Image(A7)
Pointing(A7)
Status(?instr, Calibrated)
TakeImage(A7, ?instr)meets
contains
contains
Pointing(?direction) Turn(A7)
Pointing(?caltarget)
CalibrationTarget(?caltarget)
Calibrate(?instr)
meetsmeets
meetsmeets
contains
contains
Status(?instr, On)
before
![Page 17: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/17.jpg)
Slides compliments of Dave Smith, NASA Ames
Coalescing
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
Image(A7)
Pointing(A7)
Status(Cam2, Calibrated)
TakeImage(A7, Cam2)meets
contains
contains
Pointing(?direction) Turn(A7)
Pointing(T17)
Calibrate(Cam2)
meetsmeets
meetsmeets
contains
contains
before before
![Page 18: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/18.jpg)
Slides compliments of Dave Smith, NASA Ames
Coalescing
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
Image(A7)
Pointing(A7)
Status(Cam2, Calibrated)
TakeImage(A7, Cam2)meets
contains
contains
Turn(A7)
Pointing(T17)
Calibrate(Cam2)
meets
meets
meetsmeets
contains
contains
before
![Page 19: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/19.jpg)
Slides compliments of Dave Smith, NASA Ames
Expansion 3
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
Image(A7)
Pointing(A7)
Status(Cam2, Calibrated)
TakeImage(A7, Cam2)meets
contains
contains
Turn(A7)
Pointing(T17)
Calibrate(Cam2)
meets
meets
meetsmeets
contains
contains
Turn(T17) meets
meets
Pointing(?direction)
![Page 20: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/20.jpg)
Slides compliments of Dave Smith, NASA Ames
Coalescing
Pointing(Earth)
Status(Cam1, Off)
Status(Cam2, On)
CalibrationTarget(T17)
Image(A7)
Pointing(A7)
Status(Cam2, Calibrated)
TakeImage(A7, Cam2)meets
contains
contains
Turn(A7)
Pointing(T17)
Calibrate(Cam2)
meets
meets
meetsmeets
contains
contains
Turn(T17) meetsmeets
![Page 21: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/21.jpg)
Slides compliments of Dave Smith, NASA Ames
Causal Links & Threats
propositionactionmeets meets
actionaction actionproposition
action actionproposition
action
threatens
proposition
action
action
proposition
mutex
POCL CBI
Causal links:
Threats:
![Page 22: Handling Time: Constraint-based Interval Planning](https://reader036.vdocuments.mx/reader036/viewer/2022062414/568160ef550346895dd02534/html5/thumbnails/22.jpg)
Slides compliments of Dave Smith, NASA Ames
CBI Planners
Zeno (Penberthy) intervals, no CSP
Trains (Allen)
Descartes (Joslin) extreme least commitment
IxTeT (Ghallab) functional rep.
HSTS (Muscettola) functional rep., activities