John McCarthy and Patrick J. Hayes published a paper in 1969 titled Some Philosophical Problems from the Standpoint of Artificial Intelligence. This document introduced the frame problem as a core issue within artificial intelligence research.
The Yale shooting problem showed that the solution involving circumscription was not always correct. Alternative solutions emerged involving predicate completion and fluent occlusion during the 1970s and 1980s to address this failure.
By the end of the 1980s, the frame problem as defined by McCarthy and Hayes was considered solved. The term continued usage to refer to the same problem under different settings like concurrent actions.
Separation logic applies frame rules to automate reasoning about mutable computer memory by extending Hoare logic to reason about dynamic resources in industrial codebases. Automation of the frame rule led to significant increases in scalability for automated reasoning techniques deployed industrially to codebases containing tens of millions of lines.
Leibniz expressed the commonsense law of inertia as early as 1679 in An Introduction to a Secret Encyclopædia. This historical expression touches upon broader issues regarding common sense reasoning in cognitive science and challenges researchers to define what humans consider common sense within artificial systems.