It is possible that CYC, for example, will succumb to the frame problem long before the system achieves human levels of knowledge.
AI researchers call the problem of updating, searching, and otherwise manipulating a large structure of symbols in realistic amounts of time the frame problem.
Some critics of symbolic AI believe that the frame problem is largely unsolvable and so maintain that the symbolic approach will never yield genuinely intelligent systems.
The article will conclude with an assessment of the significance of the frame problem today.
The Frame Problem was named and introduced in McCarthy & Hayes 1969.
Obviously, the Ramification Problem is intimately connected with the Frame Problem.
This view of the frame problem is highly controversial, however (Hayes 1991).
One of the earliest attempts to formalize nonmonotonic reasoning, Sandewall 1972, addresses the frame problem.
To such philosophers, the epistemological frame problem and its computational counterpart remain a genuine threat.
The frame problem, he claims, is "Hamlet's problem viewed from an engineer's perspective".
But to many philosophers, the AI researchers' frame problem is suggestive of wider epistemological issues.
