Abstract
Children’s cognitive control and knowledge at school entry predict growth rates in analogical reasoning skill over time; however, the mechanisms by which these factors interact and impact learning are unclear. We propose that inhibitory control (IC) is critical for developing both the relational representations necessary to reason and the ability to use these representations in complex problem solving. We evaluate this hypothesis using computational simulations in a model of analogical thinking, Discovery of Relations by Analogy/Learning and Inference with Schemas and Analogy (DORA/LISA; ). Longitudinal data from children who solved geometric analogy problems repeatedly over 6 months show three distinct learning trajectories though all gained somewhat: analogical reasoners throughout, non-analogical reasoners throughout, and transitional – those who start non-analogical and grew to be analogical. Varying the base level of top-down lateral inhibition in DORA affected the model’s ability to learn relational representations, which, in conjunction with inhibition levels used in LISA during reasoning, simulated accuracy rates and error types seen in the three different learning trajectories. These simulations suggest that IC may not only impact reasoning ability but may also shape the ability to acquire relational knowledge given reasoning opportunities.
Introduction
Analogical reasoning, the process of representing information as systems of relationships and mapping between these representations, is ubiquitous in learning and discovery throughout the lifespan, and is part of what makes humans uniquely intelligent and adaptive (; ). Analogical reasoning may play a crucial role in childhood, serving as a cognitive-bootstrapping mechanism that enables children to make increasingly abstract inferences and generalizations (e.g., ), and supporting learning across a wide range of educational domains (). The mechanisms by which children’s analogical reasoning improve, however, are not well understood. In particular, little attention has been paid to the processes by which children develop the relational representations used for analogical reasoning.
Children’s cognitive-control resources have been implicated as one source of individual differences in relational representation and reasoning (see ; ; ). Also described as executive function (EF) (), these resources refer to the ability to use selective attention to manipulate the contents of working memory, and are believed to include a variety of functions including inhibitory control (IC), updating, and shifting (; ). Cross-sectional studies have revealed that children who can solve analogies successfully make mistakes when the requirements for cognitive control are raised, either by increasing the requirements for controlling attention in the face of distraction, or increasing the complexity of the relations (; ,). The difficulty of controlling attention to relations in the face of distraction has been identified across children from different cultural and linguistic backgrounds (). Computational work simulating such cross-cultural data through a combination of knowledge and IC has provided support for the interpretation that knowledge is necessary but not sufficient for representing relations, and that these errors are due to low levels of resources for IC ().
However, a full theory of relational reasoning development must go beyond performance accuracy to provide a mechanism for developmental change over time. There is reason to believe that cognitive-control resources not only predict performance at a single time point (see ), but also may impact children’s growth in reasoning skill. An analysis of data from a large-scale longitudinal study found that children’s performance at school entry on an IC task (Children’s Stroop; ), and an EF task (Tower of Hanoi) both predicted distinct variance in children’s analogical skill, and more interestingly, their growth in analogical skill from school entry to adolescence (). This relationship held even when controlling for environmental factors (e.g., parental education, SES, gender), as well as short-term memory, sustained attention, knowledge measures, and analogy skill at third grade. This pattern of change suggests that early EF skills play an important role in shaping children’s trajectory of learning reasoning skills.
Testing EF As a Mechanism Underpinning Relational Reasoning Growth
The current paper reports computational simulations that test a mechanism by which early IC resources could alter the trajectory by which children’s reasoning develops through the course of children’s reasoning opportunities. We simulated data from one of the few longitudinal studies on the development of analogical reasoning (,). Our aim was to explore how relational knowledge and variations in children’s IC could predict children’s rate of reasoning development over a series of repeated opportunities to solve geometric analogies. We focus in particular on the interplay between the learning of relational representations and individual differences in IC.
Behavioral Data on Reasoning Change Over Time
In the original study (), 80 children aged 6–7 years, sampled randomly from the larger school sample available, solved 20 geometric analogy problems. Seventy-one of these children’s data were usable and were included in the final analyses. The geometric analogy problems tested children’s ability to identify and map five common relations between simple shapes including: adding an element, changing size, halving, doubling, and changing position repeatedly over eight testing sessions (Figure 1).
FIGURE 1
The period of testing ranged from 140 to 161 days, (mean 153, SD = 7.32) and the interval between the test sessions ranged from 13 to 35 days, with these being held constant across participant (the longest interval was between Sessions 2 and 3, when there was a school holiday). Participants were in regular school outside of this study, with no explicit training in relation to geometric analog ies. These were sessions in which participants solved problems and were given feedback, so in some ways these were both testing and training sessions.
The measure was originally designed by randomly combining six basic geometric shapes and five transformations in different ways to create 12,150 problems. The authors used the difficulty metric (Difficulty = 0.5 × Elements + 1 × Transformations) to select problems for a large norming project (
During testing, children solved A:B::C:D problems in which they had to infer the missing D term in order to construct a valid analogy. Figure 1 provides three examples of these geometric analogy items in increasing difficulty, showing duplication (top line), halving/duplication and “inside” (middle line), and an above/below/inside set of transformations (bottom line).
On each testing occasion, the children were first given practice time. This included naming and drawing the basic geometric shapes that would be part of the relational problems. They were then told they would be solving puzzles and completed three practice analogies with the experimenter. The following instruction was provided: “These two boxes belong together (point to A and B), and those two boxes belong together (point to C and D). These two ones (A and B) belong together in the same way as those ones (C and D) do. Do you know what the solution is?” (
Twenty test items were then presented during each session, in which children were instructed to draw the missing piece for each problem and were provided with feedback following errors. The problems within each session varied in complexity based on changes in the number of relationships needed to characterize the A:B transition. The internal consistency was adequately high between items within each testing session, with alphas ranging from α = 0.87–0.91, using the standard that above a 0.7 is adequate. A Mokken scale analysis (
Researchers recorded accuracy rates, time to solution, and types of errors made. These data were used to examine the trajectory of children’s analogical reasoning over the course of the study. Children’s performance was then fitted to parameter estimates of performance that reflected the proportion of analogical (versus non-analogical) responses as a function of test session. Modeling these parameters revealed three linear trends, the three learning profiles which will be simulated in this manuscript: (1) Non-analogical reasoners, who solved the majority of problems non-analogically throughout all sessions, (2) Transitional reasoners, who moved from solving problems largely non-analogically to solving problems largely analogically, and (3) Analogical reasoners, who solved the majority of problems analogically throughout the treatment. The reasoning accuracy results for the three groups of children over time are shown in Figure 7.
The data from
Current Simulation Study Aims
In the present study we use computational simulations of these data to argue that (1) differences in IC EF resources may explain initial differences in reasoning, but (2) they also help to explain differences between the three groups in their ability to learn relational representations necessary for reasoning over repeated learning opportunities. Thus, while all children received the same number of learning opportunities during the eight training sessions, the level of structure they identify in the problem inputs may increase or decrease their likelihood of successfully reasoning analogically with these representations over time. Furthermore, the rate at which they learn is constrained by their IC EF resources. The interaction of processing ability and learning representations produces a more complete picture of the development of analogical reasoning then either factor independently.
To assess this hypothesis, we examine learning patterns for a model with three levels of IC (high, medium, and low) and three levels of prior knowledge (after the first 100 learning trials, second and third 100 learning trials). Our aim is to best explain the three learning trajectories identified in the
Computational Models of Analogical Reasoning
Computational models of analogical reasoning provide a unique window into the plausible cognitive underpinnings of relational reasoning, and here enable us to test correlations between the behavioral data and performance in a constrained system (see
Inhibition is critical for several aspects of LISA and DORA’s operation (see
As discussed previously IC is critical during analogical reasoning to reduce interference from competing concepts sharing perceptual or semantic similarity with elements of the current information being considered in the analogy. Likewise other irrelevant relations present either in the source or a potential target may even interfere. Activation spreads between related concepts in the model with the most active units eventually entered working memory and thus being available for relational learning or reasoning. In order to keep focus on the critical relations under consideration in the source, the models postulate top-down lateral inhibition of propositions tagged as low in goal-relevance which helps prevent these propositions from entering the focus of attention in working memory.
Previously, we have successfully used changes in this top-down lateral inhibition in LISA’s working-memory system to explain cross-sectional variations in analogical reasoning. We simulated the developmental progression (from age 3 to 14 years) in children’s ability to handle increases in relational complexity and distraction from object similarity during analogical reasoning by varying IC (
In the current study we avoid hand coding of propositional structures. Instead, we use DORA to simulate children’s ability to learn spatial relations over time, allowing relational learning patterns to be part of the investigation. We then use those representations in LISA to simulate geometric analogy accuracy and types of errors. By doing so, we are able to model the trajectory of knowledge accretion as well as reasoning ability. Importantly, we manipulate top-down lateral inhibition (via changes to a parameter for this type of inhibition in both models) to simulate individual differences. We argue that IC is fundamental not only to the ability to reason relationally, but also to the ability to learn relations in the first place.
Materials and Methods
Overview of LISA/DORA Model
In this section we describe the LISA (
FIGURE 2

Schematic illustration of how DORA and LISA work together to enable relational learning and reasoning.
Both LISA and DORA (DORA is a direct descendent and generalization of LISA) are symbolic connectionist models. However, unlike traditional connectionist networks (e.g.,
We begin by describing the representations that DORA starts with and those that it eventually learns. We then describe how DORA learns these knowledge structures from experience. Finally, we describe LISA’s mapping and generalization procedures. Both DORA’s learning and LISA’s mapping and generalization procedures play central roles in the simulations we report in this paper.
Knowledge Structures and Representational Form
Discovery of Relations by Analogy begins with objects represented as flat feature vectors (Figure 3A). That is, objects are represented as in conventional distributed connectionist systems as patterns of activation in a set of units. These initial representations are holistic and unstructured (see
FIGURE 3

Representation of (A) predicates or objects in DORA and a (B) proposition in LISA.
Relational structures in the model are represented by a hierarchy of distributed and localist1 codes (Figure 3B), in a format defined as “LISAese” (see
Considering the house object containing the square in Problem 3, Term A (Figure 1), the proposition contains (house, square) is represented by PO units (triangles and large circles in Figure 3) to represent the relational roles outside and inside, and the objects house and square. Each of these PO units is connected to semantic units coding their semantic features. RB units (rectangles) then conjunctively code the connection between roles and their fillers (one RB connects house to outside, and one connects square to inside). At the top of the hierarchy, P units (oval) link sets of RBs into whole relational propositions. A P unit conjunctively codes the connection between the RBs representing outside (house) and the RB representing inside (square), thus encoding the relational proposition contains (house, square).
Note that all of these units are simply connectionist nodes in a layered network. While we use different names for units at different layers, and use different shapes to specify different units in our figures, we do so only for the purposes of more efficient exposition. There is nothing inherently different about PO units or RB units other than they are in different layers of a neural network (much as different units might be in the input layer or a hidden layer of a feed-forward neural network). However, just as units in a hidden layer serve a different function in relation to a network’s behavior relative to units in the input layer, so units in the RB layer serve a different function than units in the semantic layer.
When a proposition enters working memory, role-filler bindings (i.e., a single role and it’s argument) must be represented dynamically on the units that maintain role-filler independence (i.e., POs and semantic units; see
Learning Structured Representations in DORA
Discovery of Relations by Analogy is an account of how structured representations in the form used by LISA, LISAese representations, can be learned from unstructured examples. As noted above, DORA begins with representations of objects coded by simple flat feature vectors (Figure 3A). The 2d images in these analogy-training stimuli were coded as a set of semantics describing the perceptual characteristics of the geometric shapes (e.g., semantic units of a square), but we do not have a strong position on the level of semantic filtering that might impact such perceptual processes in everyday reasoning. We instantiate these representations as object token units attached to the semantic units of that object (Figure 4A). These initial representations are holistic and unstructured (in that an object’s semantics are active together as a mass; see e.g.,
FIGURE 4

DORA learns a representation of inside by comparing a square that is inside some object to a triangle inside some object. (A) DORA compares square and triangle and units representing both become active. (B) Semantic units shared by the square and the triangle become more active than unshared semantics (darker gray). (C) A new unit learns connections to semantics in proportion to their activation (solid lines indicate stronger connection weights). (D) The new unit codes the featural overlap of the square and triangle (i.e., the role “inside”).
Discovery of Relations by Analogy uses comparison to bootstrap its learning. When DORA compares two objects, then those objects become co-active (Figure 4A). As the compared objects pass activation to their semantic features, those properties shared by both objects receive twice as much input and become roughly twice as active as unshared semantic units (Figure 4B). DORA recruits a PO unit that learns connections to the active semantics via simple Hebbian learning. Accordingly, the new PO learns stronger connections to the more active (shared) semantics, and weaker connections to the less active (unshared) semantics (Figure 4C). DORA also recruits an RB unit at the layer above the POs, which learns connections to the active POs via Hebbian learning (Figure 4D).
The result of this learning algorithm is that DORA acquires explicit representations of the shared properties of compared objects. For example, when DORA compares two red things it will learn an explicit representation of the property red, and if DORA compares two objects that are containers, it will learn an explicit representation of the property container.3 Importantly, these new representations function like single-place predicates: they can be bound to arguments (via asynchronous binding; see above), they specify properties of the arguments to which they are bound (see
Comparison underlies DORA’s ability to learn functional single-place predicate representations, and comparison also allows DORA to learn representations of whole relational structures (Figure 5). If multiple role-filler sets enter DORA’s WM together, the model can map each set onto the other. For example, if DORA compares the circle containing the triangle in Figure 1 (Problem 3, Term C) to the house containing the square (Problem 3, Term A), it could map outside (circle) to outside (house) and inside (triangle) to inside (square). This process leads to a distinct pattern of firing over the units composing each set of propositions [i.e., the RB units of outside (circle) fire out of synchrony with those of inside (triangle) while the RB units of outside (house) fire out of synchrony with those of inside (square)]. This pattern of oscillating activation over sets of units (with co-occurring role-filler pairs firing in sequence) acts as a signal to DORA to recruit a P unit, which learns connections to active RBs via Hebbian learning. The result is that the new P unit links co-occurring role-filler sets, and results in a rudimentary representation of relations [here contains (object1, object2)]. Importantly, this kind of relational representation, in which a relation is composed of linked sets of its roles, is a full fledged multi-place relational structure capable of the same sorts of operations and inferences as traditional multi-place relations (e.g., predicate calculus;
FIGURE 5

DORA learns a representation of the whole relation contains (house, square) by mapping outside (circle) to outside (house) and inside (triangle) to inside (square). (A) The units coding outside fire; (B) the units for circle and house fire; (C) the units for inside fire; (D) finally, the units for triangle and square fire. (E–F) DORA recruits a P unit that learns connections to the active RB unit [the RB coding for outside (house)] in the recipient. (G, H) The P unit learns connections to the active RB unit in the [the RB coding for inside (square)]. The result is a structure coding for contains (house, square).
Mapping and Relational Generalization in LISA
In LISA/DORA, representations are divided into two mutually exclusive banks of units: a driver and one or more recipients.4 The driver is the current focus of attention (i.e., what LISA/DORA is thinking about at the present moment), and the recipient is analogous to active memory in
Structured representations created during relational learning in DORA can be mapped using LISA’s mapping algorithm (
When augmented with the capacity for self-supervised learning (
Then when the B term, contains (square, shield) becomes active in the driver, there are no corresponding units for it to map to in the recipient. As the representation of the C term in the recipient is already mapped to the representations of the A term in the driver (and the C term is the only item in the recipient), the representation of the B term is left with nothing to which it corresponds. This situation, in which items in the driver have no elements in the recipient that they can activate (because all recipient elements are already mapped to other driver elements), triggers the self-supervised learning algorithm in LISA/DORA. During self-supervised learning, active units in the driver prompt LISA/DORA to recruit matching units in the recipient (i.e., an active RB unit in the driver prompts recruitment of an RB unit in the recipient). Continuing the example, as units coding for outside (square) in the B term become active in the driver, LISA/DORA recruits RB and P units in the recipient to match the active RB and P units in the driver. The new recruited P unit in the recipient learns connections to active recipient RB units, and newly recruited RB units learn connections to active PO units via Hebbian learning. This is a strictly layered model. The functional result of this unit-based recruitment and Hebbian learning is that LISA/DORA infers a representation of outside (triangle) in the recipient, which corresponds to the representation of outside (square) in the driver. An analogous sequence occurs when inside (house) fires in the driver and LISA/DORA infers inside (circle) in the recipient. Thus, LISA/DORA completes the D term in a problem via analogical inference, inferring a representation of contains (triangle, circle) in the recipient.
The role of inhibition in DORA/LISA
Of particular importance to the present simulations, inhibition plays a role in the selection of items to enter working memory because selection is a competitive process. As noted above, inhibition is conceptualized here not at the low level of neuronal firing, nor operationalized at the high level of overall brain activity, but rather as part of the attentional control aspects of the working memory system that would control what representational information enters active working memory. More specifically, propositions in the driver compete to enter into working memory on the basis of several factors, including their pragmatic centrality or importance, support from other propositions that have recently fired, and the recency with which they themselves have fired. Reduced driver inhibition results in reduced competition and more random selection of RBs to fire. The selection of which RBs are chosen to fire, and in what order, can have substantial effects on DORA/LISA’s ability to find a structurally consistent mapping between analogs. It follows that reduced driver inhibition, resulting in more random selection of propositions into working memory, can affect DORA/LISA’s ability to discover a structurally consistent mapping.
The role of inhibition in the activity of a recipient analog is directly analogous to its role in the activity in the driver. Recipient inhibition causes units in the recipient to compete to respond to the semantic patterns generated by activity in the driver. If DORA/LISA’s capacity to inhibit units in the recipient is compromised, then the result is a loss of competition, with many units in the recipient responding to any given pattern generated by the driver. The resulting chaos hampers (in the limit, completely destroys) DORA/LISA’s ability to discover which units in the recipient map to which in the driver. In short, inhibition determines DORA/LISA’s working memory capacity (see
This conception is highly complementary to behavioral models suggesting IC in EF contributes to reasoning performance by enabling reasoners to inhibit rules used previously in favor of current goal requirements (e.g.,
Simulations
We simulated
Each of the 100 objects was attached to the semantics of between two and four transformations chosen at random. If an object was part of a relational transformation, it was attached to the semantics of one of the roles, chosen at random. For example, object1 might be attached to the semantics for doubled (a single-place transformation) and inside (one role of the relational transformation, contains).
We presented DORA with sets of objects selected at random, and allowed it to compare the objects and learn from the results (applying DORA’s relation-learning algorithm). As DORA learned new representations it would use these representations to make subsequent comparisons. For example, if DORA learned an explicit representation of the property double by comparing two objects both attached to the semantics of double, it could use this new representation for future comparisons. On each trial we selected between two and six representations and let DORA compare them and learn from the results (i.e., perform predication and relation-learning routines). We assume that this act of inspection and comparison is similar to what happens when children encounter the geometric analogy problems and have to consider how the various elements are related (
Moreover, we defined three groups for the purposes of the simulation as determined by a range of lateral inhibition values. We ran 100 simulations for each group. During each simulation we chose an inhibition level from a normal distribution, with a mean of 0.4 for the low inhibition group, 0.6 for the medium inhibition group, and 0.8 for the high inhibition group (each distribution had a SD = 0.1). These were selected to evaluate the hypothesis that these three groups would show the same pattern of analogy performance trajectories as in the behavioral data. This would mean that the high inhibition group would align with the Analogical group, beginning and continuing to generate analogical solutions. The middle inhibition group would simulate the Transition trajectory, beginning non-relational and ending analogical, and the low inhibition group would simulate the Non-Analogical group, who begin and end non-analogical. We chose to simulate groups using a distribution of inhibition scores in order to match our assumption that the learning groups from
For the low-knowledge condition, simulations were run with 800 learning trials, and we checked the quality of the representations DORA had learned after each 100 learning trials. Quality was calculated as the mean of connection weights to relevant semantics (i.e., those defining a specific transformation or role of a transformation) divided by the mean of all other connection weights +1 (1 was added in the denominator to keep the quality metric bound between 0 and 1). For the high-inhibition, high-knowledge condition we extended the simulations to 1000 learning trials and sampled the representations after 300–1000 trials. The reason for the different knowledge conditions was to test our hypothesis that children in the group that started high and stayed analogical not only had higher inhibitory resources, but also came into the study with a higher quality of relational representations. In brief, our goal was to test whether starting at a higher knowledge state in tandem with increased inhibitory resources would provide a closer fit to the analogical throughout group’s data than increased inhibitory resources in isolation.
Figure 6 provides a summary of results from Part 1 of the simulation. While all groups did learn, learning was obviously improved with higher levels of inhibition. In addition, learning was much faster for the higher inhibition group. The simulation data are presented using the eight testing trials in the behavioral data to frame intervals and to allow for comparing the simulations to the empirical data, which will be added in Figure 7.
FIGURE 6

Simulation of relational learning in DORA. DORA’s relational learning algorithm was run at either low (0.4), medium (0.6), or high (0.8) lateral inhibition levels for 100–800 iterations to generate representations used in LISA for the low-knowledge condition. For the high-knowledge version a high (0.8) lateral inhibition level was used for 300–1100 iterations.
FIGURE 7

Results from children (
In the second part of the simulation we passed the representations DORA learned during the first part of the simulation to LISA, which then simulated solving the geometric analogy problems. Thus, unlike LISA simulations we have performed previously to account for developmental changes (e.g.,
We simulated all eight of the testing phases in the
As noted directly above, using slightly more advanced representations (the high-knowledge group) reflects the assumption that children with higher maturational IC are likely to have learned more about relations prior to beginning the study compared to children with lower maturational IC. Note that by starting testing with representations at 100 we assume that all children have some capacity for representing relations. This assumption is reflected in
During test trials, LISA attempted to map driver and recipient propositions and make inferences about the missing D term. For example, if LISA mapped the A term in the driver to the C term, then when the B term fired LISA inferred the D term in the recipient. We took the inferred proposition in the recipient to be LISA’s answer on that trial.
As is apparent from the learning trajectories plotted in Figure 7, DORA/LISA’s performance on the testing trials closely followed those of the children in
Importantly, the types of errors that DORA/LISA makes closely follow the types of errors made by each of the performance groups (Table 1). Specifically, like the non-analogical children, low-inhibition DORA tended to make errors based on featural association errors (e.g., objects in A, B, and C copied). Like transitional children, with medium inhibition, DORA tended to make featural/associative errors at the beginning, but these largely disappeared by the final session. Finally, like the analogical children, with high inhibition, DORA tended to make fewer errors overall, which further decreased over time, but these errors that did happen were a mix of associative and incomplete solutions.
Table 1
| Non-analogical | Transitional | Analogical | |||||
|---|---|---|---|---|---|---|---|
| Children | DORA/LISA (low knowledge) | Children | DORA/LISA (low knowledge) | Children | DORA/LISA (low knowledge) | DORA/LISA (high knowledge) | |
| Analogical solution | 21 | 25 | 56 | 57 | 78 | 77 | 85 |
| Incomplete solution | 21 | 17 | 28 | 26 | 18 | 17 | 13 |
| Associative solution | 58 | 58 | 16 | 17 | 3 | 6 | 2 |
Solution Patterns in Children’s and DORA/LISA Simulations for the Three Learning Trajectories
Children’s results based on data presented in Table 5 (p. 384) of
Moreover, the kinds of problems that DORA “got wrong” at various inhibition levels seem highly in line with the kinds of problems that children seem to make errors on as they develop. While
Discussion
These simulations provide a mechanism by which resources for IC can account for children’s analogical reasoning development (
Why does such a simple change in a single parameter have such a complex effect and thus explain so much? We theorize that this results from IC in working memory being important not only for relational reasoning but also for the process of learning relational representations, which occurs as children attempt to use relational reasoning. In the past, research in this area has focused more on the roles of IC during reasoning, and pre-existing knowledge. We have previously shown that greater IC in an individual can help a child avoid distraction from irrelevant information within relational representations (see
The second way that the IC parameter impacts performance is specifically tied to relational learning. In our model, IC is necessary for not only relational reasoning but also relational learning, an assumption supported by longitudinal studies showing that early EFs can predict children’s growth rates in analogy performance (
The combination of these two factors results in our complex pattern of simulations. The simulations suggest that the children low in IC had difficulty building relationally precise representations, and also were less able to reason with these “dirty,” incomplete representations during reasoning, likely leading to more distraction. In contrast, children with high IC built relationally precise representations quickly and were also more tolerant of “dirty” representations, reasoning based on the relevant relational correspondences and minimizing errors based on irrelevant distractors. Our middle IC group operates at the perfect “teachable moment,” something akin to Vygotsky’s zone of proximal development (
One very important limitation of our current simulations stems from the kinds of problems used in the original
To conclude, while considerable effort has been directed at understanding how IC supports analogical reasoning, less attention has been given to the role of IC in its essential antecedent – relational learning. Appreciating the importance of IC during both relational learning and reasoning constitutes an important step toward understanding how relational learning develops and how it can contribute to successful analogical reasoning in children.
Statements
Author’s note
A preliminary report of these simulations was presented at the 31st Annual Conference of the Cognitive Science in Amsterdam, Netherlands.
Author contributions
The authors contributed equally to the conceptual development of the article. Dr. LD programmed the computer models and collected the simulation data. All authors each wrote various sections of the manuscript, and each edited the entire manuscript.
Funding
The research reported here was supported by grants from the National Science Foundation, SMA-1548292, and the Institute of Education Sciences, U.S. Department of Education, through R305A170488 to LR (PI). The opinions expressed are those of the authors and do not necessarily represent views of the Institute or the U.S. Department of Education.
Conflict of interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Footnotes
1.^A localist representation uses a single node to represent a single concept. By contrast, a distributed representation uses a collection of nodes to represent a concept.
2.^Asynchrony-based binding allows role and filler to be coded by the same pool of semantic units, which allows DORA to learn representations of relations from representations of objects (
3.^As noted above, the specific content of the units coding for a property are unimportant to DORA. So long as there is something common across the units representing a set of objects, DORA can learn an explicit representation of this commonality. For the purposes of DORA’s learning algorithm, all that matters is there is something invariant across instances of a container (which there must be for us to learn the concept), and that the perceptual system is capable of responding to this invariance (which, again, there must be for us to respond similarly across instances of containment in the world).
4.^Mutually exclusive sets are necessary in order to perform comparison (see e.g.,
5.^The problem is more relationally complex than the simple version we describe here; however, the same principles apply to the way LISA can solve the entire problem, including all of the nested relations.
References
1
BanichM. T. (2009). Executive function: the search for an integrated account.Curr. Dir. Psychol. Sci.1889–94. 10.1111/j.1467-8721.2009.01615.x
2
CowanN. (2001). The magical number 4 in short-term memory: a reconsideration of mental storage capacity.Behav. Brain Sci.2487–185. 10.1017/S0140525X01003922
3
DiamondA. (2013). Executive functions.Annu. Rev. Psychol.64135–168. 10.1146/annurev-psych-113011-143750
4
DoumasL. A. A.HamerA.PueblaG.MartinA. E. (2017a). “A theory of the detection and learning of structured representations of similarity and relative magnitude,” inProceedings of the 39th Annual Conference of the Cognitive Science Society (CogSci 2017), edsGunzelmannG.HowesA.TenbrinkT.DavelaarE. (Austin, TX: Cognitive Science Society), 1955–1960.
5
DoumasL. A. A.HummelJ. E. (2005). “Approaches to modeling human mental representations: What works, what doesn’t and why,” inThe Cambridge Handbook of Thinking and Reasoning, edsHolyoakK. J.MorrisonR. (Cambridge: Cambridge University Press), 73–91.
6
DoumasL. A. A.HummelJ. E. (2012). “Computational models of higher cognition,” inThe Oxford Handbook of Thinking and Reasoning, edsHolyoakK. J.MorrisonR. G. (New York, NY: Oxford University Press), 52–66.
7
DoumasL. A. A.HummelJ. E.SandhoferC. M. (2008). A theory of the discovery and predication of relational concepts.Psychol. Rev.1151–43. 10.1037/0033-295X.115.1.1
8
DoumasL. A. A.PueblaG.MartinA. E. (2017b). How we learn things we don’t know already: a theory of learning structured representations from experience.bioRxiv [Preprint]. 10.1101/198804
9
FalkenhainerB.ForbusK.GentnerD. (1989). The structure-mapping engine: algorithm and examples.Artif. Intell.201–63. 10.1111/cogs.12377
10
FrenchR. (2002). The computational modeling of analogy-making.Trends Cogn. Sci.6200–205. 10.1016/S1364-6613(02)01882-X
11
GentnerD. (1983). Structure-mapping: a theoretical framework for analogy.Cogn. Sci.7155–170. 10.1016/S0364-0213(83)80009-3
12
GentnerD. (2003). “Why we’re so smart,” inLanguage in Mind: Advances in the Study of Language and Thought, edsGentnerD.Goldin-MeadowS. (Cambridge, MA: MIT Press), 195–235.
13
GentnerD.RattermannM. J. (1991). “Language and the career of similarity,” inPerspectives on Thought and Language: Interrelations in Development, edsGelmanS. A.ByrnesJ. P. (London: Cambridge University Press), 225–277. 10.1017/CBO9780511983689.008
14
GentnerD.SmithL. A. (2013). “Analogical learning and reasoning,” inThe Oxford Handbook of Cognitive Psychology, ed.ReisbergD. (New York, NY: Oxford University Press), 668–681.
15
GerstadtC. L.HongY. J.DiamondA. (1994). The relationship between cognition and action: performance of children 3 1/2-7 years old on a stroop-like day-night test.Cognition53129–153. 10.1016/0010-0277(94)90068-X
16
HolyoakK. J.ThagardP. (1989). Analogical mapping by constraint satisfaction.Cogn. Sci.13295–355. 10.1207/s15516709cog1303_1
17
HosenfeldB.van der BoomD. C.ReslingW. C. M. (1997a). Constructing geometric analogies for the longitudinal testing of elementary school children.J. Educ. Meas.34367–372. 10.1111/j.1745-3984.1997.tb00524.x
18
HosenfeldB.van der MaasH. L. J.van den BoomD. (1997b). Indicators of discontinuous change in the development of analogical reasoning.J. Exp. Child Psychol.64367–395.
19
HummelJ. E.HolyoakK. J. (1997). Distributed representations of structure: a theory of analogical access and mapping.Psychol. Rev.104427–466. 10.1037/0033-295X.104.3.427
20
HummelJ. E.HolyoakK. J. (2003). A symbolic-connectionist theory of relational inference and generalization.Psychol. Rev.110220–264. 10.1037/0033-295X.110.2.220
21
HummelJ. E.HolyoakK. J. (2005). Relational reasoningin a neurally-plausible cognitive architecture: an overview of the LISA project.Curr. Direct. Cogn. Sci.14153–157. 10.11225/jcss.10.58
22
KnowltonB. J.MorrisonR. G.HummelJ. E.HolyoakK. J. (2012). A neurocomputational system for relational reasoning.Trends Cogn. Sci.16373–381. 10.1016/j.tics.2012.06.002
23
MarkmanA. B.GentnerD. (1993). Structural alignment during similarity comparisons.Cogn. Psychol.25431–467. 10.1006/cogp.1993.1011
24
McClellandJ. L. (2010). Emergence in cognitive science.Top. Cogn. Sci.2751–770. 10.1111/j.1756-8765.2010.01116.x
25
MiyakeAFriedmanN. P.EmersonM. J.WitzkiA. H.HowerterA.WagerT. D. (2000). The unity and diversity of executive functions and their contributions to complex “frontal lobe” tasks: a latent variable analysis.Cogn. Psychol.4149–100. 10.1006/cogp.1999.0734
26
MokkenR. J. (1971). A Theory and Procedure of Scale Analysis.Berlin: De Gruyter
27
MorrisonR. G.DoumasL. A. A.RichlandL. E. (2011). A computational account of children’s analogical reasoning: balancing inhibitory control in working memory and relational representation.Dev. Sci.14516–529. 10.1111/j.1467-7687.2010.00999.x
28
MorrisonR. G.KrawczykD.HolyoakK. J.HummelJ. E.ChowT.MillerB.et al (2004). A neurocomputational model of analogical reasoning and its breakdown in frontotemporal lobar degeneration.J. Cogn. Neurosci.16260–271. 10.1162/089892904322984553
29
PennD. C.HolyoakK. J.PovinelliD. J. (2008). Darwin’s mistake: explaining the discontinuity between human and nonhuman minds.Behav. Brain Sci.31109–178. 10.1017/S0140525X08003543
30
RichlandL. E.BurchinalM. R. (2013). Early executive function predicts reasoning development.Psychol. Sci.2487–92. 10.1177/0956797612450883
31
RichlandL. E.ChanT.-K.MorrisonR. G.AuT. K.-F. (2010). Young children’s analogical reasoning across cultures: similarities and differences.J. Exp. Child Psychol.105146–153. 10.1016/j.jecp.2009.08.003
32
RichlandL. E.MorrisonR. G.HolyoakK. J. (2006). Children’s development of analogical reasoning: insights from scene analogy problems.J. Exp. Child Psychol.94249–273. 10.1016/j.jecp.2006.02.002
33
RichlandL. E.SimmsN. (2015). Analogy, higher order thinking, and education.Wiley Interdiscip. Rev. Cogn. Sci.6177–192. 10.1002/wcs.1336
34
SimmsN.FrauselR.RichlandL. E. (2018). Working memory predicts children’s analogical reasoning.J. Exp. Child Psychol.166160–177. 10.1016/j.jecp.2017.08.005
35
ThibautJ. P.FrenchR. M. (2016). Analogical reasoning, control and executive functions: a developmental investigation with eye-tracking.Cogn. Dev.3810–26. 10.1016/j.cogdev.2015.12.002
36
ThibautJ.-P.FrenchR. M.VeznevaM. (2010a). Analogy-making in children: the importance of processing constraints.J. Exp. Child Psychol.11–19. 10.1016/j.jecp.2010.01.001
37
ThibautJ.-P.FrenchR. M.VeznevaM. (2010b). Cognitive load and semantic analogies: searching semantic space.Psychon. Bull. Rev.17569–574. 10.3758/PBR.17.4.569
38
ViskontasI. V.MorrisonR. G.HolyoakK. J.HummelJ. E.KnowltonB. J. (2004). Relational integration, inhibition and analogical reasoning in older adults.Psychol. Aging19581–591. 10.1037/0882-7974.19.4.581
39
VygotskyL. S. (1978). Mind in Society: The Development of Higher Psychological Processes.Cambridge, MA: Harvard University Press.
40
ZelazoP. D.FryeD. (1998). Cognitive complexity and control: the development of executive function.Curr. Dir. Psychol. Sci.7121–126. 10.1111/1467-8721.ep10774761
41
ZelazoP. D.MüllerU.FryeD.MarcovitchS. (2003). The development of executive function in early childhood.Monogr. Soc. Res. Child Dev.68138–151. 10.1111/j.0037-976X.2003.00261.x
Summary
Keywords
analogical reasoning, relational knowledge, inhibitory control, development, computational modeling, cognitive control
Citation
Doumas LAA, Morrison RG and Richland LE (2018) Individual Differences in Relational Learning and Analogical Reasoning: A Computational Model of Longitudinal Change. Front. Psychol. 9:1235. doi: 10.3389/fpsyg.2018.01235
Received
20 August 2017
Accepted
27 June 2018
Published
24 July 2018
Volume
9 - 2018
Edited by
Dermot Lynott, Lancaster University, United Kingdom
Reviewed by
Diarmuid Patrick O’Donoghue, Maynooth University, Ireland; Wolfgang Schoppek, University of Bayreuth, Germany
Updates

Check for updates
Copyright
© 2018 Doumas, Morrison and Richland.
This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Robert G. Morrison, rmorrison@luc.edu; Lindsey E. Richland, lrichland@uchicago.edu
This article was submitted to Cognitive Science, a section of the journal Frontiers in Psychology
Disclaimer
All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.