×

zbMATH — the first resource for mathematics

The dramatic true story of the frame default. (English) Zbl 1347.68043
Summary: This is an expository article about the solution to the frame problem proposed in 1980 by R. Reiter [Artif. Intell. 13, 81–132 (1980; Zbl 0435.68069)]. 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.
MSC:
68N17 Logic programming
03B60 Other nonclassical logic
68T27 Logic in artificial intelligence
Software:
Smodels
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Baral, C. (2003). Knowledge Representation, Reasoning and Declarative Problem Solving: Cambridge University Press. · Zbl 1056.68139
[2] Bidoit, N., & Froidevaux, C. (1987). Minimalism subsumes default logic and circumscription in stratified logic programming. In: Proceedings LICS-87. · Zbl 0435.68069
[3] Dimopoulos, Y., Nebel, B., Koehler, J. (1997). Encoding planning problems in non-monotonic logic programs In Steel, S., & Alami, R. (Eds.), Proceedings of European Conference on Planning, (pp. 169-181): Springer.
[4] Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T. (2012). Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning: Morgan and Claypool Publishers. · Zbl 1251.68060
[5] Gelfond, M. (2008). Answer sets In van Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation: Elsevier.
[6] Gelfond, M; Lifschitz, V, Classical negation in logic programs and disjunctive databases, New Generation Computing, 9, 365-385, (1991) · Zbl 0735.68012
[7] Gomes, C. P., Kautz, H., Sabharwal, A., Selman, B. (2008). Satisfiability solvers In van Harmelen, F., Lifschitz, V., Porter, B. (Eds.), Handbook of Knowledge Representation, (pp. 89-134): Elsevier.
[8] Haas, A. (1987). The case for domain-specific frame axioms In Brown, F.M. (Ed.), The Frame Problem in Artificial Intelligence, Proceedings 1987 Workshop.
[9] Hanks, S; McDermott, D, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33, 379-412, (1987) · Zbl 0654.68107
[10] Kautz, H., & Selman, B. (1992). Planning as satisfiability. In: Proceedings of European Conference on Artificial Intelligence (ECAI).
[11] Leone, N; Pfeifer, G; Faber, W; Eiter, T; Gottlob, G; Perri, S; Scarcello, F, The DLV system for knowledge representation and reasoning, ACM Transactions on Computational Logic, 7, 499-562, (2006) · Zbl 1367.68308
[12] Lifschitz, V. (2008). What is answer set programming? In: Proceedings of the AAAI Conference on Artificial Intelligence, (pp. 1594-1597): MIT Press. · Zbl 0735.68012
[13] Lloyd, J. (1987). Foundations of Logic Programming: Springer-Verlag. second, extended edition. · Zbl 0668.68004
[14] Marek, V., & Truszczynski, M. (1999). Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm: a 25-Year Perspective, (pp. 375-398): Springer Verlag. · Zbl 0979.68524
[15] McCarthy, J, Applications of circumscription to formalizing common sense knowledge, Artificial Intelligence, 26, 89-116, (1986)
[16] McCarthy, J., & Hayes, P. (1969). Some philosophical problems from the standpoint of artificial intelligence In Meltzer, B., & Michie, D. (Eds.), Machine Intelligence (Vol. 4, pp. 463-502). Edinburgh: Edinburgh University Press. · Zbl 0226.68044
[17] Mueller, E. (2006). Commonsense reasoning: Elsevier.
[18] Niemelä, I, Logic programs with stable model semantics as a constraint programming paradigm, Annals of Mathematics and Artificial Intelligence, 25, 241-273, (1999) · Zbl 0940.68018
[19] Niemelä, I., & Simons, P. (1997). Smodels—an implementation of the stable model and well-founded semantics for normal logic programs. In: Proceedings 4th Int’l Conference on Logic Programming and Nonmonotonic Reasoning (Lecture Notes in Artificial Intelligence 1265), (pp. 420-429): Springer.
[20] Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M. (2001). An A-Prolog decision support system for the Space Shuttle. In: Proceedings of International Symposium on Practical Aspects of Declarative Languages (PADL).
[21] Pylyshyn, Z. W. (1987). Robot’s Dilemma: The Frame Problem in Artificial Intelligence. Westport: Greenwood Publishing Group Inc.
[22] Reiter, R, A logic for default reasoning, Artificial Intelligence, 13, 81-132, (1980) · Zbl 0435.68069
[23] Reiter, R. (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, (pp. 359-380): Academic Press. · Zbl 0755.68124
[24] Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems: MIT Press. · Zbl 1018.03022
[25] Sandewall, E. (1994). Features and Fluents, vol. 1: Oxford University Press. · Zbl 0842.68077
[26] Schubert, L. (1990). Monotonic solution of the frame problem in the situation calculus: an efficient method for worlds with fully specified actions In Kyburg, H., Loui, R., Carlson, G. (Eds.), Knowledge Representation and Defeasible Reasoning, (pp. 23-67): Kluwer.
[27] Shanahan, M. (1997). Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia: MIT Press.
[28] Turner, H, Representing actions in logic programs and default theories: a situation calculus approach, Journal of Logic Programming, 31, 245-298, (1997) · Zbl 0880.68010
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.