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)

Abstract

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.

Keywords

Lution Prefix Agram Rubicon 

Preview

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