- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Dramatic True Story of the Frame Default
Journal of Philosophical Logic 44 (2):163-176 (2015)
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 applicationsMy notes
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.
Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia.Murray Shanahan & Professor of Cognitive Robotics Murray Shanahan - 1997 - MIT Press.
Negation by Default for Framing in Temporal Logic Programming.C. M. Duan & Holt - 1993 - University of Newcastle Upon Tyne, Computing Science.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
Reasoning about change and persistence: A solution to the frame problem.John L. Pollock - 1997 - Noûs 31 (2):143-169.
Analytics
Added to PP
2014-09-25
Downloads
68 (#234,091)
6 months
17 (#203,322)
2014-09-25
Downloads
68 (#234,091)
6 months
17 (#203,322)
Historical graph of downloads
Citations of this work
Beyond the frame problem: what (else) can Heidegger do for AI?Mario Andrés Chalita & Alexander Sedzielarz - 2023 - AI and Society 38 (1):173-184.
Metaphysics , Meaning, and Morality: A Theological Reflection on A.I.Jordan Joseph Wales - 2022 - Journal of Moral Theology 11 (Special Issue 1):157-181.
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.
Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
The Robot's Dilemma: The Frame Problem in Artificial Intelligence.Zenon W. Pylyshyn (ed.) - 1987 - Ablex.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo