A theory of analogy must describe how the meaning of an analogy is derived from the meanings of its parts. In the structure‐mapping theory, the interpretation rules are characterized as implicit rules for mapping knowledge about a base domain into a target domain. Two important features of the theory are (a) the rules depend only on syntactic properties of the knowledge representation, and not on the specific content of the domains; and (b) the theoretical framework allows analogies to be distinguished (...) cleanly from literal similarity statements, applications of abstractions, and other kinds of comparisons.Two mapping principles are described: (a) Relations between objects, rather than attributes of objects, are mapped from base to target; and (b) The particular relations mapped are determined by systematicity, as defined by the existence of higher‐order relations. (shrink)

Keith Holyoak and Paul Thagard provide a unified, comprehensive account of the diverse operations and applications of analogy, including problem solving, ...

A theory of analogical mapping between source and target analogs based upon interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of the two analogs. The constraint of semantic similarity supports mapping hypotheses to the degree that mapped predicates have similar meanings. The constraint of pragmatic centrality favors mappings involving elements the analogist believes to be important in order to achieve the purpose for (...) which the analogy is being used. The theory is implemented in a computer program called ACME (Analogical Constraint Mapping Engine), which represents constraints by means of a network of supporting and competing hypotheses regarding what elements to map. A cooperative algorithm for parallel constraint satisfaction identities mapping hypotheses that collectively represent the overall mapping that best fits the interacting constraints. ACME has been applied to a wide range of examples that include problem analogies, analogical arguments, explanatory analogies, story analogies, formal analogies, and metaphors. ACME is sensitive to semantic and pragmatic information if it is available, and yet able to compute mappings between formally isomorphic analogs without any similar or identical elements. The theory is able to account for empirical findings regarding the impact of consistency and similarity on human processing of analogies. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a large (...) body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

This book offers a theory of how human conceptual life begins, and shows how perceptual information becomes transformed into concepts. Drawing on extensive research, Mandler describes the development of preverbal concept formation, inductive inference, and recall, and explains how these processes form the conceptual basis for language and adult thought.

Working memory limits are best defined in terms of the complexity of the relations that can be processed in parallel. Complexity is defined as the number of related dimensions or sources of variation. A unary relation has one argument and one source of variation; its argument can be instantiated in only one way at a time. A binary relation has two arguments, two sources of variation, and two instantiations, and so on. Dimensionality is related to the number of chunks, because (...) both attributes on dimensions and chunks are independent units of information of arbitrary size. Studies of working memory limits suggest that there is a soft limit corresponding to the parallel processing of one quaternary relation. More complex concepts are processed by or In segmentation, tasks are broken into components that do not exceed processing capacity and can be processed serially. In conceptual chunking, representations are to reduce their dimensionality and hence their processing load, but at the cost of making some relational information inaccessible. Neural net models of relational representations show that relations with more arguments have a higher computational cost that coincides with experimental findings on higher processing loads in humans. Relational complexity is related to processing load in reasoning and sentence comprehension and can distinguish between the capacities of higher species. The complexity of relations processed by children increases with age. Implications for neural net models and theories of cognition and cognitive development are discussed. (shrink)

We present a model of similarity‐based retrieval that attempts to capture three seemingly contradictory psychological phenomena: (a) structural commonalities are weighed more heavily than surface commonalities in similarity judgments for items in working memory; (b) in retrieval, superficial similarity is more important than structural similarity; and yet (c) purely structural (analogical) remindings e sometimes experienced. Our model, MAC/FAC, explains these phenomena in terms of a two‐stage process. The first stage uses a computationally cheap, non‐structural matcher to filter candidate long‐term memory (...) items. It uses content vectors, a redundant encoding of structured representations whose dot product estimates how well the corresponding structural representations will match. The second stage uses SME (structure‐mapping engine) to compute structural matches on the handful of items found by the first stage. We show the utility of the MAC/FAC model through a series of computational experiments: (a) We demonstrate that MAC/FAC can model patterns of access found in psychological data; (b) we argue via sensitivity analyses that these simulation results rely on the theory; and (c) we compare the performance of MAC/FAC with ARCS, an alternate model of similarity‐based retrieval, and demonstrate that MAC/FAC explains the data better than ARCS. Finally, we discuss limitations and possible extensions of the model, relationships with other recent retrieval models, and place MAC/FAC in the context of other recent work on the nature of similarity. (shrink)

