[ CogSci Summaries home | UP | email ]

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:

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

Summary author's notes:

Back to the Cognitive Science Summaries homepage
Cognitive Science Summaries Webmaster:
JimDavies ( jim@jimdavies.org )
Last modified: Tue Mar 9 17:45:08 EST 1999