This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles
This article is within the scope of WikiProject Cognitive science, a project which is currently considered to be inactive.Cognitive scienceWikipedia:WikiProject Cognitive scienceTemplate:WikiProject Cognitive scienceCognitive science articles
This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles
We need to mention that the technical problem is regarded as solved.---- Charles Stewart 10:43, 16 Sep 2004 (UTC)
[comment posted on 15:13, 9 April 2006 moved at bottom]
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).
Is the frame problem really "solved"? In my opinion, in most cases this problem is only "elluded" by using some naive assumptions that would make AI systems less useful in real world applications. For example, in many proposals (such as those provided by situation calculus), a bold assumption is an "inertia" world that common sense law of inertia can apply. This means all the relationships between logic formulae used in precondition and effects are enumerated by the action axioms. In other words, there are NO axioms among the condition formulae themselves. This is kind of unrealistic in real world. Just imagine now I have to define some actions using formulae defined by a domain model. For instance, I want to design the actions of an agent reasoning about an OWL knowledgebase. Then the "inertia" world approach would require us to list not just the direct effects, but ALL of their logic consequences! —Preceding unsigned comment added by 68.68.104.203 (talk • contribs) 15:13, 9 April 2006
As it was defined, the frame problem is about the non-effects of actions. The problem of formalizing the indirect effects of actions is the ramification problem. The name "frame problem" has been at some point used to indicate more generally the problem of "formalizing domains with actions in logic", but I think this use is obsolete now. Regarding inertia, this was the initial assmption in the original problem; there are however some logics where fluents can be specified not to be inertial. - Liberatore(T) 10:06, 10 April 2006 (UTC)[reply]
The frame problem is also present in the world of modular reasoning in formal verification. Solution strategies here include modify-clauses, separation logic, ownership (dynamic or static) and dynamic frames. Could anybody add a section about it? If nobody does and nobody minds, I will write a paragraph about it within the next month. --Schoelle13:55, 13 December 2006 (UTC)[reply]
For me it looks like a very specific scientific publication - too much details for an encyclopedia article. On the other hand, is it a
part of computational philosophy or rather AI, or a research in mathematical logics ?
- For instance, is "the simplified example of the door and the light" a simple philosophical problem?
It might be interesting to quote the following section from the original McCarthy and Hayes paper that (I think) given a good informal description of the frame problem:
[...] in proving that one person could get into conversation with another, we were obliged to add the hypothesis that if a person has a telephone he still has it after looking up a number in the telephone book. If we had a number of actions to be performed in sequence we would have quite a number of conditions to write down that certain actions do not change the values of certain fluents. In fact with n actions and m fluents we might have to write down m n such conditions.
I don't understand how the Yale Shooting Problem indicated a problem for the default logic solution. Since fluents are assumed to remain in the state in which they are unless changed by an action, how does the YSP affect this? —Preceding unsigned comment added by 89.240.138.29 (talk) 04:39, 28 August 2008 (UTC)[reply]
Rationale: Both articles are on the same subject. The frame problem is a long-standing problem in cognitive science, and you may just as well say "in philosophy (of mind, of cognition …)", "in artificial intelligence" etc. – it does not depend very much on the discipline. The problem is the same, even if it is suggested to have acquired a broader meaning in philosophy, a claim that is made in Frame problem, to wit, whereas the other article is a stub and has been for a long time. There is no problem at all in a merge, as the article Frame problem can easily cover any aspects that may be considered more of a "purely" philosophical nature – on the contrary, if there are subtleties in the history of the concept it should be convenient and profitable for any reader to have them covered in one article. As to the title, Frame problem should be preferred as it is more general and at the same time open to any terminological specification within the article. 㓟 (talk) 11:36, 14 April 2013 (UTC)[reply]
I agree with this proposal. It makes perfect sense, the philosophical problem article is just a stub anyway. Also, I double checked on the Stanford Encyclopedia of Philosophy and the way they describe the Frame Problem in philosophy is essentially the same as this article. They are the same topic, the other article should be merged into this one. RedDog (talk) 16:07, 12 November 2013 (UTC)[reply]
One other point, many of the most important sources usually describe this from the start as a "philosophical problem" e.g., the first reference cited in this article is a paper titled "Some Philosophical Problems in Artificial Intelligence". Again, I think that supports merging them, there is no significant distinction between The Frame Problem and The Frame Problem (Philosophy) RedDog (talk) 17:01, 13 November 2013 (UTC)[reply]
Related Problems section seems to be entirely OR[edit]
Right now there are a list of links to "related problems" that are attributed to J. van Brakel but with no references at all. I couldn't find a page for this person and while I'm familiar with the frame problem, in fact I was just reading a journal article that discussed it, I've never heard this name or these specific issues. Many of the links are red lined. I plan to delete the entire section unless someone can provide a reference and justification that this stuff is notable enough in relation to the Frame Problem. RedDog (talk) 16:03, 12 November 2013 (UTC)[reply]
Citation for statement in introduction about cartoon framing?[edit]
Currently the introduction says: "The name "frame problem" derives from a common technique used by animated cartoon makers called framing where the currently moving parts of the cartoon are superimposed on the "frame," which depicts the background of the scene, which does not change." It's been a while since I did any reading in this area so I may just not be remembering but I don't recall ever coming across this. I'm reading some of the source articles now, if I don't come across anything that supports this statement I will consider it OR and remove it. RedDog (talk) 16:59, 13 November 2013 (UTC)[reply]
Text from article Frame Problem (Philosophy)[edit]
I'm planning to merge the article Frame problem (philosophy) with this article. That article is currently a stub. I think that everything of value said in that article is now reflected in the introduction which I've revised. I didn't put a comment to that effect in the edit history though because I didn't copy any of the text from the other article, I just rewrote the intro here in my own words and when I checked on the other article it seems to me everything it says is already in this article now. So to completely document things, I'm going to paste the entire text from the merged article here, just for completeness:
Inphilosophy, the frame problem is the problem of how an intelligent agent bounds the set of beliefs to change when an action is performed. This problem originates from artificial intelligence, where it is formulated as the problem of avoiding to specify all conditions that are not affected by actions, in the context of representing dynamical domains in a formal logic. In philosophy, the problem is about rationality in general, rather than being a technical problem related to formal logic in particular.
Ludicrous! Serious rewrite NEEDED. Not even a mention of Daniel C. Dennett[edit]
This article on the 'Frame problem' is ludicrous. Absolutely no references to Daniel C. Dennett nor to the whole back and forth through the literature between him and many leaders in the AI community?! This article needs a MAJOR makeover with proper respect to the actual HISTORY of this IMPORTANT argument amongst philosophers, scientists, and engineers about the frame problem and it's impact on human cognition, knowledge, and artificial intelligence techniques to emulate human cognition. Missing SO MUCH!