Fast and flexible: Human program induction in abstract reasoning tasks.
Aysja JohnsonWai Keen VongBrenden M. LakeTodd M. GureckisPublished in: CoRR (2021)
Keyphrases
- reasoning tasks
- description logics
- temporal reasoning
- program synthesis
- logic programming
- automated reasoning
- event calculus
- answer set programming
- bucket elimination
- functional programs
- situation calculus
- abductive reasoning
- quantified boolean formulas
- logic programs
- low level
- fuzzy description logics
- knowledge base
- machine learning