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

Categories

Keywords

Reprint years

DOI

10.1007/s10992-014-9332-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

My notes

Similar books and articles

The frame problem: An AI fairy tale. [REVIEW]Kevin B. Korb - 1998 - Minds and Machines 8 (3):317-351.
The frame problem and the treatment of prediction.Mark Sprevak - 2005 - In L. Magnani & R. Dossena (eds.), Computing, Philosophy and Cognition. pp. 4--349.
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.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
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.
Renée Elio.Francis Jeffry Pelletier - unknown
Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
The frame problem, the relevance problem, and a package solution to both.Yingjin Xu & Pei Wang - 2012 - Synthese 187 (S1):43-72.
The Frame Problem in Artificial Intelligence and Philosophy.Jarek Gryz - 2013 - Filozofia Nauki 21 (2):15-30.
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.
Is default logic a reinvention of inductive-statistical reasoning?Yao-Hua Tan - 1997 - Synthese 110 (3):357-379.

Analytics

Added to PP
2014-09-25

Downloads
66 (#247,091)

6 months
15 (#170,094)

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

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
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.

View all 10 references / Add more references