The Frame Problem: The Dynamics of Logic Systems
The motivation behind the development of non-monotonic reasoning was to formalize the notion of “jumping to conclusions,” and thus solve the frame problem. Unfortunately, Hanks and McDermott  showed that McCarthy’s circumscription and Reiter’s default logic yield unwanted results for the Yale shooting problem: they both yield a model where the gun gets mysteriously unloaded during the wait period. There have been various attempts to alter the formalization of non-monotonic reasoning in some way to rule out the anomalous model.
KeywordsMinimal Model Logic System Frame Problem Default Theory Galois Connection
Unable to display preview. Download preview PDF.