The Dramatic True Story of the Frame Default

Journal of Philosophical Logic 44 (2):163-176 (2015)
  Copy   BIBTEX

Abstract

This is an expository article about the solution to the frame problem proposed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The frame problem: An AI fairy tale. [REVIEW]Kevin B. Korb - 1998 - Minds and Machines 8 (3):317-351.
A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
What’s the Problem with the Frame Problem?Sheldon J. Chow - 2013 - Review of Philosophy and Psychology 4 (2):309-331.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
The frame problem and theories of belief.Scott Hendricks - 2006 - Philosophical Studies 129 (2):317-33.
The modal logic of the countable random frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.

Analytics

Added to PP
2014-09-25

Downloads
53 (#268,373)

6 months
6 (#202,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The frame problem.Murray Shanahan - 2008 - Stanford Encyclopedia of Philosophy.
Metaphysics , Meaning, and Morality: A Theological Reflection on A.I.Jordan Joseph Wales - 2022 - Journal of Moral Theology 11 (Special Issue 1):157-181.

Add more citations

References found in this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.

View all 10 references / Add more references