Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hanks, S. and McDermott, D., “Non-monotonic Logic and Temporal Projection”, Artificial Intelligence, 33, pp. 379–412, 1987.
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.
McCarthy, J., “Applications of Circumscription to Formalizing Common-Sense Knowledge”, Artificial Intelligence, 28, pp. 86–116, 1986.
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.
Zeigler, B.P. “Theory of Modelling and Simulation”, Wiley-Interscience, New York, 1976.
Zeigler, B.P. “Multifaceted Modelling and Discrete Event Simulation”, Academic Press, Orlando, Florida 1984.
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.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Foo, N.Y. (2001). Why Engineering Models Do Not Have a Frame Problem. In: Sarjoughian, H.S., Cellier, F.E. (eds) Discrete Event Modeling and Simulation Technologies. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-3554-3_2
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3554-3_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-2868-9
Online ISBN: 978-1-4757-3554-3
eBook Packages: Springer Book Archive