Defeasible Logic and The Frame Problem

Abstract

McCarthy and Hayes [McCarthy&Hayes69] originally applied the term “frame problem” to a specific puzzle about knowledge representation. Hayes [Hayes87] distinguished the original frame problem from a growing number of related problems that have been called the frame problem: One feels that there should be some economical and principled way of succinctly saying what changes an action makes, without having to explicitly list all the things it doesn’t change as well; yet there doesn’t seem to be any other way to do it. That is the frame problem. If there are 100 actions, and 500 labile properties and relations, then we might need 50,000 of these silly ‘frame axioms’....(p. 125) Wherever I use the expression “the frame problem” in the rest of this paper, I will have this original version of the problem in mind.KeywordsEarly LineProof TheoryStrict RuleFrame ProblemMinimal ExtensionThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.