In artificial intelligence, the frame problem describes an issue with using first-order logic  to express facts about a robot in the world. Representing the state of a robot with first-order logic requires the use of many axioms that simply imply that things in the environment do not change arbitrarily. For example, Hayes describes a "block world" with rules about stacking blocks together  . The frame problem is the problem of finding adequate collections of axioms for a viable description of a robot environment.
In artificial intelligence, the frame problem describes an issue with using first-order logic (FOL) to express facts about a robot in the world. Representing the state of a robot with traditional FOL requires the use of many axioms that simply imply that things in the environment do not change arbitrarily. For example, Hayes describes a "block world" with rules about stacking blocks together . In a FOL system, additional axioms are required to make inferences about the environment (for example, that a block cannot change position unless it is physically moved) . The frame problem is the problem of finding adequate collections of axioms for a viable description of a robot environment.
A
(FOL)
R
first-order logic
traditional FOL
A
. In a FOL system, additional axioms are required to make inferences about the environment (for example, that a block cannot change position unless it is physically moved)