Incomplete Information:Some Implemented Approaches
Conjunctive planners
- CNLP [Peot & Smith; 92] CASSANDRA [Pryor & Collins, 96] add sensing actions to UCPOP; support tree-shaped plans
- SADL/PUCCINI [Golden & Weld; 96-98] integrates planning and sensing in the context of a UCPOP-like planner
Disjunctive planners
- CGP [Smith & Weld, 98] supports conformant planning on Graphplan
- SGP [Weld et. al., 98] supports conditional planning on Graphplan
- One plan-graph per possible world/ Interactions among plangraphs captured through induced mutexes
- [Rintanen, 99] converts conditional planning to QBF encodings