Frame axiom
= Frame axiom
A condition specifying when a fact remains unchanged by an action. In <STRIPS>, facts outside the add and delete lists persist. A <successor-state axiom> combines these persistence conditions with all action effects that can change the fact.