The frame problem is the challenge of representing which facts remain unchanged after an action occurs in a formal reasoning system. It is a central issue in AI planning and reasoning about dynamic environments.
The problem of finding adequate collections of axioms for a viable description of a robot environment.