Classical planners have traditionally made the closed world assumption facts absent from the planner’s world model are false. Incompleteinformation planners make the open world assumption the truth value of a fact absent from the planner’s model is unknown, and must be sensed. The open world assumption leads to two difficulties: (1) H ow can the planner determine the scope of a universally quan...