arrow
返回

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

delete2023-06-05
delete16
delete
OA
AI
K
Kevin Ellis *
L
Lionel Wong
M
Maxwell Nye
M
Mathias Sablé-Meyer
L
Luc Cary
L
Lore Anaya Pozo
L
Luke Hewitt
A
Armando Solar-Lezama
J
Joshua B. Tenenbaum
DOI:10.1098/rsta.2022.0050delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Expert problem-solving is driven by powerful languages for thinking about problems and their solutions. Acquiring expertise means learning these languages-systems of concepts, alongside the skills to use them. We present DreamCoder, a system that learns to solve problems by writing programs. It builds expertise by creating domain-specific programming languages for expressing domain concepts, together with neural networks to guide the search for programs within these languages. A 'wake-sleep' learning algorithm alternately extends the language with new symbolic abstractions and trains the neural network on imagined and replayed problems. DreamCoder solves both classic inductive programming tasks and creative tasks such as drawing pictures and building scenes. It rediscovers the basics of modern functional programming, vector algebra and classical physics, including Newton's and Coulomb's laws. Concepts are built compositionally from those learned earlier, yielding multilayered symbolic representations that are interpretable and transferrable to new tasks, while still growing scalably and flexibly with experience.This article is part of a discussion meeting issue 'Cognitive artificial intelligence'.
Keyword:
program synthesis
expertise
Bayesian program learning

期刊

P
Philosophical Transactions of the Royal Society A-Mathematical Physical and Engineering Sciences
IF:
3.7
论文数:
7.8K
被引数:
2.8W

机构

C
college de france
学者数:
2.1K
论文数: 1.5K
被引数: 3
U
Universite PSL
学者数:
3.3W
论文数: 2.5W
被引数: 91
引用论文

引用论文

Modification of martian slope streaks by eolian processes
err2010-01-01
err0
PREAI
errFrank C. Chuang; Ross A. Beyer; Nathan T. Bridges
err分享
err收藏
Synthesizing theories of human language with Bayesian program induction
err2022-08-30
err13
errOAAI
errEllis, Kevin; Albright, Adam; Solar-Lezama, Armando; Tenenbaum, Joshua B.; O'Donnell, Timothy J.
err分享
err收藏
Dreaming and episodic memory: A functional dissociation?
err2003-01-01
err217
PREAI
errFosse, MJ; Fosse, R; Hobson, JA; Stickgold, RJ
err分享
err收藏
err分享
err收藏
学者 查看更多内容