Classical Planning

Representation STRIPS
STRIPS - state representation [Wic11]
Let L be a first-order language
with finitely many predicate symbols,
with finitely many constant symbols,
and no function symbols.
A state in a STRIPS planning domain is a set of ground atoms of
L:
(ground) atom p holds in state s ⇔ p ∈ s
s satisfies a set of (ground) literals g (s |= g) if
every positive literal in g is in s
every negative literal in g is not in s
Radek Maˇrík (marikr@felk.cvut.cz) Classical Planning 15. dubna 2013 23 / 71