The frame problem in AI illustrates an issue that arises when using first-order logic (FOL) to express facts about a robot in the world. Trying to represent the state of a robot with traditional first-order language makes it necessary to use many axioms that simply imply that things in the environment do not change arbitrarily.