This research investigates the development of analogy: In particular, we wish to study the development of systematicity in analogy. Systematicity refers to the mapping of systems of mutually constraining relations, such as causal chains or chains of implication. A preference for systematic mappings is a central aspect of analogical processing in adults (Gentner, 1980, 1983). This research asks two questions: Does systematicity make analogical mapping easier? And, if so, when, developmentally, do children become able to utilize systematicity?Children aged 5–7 and (...) 8–10 acted out stories with toy characters. Then they were asked to act out the same stories with new characters. Two variables were manipulated: systematicity, or the degree of explicit causal structure in the original stories, and the transparency of the object‐mappings. Transparency was manipulated by varying the similarity between the original characters and the corresponding new characters: it was included in order to vary the difficulty of the transfer task. If children can utilize systematicity, then their transfer accuracy should be greater for systematic stories.The results show: (1) As expected, transparency strongly influenced transfer accuracy (for both age groups, transfer accuracy dropped sharply as the object correspondences became less transparent); and (2) for the older group, there was also a strong effect of systematicity and an interaction between the two variables. Given a systematic story, 9‐year‐olds could transfer it accurately regardless of the transparency of the object correspondence. (shrink)

Seven studies explored the empirical basis for claims that infants represent cardinal values of small sets of objects. Many studies investigating numerical ability did not properly control for continuous stimulus properties such as surface area, volume, contour length, or dimensions that correlate with these properties. Experiment 1 extended the standard habituation/dishabituation paradigm to a 1 vs 2 comparison with three-dimensional objects and confirmed that when number and total front surface area are confounded, infants discriminate the arrays. Experiment 2 revealed that (...) infants dishabituated to a change in front surface area but not to a change in number when the two variables were pitted against each other. Experiments 3 through 5 revealed no sensitivity to number when front surface area was controlled, and Experiments 6 and 7 extended this pattern of findings to the Wynn (1992) transformation task. Infants’ lack of a response to number, combined with their demonstrated sensitivity to one or more dimensions of continuous extent, supports the hypothesis that the representations subserving object-based attention, rather than those subserving enumeration, underlie performance in the above tasks. (shrink)

The ability to make informative comparisons is central to human cognition. Comparison involves aligning two representations and placing their elements into correspondence. Detecting correspondences is a necessary component of analogical inference, recognition, categorization, schema formation, and similarity judgment. Connectionist Analogy Builder (CAB) determines correspondences through a simple iterative computation that matches elements in one representation with elements playing compatible roles in the other representation while simultaneously enforcing structural constraints. CAB shows promise as a process model of comparison as its performance (...) can be related to human performance (e.g., solution trajectory, error patterns, time‐on‐task). Furthermore, CAB's bounded working memory allows it to account for the inherent capacity limitations of human processing. CAB's strengths are its parsimony, transparency of operations, and ability to generate performance predictions. In this paper, CAB is evaluated against benchmark phenomena from the analogy literature. (shrink)

This article describes the path‐mapping theory of how humans integrate analogical mapping and general problem solving. The theory posits that humans represent analogs with declarative roles, map analogs by lower‐level retrieval of analogous role paths, and coordinate mappings with higher‐level organizational knowledge. Implemented in the ACT‐R cognitive architecture, the path‐mapping theory enables models of analogical mapping behavior to incorporate and interface with other problem‐solving knowledge. Path‐mapping models thus can include task‐specific skills such as encoding analogs or generating responses, and can (...) make behavioral predictions at the level of real‐world metrics such as latency or correctness. We show that the path‐mapping theory can successfully account for the major phenomena addressed by previous theories of analogy. We also describe a path‐mapping model that can account for subjects' incremental eye‐movement and typing behavior in a story‐mapping task. We discuss extensions and implications of this work to other areas of analogy and problem‐solving research. (shrink)

People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying structure of the problem has been extracted. In the current study, participants solved gear‐system problems as part of a game. Although none of the participants initially used a mathematical representation, many discovered a parity‐based, mathematical strategy during problem solving. Two accounts of the spontaneous discovery of mathematical strategies were tested. According to the automatic schema abstraction hypothesis, experience (...) with multiple, unique problem exemplars facilitates extraction of the parity relation. According to the comparison‐based abstraction hypothesis, explicitly comparing gear pathways that have different number, but the same parity, should result in extraction of parity. An event history analysis showed that accumulation of experiences with different‐number, same‐parity comparisons predicted discovery of parity; accumulation of unique exemplars did not. Results suggest that comparison‐based abstraction processes can lead to the discovery of a mathematical relation. (shrink)

Lange & Dyer misunderstand what is meant by an “entity” and confuse a medium of representation with the content being represented. This leads them to the erroneous conclusion that SHRUTI will run out of phases and that its representation of bindings lacks semantic content. It is argued that the limit on the number of phases suffices, and SHRUTI can be interpreted as using “dynamic signatures” that offer significant advantages over fixed preexisting signatures. Bonatti refers to three levels of commitment to (...) a representational theory of the mind and states that SHRUTI is committed to RTM at levels 1 and 2. He acknowledges that SHRUTI is not committed at level 3, but argues that an extended SHRUTI would have to make such a commitment. We agree that SHRUTI is committed to RTM at level 1 and, in a sense, also at level 2. SHRUTI, however, is not committed to RTM at level 3 and, even though it has been extended in several ways, it has retained its original representational character. (shrink)