Related Experiment Video
Updated: Jan 10, 2026

07:21
Automated Interactive Video Playback for Studies of Animal Communication
Published on: February 9, 2011
14.0K
Reasoning with programs in replay
Sebastijan Veselic1, Nour Mohsen2, Lennart Luettgau3
1Department of Experimental Psychology, University of Oxford.
Biorxiv : the Preprint Server for Biology
|November 24, 2025
Summary
The brain uses fast neural sequences along the time axis to solve new problems by composing known elements. This study reveals how sequences replay during reasoning, supporting program execution and complex problem-solving.
Area of Science:
- Cognitive Neuroscience
- Computational Neuroscience
Background:
- Flexible reasoning involves composing known elements for novel problem-solving.
- Theories propose the brain utilizes the temporal axis to sequence elements for reasoning.
Purpose of the Study:
- To investigate the neural mechanisms of reasoning by testing the temporal sequencing hypothesis.
- To explore how the brain composes elements using fast neural sequences.
Main Methods:
- Magnetoencephalography (MEG) was used to record brain activity.
- Participants mentally executed programs with linked steps and operations.
- Behavioral performance and neural representations were analyzed.
Main Results:
- Behavioral performance correlated with program complexity.
- Prefrontal and parietal cortices represented inferred program solutions.
- Neural representations of program steps reactivated in fast sequences, suggesting candidate solution sampling.
Conclusions:
- Fast neural sequence replay supports reasoning and program execution.
- A temporal micro-architecture underlies complex reasoning processes.
- This provides evidence for a mechanism of composing solutions through sequential element replay.
More Related Videos
Related Concept Videos
Reasoning
386
Reasoning is the action of thinking about something in a logical, sensible way. It is integral to problem-solving, decision-making, and critical thinking. Reasoning can be inductive or deductive. Reasoning involves transforming information into conclusions, which is essential for problem-solving, decision-making, and critical thinking.
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...
386
Deductive Reasoning
63.7K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
For example, a researcher can deduce specific predictions...
63.7K
Woodward–Hoffmann Selection Rules and Microscopic Reversibility
3.8K
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
3.8K
Trial and Error and Algorithm
371
A problem-solving strategy is a plan of action used to find a solution. Different strategies have distinct action plans. Trial and error involves trying different solutions until one works. For instance, to fix a broken printer, you might check ink levels, ensure the paper tray isn't jammed, and verify the printer's connection to your laptop. This method can be time-consuming but is commonly used. Thomas Edison, for example, used trial and error to find a suitable filament for the light...
371
Frames: Problem Solving II
463
Consider a hydraulic hoist supporting a load of 1 kN. Assuming a simplified schematic representation of this frame structure, the force acting on BD and BF members can be determined.
463
Machines: Problem Solving II
628
Machines are complex structures consisting of movable, pin-connected multi-force members that work together to transmit forces. Consider a lifting tong carrying a 100 kg load. It comprises movable sections DAF and CBG linked together with member AB.
628

