Abstract
The “frame problem” is, if one may use the term about so new a field, a “perennial problem” for AI.1 Like the perennial problems of philosophy, it is most likely not one single problem, but rather a matrix of problems. I would not dare myself to say just what “the frame problem” is. But it has commonly been interpreted as explaining how it is that our belief systems rest on a “frame” of default assumptions, and how it is that this frame has a certain resiliency, in that changes in our beliefs do not seem to necessitate wholesale changes in this frame.2
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.
Similar content being viewed by others
Bibliography
Belnap, N. “A useful four-valued logic,” Modern Uses of Multiple-Valued Logic, J.M. Dunn and G. Epstein, eds., Reidel, pp. 8–37, 1978.
Dunn, J.M. “Relevant predication 1: the formal theory,” Journal of Philosophical Logic 16, pp. 347–381, 1987.
Fodor, J. “Modules, frames, fridgeons, sleeping dogs, and the music of the spheres,” The Robot’s Dilemma, Z. Pylyshyn, ed., Ablex, pp. 139–149, 1987.
Glymour, C. “Android epistemology and the frame problem comments on Dennett’s ‘cognitive wheels’,” The Robot’s Dilemma, Z. Pylyshyn, ed., Ablex, pp. 65–75, 1987.
Hayes, P. 1987, “What the frame problem is and isn’t,” The Robot’s Dilemma, Z. Pylyshyn, ed., Ablex, pp. 123–137, 1987.
McCarthy, J. and P. Hayes. “Some philosophical problems from the standpoint of artificial intelligence,” Machine Intelligence, B. and D. Michie, eds., Elsevier, pp. 463–502, 1969.
McDermott, D. 1987, “We’ve Been Framed, Or Why AI Is Innocent of the Frame Problem,” The Robot’s Dilemma, Z. Pylyshyn, ed., Ablex, pp. 113–122, 1987.
McRobbie, M., Thistlewaite, P., and R. Meyer. “A mechanized decision procedure for non-Classical logics: the program KRIPKE,” The Journal of Symbolic Logic 47, p. 717 (abstract), 1982.
Thistlewaite, P., Meyer, R., and M. McRobbie. Automated Theorem-proving in Non-classical Logics, Research Notes in Theoretical Computer Science, Wiley, 1988.
Urquhart, A. “The undecidability of entailment and relevant implication,” The Journal of Symbolic Logic 49, pp. 1059–1073, 1984.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Dunn, J.M. (1990). The Frame Problem and Relevant Predication. In: Kyburg, H.E., Loui, R.P., Carlson, G.N. (eds) Knowledge Representation and Defeasible Reasoning. Studies in Cognitive Systems, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0553-5_4
Download citation
DOI: https://doi.org/10.1007/978-94-009-0553-5_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6736-2
Online ISBN: 978-94-009-0553-5
eBook Packages: Springer Book Archive