In 2002 Hutter , with Jürgen Schmidhuber and Shane Legg , developed and published a mathematical theory of artificial general intelligence based on idealised intelligent agents and reward-motivated reinforcement learning .