A gentle introduction to the universal algorithmic agent AIXI (2003)
| Venue: | Real AI: New Approaches to Arti General Intelligence |
| Citations: | 5 - 0 self |
BibTeX
@INPROCEEDINGS{Hutter03agentle,
author = {Marcus Hutter},
title = {A gentle introduction to the universal algorithmic agent AIXI},
booktitle = {Real AI: New Approaches to Arti General Intelligence},
year = {2003},
publisher = {Plenum Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff's theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameterless theory of universal Artificial Intelligence. We give strong arguments that the resulting AIXI model is the most intelligent unbiased agent possible. We outline for a number of problem classes, including sequence prediction, strategic games, function minimization, reinforcement and supervised learning, how the AIXI model can formally solve them. The major drawback of the AIXI model is that it is uncomputable. To overcome this problem, we construct a modified algorithm AIXItl, which is still effectively more intelligent than any other time t and space l bounded agent. The computation time of AIXItl is of the order t·2^l. Other discussed topics are formal definitions of intelligence order relations, the horizon problem and relations of the AIXI theory to other AI approaches.
Keyphrases
universal algorithmic agent aixi gentle introduction aixi model sequence prediction function minimization parameterless theory horizon problem strategic game discussed topic decision theory strong argument major drawback problem class formal definition unknown prior distribution universal artificial intelligence rational agent uncertain world true environmental prior probability distribution intelligence order relation computation time universal induction ai approach intelligent unbiased agent aixi theory modified algorithm aixitl
