Classical Planning

Representation STRIPS
Applicability and State Transitions [Wic11]
Let L be a set of literals
L + is the set of atoms that are positive literals in L,
L − is the set of all atoms whose negations are in L
Let a be an action and s a state.
Then a is applicable in s ⇔:
precond + (a) ⊆ s; and
precond − (a) ∩ s == {}
The state transition function γ for an applicable action a in state s is
defined as:
γ(s, a) = (s − effects − (a)) ∪ effects + (a)
Radek Maˇrík (marikr@felk.cvut.cz) Classical Planning 15. dubna 2013 27 / 71