slides compliments of dave smith, nasa ames handling time: constraint-based interval planning...
TRANSCRIPT
![Page 1: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/html5/thumbnails/1.jpg)
Slides compliments of Dave Smith, NASA Ames
Handling Time:Constraint-based Interval Planning
Compliments:David E. Smith
![Page 2: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/html5/thumbnails/2.jpg)
Slides compliments of Dave Smith, NASA Ames
An Autonomous Spacecraft
Observation-1priority
time windowtargetinstrumentsduration
Observation-2
Observation-3
Observation-4
…Objective:
maximize science return
![Page 3: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/html5/thumbnails/3.jpg)
Slides compliments of Dave Smith, NASA Ames
Complications
Observation-1priority
time windowtargetinstrumentsduration
Observation-2
Observation-3
Observation-4
…
calibrationtarget1target2…
consumables:
fuel
power
data storage
cryogen
angle between targets
turn duration
Objective:
maximize science return
lin
ked
![Page 4: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/html5/thumbnails/6.jpg)
Slides compliments of Dave Smith, NASA Ames
Needed Extensions
Resources
Time
Uncertainty
![Page 7: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/html5/thumbnails/13.jpg)
Slides compliments of Dave Smith, NASA Ames
Algorithm
Choose:
introduce an action & instantiate constraints
coalesce propositions
Propagate constraints
![Page 14: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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)meets
meets
![Page 21: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/html5/thumbnails/21.jpg)
Slides compliments of Dave Smith, NASA Ames
Causal Links & Threats
propositionaction
meets meetsactionaction action
proposition
action actionproposition
action
threatens
proposition
action
action
proposition
mutex
POCL CBI
Causal links:
Threats:
![Page 22: Slides compliments of Dave Smith, NASA Ames Handling Time: Constraint-based Interval Planning Compliments: David E. Smith desmith@arc.nasa.gov](https://reader030.vdocuments.us/reader030/viewer/2022032703/56649d0e5503460f949e4460/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