P. Hayes, The Frame Problem and Related Problems in AI. Artificial and Human Thinking, A. Elithorn and D. Jones (eds.), Jossey-Bass, 1973.

Author of the summary: J. William Murdock, 1997, murdock@cc.gatech.edu

Cite this paper for:

• Logic can be used to reason about and within time.

Keywords: Time, Non-Monotonic Logic

Systems: Mentions MICRO-PLANNER and STRIPS (from other sources).

Summary: Discusses two related problems: representing knowledge about
a changing world and dealing with changes in knowledge.  Introduces a
notation for making logical statements about conditions that change by
including explicit "situations" or moments in time.  Introduces the
general problem of non-monotonic logic (though without using that
term) and the notion of making explicit statements about what can be
proved within a database using a "proved" operator for whether a
statement is proved given a collection of facts.  Observes that the
formalism is not quite capable of consistently handling new facts and
resolves the inconsistency by defining a new proved operator for each
situation.

Summary author's notes:

• This summary came from a file which had the following disclaimer: "The following summaries are the completely unedited and often hastily composed interpretations of a single individual without any sort of systematic or considered review. As such it is very likely that at least some of the following text is incomplete, inadequate, misleading, or simply wrong. One might view this as a very preliminary draft of a survey paper that will probably never be completed. The author disclaims all responsibility for the accuracy or use of this document; this is not an official publication of the Georgia Institute of Technology or the College of Computing thereof, and the opinions expressed here may not even fully match the fully considered opinions of the author much less the general opinions of the aformentioned organizations."