The Situation Calculus
and
the Frame Problem

Last Update: 13 November 2008

Note: NEW or UPDATED material is highlighted


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.

  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.

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

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

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

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



Copyright © 2001-2008 by William J. Rapaport (rapaport@cse.buffalo.edu)
http://www.cse.buffalo.edu/~rapaport/663/F08/sitcalc.html-20081113-2