The Frame Problem: The Dynamics of Logic Systems

  • Areski Nait Abdallah
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)


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 [28] 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.


Minimal Model Logic System Frame Problem Default Theory Galois Connection 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Areski Nait Abdallah
    • 1
  1. 1.Middlesex College, Department of Computer ScienceUniversity of Western OntarioLondonCanada

Personalised recommendations