I analyze the frame problem and its relation to other epistemological problems for artificial intelligence, such as the problem of induction, the qualification problem and the "general" AI problem. I dispute the claim that extensions to logic (default logic and circumscriptive logic) will ever offer a viable way out of the problem. In the discussion it will become clear that the original frame problem is really a fairy tale: as originally presented, and as tools for its solution are circumscribed by (...) Pat Hayes, the problem is entertaining, but incapable of resolution. The solution to the frame problem becomes available, and even apparent, when we remove artificial restrictions on its treatment and understand the interrelation between the frame problem and the many other problems for artificial epistemology. I present the solution to the frame problem: an adequate theory and method for the machine induction of causal structure. Whereas this solution is clearly satisfactory in principle, and in practice real progress has been made in recent years in its application, its ultimate implementation is in prospect only for future generations of AI researchers. (shrink)

This paper considers the prospects for objectivity in reasoning strategies in response to empirical studies that apparently show systematic culture‐based differences in patterns of reasoning. I argue that there is at least one modest class of exceptions to the claim that there are alternative, equally warranted standards of good reasoning: the class that entails the solution of certain well‐structured problems which, suitably chosen, are common, or touchstone, to the sorts of culturally different viewpoints discussed. There is evidence that some cognitive (...) tasks are seen in much the same way across cultures, not least by virtue of the common run of experiences with the world of material objects in early childhood by creatures with similar cognitive endowments. These tasks thus present as similarly structured sets of claims that have similar priority: what is framed, and what is bracketed, or held constant in the background, is shown to be naturally common across cultures. As a consequence, a normative view of reasoning and, by implication, critical thinking can be defended. While this might be a modest sense of objectivity, the high level of intercultural articulation that is able to occur among people of different backgrounds suggests that it provides cognitive scaffolding for a lot of other reasoning tasks as well. (shrink)

The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action. Here we prove that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undecidable. We discuss two other open-domain problems closely related to the Frame Problem, the system identification problem and the symbol-grounding problem, and show that they are similarly undecidable. We then reformulate the Frame Problem as a quantum decision problem, and show (...) that it is undecidable by any finite quantum computer. (shrink)

Sometimes analogy researchers talk as if the freshness of an experience of analogy resides solely in seeing that something is like something else -- seeing that the atom is like a solar system, that heat is like flowing water, that paint brushes work like pumps, or that electricity is like a teeming crowd. But analogy is more than this. Analogy isn't just seeing that the atom is like a solar system; rather, it is seeing something new about the atom, an (...) observation enabled by 'looking' at atoms from the perspective of one's understanding of solar systems. The question for analogy researchers then is this: Where does this new knowledge about atoms come from? How can an analogy provide new knowledge and new understanding? (shrink)