Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia
"Shanahan gives a clear exposition of the AI problem in general and logical AI in particular. He goes on to a clear exposition of the frame problem and many approaches to its solution. Much of this will become accepted as authoritative."
-- John McCarthy, Professor of Computer Science, Stanford University
"The frame problem is one of the central theoretical issues of artificial intelligence, and considerable progress in the study of this problem has been made over the last years. Shanahan's book provides a clear and comprehensive treatment of this work. It will be appreciated by everyone interested in the logical foundations of artificial intelligence."
"Solving the Frame Problem" presents the various approaches to the frame problem that have been proposed over the years. The author presents the material chronologically--as an unfolding story rather than as a body of theory to be learned by rote. There are lessons to be learned even from the dead ends researchers have pursued, for they deepen our understanding of the issues surrounding the frame problem. In the book'sconcluding chapters, the author offers his own work on event calculus, which he claims comes very close to a complete solution to the frame problem.
"Artificial Intelligence series"
What people are saying - Write a review
Towards a NonMonotonic Solution
Introducing StateBased Minimisation
Generalising StateBased Minimisation
Narratives in the Situation Calculus
Logic Programs for Reasoning about Action
Simplifying and Extending the Event Calculus
The Assimilation of Observations
Is the Frame Problem Solved?
Appendix A Proof of Theorem 9 7 5
Appendix B Proof of Theorem 14 5 2
Proof of Theorem 15 5 3