Partial Plans: Syntax

Auxiliary Constraints:

Interval preservation constraint (IPC) ‹ s1 , p , s2 ›

p must be preserved between s1 and s2

Point truth Constraint (PTC) p@s

p must hold in the state before s

Previous slide

Next slide

Back to first slide

View graphic version