algorithm artificial intelligence machine learning mathematics science abstraction supervised learning computational learning theory inductive inference inference reinforcement learning jürgen schmidhuber