STRIPS

See: https://www.youtube.com/watch?v=GmU7SimFkpU

We use Propositional Logic as atomic formulae.

• Precondition and Goal state: Conjunctions of atoms.
• Effect: Conjunctions of literals.

STRIPS Task