We use planner and a simulator that to-gether specify a deterministic mapping from the current environment e i and a logical form z i to a new environment e i+1 .
the planner takes the current environment e i and a logical form z i and computes the action sequence a i = planner(e i , z i ) for achieving the post condition represented by z i .