5 Planning Graph … … … … s0s0 snsn … … … … … … anan S n+1 propositions actions state-level 0: propositions true in s 0 state-level n: literals that may possibly be true after some n level plan action-level n: actions that may possibly be applicable after some n level plan
{}