Induction as Inverted Deduction. Encyclopedia of Machine Learning 2010: 522