He is best known for algorithmic probability and his general theory of inductive inference .
He made many other important discoveries throughout his life , most of them directed toward his goal in artificial intelligence : to develop a machine that could solve hard problems using probabilistic methods .
Although he is best known for algorithmic probability and his general theory of inductive inference , he made many other important discoveries throughout his life , most of them directed toward his goal in artificial intelligence : to develop a machine that could solve hard problems using probabilistic methods .