Fast and Flexible: Human program induction in abstract reasoning tasks.
Aysja JohnsonWai Keen VongBrenden M. LakeTodd M. GureckisPublished in: CogSci (2021)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- automated reasoning
- answer set programming
- event calculus
- temporal reasoning
- program synthesis
- abductive reasoning
- functional programs
- machine learning
- search algorithm
- bucket elimination
- probabilistic reasoning
- knowledge representation
- image sequences
- knowledge base
- logic programs
- quantified boolean formulas
- database