Editing Frame problem (section)

{{Short description|Issue in artificial intelligence and categorical algebra}}
In [[artificial intelligence]], with implications for [[cognitive science]], 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 traditional first-order logic requires the use of many [[axiom]]s 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 first-order logic 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.<ref>{{cite journal|last=Hayes|first=Patrick|title=The Frame Problem and Related Problems in Artificial Intelligence|year=1973|journal=University of Edinburgh|url=https://aitopics.org/download/classics:4D2DA166}}</ref>

[[John McCarthy (computer scientist)|John McCarthy]] and [[Patrick J. Hayes]] defined this problem in their 1969 article, ''Some Philosophical Problems from the Standpoint of Artificial Intelligence''.  In this paper, and many that came after, the formal mathematical problem was a starting point for more general discussions of the difficulty of [[knowledge representation]] for artificial intelligence. Issues such as how to provide rational default assumptions and what humans consider common sense in a virtual environment.<ref>{{cite journal|last=McCarthy|first=J|author2=P.J. Hayes|title=Some philosophical problems from the standpoint of artificial intelligence|journal=Machine Intelligence|year=1969|volume=4|pages=463–502|citeseerx=10.1.1.85.5082}}</ref>

In [[philosophy]], the frame problem became more broadly construed in connection with the problem of limiting the beliefs that have to be updated in response to actions. In the logical context, actions are typically specified by what they change, with the implicit assumption that everything else (the frame) remains unchanged.