The dramatic true story of the frame default

• Autores: Vladimir Lifschitz
• Localización: Journal of Philosophical Logic, ISSN-e 1573-0433, Vol. 44, Nº. 2 (April 2015), 2015, págs. 163-176
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.