The Situation Calculus
and
the Frame Problem

The Situation Calculus:

1. McCarthy, John (1958/1963), "Programs with Common Sense", in Marvin Minsky (ed.), Semantic Information Processing (Cambridge, MA: MIT Press, 1968): 403-417.
   • The link to the paper is actually only to Section 1, "The Advice Taker", which Brachman & Levesque call "the paper that started it all".

   • Highlighted version of that website.

   • Reprinted in:
     Brachman, Ronald J. & Levesque, Hector J. (eds.) (1985), Readings in Knowledge Representation (Los Altos, CA: Morgan Kaufmann): 299-307.

   • Brought up to date in:
     Lifschitz, Vladimir; McCain, Norman; Remolina, Emilio; & Tacchella, Armando (2000), "Getting to the Airport: The Oldest Planning Problem in AI", in Jack Minker (ed.), Logic-Based Artificial Intelligence (Boston: Kluwer): 147-165.
     • [.ps]
     • [PDF]

   • McCarthy's line of research has been continued not only by McCarthy (visit his website), but also by Doug Lenat's CYC project.

   • Also see:
     "First-Order Logic as a Knowledge-Representation and Reasoning System"

2. McCarthy, John, & Hayes, Patrick J. (1969), "Some Philosophical Problems from the Standpoint of Artificial Intelligence", in B. Meltzer & D. Michie (eds.), Machine Intelligence (Edinburgh: Edinburgh University Press), Vol. 4, pp. 463-502.

   • Reprinted in Ginsberg, Matthew L. (ed.) (1987), Readings in Nonmonotonic Reasoning (Los Altos, CA: Morgan Kaufmann).

The Frame Problem:

1. The Frame Problem

2. Pylyshyn, Zenon (ed.) (1986), The Robot's Dilemma: The Frame Problem in Artificial Intelligence (Norwood, NJ: Ablex).
   • Lockwood Q335 .R63 1986

3. Brown, Frank M. (ed.) (1987), The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop (Los Altos, CA: Morgan Kaufmann).
   • SEL Q336 .F74 1987

4. Ford, Kenneth M. & Hayes, Patrick J. (eds.) (1991), Reasoning Agents in a Dynamic World: The Frame Problem (Greenwich, CT: JAI Press).

5. Reiter, Ray (1991), "The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression", in Vladimir Lifschitz (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (San Diego: Academic Press): 359-380.

6. Crockett, Larry J. (1994), The Turing Test and the Frame Problem: AI's Mistaken Understanding of Intelligence, (Norwood, NJ: Ablex).
   • Lockwood Q341 .C76 1994

7. Russell, Stuart, & Norvig, Peter (1995), Artificial Intelligence: A Modern Approach (Englewood Cliffs, NJ: Prentice-Hall): 204-207, 213.

8. Ford, Kenneth M. & Pylyshyn, Zenon (eds.) (1996), The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence, (Norwood, NJ: Ablex).

9. Shanahan, Murray (1997), Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia (Cambridge, MA: MIT Press).
   • SEL Q335 .S4624 1997
   • Book reviews by Lifschitz, McCarthy, Sandewall; reply by Shanahan:
     Artificial Intelligence, Vol. 123, Nos. 1-2 (2000)