The frame problem---representing the default that the only
  effects of actions are those mentioned---is a central problem in
  knowledge representation.  This default can be captured, using
  circumscription, by minimizing the set of <I>change formulas</I> that
  are true, where a change formula is a formula that states that, under
  certain circumstances, an event causes a fluent to change its value.
  This approach handles domain constraints and arbitrary disjunctions
  correctly, unlike previous proposals.  It applies a single
  circumscription policy to the entire theory, rather than use ad-hoc
  methods that depend on applying several circumscriptions or
  splitting up the theory before circumscription is applied.