Talk:Frame problem
Deleted external links
Solved?
We need to mention that the technical problem is regarded as solved.---- Charles Stewart 10:43, 16 Sep 2004 (UTC)
- In what sense do you mean it's solved? Are you refering to the use of default logics and so on? I wouldnt say that the frame problem is 'solved' per se, but there have been some good stabs at it. It's really a representational issue more than a problem. Deepak 13:39, 16 Sep 2004 (UTC)
- The problem arose as a formalism for AI agents in the situation calculus. Over the last 10 years several formalisms were proposed that handled the frame problems in ways that most AI researchers regard as adequate (I know the fluent calculus, but there are several such problems). It's still an active source of research papers, but the emphasis is on what is the best way to model default reasoning, not whether it can be done. There's a brief duscission in the Stanford Encyc. article, I will see if I can track down a better reference. ---- Charles Stewart 07:43, 20 Sep 2004 (UTC)
- There's Reiter's Solving the Frame Problem as well. My point is, as such, it is better not to talk about the Frame Problem as being solved or unsolved, but as an issue to be dealt with. Non-monotic/Default logics and the fluent calculus are designed partly so that the frame problem becomes manageable. That doesnt make it 'solved' in a general sense. Deepak 13:17, 20 Sep 2004 (UTC)
- The SEP article talks of distinguishing the technical from the philosophical problem. I'm happy for there to be discussion of this as an ongoing spur to thought, provided there is some recognition that various solutions have been proposed and thought to have addressed the original McCarthy/Hayes problem.
- I know of two other approaches that have been proposed: Frank Brown's modelling of situational change in a second-order quantified modal logic and an approahc based on linbear logic (forget the name). A brief survey of types of solution proposed would be in order. ---- Charles Stewart 11:22, 21 Sep 2004 (UTC)
I have introduced a technical explanation of the problem as was initially specified in artificial intelligence. I have removed the following sentence (I would not object to reintroduction, if references are provided).
Suggested solutions to the frame problem include satisficing, heuristics, and rational ignorance.