Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia

Front Cover
MIT Press, 1997 - Computers - 407 pages
0 Reviews
"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."
-- Vladimir Lifschitz, Gottesman Family Centennial Professor in Computer Sciences, University of Texas at Austin In 1969, John McCarthy and Pat Hayes uncovered a problem that has haunted the field of artificial intelligence ever since--the frame problem. The problem arises when logic is used to describe the effects of actions and events. Put simply, it is the problem of representing what remains unchanged as a result of an action or event. Many researchers in artificial intelligence believe that its solution is vital to the realization of the field's goals.

"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

We haven't found any reviews in the usual places.


Towards a NonMonotonic Solution
Chronological Minimisation
Causal Minimisation
Introducing StateBased Minimisation
Generalising StateBased Minimisation
TailorMade Techniques
Narratives in the Situation Calculus
Logic Programs for Reasoning about Action
Simplifying and Extending the Event Calculus
Forced Separation
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

Incomplete Narratives and Concurrent Actions
The Foundations of Logic Programming

Common terms and phrases

References to this book

All Book Search results »

About the author (1997)

Murray Shanahan is Senior Research Fellow in the Department of Computer Science at Queen Mary and Westfield College, London.

Bibliographic information