Why Engineering Models Do Not Have a Frame Problem

  • N. Y. Foo


The frame problem has occupied the attention of AI researchers in the logic of action in the last decade. To engineers who have had to cope with the modeling of dynamic systems, this sometimes seems to be a quaint obsession, and possibly an artifact of logic. This paper attempts to clarify the main issues so that engineers can understand why the frame problem is not contrived, but it also points out to AI scientists that as they search for efficient ways to deal with the frame problem, their solutions begin to look suspiciously like what the more sophisticated engineers have been doing.


Sequential State Engineer Model Frame Problem Autonomous Transition Artificial Intelligence Model 
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.


  1. [1]
    Hanks, S. and McDermott, D., “Non-monotonic Logic and Temporal Projection”, Artificial Intelligence, 33, pp. 379–412, 1987.MathSciNetzbMATHCrossRefGoogle Scholar
  2. [2]
    McCarthy, J. and P.J. Hayes, “Some Philosophical Problems from the Standpoint of Artificial Intelligence”, in Machine Intelligence 4, ed. B. Meltzer and D. Michie, pp. 463–502, Edinburgh University Press, Edingurgh, 1969.Google Scholar
  3. [3]
    McCarthy, J., “Applications of Circumscription to Formalizing Common-Sense Knowledge”, Artificial Intelligence, 28, pp. 86–116, 1986.CrossRefGoogle Scholar
  4. [4]
    Thielscher, M. “From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem”, Artificial Intelligence, 111, pp. 277–299, 1999.MathSciNetzbMATHCrossRefGoogle Scholar
  5. [5]
    Zeigler, B.P. “Theory of Modelling and Simulation”, Wiley-Interscience, New York, 1976.zbMATHGoogle Scholar
  6. [6]
    Zeigler, B.P. “Multifaceted Modelling and Discrete Event Simulation”, Academic Press, Orlando, Florida 1984.Google Scholar
  7. [7]
    Zeigler, B.P. and S. Chi, “Symbolic Discrete Event System Specification”, IEEE Trans. Systems, Man and Cybernetics, 22, no.6, Nov/Dec 1428–1443, 1992.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • N. Y. Foo

There are no affiliations available

Personalised recommendations