Logical Induction.

Scott Garrabrant Tsvi Benson-Tilsen Andrew Critch Nate Soares Jessica Taylor

Published in: CoRR (2016)

Keyphrases

logical representation
real time
rule induction
inductive learning
data sets
logical operations
concept learning
active learning
decision rules
inductive logic programming
clustering algorithm
information systems
artificial intelligence
constructive induction
program synthesis
genetic algorithm
machine learning