Definition
Frame Problem
The frame problem addresses the question How do you specify what stays the same after an action occurs?. Creating axioms for invariants for every action and every fact would lead to a combinatoric explosion, making any non-trivial system intractable.