Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Understanding Sleep01:11

Understanding Sleep

436
Sleep, an essential biological state, involves significant reductions in physical activity, sensory awareness, and interaction with the environment. This complex physiological process is primarily regulated by specific brain regions, notably the hypothalamus and pons, which govern the sleep-wake cycle or circadian rhythm.
The circadian rhythm, a nearly 24-hour cycle, is deeply influenced by environmental light cues. Light exposure directly affects the hypothalamus, which in turn regulates...
436
Generalization, Discrimination, and Extinction01:24

Generalization, Discrimination, and Extinction

658
Generalization, discrimination, and extinction are key concepts in operant conditioning that influence how behaviors are learned and maintained.
Generalization occurs when a behavior reinforced in one context is performed in similar situations. For instance, a student who studies diligently for calculus and receives excellent grades might apply the same study habits to psychology and history, expecting similar results. Generalization shows how learning in one setting can influence behavior in...
658
Associative Learning01:27

Associative Learning

462
Associative learning is a fundamental concept in behavioral psychology, wherein a connection is established between two stimuli or events, leading to a learned response. This process is critical in understanding how behaviors are acquired and modified. Conditioning, the mechanism through which associations are formed, can be divided into two main types: classical conditioning and operant conditioning, each elucidating different aspects of associative learning.
Classical conditioning, also known...
462
Cognitive Learning01:21

Cognitive Learning

447
Cognitive learning is based on purposive behavior, incidental learning, and insight learning.
E. C. Tolman's theory of purposive behavior emphasizes that much behavior is goal-directed. He argued that to understand behavior, we must look at the entire sequence of actions leading to a goal. For instance, high school students study hard, not just due to past reinforcement but also to achieve the goal of getting into a good college.
Tolman introduced the idea that behavior is influenced by...
447
Observational Learning01:12

Observational Learning

231
Albert Bandura's observational learning, also known as imitation or modeling, occurs when a person observes and imitates another's behavior. It is a quicker process than operant conditioning. A well-known example is the Bobo doll study, where children who saw an adult acting aggressively towards the doll were more likely to act aggressively when left alone, compared to those who observed a nonaggressive adult. Many psychologists view observational learning as a form of latent learning...
231
Introduction to Learning01:18

Introduction to Learning

479
Learning is the process of acquiring knowledge or skills through practice or experience, leading to long-lasting behavioral changes. This acquisition occurs through interaction with the environment and requires practice or experience. For instance, mastering a skill such as surfing requires considerable practice and experience, highlighting the essential role of repeated interactions with the environment in learning.
In contrast to learned behaviors, unlearned behaviors such as crying, sexual...
479

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Large language models can predict the results of social science experiments.

Nature·2026
Same author

Evidence from formal logical reasoning reveals that the language of thought is not natural language.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same author

Conniving With Continuations: Representing Goals in a Domain-Specific Language of Thought.

Topics in cognitive science·2026
Same author

Neural representation of action symbols in primate frontal cortex.

Nature·2026
Same author

Human-level learning of complex novel tasks as theory-based modelling, exploration and planning.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026
Same author

Reverse engineering the centered self.

Psychological review·2026

Related Experiment Video

Updated: Jul 28, 2025

Author Spotlight: IntelliSleepScorer — A High-Accuracy, Accessible GUI Software for Automated Sleep Stage Scoring in Mice and its Application in Psychiatric Research
04:54

Author Spotlight: IntelliSleepScorer — A High-Accuracy, Accessible GUI Software for Automated Sleep Stage Scoring in Mice and its Application in Psychiatric Research

Published on: November 8, 2024

573

DreamCoder: growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning.

Kevin Ellis1, Lionel Wong2, Maxwell Nye2

  • 1Cornell (work done at MIT), Ithaca, NY, USA.

Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|June 4, 2023
PubMed
Summary

DreamCoder, a novel system, learns to solve problems by writing programs and creating domain-specific languages. This artificial intelligence approach builds expertise through a wake-sleep algorithm, enabling scalable and transferable concept learning.

Keywords:
Bayesian program learningexpertiseprogram synthesis

More Related Videos

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

348
Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness
03:14

Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness

Published on: December 6, 2024

632

Related Experiment Videos

Last Updated: Jul 28, 2025

Author Spotlight: IntelliSleepScorer — A High-Accuracy, Accessible GUI Software for Automated Sleep Stage Scoring in Mice and its Application in Psychiatric Research
04:54

Author Spotlight: IntelliSleepScorer — A High-Accuracy, Accessible GUI Software for Automated Sleep Stage Scoring in Mice and its Application in Psychiatric Research

Published on: November 8, 2024

573
Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

348
Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness
03:14

Augmenting Large Language Models via Vector Embeddings to Improve Domain-Specific Responsiveness

Published on: December 6, 2024

632

Area of Science:

  • Artificial Intelligence
  • Cognitive Science
  • Computer Science

Background:

  • Expert problem-solving relies on effective conceptual languages.
  • Acquiring expertise involves mastering these languages and associated skills.

Purpose of the Study:

  • To present DreamCoder, a system that learns to solve problems by generating programs.
  • To demonstrate how expertise can be built through automated language creation and neural network guidance.

Main Methods:

  • DreamCoder develops domain-specific programming languages for expressing concepts.
  • A 'wake-sleep' learning algorithm iteratively refines languages and trains neural networks.
  • The system learns through imagined and replayed problem-solving instances.

Main Results:

  • DreamCoder successfully solves inductive programming and creative tasks (e.g., drawing, scene building).
  • It rediscovers fundamental concepts in functional programming, vector algebra, and classical physics (Newton's, Coulomb's laws).
  • Learned concepts are compositional, interpretable, transferable, and scale with experience.

Conclusions:

  • DreamCoder demonstrates a scalable approach to artificial intelligence expertise acquisition.
  • The system's ability to generate interpretable and transferable knowledge highlights its potential for cognitive AI.
  • Compositional concept learning is key to building flexible and robust AI systems.