Metric and Temporal constraints
Problem: Most real-world problems involve actions with durations, goals with deadlines, continuous resources
- While still being observable, deterministic and static
APPROACHES:
- Handling numeric/continous quantities
- LPSAT [Wolfman & Weld; 99] integrates a SAT solver with an LP solver
- ZENO [Penberthy & Weld; AAAI-94] extends UCPOP
- ILP encodings [Vossen & Nau; 99; Kautz & Walser; 99]
- Handling actions with durations
- TGP [Smith & Weld; 99] supports actions with durations in Graphplan
- Integrate planning & scheduling; postpone durations, resources etc. to scheduling phase
- [Srivastava & Kambhampati; 99]